title: Positive magnetoresistance and chiral anomaly in exfoliated type-II Weyl semimetal $T_\mathrm{d}$-WTe$_{2}$

abstract: Layered van der Waals semimetallic $T_\mathrm{d}$-WTe$_{2}$, exhibiting intriguing properties which include non-saturating extreme positive magnetoresistance (MR) and tunable chiral anomaly, has emerged as model topological type-II Weyl semimetal system. Here, $\sim$45 nm thick mechanically exfoliated flakes of $T_\mathrm{d}$-WTe$_{2}$ are studied $via$ atomic force microscopy, Raman spectroscopy, low-$T$/high-$\mu_{0}H$ magnetotransport measurements and optical reflectivity. The contribution of anisotropy of the Fermi liquid state to the origin of the large positive transverse $\mathrm{MR}_\perp$ and the signature of chiral anomaly of the type-II Weyl fermions are reported. The samples are found to be stable in air and no oxidation or degradation of the electronic properties are observed. A transverse $\mathrm{MR}_\perp$ $\sim$1200\,\% and an average carrier mobility of $5000$\, cm$^{2}$V$^{-1}$s$^{-1}$ at $T=5\,\mathrm{K}$ for an applied perpendicular field $\mu_{0}H_{\perp} = 7\,\mathrm{T}$ are established. The system follows a Fermi liquid model for $T\leq50\,\mathrm{K}$ and the anisotropy of the Fermi surface is concluded to be at the origin of the observed positive MR. The anisotropy of the electronic behaviour is also confirmed by optical reflectivity measurements. The relative orientation of the crystal axes and of the applied electric and magnetic fields is proven to give rise to the observed chiral anomaly in the in-plane magnetotransport.


title: Temporal Memory Relation Network for Workflow Recognition from Surgical Video

abstract: Automatic surgical workflow recognition is a key component for developing context-aware computer-assisted systems in the operating theatre. Previous works either jointly modeled the spatial features with short fixed-range temporal information, or separately learned visual and long temporal cues. In this paper, we propose a novel end-to-end temporal memory relation network (TMRNet) for relating long-range and multi-scale temporal patterns to augment the present features. We establish a long-range memory bank to serve as a memory cell storing the rich supportive information. Through our designed temporal variation layer, the supportive cues are further enhanced by multi-scale temporal-only convolutions. To effectively incorporate the two types of cues without disturbing the joint learning of spatio-temporal features, we introduce a non-local bank operator to attentively relate the past to the present. In this regard, our TMRNet enables the current feature to view the long-range temporal dependency, as well as tolerate complex temporal extents. We have extensively validated our approach on two benchmark surgical video datasets, M2CAI challenge dataset and Cholec80 dataset. Experimental results demonstrate the outstanding performance of our method, consistently exceeding the state-of-the-art methods by a large margin (e.g., 67.0% v.s. 78.9% Jaccard on Cholec80 dataset).


title: Automatic airway segmentation from Computed Tomography using robust and efficient 3-D convolutional neural networks

abstract: This paper presents a fully automatic and end-to-end optimised airway segmentation method for thoracic computed tomography, based on the U-Net architecture. We use a simple and low-memory 3D U-Net as backbone, which allows the method to process large 3D image patches, often comprising full lungs, in a single pass through the network. This makes the method simple, robust and efficient. We validated the proposed method on three datasets with very different characteristics and various airway abnormalities: i) a dataset of pediatric patients including subjects with cystic fibrosis, ii) a subset of the Danish Lung Cancer Screening Trial, including subjects with chronic obstructive pulmonary disease, and iii) the EXACT'09 public dataset. We compared our method with other state-of-the-art airway segmentation methods, including relevant learning-based methods in the literature evaluated on the EXACT'09 data. We show that our method can extract highly complete airway trees with few false positive errors, on scans from both healthy and diseased subjects, and also that the method generalizes well across different datasets. On the EXACT'09 test set, our method achieved the second highest sensitivity score among all methods that reported good specificity.


title: E-GraphSAGE: A Graph Neural Network based Intrusion Detection System for IoT

abstract: This paper presents a new Network Intrusion Detection System (NIDS) based on Graph Neural Networks (GNNs). GNNs are a relatively new sub-field of deep neural networks, which can leverage the inherent structure of graph-based data. Training and evaluation data for NIDSs are typically represented as flow records, which can naturally be represented in a graph format. In this paper, we propose E-GraphSAGE, a GNN approach that allows capturing both the edge features of a graph as well as the topological information for network intrusion detection in IoT networks. To the best of our knowledge, our proposal is the first successful, practical, and extensively evaluated approach of applying GNNs on the problem of network intrusion detection for IoT using flow-based data. Our extensive experimental evaluation on four recent NIDS benchmark datasets shows that our approach outperforms the state-of-the-art in terms of key classification metrics, which demonstrates the potential of GNNs in network intrusion detection, and provides motivation for further research.


title: The lattice of worker-quasi-stable matchings

abstract: In a many-to-one matching model in which firms' preferences satisfy substitutability, we study the set of worker-quasi-stable matchings. Worker-quasi-stability is a relaxation of stability that allows blocking pairs involving a firm and an unemployed worker. We show that this set has a lattice structure and define a Tarski operator on this lattice that models a re-equilibration process and has the set of stable matchings as its fixed points.


title: The Parabolic Anderson Model on a Galton-Watson tree revisited

abstract: In [1] a detailed analysis was given of the large-time asymptotics of the total mass of the solution to the parabolic Anderson model on a supercritical Galton-Watson random tree with an i.i.d. random potential whose marginal distribution is double-exponential. Under the assumption that the degree distribution has bounded support, two terms in the asymptotic expansion were identified under the quenched law, i.e., conditional on the realisation of the random tree and the random potential. The second term contains a variational formula indicating that the solution concentrates on a subtree with minimal degree according to a computable profile. The present paper extends the analysis to degree distributions with unbounded support. We identify the weakest condition on the tail of the degree distribution under which the arguments in [1] can be pushed through. To do so we need to control the occurrence of large degrees uniformly in large subtrees of the Galton-Watson tree.


title: Well-Posedness and Exponential Decay for the Navier-Stokes Equations of Viscous Compressible Heat-Conductive Fluids with Vacuum

abstract: This paper is concerned with the Cauchy problem of Navier-Stokes equations for compressible viscous heat-conductive fluids with far-field vacuum at infinity in $\R^3$. For less regular data and weaker compatibility condition than those proposed by Cho-Kim \cite{CK2006}, we first prove the existence of local-in-time solutions belonging to a larger class of functions in which the uniqueness can be shown to hold. The local solution is in fact a classical one away from the initial time, provided the initial density is regular. We also establish the global well-posedness of classical solutions with large oscillations and vacuum in the case when the initial total energy is suitably small. The exponential decay estimates of the global solutions are obtained.


title: Global weak solutions for compressible Navier-Stokes-Vlasov-Fokker-Planck system

abstract: The one-dimensional compressible Navier-Stokes-Vlasov-Fokker-Planck system with density-dependent viscosity and drag force coefficients is investigated in the present paper. The existence, uniqueness, and regularity of global weak solution to the initial value problem for general initial data are established in spatial periodic domain. Moreover, the long time behavior of the weak solution is analyzed. It is shown that as the time grows, the distribution function of the particles converges to the global Maxwellian, and both the fluid velocity and the macroscopic velocity of the particles converge to the same speed.


title: Optimally frequency synchronized networks of non identical Kuramoto oscillators

abstract: Based on a local greedy numerical algorithm, we compute the topology of weighted, directed, and of unlimited extension networks of non identical Kuramoto oscillators which simultaneously satisfy 2 criteria: i) global frequency synchronisation and ii) minimal total mass of the connection weights. This problem has been the subject of many previous interesting studies, but from our best knowledge, this is the first time that no a priori constraint is imposed, either on the form or on the dynamics of the connections. The results are surprising: the optimal networks turn out to be strongly symmetric, very economical, to display a strong rich club structure, and next to the already reported strong correlation between natural frequencies and the weight of incoming connections, we also observe a correlation, even more marked, between these same natural frequencies and the weight of outgoing connections. The latter result is at odds with theoretical predictions.


title: Multi-party computation enables secure polynomial control based solely on secret-sharing

abstract: Encrypted control systems allow to evaluate feedback laws on external servers without revealing private information about state and input data, the control law, or the plant. While there are a number of encrypted control schemes available for linear feedback laws, only few results exist for the evaluation of more general control laws. Recently, an approach to encrypted polynomial control was presented, relying on two-party secret sharing and an inter-server communication protocol using homomorphic encryption. As homomorphic encryptions are much more computationally demanding than secret sharing, they make up for a tremendous amount of the overall computational demand of this scheme. For this reason, in this paper, we demonstrate that multi-party computation enables secure polynomial control based solely on secret sharing. We introduce a novel secure three-party control scheme based on three-party computation. Further, we propose a novel $n$-party control scheme to securely evaluate polynomial feedback laws of arbitrary degree without inter-server communication. The latter property makes it easier to realize the necessary requirement regarding non-collusion of the servers, with which perfect security can be guaranteed. Simulations suggest that the presented control schemes are many times less computationally demanding than the two-party scheme mentioned above.


title: Fast model-based clustering of partial records

abstract: Partially recorded data are frequently encountered in many applications and usually clustered by first removing incomplete cases or features with missing values, or by imputing missing values, followed by application of a clustering algorithm to the resulting altered dataset. Here, we develop clustering methodology through a model-based approach using the marginal density for the observed values, assuming a finite mixture model of multivariate $t$ distributions. We compare our approximate algorithm to the corresponding full expectation-maximization (EM) approach that considers the missing values in the incomplete data set and makes a missing at random (MAR) assumption, as well as case deletion and imputation methods. Since only the observed values are utilized, our approach is computationally more efficient than imputation or full EM. Simulation studies demonstrate that our approach has favorable recovery of the true cluster partition compared to case deletion and imputation under various missingness mechanisms, and is at least competitive with the full EM approach, even when MAR assumptions are violated. Our methodology is demonstrated on a problem of clustering gamma-ray bursts and is implemented at https://github.com/emilygoren/MixtClust.

categories: stat.ME astro-ph.HE cs.LG stat.CO stat.ML


title: Variational models for signal processing with Graph Neural Networks

abstract: This paper is devoted to signal processing on point-clouds by means of neural networks. Nowadays, state-of-the-art in image processing and computer vision is mostly based on training deep convolutional neural networks on large datasets. While it is also the case for the processing of point-clouds with Graph Neural Networks (GNN), the focus has been largely given to high-level tasks such as classification and segmentation using supervised learning on labeled datasets such as ShapeNet. Yet, such datasets are scarce and time-consuming to build depending on the target application. In this work, we investigate the use of variational models for such GNN to process signals on graphs for unsupervised learning. Our contributions are two-fold. We first show that some existing variational-based algorithms for signals on graphs can be formulated as Message Passing Networks (MPN), a particular instance of GNN, making them computationally efficient in practice when compared to standard gradient-based machine learning algorithms. Secondly, we investigate the unsupervised learning of feed-forward GNN, either by direct optimization of an inverse problem or by model distillation from variational-based MPN. Keywords:Graph Processing. Neural Network. Total Variation. Variational Methods. Message Passing Network. Unsupervised learning


title: How well can we guess the outcome of measurements of non-commuting observables?

abstract: According to Heisenberg's uncertainty relation, there is an ultimate limit to how precisely we may predict the outcome of position and momentum measurements on a quantum system. We show that this limit may be violated by an arbitrarily large factor if one aims, instead, to guess the unknown value of a past measurement. For experiments on a single quantum system, the precise assignment of past position and momentum measurement outcomes is accompanied by large uncertainty about their linear combinations, while we show that entanglement with an ancillary system permits accurate retrodiction of any such linear combination. Finally, we show that the outcomes of experiments that jointly measure multiple linear combinations of position and momentum observables by means of ancillary probe particles can also be guessed with no formal lower limit. We present quantitative results for projective measurements and for generalized measurements where all components are prepared in Gaussian states.


title: Wave based damage detection in solid structures using artificial neural networks

abstract: The identification of structural damages takes a more and more important role within the modern economy, where often the monitoring of an infrastructure is the last approach to keep it under public use. Conventional monitoring methods require specialized engineers and are mainly time consuming. This research paper considers the ability of neural networks to recognize the initial or alteration of structural properties based on the training processes. The presented work here is based on Convolutional Neural Networks (CNN) for wave field pattern recognition, or more specifically the wave field change recognition. The CNN model is used to identify the change within propagating wave fields after a crack initiation within the structure. The paper describes the implemented method and the required training procedure to get a successful crack detection accuracy, where the training data are based on the dynamic lattice model. Although the training of the model is still time consuming, the proposed new method has an enormous potential to become a new crack detection or structural health monitoring approach within the conventional monitoring methods.


title: Scheduling in the Secretary Model

abstract: This paper studies Makespan Minimization in the secretary model. Formally, jobs, specified by their processing times, are presented in a uniformly random order. An online algorithm has to assign each job permanently and irrevocably to one of m parallel and identical machines such that the expected time it takes to process them all, the makespan, is minimized. We give two deterministic algorithms. First, a straightforward adaptation of the semi-online strategy LightLoad provides a very simple algorithm retaining its competitive ratio of 1.75. A new and sophisticated algorithm is 1.535-competitive. These competitive ratios are not only obtained in expectation but, in fact, for all but a very tiny fraction of job orders. Classically, online makespan minimization only considers the worst-case order. Here, no competitive ratio below 1.885 for deterministic algorithms and 1.581 using randomization is possible. The best randomized algorithm so far is 1.916-competitive. Our results show that classical worst-case orders are quite rare and pessimistic for many applications. They also demonstrate the power of randomization when compared to much stronger deterministic reordering models. We complement our results by providing first lower bounds. A competitive ratio obtained on nearly all possible job orders must be at least 1.257. This implies a lower bound of 1.043 for both deterministic and randomized algorithms in the general model.


title: Learning Parallel Dense Correspondence from Spatio-Temporal Descriptors for Efficient and Robust 4D Reconstruction

abstract: This paper focuses on the task of 4D shape reconstruction from a sequence of point clouds. Despite the recent success achieved by extending deep implicit representations into 4D space, it is still a great challenge in two respects, i.e. how to design a flexible framework for learning robust spatio-temporal shape representations from 4D point clouds, and develop an efficient mechanism for capturing shape dynamics. In this work, we present a novel pipeline to learn a temporal evolution of the 3D human shape through spatially continuous transformation functions among cross-frame occupancy fields. The key idea is to parallelly establish the dense correspondence between predicted occupancy fields at different time steps via explicitly learning continuous displacement vector fields from robust spatio-temporal shape representations. Extensive comparisons against previous state-of-the-arts show the superior accuracy of our approach for 4D human reconstruction in the problems of 4D shape auto-encoding and completion, and a much faster network inference with about 8 times speedup demonstrates the significant efficiency of our approach. The trained models and implementation code are available at https://github.com/tangjiapeng/LPDC-Net.


title: Elastic Collision Based Dynamic Partitioning Scheme for Hybrid Simulations

abstract: The scattering-adapted flexible inner region ensemble separator (SAFIRES) is a partitioning scheme designed to divide a simulation cell into two regions to be treated with different computational methodologies. SAFIRES prevents particles from crossing between regions and resolves boundary events through elastic collisions of the particles mediated by the boundary, conserving energy and momenta. A multiple-time-step propagation algorithm is introduced where the time step is scaled automatically to identify the moment a collision occurs. If the length of the time step is kept constant, the new propagator reduces to a regular algorithm for Langevin dynamics, and to the velocity Verlet algorithm for classical dynamics if the friction coefficient is set to zero. SAFIRES constitutes the exact limit of the premise behind boundary-based methods such as FIRES, BEST, and BCC which take advantage of the indistinguishability of molecules on opposite sides of the separator. It gives correct average ensemble statistics despite the introduction of an ensemble separator. SAFIRES is tested in simulations where the molecules on the two sides are treated in the same way, for a Lennard-Jones (LJ) liquid and a LJ liquid in contact with a surface, as well as for liquid modelling simulations using the TIP4P force field. Simulations using SAFIRES are shown to reproduce the unconstrained reference simulations without significant deviations.


title: A Dynamical approach to Quasi-Analytic type Problems

abstract: In this paper we give an alternative proof for a vanishing result about flat functions proved in G.Stoica, "When must a flat function be identically zero", The American Mathematical Monthly 125(7)648-649,2018. With a dynamical approach we give a generalization of this result to multidimensional variables.


title: Generalized Organ Segmentation by Imitating One-shot Reasoning using Anatomical Correlation

abstract: Learning by imitation is one of the most significant abilities of human beings and plays a vital role in human's computational neural system. In medical image analysis, given several exemplars (anchors), experienced radiologist has the ability to delineate unfamiliar organs by imitating the reasoning process learned from existing types of organs. Inspired by this observation, we propose OrganNet which learns a generalized organ concept from a set of annotated organ classes and then transfer this concept to unseen classes. In this paper, we show that such process can be integrated into the one-shot segmentation task which is a very challenging but meaningful topic. We propose pyramid reasoning modules (PRMs) to model the anatomical correlation between anchor and target volumes. In practice, the proposed module first computes a correlation matrix between target and anchor computerized tomography (CT) volumes. Then, this matrix is used to transform the feature representations of both anchor volume and its segmentation mask. Finally, OrganNet learns to fuse the representations from various inputs and predicts segmentation results for target volume. Extensive experiments show that OrganNet can effectively resist the wide variations in organ morphology and produce state-of-the-art results in one-shot segmentation task. Moreover, even when compared with fully-supervised segmentation models, OrganNet is still able to produce satisfying segmentation results.


title: Lipschitz regularization for softening material models: the Lip-field approach

abstract: Softening material models are known to trigger spurious localizations.This may be shown theoretically by the existence of solutions with zero dissipation when localization occurs and numerically with spurious mesh dependency and localization in a single layer of elements. We introduce in this paper a new way to avoid spurious localization. The idea is to enforce a Lipschitz regularity on the internal variables responsible for the material softening. The regularity constraint introduces the needed length scale in the material formulation. Moreover, we prove bounds on the domain affected by this constraint. A first one-dimensional finite element implementation is proposed for softening elasticity and softening plasticity.


title: New probability distributions in astrophysics: V. The truncated Weibull distribution

abstract: We demonstrate that certain astrophysical distributions can be modelled with the truncated Weibull distribution, which can lead to some insights: in particular, we report the average value, the $r$th moment, the variance, the median, the mode, the generation of random numbers, and the evaluation of the two parameters with maximum likelihood estimators. The first application of the Weibull distribution is to the initial mass function for stars. The magnitude version of the Weibull distribution is applied to the luminosity function for the Sloan Digital Sky Survey (SDSS) galaxies and to the photometric maximum of the 2MASS Redshift Survey (2MRS) galaxies. The truncated Weibull luminosity function allows us to model the average value of the absolute magnitude as a function of the redshift for the 2MRS galaxies.


title: A Comparative Study of Luminosity Functions and Event Rate Densities of Long GRBs with Non-parametric Method

abstract: In this work, we restudy the dependence of luminosity function and event rates for different gamma-ray burst samples on the criteria of sample selection and threshold effect. To compare with many previous studies, we have chosen two samples including 88 and 118 long bursts with known redshift and peak flux over 2.6 ph cm$^{-2}$ s$^{-1}$, from which 79 bursts are picked out to constitute our complete sample. It is found that the evolution of luminosity with redshift can be expressed by $L\propto(1+z)^k$ with a diverse $k$ relied more on the sample selection. Interestingly, the cumulative distributions of either non-evolving luminosities or redshifts are found to be also determined by the sample selection rather than the instrumental sensitivity. Nevertheless, the non-evolving luminosities of our samples are similarly distributed with a comparable break luminosity of $L_0\sim10^{51}$ erg s$^{-1}$. Importantly, we verify with a K-S test that three cases of event rates for the two burst samples evolve with redshift similarly except a small discrepancy due to sampling differences at low-redshift of $z<1$, in which all event rates show an excess of Gaussian profile instead of monotonous decline no matter whether the sample is complete. Most importantly, it is found that the burst rates violate the star formation rate at low redshift, while both of them are good in agreement with each other in the higher-redshift regions as many authors discovered previously. Therefore, we predict that two types of long bursts are favored in terms of their associations with both the star formation and the cosmic metallicity.


title: Anosov flows on Dehn surgeries on the figure-eight knot

abstract: The purpose of this paper is to classify Anosov flows on the 3-manifolds obtained by Dehn surgeries on the figure-eight knot. This set of 3-manifolds is denoted by M(r) (r is a ratioanl number), which contains the first class of hyperbolic 3-manifolds admitting Anosov flows in history, discovered by Goodman. Combining with the classification of Anosov flows on the sol-manifold M(0) due to Plante, we have: 1. if r is an integer, up to topological equivalence, M(r) exactly carries a unique Anosov flow, which is constructed by Goodman by doing a Dehn-Fried-Goodman surgery on a suspension Anosov flow; 2. if r is not an integer, M(r) does not carry any Anosov flow. As a consequence of the second result, we get infinitely many closed orientable hyperbolic 3-manifolds which carry taut foliations but does not carry any Anosov flow. The fundamental tool in the proofs is the set of branched surfaces built by Schwider, which is used to carry essential laminations on M(r).


title: Historical Inertia: A Neglected but Powerful Baseline for Long Sequence Time-series Forecasting

abstract: Long sequence time-series forecasting (LSTF) has become increasingly popular for its wide range of applications. Though superior models have been proposed to enhance the prediction effectiveness and efficiency, it is reckless to neglect or underestimate one of the most natural and basic temporal properties of time-series. In this paper, we introduce a new baseline for LSTF, the historical inertia (HI), which refers to the most recent historical data-points in the input time series. We experimentally evaluate the power of historical inertia on four public real-word datasets. The results demonstrate that up to 82\% relative improvement over state-of-the-art works can be achieved even by adopting HI directly as output.


title: Differentiable Network Adaption with Elastic Search Space

abstract: In this paper we propose a novel network adaption method called Differentiable Network Adaption (DNA), which can adapt an existing network to a specific computation budget by adjusting the width and depth in a differentiable manner. The gradient-based optimization allows DNA to achieve an automatic optimization of width and depth rather than previous heuristic methods that heavily rely on human priors. Moreover, we propose a new elastic search space that can flexibly condense or expand during the optimization process, allowing the network optimization of width and depth in a bi-direction manner. By DNA, we successfully achieve network architecture optimization by condensing and expanding in both width and depth dimensions. Extensive experiments on ImageNet demonstrate that DNA can adapt the existing network to meet different targeted computation requirements with better performance than previous methods. What's more, DNA can further improve the performance of high-accuracy networks obtained by state-of-the-art neural architecture search methods such as EfficientNet and MobileNet-v3.


title: Multi-planner intervention in network games with community structures

abstract: Network games study the strategic interaction of agents connected through a network. Interventions in such a game -- actions a coordinator or planner may take that change the utility of the agents and thus shift the equilibrium action profile -- are introduced to improve the planner's objective. We study the problem of intervention in network games where the network has a group structure with local planners, each associated with a group. The agents play a non-cooperative game while the planners may or may not have the same optimization objective. We model this problem using a sequential move game where planners make interventions followed by agents playing the intervened game. We provide equilibrium analysis and algorithms that find the subgame perfect equilibrium. We also propose a two-level efficiency definition to study the efficiency loss of equilibrium actions in this type of game.


title: Learning monocular 3D reconstruction of articulated categories from motion

abstract: Monocular 3D reconstruction of articulated object categories is challenging due to the lack of training data and the inherent ill-posedness of the problem. In this work we use video self-supervision, forcing the consistency of consecutive 3D reconstructions by a motion-based cycle loss. This largely improves both optimization-based and learning-based 3D mesh reconstruction. We further introduce an interpretable model of 3D template deformations that controls a 3D surface through the displacement of a small number of local, learnable handles. We formulate this operation as a structured layer relying on mesh-laplacian regularization and show that it can be trained in an end-to-end manner. We finally introduce a per-sample numerical optimisation approach that jointly optimises over mesh displacements and cameras within a video, boosting accuracy both for training and also as test time post-processing. While relying exclusively on a small set of videos collected per category for supervision, we obtain state-of-the-art reconstructions with diverse shapes, viewpoints and textures for multiple articulated object categories.


title: On orbital stability of the physical ground states of the NLS equations

abstract: We prove orbital stability result for physical ground states of a nonlinear Schr\"{o}dinger (NLS) equation in the sense that the set of these ground states is contained in the set of prescribed mass solutions which is orbital stable by the Cazenave-Lions theorem. We apply the nonlinear generalized Rayleigh quotients method which allows establishing a one-to-one correspondence between the values of the mass $m$, the frequency $\lambda$, and the action level $S$ of the physical ground states.


title: The method of the kernel of the evolution equation in the theory of gravity

abstract: The method of covariant perturbation theory allowed for the computation of the kernel of the evolution equation on a spin Riemannian manifold. The proposed axiomatic definition of the covariant effective action introduces the universal scale parameter, with the length square dimensionality, into a dimensionless mathematical theory. It is shown that this geometrical result has a physical meaning of the action of field theory, including gravity. Two lowest tensor order terms of this functional are independent of a spin group and local. They reproduce the action of general relativity with the cosmological constant. The current value of the universal scale can be determined with the measured Hubble constant. This scale parameter considered as a physical variable can let us build cosmological theories axiomatically.


title: Nonlinear Weighted Directed Acyclic Graph and A Priori Estimates for Neural Networks

abstract: In an attempt to better understand structural benefits and generalization power of deep neural networks, we firstly present a novel graph theoretical formulation of neural network models, including fully connected, residual network (ResNet) and densely connected networks (DenseNet). Secondly, we extend the error analysis of the population risk for two layer network \cite{ew2019prioriTwo} and ResNet \cite{e2019prioriRes} to DenseNet, and show further that for neural networks satisfying certain mild conditions, similar estimates can be obtained. These estimates are a priori in nature since they depend sorely on the information prior to the training process, in particular, the bounds for the estimation errors are independent of the input dimension.


title: Deformations of rational curves on primitive symplectic varieties and applications

abstract: We study the deformation theory of rational curves on primitive symplectic varieties and show that if the rational curves cover a divisor, then, as in the smooth case, they deform along their Hodge locus in the universal locally trivial deformation. As applications, we extend Markman's deformation invariance of prime exceptional divisors along their Hodge locus to this singular framework and provide existence results for uniruled ample divisors on primitive symplectic varieties which are locally trivial deformations of any moduli space of semistable objects on a projective $K3$ or fibers of the Albanese map of those on an abelian surface. We also present an application to the existence of prime exceptional divisors.


title: Geometry of Banach spaces: a new route towards Position Based Cryptography

abstract: In this work we initiate the study of Position Based Quantum Cryptography (PBQC) from the perspective of geometric functional analysis and its connections with quantum games. The main question we are interested in asks for the optimal amount of entanglement that a coalition of attackers have to share in order to compromise the security of any PBQC protocol. Known upper bounds for that quantity are exponential in the size of the quantum systems manipulated in the honest implementation of the protocol. However, known lower bounds are only linear. In order to deepen the understanding of this question, here we propose a Position Verification (PV) protocol and find lower bounds on the resources needed to break it. The main idea behind the proof of these bounds is the understanding of cheating strategies as vector valued assignments on the Boolean hypercube. Then, the bounds follow from the understanding of some geometric properties of particular Banach spaces, their type constants. Under some regularity assumptions on the former assignment, these bounds lead to exponential lower bounds on the quantum resources employed, clarifying the question in this restricted case. Known attacks indeed satisfy the assumption we make, although we do not know how universal this feature is. Furthermore, we show that the understanding of the type properties of some more involved Banach spaces would allow to drop out the assumptions and lead to unconditional lower bounds on the resources used to attack our protocol. Unfortunately, we were not able to estimate the relevant type constant. Despite that, we conjecture an upper bound for this quantity and show some evidence supporting it. A positive solution of the conjecture would lead to stronger security guarantees for the proposed PV protocol providing a better understanding of the question asked above.


title: The influence of cations on the dipole moments of neighboring polar molecules

abstract: It is shown that the dipole moment of polar (water, methanol, formamide, acetone and acetonitrile) molecules in the neighborhood of a cation is increased primarily by polarization from the bare electrostatic charge of the cation, although the effective value of the latter is somewhat reduced by "back donation" of electrons from neighbouring polar molecules. In other words, the classical picture may be viewed as if a point charge slightly smaller than the nominal charge of the cation would be placed at the cation site. It was found that the geometrical arrangement of the polar molecules in the first solvation shell is such that their mutual polarization reduces the dipole moments of individual molecules, so that in some cases they become smaller than the dipole moment of the free protic or aprotic molecule. We conjecture that this behavior is essentially a manifestation of the Le Chatellier-Braun principle.


title: Galaxy-lens determination of $H_0$: the effect of the ellipse+shear modeling assumption

abstract: Galaxy lenses are frequently modeled as an elliptical mass distribution with external shear and isothermal spheres to account for secondary and line-of-sight galaxies. There is statistical evidence that some fraction of observed quads are inconsistent with these assumptions, and require a dipole-like contribution to the mass with respect to the light. Simplifying assumptions about the shape of mass distributions can lead to the incorrect recovery of parameters such as $H_0$. We create several tests of synthetic quad populations with different deviations from an elliptical shape, then fit them with an ellipse+shear model, and measure the recovered values of $H_0$. Kinematic constraints are not included. We perform two types of fittings -- one with a single point source and one with an array of sources emulating an extended source. We carry out two model-free comparisons between our mock quads and the observed population. One result of these comparisons is a statistical inconsistency not yet mentioned in the literature: the image distance ratios with respect to the lens center of observed quads appear to span a much wider range than those of synthetic or simulated quads. Bearing this discrepancy in mind, our mock populations can result in biases on $H_0$ $\sim10\%$.


title: Looney Tunes: Exposing the Lack of DRM Protection in Indian Music Streaming Services

abstract: Numerous studies have shown that streaming is now the most preferred way of consuming multimedia content and this is evidenced by the proliferation in the number of streaming service providers as well as the exponential growth in their subscriber base. Riding on the advancements in low cost electronics, high speed communication and extremely cheap data, Over-The-Top (OTT) music streaming is now the norm in the music industry and is worth millions of dollars. This is especially true in India where major players offer the so called freemium models which have active monthly user bases running in to the millions. These services namely, Gaana, Airtel Wynk and JioSaavn attract a significantly bigger audience than their 100% subscription based peers like Amazon Prime Music, Apple Music etc. Given their ubiquity and market dominance, it is pertinent to do a systematic analysis of these platforms so as to ascertain their potential as hotbeds of piracy. This work investigates the resilience of the content protection systems of the four biggest music streaming services (by subscriber base) from India, namely Airtel Wynk, Ganna, JioSaavn and Hungama. By considering the Digital Rights Management (DRM) system employed by Spotify as a benchmark, we analyse the security of these platforms by attempting to steal the streamed content efficiently. Finally, we present a holistic overview of the flaws in their security mechanisms and discuss possible mitigation strategies. To the best of our knowledge, this work constitutes the first attempt to analyze security of OTT music services from India. Our results further confirm the time tested belief that security through obscurity is not a long term solution and leaves such platforms open to piracy and a subsequent loss of revenue for all the stakeholders.


title: Maximal $L_q$-regularity of nonlocal parabolic equations in higher order Bessel potential spaces

abstract: We consider fractional parabolic equations with variable coefficients and establish maximal $L_{q}$-regularity in Bessel potential spaces of arbitrary nonnegative order. As an application, we show higher order regularity and instantaneous smoothing for the fractional porous medium equation and for a nonlocal Kirchhoff equation.


title: An on-shell approach to neutrino oscillations

abstract: In the usual quantum field theoretical approach, neutrino oscillations are studied diagonalising either the mass or matter Hamiltonians. In this paper we analyse the problem from an on-shell amplitude perspective, where Lagrangians or Hamiltonians are not available. We start by studying in detail how flavor enters in the amplitudes and how the PMNS matrix emerges. We then analyse the elastic amplitude of two neutrinos and two charged leptons that induce matter effects and propose a strategy to obtain the known results of the standard oscillation theory without Hamiltonians. Finally, we extend the previously proposed procedure and use the most general elastic 4-point amplitude to study beyond the Standard Model effects on oscillations.


title: On the equations defining some Hilbert schemes

abstract: We work out details of the extrinsic geometry for two Hilbert schemes of some contemporary interest: the Hilbert scheme of two points on the projective plane and the dense open set parametrizing non-planar clusters in the punctual Hilbert scheme of clusters of length four on affine three-space with support at the origin. We find explicit equations in natural projective, respectively affine embeddings for these spaces. In particular, we answer a question of Bernd Sturmfels who asked for a description of the latter space that is amenable to further computations. While the explicit equations we find are controlled in a precise way by the representation theory of SL_3, our arguments also rely on computer algebra.


title: ICE: Inter-instance Contrastive Encoding for Unsupervised Person Re-identification

abstract: Unsupervised person re-identification (ReID) aims at learning discriminative identity features without annotations. Recently, self-supervised contrastive learning has gained increasing attention for its effectiveness in unsupervised representation learning. The main idea of instance contrastive learning is to match a same instance in different augmented views. However, the relationship between different instances has not been fully explored in previous contrastive methods, especially for instance-level contrastive loss. To address this issue, we propose Inter-instance Contrastive Encoding (ICE) that leverages inter-instance pairwise similarity scores to boost previous class-level contrastive ReID methods. We first use pairwise similarity ranking as one-hot hard pseudo labels for hard instance contrast, which aims at reducing intra-class variance. Then, we use similarity scores as soft pseudo labels to enhance the consistency between augmented and original views, which makes our model more robust to augmentation perturbations. Experiments on several large-scale person ReID datasets validate the effectiveness of our proposed unsupervised method ICE, which is competitive with even supervised methods. Code is made available at https://github.com/chenhao2345/ICE.


title: FoV-NeRF: Foveated Neural Radiance Fields for Virtual Reality

abstract: Virtual Reality (VR) is becoming ubiquitous with the rise of consumer displays and commercial VR platforms. Such displays require low latency and high quality rendering of synthetic imagery with reduced compute overheads. Recent advances in neural rendering showed promise of unlocking new possibilities in 3D computer graphics via image-based representations of virtual or physical environments. Specifically, the neural radiance fields (NeRF) demonstrated that photo-realistic quality and continuous view changes of 3D scenes can be achieved without loss of view-dependent effects. While NeRF can significantly benefit rendering for VR applications, it faces unique challenges posed by high field-of-view, high resolution, and stereoscopic/egocentric viewing, typically causing low quality and high latency of the rendered images. In VR, this not only harms the interaction experience but may also cause sickness. To tackle these problems toward six-degrees-of-freedom, egocentric, and stereo NeRF in VR, we present the first gaze-contingent 3D neural representation and view synthesis method. We incorporate the human psychophysics of visual- and stereo-acuity into an egocentric neural representation of 3D scenery. We then jointly optimize the latency/performance and visual quality while mutually bridging human perception and neural scene synthesis to achieve perceptually high-quality immersive interaction. We conducted both objective analysis and subjective studies to evaluate the effectiveness of our approach. We find that our method significantly reduces latency (up to 99% time reduction compared with NeRF) without loss of high-fidelity rendering (perceptually identical to full-resolution ground truth). The presented approach may serve as the first step toward future VR/AR systems that capture, teleport, and visualize remote environments in real-time.


title: On some series of a group related to the non-abelian tensor square of groups

abstract: Let $G$ be a group. We denote by $\nu(G)$ a certain extension of the non-abelian tensor square $G \otimes G$ by $G \times G$. In this paper we prove that the derived subgroup $\nu(G)'$ is a central product of three normal subgroups of $\nu(G)$, all isomorphic to the non-abelian tensor square $G \otimes G$. As a consequence, we describe the structure of each term of the derived and lower central series of the group $\nu(G)$.


abstract: Knowledge distillation aims to transfer representation ability from a teacher model to a student model. Previous approaches focus on either individual representation distillation or inter-sample similarity preservation. While we argue that the inter-sample relation conveys abundant information and needs to be distilled in a more effective way. In this paper, we propose a novel knowledge distillation method, namely Complementary Relation Contrastive Distillation (CRCD), to transfer the structural knowledge from the teacher to the student. Specifically, we estimate the mutual relation in an anchor-based way and distill the anchor-student relation under the supervision of its corresponding anchor-teacher relation. To make it more robust, mutual relations are modeled by two complementary elements: the feature and its gradient. Furthermore, the low bound of mutual information between the anchor-teacher relation distribution and the anchor-student relation distribution is maximized via relation contrastive loss, which can distill both the sample representation and the inter-sample relations. Experiments on different benchmarks demonstrate the effectiveness of our proposed CRCD.


title: Data-Uncertainty Guided Multi-Phase Learning for Semi-Supervised Object Detection

abstract: In this paper, we delve into semi-supervised object detection where unlabeled images are leveraged to break through the upper bound of fully-supervised object detection models. Previous semi-supervised methods based on pseudo labels are severely degenerated by noise and prone to overfit to noisy labels, thus are deficient in learning different unlabeled knowledge well. To address this issue, we propose a data-uncertainty guided multi-phase learning method for semi-supervised object detection. We comprehensively consider divergent types of unlabeled images according to their difficulty levels, utilize them in different phases and ensemble models from different phases together to generate ultimate results. Image uncertainty guided easy data selection and region uncertainty guided RoI Re-weighting are involved in multi-phase learning and enable the detector to concentrate on more certain knowledge. Through extensive experiments on PASCAL VOC and MS COCO, we demonstrate that our method behaves extraordinarily compared to baseline approaches and outperforms them by a large margin, more than 3% on VOC and 2% on COCO.


title: Constraining the Initial Primordial Black Hole Clustering with CMB-distortion

abstract: The merger rate of primordial black holes depends on their initial clustering. In the absence of primordial non-Gaussianity correlating short and large-scales, primordial black holes are distributed \`a la Poisson at the time of their formation. However, primordial non-Gaussianity of the local-type may correlate primordial black holes on large-scales. We show that future experiments looking for CMB $\mu$-distortion would test the hypothesis of initial primordial black hole clustering induced by local non-Gaussianity, while existing limits already show that significant non-Gaussianity is necessary to induce primordial black hole clustering.


title: Distribution Alignment: A Unified Framework for Long-tail Visual Recognition

abstract: Despite the recent success of deep neural networks, it remains challenging to effectively model the long-tail class distribution in visual recognition tasks. To address this problem, we first investigate the performance bottleneck of the two-stage learning framework via ablative study. Motivated by our discovery, we propose a unified distribution alignment strategy for long-tail visual recognition. Specifically, we develop an adaptive calibration function that enables us to adjust the classification scores for each data point. We then introduce a generalized re-weight method in the two-stage learning to balance the class prior, which provides a flexible and unified solution to diverse scenarios in visual recognition tasks. We validate our method by extensive experiments on four tasks, including image classification, semantic segmentation, object detection, and instance segmentation. Our approach achieves the state-of-the-art results across all four recognition tasks with a simple and unified framework. The code and models will be made publicly available at: https://github.com/Megvii-BaseDetection/DisAlign


title: Equation of state constraints from multi-messenger observations of neutron star mergers

abstract: The very first detection of gravitational waves from a neutron star binary merger, GW170817, exceeded all expectations. The event was relatively nearby, which may point to a relatively high merger rate. It was possible to extract finite-size effects from the gravitational-wave signal, which constrains the nuclear equation of state. Also, an electromagnetic counterpart was detected at many wavebands from radio to gamma rays marking the begin of a new multi-messenger era involving gravitational waves. We describe how multi-messenger observations of GW170817 are employed to constrain the nuclear equation of state. Combining the information from the optical emission and the mass measurement through gravitational waves leads to a lower limit on neutron star radii. According to this conservative analysis, which employs a minimum set of assumptions, the radii of neutron stars with typical masses should be larger than about 10.7~km. This implies a lower limit on the tidal deformability of about 210, while much stronger lower bounds are not supported by the data of GW170817. The multi-messenger interpretation of GW170817 rules out very soft nuclear matter and complements the upper bounds on NS radii which are derived from the measurement of finite-size effects during the pre-merger phase. We highlight the future potential of multi-messenger observations and of GW measurements of the postmerger phase for constraining the nuclear equation of state. Finally, we propose an observing strategy to maximize the scientific yield of future multi-messenger observations.


title: Source-Free Domain Adaptation for Semantic Segmentation

abstract: Unsupervised Domain Adaptation (UDA) can tackle the challenge that convolutional neural network(CNN)-based approaches for semantic segmentation heavily rely on the pixel-level annotated data, which is labor-intensive. However, existing UDA approaches in this regard inevitably require the full access to source datasets to reduce the gap between the source and target domains during model adaptation, which are impractical in the real scenarios where the source datasets are private, and thus cannot be released along with the well-trained source models. To cope with this issue, we propose a source-free domain adaptation framework for semantic segmentation, namely SFDA, in which only a well-trained source model and an unlabeled target domain dataset are available for adaptation. SFDA not only enables to recover and preserve the source domain knowledge from the source model via knowledge transfer during model adaptation, but also distills valuable information from the target domain for self-supervised learning. The pixel- and patch-level optimization objectives tailored for semantic segmentation are seamlessly integrated in the framework. The extensive experimental results on numerous benchmark datasets highlight the effectiveness of our framework against the existing UDA approaches relying on source data.


title: New bounds for the Hausdorff dimension of a dynamically defined Cantor set

abstract: In this paper we use the additive thermodynamic formalism to obtain new bounds of the Hausdorff and box-counting dimension of certain non conformal hyperbolic repellers defined by $C^r$, $r > 1$ piecewise expanding maps on a $d$-dimensional smooth manifold $M$.


title: Classification of finite irreducible conformal modules for $K'_4$

abstract: We classify the finite irreducible modules over the conformal superalgebra $K'_{4}$ by their correspondence with finite conformal modules over the associated annihilation superalgebra $\mathcal A(K'_{4})$. This is achieved by a complete classification of singular vectors in generalized Verma modules for $\mathcal A(K'_{4})$. We also show that morphisms between generalized Verma modules can be arranged in infinitely many bilateral complexes.


title: Knots in homology lens spaces determined by their complements

abstract: In this paper, we consider the knot complement problem for not null-homologous knots in homology lens spaces. Let $M$ be a homology lens space with $H_1(M; \mathbb{Z}) \cong \mathbb{Z}_p$ and $K$ a not null-homologous knot in $M$. We show that $K$ is determined by its complement if $M$ is non-hyperbolic, $K$ is hyperbolic, and $p$ is a prime more than 7, or, if $M$ is actually a lens space $L(p,q)$ and $K$ represents a generator of $H_1(L(p,q))$.


title: Stability and Control of Chaplygin Beanies Coupled to a Platform through Nonholonomic Constraints

abstract: Many multi-agent systems in nature are comprised of agents that interact with, and respond to, the dynamics of their environment. In this paper, we approach the study of such agent-environment interactions through the study of passively compliant vehicles coupled to their environment via simple nonholonomic constraints. We first consider a single passively compliant Chaplygin beanie atop a platform having translational compliance, introduce the reduced equations for the system using the notion of nonholonomic momentum, and provide proof for its stability under arbitrary deformations of the elastic element modeling its compliance. We then direct our focus to results concerning the frequency response and control of passive Chaplygin beanies under actuation of the platform, discuss rich dynamical features arising from periodic actuation, and develop rules by which control can be exerted to collect and disperse multiple passive vehicles. We then discuss how the latter of these results clarifies the extent to which stable behavior can be excited in the system through exogenous control.


title: Greedy-GQ with Variance Reduction: Finite-time Analysis and Improved Complexity

abstract: Greedy-GQ is a value-based reinforcement learning (RL) algorithm for optimal control. Recently, the finite-time analysis of Greedy-GQ has been developed under linear function approximation and Markovian sampling, and the algorithm is shown to achieve an $\epsilon$-stationary point with a sample complexity in the order of $\mathcal{O}(\epsilon^{-3})$. Such a high sample complexity is due to the large variance induced by the Markovian samples. In this paper, we propose a variance-reduced Greedy-GQ (VR-Greedy-GQ) algorithm for off-policy optimal control. In particular, the algorithm applies the SVRG-based variance reduction scheme to reduce the stochastic variance of the two time-scale updates. We study the finite-time convergence of VR-Greedy-GQ under linear function approximation and Markovian sampling and show that the algorithm achieves a much smaller bias and variance error than the original Greedy-GQ. In particular, we prove that VR-Greedy-GQ achieves an improved sample complexity that is in the order of $\mathcal{O}(\epsilon^{-2})$. We further compare the performance of VR-Greedy-GQ with that of Greedy-GQ in various RL experiments to corroborate our theoretical findings.


title: End-to-End Constrained Optimization Learning: A Survey

abstract: This paper surveys the recent attempts at leveraging machine learning to solve constrained optimization problems. It focuses on surveying the work on integrating combinatorial solvers and optimization methods with machine learning architectures. These approaches hold the promise to develop new hybrid machine learning and optimization methods to predict fast, approximate, solutions to combinatorial problems and to enable structural logical inference. This paper presents a conceptual review of the recent advancements in this emerging area.


title: Oscillations in Mixed-Feedback Systems

abstract: A new method is presented for the analysis of limit cycle oscillations in mixed-feedback systems. The calculation of the limit cycle is reformulated as the zero finding of a mixed-monotone relation, that is, of the difference of two maximally monotone relations. The problem can then be solved efficiently by borrowing existing algorithms that minimize the difference of two convex functions. The potential of the method is illustrated on the classical Van der Pol oscillator.


title: On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

abstract: Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$, denoted $L^{\mathrm{imp}}_p(\mathrm{Sym}^2 F)$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. It is in fact uniquely determined by its interpolation properties. We also prove that the function $L^{\mathrm{imp}}_p(\mathrm{Sym}^2 F)$ satisfies a functional equation. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the self-convolution of $F$, as the product of $L^{\mathrm{imp}}_p(\mathrm{Sym}^2 F)$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case. Using Beilinson-Flach classes constructed by Kings, Zerbes and the second author we construct motivic cohomology classes $b_f$, and prove that, under some hypotheses, they differ by a scalar factor from the higher cyclotomic classes constructed by Beilinson. Using this relation, we prove the interpolation formulae for $L^{\mathrm{imp}}_p(\mathrm{Sym}^2 F)$ and the factorisation formula.


title: Free-form Description Guided 3D Visual Graph Network for Object Grounding in Point Cloud

abstract: 3D object grounding aims to locate the most relevant target object in a raw point cloud scene based on a free-form language description. Understanding complex and diverse descriptions, and lifting them directly to a point cloud is a new and challenging topic due to the irregular and sparse nature of point clouds. There are three main challenges in 3D object grounding: to find the main focus in the complex and diverse description; to understand the point cloud scene; and to locate the target object. In this paper, we address all three challenges. Firstly, we propose a language scene graph module to capture the rich structure and long-distance phrase correlations. Secondly, we introduce a multi-level 3D proposal relation graph module to extract the object-object and object-scene co-occurrence relationships, and strengthen the visual features of the initial proposals. Lastly, we develop a description guided 3D visual graph module to encode global contexts of phrases and proposals by a nodes matching strategy. Extensive experiments on challenging benchmark datasets (ScanRefer and Nr3D) show that our algorithm outperforms existing state-of-the-art. Our code is available at https://github.com/PNXD/FFL-3DOG.


title: Rotational symmetry of uniformly 3-convex translating solitons of mean curvature flow in higher dimensions

abstract: In this paper, we generalize a previous result to higher dimension. We prove that uniformly 3-convex translating solitons of mean curvature flow in $\mathbb{R}^{n+1}$ which arise as blow up limit of embedded, mean convex mean curvature flow must have $SO(n-1)$ symmetry.


title: Star-disk interaction in the T Tauri star V2129 Oph: An evolving accretion-ejection structure

abstract: Classical T Tauri stars are young low-mass systems still accreting material from their disks. These systems are dynamic on timescales of hours to years. The observed variability can help us infer the physical processes that occur in the circumstellar environment. We aim at understanding the dynamics of the magnetic interaction between the star and the inner accretion disk in young stellar objects. We present the case of the young stellar system V2129 Oph, which is a well-known T Tauri star. We performed a time series analysis of this star using high-resolution spectroscopic data at optical and infrared wavelengths from CFHT/ESPaDOnS, ESO/HARPS and CFHT/SPIRou. The new data sets allowed us to characterize the accretion-ejection structure in this system and to investigate its evolution over a timescale of a decade via comparisons to previous observational data. We measure radial velocity variations and recover a stellar rotation period of 6.53d. However, we do not recover the stellar rotation period in the variability of various circumstellar lines, such as H$\alpha$ and H$\beta$ in the optical or HeI 1083nm and Pa$\beta$ in the infrared. Instead, we show that the optical and infrared line profile variations are consistent with a magnetospheric accretion scenario that shows variability with a period of about 6.0d, shorter than the stellar rotation period. Additionally, we find a period of 8.5d in H$\alpha$ and H$\beta$ lines, probably due to a structure located beyond the corotation radius, at a distance of 0.09au. We investigate whether this could be accounted for by a wind component, twisted or multiple accretion funnel flows, or an external disturbance in the inner disk. We conclude that the dynamics of the accretion-ejection process can vary significantly on a timescale of just a few years, presumably reflecting the evolving magnetic field topology at the stellar surface.


title: Measuring standard model parameters using top-quark cross sections in ATLAS and CMS

abstract: Theoretical predictions of top-quark cross sections depend on the values of the parameters of the quantum chromodynamics Lagrangian, such as the strong coupling constant and the mass of the top quark, but also on parameters of the electroweak sector of the standard model and parton distribution functions. Comparisons between state-of-the-art calculations and recent measurements at the ATLAS and CMS experiments at the CERN LHC allow for the precise determination of these parameters. In this proceeding, the most recent results by the two collaborations are summarized and discussed.


title: Graph Stacked Hourglass Networks for 3D Human Pose Estimation

abstract: In this paper, we propose a novel graph convolutional network architecture, Graph Stacked Hourglass Networks, for 2D-to-3D human pose estimation tasks. The proposed architecture consists of repeated encoder-decoder, in which graph-structured features are processed across three different scales of human skeletal representations. This multi-scale architecture enables the model to learn both local and global feature representations, which are critical for 3D human pose estimation. We also introduce a multi-level feature learning approach using different-depth intermediate features and show the performance improvements that result from exploiting multi-scale, multi-level feature representations. Extensive experiments are conducted to validate our approach, and the results show that our model outperforms the state-of-the-art.


title: Level set mean curvature flow with Neumann boundary conditions

abstract: We investigate the relation between the level set approach and the varifold approach for the mean curvature flow with Neumann boundary conditions. With an appropriate initial data, we prove that the almost all level sets of the unique viscosity level set solution satisfy Brakke's inequality and a generalized Neumann boundary condition.


title: The Unfolding Structure of Arguments in Online Debates: The case of a No-Deal Brexit

abstract: In the last decade, political debates have progressively shifted to social media. Rhetorical devices employed by online actors and factions that operate in these debating arenas can be captured and analysed to conduct a statistical reading of societal controversies and their argumentation dynamics. In this paper, we propose a five-step methodology, to extract, categorize and explore the latent argumentation structures of online debates. Using Twitter data about a "no-deal" Brexit, we focus on the expected effects in case of materialisation of this event. First, we extract cause-effect claims contained in tweets using RegEx that exploit verbs related to Creation, Destruction and Causation. Second, we categorise extracted "no-deal" effects using a Structural Topic Model estimated on unigrams and bigrams. Third, we select controversial effect topics and explore within-topic argumentation differences between self-declared partisan user factions. We hence type topics using estimated covariate effects on topic propensities, then, using the topics correlation network, we study the topological structure of the debate to identify coherent topical constellations. Finally, we analyse the debate time dynamics and infer lead/follow relations among factions. Results show that the proposed methodology can be employed to perform a statistical rhetorics analysis of debates, and map the architecture of controversies across time. In particular, the "no-deal" Brexit debate is shown to have an assortative argumentation structure heavily characterized by factional constellations of arguments, as well as by polarized narrative frames invoked through verbs related to Creation and Destruction. Our findings highlight the benefits of implementing a systemic approach to the analysis of debates, which allows the unveiling of topical and factional dependencies between arguments employed in online debates.


title: Text Mining of Stocktwits Data for Predicting Stock Prices

abstract: Stock price prediction can be made more efficient by considering the price fluctuations and understanding the sentiments of people. A limited number of models understand financial jargon or have labelled datasets concerning stock price change. To overcome this challenge, we introduced FinALBERT, an ALBERT based model trained to handle financial domain text classification tasks by labelling Stocktwits text data based on stock price change. We collected Stocktwits data for over ten years for 25 different companies, including the major five FAANG (Facebook, Amazon, Apple, Netflix, Google). These datasets were labelled with three labelling techniques based on stock price changes. Our proposed model FinALBERT is fine-tuned with these labels to achieve optimal results. We experimented with the labelled dataset by training it on traditional machine learning, BERT, and FinBERT models, which helped us understand how these labels behaved with different model architectures. Our labelling method competitive advantage is that it can help analyse the historical data effectively, and the mathematical function can be easily customised to predict stock movement.


title: Theory and experiment for resource-efficient joint weak-measurement

abstract: Incompatible observables underlie pillars of quantum physics such as contextuality and entanglement. The Heisenberg uncertainty principle is a fundamental limitation on the measurement of the product of incompatible observables, a `joint' measurement. However, recently a method using weak measurement has experimentally demonstrated joint measurement. This method [Lundeen, J. S., and Bamber, C. Phys. Rev. Lett. 108, 070402, 2012] delivers the standard expectation value of the product of observables, even if they are incompatible. A drawback of this method is that it requires coupling each observable to a distinct degree of freedom (DOF), i.e., a disjoint Hilbert space. Typically, this `read-out' system is an unused internal DOF of the measured particle. Unfortunately, one quickly runs out of internal DOFs, which limits the number of observables and types of measurements one can make. To address this limitation, we propose and experimentally demonstrate a technique to perform a joint weak-measurement of two incompatible observables using only one DOF as a read-out system. We apply our scheme to directly measure the density matrix of photon polarization states.


title: A note about claw function with a small range

abstract: In the claw detection problem we are given two functions $f:D\rightarrow R$ and $g:D\rightarrow R$ ($|D|=n$, $|R|=k$), and we have to determine if there is exist $x,y\in D$ such that $f(x)=g(y)$. We show that the quantum query complexity of this problem is between $\Omega\left(n^{1/2}k^{1/6}\right)$ and $O\left(n^{1/2+\varepsilon}k^{1/4}\right)$ when $2\leq k<n$.


title: Causal Hidden Markov Model for Time Series Disease Forecasting

abstract: We propose a causal hidden Markov model to achieve robust prediction of irreversible disease at an early stage, which is safety-critical and vital for medical treatment in early stages. Specifically, we introduce the hidden variables which propagate to generate medical data at each time step. To avoid learning spurious correlation (e.g., confounding bias), we explicitly separate these hidden variables into three parts: a) the disease (clinical)-related part; b) the disease (non-clinical)-related part; c) others, with only a),b) causally related to the disease however c) may contain spurious correlations (with the disease) inherited from the data provided. With personal attributes and the disease label respectively provided as side information and supervision, we prove that these disease-related hidden variables can be disentangled from others, implying the avoidance of spurious correlation for generalization to medical data from other (out-of-) distributions. Guaranteed by this result, we propose a sequential variational auto-encoder with a reformulated objective function. We apply our model to the early prediction of peripapillary atrophy and achieve promising results on out-of-distribution test data. Further, the ablation study empirically shows the effectiveness of each component in our method. And the visualization shows the accurate identification of lesion regions from others.


title: CoLA: Weakly-Supervised Temporal Action Localization with Snippet Contrastive Learning

abstract: Weakly-supervised temporal action localization (WS-TAL) aims to localize actions in untrimmed videos with only video-level labels. Most existing models follow the "localization by classification" procedure: locate temporal regions contributing most to the video-level classification. Generally, they process each snippet (or frame) individually and thus overlook the fruitful temporal context relation. Here arises the single snippet cheating issue: "hard" snippets are too vague to be classified. In this paper, we argue that learning by comparing helps identify these hard snippets and we propose to utilize snippet Contrastive learning to Localize Actions, CoLA for short. Specifically, we propose a Snippet Contrast (SniCo) Loss to refine the hard snippet representation in feature space, which guides the network to perceive precise temporal boundaries and avoid the temporal interval interruption. Besides, since it is infeasible to access frame-level annotations, we introduce a Hard Snippet Mining algorithm to locate the potential hard snippets. Substantial analyses verify that this mining strategy efficaciously captures the hard snippets and SniCo Loss leads to more informative feature representation. Extensive experiments show that CoLA achieves state-of-the-art results on THUMOS'14 and ActivityNet v1.2 datasets. CoLA code is publicly available at https://github.com/zhang-can/CoLA.


title: The Reversibility Of Magnetic Reconnection

abstract: The reversibility of the transfer of energy from the magnetic field to the surrounding plasma during magnetic reconnection is examined. Trajectories of test particles in an analytic model of the fields demonstrate that irreversibility is associated with separatrix crossings and regions of weaker magnetic field. Inclusion of a guide field increases the degree of reversibility. Full kinetic simulations with a particle-in-cell code support these results and demonstrate that while time-reversed simulations at first "un-reconnect", they eventually evolve into a reconnecting state.


title: Bilimits are Bifinal Objects

abstract: We prove that a (lax) bilimit of a 2-functor is characterized by the existence of a limiting contraction in the 2-category of (lax) cones over the diagram. We also investigate the notion of bifinal object and prove that a (lax) bilimit is a limiting bifinal object in the category of cones. Everything is developed in the context of marked 2-categories, so that the machinery can be applied to different levels of laxity, including pseudo-limits.


title: Structural backward stability in rational eigenvalue problems solved via block Kronecker linearizations

abstract: We study the backward stability of running a backward stable eigenstructure solver on a pencil $S(\lambda)$ that is a strong linearization of a rational matrix $R(\lambda)$ expressed in the form $R(\lambda)=D(\lambda)+ C(\lambda I_\ell-A)^{-1}B$, where $D(\lambda)$ is a polynomial matrix and $C(\lambda I_\ell-A)^{-1}B$ is a minimal state-space realization. We consider the family of block Kronecker linearizations of $R(\lambda)$, which are highly structured pencils. Backward stable eigenstructure solvers applied to $S(\lambda)$ will compute the exact eigenstructure of a perturbed pencil $\widehat S(\lambda):=S(\lambda)+\Delta_S(\lambda)$ and the special structure of $S(\lambda)$ will be lost. In order to link this perturbed pencil with a nearby rational matrix, we construct a strictly equivalent pencil $\widetilde S(\lambda)$ to $\widehat S(\lambda)$ that restores the original structure, and hence is a block Kronecker linearization of a perturbed rational matrix $\widetilde R(\lambda) = \widetilde D(\lambda)+ \widetilde C(\lambda I_\ell- \widetilde A)^{-1} \widetilde B$, where $\widetilde D(\lambda)$ is a polynomial matrix with the same degree as $D(\lambda)$. Moreover, we bound appropriate norms of $\widetilde D(\lambda)- D(\lambda)$, $\widetilde C - C$, $\widetilde A - A$ and $\widetilde B - B$ in terms of an appropriate norm of $\Delta_S(\lambda)$. These bounds may be inadmissibly large, but we also introduce a scaling that allows us to make them satisfactorily tiny. Thus, for this scaled representation, we prove that the staircase and the $QZ$ algorithms compute the exact eigenstructure of a rational matrix $\widetilde R(\lambda)$ that can be expressed in exactly the same form as $R(\lambda)$ with the parameters defining the representation very near to those of $R(\lambda)$. This shows that this approach is backward stable in a structured sense.


title: Molecular Interactions Induced by a Static Electric Field in Quantum Mechanics and Quantum Electrodynamics

abstract: By means of quantum mechanics and quantum electrodynamics applied to coupled harmonic Drude oscillators, we study the interaction between two neutral atoms or molecules subject to a uniform static electric field. Our focus is to understand the interplay between leading contributions to field-induced electrostatics/polarization and dispersion interactions, as considered within the employed Drude model for both non-retarded and retarded regimes. For the first case, we present an exact solution for two coupled oscillators obtained by diagonalizing the corresponding quantum-mechanical Hamiltonian and demonstrate that the external field can control the strength of different intermolecular interactions and relative orientations of the molecules. In the retarded regime described by quantum electrodynamics, our analysis shows that field-induced electrostatic and polarization energies remain unchanged (in isotropic and homogeneous vacuum) compared to the nonretarded case. For interacting species modeled by quantum Drude oscillators, the developed framework based on quantum mechanics and quantum electrodynamics yields the leading contributions to molecular interactions under the combined action of external and vacuum fields.


title: 3D AffordanceNet: A Benchmark for Visual Object Affordance Understanding

abstract: The ability to understand the ways to interact with objects from visual cues, a.k.a. visual affordance, is essential to vision-guided robotic research. This involves categorizing, segmenting and reasoning of visual affordance. Relevant studies in 2D and 2.5D image domains have been made previously, however, a truly functional understanding of object affordance requires learning and prediction in the 3D physical domain, which is still absent in the community. In this work, we present a 3D AffordanceNet dataset, a benchmark of 23k shapes from 23 semantic object categories, annotated with 18 visual affordance categories. Based on this dataset, we provide three benchmarking tasks for evaluating visual affordance understanding, including full-shape, partial-view and rotation-invariant affordance estimations. Three state-of-the-art point cloud deep learning networks are evaluated on all tasks. In addition we also investigate a semi-supervised learning setup to explore the possibility to benefit from unlabeled data. Comprehensive results on our contributed dataset show the promise of visual affordance understanding as a valuable yet challenging benchmark.


title: Percolation and Epidemic Processes in One-Dimensional Small-World Networks

abstract: We obtain tight thresholds for bond percolation on one-dimensional small-world graphs, and apply such results to obtain tight thresholds for the \emph{Independent Cascade} process and the \emph{Reed-Frost} process in such graphs. These are the first fully rigorous results establishing a phase transition for bond percolation and SIR epidemic processes in small-world graphs. Although one-dimensional small-world graphs are an idealized and unrealistic network model, a number of realistic qualitative epidemiological phenomena emerge from our analysis, including the epidemic spread through a sequence of local outbreaks, the danger posed by random connections, and the effect of super-spreader events.


title: The Development and Validation of the Technology-Supported Reflection Inventory

abstract: Reflection is an often addressed design goal in Human-Computer Interaction (HCI) research. An increasing number of artefacts for reflection have been developed in recent years. However, evaluating if and how an interactive technology helps a user reflect is still complex. This makes it difficult to compare artefacts (or prototypes) for reflection, impeding future design efforts. To address this issue, we developed the \emph{Technology-Supported Reflection Inventory} (TSRI), which is a scale that evaluates how effectively a system supports reflection. We first created a list of possible scale items based on past work in defining reflection. The items were then reviewed by experts. Next, we performed exploratory factor analysis to reduce the scale to its final length of nine items. Subsequently, we confirmed test-retest validity of our instrument, as well as its construct validity. The TSRI enables researchers and practitioners to compare prototypes designed to support reflection.


title: Intel HEXL: Accelerating Homomorphic Encryption with Intel AVX512-IFMA52

abstract: Modern implementations of homomorphic encryption (HE) rely heavily on polynomial arithmetic over a finite field. This is particularly true of the CKKS, BFV, and BGV HE schemes. Two of the biggest performance bottlenecks in HE primitives and applications are polynomial modular multiplication and the forward and inverse number-theoretic transform (NTT). Here, we introduce Intel Homomorphic Encryption Acceleration Library (Intel HEXL), a C++ library which provides optimized implementations of polynomial arithmetic for Intel processors. Intel HEXL takes advantage of the recent Intel Advanced Vector Extensions 512 (Intel AVX512) instruction set to provide state-of-the-art implementations of the NTT and modular multiplication. On the forward and inverse NTT, Intel HEXL provides up to 7.2x and 6.7x speedup, respectively, over a native C++ implementation. Intel HEXL also provides up to 6.0x speedup on the element-wise vector-vector modular multiplication, and 1.7x speedup on the element-wise vector-scalar modular multiplication. Intel HEXL is available open-source at https://github.com/intel/hexl under the Apache 2.0 license and has been adopted by the Microsoft SEAL and PALISADE homomorphic encryption libraries.


title: Parabolic rectifiability, tangent planes and tangent measures

abstract: We define rectifiability in $\mathbb{R}^{n}\times\mathbb{R}$ with a parabolic metric in terms of $C^1$ graphs and Lipschitz graphs with small Lipschitz constants and we characterize it in terms of approximate tangent planes and tangent measures. We also discuss relations between the parabolic rectifiability and other notions of rectifiability.


title: Mean curvature flow in null hypersurfaces and the detection of MOTS

abstract: We study the mean curvature flow in 3-dimensional null hypersurfaces. In a spacetime a hypersurface is called null, if its induced metric is degenerate. The speed of the mean curvature flow of spacelike surfaces in a null hypersurface is the projection of the codimension-two mean curvature vector onto the null hypersurface. We impose fairly mild conditions on the null hypersurface. Then for an outer un-trapped initial surface, a condition which resembles the mean-convexity of a surface in Euclidean space, we prove that the mean curvature flow exists for all times and converges smoothly to a marginally outer trapped surface (MOTS). As an application we obtain the existence of a global foliation of the past of an outermost MOTS, provided the null hypersurface admits an un-trapped foliation asymptotically.


title: Dynamic Domain Adaptation for Efficient Inference

abstract: Domain adaptation (DA) enables knowledge transfer from a labeled source domain to an unlabeled target domain by reducing the cross-domain distribution discrepancy. Most prior DA approaches leverage complicated and powerful deep neural networks to improve the adaptation capacity and have shown remarkable success. However, they may have a lack of applicability to real-world situations such as real-time interaction, where low target inference latency is an essential requirement under limited computational budget. In this paper, we tackle the problem by proposing a dynamic domain adaptation (DDA) framework, which can simultaneously achieve efficient target inference in low-resource scenarios and inherit the favorable cross-domain generalization brought by DA. In contrast to static models, as a simple yet generic method, DDA can integrate various domain confusion constraints into any typical adaptive network, where multiple intermediate classifiers can be equipped to infer "easier" and "harder" target data dynamically. Moreover, we present two novel strategies to further boost the adaptation performance of multiple prediction exits: 1) a confidence score learning strategy to derive accurate target pseudo labels by fully exploring the prediction consistency of different classifiers; 2) a class-balanced self-training strategy to explicitly adapt multi-stage classifiers from source to target without losing prediction diversity. Extensive experiments on multiple benchmarks are conducted to verify that DDA can consistently improve the adaptation performance and accelerate target inference under domain shift and limited resources scenarios


title: Hybrid high-order and weak Galerkin methods for the biharmonic problem

abstract: We devise and analyze two hybrid high-order (HHO) methods for the numerical approximation of the biharmonic problem. The methods support polyhedral meshes, rely on the primal formulation of the problem, and deliver $O(h^{k+1})$ $H^2$-error estimates when using polynomials of order $k\ge0$ to approximate the normal derivative on the mesh (inter)faces. Both HHO methods hinge on a stabilization in the spirit of Lehrenfeld--Sch\"oberl for second-order PDEs. The cell unknowns are polynomials of order $(k+2)$ that can be eliminated locally by means of static condensation. The face unknowns approximating the trace of the solution on the mesh (inter)faces are polynomials of order $(k+1)$ in the first HHO method which is valid in dimension two and uses an original stabilization involving the canonical hybrid finite element, and they are of order $(k+2)$ for the second HHO method which is valid in arbitrary dimension and uses only $L^2$-orthogonal projections in the stabilization. A comparative discussion with the weak Galerkin methods from the literature is provided, highlighting the close connections and the improvements proposed herein. Additionally, we show how the two HHO methods can be combined with a Nitsche-like boundary-penalty technique to weakly enforce the boundary conditions. An originality in the devised Nitsche's technique is to avoid any penalty parameter that must be large enough. Finally, numerical results showcase the efficiency of the proposed methods and indicate that the HHO methods can generally outperform discontinuous Galerkin methods and even be competitive with $C^0$-interior penalty methods on triangular meshes.


title: The Price of Anarchy is Fragile in Single-Selection Coverage Games

abstract: This paper considers coverage games in which a group of agents are tasked with identifying the highest-value subset of resources; in this context, game-theoretic approaches are known to yield Nash equilibria within a factor of 2 of optimal. We consider the case that some of the agents suffer a communication failure and cannot observe the actions of other agents; in this case, recent work has shown that if there are k>0 compromised agents, Nash equilibria are only guaranteed to be within a factor of k+1 of optimal. However, the present paper shows that this worst-case guarantee is fragile; in a sense which we make precise, we show that if a problem instance has a very poor worst-case guarantee, then it is necessarily very "close" to a problem instance with an optimal Nash equilibrium. Conversely, an instance that is far from one with an optimal Nash equilibrium necessarily has relatively good worst-case performance guarantees. To contextualize this fragility, we perform simulations using the log-linear learning algorithm and show that average performance on worst-case instances is considerably better even than our improved analytical guarantees. This suggests that the fragility of the price of anarchy can be exploited algorithmically to compensate for online communication failures.


title: Electron round lenses with negative spherical aberration by a tightly focused cylindrically polarized light beam

abstract: Free electrons moving in an optical standing wave field feel the ponderomotive potential, acting as a refractive-index medium in electron optics. Emerging technologies involving this potential have been proposed and realized in electron microscopy, such as electron phase-contrast imaging using a laser standing wave in an optical enhancement cavity. However, the interaction between electrons with a cylindrically distributed optical field has not been investigated although its suitability for electron-optical imaging systems. In this study, we theoretically show that the divergence and convergence forces are provided by tightly focused cylindrically polarized light beams. The radially and azimuthally polarized beams with an annular profile are focused using a high numerical aperture optical lens. The intensity distributions at the focus function are concave and convex electron round lenses, respectively. The convex lens formed by the azimuthally polarized beam possesses negative (opposite sign) spherical aberration compared with conventional electron round lenses created by electrodes and magnetic coils. This remarkable result will contribute to the innovative design of electron-optical imaging systems and bring new capabilities into matter-wave optics.


title: Evidence of high-temperature exciton condensation in 2D atomic double layers

abstract: A Bose-Einstein condensate is the ground state of a dilute gas of bosons, such as atoms cooled to temperatures close to absolute zero. With much smaller mass, excitons (bound electron-hole pairs) are expected to condense at significantly higher temperatures. Here we study electrically generated interlayer excitons in MoSe2/WSe2 atomic double layers with density up to 10^12 cm-2. The interlayer tunneling current depends only on exciton density, indicative of correlated electron-hole pair tunneling. Strong electroluminescence (EL) arises when a hole tunnels from WSe2 to recombine with electron in MoSe2. We observe a critical threshold dependence of the EL intensity on exciton density, accompanied by a super-Poissonian photon statistics near threshold, and a large EL enhancement peaked narrowly at equal electron-hole densities. The phenomenon persists above 100 K, which is consistent with the predicted critical condensation temperature. Our study provides compelling evidence for interlayer exciton condensation in two-dimensional atomic double layers and opens up exciting opportunities for exploring condensate-based optoelectronics and exciton-mediated high-temperature superconductivity.


abstract: We present a novel method of stacking decision trees by projection into an ordered time split out-of-fold (OOF) one nearest neighbor (1NN) space. The predictions of these one nearest neighbors are combined through a linear model. This process is repeated many times and averaged to reduce variance. Generalized Linear Tree Space Nearest Neighbor (GLTSNN) is competitive with respect to Mean Squared Error (MSE) compared to Random Forest (RF) on several publicly available datasets. Some of the theoretical and applied advantages of GLTSNN are discussed. We conjecture a classifier based upon the GLTSNN would have an error that is asymptotically bounded by twice the Bayes error rate like k = 1 Nearest Neighbor.


title: Deep Hedging of Derivatives Using Reinforcement Learning

abstract: This paper shows how reinforcement learning can be used to derive optimal hedging strategies for derivatives when there are transaction costs. The paper illustrates the approach by showing the difference between using delta hedging and optimal hedging for a short position in a call option when the objective is to minimize a function equal to the mean hedging cost plus a constant times the standard deviation of the hedging cost. Two situations are considered. In the first, the asset price follows a geometric Brownian motion. In the second, the asset price follows a stochastic volatility process. The paper extends the basic reinforcement learning approach in a number of ways. First, it uses two different Q-functions so that both the expected value of the cost and the expected value of the square of the cost are tracked for different state/action combinations. This approach increases the range of objective functions that can be used. Second, it uses a learning algorithm that allows for continuous state and action space. Third, it compares the accounting P&L approach (where the hedged position is valued at each step) and the cash flow approach (where cash inflows and outflows are used). We find that a hybrid approach involving the use of an accounting P&L approach that incorporates a relatively simple valuation model works well. The valuation model does not have to correspond to the process assumed for the underlying asset price.


title: Comprehensive Quantum Framework for Describing Retarded and Non-Retarded Molecular Interactions in External Electric Fields

abstract: We employ various quantum-mechanical approaches for studying the impact of electric fields on both nonretarded and retarded noncovalent interactions between atoms or molecules. To this end, we apply perturbative and non-perturbative methods within the frameworks of quantum mechanics (QM) as well as quantum electrodynamics (QED). In addition, to provide a transparent physical picture of the different types of resulting interactions, we employ a stochastic electrodynamic approach based on the zero-point fluctuating field. Atomic response properties are described via harmonic Drude oscillators - an efficient model system that permits an analytical solution and has been convincingly shown to yield accurate results when modeling non-retarded intermolecular interactions. The obtained intermolecular energy contributions are classified as field-induced (FI) electrostatics, FI polarization, and dispersion interactions. The interplay between these three types of interactions enables the manipulation of molecular dimer conformations by applying transversal or longitudinal electric fields along the intermolecular axis. Our framework combining four complementary theoretical approaches paves the way toward a systematic description and improved understanding of molecular interactions when molecules are subject to both external and vacuum fields.


title: Harmonic Beltrami Signature: A Novel 2D Shape Representation for Object Classification

abstract: There is a growing interest in shape analysis in recent years. We present a novel shape signature for 2D bounded simply-connected domains, named the Harmonic Beltrami signature (HBS). The proposed signature is based on the harmonic extension of the conformal welding map of a unit circle and its Beltrami coefficient. We show that there is a one-to-one correspondence between the quotient space of HBS and the space of 2D simply-connected shapes up to a translation, rotation and scaling. With a suitable normalization, each equivalence class in the quotient space of HBS is associated to a unique representative. It gets rid of the conformal ambiguity. As such, each shape is associated to a unique HBS. Conversely, the associated shape of a HBS can be reconstructed based on quasiconformal Teichmuller theories, which is uniquely determined up to a translation, rotation and scaling. The HBS is thus an effective fingerprint to represent a 2D shape. The robustness of HBS is studied both theoretically and experimentally. With the HBS, simple metric, such as L2, can be used to measure geometric dissimilarity between shapes. Experiments have been carried out to classify shapes in different classes using HBS. Results show good classification performance, which demonstrate the efficacy of our proposed shape signature.


title: On a Batalin--Vilkovisky operator generating higher Koszul brackets on differential forms

abstract: We introduce a formal $\hbar$-differential operator $\Delta$ that generates higher Koszul brackets on the algebra of (pseudo)differential forms on a $P_{\infty}$-manifold. Such an operator was first mentioned by Khudaverdian and Voronov in \texttt{arXiv:1808.10049}. (This operator is an analogue of the Koszul--Brylinski boundary operator $\partial_P$ which defines Poisson homology for an ordinary Poisson structure.) Here we introduce $\Delta=\Delta_P$ by a different method and establish its properties. We show that this BV type operator generating higher Koszul brackets can be included in a one-parameter family of BV type formal $\hbar$-differential operators, which can be understood as a quantization of the cotangent $L_{\infty}$-bialgebroid. We obtain symmetric description on both $\Pi TM$ and $\Pi T^*M$. For the purpose of the above, we develop in detail a theory of formal $\hbar$-differential operators and also of operators acting on densities on dual vector bundles. In particular, we have a statement about operators that can be seen as a quantization of the Mackenzie--Xu canonical diffeomorphism. Another interesting feature is that we are able to introduce a grading, not a filtration, on our algebras of operators. When operators act on objects on vector bundles, we obtain a bi-grading.