title: On the explicit two-stage fourth-order accurate time discretizations

abstract: This paper continues to study the explicit two-stage fourth-order accurate time discretiza- tions [5, 7]. By introducing variable weights, we propose a class of more general explicit one-step two-stage time discretizations, which are different from the existing methods, such as the Euler methods, Runge-Kutta methods, and multistage multiderivative methods etc. We study the absolute stability, the stability interval, and the intersection between the imaginary axis and the absolute stability region. Our results show that our two-stage time discretizations can be fourth-order accurate conditionally, the absolute stability region of the proposed methods with some special choices of the variable weights can be larger than that of the classical explicit fourth- or fifth-order Runge-Kutta method, and the interval of absolute stability can be almost twice as much as the latter. Several numerical experiments are carried out to demonstrate the performance and accuracy as well as the stability of our proposed methods


title: Space of Reasons and Mathematical Model

abstract: Inferential relations govern our concept use. In order to understand a concept it has to be located in a space of implications. There are different kinds of conditions for statements, i.e. that the conditions represent different kinds of explanations, e.g. causal or conceptual explanations. The crucial questions is: How can the conditionality of language use be represented. The conceptual background of representation in models is discussed and in the end I propose how implications of propositional logic and conceptual determinations can be represented in a model of a neural network.


title: Constructing three-qubit unitary gates in terms of Schmidt rank and CNOT gates

abstract: It is known that every two-qubit unitary operation has Schmidt rank one, two or four, and the construction of three-qubit unitary gates in terms of Schmidt rank remains an open problem. We explicitly construct the gates of Schmidt rank from one to seven. It turns out that the three-qubit Toffoli and Fredkin gate respectively have Schmidt rank two and four. As an application, we implement the gates using quantum circuits of CNOT gates and local Hadamard and flip gates. In particular, the collective use of three CNOT gates can generate a three-qubit unitary gate of Schmidt rank seven in terms of the known Strassen tensor from multiplicative complexity. Our results imply the connection between the number of CNOT gates for implementing multiqubit gates and their Schmidt rank.


title: EagleEye: Fast Sub-net Evaluation for Efficient Neural Network Pruning

abstract: Finding out the computational redundant part of a trained Deep Neural Network (DNN) is the key question that pruning algorithms target on. Many algorithms try to predict model performance of the pruned sub-nets by introducing various evaluation methods. But they are either inaccurate or very complicated for general application. In this work, we present a pruning method called EagleEye, in which a simple yet efficient evaluation component based on adaptive batch normalization is applied to unveil a strong correlation between different pruned DNN structures and their final settled accuracy. This strong correlation allows us to fast spot the pruned candidates with highest potential accuracy without actually fine-tuning them. This module is also general to plug-in and improve some existing pruning algorithms. EagleEye achieves better pruning performance than all of the studied pruning algorithms in our experiments. Concretely, to prune MobileNet V1 and ResNet-50, EagleEye outperforms all compared methods by up to 3.8%. Even in the more challenging experiments of pruning the compact model of MobileNet V1, EagleEye achieves the highest accuracy of 70.9% with an overall 50% operations (FLOPs) pruned. All accuracy results are Top-1 ImageNet classification accuracy. Source code and models are accessible to open-source community https://github.com/anonymous47823493/EagleEye .


title: Searching Scientific Literature for Answers on COVID-19 Questions

abstract: Finding answers related to a pandemic of a novel disease raises new challenges for information seeking and retrieval, as the new information becomes available gradually. TREC COVID search track aims to assist in creating search tools to aid scientists, clinicians, policy makers and others with similar information needs in finding reliable answers from the scientific literature. We experiment with different ranking algorithms as part of our participation in this challenge. We propose a novel method for neural retrieval, and demonstrate its effectiveness on the TREC COVID search.


title: The $-12$ mag dip in the galaxy luminosity function of Hickson Compact Groups

abstract: We present the galaxy luminosity functions (LFs) of four Hickson Compact Groups using image data from the Subaru Hyper Suprime-Cam. A distinct dip appeared in the faint-ends of all the LFs at $M_g\sim-12$. A similar dip was observed in the LFs of the galaxy clusters Coma and Centaurus. However, LFs in the Virgo, Hydra, and the field had flatter slopes and no dips. As the relative velocities among galaxies are lower in compact groups than in clusters, the effect of galaxy-galaxy interactions would be more significant in compact groups. The $M_g\sim-12$ dip of compact groups may imply that frequent galaxy-galaxy interactions would affect the evolution of galaxies, and the dip in LF could become a boundary between different galaxy populations.


title: Data Based Linearization: Least-Squares Based Approximation

abstract: Linearization of power flow is an important topic in power system analysis. The computational burden can be greatly reduced under the linear power flow model while the model error is the main concern. Therefore, various linear power flow models have been proposed in literature and dedicated to seek the optimal approximation. Most linear power flow models are based on some kind of transformation/simplification/Taylor expansion of AC power flow equations and fail to be accurate under cold-start mode. It is surprising that data-based linearization methods have not yet been fully investigated. In this paper, the performance of a data-based least-squares approximation method is investigated. The resulted cold-start sensitive factors are named as least-squares distribution factors (LSDF). Compared with the traditional power transfer distribution factors (PTDF), it is found that the LSDF can work very well for systems with large load variation, and the average error of LSDF is only about 1% of the average error of PTDF. Comprehensive numerical testing is performed and the results show that LSDF has attractive performance in all studied cases and has great application potential in occasions requiring only cold-start linear power flow models.


title: Exact solutions of directed walk models of polymeric zipping with pulling in two and three dimensions

abstract: We provide the exact solution of several variants of simple models of the zipping transition of two bound polymers, such as occurs in DNA/RNA, in two and three dimensions using pairs of directed lattice paths. In three dimensions the solutions are written in terms of complete elliptic integrals. We analyse the phase transition associated with each model giving the scaling of the partition function. We also extend the models to include a pulling force between one end of the pair of paths, which competes with the attractive monomer-monomer interactions between the polymers.

categories: cond-mat.stat-mech math-ph math.CO math.MP


title: Two-octave-wide (3-12 {\mu}m) mid-infrared frequency comb produced as an optical subharmonic in a nondispersive cavity

abstract: Coherent laser beams in the 3 to 20 {\mu}m region of the spectrum are most applicable for chemical sensing by addressing the strongest vibrational absorption resonances of the media. Broadband frequency combs in this spectral range are of special interest since they can be used as a powerful tool for molecular spectroscopy offering dramatic gains in speed, sensitivity, precision, and massive parallelism of data collection. Here we show that a frequency comb realized through subharmonic generation in an optical parametric oscillator (OPO) based on orientation-patterned gallium phosphide (OP-GaP) pumped by a Kerr-lens mode-locked 2.35-{\mu}m laser can reach a continuous wavelength span of 3-12 {\mu}m, thus covering most of the molecular 'signature' region. The key to achieving such a broad spectrum is to use a low-dispersion cavity entailing all gold-coated mirrors, minimally dispersive and optically thin intracavity elements, and a specially designed pump injector. The system features a smooth ultra-broadband spectral output that is phase coherent to the pump laser comb, 245-mW output power with high (>20%) optical conversion efficiency, and a possibility to reach close to unity conversion from a mode-locked drive, thanks to the non-dissipative downconversion processes and photon recycling.


title: Deformation theory of nearly $\mathrm{G}_2$ manifolds

abstract: We study the deformation theory of nearly $\mathrm{G}_2$ manifolds. These are seven dimensional manifolds admitting real Killing spinors. We show that the infinitesimal deformations of nearly $\mathrm{G}_2$ structures are obstructed in general. Explicitly, we prove that the infinitesimal deformations of the homogeneous nearly $\mathrm{G}_2$ structure on the Aloff--Wallach space are all obstructed to second order. We also completely describe the cohomology of nearly $\mathrm{G}_2$ manifolds.


title: Stable Higgs mode in anisotropic quantum magnets

abstract: Low-energy excitations associated with the amplitude fluctuation of an order parameter in condensed matter systems can mimic the Higgs boson, an elementary particle in the standard model, and are dubbed as Higgs modes. Identifying the condensed-matter Higgs mode is challenging because it is known in many cases to decay rapidly into other low-energy bosonic modes, which renders the Higgs mode invisible. Therefore, it is desirable to find a way to stabilize the Higgs mode, which can offer an insight into the stabilization mechanism of the Higgs mode in condensed matter physics. In quantum magnets, magnetic order caused by spontaneous symmetry breaking supports transverse (magnons) and longitudinal (Higgs modes) fluctuations. When a continuous symmetry is broken, the Goldstone magnon mode generally has a lower excitation energy than the Higgs mode, causing a rapid decay of the latter. In this work, we show that a stable Higgs mode exists in anisotropic quantum magnets near the quantum critical point between the dimerized and magnetically ordered phases. We find that an easy axis anisotropy increases the magnon gap such that the magnon mode is above the Higgs mode near the quantum critical point, and the decay of the Higgs mode into the magnon mode is forbidden kinematically. Our results suggest that the anisotropic quantum magnets provide ideal platforms to explore the Higgs physics in condensed matter systems.


title: Multi-Peak solutions to Chern-Simons-Schr\"odinger systems with non-radial potential

abstract: In this paper, we consider the existence of static solutions to the nonlinear Chern-Simons-Schr\"odinger system \begin{equation}\label{eqabstr} \left\{\begin{array}{ll} -ihD_0\Psi-h^2(D_1D_1+D_2D_2)\Psi+V\Psi=|\Psi|^{p-2}\Psi,\\ \partial_0A_1-\partial_1A_0=-\frac 12ih[\overline{\Psi}D_2\Psi-\Psi\overline{D_2\Psi}],\\ \partial_0A_2-\partial_2A_0=\frac 12ih[\overline{\Psi}D_1\Psi-\Psi\overline{D_1\Psi}],\\ \partial_1A_2-\partial_2A_1=-\frac12|\Psi|^2,\\ \end{array} \right. \end{equation} where $p>2$ and non-radial potential $V(x)$ satisfies some certain conditions. We show that for every positive integer $k$, there exists $h_0>0$ such that for $0<h<h_0$, problem \eqref{eqabstr} has a nontrivial static solution $(\Psi_h, A_0^h, A_1^h,A_2^h)$. Moreover, $\Psi_h$ is a positive non-radial function with $k$ positive peaks, which approach to the local maximum point of $V(x)$ as $h\to 0^+$.


title: Deep Learning for Anomaly Detection: A Review

abstract: Anomaly detection, a.k.a. outlier detection or novelty detection, has been a lasting yet active research area in various research communities for several decades. There are still some unique problem complexities and challenges that require advanced approaches. In recent years, deep learning enabled anomaly detection, i.e., deep anomaly detection, has emerged as a critical direction. This paper surveys the research of deep anomaly detection with a comprehensive taxonomy, covering advancements in three high-level categories and 11 fine-grained categories of the methods. We review their key intuitions, objective functions, underlying assumptions, advantages and disadvantages, and discuss how they address the aforementioned challenges. We further discuss a set of possible future opportunities and new perspectives on addressing the challenges.


title: Learning Motion Flows for Semi-supervised Instrument Segmentation from Robotic Surgical Video

abstract: Performing low hertz labeling for surgical videos at intervals can greatly releases the burden of surgeons. In this paper, we study the semi-supervised instrument segmentation from robotic surgical videos with sparse annotations. Unlike most previous methods using unlabeled frames individually, we propose a dual motion based method to wisely learn motion flows for segmentation enhancement by leveraging temporal dynamics. We firstly design a flow predictor to derive the motion for jointly propagating the frame-label pairs given the current labeled frame. Considering the fast instrument motion, we further introduce a flow compensator to estimate intermediate motion within continuous frames, with a novel cycle learning strategy. By exploiting generated data pairs, our framework can recover and even enhance temporal consistency of training sequences to benefit segmentation. We validate our framework with binary, part, and type tasks on 2017 MICCAI EndoVis Robotic Instrument Segmentation Challenge dataset. Results show that our method outperforms the state-of-the-art semi-supervised methods by a large margin, and even exceeds fully supervised training on two tasks.


title: The boundary of linear subvarieties

abstract: We describe the boundary of linear subvarieties in the moduli space of multi-scale differentials. Linear subvarieties are algebraic subvarieties of strata of (possibly) meromorphic differentials that in local period coordinates are given by linear equations. The main example of such are affine invariant submanifolds, that is, closures of $\operatorname{SL}(2,\mathbb{R})$-orbits. We prove that the boundary of any linear subvariety is again given by linear equations in generalized period coordinates of the boundary. Our main technical tool is an asymptotic analysis of periods near the boundary of the moduli space of multi-scale differentials which yields further techniques and results of independent interest.


title: Tree-Augmented Cross-Modal Encoding for Complex-Query Video Retrieval

abstract: The rapid growth of user-generated videos on the Internet has intensified the need for text-based video retrieval systems. Traditional methods mainly favor the concept-based paradigm on retrieval with simple queries, which are usually ineffective for complex queries that carry far more complex semantics. Recently, embedding-based paradigm has emerged as a popular approach. It aims to map the queries and videos into a shared embedding space where semantically-similar texts and videos are much closer to each other. Despite its simplicity, it forgoes the exploitation of the syntactic structure of text queries, making it suboptimal to model the complex queries. To facilitate video retrieval with complex queries, we propose a Tree-augmented Cross-modal Encoding method by jointly learning the linguistic structure of queries and the temporal representation of videos. Specifically, given a complex user query, we first recursively compose a latent semantic tree to structurally describe the text query. We then design a tree-augmented query encoder to derive structure-aware query representation and a temporal attentive video encoder to model the temporal characteristics of videos. Finally, both the query and videos are mapped into a joint embedding space for matching and ranking. In this approach, we have a better understanding and modeling of the complex queries, thereby achieving a better video retrieval performance. Extensive experiments on large scale video retrieval benchmark datasets demonstrate the effectiveness of our approach.


title: $SU(3)$ Flavor Symmetry for Weak Hadronic Decays of ${\bf B}_{bc}$ Baryons

abstract: Baryons with a heavy c-quark or a heavy b-quark and also two c-quarks have been discovered. These states are expected in QCD and therefore provide a test for the theory. There should be double beauty baryons, and also an intriguing possibility that baryons ${\bf B}_{bc}$ with a c-quark, a b-quark. These states are yet to be discovered. The main decay modes of ${\bf B}_{bc}$ are expected to be weak processes from theoretical understanding of their mass spectrum. These decay modes can provide crucial information about these heavy baryons ${\bf B}_{bc}$. We analyze two body hadronic weak decays for ${\bf B}_{bc}$ using $SU(3)$ flavor symmetry. Any one of the $c$ and $b$ decays will induce ${\bf B}_{bc}$ to decay. We find that the Cabibbo allowed decays ${\bf B}_{bc} \to {\bf B}_b + M$ due to $c \to s u \bar d$ can be crucial for exploration. The LHC may have the sensitivity to discover such decays. Other ${\bf B}_{bc}$ decays due to $b \to c q' \bar q$ are sub-leading. Several relations among branching ratios are obtained which can be used to test $SU(3)$ flavor symmetry.


title: Fibers of rational maps and Rees algebras of their base ideals

abstract: We consider a rational map $\phi: \mathbb{P}_k^{m} \dashrightarrow \mathbb{P}_k^n$ that is a parameterization of an $m$-dimensional variety. Our main goal is to study the $(m-1)$-dimensional fibers of $\phi$ in relation to the $m$-th local cohomology modules of the Rees algebra of its base ideal.


title: Dorroh extensions of algebras and coalgebras, I

abstract: In this article, we study Dorroh extensions of algebras and Dorroh extensions of coalgebras. Their structures are described. Some properties of these extensions are presented. We also introduce the finite duals of algebras and modules which are not necessarily unital. Using these finite duals, we determine the dual relations between the two kinds of extensions.


title: On the Chern character in Higher Twisted K-theory and spherical T-duality

abstract: In this paper, we construct for higher twists that arise from cohomotopy classes, the Chern character in higher twisted K-theory, that maps into higher twisted cohomology. We show that it gives rise to an isomorphism between higher twisted K-theory and higher twisted cohomology over the reals. Finally we compute spherical T-duality in higher twisted K-theory and higher twisted cohomology in very general cases.


title: MZV evaluation of hypergeometric series

abstract: We evaluate several classes of high weight hypergeometric series via Multiple Zeta Values.


title: On the weight and density bounds of polynomial threshold functions

abstract: In this report, we show that all n-variable Boolean function can be represented as polynomial threshold functions (PTF) with at most $0.75 \times 2^n$ non-zero integer coefficients and give an upper bound on the absolute value of these coefficients. To our knowledge this provides the best known bound on both the PTF density (number of monomials) and weight (sum of the coefficient magnitudes) of general Boolean functions. The special case of Bent functions is also analyzed and shown that any n-variable Bent function can be represented with integer coefficients less than $2^n$ while also obeying the aforementioned density bound. Finally, sparse Boolean functions, which are almost constant except for $m << 2^n$ number of variable assignments, are shown to have small weight PTFs with density at most $m+2^{n-1}$.


title: An Application of Newsboy Problem in Supply Chain Optimisation of Online Fashion E-Commerce

abstract: We describe a supply chain optimization model deployed in an online fashion e-commerce company in India called Myntra. Our model is simple, elegant and easy to put into service. The model utilizes historic data and predicts the quantity of Stock Keeping Units (SKUs) to hold so that the metrics "Fulfilment Index" and "Utilization Index" are optimized. We present the mathematics central to our model as well as compare the performance of our model with baseline regression based solutions.


title: Less is More: Wiring-Economical Modular Networks Support Self-Sustained Firing-Economical Neural Avalanches for Efficient Processing

abstract: Brain network is remarkably cost-efficient while the fundamental physical and dynamical mechanisms underlying its economical optimization in network structure and activity are not clear. Here we study intricate cost-efficient interplay between structure and dynamics in biologically plausible spatial modular neuronal network models. We find that critical avalanche states from excitation-inhibition balance, under modular network topology with less wiring cost, can also achieve less costs in firing, but with strongly enhanced response sensitivity to stimuli. We derived mean-field equations that govern the macroscopic network dynamics through a novel approximate theory. The mechanism of low firing cost and stronger response in the form of critical avalanche is explained as a proximity to a Hopf bifurcation of the modules when increasing their connection density. Our work reveals the generic mechanism underlying the cost-efficient modular organization and critical dynamics widely observed in neural systems, providing insights to brain-inspired efficient computational designs.


title: Corrected Trapezoidal Rules for Boundary Integral Equations in Three Dimensions

abstract: The manuscript describes a quadrature rule that is designed for the high order discretization of boundary integral equations (BIEs) using the Nystr\"{o}m method. The technique is designed for surfaces that can naturally be parameterized using a uniform grid on a rectangle, such as deformed tori, or channels with periodic boundary conditions. When a BIE on such a geometry is discretized using the Nystr\"{o}m method based on the Trapezoidal quadrature rule, the resulting scheme tends to converge only slowly, due to the singularity in the kernel function. The key finding of the manuscript is that the convergence order can be greatly improved by modifying only a very small number of elements in the coefficient matrix. Specifically, it is demonstrated that by correcting only the diagonal entries in the coefficient matrix, $O(h^{3})$ convergence can be attained for the single and double layer potentials associated with both the Laplace and the Helmholtz kernels. A nine-point correction stencil leads to an $O(h^5)$ scheme. The method proposed can be viewed as a generalization of the quadrature rule of Duan and Rokhlin, which was designed for the 2D Lippmann-Schwinger equation in the plane. The techniques proposed are supported by a rigorous error analysis that relies on Wigner-type limits involving the Epstein zeta function and its parametric derivatives.


title: GW190814's secondary component with mass $(2.50-2.67)$ M$_{\odot}$ as a super-fast pulsar

abstract: Using Stergioulas's RNS code for investigating fast pulsars with Equation of States (EOSs) on the causality surface (where the speed of sound equals that of light) of the high-density EOS parameter space satisfying all known constraints from both nuclear physics and astrophysics, we show that one possible explanation for the GW190814's secondary component of mass $(2.50-2.67)$ M$_{\odot}$ is that it is a super-fast pulsar spinning faster than 971 Hz about 42\% below its Kepler frequency. If confirmed, it would be the fastest pulsar with the highest mass observed presently. There is a large and physically allowed EOS parameter space below the causality surface where pulsars heavier than 2.50 M$_{\odot}$ are supported if they can rotate even faster with critical frequencies depending strongly on the high-density behavior of nuclear symmetry energy.


title: Treatment Effect Bias from Sample Snooping: Blinding Outcomes is Neither Necessary nor Sufficient

abstract: Popular guidance on observational data analysis states that outcomes should be blinded when determining matching criteria or propensity scores. Such a blinding is informally said to maintain the "objectivity" of the analysis, and to prevent analysts from fishing for positive results by exploiting chance imbalances. Contrary to this notion, we show that outcome blinding is not a sufficient safeguard against fishing. Blinded and unblinded analysts can produce bias of the same order of magnitude in cases where the outcomes can be approximately predicted from baseline covariates. We illustrate this vulnerability with a combination of analytical results and simulations. Finally, to show that outcome blinding is not necessary to prevent bias, we outline an alternative sample partitioning procedure for estimating the average treatment effect on the controls, or the average treatment effect on the treated. This procedure uses all of the the outcome data from all partitions in the final analysis step, but does not require the analysis to not be fully prespecified.


title: Traffic Agent Trajectory Prediction Using Social Convolution and Attention Mechanism

abstract: The trajectory prediction is significant for the decision-making of autonomous driving vehicles. In this paper, we propose a model to predict the trajectories of target agents around an autonomous vehicle. The main idea of our method is considering the history trajectories of the target agent and the influence of surrounding agents on the target agent. To this end, we encode the target agent history trajectories as an attention mask and construct a social map to encode the interactive relationship between the target agent and its surrounding agents. Given a trajectory sequence, the LSTM networks are firstly utilized to extract the features for all agents, based on which the attention mask and social map are formed. Then, the attention mask and social map are fused to get the fusion feature map, which is processed by the social convolution to obtain a fusion feature representation. Finally, this fusion feature is taken as the input of a variable-length LSTM to predict the trajectory of the target agent. We note that the variable-length LSTM enables our model to handle the case that the number of agents in the sensing scope is highly dynamic in traffic scenes. To verify the effectiveness of our method, we widely compare with several methods on a public dataset, achieving a 20% error decrease. In addition, the model satisfies the real-time requirement with the 32 fps.


title: Mechanics of Isolated Horizons in Scalar-Tensor Theories

abstract: Based on the first-order action for scalar-tensor theories with the Immirzi parameter, the symplectic form for the spacetimes admitting a weakly isolated horizon as internal boundary is derived by the covariant phase space approach. The first law of thermodynamics for the weakly isolated horizons with rotational symmetry is obtained. It turns out that the Immirzi parameter appears in the expression of the angular momentum of isolated horizon, and the scalar field contributes to the horizon entropy.


title: EDSL: An Encoder-Decoder Architecture with Symbol-Level Features for Printed Mathematical Expression Recognition

abstract: Printed Mathematical expression recognition (PMER) aims to transcribe a printed mathematical expression image into a structural expression, such as LaTeX expression. It is a crucial task for many applications, including automatic question recommendation, automatic problem solving and analysis of the students, etc. Currently, the mainstream solutions rely on solving image captioning tasks, all addressing image summarization. As such, these methods can be suboptimal for solving MER problem. In this paper, we propose a new method named EDSL, shorted for encoder-decoder with symbol-level features, to identify the printed mathematical expressions from images. The symbol-level image encoder of EDSL consists of segmentation module and reconstruction module. By performing segmentation module, we identify all the symbols and their spatial information from images in an unsupervised manner. We then design a novel reconstruction module to recover the symbol dependencies after symbol segmentation. Especially, we employ a position correction attention mechanism to capture the spatial relationships between symbols. To alleviate the negative impact from long output, we apply the transformer model for transcribing the encoded image into the sequential and structural output. We conduct extensive experiments on two real datasets to verify the effectiveness and rationality of our proposed EDSL method. The experimental results have illustrated that EDSL has achieved 92.7\% and 89.0\% in evaluation metric Match, which are 3.47\% and 4.04\% higher than the state-of-the-art method. Our code and datasets are available at https://github.com/abcAnonymous/EDSL .


title: Dressed-Asymptotic States and QED Infrared Physics

abstract: The dressed state formalisms, which incorporate interactions of soft particles into an asymptotic state, are known as the prescriptions expected to solve the problem of infrared (IR) divergence in the quantum field theory (QFT). A particularly famous example is the dressed state formalism proposed by Kulish and Faddeev in quantum electrodynamics (QED). As pointed out by Hirai and Sugishita, however, this formalism has problems in gauge invariance and the IR divergence. These problems are mainly caused by the existence of ghosts or unphysical photon modes. Therefore, we start by studying the asymptotic states in the Coulomb gauge, which excludes ghosts and/or unphysical photon modes. In this paper, we propose a formalism to construct the asymptotic states directly from the interaction of the theory by setting a sufficiently large time scale $T$. In this dressed state formalism, we define the asymptotic interaction remaining at $|t|>T$ in terms of some fixed order of $1/T$, and we are performing all calculations according to that order. We study the asymptotic states in QED specifically, but we can formally apply the dressed state formalism proposed in this paper to any perturbative QFT. We show that, at least in QED, we can construct divergence-free and unitary $S$-matrix using dressed states proposed in this paper. Furthermore, we discuss the transition rate to show that we can predict experimental results. We also show that the $\mathrm{U}(1)$ gauge symmetry of $S$-matrix leads to the QED large gauge symmetry, and deviation of the expectation values of the vector potential between initial and final spacelike hypersurfaces emerges as a QED memory effect. The dressed state formalism in this paper may give a unified and new insight into IR physics, including asymptotic symmetries, memory effects, and unitarity of the state evolution.


title: FLUID: A Unified Evaluation Framework for Flexible Sequential Data

abstract: Modern ML methods excel when training data is IID, large-scale, and well labeled. Learning in less ideal conditions remains an open challenge. The sub-fields of few-shot, continual, transfer, and representation learning have made substantial strides in learning under adverse conditions; each affording distinct advantages through methods and insights. These methods address different challenges such as data arriving sequentially or scarce training examples, however often the difficult conditions an ML system will face over its lifetime cannot be anticipated prior to deployment. Therefore, general ML systems which can handle the many challenges of learning in practical settings are needed. To foster research towards the goal of general ML methods, we introduce a new unified evaluation framework - FLUID (Flexible Sequential Data). FLUID integrates the objectives of few-shot, continual, transfer, and representation learning while enabling comparison and integration of techniques across these subfields. In FLUID, a learner faces a stream of data and must make sequential predictions while choosing how to update itself, adapt quickly to novel classes, and deal with changing data distributions; while accounting for the total amount of compute. We conduct experiments on a broad set of methods which shed new insight on the advantages and limitations of current solutions and indicate new research problems to solve. As a starting point towards more general methods, we present two new baselines which outperform other evaluated methods on FLUID. Project page: https://raivn.cs.washington.edu/projects/FLUID/.


title: Explaining Fast Improvement in Online Imitation Learning

abstract: Online imitation learning (IL) is an algorithmic framework that leverages interactions with expert policies for efficient policy optimization. Here policies are optimized by performing online learning on a sequence of loss functions that encourage the learner to mimic expert actions, and if the online learning has no regret, the agent can provably learn an expert-like policy. Online IL has demonstrated empirical successes in many applications and interestingly, its policy improvement speed observed in practice is usually much faster than existing theory suggests. In this work, we provide an explanation of this phenomenon. Let $\xi$ denote the policy class bias and assume the online IL loss functions are convex, smooth, and non-negative. We prove that, after $N$ rounds of online IL with stochastic feedback, the policy improves in $\tilde{O}(1/N + \sqrt{\xi/N})$ in both expectation and high probability. In other words, we show that adopting a sufficiently expressive policy class in online IL has two benefits: both the policy improvement speed increases and the performance bias decreases.


title: Combining density based dynamical correlation with a reduced density matrix strong correlation description

abstract: A combined density and first-order reduced-density-matrix (1RDM) functional method is proposed for the calculation of potential energy curves (PECs) of molecular multibond dissociation. Its 1RDM functional part, a pair density functional, efficiently approximates the ab initio pair density of the complete active space self-consistent-field (CASSCF) method. The corresponding approximate on top pair density {\Pi} is employed to correct for double counting a correlation functional of density functional theory (DFT). The proposed ELS-DM{\Pi}DFT method with the extended L\"owdin-Shull (ELS) 1RDM functional with dispersion and multibond (DM) corrections augmented with the {\Pi}DFT functional closely reproduces PECs of multibond dissociation in the paradigmatic N_2 , H_2O, and H_2CO molecules calculated with the recently proposed CAS{\Pi}DFT (CASSCF augmented with a {\Pi} based scaled DFT correlation correction) method. Furthermore, with the additional M-correction, ELS-DM{\Pi}DFT+M reproduces well the benchmark PEC of the N_2 molecule by Lie and Clementi.


title: The $g$-extra edge-connectivity of balanced hypercubes

abstract: The $g$-extra edge-connectivity is an important measure for the reliability of interconnection networks. Recently, Yang et al. [Appl. Math. Comput. 320 (2018) 464--473] determined the $3$-extra edge-connectivity of balanced hypercubes $BH_n$ and conjectured that the $g$-extra edge-connectivity of $BH_n$ is $\lambda_g(BH_n)=2(g+1)n-4g+4$ for $2\leq g\leq 2n-1$. In this paper, we confirm their conjecture for $n\geq 6-\dfrac{12}{g+1}$ and $2\leq g\leq 8$, and disprove their conjecture for $n\geq \dfrac{3e_g(BH_n)}{g+1}$ and $9\leq g\leq 2n-1$, where $e_g(BH_n)=\max\{|E(BH_n[U])|\mid U\subseteq V(BH_n), |U|=g+1\}$.


title: Covariate Distribution Aware Meta-learning

abstract: Meta-learning has proven to be successful for few-shot learning across the regression, classification, and reinforcement learning paradigms. Recent approaches have adopted Bayesian interpretations to improve gradient-based meta-learners by quantifying the uncertainty of the post-adaptation estimates. Most of these works almost completely ignore the latent relationship between the covariate distribution $(p(x))$ of a task and the corresponding conditional distribution $p(y|x)$. In this paper, we identify the need to explicitly model the meta-distribution over the task covariates in a hierarchical Bayesian framework. We begin by introducing a graphical model that leverages the samples from the marginal $p(x)$ to better infer the posterior over the optimal parameters of the conditional distribution $(p(y|x))$ for each task. Based on this model we propose a computationally feasible meta-learning algorithm by introducing meaningful relaxations in our final objective. We demonstrate the gains of our algorithm over initialization based meta-learning baselines on popular classification benchmarks. Finally, to understand the potential benefit of modeling task covariates we further evaluate our method on a synthetic regression dataset.


title: The moduli space of stable rank 2 parabolic bundles over an elliptic curve with 3 marked points

abstract: We explicitly describe the moduli space $M^s(X,3)$ of stable rank 2 parabolic bundles over an elliptic curve $X$ with trivial determinant bundle and 3 marked points. Specifically, we exhibit $M^s(X,3)$ as a blow-up of an embedded elliptic curve in $(\mathbb{CP}^1)^3$. The moduli space $M^s(X,3)$ can also be interpreted as the $SU(2)$ character variety of the 3-punctured torus. Our description of $M^s(X,3)$ reproduces the known Poincar\'{e} polynomial for this space.


title: Photoionization modelling of quiescence phase spectra of novae & symbiotic star

abstract: We present results of study, using observed and published spectra in optical region, of few novae (T CrB, GK Per, RS Oph, V3890 Sgr and V745 Sco) in their quiescence phase and a symbiotic star (BX Mon). Observations were made using the facilities available at 2m Himalayan Chandra Telescope (HCT). Generally, the spectra show prominent low ionization emission features of hydrogen, helium, iron and oxygen and TiO absorption features due to the cool secondary component; T CrB and GK Per show higher ionization lines. We used photoionization code CLOUDY to model these spectra. From the best-fit models, we have estimated the physical parameters, e.g., temperature, luminosity & hydrogen density; estimated elemental abundances and other parameters related to the system. By matching the spectra of various giants with the absorption features and from the best-fit, we determined the type of secondaries and also their contribution to the spectra.


title: Sticky islands in stochastic webs and anomalous chaotic cross-field particle transport by ExB electron drift instability

abstract: The ExB electron drift instability, present in many plasma devices, is an important agent in cross-field particle transport. In presence of a resulting low frequency electrostatic wave, the motion of a charged particle becomes chaotic and generates a stochastic web in phase space. We define a scaling exponent to characterise transport in phase space and we show that the transport is anomalous, of super-diffusive type. Given the values of the model parameters, the trajectories stick to different kinds of islands in phase space, and their different sticking time power-law statistics generate successive regimes of the super-diffusive transport.


title: Jump Operator Planning: Goal-Conditioned Policy Ensembles and Zero-Shot Transfer

abstract: In Hierarchical Control, compositionality, abstraction, and task-transfer are crucial for designing versatile algorithms which can solve a variety of problems with maximal representational reuse. We propose a novel hierarchical and compositional framework called Jump-Operator Dynamic Programming for quickly computing solutions within a super-exponential space of sequential sub-goal tasks with ordering constraints, while also providing a fast linearly-solvable algorithm as an implementation. This approach involves controlling over an ensemble of reusable goal-conditioned polices functioning as temporally extended actions, and utilizes transition operators called feasibility functions, which are used to summarize initial-to-final state dynamics of the polices. Consequently, the added complexity of grounding a high-level task space onto a larger ambient state-space can be mitigated by optimizing in a lower-dimensional subspace defined by the grounding, substantially improving the scalability of the algorithm while effecting transferable solutions. We then identify classes of objective functions on this subspace whose solutions are invariant to the grounding, resulting in optimal zero-shot transfer.


title: Triaxially-deformed Freely-precessing Neutron Stars: Continuous electromagnetic and gravitational radiation

abstract: The shape of a neutron star (NS) is closely linked to its internal structure and the equation of state of supranuclear matters. A rapidly rotating, asymmetric NS in the Milky Way undergoes free precession, making it a potential source for multimessenger observation. The free precession could manifest in (i) the spectra of continuous gravitational waves (GWs) in the kilohertz band for ground-based GW detectors, and (ii) the timing behavior and pulse-profile characteristics if the NS is monitored as a pulsar with radio and/or X-ray telescopes. We extend previous work and investigate in great detail the free precession of a triaxially deformed NS with analytical and numerical approaches. In particular, its associated continuous GWs and pulse signals are derived. Explicit examples are illustrated for the continuous GWs, as well as timing residuals in both time and frequency domains. These results are ready to be used for future multimessenger observation of triaxially-deformed freely-precessing NSs, in order to extract scientific implication as much as possible.


title: Learning Implicit Credit Assignment for Cooperative Multi-Agent Reinforcement Learning

abstract: We present a multi-agent actor-critic method that aims to implicitly address the credit assignment problem under fully cooperative settings. Our key motivation is that credit assignment among agents may not require an explicit formulation as long as (1) the policy gradients derived from a centralized critic carry sufficient information for the decentralized agents to maximize their joint action value through optimal cooperation and (2) a sustained level of exploration is enforced throughout training. Under the centralized training with decentralized execution (CTDE) paradigm, we achieve the former by formulating the centralized critic as a hypernetwork such that a latent state representation is integrated into the policy gradients through its multiplicative association with the stochastic policies; to achieve the latter, we derive a simple technique called adaptive entropy regularization where magnitudes of the entropy gradients are dynamically rescaled based on the current policy stochasticity to encourage consistent levels of exploration. Our algorithm, referred to as LICA, is evaluated on several benchmarks including the multi-agent particle environments and a set of challenging StarCraft II micromanagement tasks, and we show that LICA significantly outperforms previous methods.


title: Steady Rayleigh--B\'enard convection between stress-free boundaries

abstract: Steady two-dimensional Rayleigh--B\'enard convection between stress-free isothermal boundaries is studied via numerical computations. We explore properties of steady convective rolls with aspect ratios $\pi/5\le\Gamma\le4\pi$, where $\Gamma$ is the width-to-height ratio for a pair of counter-rotating rolls, over eight orders of magnitude in the Rayleigh number, $10^3\le Ra\le10^{11}$, and four orders of magnitude in the Prandtl number, $10^{-2}\le Pr\le10^2$. At large $Ra$ where steady rolls are dynamically unstable, the computed rolls display $Ra \rightarrow \infty$ asymptotic scaling. In this regime, the Nusselt number $Nu$ that measures heat transport scales as $Ra^{1/3}$ uniformly in $Pr$. The prefactor of this scaling depends on $\Gamma$ and is largest at $\Gamma \approx 1.9$. The Reynolds number $Re$ for large-$Ra$ rolls scales as $Pr^{-1} Ra^{2/3}$ with a prefactor that is largest at $\Gamma \approx 4.5$. All of these large-$Ra$ features agree quantitatively with the semi-analytical asymptotic solutions constructed by Chini \& Cox (2009). Convergence of $Nu$ and $Re$ to their asymptotic scalings occurs more slowly when $Pr$ is larger and when $\Gamma$ is smaller.


title: Optimizing Information Freshness in Two-Hop Status Update Systems under a Resource Constraint

abstract: In this paper, we investigate the age minimization problem for a two-hop relay system, under a resource constraint on the average number of forwarding operations at the relay. We first design an optimal policy by modelling the considered scheduling problem as a constrained Markov decision process (CMDP) problem. Based on the observed multi-threshold structure of the optimal policy, we then devise a low-complexity double threshold relaying (DTR) policy with only two thresholds, one for relay's AoI and the other one for the age gain between destination and relay. We derive approximate closed-form expressions of the average AoI at the destination, and the average number of forwarding operations at the relay for the DTR policy, by modelling the tangled evolution of age at relay and destination as a Markov chain (MC). Numerical results validate all the theoretical analysis, and show that the low-complexity DTR policy can achieve near optimal performance compared with the optimal CMDP-based policy. Moreover, the relay should always consider the threshold for its local age to maintain a low age at the destination. When the resource constraint is relatively tight, it further needs to consider the threshold on the age gain to ensure that only those packets that can decrease destination's age dramatically will be forwarded.


title: ModeNet: Mode Selection Network For Learned Video Coding

abstract: In this paper, a mode selection network (ModeNet) is proposed to enhance deep learning-based video compression. Inspired by traditional video coding, ModeNet purpose is to enable competition among several coding modes. The proposed ModeNet learns and conveys a pixel-wise partitioning of the frame, used to assign each pixel to the most suited coding mode. ModeNet is trained alongside the different coding modes to minimize a rate-distortion cost. It is a flexible component which can be generalized to other systems to allow competition between different coding tools. Mod-eNet interest is studied on a P-frame coding task, where it is used to design a method for coding a frame given its prediction. ModeNet-based systems achieve compelling performance when evaluated under the Challenge on Learned Image Compression 2020 (CLIC20) P-frame coding track conditions.


title: Computational Complexity Characterization of Protecting Elections from Bribery

abstract: The bribery problem in election has received considerable attention in the literature, upon which various algorithmic and complexity results have been obtained. It is thus natural to ask whether we can protect an election from potential bribery. We assume that the protector can protect a voter with some cost (e.g., by isolating the voter from potential bribers). A protected voter cannot be bribed. Under this setting, we consider the following bi-level decision problem: Is it possible for the protector to protect a proper subset of voters such that no briber with a fixed budget on bribery can alter the election result? The goal of this paper is to give a full picture on the complexity of protection problems. We give an extensive study on the protection problem and provide algorithmic and complexity results. Comparing our results with that on the bribery problems, we observe that the protection problem is in general significantly harder. Indeed, it becomes $\sum_{p}^2$-complete even for very restricted special cases, while most bribery problems lie in NP. However, it is not necessarily the case that the protection problem is always harder. Some of the protection problems can still be solved in polynomial time, while some of them remain as hard as the bribery problem under the same setting.


title: Tensor Convolutional Sparse Coding with Low-Rank activations, an application to EEG analysis

abstract: Recently, there has been growing interest in the analysis of spectrograms of ElectroEncephaloGram (EEG), particularly to study the neural correlates of (un)-consciousness during General Anesthesia (GA). Indeed, it has been shown that order three tensors (channels x frequencies x times) are a natural and useful representation of these signals. However this encoding entails significant difficulties, especially for convolutional sparse coding (CSC) as existing methods do not take advantage of the particularities of tensor representation, such as rank structures, and are vulnerable to the high level of noise and perturbations that are inherent to EEG during medical acts. To address this issue, in this paper we introduce a new CSC model, named Kruskal CSC (K-CSC), that uses the Kruskal decomposition of the activation tensors to leverage the intrinsic low rank nature of these representations in order to extract relevant and interpretable encodings. Our main contribution, TC-FISTA, uses multiple tools to efficiently solve the resulting optimization problem despite the increasing complexity induced by the tensor representation. We then evaluate TC-FISTA on both synthetic dataset and real EEG recorded during GA. The results show that TC-FISTA is robust to noise and perturbations, resulting in accurate, sparse and interpretable encoding of the signals.


title: Projective Poincar\'{e} and Picard bundles for moduli spaces of vector bundles over nodal curves

abstract: Let $U^{'s}_L(n,d)$ be the moduli space of stable vector bundles of rank $n$ with determinant $L$ where $L$ is a fixed line bundle of degree $d$ over a nodal curve $Y$. We prove that the projective Poincare bundle on $Y \times U^{'s}_L(n,d)$ and the projective Picard bundle on $U^{'s}_L(n,d)$ are stable for suitable polarisation. For a nonsingular point $x \in Y$, we show that the restriction of the projective Poincare bundle to $x \times U^{'s}_L(n,d)$ is stable for any polarisation. We prove that for arithmetic genus $g\ge 3$ and for $g=n=2, d$ odd, the Picard group of the moduli space $U'_L(n,d)$ of semistable vector bundles of rank $n$ with determinant $L$ of degree $d$ is isomorphic to $\mathbb{Z}$.


title: A pure non-neutral plasma under an external harmonic field: equilibrium thermodynamics and chaos

abstract: Motivated by the precedent study of Ordenes-Huanca and Velazquez [JSTAT \textbf{093303} (2016)], we address the study of a simple model of a pure non-neutral plasma: a system of identical non-relativistic charged particles confined under an external harmonic field with frequency $\omega$. We perform the equilibrium thermo-statistical analysis in the framework of continuum approximation. This study reveals the existence of two asymptotic limits: the known Brillouin steady state at zero temperature, and the gas of harmonic oscillators in the limit of high temperatures. The non-extensive character of this model is evidenced by the associated thermodynamic limit, $N\rightarrow+\infty: U/N^{7/3}=const$, which coincides with the thermodynamic limit of a self-gravitating system of non-relativistic point particles in presence of Newtonian gravitation. Afterwards, the dynamics of this model is analyzed through numerical simulations. It is verified the agreement of thermo-statistical estimations and the temporal expectation values of the same macroscopic observables. The system chaoticity is addressed via numerical computation of Lyapunov exponents in the framework of the known \emph{tangent dynamics}. The temperature dependence of Lyapunov exponent $\lambda$ approaches to zero in the two asymptotic limits of this model, reaching its maximum during the transit between them. The chaos of the present model is very strong, since its rate is faster than the characteristic timescale of the microscopic dynamics $\tau_{dyn}=1/\omega$. A qualitative analysis suggests that such a strong chaoticity cannot be explained in terms of collision events because of their respective characteristic timescales are quite different, $\tau_{ch}\propto \tau_{dyn}/N^{1/4}$ and $\tau_{coll}\propto \tau_{dyn}$.


title: Experimental Learning of Pure Quantum States using Sequential Single-Shot Measurement Outcomes

abstract: We experimentally implement a machine-learning method for accurately identifying unknown pure quantum states. The method, called single-shot measurement learning, achieves the theoretical optimal accuracy for $\epsilon = O(N^{-1})$ in state learning and reproduction, where $\epsilon$ and $N$ denote the infidelity and number of state copies, without employing computationally demanding tomographic methods. This merit results from the inclusion of weighted randomness in the learning rule governing the exploration of diverse learning routes. We experimentally verify the advantages of our scheme by using a linear-optics setup to prepare and measure single-photon polarization qubits. The experimental results show highly accurate state learning and reproduction exhibiting infidelity of $O(N^{-0.983})$ down to $10^{-5}$, without estimation of the experimental parameters.


title: High-order adaptive time discretisation of one-dimensional low-Mach reacting flows: a case study of solid propellant combustion

abstract: Solving the reactive low-Mach Navier-Stokes equations with high-order adaptive methods in time is still a challenging problem, in particular due to the handling of the algebraic variables involved in the mass constraint. We focus on the one-dimensional configuration, where this challenge has long existed in the combustion community. We consider a model of solid propellant combustion, which possesses the characteristic difficulties encountered in the homogeneous or spray combustion cases, with the added complication of an active interface. The system obtained after semi-discretisation in space is shown to be differential-algebraic of index 1. A numerical strategy relying on stiffly accurate Runge-Kutta methods is introduced, with a specific discretisation of the algebraic constraints and time adaptation. High order is shown to be reached on all variables, while handling the constraints properly. Three challenging test cases are investigated: ignition, limit cycle, and unsteady response with detailed gas-phase kinetics. We show that the time integration method can greatly affect the ability to predict the dynamics of the system. The proposed numerical strategy exhibits high efficiency and accuracy for all cases compared to traditional schemes used in the combustion literature.


title: General solution for the vacuum electromagnetic field in the surroundings of a rotating star

abstract: Aims. Many recent observations of pulsars and magnetars can be interpreted in terms of neutron stars (NS) with multipole electromagnetic fields. As a first approximation, we investigate the multipole magnetic and electric fields in the environment of a rotating star when this environment is deprived of plasma. Methods. We compute a multipole expansion of the electromagnetic field in vacuum for a given magnetic field on the conducting surface of the rotating star. Then, we consider a few consequences of multipole fields of pulsars. Results. We provide an explicit form of the solution. For each spherical harmonic of the magnetic field, the expansion contains a finite number of terms. A multipole magnetic field can provide an explanation for the stable sub-structures of pulses, and they offer a solution to the problem of current closure in pulsar magnetospheres. Conclusions. This computation generalises the widely used model of a rotating star in vacuum with a dipole field. It can be especially useful as a first approximation to the electromagnetic environment of a compact star, for instance a neutron star, with an arbitrarily magnetic field.


title: LMVE at SemEval-2020 Task 4: Commonsense Validation and Explanation using Pretraining Language Model

abstract: This paper describes our submission to subtask a and b of SemEval-2020 Task 4. For subtask a, we use a ALBERT based model with improved input form to pick out the common sense statement from two statement candidates. For subtask b, we use a multiple choice model enhanced by hint sentence mechanism to select the reason from given options about why a statement is against common sense. Besides, we propose a novel transfer learning strategy between subtasks which help improve the performance. The accuracy scores of our system are 95.6 / 94.9 on official test set and rank 7$^{th}$ / 2$^{nd}$ on Post-Evaluation leaderboard.


title: Moments of the multivariate Beta distribution

abstract: In this paper, we extend Beta distribution to 2 by 2 matrix and give the analytical formula for its moments. Our analytical formula can be used to analyze the asymptotic behavior of Beta distribution for 2 by 2 matrix.


title: Measurement of Singly Cabibbo-Suppressed Decays $D \to \omega \pi \pi$

abstract: Using 2.93 fb$^{-1}$ of $e^{+}e^{-}$ collision data taken at a center-of-mass energy of 3.773 GeV by the BESIII detector at the BEPCII, we measure the branching fractions of the singly Cabibbo-suppressed decays $D \to \omega \pi \pi$ to be $\mathcal{B}(D^0 \to \omega \pi^+\pi^-) = (1.33 \pm 0.16 \pm 0.12)\times 10^{-3}$ and $\mathcal{B}(D^+ \to \omega \pi^+\pi^0) =(3.87 \pm 0.83 \pm 0.25)\times 10^{-3}$, where the first uncertainties are statistical and the second ones systematic. The statistical significances are $12.9\sigma$ and $7.7 \sigma$, respectively. The precision of $\mathcal{B}(D^0 \to \omega \pi^+\pi^-)$ is improved by a factor of 2.1 over the CLEO measurement, and $\mathcal{B}(D^+ \to \omega \pi^+\pi^0)$ is measured for the first time. No significant signal of $\mathcal{B}(D^0 \to \omega \pi^0\pi^0)$ is observed, and the upper limit on the branching fraction is $\mathcal{B}(D^0 \to \omega \pi^0\pi^0) < 1.10 \times 10^{-3}$ at the $90\%$ confidence level. The branching fractions of $D\to \eta \pi \pi$ are also measured and consistent with existing results.


title: Quantum moment map and obstructions to the existence of closed Fedosov star products

abstract: It is shown that the normalized trace of Fedosov star product for quantum moment map depends only on the path component in the cohomology class of the symplectic form and the cohomology class of the closed formal 2-form required to define Fedosov connections (Theorem 1.3). As an application we obtain a family of obstructions to the existence of closed Fedosov star products naturally attached to symplectic manifolds (Theorem 1.5) and K\"ahler manifolds (Theorem 1.6). These obstructions are integral invariants depending only on the path component of the cohomology class of the symplectic form. Restricted to compact K\"ahler manifolds we re-discover an obstruction found earlier in [29].


title: On the Cauchy problem for Friedrichs systems on globally hyperbolic manifolds with timelike boundary

abstract: In this paper, the Cauchy problem for a Friedrichs system on a globally hyperbolic manifold with a timelike boundary is investigated. By imposing admissible boundary conditions, the existence and the uniqueness of strong solutions are shown. Furthermore, if the Friedrichs system is hyperbolic, the Cauchy problem is proved to be well-posed in the sense of Hadamard. Finally, examples of Friedrichs systems with admissible boundary conditions are provided.


title: Temporal Fresnel diffraction induced by phase jumps in linear and nonlinear optical fibres

abstract: We analytically and numerically study the temporal intensity pattern emerging from the linear or nonlinear evolutions of a single or double phase jump in an optical fiber. The results are interpreted in terms of interferences of the well-known diffractive patterns of a straight edge, strip and slit and a complete analytical framework is provided in terms of Fresnel integrals for the case of purely dispersive evolution. When Kerr nonlinearity affects the propagation, various coherent nonlinear structures emerge according to the regime of dispersion.


title: On a Repulsion Keller--Segel System with a Logarithmic Sensitivity

abstract: In this paper, we study the initial-boundary value problem of a repulsion Keller--Segel system with a logarithmic sensitivity modeling the reinforced random walk. By establishing an energy-dissipation identity, we prove the existence of classical solutions in two dimensions as well as existence of weak solutions in the three-dimensional setting. Moreover, it is shown that the weak solutions enjoys an eventual regularity property, i.e., it becomes regular after certain time $T>0$. An exponential convergence rate toward the spatially homogeneous steady states is obtained as well. We adopt a new approach developed recently by the author \cite{J19} to study the eventual regularity. The argument is based on observation of the exponential stability of constant solutions in scaling-invariant spaces together with certain dissipative property of the global solutions in the same spaces.


title: Optimal Reinsurance under the Mean-Variance Premium Principle to Minimize the Probability of Ruin

abstract: We consider the problem of minimizing the probability of ruin by purchasing reinsurance whose premium is computed according to the mean-variance premium principle, a combination of the expected-value and variance premium principles. We derive closed-form expressions of the optimal reinsurance strategy and the corresponding minimum probability of ruin under the diffusion approximation of the classical Cram\'er-Lundberg risk process perturbed by a diffusion. We find an explicit expression for the reinsurance strategy that maximizes the adjustment coefficient for the classical risk process perturbed by a diffusion. Also, for this risk process, we use stochastic Perron's method to prove that the minimum probability of ruin is the unique viscosity solution of its Hamilton-Jacobi-Bellman equation with appropriate boundary conditions. Finally, we prove that, under an appropriate scaling of the classical risk process, the minimum probability of ruin converges to the minimum probability of ruin under the diffusion approximation.


title: Perfect cylindrical cloak under gyration, Non-inertial effects make perfect cloak visible

abstract: In this study, the impact of non-inertial effects, caused by rotational motion, on the cylindrical perfect cloak is simulated. Also, the interactions between plane waves, Gaussian sine, and Gaussian pulse are investigated. it is shown that non-inertial perfect cloak could be detectable with the Sagnac and magnetoelectric effects.at low frequency of gyration, the distortion of waveform pattern is humble and negligible, however when the rotational frequency increases, the pattern distortion becomes huge and wavelets are formed and their intensity grows up. the scattering pattern can be influenced by the direction of rotation, thus, the direction of rotation could be identified with the scattering pattern analysis. Also, a method for measuring rotational velocity can be prepared concerning the electric field phase retardation. the simulation is computed using the FDTD methods by transforming the Maxwell's equations from non-inertial frameworks to the lab framework.


title: Some inequalities involving perimeter and torsional rigidity

abstract: We consider shape functionals of the form $F_q(\Omega)=P(\Omega)T^q(\Omega)$ on the class of open sets of prescribed Lebesgue measure. Here $q>0$ is fixed, $P(\Omega)$ denotes the perimeter of $\Omega$ and $T(\Omega)$ is the torsional rigidity of $\Omega$. The minimization and maximization of $F_q(\Omega)$ is considered on various classes of admissible domains $\Omega$: in the class $\mathcal{A}_{all}$ of all domains, in the class $\mathcal{A}_{convex}$ of convex domains, and in the class $\mathcal{A}_{thin}$ of thin domains.


title: A study of multistage interconnection networks operating with wormhole routing and equipped with multi-lane storage

abstract: Multistage interconnection networks (MINs) provide critical communication resources between network components with an attractive cost/performance relation. In this paper, a novel architecture for a MIN is proposed. In contrast to other existing networks, this new architecture operates via wormhole routing using a multi-lane equivalent-weighted fair queuing system. Associating the lane storage with each physical channel for movement of the flits allows for high levels of packet flow and makes the system more robust. The resulting flit scheduling schema has been studied thoroughly, and the results are presented in this manuscript. In addition to performance metrics, additional factors such as complexity, cost and reliability are investigated. Since a basic aim of the design of MINs is to achieve a good data flow control mechanism, this proposal is an extremely effective and robust solution. The rationale behind this innovative scheme is to introduce a more efficient network technology, thus providing a better quality of service (i.e. streaming media vs. file transfer).


title: Collision of Merger and Accretion Shocks: Formation of Mpc-scale Contact Discontinuity in the Perseus Cluster

abstract: Two Mpc-size contact discontinuities have recently been identified in the XMM-Newton and Suzaku X-ray observations of the outskirts of the Perseus cluster (Walker et al. 2020). These structures have been tentatively interpreted as "sloshing cold fronts", which are customarily associated with differential motions of the cluster gas, perturbed by a merger. In this study we consider an alternative scenario, namely, that the most prominent discontinuity near the cluster virial radius is the result of the collision between the accretion shock and the "runaway" merger shock. We also discuss the possible origin of the second discontinuity at ~1.2 Mpc.


title: Closed-form variance estimators for weighted and stratified dose-response function estimators using generalized propensity score

abstract: Propensity score methods are widely used in observational studies for evaluating marginal treatment effects. The generalized propensity score (GPS) is an extension of the propensity score framework, historically developed in the case of binary exposures, for use with quantitative or continuous exposures. In this paper, we proposed variance esti-mators for treatment effect estimators on continuous outcomes. Dose-response functions (DRF) were estimated through weighting on the inverse of the GPS, or using stratification. Variance estimators were evaluated using Monte Carlo simulations. Despite the use of stabilized weights, the variability of the weighted estimator of the DRF was particularly high, and none of the variance estimators (a bootstrap-based estimator, a closed-form estimator especially developped to take into account the estimation step of the GPS, and a sandwich estimator) were able to adequately capture this variability, resulting in coverages below to the nominal value, particularly when the proportion of the variation in the quantitative exposure explained by the covariates was 1 large. The stratified estimator was more stable, and variance estima-tors (a bootstrap-based estimator, a pooled linearized estimator, and a pooled model-based estimator) more efficient at capturing the empirical variability of the parameters of the DRF. The pooled variance estimators tended to overestimate the variance, whereas the bootstrap estimator, which intrinsically takes into account the estimation step of the GPS, resulted in correct variance estimations and coverage rates. These methods were applied to a real data set with the aim of assessing the effect of maternal body mass index on newborn birth weight.


title: On robust fundamental theorems of asset pricing in discrete time

abstract: This paper is devoted to a study of robust fundamental theorems of asset pricing in discrete time and finite horizon settings. Uncertainty is modelled by a (possibly uncountable) family of price processes on the same probability space. Our technical assumption is the continuity of the price processes with respect to uncertain parameters. In this setting, we introduce a new topological framework which allows us to use the classical arguments in arbitrage pricing theory involving $L^p$ spaces, the Hahn-Banach separation theorem and other tools from functional analysis. The first result is the equivalence of a ``no robust arbitrage" condition and the existence of a new ``robust pricing system". The second result shows superhedging dualities and the existence of superhedging strategies without restrictive conditions on payoff functions, unlike other related studies. The third result discusses completeness in the present robust setting. When other options are available for static trading, we could reduce the set of robust pricing systems and hence the superhedging prices.


title: Development in periodic series,method for resolving differential equations

abstract: The development of functions of real variables in Taylor and Frobenius series (whole series which are formed in nonorthogonal, nonperiodic bases), in sinusoidal Fourier series (bases of orthogonal, periodic functions), in series of special functions (bases of orthogonal, nonperiodic functions), etc. is a commonly used method for solving a wide range of ordinary differential equations (ODEs) and partial differential equations (PDEs).In this article, based on an in-depth analysis of the properties of periodic sinusoidal Fourier series (SFS), we will be able to apply this procedure to a much broader category of ODEs (all linear, homogeneous and non-homogeneous equations with constant coefficients, a large category of linear and non-linear equations with variable coefficients, systems of ODEs, integro-differential equations, etc.). We will also extend this procedure and we use it to solve certain ODEs, on non-orthogonal periodic bases, represented by non sinusoidal periodic Fourier series (SFN).


title: Nonlinear Markov Chains with Finite State Space: Invariant Distributions and Long-Term Behaviour

abstract: Nonlinear Markov chains with finite state space have been introduced in Kolokoltsov (2010). The characteristic property of these processes is that the transition probabilities do not only depend on the state, but also on the distribution of the process. In this paper we provide first results regarding their invariant distributions and long-term behaviour. We will show that under a continuity assumption an invariant distribution exists. Moreover, we provide a sufficient criterion for the uniqueness of the invariant distribution that relies on the Brouwer degree. Thereafter, we will present examples of peculiar limit behaviour that cannot occur for classical linear Markov chains. Finally, we present for the case of small state spaces sufficient (and easy-to-verify) criteria for the ergodicity of the process.


title: Emergent behaviors of Cucker-Smale flocks on the hyperboloid

abstract: We study emergent behaviors of Cucker-Smale(CS) flocks on the hyperboloid $\mathbb{H}^d$ in any dimensions. In a recent work \cite{H-H-K-K-M}, a first-order aggregation model on the hyperboloid was proposed and its emergent dynamics was analyzed in terms of initial configuration and system parameters. In this paper, we are interested in the second-order modeling of Cucker-Smale flocks on the hyperboloid. For this, we derive our second-order model from the abstract CS model on complete and smooth Riemannian manifolds by explicitly calculating the geodesic and parallel transport. Velocity alignment has been shown by combining general {velocity alignment estimates} for the abstract CS model on manifolds and verifications of a priori estimate of second derivative of energy functional. For the two-dimensional case $\mathbb{H}^2$, similar to the recent result in \cite{A-H-S}, asymptotic flocking admits only two types of asymptotic scenarios, either convergence to a rest state or a state lying on the same plane (coplanar state). We also provide several numerical simulations to illustrate an aforementioned dichotomy on the asymptotic dynamics of the hyperboloid CS model on $\mathbb{H}^2$.


title: Attacking COVID-19 Progression using Multi-Drug Therapy for Synergetic Target Engagement

abstract: COVID-19 is a devastating respiratory and inflammatory illness caused by a new coronavirus that is rapidly spreading throughout the human population. Over the past 6 months, severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), the virus responsible for COVID-19, has already infected over 11.6 million (25% located in United States) and killed more than 540K people around the world. As we face one of the most challenging times in our recent history, there is an urgent need to identify drug candidates that can attack SARS-CoV-2 on multiple fronts. We have therefore initiated a computational dynamics drug pipeline using molecular modeling, structure simulation, docking and machine learning models to predict the inhibitory activity of several million compounds against two essential SARS-CoV-2 viral proteins and their host protein interactors; S/Ace2, Tmprss2, Cathepsins L and K, and Mpro to prevent binding, membrane fusion and replication of the virus, respectively. All together we generated an ensemble of structural conformations that increase high quality docking outcomes to screen over >6 million compounds including all FDA-approved drugs, drugs under clinical trial (>3000) and an additional >30 million selected chemotypes from fragment libraries. Our results yielded an initial set of 350 high value compounds from both new and FDA-approved compounds that can now be tested experimentally in appropriate biological model systems. We anticipate that our results will initiate screening campaigns and accelerate the discovery of COVID-19 treatments.


title: Branching Fractions and CP Violation in $B^-\to K^+K^-\pi^-$ and $B^-\to \pi^+\pi^-\pi^-$ Decays

abstract: We present in this work a study of tree-dominated charmless three-body decays of $B$ mesons, $B^-\to K^+K^-\pi^-$ and $B^-\to\pi^+\pi^-\pi^-$, within the factorization approach. The main results are: (i) There are two distinct sources of nonresonant contributions: one arises from the $b\to u$ tree transition and the other from the nonresonant matrix element of scalar densities $\langle M_1M_2|\bar q_1 q_2|0\rangle^{\rm NR}$. It turns out that even for tree-dominated three-body decays, dominant nonresonant contributions originate from the penguin diagram rather than from the $b\to u$ tree process, as implied by the large nonresonant component observed recently in the $\pi^- K^+$ system which accounts for one third of the $B^-\to K^+K^-\pi^-$ rate. (ii) The calculated branching fraction of $B^-\to f_2(1270)\pi^-\to K^+K^-\pi^-$ is smaller than the LHCb by a factor of $\sim 7$ in its central value, but the predicted $\B(B^-\to f_2(1270)\pi^-\to\pi^+\pi^-\pi^-)$ is consistent with the data. Branching fractions of $B^-\to f_2(1270)\pi^-$ extracted from the LHCb measurements of these two processes also differ by a factor of seven! Therefore, it is likely that the $f_2(1270)$ contribution to $B^-\to K^+K^-\pi^-$ is largely overestimated experimentally. Including $1/m_b$ power corrections from penguin annihilation inferred from QCD factorization (QCDF), a sizable CP asymmetry of 32\% in the $f_2(1270)$ component agrees with experiment. (iii) A fraction of 5\% for the $\rho(1450)$ component in $B^-\to\pi^+\pi^-\pi^-$ is in accordance with the theoretical expectation. However, a large fraction of 30\% in $B^-\to K^+K^-\pi^-$ is entirely unexpected. This issue needs to be clarified in the future.


title: Enhancing SAT solvers with glue variable predictions

abstract: Modern SAT solvers routinely operate at scales that make it impractical to query a neural network for every branching decision. NeuroCore, proposed by Selsam and Bjorner, offered a proof-of-concept that neural networks can still accelerate SAT solvers by only periodically refocusing a score-based branching heuristic. However, that work suffered from several limitations: their modified solvers require GPU acceleration, further ablations showed that they were no better than a random baseline on the SATCOMP 2018 benchmark, and their training target of unsat cores required an expensive data pipeline which only labels relatively easy unsatisfiable problems. We address all these limitations, using a simpler network architecture allowing CPU inference for even large industrial problems with millions of clauses, and training instead to predict {\em glue variables}---a target for which it is easier to generate labelled data, and which can also be formulated as a reinforcement learning task. We demonstrate the effectiveness of our approach by modifying the state-of-the-art SAT solver CaDiCaL, improving its performance on SATCOMP 2018 and SATRACE 2019 with supervised learning and its performance on a dataset of SHA-1 preimage attacks with reinforcement learning.


title: Hurricanes on tidally locked terrestrial planets: Fixed surface temperature experiments

abstract: In this work, we study the presence of hurricanes on exoplanets. Tidally locked terrestrial planets around M dwarfs are the main targets of space missions looking to discover habitable exoplanets. The question of whether hurricanes can form on this kind of planet is important for determining their climate and habitability. Using a high-resolution global atmospheric circulation model, we investigated whether there are hurricanes on tidally locked terrestrial planets under fixed surface temperatures. The relevant effects of the planetary rotation rate, surface temperature, and bulk atmospheric compositions were examined. We find that hurricanes can form on the planets but not on all of them. For planets near the inner edge of the habitable zone of late M dwarfs, there are more numerous and stronger hurricanes on both day and night sides. For planets in the middle and outer ranges of the habitable zone, the possibility of hurricane formation is low or even close to zero, as has been suggested in recent studies. Earth-based hurricane theories are applicable to tidally locked planets only when the atmospheric compositions are similar to that of Earth. However, if the background atmosphere is lighter than H2O, hurricanes can hardly be produced because convection is always inhibited due to the effect of the mean molecular weight, similarly to the case of Saturn. These results have broad implications on the precipitation, ocean mixing, climate, and atmospheric characterization of tidally locked planets. Finally, A test with a coupled slab ocean and an Earth-like atmosphere in a tide-locked orbit of ten Earth days demonstrates that there are also hurricanes present in the experiment.


title: Learning from Failure: Training Debiased Classifier from Biased Classifier

abstract: Neural networks often learn to make predictions that overly rely on spurious correlation existing in the dataset, which causes the model to be biased. While previous work tackles this issue by using explicit labeling on the spuriously correlated attributes or presuming a particular bias type, we instead utilize a cheaper, yet generic form of human knowledge, which can be widely applicable to various types of bias. We first observe that neural networks learn to rely on the spurious correlation only when it is "easier" to learn than the desired knowledge, and such reliance is most prominent during the early phase of training. Based on the observations, we propose a failure-based debiasing scheme by training a pair of neural networks simultaneously. Our main idea is twofold; (a) we intentionally train the first network to be biased by repeatedly amplifying its "prejudice", and (b) we debias the training of the second network by focusing on samples that go against the prejudice of the biased network in (a). Extensive experiments demonstrate that our method significantly improves the training of the network against various types of biases in both synthetic and real-world datasets. Surprisingly, our framework even occasionally outperforms the debiasing methods requiring explicit supervision of the spuriously correlated attributes.


title: Low Regularity Estimates for CutFEM Approximations of an Elliptic Problem with Mixed Boundary Conditions

abstract: We show error estimates for a cut finite element approximation of a second order elliptic problem with mixed boundary conditions. The error estimates are of low regularity type where we consider the case when the exact solution $u \in H^s$ with $s\in (1,3/2]$. For Nitsche type methods this case requires special handling of the terms involving the normal flux of the exact solution at the the boundary. For Dirichlet boundary conditions the estimates are optimal, whereas in the case of mixed Dirichlet-Neumann boundary conditions they are suboptimal by a logarithmic factor.


title: An improvement of Zalcman's lemma in $C^n$

abstract: The aim of this paper is to give a proof of improving of Zalcman's lemma.


title: Reliable Probability Forecast of Solar Flares: Deep Flare Net-Reliable (DeFN-R)

abstract: We developed a reliable probabilistic solar flare forecasting model using a deep neural network, named Deep Flare Net-Reliable (DeFN-R). The model can predict the maximum classes of flares that occur in the following 24 h after observing images, along with the event occurrence probability. We detected active regions from 3x10^5 solar images taken during 2010-2015 by Solar Dynamic Observatory and extracted 79 features for each region, which we annotated with flare occurrence labels of X-, M-, and C-classes. The extracted features are the same as used by Nishizuka et al. (2018); for example, line-of-sight/vector magnetograms in the photosphere, brightening in the corona, and the X-ray emissivity 1 and 2 h before an image. We adopted a chronological split of the database into two for training and testing in an operational setting: the dataset in 2010-2014 for training and the one in 2015 for testing. DeFN-R is composed of multilayer perceptrons formed by batch normalizations and skip connections. By tuning optimization methods, DeFN-R was trained to optimize the Brier skill score (BSS). As a result, we achieved BSS = 0.41 for >=C-class flare predictions and 0.30 for >=M-class flare predictions by improving the reliability diagram while keeping the relative operating characteristic curve almost the same. Note that DeFN is optimized for deterministic prediction, which is determined with a normalized threshold of 50%. On the other hand, DeFN-R is optimized for a probability forecast based on the observation event rate, whose probability threshold can be selected according to users' purposes.


title: S2-cGAN: Self-Supervised Adversarial Representation Learning for Binary Change Detection in Multispectral Images

abstract: Deep Neural Networks have recently demonstrated promising performance in binary change detection (CD) problems in remote sensing (RS), requiring a large amount of labeled multitemporal training samples. Since collecting such data is time-consuming and costly, most of the existing methods rely on pre-trained networks on publicly available computer vision (CV) datasets. However, because of the differences in image characteristics in CV and RS, this approach limits the performance of the existing CD methods. To address this problem, we propose a self-supervised conditional Generative Adversarial Network (S2-cGAN). The proposed S^2-cGAN is trained to generate only the distribution of unchanged samples. To this end, the proposed method consists of two main steps: 1) Generating a reconstructed version of the input image as an unchanged image 2) Learning the distribution of unchanged samples through an adversarial game. Unlike the existing GAN based methods (which only use the discriminator during the adversarial training to supervise the generator), the S2-cGAN directly exploits the discriminator likelihood to solve the binary CD task. Experimental results show the effectiveness of the proposed S2-cGAN when compared to the state of the art CD methods.


title: Evolutionary status and fundamental parameters of the Cepheid V1033 Cyg

abstract: On the basis of consistent stellar evolution and nonlinear stellar pulsation calculations the Cepheid V1033 Cyg is shown to be the post--main sequence star at the first crossing of the instability strip during gravitational contraction of the helium core. The observed light variability of V1033 Cyg is due to radial oscillations in the fundamental mode. The best agreement (within one percent) between recent observations and the theoretical estimate of the period change rate was obtained for the evolutionary sequence with stellar mass $M=6.3M_\odot$ and helium and heavier element fractional abundances $Y=0.28$ and $Z=0.022$, respectively. The age of the star, the luminosity, the radius, the effective temperature and the surface gravity are $t_\mathrm{ev}=5.84\times 10^7$ yr, $L=2009L_\odot$, $R=45.6R_\odot$, $T_\mathrm{eff}=5726 \mathrm{K}$, $\log g=1.92$.


title: Analytical scores for stress scenarios

abstract: In this work, inspired by the Archer-Mouy-Selmi approach, we present two methodologies for scoring the stress test scenarios used by CCPs for sizing their Default Funds. These methodologies can be used by risk managers to compare different sets of scenarios and could be particularly useful when evaluating the relevance of adding new scenarios to a pre-existing set.


title: Asymptotic spreading speeds for a predator-prey system with two predators and one prey

abstract: This paper investigates the large time behaviour of a three species reaction-diffusion system, modelling the spatial invasion of two predators feeding on a single prey species. In addition to the competition for food, the two predators exhibit competitive interactions and under some parameter conditions ($\mu>0$), they can also be considered as two mutants. When mutations occur in the predator populations, the spatial spread of invasion takes place at a definite speed, identical for both mutants. When the two predators are not coupled through mutation, the spreading behaviour exhibits a more complex propagating pattern, including multiple layers with different speeds. In addition, some parameter conditions reveal situations where a nonlocal pulling phenomenon occurs and in particular where the spreading speed is not linearly determined.


title: Dismantling a dogma: the inflated significance of neutral genetic diversity in conservation genetics

abstract: The current rate of species extinction is rapidly approaching unprecedented highs and life on Earth presently faces a sixth mass extinction event driven by anthropogenic activity, climate change and ecological collapse. The field of conservation genetics aims at preserving species by using their levels of genetic diversity, usually measured as neutral genome-wide diversity, as a barometer for evaluating population health and extinction risk. A fundamental assumption is that higher levels of genetic diversity lead to an increase in fitness and long-term survival of a species. Here, we argue against the perceived importance of neutral genetic diversity for the conservation of wild populations and species. We demonstrate that no simple general relationship exists between neutral genetic diversity and the risk of species extinction. Instead, a better understanding of the properties of functional genetic diversity, demographic history, and ecological relationships, is necessary for developing and implementing effective conservation genetic strategies.


title: R2D2 spherical TPC: first energy resolution results

abstract: Spherical time projection chambers (TPC), also known as spherical proportional counters, are employed in the search for rare phenomena, such as light Dark Matter candidates. The spherical TPC exhibits a number of essential features, making it a promising candidate for the search of neutrinoless double beta decay ($\beta\beta0\nu$). A tonne-scale spherical TPC experiment could cover a region of parameter space relevant for the inverted mass hierarchy with a few years of data taking. In this direction, the major R\&D goal of the R2D2 effort is the demonstration of the required energy resolution. First results from an argon-filled prototype detector are reported, demonstrating an energy resolution of 1.1\% FWHM for 5.3~MeV $\alpha$ tracks in the 0.2 to 1.1~bar pressure range. This is a major milestone in terms of energy resolution, paving the way for further studies with xenon gas, and the possible use of this technology for $\beta\beta0\nu$ searches.


title: Geometric Attention for Prediction of Differential Properties in 3D Point Clouds

abstract: Estimation of differential geometric quantities in discrete 3D data representations is one of the crucial steps in the geometry processing pipeline. Specifically, estimating normals and sharp feature lines from raw point cloud helps improve meshing quality and allows us to use more precise surface reconstruction techniques. When designing a learnable approach to such problems, the main difficulty is selecting neighborhoods in a point cloud and incorporating geometric relations between the points. In this study, we present a geometric attention mechanism that can provide such properties in a learnable fashion. We establish the usefulness of the proposed technique with several experiments on the prediction of normal vectors and the extraction of feature lines.


title: A Novel Random Forest Dissimilarity Measure for Multi-View Learning

abstract: Multi-view learning is a learning task in which data is described by several concurrent representations. Its main challenge is most often to exploit the complementarities between these representations to help solve a classification/regression task. This is a challenge that can be met nowadays if there is a large amount of data available for learning. However, this is not necessarily true for all real-world problems, where data are sometimes scarce (e.g. problems related to the medical environment). In these situations, an effective strategy is to use intermediate representations based on the dissimilarities between instances. This work presents new ways of constructing these dissimilarity representations, learning them from data with Random Forest classifiers. More precisely, two methods are proposed, which modify the Random Forest proximity measure, to adapt it to the context of High Dimension Low Sample Size (HDLSS) multi-view classification problems. The second method, based on an Instance Hardness measurement, is significantly more accurate than other state-of-the-art measurements including the original RF Proximity measurement and the Large Margin Nearest Neighbor (LMNN) metric learning measurement.


title: On the Weyl-Ahlfors theory of derived curves

abstract: For derived curves intersecting a family of decomposable hyperplanes in subgeneral position, we obtain an analog of Cartan-Nochka Second Main Theorem, generalizing a classical result of Fujimoto about decomposable hyperplanes in general position.


title: Probabilistic Multi-modal Trajectory Prediction with Lane Attention for Autonomous Vehicles

abstract: Trajectory prediction is crucial for autonomous vehicles. The planning system not only needs to know the current state of the surrounding objects but also their possible states in the future. As for vehicles, their trajectories are significantly influenced by the lane geometry and how to effectively use the lane information is of active interest. Most of the existing works use rasterized maps to explore road information, which does not distinguish different lanes. In this paper, we propose a novel instance-aware representation for lane representation. By integrating the lane features and trajectory features, a goal-oriented lane attention module is proposed to predict the future locations of the vehicle. We show that the proposed lane representation together with the lane attention module can be integrated into the widely used encoder-decoder framework to generate diverse predictions. Most importantly, each generated trajectory is associated with a probability to handle the uncertainty. Our method does not suffer from collapsing to one behavior modal and can cover diverse possibilities. Extensive experiments and ablation studies on the benchmark datasets corroborate the effectiveness of our proposed method. Notably, our proposed method ranks third place in the Argoverse motion forecasting competition at NeurIPS 2019.


title: Variational Approach to Tunneling Dynamics. Application to Hot Superfluid Fermi Systems. Spontaneous and Induced Fission

abstract: We introduce a general variational framework to address the tunneling of hot Fermi systems. We use the representation of the trace of the imaginary time $\tau=it$ propagator as a functional integral type of a sum over complete sets of states at intermediate propagation slices. We assume that these states are $\tau$-dependent and generated by an arbitrary trial Hamiltonian $H_0(\tau)$. We then use the convexity inequality to derive $H_0(\tau)$ controlled variational bound for a trial action functional. This functional has a general structure consisting of two parts - statistically weighted quantum penetrability and dynamical tunneling entropy. We examine how this structure incorporates the basic physics of tunneling of hot Fermi systems. Using the variational inequality one can optimise the dynamical parameters controlling the action functional for any choice of the trial problem. As an application we take $H_0(\tau)$ to describe imaginary time dynamics of non interacting Bogoliubov-de Gennes (BdG) quasiparticles. Optimising its dynamical parameters we extend the tunneling theory of hot Fermi systems to the Hartree-Fock-Bogoliubov(HFB) frame and derive the corresponding generalisation of imaginary time temperature dependent BdG mean field equations. As in the trial action the prominent feature of these equations is an inseparable interplay between quantum dynamical and entropic statistical effects. In the zero temperature limit these equations describe the "false ground state" tunneling decay of superfluid Fermi systems (spontaneous fission in nuclear physics). With increasing excitation energy (effective temperature) the decay process is gradually evolving from pure quantum tunneling to statistical "bottle neck" escape mechanism.


title: Hochschild homology and the derived de Rham complex revisited

abstract: We characterize two objects by universal property: the derived de Rham complex and Hochschild homology together with its Hochschild-Kostant-Rosenberg filtration. This involves endowing these objects with extra structure, built on notions of "homotopy-coherent cochain complex" and "filtered circle action" that we study here. We use these universal properties to give a conceptual proof of the statements relating Hochschild homology and the derived de Rham complex, in particular giving a new construction of the filtrations on cyclic, negative cyclic, and periodic cyclic homology that relate these invariants to derived de Rham cohomology.


title: Progressive Cluster Purification for Unsupervised Feature Learning

abstract: In unsupervised feature learning, sample specificity based methods ignore the inter-class information, which deteriorates the discriminative capability of representation models. Clustering based methods are error-prone to explore the complete class boundary information due to the inevitable class inconsistent samples in each cluster. In this work, we propose a novel clustering based method, which, by iteratively excluding class inconsistent samples during progressive cluster formation, alleviates the impact of noise samples in a simple-yet-effective manner. Our approach, referred to as Progressive Cluster Purification (PCP), implements progressive clustering by gradually reducing the number of clusters during training, while the sizes of clusters continuously expand consistently with the growth of model representation capability. With a well-designed cluster purification mechanism, it further purifies clusters by filtering noise samples which facilitate the subsequent feature learning by utilizing the refined clusters as pseudo-labels. Experiments on commonly used benchmarks demonstrate that the proposed PCP improves baseline method with significant margins. Our code will be available at https://github.com/zhangyifei0115/PCP.


title: Learning Graph-Convolutional Representations for Point Cloud Denoising

abstract: Point clouds are an increasingly relevant data type but they are often corrupted by noise. We propose a deep neural network based on graph-convolutional layers that can elegantly deal with the permutation-invariance problem encountered by learning-based point cloud processing methods. The network is fully-convolutional and can build complex hierarchies of features by dynamically constructing neighborhood graphs from similarity among the high-dimensional feature representations of the points. When coupled with a loss promoting proximity to the ideal surface, the proposed approach significantly outperforms state-of-the-art methods on a variety of metrics. In particular, it is able to improve in terms of Chamfer measure and of quality of the surface normals that can be estimated from the denoised data. We also show that it is especially robust both at high noise levels and in presence of structured noise such as the one encountered in real LiDAR scans.


title: Simulation-Guided Boolean Resubstitution

abstract: This paper proposes a new logic optimization paradigm based on circuit simulation, which reduces the need for Boolean computations such as SAT-solving or constructing BDDs. The paper develops a Boolean resubstitution framework to demonstrate the effectiveness of the proposed approach. Methods to generate highly expressive simulation patterns are developed, and the generated patterns are used in resubstitution for efficient filtering of potential resubstitution candidates to reduce the need for SAT validation. Experimental results show that improvements in circuit size reduction were achieved by up to 74%, compared to a state-of-the-art resubstitution algorithm.