title: Imaginary shift in CASPT2 nuclear gradient and derivative coupling theory

abstract: We report the analytical nuclear gradient theory for complete active space second-order perturbation theory (CASPT2) with imaginary shift, which is commonly used to avoid divergence of the perturbation expression. Our formulation is based on the Lagrangian approach and is an extension of the algorithm for CASPT2 nuclear gradients with real shift. The working equations are derived and implemented into an efficient parallel program. Numerical examples are presented for the ground- and excited-state geometries and conical intersections of a green fluorescent protein model chromophore, $p$-HBDI$^-$. We also report timing benchmarks with adenine, $p$-HBDI$^-$, and iron porphyrin. It is demonstrated that the energies and geometries obtained with the imaginary shift improve accuracy at a minor additional cost which is mainly associated with evaluating the effective density matrix elements for the imaginary shift term.


title: On the naturalness of Mal'tsev categories

abstract: Mal'tsev categories turned out to be a central concept in categorical algebra. On one hand, the simplicity and the beauty of the notion is revealed through a lot of characterizations of different flavour. Depending on the context, one can define Mal'tsev categories as those for which `any reflexive relation is an equivalence'; `any relation is difunctional'; `the composition of equivalence relations on a same object is commutative'; `each fibre of the fibration of points is unital' or `the forgetful functor from internal groupoids to reflexive graphs is saturated on subobjects'. For a variety of universal algebras, these are also equivalent to the existence in its algebraic theory of a Mal'tsev operation, i.e. a ternary operation $p(x,y,z)$ satisfying the axioms $p(x,x,y)=y$ and $p(x,y,y)=x$. On the other hand, Mal'tsev categories have been shown to be the right context in which to develop the theory of centrality of equivalence relations, Baer sums of extensions, and some homological lemmas such as the denormalized $3 \times 3$ Lemma, whose validity in a regular category is equivalent to the weaker `Goursat property', which has also turned out to be of wide interest.


title: On topological complexity of hyperbolic groups

abstract: We show that the topological complexity of a finitely generated torsion free hyperbolic group $\pi$ with $\cd\pi=n$ equals $2n$.


title: Bootstrapping Covariance Operators of Functional Time Series

abstract: For testing hypothesis on the covariance operator of functional time series, we suggest to use the full functional information and to avoid dimension reduction techniques. The limit distribution follows from the central limit theorem of the weak convergence of the partial sum process in general Hilbert space applied to the product space. In order to obtain critical values for tests, we generalize bootstrap results from the independent to the dependent case. This results can be applied to covariance operators, autocovariance operators and cross covariance operators. We discuss one sample and changepoint tests and give some simulation results.


title: Boomerang: Rebounding the Consequences of Reputation Feedback on Crowdsourcing Platforms

abstract: Paid crowdsourcing platforms suffer from low-quality work and unfair rejections, but paradoxically, most workers and requesters have high reputation scores. These inflated scores, which make high-quality work and workers difficult to find, stem from social pressure to avoid giving negative feedback. We introduce Boomerang, a reputation system for crowdsourcing that elicits more accurate feedback by rebounding the consequences of feedback directly back onto the person who gave it. With Boomerang, requesters find that their highly-rated workers gain earliest access to their future tasks, and workers find tasks from their highly-rated requesters at the top of their task feed. Field experiments verify that Boomerang causes both workers and requesters to provide feedback that is more closely aligned with their private opinions. Inspired by a game-theoretic notion of incentive-compatibility, Boomerang opens opportunities for interaction design to incentivize honest reporting over strategic dishonesty.


title: Quartic Coupling Unification in the Maximally Symmetric 2HDM

abstract: We consider the Maximally Symmetric Two-Higgs Doublet Model (MS-2HDM) in which the so-called Standard Model (SM) alignment can be naturally realised as a consequence of an accidental SO(5) symmetry in the Higgs sector. This symmetry is broken (i) explicitly by renormalization-group (RG) effects and (ii) softly by the bilinear scalar mass term $m^2_{12}$. We find that in the MS-2HDM all quartic couplings can unify at large RG scales $\mu_X \sim 10^{11}\,$-$\,10^{20}$ GeV. In particular, we show that quartic coupling unification can take place in two different conformally invariant points, where all quartic couplings vanish. We perform a vacuum stability analysis of the model in order to ensure that the electro-weak vacuum is sufficiently long-lived. The MS-2HDM is a minimal and very predictive extension of the SM governed by only three additional parameters: the unification scale $\mu_X$, the charged Higgs mass $M_{h^{\pm}}$ (or $m^2_{12}$) and $\tan\beta$, which allow one to determine the entire Higgs sector of the model. In terms of these input parameters, we present illustrative predictions of misalignment for the SM-like Higgs-boson couplings to the $W^\pm$ and $Z$ bosons and, for the first time, to the top and bottom quarks.


title: The Potential of FAST in Detecting Celestial Hydroxyl Masers and Related Science Topics

abstract: The Five Hundred Meter Aperture Spherical Radio Telescope (FAST) will make contributions to the study of Galactic and extragalactic masers. The telescope, now finished construction and commissioning in China, has an innovative design that leads to the highest sensitivity of any single dish telescope in the world. FAST's potential for OH megamaser research is discussed, including the sky density of masers detectable in surveys. The scientific impact expected from FAST maser studies is also discussed.


title: Distributed representation of multi-sense words: A loss-driven approach

abstract: Word2Vec's Skip Gram model is the current state-of-the-art approach for estimating the distributed representation of words. However, it assumes a single vector per word, which is not well-suited for representing words that have multiple senses. This work presents LDMI, a new model for estimating distributional representations of words. LDMI relies on the idea that, if a word carries multiple senses, then having a different representation for each of its senses should lead to a lower loss associated with predicting its co-occurring words, as opposed to the case when a single vector representation is used for all the senses. After identifying the multi-sense words, LDMI clusters the occurrences of these words to assign a sense to each occurrence. Experiments on the contextual word similarity task show that LDMI leads to better performance than competing approaches.


title: VORNet: Spatio-temporally Consistent Video Inpainting for Object Removal

abstract: Video object removal is a challenging task in video processing that often requires massive human efforts. Given the mask of the foreground object in each frame, the goal is to complete (inpaint) the object region and generate a video without the target object. While recently deep learning based methods have achieved great success on the image inpainting task, they often lead to inconsistent results between frames when applied to videos. In this work, we propose a novel learning-based Video Object Removal Network (VORNet) to solve the video object removal task in a spatio-temporally consistent manner, by combining the optical flow warping and image-based inpainting model. Experiments are done on our Synthesized Video Object Removal (SVOR) dataset based on the YouTube-VOS video segmentation dataset, and both the objective and subjective evaluation demonstrate that our VORNet generates more spatially and temporally consistent videos compared with existing methods.


title: Rotating cylinders with anisotropic fluids in general relativity

abstract: We consider anisotropic fluids with directional pressures $p_i = w_i \rho$ ($\rho$ is the density, $w_i = $const, $i = 1,2,3$) as sources of gravity in stationary cylindrically symmetric space-times. We describe a general way of obtaining exact solutions with such sources, where the main features are splitting of the Ricci tensor into static and rotational parts and using the harmonic radial coordinate. Depending on the values of $w_i$, it appears possible to obtain general or special solutions to the Einstein equations, thus recovering some known solutions and finding new ones. Three particular examples of exact solutions are briefly described: with a stiff isotropic perfect fluid ($p = \rho$), with a distribution of cosmic strings of azimuthal direction (i.e., forming circles around the $z$ axis), and with a stationary combination of two opposite radiation flows along the $z$ axis.


title: Tur\'an numbers of Berge trees

abstract: A classical conjecture of Erd\H{o}s and S\'os asks to determine the Tur\'an number of a tree. We consider variants of this problem in the settings of hypergraphs and multi-hypergraphs. In particular, for all $k$ and $r$, with $r \ge k (k-2)$, we show that any $r$-uniform hypergraph $\mathcal{H}$ with more than $\frac{n(k-1)}{r+1}$ hyperedges contains a Berge copy of any tree with $k$ edges different from the $k$-edge star. This bound is sharp when $r+1$ divides $n$ and for such values of $n$ we determine the extremal hypergraphs.


title: Approximate Carath{\'e}odory's theorem in uniformly smooth Banach spaces

abstract: We study the 'no-dimension' analogue of Carath{\'e}odory's theorem in Banach spaces. We prove such a result together with its colorful version for uniformly smooth Banach spaces. It follows that uniform smoothness leads to a greedy de-randomization of Maurey's classical lemma \cite{pisier1980remarques}, which is itself a 'no-dimension' analogue of Carath{\'e}odory's theorem with a probabilistic proof. We find the asymptotically tight upper bound on the deviation of the convex hull from the $k$-convex hull of a bounded set in $L_p$ with $1 < p \leq 2$ and get asymptotically the same bound as in Maurey's lemma for $L_p$ with $1 < p < \infty.$


title: Text segmentation on multilabel documents: A distant-supervised approach

abstract: Segmenting text into semantically coherent segments is an important task with applications in information retrieval and text summarization. Developing accurate topical segmentation requires the availability of training data with ground truth information at the segment level. However, generating such labeled datasets, especially for applications in which the meaning of the labels is user-defined, is expensive and time-consuming. In this paper, we develop an approach that instead of using segment-level ground truth information, it instead uses the set of labels that are associated with a document and are easier to obtain as the training data essentially corresponds to a multilabel dataset. Our method, which can be thought of as an instance of distant supervision, improves upon the previous approaches by exploiting the fact that consecutive sentences in a document tend to talk about the same topic, and hence, probably belong to the same class. Experiments on the text segmentation task on a variety of datasets show that the segmentation produced by our method beats the competing approaches on four out of five datasets and performs at par on the fifth dataset. On the multilabel text classification task, our method performs at par with the competing approaches, while requiring significantly less time to estimate than the competing approaches.


title: On a lattice characterization of finite soluble $PST$-groups

abstract: Let $\mathfrak{F}$ be a class of finite groups and $G$ a finite group. Let ${\cal L}_{\mathfrak{F}}(G)$ be the set of all subgroups $A$ of $G$ with $A^{G}/A_{G}\in \mathfrak{F}$. A chief factor $H/K$ of $G$ is $\mathfrak{F}$-central in $G$ if $(H/K)\rtimes (G/C_{G}(H/K)) \in\mathfrak{F}$. We study the structure of $G$ under the hypothesis that every chief factor of $G$ between $A_{G}$ and $A^{G}$ is $\mathfrak{F}$-central in $G$ for every subgroup $A\in {\cal L}_{\mathfrak{F}}(G)$. As an application, we prove that a finite soluble group $G$ is a $PST$-group if and only if $A^{G}/A_{G}\leq Z_{\infty}(G/A_{G})$ for every subgroup $A\in {\cal L}_{\mathfrak{N}}(G)$, where $\mathfrak{N}$ is the class of all nilpotent groups.


title: $B_c$ excitations at LHC experiments

abstract: The $2S$ $B_c$ states observed by ATLAS, CMS and LHCb Collaborations are discussed. The observation perspectives of $B_c^*$, $2P$ wave, $3P$ wave and $D$ wave states of $B_c$ at LHC experiments are estimated.


abstract: The mechanical response of cellular materials with spinodal topologies is numerically and experimentally investigated. Spinodal microstructures are generated by the numerical solution of the Cahn-Hilliard equation. Two different topologies are investigated: "solid models," where one of the two phases is modeled as a solid material and the remaining volume is void space; and "shell models," where the interface between the two phases is assumed to be a solid shell, with the rest of the volume modeled as void space. In both cases, a wide range of relative densities and spinodal characteristic feature sizes are investigated. The topology and morphology of all the numerically generated models are carefully characterized to extract key geometrical features and ensure that the distribution of curvatures and the aging law are consistent with the physics of spinodal decomposition. Finite element meshes are generated for each model, and the uniaxial compressive stiffness and strength are extracted. We show that while solid spinodal models in the density range of 30-70% are relatively inefficient (i.e., their strength and stiffness exhibit a high-power scaling with relative density), shell spinodal models in the density range of 0.01-1% are exceptionally stiff and strong. Spinodal shell materials are also shown to be remarkably imperfection insensitive. These findings are verified experimentally by in-situ uniaxial compression of polymeric samples printed at the microscale by Direct Laser Writing (DLW). At low relative densities, the strength and stiffness of shell spinodal models outperform those of most lattice materials and approach theoretical bounds for isotropic cellular materials. Most importantly, these materials can be produced by self-assembly techniques over a range of length scales, providing unique scalability.


title: The Role of Major Mergers and Nuclear Star Formation in Nearby Obscured Quasars

abstract: We investigate the triggering mechanism and the structural properties of obscured luminous active galactic nuclei from a detailed study of the rest-frame $B$ and $I$ HST images of 29 nearby ($z\approx 0.04-0.4$) optically selected type 2 quasars. Morphological classification reveals that only a minority (34%) of the hosts are mergers or interacting galaxies. More than half (55%) of the hosts contain regular disks, and a substantial fraction (38%), in fact, are disk-dominated ($B/T\lesssim 0.2$) late-type galaxies with low Sersic indices ($n < 2$), which is characteristic of pseudo bulges. The prevalence of bars in the spiral host galaxies may be sufficient to supply the modest fuel requirements needed to power the nuclear activity in these systems. Nuclear star formation seems to be ubiquitous in the central regions, leading to positive color gradients within the bulges and enhancements in the central surface brightness of most systems.


title: Beam Profiler Network (BPNet) -- A Deep Learning Approach to Mode Demultiplexing of Laguerre-Gaussian Optical Beams

abstract: The transverse field profile of light is being recognized as a resource for classical and quantum communications for which reliable methods of sorting or demultiplexing spatial optical modes are required. Here, we demonstrate, experimentally, state-of-the-art mode demultiplexing of Laguerre-Gaussian beams according to both their orbital angular momentum and radial topological numbers using a flow of two concatenated deep neural networks. The first network serves as a transfer function from experimentally-generated to ideal numerically-generated data, while using a unique "Histogram Weighted Loss" function that solves the problem of images with limited significant information. The second network acts as a spatial-modes classifier. Our method uses only the intensity profile of modes or their superposition, making the phase information redundant.


title: A Short Survey On Memory Based Reinforcement Learning

abstract: Reinforcement learning (RL) is a branch of machine learning which is employed to solve various sequential decision making problems without proper supervision. Due to the recent advancement of deep learning, the newly proposed Deep-RL algorithms have been able to perform extremely well in sophisticated high-dimensional environments. However, even after successes in many domains, one of the major challenge in these approaches is the high magnitude of interactions with the environment required for efficient decision making. Seeking inspiration from the brain, this problem can be solved by incorporating instance based learning by biasing the decision making on the memories of high rewarding experiences. This paper reviews various recent reinforcement learning methods which incorporate external memory to solve decision making and a survey of them is presented. We provide an overview of the different methods - along with their advantages and disadvantages, applications and the standard experimentation settings used for memory based models. This review hopes to be a helpful resource to provide key insight of the recent advances in the field and provide help in further future development of it.


title: In-situ strain tuning in hBN-encapsulated graphene electronic devices

abstract: Using a simple setup to bend a flexible substrate, we demonstrate deterministic and reproducible in-situ strain tuning of graphene electronic devices. Central to this method is the full hBN encapsulation of graphene, which preserves the exceptional quality of pristine graphene for transport experiments. In addition, the on-substrate approach allows one to exploit strain effects in the full range of possible sample geometries and at the same time guarantees that changes in the gate capacitance remain negligible during the deformation process. We use Raman spectroscopy to spatially map the strain magnitude in devices with two different geometries and demonstrate the possibility to engineer a strain gradient, which is relevant for accessing the valley degree of freedom with pseudo-magnetic fields. Comparing the transport characteristics of a suspended device with those of an on-substrate device, we demonstrate that our new approach does not suffer from the ambiguities encountered in suspended devices.


title: Finding a latent k-simplex in O(k . nnz(data)) time via Subset Smoothing

abstract: In this paper we show that a large class of Latent variable models, such as Mixed Membership Stochastic Block(MMSB) Models, Topic Models, and Adversarial Clustering, can be unified through a geometric perspective, replacing model specific assumptions and algorithms for individual models. The geometric perspective leads to the formulation: \emph{find a latent $k-$ polytope $K$ in ${\bf R}^d$ given $n$ data points, each obtained by perturbing a latent point in $K$}. This problem does not seem to have been considered in the literature. The most important contribution of this paper is to show that the latent $k-$polytope problem admits an efficient algorithm under deterministic assumptions which naturally hold in Latent variable models considered in this paper. ur algorithm runs in time $O^*(k\; \mbox{nnz})$ matching the best running time of algorithms in special cases considered here and is better when the data is sparse, as is the case in applications. An important novelty of the algorithm is the introduction of \emph{subset smoothed polytope}, $K'$, the convex hull of the ${n\choose \delta n}$ points obtained by averaging all $\delta n$ subsets of the data points, for a given $\delta \in (0,1)$. We show that $K$ and $K'$ are close in Hausdroff distance. Among the consequences of our algorithm are the following: (a) MMSB Models and Topic Models: the first quasi-input-sparsity time algorithm for parameter estimation for $k \in O^*(1)$, (b) Adversarial Clustering: In $k-$means, if, an adversary is allowed to move many data points from each cluster an arbitrary amount towards the convex hull of the centers of other clusters, our algorithm still estimates cluster centers well.


title: Astro2020 Science White Paper: A Unification of the Micro and Macro Physics in the Intracluster Medium of Nearby Clusters

abstract: Clusters of galaxies are the most massive virialized structures in the Universe. The microphysical properties of the intracluster plasma can affect dynamical processes over an enormous range: from the feedback of active galactic nuclei to shock acceleration in merging clusters. All the major cosmological simulations assume the astrophysical plasma to be inviscid. It is critical to measure microphysical properties of the intracluster plasma to truly understand the physical processes that drive the cosmic evolution. Tremendous progress has been made by comparing high spatial resolution X-ray images to (magneto-)hydrodynamic simulations. Future X-ray missions with calorimeters promise a direct measurement of transport coefficients and gas motions, providing a more realistic benchmark for cosmological simulations.


title: Light-matter interaction of a quantum emitter near a half-space graphene nanostructure

abstract: The Purcell factor and the spontaneous emission spectrum of a quantum emitter (QE) placed close to the edge of a graphene half-space nanostructure is investigated, using semi-analytical methods at the electrostatic regime. The half-space geometry supports an edge and a bulk surface plasmon (SP) mode. The Purcell factor of the QE is enhanced over eight orders of magnitude when its emission energy matches the resonance energy modes, for a specific value of the in-plane wave vector, at a separation distance of $5\,$nm. The different transition dipole moment orientations influence differently the enhancement factor of a QE, leading to large anisotropic behavior when positioned at different places above the half-space geometry. The field distribution is presented, showing clearly the excitation of the SP modes at the edge of the nanostructures. Also, we present the spontaneous emission spectrum of the QE near the half-space graphene nanostructure and show that strong light-matter coupling may emerge. When a QE with a free-space lifetime of $1\,$ns is placed at a distance of $10\,$nm away from the edge of the graphene half-space, a Rabi splitting of $80 \,m$eV is found. Our contribution can be used for designing future quantum applications using combination of QEs and graphene nanostructures.


title: Connection Formulae for Asymptotics of the Fifth Painlev\'e Transcendent on the Imaginary Axis: I

abstract: Leading terms of asymptotic expansions for the general complex solutions of the fifth Painlev\'e equation as $t\to\imath\infty$ are found. These asymptotics are parameterized by monodromy data of the associated linear ODE. $$ \frac{d}{d\lambda}Y= \left(\frac t2\sigma_3 + \frac{A_0}\lambda+\frac{A_1}{\lambda-1}\right)Y. $$ The parametrization allows one to derive connection formulas for the asymptotics. We provide numerical verification of the results. Important special cases of the connection formulas are also considered.


title: Peer Effects in Random Consideration Sets

abstract: We develop a dynamic model of discrete choice that incorporates peer effects into random consideration sets. We characterize the equilibrium behavior and study the empirical content of the model. In our setup, changes in the choices of friends affect the distribution of the consideration sets. We exploit this variation to recover the ranking of preferences, attention mechanisms, and network connections. These nonparametric identification results allow unrestricted heterogeneity across people and do not rely on the variation of either covariates or the set of available options. Our methodology leads to a maximum-likelihood estimator that performs well in simulations. We apply our results to an experimental dataset that has been designed to study the visual focus of attention.


title: Impact of the first order antiferromagnetic phase transition on the paramagnetic spin excitations and nematic phase of SrFe$_2$As$_2$

abstract: Understanding the nature of the electronic nematic phase in iron pnictide superconductors is important for elucidating its impact on high-temperature superconductivity. Here we use transport and inelastic neutron scattering to study spin excitations and in-plane resistivity anisotropy in uniaxial pressure detwinned BaFe$_2$As$_2$ and SrFe$_2$As$_2$, the parent compounds of iron pnictide superconductors. While BaFe$_2$As$_2$ exhibits weakly first order tetragonal-to-orthorhombic structural and antiferromagnetic (AF) phase transitions below $T_s > T_N\approx 138$ K, SrFe$_2$As$_2$ has strongly coupled first order structural and AF transitions below $T_s= T_N\approx 210$ K. We find that the direct signatures of the nematic phase persist to lower temperatures above the phase transition in the case of SrFe$_2$As$_2$ compared to BaFe$_2$As$_2$. Our findings support the conclusion that the strongly first-order nature of the magnetic transition in SrFe$_2$As$_2$ weakens the nematic phase and resistivity anisotropy in the system.


title: A Personalized Preference Learning Framework for Caching in Mobile Networks

abstract: This paper comprehensively studies a content-centric mobile network based on a preference learning framework, where each mobile user is equipped with a finite-size cache. We consider a practical scenario where each user requests a content file according to its own preferences, which is motivated by the existence of heterogeneity in file preferences among different users. Under our model, we consider a single-hop-based device-to-device (D2D) content delivery protocol and characterize the average hit ratio for the following two file preference cases: the personalized file preferences and the common file preferences. By assuming that the model parameters such as user activity levels, user file preferences, and file popularity are unknown and thus need to be inferred, we present a collaborative filtering (CF)-based approach to learn these parameters. Then, we reformulate the hit ratio maximization problems into a submodular function maximization and propose two computationally efficient algorithms including a greedy approach to efficiently solve the cache allocation problems. We analyze the computational complexity of each algorithm. Moreover, we analyze the corresponding level of the approximation that our greedy algorithm can achieve compared to the optimal solution. Using a real-world dataset, we demonstrate that the proposed framework employing the personalized file preferences brings substantial gains over its counterpart for various system parameters.


title: Approximating the noise sensitivity of a monotone Boolean function

abstract: The noise sensitivity of a Boolean function $f: \{0,1\}^n \rightarrow \{0,1\}$ is one of its fundamental properties. A function of a positive noise parameter $\delta$, it is denoted as $NS_{\delta}[f]$. Here we study the algorithmic problem of approximating it for monotone $f$, such that $NS_{\delta}[f] \geq 1/n^{C}$ for constant $C$, and where $\delta$ satisfies $1/n \leq \delta \leq 1/2$. For such $f$ and $\delta$, we give a randomized algorithm performing $O\left(\frac{\min(1,\sqrt{n} \delta \log^{1.5} n) }{NS_{\delta}[f]} \text{poly}\left(\frac{1}{\epsilon}\right)\right)$ queries and approximating $NS_{\delta}[f]$ to within a multiplicative factor of $(1\pm \epsilon)$. Given the same constraints on $f$ and $\delta$, we also prove a lower bound of $\Omega\left(\frac{\min(1,\sqrt{n} \delta)}{NS_{\delta}[f] \cdot n^{\xi}}\right)$ on the query complexity of any algorithm that approximates $NS_{\delta}[f]$ to within any constant factor, where $\xi$ can be any positive constant. Thus, our algorithm's query complexity is close to optimal in terms of its dependence on $n$. We introduce a novel descending-ascending view of noise sensitivity, and use it as a central tool for the analysis of our algorithm. To prove lower bounds on query complexity, we develop a technique that reduces computational questions about query complexity to combinatorial questions about the existence of "thin" functions with certain properties. The existence of such "thin" functions is proved using the probabilistic method. These techniques also yield previously unknown lower bounds on the query complexity of approximating other fundamental properties of Boolean functions: the total influence and the bias.


title: Dramatic implications of unitarity for meson spectroscopy

abstract: An unambiguous definition of meson resonance masses requires a description of the associated phase shifts in terms of a manifestly unitary $S$-matrix and its complex poles. However, the commonly used Breit-Wigner (BW) parametrisations can lead to appreciable deviations. We demonstrate this for a simple elastic resonance, viz. $\rho(770)$, whose pole and BW masses turn out to differ by almost 5 MeV. In the case of the very broad $f_0(500)$ and $K_0^\star(700)$ scalar mesons, the discrepancies are shown to become much larger, while also putting question marks at the listed PDG BW masses and widths. Furthermore, some results are reviewed of a manifestly unitary model for meson spectroscopy, which highlight the potentially huge deviations from static model predictions. Finally, a related unitary model for production amplitudes is shown to explain several meson enhancements as non-resonant threshold effects, with profound implications for spectroscopy.


title: Proof of Aharoni Berger Conjecture

abstract: We prove the Aharoni Berger Conjecture


title: Time Global Finite-Energy Weak Solutions to the Many-Body Maxwell-Pauli Equations

abstract: We study the quantum mechanical many-body problem of $N$ nonrelativistic electrons interacting with their self-generated classical electromagnetic field and $K$ static nuclei. The system of coupled equations governing the dynamics of the electrons and their self-generated electromagnetic field is referred to as the many-body Maxwell-Pauli equations. Here we construct time global, finite-energy, weak solutions to the many-body Maxwell-Pauli equations under the assumption that the fine structure constant $\alpha$ and the atomic numbers are not too large. The particular assumptions on the size of $\alpha$ and the atomic numbers ensure that we have energetic stability of the many-body Pauli Hamiltonian, i.e., the ground state energy is finite and uniformly bounded below with lower bound independent of the magnetic field and the positions of the nuclei. This work serves as an initial step towards understanding the connection between the energetic stability of matter and the wellposedness of the corresponding dynamical equations.


title: The automorphism groups of the profinite braid groups

abstract: In this paper we determine the automorphism groups of the profinite braid groups with four or more strings in terms of the profinite Grothendieck-Teichm\"uller group.


title: From Theory to Systems: A Grounded Approach to Programming Language Education

abstract: I present a new approach to teaching a graduate-level programming languages course focused on using systems programming ideas and languages like WebAssembly and Rust to motivate PL theory. Drawing on students' prior experience with low-level languages, the course shows how type systems and PL theory are used to avoid tricky real-world errors that students encounter in practice. I reflect on the curricular design and lessons learned from two years of teaching at Stanford, showing that integrating systems ideas can provide students a more grounded and enjoyable education in programming languages. The curriculum, course notes, and assignments are freely available: http://cs242.stanford.edu/f18/


title: Diabatic scission paths

abstract: An outstanding problem in the theory of nuclear fission is to understand the Hamiltonian dynamics at the scission point. In this work the fissioning nucleus is modeled in self-consistent mean-field theory as a set of Generator Coordinate (GCM) configurations passing through the scission point. In contrast to previous methods, the configurations are constructed in the Hartree-Fock approximation with axially symmetric mean fields and using the K-partition numbers as additional constraints. The goal of this work is to find paths through the scission point where the overlaps between neighboring configurations are large. A measure of distance along the path is proposed that is insensitive to the division of the path into short segments. For most of the tested K-partitions two shape degrees of freedom are adequate to define smooth paths. However, some of the configurations and candidate paths have sticking points where there are substantial changes in the many-body wave function, especially if quasiparticle excitations are present. The excitation energy deposited in fission fragments arising from thermal excitations in the pre-scission configurations is determined by tracking orbital occupation numbers along the scission paths. This allows us to assess the validity of the well-known scission-point statistical model, in which the scission process is assumed to be fully equilibrated up to the separated fission fragments. The nucleus 236U is taken as a representative example in the calculations.


title: Bootstrapped Newtonian stars and black holes

abstract: We study equilibrium configurations of a homogenous ball of matter in a bootstrapped description of gravity which includes a gravitational self-interaction term beyond the Newtonian coupling. Both matter density and pressure are accounted for as sources of the gravitational potential for test particles. Unlike the general relativistic case, no Buchdahl limit is found and the pressure can in principle support a star of arbitrarily large compactness. By defining the horizon as the location where the escape velocity of test particles equals the speed of light, like in Newtonian gravity, we find a minimum value of the compactness for which this occurs. The solutions for the gravitational potential here found could effectively describe the interior of macroscopic black holes in the quantum theory, as well as predict consequent deviations from general relativity in the strong field regime of very compact objects.


title: Studying dawn-dusk asymmetries of Mercury's magnetotail using MHD-EPIC simulations

abstract: MESSENGER has observed a lot of dawn-dusk asymmetries in Mercury's magnetotail, such as the asymmetries of the cross-tail current sheet thickness and the occurrence of flux ropes, dipolarization events and energetic electron injections. In order to obtain a global pictures of Mercury's magnetotail dynamics and the relationship between these asymmetries, we perform global simulations with the magnetohydrodynamics with embedded particle-in-cell (MHD-EPIC) model, where Mercury's magnetotail region is covered by a PIC code. Our simulations show that the dawnside current sheet is thicker, the plasma density is larger, and the electron pressure is higher than the duskside. Under a strong IMF driver, the simulated reconnection sites prefer the dawnside. We also found the dipolarization events and the planetward electron jets are moving dawnward while they are moving towards the planet, so that almost all dipolarization events and high-speed plasma flows concentrate in the dawn sector. The simulation results are consistent with MESSENGER observations.


title: A bound on Planck-scale deformations of CPT from muon lifetime

abstract: We show that deformed relativistic kinematics, expected to emerge in a flat-spacetime limit of quantum gravity, predicts different lifetimes for particles and their antiparticles. This phenomenon is a consequence of Planck-scale modifications of the action of discrete symmetries. In particular we focus on deformations of the action of CPT derived from the kappa-Poincare algebra, the most studied example of Planck-scale deformation of relativistic symmetries. Looking at lifetimes of muons and anti-muons we are able to derive an experimental bound on the deformation parameter of kappa > 4x10^14 GeV from measurements at the LHC. Such bound has the potential to reach the value of kappa > 2x10^16 GeV using measurements at the planned Future Circular Collider (FCC).


title: Data-driven Decision Making with Probabilistic Guarantees (Part 2): Applications of Chance-constrained Optimization in Power Systems

abstract: Uncertainties from deepening penetration of renewable energy resources have posed critical challenges to the secure and reliable operations of future electric grids. Among various approaches for decision making in uncertain environments, this paper focuses on chance-constrained optimization, which provides explicit probabilistic guarantees on the feasibility of optimal solutions. Although quite a few methods have been proposed to solve chance-constrained optimization problems, there is a lack of comprehensive review and comparative analysis of the proposed methods. Part I of this two-part paper reviews three categories of existing methods to chance-constrained optimization: (1) scenario approach; (2) sample average approximation; and (3) robust optimization based methods. Data-driven methods, which are not constrained by any particular distributions of the underlying uncertainties, are of particular interest. Part II of this two-part paper provides a literature review on the applications of chance-constrained optimization in power systems. Part II also provides a critical comparison of existing methods based on numerical simulations, which are conducted on standard power system test cases.


title: Horizontal strips and spaces of quadratic differentials

abstract: A (meromorphic) quadratic differential is a (meromorphic) section of the tensor square of the canonical bundle of a Riemann surface. They arose in the study of quasiconformal mappings in the works of Oswald Teichm\"uller, and have played a mayor role in the study of the Riemann moduli, where they can be identified with cotangent vectors to the moduli space. In more recent years, inspired by several observations by Kontsevich, Soibelman and Seidel, in arXiv:1302.7030 Bridgeland and Smith identified certain spaces of meromorphic quadratic differentials with the space of stability conditions on a triangulated category related to the underlying topological surface. This work is an attempt to give a complete (and as self-contained as possible) account of the theory needed to define some families of quadratic differentials (and a natural parametrization of such families). This families are the basic building blocks used by Bridgeland and Smith in their study of the spaces of quadratic differentials.


title: Price Setting on a Network

abstract: Most products are produced and sold by supply chain networks, where an interconnected network of producers and intermediaries set prices to maximize their profits. I show that there exists a unique equilibrium in a price-setting game on a network. The key distortion reducing both total profits and social welfare is multiple-marginalization, which is magnified by strategic interactions. Individual profits are proportional to influentiality, which is a new measure of network centrality defined by the equilibrium characterization. The results emphasize the importance of the network structure when considering policy questions such as mergers or trade tariffs.


title: Stochastic differential equations for Lie group valued moment maps

abstract: The celebrated result by Biane-Bougerol-O'Connell relates Duistermaat-Heckman (DH) measures for coadjoint orbits of a compact Lie group $G$ with the multi-dimensional Pitman transform of the Wiener process on its Cartan subalgebra. The DH theory admits several non-trivial generalizations. In this paper, we consider the case of $G=SU(2)$, and we give an interpretation of DH measures for $SU(2) \cong S^3$ valued moment maps in terms of an interesting stochastic process on the unit disc, and an interpretation of the DH measures for Poisson $\mathbb{H}^3$ valued moment maps (in the sense of Lu) in terms of a stochastic process on the interior of a hyperbola.


title: Relativistic Shapiro delay measurements of an extremely massive millisecond pulsar

abstract: Despite its importance to our understanding of physics at supranuclear densities, the equation of state (EoS) of matter deep within neutron stars remains poorly understood. Millisecond pulsars (MSPs) are among the most useful astrophysical objects in the Universe for testing fundamental physics, and place some of the most stringent constraints on this high-density EoS. Pulsar timing - the process of accounting for every rotation of a pulsar over long time periods - can precisely measure a wide variety of physical phenomena, including those that allow the measurement of the masses of the components of a pulsar binary system (Lorimer & Kramer 2005). One of these, called relativistic Shapiro delay (Shapiro 1964), can yield precise masses for both an MSP and its companion; however, it is only easily observed in a small subset of high-precision, highly inclined (nearly edge-on) binary pulsar systems. By combining data from the North American Nanohertz Observatory for Gravitational Waves (NANOGrav) 12.5-year data set with recent orbital-phase-specific observations using the Green Bank Telescope, we have measured the mass of the MSP J0740+6620 to be $\mathbf{2.14^{+0.10}_{-0.09}}$ solar masses (68.3% credibility interval; 95.4% credibility interval is $\mathbf{2.14^{+0.20}_{-0.18}}$ solar masses). It is highly likely to be the most massive neutron star yet observed, and serves as a strong constraint on the neutron star interior EoS.


title: Drawing HV-Restricted Planar Graphs

abstract: A strict orthogonal drawing of a graph $G=(V, E)$ in $\mathbb{R}^2$ is a drawing of $G$ such that each vertex is mapped to a distinct point and each edge is mapped to a horizontal or vertical line segment. A graph $G$ is $HV$-restricted if each of its edges is assigned a horizontal or vertical orientation. A strict orthogonal drawing of an $HV$-restricted graph $G$ is good if it is planar and respects the edge orientations of $G$. In this paper, we give a polynomial-time algorithm to check whether a given $HV$-restricted plane graph (i.e., a planar graph with a fixed combinatorial embedding) admits a good orthogonal drawing preserving the input embedding, which settles an open question posed by Ma\v{n}uch et al. (Graph Drawing 2010). We then examine $HV$-restricted planar graphs (i.e., when the embedding is not fixed), and give a complete characterization of the $HV$-restricted biconnected outerplanar graphs that admit good orthogonal drawings.


title: Deep CNN-Based Channel Estimation for mmWave Massive MIMO Systems

abstract: For millimeter wave (mmWave) massive multiple-input multiple-output (MIMO) systems, hybrid processing architecture is usually used to reduce the complexity and cost, which poses a very challenging issue in channel estimation. In this paper, deep convolutional neural network (CNN) is employed to address this problem. We first propose a spatial-frequency CNN (SF-CNN) based channel estimation exploiting both the spatial and frequency correlation, where the corrupted channel matrices at adjacent subcarriers are input into the CNN simultaneously. Then, exploiting the temporal correlation in time-varying channels, a spatial-frequency-temporal CNN (SFT-CNN) based approach is developed to further improve the accuracy. Moreover, we design a spatial pilot-reduced CNN (SPR-CNN) to save spatial pilot overhead for channel estimation, where channels in several successive coherence intervals are grouped and estimated by a channel estimation unit with memory. Numerical results show that the proposed SF-CNN and SFT-CNN based approaches outperform the non-ideal minimum mean-squared error (MMSE) estimator but with reduced complexity, and achieve the performance close to the ideal MMSE estimator that is very difficult to be implemented in practical situations. They are also robust to different propagation scenarios. The SPR-CNN based approach achieves comparable performance to SF-CNN and SFT-CNN based approaches while only requires about one third of spatial pilot overhead at the cost of complexity. Our work clearly shows that deep CNN can efficiently exploit channel correlation to improve the estimation performance for mmWave massive MIMO systems.


title: Probabilistic Kernel Support Vector Machines

abstract: We propose a probabilistic enhancement of standard kernel Support Vector Machines for binary classification, in order to address the case when, along with given data sets, a description of uncertainty (e.g., error bounds) may be available on each datum. In the present paper, we specifically consider Gaussian distributions to model uncertainty. Thereby, our data consist of pairs $(x_i,\Sigma_i)$, $i\in\{1,\ldots,N\}$, along with an indicator $y_i\in\{-1,1\}$ to declare membership in one of two categories for each pair. These pairs may be viewed to represent the mean and covariance, respectively, of random vectors $\xi_i$ taking values in a suitable linear space (typically $\mathbb R^n$). Thus, our setting may also be viewed as a modification of Support Vector Machines to classify distributions, albeit, at present, only Gaussian ones. We outline the formalism that allows computing suitable classifiers via a natural modification of the standard "kernel trick." The main contribution of this work is to point out a suitable kernel function for applying Support Vector techniques to the setting of uncertain data for which a detailed uncertainty description is also available (herein, "Gaussian points").


title: Latest advances in the abundance discrepancy problem in photoionized nebulae

abstract: In this paper, we will focus on the advances made in the last few years regarding the abundance discrepancy problem in ionized nebulae. We will show the importance of collecting deep, high-quality data of H II regions and planetary nebulae taken with the most advanced instruments attached to the largest ground-based telescopes. We will also present a sketch of some new scenarios proposed to explain the abundance discrepancy.


title: Learning to Engage with Interactive Systems: A Field Study on Deep Reinforcement Learning in a Public Museum

abstract: Physical agents that can autonomously generate engaging, life-like behaviour will lead to more responsive and interesting robots and other autonomous systems. Although many advances have been made for one-to-one interactions in well controlled settings, future physical agents should be capable of interacting with humans in natural settings, including group interaction. In order to generate engaging behaviours, the autonomous system must first be able to estimate its human partners' engagement level. In this paper, we propose an approach for estimating engagement during group interaction by simultaneously taking into account active and passive interaction, i.e. occupancy, and use the measure as the reward signal within a reinforcement learning framework to learn engaging interactive behaviours. The proposed approach is implemented in an interactive sculptural system in a museum setting. We compare the learning system to a baseline using pre-scripted interactive behaviours. Analysis based on sensory data and survey data shows that adaptable behaviours within an expert-designed action space can achieve higher engagement and likeability.


title: A Comparison of Policy Search in Joint Space and Cartesian Space for Refinement of Skills

abstract: Imitation learning is a way to teach robots skills that are demonstrated by humans. Transfering skills between these different kinematic structures seems to be straightforward in Cartesian space. Because of the correspondence problem, however, the result will most likely not be identical. This is why refinement is required, for example, by policy search. Policy search in Cartesian space is prone to reachability problems when using conventional inverse kinematic solvers. We propose a configurable approximate inverse kinematic solver and show that it can accelerate the refinement process considerably. We also compare empirically refinement in Cartesian space and refinement in joint space.


title: Infinite Probabilistic Databases

abstract: Probabilistic databases (PDBs) are used to model uncertainty in data in a quantitative way. In the standard formal framework, PDBs are finite probability spaces over relational database instances. It has been argued convincingly that this is not compatible with an open world semantics (Ceylan et al., KR 2016) and with application scenarios that are modeled by continuous probability distributions (Dalvi et al., CACM 2009). We recently introduced a model of PDBs as infinite probability spaces that addresses these issues (Grohe and Lindner, PODS 2019). While that work was mainly concerned with countably infinite probability spaces, our focus here is on uncountable spaces. Such an extension is necessary to model typical continuous probability distributions that appear in many applications. However, an extension beyond countable probability spaces raises nontrivial foundational issues concerned with the measurability of events and queries and ultimately with the question whether queries have a well-defined semantics. It turns out that so-called finite point processes are the appropriate model from probability theory for dealing with probabilistic databases. This model allows us to construct suitable (uncountable) probability spaces of database instances in a systematic way. Our main technical results are measurability statements for relational algebra queries as well as aggregate queries and datalog queries.


title: Mechanism of the Changing Look phenomenon in Active Galactic Nuclei

abstract: Changing-look phenomenon observed now in a growing number of active galaxies challenges our understanding of the accretion process close to a black hole. We propose a simple explanation for periodic outbursts in sources operating at a few per cent of the Eddington limit. The mechanism is based on two relatively well understood phenomena: radiation pressure instability and formation of the inner optically thin Advection-Dominated Accretion Flow. The limit cycle behaviour takes place in a relatively narrow transition zone between the standard disk and optically thin flow. Large changes in the cold disk are due to the irradiation by the hot flow with accretion rate strongly varying during the cycle. The model gives quantitative predictions and works well for multiple outbursts of NGC 1566.


title: On the two-body decay processes of the predicted three-body $K^*(4307)$ resonance

abstract: In a recent theoretical work, Phys. Lett. B785, 112 (2018), we proposed that a $K^*$ resonance with hidden charm content arises from the $KD\bar D^*$ dynamics, where the $D\bar D^*$ system is treated as a $Z_c(3900)$ or $X(3872)$. With the motivation of determining its further properties, which can be observed in experiments, we now present a calculation of the decay processes of this $K^*$, namely $K^*(4307)$, to two-body channels. Particularly, we consider the decay channels $J/\psi K^*(892)$, $\bar{D}D_s$, $\bar{D}D_s^*$ and $\bar{D}^* D_s^*$. The mechanisms of the decay to these channels involve triangular loops and are a consequence of the internal structure of the state. Thus, the values found for the decay widths of the proposed $K^*(4307)$ are related to its nature and should be valuable for carrying on an experimental study of the $K^*(4307)$. A $K^*$ state with such a mass (in the charmonium region) and quantum numbers is a clear manifestation of an exotic meson, since, having hidden charm (i.e., a $c\bar c$ pair), its mass and quantum numbers can not be explained within a quark-antiquark description.


title: The First Day in the Life of a Magnetar: Evolution of the Inclination Angle, Magnetic Dipole Moment and Braking Index of Millisecond Magnetars During Gamma-Ray Burst Afterglows

abstract: The afterglow emission of some gamma-ray bursts (GRBs) show a shallow decay (plateau) phase implying continuous injection of energy. The source of this energy is very commonly attributed to the spin-down power of a nascent millisecond magnetar. The magnetic dipole radiation torque is considered to be the mechanism causing the spin-down of the neutron star. This torque has a component working for the alignment of the angle between rotation and magnetic axis, i.e., inclination angle, which has been neglected in modelling GRB afterglow light curves. Here, we demonstrate the evolution of the inclination angle and magnetic dipole moment of nascent magnetars associated with GRBs. We constrain the initial inclination angle, magnetic dipole moment and rotation period of seven magnetars by modelling the seven long-GRB afterglow light curves. We find that, in its first day, the inclination angle of a magnetar decreases rapidly. The rapid alignment of the magnetic and rotation axis may address the lack of persistent radio emission from mature magnetars. We also find that in three cases the magnetic dipole moments of magnetars decrease exponentially to a value a few times smaller than the initial value. The braking index of nascent magnetars, as a result of the alignment and magnetic dipole moment decline, is variable during the afterglow phase and always greater than three.


title: Gyroscope-aided Relative Pose Estimation for Rolling Shutter Cameras

abstract: The rolling shutter camera has received great attention due to its low cost imaging capability, however, the estimation of relative pose between rolling shutter cameras still remains a difficult problem owing to its line-by-line image capturing characteristics. To alleviate this problem, we exploit gyroscope measurements, angular velocity, along with image measurement to compute the relative pose between rolling shutter cameras. The gyroscope measurements provide the information about instantaneous motion that causes the rolling shutter distortion. Having gyroscope measurements in one hand, we simplify the relative pose estimation problem and find a minimal solution for the problem based on the Grobner basis polynomial solver. The proposed method requires only five points to compute relative pose between rolling shutter cameras, whereas previous methods require 20 or 44 corresponding points for linear and uniform rolling shutter geometry models, respectively. Experimental results on synthetic and real data verify the superiority of the proposed method over existing relative pose estimation methods.


title: Injectivity, crossed products, and amenable group actions

abstract: This paper is motivated primarily by the question of when the maximal and reduced crossed products of a $G$-$C^*$-algebra agree (particularly inspired by results of Matsumura and Suzuki), and the relationships with various notions of amenability and injectivity. We give new connections between these notions. Key tools in this include the natural equivariant analogues of injectivity, and of Lance's weak expectation property: we also give complete characterizations of these equivariant properties, and some connections with injective envelopes in the sense of Hamana.


title: Quantum Compression of Tensor Network States

abstract: We design quantum compression algorithms for parametric families of tensor network states. We first establish an upper bound on the amount of memory needed to store an arbitrary state from a given state family. The bound is determined by the minimum cut of a suitable flow network, and is related to the flow of information from the manifold of parameters that specify the states to the physical systems in which the states are embodied. For given network topology and given edge dimensions, our upper bound is tight when all edge dimensions are powers of the same integer. When this condition is not met, the bound is optimal up to a multiplicative factor smaller than 1.585. We then provide a compression algorithm for general state families, and show that the algorithm runs in polynomial time for matrix product states.


title: Improved reliability and accuracy of CMIP5 global mean surface temperature projections

abstract: Climate predictions are only meaningful if the associated uncertainty is reliably estimated. A standard practice for providing climate projections is to use an ensemble of projections. The ensemble mean serves as the projection while the ensemble spread is used to estimate the associated uncertainty. The main drawbacks of this approach are the fact that there is no guarantee that the ensemble projections adequately sample the possible future climate conditions and that the quantification of the ensemble spread relies on assumptions that are not always justified. The relation between the true uncertainties associated with projections and ensemble spreads is not fully understood. Here, we suggest using simulations and measurements of past conditions in order to study both the performance of the ensemble members and the relation between the ensemble spread and the uncertainties associated with their predictions. Using an ensemble of CMIP5 long-term climate projections that was weighted according to a sequential learning algorithm and whose spread was linked to the range of past measurements, we found considerably reduced uncertainty ranges for the projected Global Mean Surface Temperature (GMST). The results suggest that by employing advanced ensemble methods and using past information, it is possible to provide more reliable and accurate climate projections.


title: On Loeb and sequential spaces in $\mathbf{ZF}$

abstract: A topological space is called Loeb if the collection of all its non-empty closed sets has a choice function. In this article, in the absence of the axiom of choice, connections between Loeb and sequential spaces are investigated. Among other results, it is proved in $\mathbf{ZF}$ that if $\mathbf{X}$ is a Cantor completely metrizable second-countable space, then $\mathbf{X}^{\omega}$ is Loeb. If a sequential, sequentially locally compact space $\mathbf{X}$ has the property that every infinitely countable family of non-empty closed subsets of $\mathbf{X}$ has a choice function, then the Cartesian product $\mathbf{X}\times\mathbf{Y}$ of $\mathbf{X}$ with any sequential space $\mathbf{Y}$ is sequential. In consequence, it holds true in $\mathbf{ZF}$ that the Cartesian product of a sequential locally countably compact space with any sequential space is sequential. If $\mathbb{R}$ is sequential, then every second-countable compact Hausdorff space is sequential. It is also proved that, in some models of $\mathbf{ZF}$, a countable product of Cantor completely metrizable second-countable spaces can fail to be Loeb and it is independent of $\mathbf{ZF}$ that every sequential subspace of $% \mathbb{R}$ is Loeb. Some other sentences are shown to be independent of $% \mathbf{ZF}$. Several open problems are posed, among them, the following question: is $\mathbb{R}^{\omega}$ sequential if $\mathbb{R}$ is sequential?


title: See the World through Network Cameras

abstract: Millions of network cameras have been deployed worldwide. Real-time data from many network cameras can offer instant views of multiple locations with applications in public safety, transportation management, urban planning, agriculture, forestry, social sciences, atmospheric information, and more. This paper describes the real-time data available from worldwide network cameras and potential applications. Second, this paper outlines the CAM2 System available to users at https://www.cam2project.net/. This information includes strategies to discover network cameras and create the camera database, user interface, and computing platforms. Third, this paper describes many opportunities provided by data from network cameras and challenges to be addressed.


title: Quantitative Electromechanical Atomic Force Microscopy

abstract: The ability to probe a materials electromechanical functionality on the nanoscale is critical to applications from energy storage and computing to biology and medicine. Voltage modulated atomic force microscopy (VM-AFM) has become a mainstay characterization tool for investigating these materials due to its unprecedented ability to locally probe electromechanically responsive materials with spatial resolution from microns to nanometers. However, with the wide popularity of VM-AFM techniques such as piezoresponse force microscopy (PFM) and electrochemical strain microscopy (ESM) there has been a rise in reports of nanoscale electromechanical functionality, including hysteresis, in materials that should be incapable of exhibiting piezo- or ferroelectricity. Explanations for the origins of unexpected nanoscale phenomena have included new material properties, surface-mediated polarization changes and/or spatially resolved behavior that is not present in bulk measurements. At the same time, it is well known that VM-AFM measurements are susceptible to numerous forms of crosstalk and, despite efforts within the AFM community, a global approach for eliminating this has remained elusive. In this work, we develop a method for easily demonstrating the presence of hysteretic (ie, false ferroelectric) long-range interactions between the sample and cantilever body. This method should be easy to implement in any VM-AFM measurement. We then go on to demonstrate fully quantitative and repeatable nanoelectromechanical characterization using an interferometer. These quantitative measurements are critical for a wide range of devices including mems actuators and sensors, memristor, energy storage and memory.


title: Flux-tubes in confining gauge theories with gravitational dual

abstract: The emergence of flux-tubes as the distance is increased between a quark and an antiquark is explored in a three-dimensional confining gauge theory using the gauge/gravity duality. We delineate the shape of the flux-tube corresponding to the classical open string in the bulk and further explore the fluctuation in its thickness induced by the fluctuation of the open string along the radial direction in the bulk. The relationship between the intrinsic shape of a flux-tube and its effect on the heavy quark potential is also discussed.


title: The Tracking Machine Learning challenge : Accuracy phase

abstract: This paper reports the results of an experiment in high energy physics: using the power of the "crowd" to solve difficult experimental problems linked to tracking accurately the trajectory of particles in the Large Hadron Collider (LHC). This experiment took the form of a machine learning challenge organized in 2018: the Tracking Machine Learning Challenge (TrackML). Its results were discussed at the competition session at the Neural Information Processing Systems conference (NeurIPS 2018). Given 100.000 points, the participants had to connect them into about 10.000 arcs of circles, following the trajectory of particles issued from very high energy proton collisions. The competition was difficult with a dozen front-runners well ahead of a pack. The single competition score is shown to be accurate and effective in selecting the best algorithms from the domain point of view. The competition has exposed a diversity of approaches, with various roles for Machine Learning, a number of which are discussed in the document


title: No Adjective Ordering Mystery, and No Raven Paradox, Just an Ontological Mishap

abstract: In the concluding remarks of Ontological Promiscuity Hobbs (1985) made what we believe to be a very insightful observation: given that semantics is an attempt at specifying the relation between language and the world, if "one can assume a theory of the world that is isomorphic to the way we talk about it ... then semantics becomes nearly trivial". But how exactly can we rectify our logical formalisms so that semantics, an endeavor that has occupied the most penetrating minds for over two centuries, can become (nearly) trivial, and what exactly does it mean to assume a theory of the world in our semantics? In this paper we hope to provide answers for both questions. First, we believe that a commonsense theory of the world can (and should) be embedded in our semantic formalisms resulting in a logical semantics grounded in commonsense metaphysics. Moreover, we believe the first step to accomplishing this vision is rectifying what we think was a crucial oversight in logical semantics, namely the failure to distinguish between two fundamentally different types of concepts: (i) ontological concepts, that correspond to what Cocchiarella (2001) calls first-intension concepts and are types in a strongly-typed ontology; and (ii) logical concepts (or second intension concepts), that are predicates corresponding to properties of (and relations between) objects of various ontological types1. In such a framework, which we will refer to henceforth by ontologik, it will be shown how type unification and other type operations can be used to account for the `missing text phenomenon' (MTP) (see Saba, 2019a) that is at the heart of most challenges in the semantics of natural language, by uncovering the significant amount of missing text that is never explicitly stated in everyday discourse, but is often implicitly assumed as shared background knowledge.


title: Truncation scheme of time-dependent density-matrix approach III

abstract: The time-dependent density-matrix theory (TDDM) where the Bogoliubov-Born-Green-Kirkwood-Yvon hierarchy for reduced density matrices is truncated by approximating a three-body density matrix with one-body and two-body density matrices is applied to the Lipkin model. It is shown that in the large $N$ limit the ground state in TDDM approaches the exact solution. Various truncation schemes for the three-body density matrix are also tested for an extended three-level Lipkin model.


title: Electronic friction in interacting systems

abstract: We consider effects of strong light-matter interaction on electronic friction in molecular junctions within generic model of single molecule nano cavity junction. Results of the Hubbard NEGF simulations are compared with mean-field NEGF and generalized Head-Gordon and Tully approaches. Mean-field NEGF is shown to fail qualitatively at strong intra-system interactions, while accuracy of the generalized Head-Gordon and Tully results is restricted to situations of well separated intra-molecular excitations, when bath induced coherences are negligible. Numerical results show effects of bias and cavity mode pumping on electronic friction. We demonstrate non-monotonic behavior of the friction on the bias and intensity of the pumping field and indicate possibility of engineering friction control in single molecule junctions.


title: Separation of bounded arithmetic using a consistency statement

abstract: This paper proves Buss's hierarchy of bounded arithmetics $S^1_2 \subseteq S^2_2 \subseteq \cdots \subseteq S^i_2 \subseteq \cdots$ does not entirely collapse. More precisely, we prove that, for a certain $D$, $S^1_2 \subsetneq S^{2D+5}_2$ holds. Further, we can allow any finite set of true quantifier free formulas for the BASIC axioms of $S^1_2, S^2_2, \ldots$. By Takeuti's argument, this implies $\mathrm{P} \neq \mathrm{NP}$. Let $\mathbf{Ax}$ be a certain formulation of BASIC axioms. We prove that $S^1_2 \not\vdash \mathrm{Con}(\mathrm{PV}^-_1(D) + \mathbf{Ax})$ for sufficiently large $D$, while $S^{2D+7}_2 \vdash \mathrm{Con}(\mathrm{PV}^-_1(D) + \mathbf{Ax})$ for a system $\mathrm{PV}^-_1(D)$, a fragment of the system $\mathrm{PV}^-_1$, induction free first order extension of Cook's $\mathrm{PV}$, of which proofs contain only formulas with less than $D$ connectives. $S^1_2 \not\vdash \mathrm{Con}(\mathrm{PV}^-_1(D) + \mathbf{Ax})$ is proved by straightforward adaption of the proof of $\mathrm{PV} \not\vdash \mathrm{Con}(\mathrm{PV}^-)$ by Buss and Ignjatovi\'c. $S^{2D+5}_2 \vdash \mathrm{Con}(\mathrm{PV}^-_1(D) + \mathbf{Ax})$ is proved by $S^{2D+7}_2 \vdash \mathrm{Con}(\mathrm{PV}^-_q(D+2) + \mathbf{Ax})$, where $\mathrm{PV}^-_q$ is a quantifier-only extension of $\mathrm{PV}^-$. The later statement is proved by an extension of a technique used for Yamagata's proof of $S^2_2 \vdash \mathrm{Con}(\mathrm{PV}^-)$, in which a kind of satisfaction relation $\mathrm{Sat}$ is defined. By extending $\mathrm{Sat}$ to formulas with less than $D$-quantifiers, $S^{2D+3}_2 \vdash \mathrm{Con}(\mathrm{PV}^-_q(D) + \mathbf{Ax})$ is obtained in a straightforward way.


title: Representation of an integer as the sum of a prime in arithmetic progression and a square-free integer

abstract: Uniformly for small $q$ and $(a,q)=1$, we obtain an estimate for the weighted number of ways a sufficiently large integer can be represented as the sum of a prime congruent to $a$ modulo $q$ and a square-free integer. Our method is based on the notion of local model developed by Ramar\'e and may be viewed as an abstract circle method.


title: A Trust Region Method for Finding Second-Order Stationarity in Linearly Constrained Non-Convex Optimization

abstract: Motivated by TRACE algorithm [Curtis et al. 2017], we propose a trust region algorithm for finding second order stationary points of a linearly constrained non-convex optimization problem. We show the convergence of the proposed algorithm to (\epsilon_g, \epsilon_H)-second order stationary points in \widetilde{\mathcal{O}}(\max{\epsilon_g^{-3/2}, \epsilon_H^{-3}}) iterations. This iteration complexity is achieved for general linearly constrained optimization without cubic regularization of the objective function.


title: Linear algorithms on Steiner domination of trees

abstract: A set of vertices $W$ in a connected graph $G$ is called a Steiner dominating set if $W$ is both Steiner and dominating set. The Steiner domination number $\gamma_{st}(G)$ is the minimum cardinality of a Steiner dominating set of $G$. A linear algorithm is proposed in this paper for finding a minimum Steiner dominating set for a tree $T$.


title: Curious iLQR: Resolving Uncertainty in Model-based RL

abstract: Curiosity as a means to explore during reinforcement learning problems has recently become very popular. However, very little progress has been made in utilizing curiosity for learning control. In this work, we propose a model-based reinforcement learning (MBRL) framework that combines Bayesian modeling of the system dynamics with curious iLQR, an iterative LQR approach that considers model uncertainty. During trajectory optimization the curious iLQR attempts to minimize both the task-dependent cost and the uncertainty in the dynamics model. We demonstrate the approach on reaching tasks with 7-DoF manipulators in simulation and on a real robot. Our experiments show that MBRL with curious iLQR reaches desired end-effector targets more reliably and with less system rollouts when learning a new task from scratch, and that the learned model generalizes better to new reaching tasks.


title: Improved Constraints on Sterile Neutrinos in the MeV to GeV Mass Range

abstract: Improved upper bounds are presented on the coupling $|U_{e4}|^2$ of an electron to a sterile neutrino $\nu_4$ from analyses of data on nuclear and particle decays, including superallowed nuclear beta decays, the ratios $R^{(\pi)}_{e/\mu}=BR(\pi^+ \to e^+ \nu_e)/BR(\pi^+ \to \mu^+ \nu_\mu)$, $R^{(K)}_{e/\mu}$, $R^{(D_s)}_{e/\tau}$, and $B^+_{e 2}$ decay, covering the mass range from MeV to GeV.


title: Multi-Branch Tensor Network Structure for Tensor-Train Discriminant Analysis

abstract: Higher-order data with high dimensionality arise in a diverse set of application areas such as computer vision, video analytics and medical imaging. Tensors provide a natural tool for representing these types of data. Although there has been a lot of work in the area of tensor decomposition and low-rank tensor approximation, extensions to supervised learning, feature extraction and classification are still limited. Moreover, most of the existing supervised tensor learning approaches are based on the orthogonal Tucker model. However, this model has some limitations for large tensors including high memory and computational costs. In this paper, we introduce a supervised learning approach for tensor classification based on the tensor-train model. In particular, we introduce a multi-branch tensor network structure for efficient implementation of tensor-train discriminant analysis (TTDA). The proposed approach takes advantage of the flexibility of the tensor train structure to implement various computationally efficient versions of TTDA. This approach is then evaluated on image and video classification tasks with respect to computation time, storage cost and classification accuracy and is compared to both vector and tensor based discriminant analysis methods.


title: Proportional hazards model with partly interval censoring and its penalized likelihood estimation

abstract: This paper considers the problem of semi-parametric proportional hazards model fitting for interval, left and right censored survival times. We adopt a more versatile penalized likelihood method to estimate the baseline hazard and the regression coefficients simultaneously, where the penalty is introduced in order to regularize the baseline hazard estimate. We present asymptotic properties of our estimate, allowing for the possibility that it may lie on the boundary of the parameter space. We also provide a computational method based on marginal likelihood, which allows the regularization parameter to be determined automatically. Comparisons of our method with other approaches are given in simulations which demonstrate that our method has favourable performance. A real data application involving a model for melanoma recurrence is presented and an R package implementing the methods is available.


title: Mode I and II Interlaminar Fracture in Laminated Composites: A Size Effect Study

abstract: This work investigates the mode I and II interlaminar fracturing behavior of laminated composites and the related size effects. Fracture tests on geometrically scaled Double Cantilever Beam (DCB) and End Notch Flexure (ENF) specimens were conducted to understand the nonlinear effects of the cohesive stresses in the Fracture Process Zone (FPZ). The results show a significant difference between the mode I and mode II fracturing behaviors. It is shown that, while the strength of the DCB specimens scales according to the Linear Elastic Fracture Mechanics (LEFM), this is not the case for the ENF specimens. Small specimens exhibit a pronounced pseudo-ductility with limited size effect and a significant deviation from LEFM, whereas larger specimens behave in a more brittle way, with the size effect on nominal strength closer to that predicted by LEFM. This behavior, due to the significant size of the Fracture Process Zone (FPZ) compared to the specimen size, needs to be taken into serious consideration. It is shown that, for the specimen sizes investigated in this work, neglecting the non-linear effects of the FPZ can lead to an underestimation of the fracture energy by as much as 55%, with an error decreasing for increasing specimen sizes. Both the mode I and II test data can be captured very accurately by Ba\v{z}ant's type II Size Effect Law (SEL).


title: On the Simulation of General Tempered Stable Ornstein-Uhlenbeck Processes

abstract: We give an explicit representation for the transition law of a tempered stable Ornstein-Uhlenbeck process and use it to develop a rejection sampling algorithm for exact simulation of increments from this process. Our results apply to general classes of both univariate and multivariate tempered stable distributions and contain a number of previously studied results as special cases.


title: Probabilistic local well-posedness of the cubic nonlinear wave equation in negative Sobolev spaces

abstract: We study the three-dimensional cubic nonlinear wave equation (NLW) with random initial data below $L^2(\mathbb{T}^3)$. By considering the second order expansion in terms of the random linear solution, we prove almost sure local well-posedness of the renormalized NLW in negative Sobolev spaces. We also prove a new instability result for the defocusing cubic NLW without renormalization in negative Sobolev spaces, which is in the spirit of the so-called triviality in the study of stochastic partial differential equations. More precisely, by studying (un-renormalized) NLW with given smooth deterministic initial data plus a certain truncated random initial data, we show that, as the truncation is removed, the solutions converge to $0$ in the distributional sense for any deterministic initial data.


title: On the stochastic nonlinear Schr\"odinger equations at critical regularities

abstract: We consider the Cauchy problem for the defocusing stochastic nonlinear Schr\"odinger equations (SNLS) with an additive noise in the mass-critical and energy-critical settings. By adapting the probabilistic perturbation argument employed in the context of the random data Cauchy theory by the first author with B\'enyi and Pocovnicu (2015) to the current stochastic PDE setting, we present a concise argument to establish global well-posedness of the mass-critical and energy-critical SNLS.


title: Interesting identities involving weighted representations of integers as sums of arbitrarily many squares

abstract: In this paper, we obtain formulas for the number of representations of positive integers as sums of arbitrarily many squares (and other polygonal numbers) with a certain natural weighting. The resulting weighted sums give Fourier coefficients of weight two quasimodular forms.


title: Linearization of Nonlinear Fokker-Planck Equations and Applications

abstract: We associate a coupled nonlinear Fokker-Planck equation on $\R^d$, i.e. with solution paths in $\scr P$, to a linear Fokker-Planck equation for probability measures on the product space $\R^d\times \scr P$, i.e. with solution paths in $\scr P(\R^d\times\scr P)$. We explicitly determine the corresponding linear Kolmogorov operator $\tilde{\mathbf{L}}_t$ using the natural tangent bundle over $\scr P$ with corresponding gradient operator $\nabla^\scr P$. Then it is proved that the diffusion process generated by $\tilde{\mathbf{L}}_t$ on $\R^d\times\scr P$ is intrinsically related to the solution of a McKean-Vlasov stochastic differential equation (SDE). We also characterize the ergodicity of the diffusion process generated by $\tilde{\mathbf{L}}_t$ in terms of asymptotic properties of the coupled nonlinear Fokker-Planck equation. Another main result of the paper is that the restricted well-posedness of the non-linear Fokker-Planck equation and its linearized version imply the (restricted) well-posedness of the McKean-Vlasov equation and that in this case the laws of the solutions have the Markov property. All this is done under merely measurebility conditions on the coefficients in their measure dependence, hence in particular applies if the latter is of "Nemytskii-type". As a consequence, we obtain the restricted weak well-posedness and the Markov property of the so-called nonlinear distorted Brownian motion, whose associated nonlinear Fokker-Planck equation is a porous media equation perturbed by a nonlinear transport term. This realizes a programme put forward by McKean in his seminal paper of 1966 for a large class of nonlinear PDEs. As a further application we obtain a probabilistic representation of solutions to Schr\"odinger type PDEs on $\R^d\times\scr P_2$, through the Feynman-Kac formula for the corresponding diffusion processes.


title: Asymptotic Solutions of Polynomial Equations with Exp-Log Coefficients

abstract: We present an algorithm for computing asymptotic approximations of roots of polynomials with exp-log function coefficients. The real and imaginary parts of the approximations are given as explicit exp-log expressions. We provide a method for deciding which approximations correspond to real roots. We report on implementation of the algorithm and present empirical data.


title: On a mixed problem for the parabolic Lam'e type operator

abstract: We consider a boundary value problem for the parabolic Lam\'e type operator being a linearization of the Navier-Stokes' equations for compressible flow of Newtonian fluids. It consists of recovering a vector-function, satisfying the parabolic Lam\'e type system in a cylindrical domain, via its values and the values of the boundary stress tensor on a given part of the lateral surface of the cylinder. We prove that the problem is ill-posed in the natural spaces of smooth functions and in the corresponding H\"older spaces; besides, additional initial data do not turn the problem to a well-posed one. Using the Integral Representation's Method we obtain the Uniqueness Theorem and solvability conditions for the problem.


title: Symplectic cohomology and a conjecture of Viterbo

abstract: We identify a new class of closed smooth manifolds for which there exists a uniform bound on the Lagrangian spectral norm of Hamiltonian deformations of the zero section in a unit cotangent disk bundle, settling a well-known conjecture of Viterbo from 2007 as the special case of $T^n.$ This class of manifolds is defined in topological terms involving the Chas-Sullivan algebra and the BV-operator on the homology of the free loop space, contains spheres and is closed under products. We discuss generalizations and various applications.


title: Virtual Specialness of certain graphs of special cube complexes

abstract: We investigate the virtual specialness of a compact cube complex $X$ that splits as a graph of nonpositively curved cube complexes. We prove virtual specialness of $X$ when each vertex space of $X$ has word-hyperbolic $\pi_1$ and $\pi_1X$ has ``finite stature'' relative to its edge groups. The results generalize the motivating case when tree $\times$ tree lattices are virtual products.


title: Uneven rock-paper-scissors models: patterns and coexistence

abstract: We study a class of the stochastic May-Leonard models, with three species dominating each other in a cyclic nonhierarchical way, according to the rock-paper-scissors game. We introduce an unevenness in the system, by considering that one of the species is weaker because of a lower selection probability. The simulation results show that the pattern formation is drastically affected by the presence of the weaker species, with no spiral waves arising immediately from random initial conditions. Instead, single-species spatial domains cyclically dominate the entire territory until a region occupied by the weaker species is sufficiently narrow to be crossed by individuals without being selected. This leads to the appearance of spatial patterns responsible for the species coexistence. We verify that the asymmetry in the selection probabilities leads to different spatial autocorrelation function and average relative species abundances. Finally, we investigate the coexistence probability and show that the surviving species depends on the level of unevenness of the model and the mobility of individuals.


title: An Open Mapping Theorem for the Navier-Stokes Equations

abstract: We consider the Navier-Stokes equations in the layer ${\mathbb R}^n \times [0,T]$ over $\mathbb{R}^n$ with finite $T > 0$. Using the standard fundamental solutions of the Laplace operator and the heat operator, we reduce the Navier-Stokes equations to a nonlinear Fredholm equation of the form $(I+K) u = f$, where $K$ is a compact continuous operator in anisotropic normed H\"older spaces weighted at the point at infinity with respect to the space variables. Actually, the weight function is included to provide a finite energy estimate for solutions to the Navier-Stokes equations for all $t \in [0,T]$. On using the particular properties of the de Rham complex we conclude that the Fr\'echet derivative $(I+K)'$ is continuously invertible at each point of the Banach space under consideration and the map $I+K$ is open and injective in the space. In this way the Navier-Stokes equations prove to induce an open one-to-one mapping in the scale of H\"older spaces.


title: Probing an X-ray flare pattern in Mrk 421 induced by multiple stationary shocks: a solution to the bulk Lorentz factor crisis

abstract: The common observations of multiple radio VLBI stationary knots in high-frequency-peaked BL Lacs (HBLs) can be interpreted as multiple recollimation shocks accelerating particles along jets. This approach can resolve the so-called "bulk Lorentz factor crisis" of sources with high Lorentz factor, deduced from maximum gamma-gamma opacity and fast variability, and apparently inconsistent slow/stationary radio knots. It also suggests that a unique pattern of the non-thermal emission variability should appear after each strong flare. Taking advantage of the 13 years of observation of the HBL Mrk 421 by the X-ray Telescope on the Neil Gehrels Swift Observatory Swift-XRT, we probe for such an intrinsic variability pattern. Its significance is then statistically estimated via comparisons with numerous similar simulated lightcurves. A suggested variability pattern is identified, consistent with a main flare emission zone located in the most upstream 15.3 GHz radio knot at 0.38 mas from the core. Subsequent flux excesses in the lightcurve are consistent with a perturbation crossing all the downstream radio knots with a constant apparent speed of 45 c. The significance of the observed variability pattern not arising from stochastic processes is found above 3 standard deviations, opening a promising path for further investigations in other blazars and with other energy bands. In addition to highlight the role of stationary radio knots as high-energy particle accelerators in jets, the developed method allows estimates of the apparent speed and size of a jet perturbation without the need to directly observe any motion in jets.


title: Matrix Algebras with a Certain Compression Property I

abstract: An algebra $\mathcal{A}$ of $n\times n$ complex matrices is said to be \textit{idempotent compressible} if $E\mathcal{A}E$ is an algebra for all idempotents $E\in\mathbb{M}_n(\mathbb{C})$. Analogously, $\mathcal{A}$ is said to be \textit{projection compressible} if $P\mathcal{A}P$ is an algebra for all orthogonal projections $P$ in $\mathbb{M}_n(\mathbb{C})$. In this paper we construct several examples of unital algebras that admit these properties. In addition, a complete classification of the unital idempotent compressible subalgebras of $\mathbb{M}_3(\mathbb{C})$ is obtained up to similarity and transposition. It is shown that in this setting, the two notions of compressibility agree: a unital subalgebra of $\mathbb{M}_3(\mathbb{C})$ is projection compressible if and only if it is idempotent compressible. Our findings are extended to algebras of arbitrary size in the sequel to this paper.


title: Nonsymmetric Macdonald polynomials via integrable vertex models

abstract: Starting from an integrable rank-$n$ vertex model, we construct an explicit family of partition functions indexed by compositions $\mu = (\mu_1,\dots,\mu_n)$. Using the Yang-Baxter algebra of the model and a certain rotation operation that acts on our partition functions, we show that they are eigenfunctions of the Cherednik-Dunkl operators $Y_i$ for all $1 \leq i \leq n$, and are thus equal to nonsymmetric Macdonald polynomials $E_{\mu}$. Our partition functions have the combinatorial interpretation of ensembles of coloured lattice paths which traverse a cylinder. Applying a simple bijection to such path ensembles, we show how to recover the well-known combinatorial formula for $E_{\mu}$ due to Haglund-Haiman-Loehr.


title: Universal Bounding Box Regression and Its Applications

abstract: Bounding-box regression is a popular technique to refine or predict localization boxes in recent object detection approaches. Typically, bounding-box regressors are trained to regress from either region proposals or fixed anchor boxes to nearby bounding boxes of a pre-defined target object classes. This paper investigates whether the technique is generalizable to unseen classes and is transferable to other tasks beyond supervised object detection. To this end, we propose a class-agnostic and anchor-free box regressor, dubbed Universal Bounding-Box Regressor (UBBR), which predicts a bounding box of the nearest object from any given box. Trained on a relatively small set of annotated images, UBBR successfully generalizes to unseen classes, and can be used to improve localization in many vision problems. We demonstrate its effectivenss on weakly supervised object detection and object discovery.


title: On the completeness of the root functions of the Sturm-Liouville problems for the Lam\'e system in weighted spaces

abstract: We consider three Sturm--Liouville boundary value problems (the coercive ones and the non-coercive one) in a bounded Lipschitz domain for the perturbed Lam\'e operator with the boundary conditions of Robin type. We prove that the problems are Fredholm ones in proper weighted Sobolev type spaces. The conditions, providing the completeness of the root functions related to the boundary value problem, are described.


title: Multi-Channel Attention Selection GAN with Cascaded Semantic Guidance for Cross-View Image Translation

abstract: Cross-view image translation is challenging because it involves images with drastically different views and severe deformation. In this paper, we propose a novel approach named Multi-Channel Attention SelectionGAN (SelectionGAN) that makes it possible to generate images of natural scenes in arbitrary viewpoints, based on an image of the scene and a novel semantic map. The proposed SelectionGAN explicitly utilizes the semantic information and consists of two stages. In the first stage, the condition image and the target semantic map are fed into a cycled semantic-guided generation network to produce initial coarse results. In the second stage, we refine the initial results by using a multi-channel attention selection mechanism. Moreover, uncertainty maps automatically learned from attentions are used to guide the pixel loss for better network optimization. Extensive experiments on Dayton, CVUSA and Ego2Top datasets show that our model is able to generate significantly better results than the state-of-the-art methods. The source code, data and trained models are available at https://github.com/Ha0Tang/SelectionGAN.


title: An Axiomatic Approach to Regularizing Neural Ranking Models

abstract: Axiomatic information retrieval (IR) seeks a set of principle properties desirable in IR models. These properties when formally expressed provide guidance in the search for better relevance estimation functions. Neural ranking models typically contain a large number of parameters. The training of these models involve a search for appropriate parameter values based on large quantities of labeled examples. Intuitively, axioms that can guide the search for better traditional IR models should also help in better parameter estimation for machine learning based rankers. This work explores the use of IR axioms to augment the direct supervision from labeled data for training neural ranking models. We modify the documents in our dataset along the lines of well-known axioms during training and add a regularization loss based on the agreement between the ranking model and the axioms on which version of the document---the original or the perturbed---should be preferred. Our experiments show that the neural ranking model achieves faster convergence and better generalization with axiomatic regularization.


title: Differential Privacy for Eye-Tracking Data

abstract: As large eye-tracking datasets are created, data privacy is a pressing concern for the eye-tracking community. De-identifying data does not guarantee privacy because multiple datasets can be linked for inferences. A common belief is that aggregating individuals' data into composite representations such as heatmaps protects the individual. However, we analytically examine the privacy of (noise-free) heatmaps and show that they do not guarantee privacy. We further propose two noise mechanisms that guarantee privacy and analyze their privacy-utility tradeoff. Analysis reveals that our Gaussian noise mechanism is an elegant solution to preserve privacy for heatmaps. Our results have implications for interdisciplinary research to create differentially private mechanisms for eye tracking.


title: On the Structure of Hermitian Manifolds with Semipositive Griffiths Curvature

abstract: In this paper we establish partial structure results on the geometry of compact Hermitian manifolds of semipositive Griffiths curvature. We show that after appropriate arbitrary small deformation of the initial metric, the null spaces of the Chern-Ricci two-form generate a holomorphic, integrable distribution. This distribution induces an isometric, holomorphic, almost free action of a complex Lie group on the universal cover of the manifold. Our proof combines the strong maximum principle for the Hermitian Curvature Flow (HCF), new results on the interplay of the HCF and the torsion-twisted connection, and observations on the geometry of the torsion-twisted connection on a general Hermitian manifold.


title: Codes over an algebra over ring

abstract: In this paper, we consider some structures of linear codes over the ring $\mathcal{R}_k=R[v_1,\dots,v_k],$ where $v_i^2=v_i$ forall $i=1,\dots,k),$ and $R$ is a finite commutative Frobenius ring.


title: Decomposition of generalized O'Hara's energies

abstract: O'Hara introduced several functionals as knot energies. One of them is the M\"{o}bius energy. We know its M\"{o}bius invariance from Doyle-Schramm's cosine formula. It is also known that the M\"{o}bius energy was decomposed into three components keeping the M\"{o}bius invariance. The first component of decomposition represents the extent of bending of the curves or knots, while the second one indicates the extent of twisting. The third one is an absolute constant. In this paper, we show a similar decomposition for generalized O'Hara energies. On the way to derive it, we obtain an analogue of the cosine formula for the generalized O'Hara energy. Furthermore, using decomposition, the first and second variational formulae are derived.


title: Personalized Re-ranking for Recommendation

abstract: Ranking is a core task in recommender systems, which aims at providing an ordered list of items to users. Typically, a ranking function is learned from the labeled dataset to optimize the global performance, which produces a ranking score for each individual item. However, it may be sub-optimal because the scoring function applies to each item individually and does not explicitly consider the mutual influence between items, as well as the differences of users' preferences or intents. Therefore, we propose a personalized re-ranking model for recommender systems. The proposed re-ranking model can be easily deployed as a follow-up modular after any ranking algorithm, by directly using the existing ranking feature vectors. It directly optimizes the whole recommendation list by employing a transformer structure to efficiently encode the information of all items in the list. Specifically, the Transformer applies a self-attention mechanism that directly models the global relationships between any pair of items in the whole list. We confirm that the performance can be further improved by introducing pre-trained embedding to learn personalized encoding functions for different users. Experimental results on both offline benchmarks and real-world online e-commerce systems demonstrate the significant improvements of the proposed re-ranking model.


title: Some remarks about the maximal perimeter of convex sets with respect to probability measures

abstract: In this note we study the maximal perimeter of a convex set in $\mathbb{R}^n$ with respect to various classes of measures. Firstly, we show that for a probability measure $\mu$ on $ \mathbb{R}^n$, satisfying very mild assumptions, there exists a convex set of $\mu$-perimeter at least $C\frac{\sqrt{n}}{\sqrt[4]{Var|X|} \sqrt{\mathbb{E}|X|}}.$ This implies, in particular, that for any isotropic log-concave measure $\mu$ one may find a convex set of $\mu$- perimeter of order $n^{\frac{1}{8}}$. Secondly, we derive a general upper bound of $Cn|| f||^{\frac{1}{n}}_{\infty}$ on the maximal perimeter of a convex set with respect to any log-concave measure with density $f$ in an appropriate position. Our lower bound is attained for a class of distributions including the standard normal distribution. Our upper bound is attained, say, for a uniform measure on the cube. In addition, for isotropic log-concave measures we prove an upper bound of order $n^2$ for the maximal $\mu$-perimeter of a convex set.


title: Sivers distribution functions of sea quark in proton with chiral Lagrangian

abstract: We propose a mechanism for the Sivers distribution function in proton with chiral Lagrangian. By introducing the gauge link of the vector meson, the transverse momentum dependent distribution of a pion in the nucleon is re-defined which is locally $SU(2)_V$ invariant as the Lagrangian. The eikonal propagator is generated from the gauge link and this scenario is proved to be equivalent to the final state interaction. By combining the calculated splitting function and the valence $\bar{q}$ distribution in $\pi$ from the recent fit, the sea quark Sivers function in proton is obtained. We find reasonable numerical results for the first momentum $x\Delta^Nf_{\bar{q}}^{(1)}(x)$ without any fine tuning of the free parameters.


title: II$_1$ factors with exotic central sequence algebras

abstract: We provide a class of separable II$_1$ factors $M$ whose central sequence algebra is not the "tail" algebra associated to any decreasing sequence of von Neumann subalgebras of $M$. This settles a question of McDuff \cite{Mc69d}.