title: Multichannel signal detection in interference and noise when signal mismatch happens

abstract: In this paper, we consider the problem of detecting a multichannel signal in interference and noise when signal mismatch happens. We first propose two selective detectors, since their strong selectivity is preferred in some situations. However, these two detectors would not be suitable candidates if a robust detector is needed. To overcome this shortcoming, we then devise a tunable detector, which is parametrized by a non-negative scaling factor, referred to as the tunable parameter. By adjusting the tunable parameter, the proposed detector can smoothly change its capability in rejecting or robustly detecting a mismatch signal. Moreover, one selective detector and the tunable detector with an appropriate tunable parameter can provide nearly the same detection performance as existing detectors in the absence of signal mismatch. We obtain analytical expressions for the probabilities of detection (PDs) and probabilities of false alarm (PFAs) of the three proposed detectors, which are verified by Monte Carlo simulations.


title: Ultralight dark photon as a model for early universe dark matter

abstract: Dark photon is a massive vector field which interacts only with the physical photon through the kinetic mixing. This coupling is assumed to be weak so that the dark photon becomes almost unobservable in processes with elementary particles, but can serve as a dark matter particle. We argue that in very early Universe ($z>3000$) this vector field may have the equation of state of radiation ($w=1/3$) but later behaves as cold dark matter ($w=0$). This may slightly change the expansion rate of the Universe at early time and reduce the value of the sound horizon of baryon acoustic oscillations (standard ruler). As a result, in this model the value of the Hubble constant appears to be larger than that in the standard $\Lambda$CDM model. In particular, it is sufficient to have the dark photon mass of order $m\sim 10^{-27}-10^{-25}$ eV to fit the value of the Hubble constant to $H_0 = 73$ km$\cdot$s$^{-1}$Mpc$^{-1}$ thus resolving the Hubble tension.


title: Intrinsic pH of water/vapor interface revealed by ion-induced water alignment

abstract: Protons at the water/vapor interface are relevant for atmospheric and environmental processes, yet to characterize their surface affinity on the quantitative level is still challenging. Here we utilize phase-sensitive sum-frequency vibrational spectroscopy to quantify the surface density of protons (or their hydronium form) at the intrinsic water/vapor interface, through inspecting the surface-field-induced alignment of water molecules in the electrical double layer of ions. With hydrogen halides in water, the surface adsorption of protons is found to be independent of specific proton-halide anion interactions and to follow a constant adsorption free energy, G about -3.74 (+/-0.56) kJ/mol, corresponding to a reduction of the surface pH with respect to the bulk value by 0.66 (+/-0.10), for bulk ion concentrations up to 0.3 M. Our spectroscopic study is not only of importance in atmospheric chemistry, but also offers a microscopic-level basis to develop advanced quantum-mechanical models for molecular simulations.


title: Partitioned Exponential Methods for Coupled Multiphysics Systems

abstract: Multiphysics problems involving two or more coupled physical phenomena are ubiquitous in science and engineering. This work develops a new partitioned exponential approach for the time integration of multiphysics problems. After a possible semi-discretization in space, the class of problems under consideration is modeled by a system of ordinary differential equations where the right-hand side is a summation of two component functions, each corresponding to a given set of physical processes. The partitioned-exponential methods proposed herein evolve each component of the system via an exponential integrator, and information between partitions is exchanged via coupling terms. The traditional approach to constructing exponential methods, based on the variation-of-constants formula, is not directly applicable to partitioned systems. Rather, our approach to developing new partitioned-exponential families is based on a general-structure additive formulation of the schemes. Two method formulations are considered, one based on a linear-nonlinear splitting of the right hand component functions, and another based on approximate Jacobians. The paper develops classical (non-stiff) order conditions theory for partitioned exponential schemes based on particular families of T-trees and B-series theory. Several practical methods of third order are constructed that extend the Rosenbrock-type and EPIRK families of exponential integrators. Several implementation optimizations specific to the application of these methods to reaction-diffusion systems are also discussed. Numerical experiments reveal that the new partitioned-exponential methods can perform better than traditional unpartitioned exponential methods on some problems.


title: Pressure-dependent shear response of jammed packings of spherical particles

abstract: The mechanical response of packings of purely repulsive, spherical particles to athermal, quasistatic simple shear near jamming onset is highly nonlinear. Previous studies have shown that, at small pressure $p$, the ensemble-averaged static shear modulus $\langle G-G_0 \rangle$ scales with $p^\alpha$, where $\alpha \approx 1$, but above a characteristic pressure $p^{**}$, $\langle G-G_0 \rangle \sim p^\beta$, where $\beta \approx 0.5$. However, we find that the shear modulus $G^i$ for an individual packing typically decreases linearly with $p$ along a geometrical family where the contact network does not change. We resolve this discrepancy by showing that, while the shear modulus does decrease linearly within geometrical families, $\langle G \rangle$ also depends on a contribution from discontinuous jumps in $\langle G \rangle$ that occur at the transitions between geometrical families. For $p > p^{**}$, geometrical-family and rearrangement contributions to $\langle G \rangle$ are of opposite signs and remain comparable for all system sizes. $\langle G \rangle$ can be described by a scaling function that smoothly transitions between the two power-law exponents $\alpha$ and $\beta$. We also demonstrate the phenomenon of {\it compression unjamming}, where a jammed packing can unjam via isotropic compression.


title: Thickness-dependent optical properties of layered hybrid organic-inorganic halide perovskites: A tight-binding GW-BSE study

abstract: We present a many-body calculation of the band structure and optical spectrum of the layered hybrid organic-inorganic halide perovskites in the Ruddlesden-Popper phase with the general formula A$^{'}_{2}$A$_{n-1}$M$_{n}$X$_{3n+1}$, focusing specifically on the lead iodide family. We calculate the mean-field band structure with spin-orbit coupling, quasiparticle corrections within the GW approximation, and optical spectra using the Bethe-Salpeter equation. The model is parameterized by first-principles calculations and classical electrostatic screening, enabling an accurate but cost-effective study of large unit cells and corresponding thickness-dependent properties. A transition of the electronic and optical properties from quasi-two-dimensional behavior to three-dimensional behavior is shown for increasing $n$ and the nonhydrogenic character of the excitonic Rydberg series is analyzed. The thickness-dependent 1s and 2s exciton energy levels are in good agreement with recently reported experiments and the 1s exciton binding energy is calculated to be 302 meV for $n=1$, 97 meV for $n=5$, and 37 meV for $n=\infty$ (bulk MAPbI3).


title: Vectorial nonlinear optics: type-II second-harmonic generation driven by spin-orbit coupled fields

abstract: Vectorial nonlinear optics refers to the investigation of optical processes whose nonlinear polarization (NP) undergoes spin-orbit coupling (SOC) interactions where, in general, the driving light field or the new field generated by the interaction containing the SOC property. To contribute to fundamental knowledge in this domain, we examine the type-II second harmonic generation (SHG) induced by vectorial laser modes. First, we provide a general theory to analyze the vectorial SHG process. Second, by using two typical vector modes as examples, we show how the SOC of the pump field dictates nonlinear interaction. Finally, we corroborate our theoretical predictions through experiments to confirm the crucial role of the SOC in nonlinear interactions. These results enhance our fundamental understanding of SOC-mediated nonlinear optics and lay the foundation for further fundamental studies as well as possible applications.


title: Generalized bulk-edge correspondence for non-hermitian topological systems

abstract: A modified periodic boundary condition adequate for non-hermitian topological systems is proposed. Under this boundary condition a topological number characterizing the system is defined in the same way as in the corresponding hermitian system and hence, at the cost of introducing an additional parameter that characterizes the non-hermitian skin effect, the idea of bulk-edge correspondence in the hermitian limit can be applied almost as it is. We develop this framework through the analysis of a non-hermitian SSH model with chiral symmetry, and prove the bulk-edge correspondence in a generalized parameter space. A finite region in this parameter space with a nontrivial pair of chiral winding numbers is identified as topologically nontrivial, indicating the existence of a topologically protected edge state under open boundary.


title: On primes represented by quartic polynomials on average

abstract: We obtain an upper bound for the distribution of primes in the form $n^4 + k$ up to $x$, averaged over $k$ with small square-full part. As a corollary, we show that for almost all $k$, there is an expected amount of primes in the form $n^4 +k$ up to $x$.


title: Role Detection in Bicycle-Sharing Networks Using Multilayer Stochastic Block Models

abstract: In urban spatial networks, there is an interdependency between neighborhood roles and the transportation methods between neighborhoods. In this paper, we classify docking stations in bicycle-sharing networks to gain insight into the human mobility patterns of three major United States cities. We propose novel time-dependent stochastic block models (SBMs), with degree-heterogeneous blocks and either mixed or discrete block membership, which classify nodes based on their time-dependent activity patterns. We apply these models to (1) detect the roles of bicycle-sharing docking stations and (2) describe the traffic within and between blocks of stations over the course of a day. Our models successfully uncover work, home, and other districts; they also reveal activity patterns in these districts that are particular to each city. Our work has direct application to the design and maintenance of bicycle-sharing systems, and it can be applied more broadly to community detection in temporal and multilayer networks with heterogeneous degrees.

categories: cs.SI math.ST nlin.AO physics.soc-ph stat.AP stat.TH


title: The IceCube Upgrade -- Design and Science Goals

abstract: The IceCube Neutrino Observatory at the geographic South Pole has reached a number of milestones in the field of neutrino astrophysics. The achievements of IceCube include the discovery of a high-energy astrophysical neutrino flux, and the temporal and directional correlation of neutrinos with a flaring blazar. The IceCube Upgrade, which will be constructed in the 2022/23 Antarctic Summer season, is the next stage of the IceCube project. The IceCube Upgrade consists of seven new columns of photosensors, densely embedded near the bottom center of the existing cubic-kilometer-scale IceCube Neutrino Observatory. An improved atmospheric neutrino event selection efficiency and reconstruction at a few GeV can be achieved with the dense infill of the Upgrade's photosensor array. The Upgrade will provide world-leading sensitivity to neutrino oscillations and will enable IceCube to take unique measurements of tau neutrino appearance with a high precision. Furthermore, the new array will also improve the existing IceCube detector. The Upgrade strings will include new calibration devices designed to deepen the knowledge of the optical properties of glacial ice and the detector response. The improved calibration resulting from the Upgrade will be applied to the entire archive of IceCube data collected over the last 10 years, improving the angular and spatial resolution of the detected astrophysical neutrino events. Finally, the Upgrade represents the first stage in the development of IceCube-Gen2, the next-generation neutrino telescope at the South Pole.


title: Deep Concept-wise Temporal Convolutional Networks for Action Localization

abstract: Existing action localization approaches adopt shallow temporal convolutional networks (\ie, TCN) on 1D feature map extracted from video frames. In this paper, we empirically find that stacking more conventional temporal convolution layers actually deteriorates action classification performance, possibly ascribing to that all channels of 1D feature map, which generally are highly abstract and can be regarded as latent concepts, are excessively recombined in temporal convolution. To address this issue, we introduce a novel concept-wise temporal convolution (CTC) layer as an alternative to conventional temporal convolution layer for training deeper action localization networks. Instead of recombining latent concepts, CTC layer deploys a number of temporal filters to each concept separately with shared filter parameters across concepts. Thus can capture common temporal patterns of different concepts and significantly enrich representation ability. Via stacking CTC layers, we proposed a deep concept-wise temporal convolutional network (C-TCN), which boosts the state-of-the-art action localization performance on THUMOS'14 from 42.8 to 52.1 in terms of mAP(\%), achieving a relative improvement of 21.7\%. Favorable result is also obtained on ActivityNet.


title: See More Than Once -- Kernel-Sharing Atrous Convolution for Semantic Segmentation

abstract: The state-of-the-art semantic segmentation solutions usually leverage different receptive fields via multiple parallel branches to handle objects with different sizes. However, employing separate kernels for individual branches degrades the generalization and representation abilities of the network, and the number of parameters increases linearly in the number of branches. To tackle this problem, we propose a novel network structure namely Kernel-Sharing Atrous Convolution (KSAC), where branches of different receptive fields share the same kernel, i.e., let a single kernel see the input feature maps more than once with different receptive fields, to facilitate communication among branches and perform feature augmentation inside the network. Experiments conducted on the benchmark PASCAL VOC 2012 dataset show that the proposed sharing strategy can not only boost a network s generalization and representation abilities but also reduce the model complexity significantly. Specifically, on the validation set, whe compared with DeepLabV3+ equipped with MobileNetv2 backbone, 33% of parameters are reduced together with an mIOU improvement of 0.6%. When Xception is used as the backbone, the mIOU is elevated from 83.34% to 85.96% with about 10M parameters saved. In addition, different from the widely used ASPP structure, our proposed KSAC is able to further improve the mIOU by taking benefit of wider context with larger atrous rates. Finally, our KSAC achieves mIOUs of 88.1% and 45.47% on the PASCAL VOC 2012 test set and ADE20K dataset, respectively. Our full code will be released on the Github.


title: Protecting Actuators in Safety-Critical IoT Systems from Control Spoofing Attacks

abstract: In this paper, we propose a framework called Contego-TEE to secure Internet-of-Things (IoT) edge devices with timing requirements from control spoofing attacks where an adversary sends malicious control signals to the actuators. We use a trusted computing base available in commodity processors (such as ARM TrustZone) and propose an invariant checking mechanism to ensure the security and safety of the physical system. A working prototype of Contego-TEE was developed using embedded Linux kernel. We demonstrate the feasibility of our approach for a robotic vehicle running on an ARM-based platform.


title: High Performance Visual Object Tracking with Unified Convolutional Networks

abstract: Convolutional neural networks (CNN) based tracking approaches have shown favorable performance in recent benchmarks. Nonetheless, the chosen CNN features are always pre-trained in different tasks and individual components in tracking systems are learned separately, thus the achieved tracking performance may be suboptimal. Besides, most of these trackers are not designed towards real-time applications because of their time-consuming feature extraction and complex optimization details. In this paper, we propose an end-to-end framework to learn the convolutional features and perform the tracking process simultaneously, namely, a unified convolutional tracker (UCT). Specifically, the UCT treats feature extractor and tracking process both as convolution operation and trains them jointly, which enables learned CNN features are tightly coupled with tracking process. During online tracking, an efficient model updating method is proposed by introducing peak-versus-noise ratio (PNR) criterion, and scale changes are handled efficiently by incorporating a scale branch into network. Experiments are performed on four challenging tracking datasets: OTB2013, OTB2015, VOT2015 and VOT2016. Our method achieves leading performance on these benchmarks while maintaining beyond real-time speed.


title: Information geometry, trade-off relations, and generalized Glansdorff-Prigogine criterion for stability

abstract: We discuss a relationship between information geometry and the Glansdorff-Prigogine criterion for stability. For the linear master equation, we found a relation between the line element and the excess entropy production rate. This relation leads to a new perspective of stability in a nonequilibrium steady-state. We also generalize the Glansdorff-Prigogine criterion for stability based on information geometry. Our information-geometric criterion for stability works well for the nonlinear master equation, where the Glansdorff-Prigogine criterion for stability does not work well. We derive a trade-off relation among the fluctuation of the observable, the mean change of the observable, and the intrinsic speed. We also derive a novel thermodynamic trade-off relation between the excess entropy production rate and the intrinsic speed. These trade-off relations provide a physical interpretation of our information-geometric criterion for stability. We illustrate our information-geometric criterion for stability by an autocatalytic reaction model, where dynamics are driven by a nonlinear master equation.


title: Symmetry-Protected Topological Triangular Weyl Complex

abstract: Weyl points are often believed to appear in pairs with opposite chirality. In this work, we show by first-principles calculations and symmetry analysis that single Weyl phonons with linear dispersion and double Weyl phonons with quadratic dispersion are simultaneously present between two specific phonon branches in realistic materials with trigonal or hexagonal lattices. These phonon Weyl points are guaranteed to locate at high-symmetry points due to the screw rotational symmetry, forming a unique triangular Weyl complex. In sharp contrast to conventional Weyl systems with surface arcs terminated at the projections of a pair of Weyl points with opposite chirality, the phonon surface arcs of the unconventional triangular Weyl complex connect the projections of one double Weyl point and two single Weyl points. Importantly, the phonon surface arcs originating from the triangular Weyl complex are extremely long and span the entire surface Brillouin-zone. Furthermore, there are only nontrivial phonon surface states across the iso-frequency surface, which facilitates their detection in experiments and further applications. Our work not only offers the promising triangular phonon Weyl complex but also provides guidance for exploring triangular Weyl bosons in both phononic and photonic systems.


title: Analysis of the interaction of an electron with radial electric fields in the presence of a disclination

abstract: We consider an elastic medium with a disclination and investigate the topological effects on the interaction of a spinless electron with radial electric fields through the WKB (Wentzel, Kramers, Brillouin) approximation. We show how the centrifugal term of the radial equation must be modified due to the influence of the topological defect in order that the WKB approximation can be valid. Then, we search for bound states solutions from the interaction of a spinless electron with the electric field produced by this linear distribution of electric charges. In addition, we search for bound states solutions from the interaction of a spinless electron with radial electric field produced by uniform electric charge distribution inside a long non-conductor cylinder.


title: Grid Influenced Peer-to-Peer Energy Trading

abstract: This paper proposes a peer-to-peer energy trading scheme that can help the centralized power system to reduce the total electricity demand of its customers at the peak hour. To do so, a cooperative Stackelberg game is formulated, in which the centralized power system acts as the leader that needs to decide on a price at the peak demand period to incentivize prosumers to not seeking any energy from it. The prosumers, on the other hand, act as followers and respond to the leader's decision by forming suitable coalitions with neighboring prosumers in order to participate in P2P energy trading to meet their energy demand. The properties of the proposed Stackelberg game are studied. It is shown that the game has a unique and stable Stackelberg equilibrium, as a result of the stability of prosumers' coalitions. At the equilibrium, the leader chooses its strategy using a derived closed-form expression, while the prosumers choose their equilibrium coalition structure. An algorithm is proposed that enables the centralized power system and the prosumers to reach the equilibrium solution. Numerical case studies demonstrate the beneficial properties of the proposed scheme.


title: Stationary Distributions for the Voter Model in $d\geq 3$ are Factors of IID

abstract: For the Voter Model on $\mathbb{Z}^d$, $d\geq 3$, we show that the (extremal) stationary distributions are isomorphic to Bernoulli shifts, and answer an open question asked by Steif and Tykesson. The proof gives explicit constructions of the stationary distributions as factors of IID processes on $\mathbb{Z}^d$.


title: Improving Neural Story Generation by Targeted Common Sense Grounding

abstract: Stories generated with neural language models have shown promise in grammatical and stylistic consistency. However, the generated stories are still lacking in common sense reasoning, e.g., they often contain sentences deprived of world knowledge. We propose a simple multi-task learning scheme to achieve quantitatively better common sense reasoning in language models by leveraging auxiliary training signals from datasets designed to provide common sense grounding. When combined with our two-stage fine-tuning pipeline, our method achieves improved common sense reasoning and state-of-the-art perplexity on the Writing Prompts (Fan et al., 2018) story generation dataset.


title: Gamma-ray light curves for the BL Lac Mrk 421 using HAWC data derived with a new approach

abstract: The HAWC gamma ray observatory is located at the Sierra Negra Volcano in Puebla, Mexico, at an altitude of 4,100 meters. HAWC is a wide field of view array of 300 water Cherenkov detectors that are continuously surveying 2sr of the sky since March 2015. The large collected data sample consisting in more than 3 years makes HAWC an ideal instrument to perform an unbiased monitoring of blazars in the very-high-energy (VHE) emission. This is particular relevant for Mrk 421, one of the closest and brightest blazars in the gamma-ray/X-ray classified as highsynchrotron-peaked BL Lac class. In this work we present light curves for Mrk 421 and the Crab nebula obtained with the first 17 months of data and a new analysis framework. We compare the results with the light curves reported in [1]. The main advantage of the new framework is the capability to derive fluxes for arbitrary timescales. We show that both, previous and present, methods give consistent results


title: OpenSpiel: A Framework for Reinforcement Learning in Games

abstract: OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games. OpenSpiel supports n-player (single- and multi- agent) zero-sum, cooperative and general-sum, one-shot and sequential, strictly turn-taking and simultaneous-move, perfect and imperfect information games, as well as traditional multiagent environments such as (partially- and fully- observable) grid worlds and social dilemmas. OpenSpiel also includes tools to analyze learning dynamics and other common evaluation metrics. This document serves both as an overview of the code base and an introduction to the terminology, core concepts, and algorithms across the fields of reinforcement learning, computational game theory, and search.


title: Graph Embedding Based Hybrid Social Recommendation System

abstract: Item recommendation tasks are a widely studied topic. Recent developments in deep learning and spectral methods paved a path towards efficient graph embedding techniques. But little research has been done on applying these graph embedding to social graphs for recommendation tasks. This paper focuses at performance of various embedding methods applied on social graphs for the task of item recommendation. Additionally, a hybrid model is proposed wherein chosen embedding models are combined together to give a collective output. We put forward the hypothesis that such a hybrid model would perform better than individual embedding for recommendation task. With recommendation using individual embedding as a baseline, performance for hybrid model for the same task is evaluated and compared. Standard metrics are used for qualitative comparison. It is found that the proposed hybrid model outperforms the baseline.


title: Review of annealing effects and superconductivity in Fe$_{1+y}$Te$_{1-x}$Se$_x$ superconductors

abstract: Fe$_{1+y}$Te$_{1-x}$Se$_x$ is unique in their structural simplicity, consisting of only FeTe/Se layers, which is favorable for probing the mechanism of superconductivity. Recently, a topological surface superconductivity as well as the Majorana Fermions has been observed, which makes Fe$_{1+y}$Te$_{1-x}$Se$_x$ the first high temperature topological superconductor. Since large size single crystal of Fe$_{1+y}$Te$_{1-x}$Se$_x$ can be easily grown, many researches have been performed. However, a large part of the reported results are under controversy, including the resistivity, susceptibility, Hall effect, gap structure, phase diagram, etc. These controversies are believed to come from the sample-dependent Fe nonstoichiometries, which originate from the partial occupation of the second Fe site (excess Fe) in the Te/Se layer. The excess Fe with valence near Fe$^+$ will provide electron doping into the system. Meanwhile, the excess Fe is also strongly magnetic, which will act as a paring breaker and also localize the charge carriers. Removing the excess Fe is essential to probe the intrinsic properties and mechanism of superconductivity of Fe$_{1+y}$Te$_{1-x}$Se$_x$ compounds. In this topical review, we propose the effective approaches to remove excess Fe in Fe$_{1+y}$Te$_{1-x}$Se$_x$. Furthermore, we discuss the mechanism of annealing based on the evolutions of structure, composition, and morphology with annealing. Moreover, we also review the annealing effects on the normal state and superconducting properties, including the magnetism, transport properties, band structure, $T_{\rm{c}}$, phase diagram, upper critical field, anisotropy, critical current density, gap structure, and superconducting pairing. This review presents not only the optimal way to prepare crystals without excess Fe, but also the intrinsic properties of Fe$_{1+y}$Te$_{1-x}$Se$_x$ without the influence of excess Fe.


title: Attentive History Selection for Conversational Question Answering

abstract: Conversational question answering (ConvQA) is a simplified but concrete setting of conversational search. One of its major challenges is to leverage the conversation history to understand and answer the current question. In this work, we propose a novel solution for ConvQA that involves three aspects. First, we propose a positional history answer embedding method to encode conversation history with position information using BERT in a natural way. BERT is a powerful technique for text representation. Second, we design a history attention mechanism (HAM) to conduct a "soft selection" for conversation histories. This method attends to history turns with different weights based on how helpful they are on answering the current question. Third, in addition to handling conversation history, we take advantage of multi-task learning (MTL) to do answer prediction along with another essential conversation task (dialog act prediction) using a uniform model architecture. MTL is able to learn more expressive and generic representations to improve the performance of ConvQA. We demonstrate the effectiveness of our model with extensive experimental evaluations on QuAC, a large-scale ConvQA dataset. We show that position information plays an important role in conversation history modeling. We also visualize the history attention and provide new insights into conversation history understanding.


title: Prediction of ferroelectricity-driven Berry curvature enabling charge- and spin-controllable photocurrent in tin telluride monolayers

abstract: In symmetry-broken crystalline solids, pole structures of Berry curvature (BC) can emerge, and they have been utilized as a versatile tool for controlling transport properties. For example, the monopole component of the BC is induced by the time-reversal symmetry breaking, and the BC dipole arises from a lack of inversion symmetry, leading to the anomalous Hall and nonlinear Hall effects, respectively. Based on first-principles calculations, we show that the ferroelectricity in a tin telluride monolayer produces a unique BC distribution, which offers charge- and spin-controllable photocurrents. Even with the sizable band gap, the ferroelectrically driven BC dipole is comparable to those of small-gap topological materials. By manipulating the photon handedness and the ferroelectric polarization, charge and spin circular photogalvanic currents are generated in a controllable manner. The ferroelectricity in group-IV monochalcogenide monolayers can be a useful tool to control the BC dipole and the nonlinear optoelectronic responses.


title: Invariants of rational links represented by reduced alternating diagrams

abstract: A rational link may be represented by any of the (infinitely) many link diagrams corresponding to various continued fraction expansions of the same rational number. The continued fraction expansion of the rational number in which all signs are the same is called a {\em nonalternating form} and the diagram corresponding to it is a reduced alternating link diagram, which is minimum in terms of the number of crossings in the diagram. Famous formulas exist in the literature for the braid index of a rational link by Murasugi and for its HOMFLY polynomial by Lickorish and Millet, but these rely on a special continued fraction expansion of the rational number in which all partial denominators are even (called {\em all-even form}). In this paper we present an algorithmic way to transform a continued fraction given in nonalternating form into the all-even form. Using this method we derive formulas for the braid index and the HOMFLY polynomial of a rational link in terms of its reduced alternating form, or equivalently the nonalternating form of the corresponding rational number.


title: Structure of 13Be probed via quasi-free scattering

abstract: We present an investigation of the structure of 13Be obtained via a kinematically complete measurement of the (p; pn) reaction in inverse kinematics at 265 MeV/nucleon. The relative energy spectrum of 13Be is compared to Transfer-to-the-Continuum calculations which use as structure inputs the overlaps of the 14Be ground-state wave function, computed in a three-body model, with the unbound states of the 13Be residual nucleus. The key role of neutron p-wave orbital in the interpretation of the low-relative-energy part of the spectrum is discussed.


title: A Reference Governor for Nonlinear Systems with Disturbance Inputs Based on Logarithmic Norms and Quadratic Programming

abstract: This note describes a reference governor design for a continuous-time nonlinear system with an additive disturbance. The design is based on predicting the response of the nonlinear system by the response of a linear model with a set-bounded prediction error, where a state-and-input dependent bound on the prediction error is explicitly characterized using logarithmic norms. The online optimization is reduced to a convex quadratic program with linear inequality constraints. Two numerical examples are reported.


title: Thermal transports of one-dimensional ultrathin carbon structures

abstract: Carbon atomic chain, linear benzene polymers, and carbon nanothreads are all one-dimensional (1D) ultrathin carbon structures. They possess excellent electronic and mechanical properties; however, their thermal transport properties have been rarely explored. Here, we systematically study their thermal conductance by combining the nonequilibrium Green's function and force field methods. The thermal conductance varies from 0.24 to 1.00 nW/K at 300 K, and phonon transport in the linear benzene polymers and carbon nanothreads is strongly dependent on the connectivity styles between the benzene rings. We propose a simple 1D model, namely force-constant model, that explains the complicated transport processes in these structures. Our study not only reveals intrinsic mechanisms of phonon transport in these carbon structures, but also provides an effective method to analyze thermal properties of other 1D ultrathin structures made of only several atomic chains.


title: Second order causal hydrodynamics in Eckart frame: using gradient expansion scheme

abstract: In the present work, we develop a causal theory of relativistic non-ideal fluids up to the second order in the Eckart frame using gradient expansion scheme. Keeping the spirit of Mueller-Israel-Stewart formalism, the general forms of bulk viscosity, shear viscosity tensor and the heat flow vector are presented. Since each of the flux quantities explicitly carry curvature terms, we show that our formalism finds application in astrophysics in particular in the strong gravity regime. We elucidate two such applications namely in viscous thick accretion disks also known as Polish doughnuts and in addressing non-rotating equilibrium configuration, like neutron stars.


title: Some Zero-Difference Functions Over $\mathbb{Z}_n$ Using Cyclotomies

abstract: A generic method to construct zero-difference functions (ZDFs) on algebraic rings is proposed in this paper. Then this method is used over some rings $\mathbb{Z}_{p^k}$, where $p$ is a prime number and $k\ge 2$ is a positive integer, and for some other special rings.


title: Shape-Aware Human Pose and Shape Reconstruction Using Multi-View Images

abstract: We propose a scalable neural network framework to reconstruct the 3D mesh of a human body from multi-view images, in the subspace of the SMPL model. Use of multi-view images can significantly reduce the projection ambiguity of the problem, increasing the reconstruction accuracy of the 3D human body under clothing. Our experiments show that this method benefits from the synthetic dataset generated from our pipeline since it has good flexibility of variable control and can provide ground-truth for validation. Our method outperforms existing methods on real-world images, especially on shape estimations.


title: Weighted Projective Ricci Curvature in Finsler Geometry

abstract: In this paper, we introduce the weighted projective Ricci curvature as an extension of projective Ricci curvature introduced by Z. Shen. We characterize the class of Randers metrics of weighted projective Ricci flat curvature. We find the necessary and sufficient condition under which a Kropina metric has weighted projective Ricci flat curvature. Finally, we show that every projectively flat metric with isotropic weighted projective Ricci and isotropic S-curvature is a Kropina metric or Randers metric.


title: Novel Stealthy Attack and Defense Strategies for Networked Control Systems

abstract: This paper studies novel attack and defense strategies, based on a class of stealthy attacks, namely the zero-dynamics attack (ZDA), for multi-agent control systems. ZDA poses a formidable security challenge since its attack signal is hidden in the null-space of the state-space representation of the control system and hence it can evade conventional detection methods. An intuitive defense strategy builds on changing the aforementioned representation via switching through a set of carefully crafted topologies. In this paper, we propose realistic ZDA variations where the attacker is aware of this topology-switching strategy, and hence employs the following policies to avoid detection: (i) pause, update and resume ZDA according to the knowledge of switching topologies; (ii) cooperate with a concurrent stealthy topology attack that alters network topology at switching times, such that the original ZDA is feasible under the corrupted topology. We first systematically study the proposed ZDA variations, and then develop defense strategies against them under the realistic assumption that the defender has no knowledge of attack starting, pausing, and resuming times and the number of misbehaving agents. Particularly, we characterize conditions for detectability of the proposed ZDA variations, in terms of the network topologies to be maintained, the set of agents to be monitored, and the measurements of the monitored agents that should be extracted, while simultaneously preserving the privacy of the states of the non-monitored agents. We then propose an attack detection algorithm based on the Luenberger observer, using the characterized detectability conditions. We provide numerical simulation results to demonstrate our theoretical findings.


title: Design triple points, nexus points and related topological phases by stacking monolayers

abstract: Triple points and nexus points are two interesting topological phases, which have been reported in some three-dimensional (3D) materials. Here, we propose that triple points, nexus points and related phases, such as topological tangle nodal lines, can be obtained by alternatively stacking two types of monolayers. Two conditions for the stacking monolayers are required: the first condition is that they have a three-fold (C3) rotation symmetry and three mirror planes along the C3 axis; the second condition is that one of the monolayers should be insulating while the other one should be metallic (or semiconducting) and has a double degenerate band and a nondegenerate band at {\Gamma}point around the Fermi level. Hexagonal boron nitride (HBN) and {\alpha}/{\alpha}^'-boron sheets ({\alpha}/{\alpha}^'-BS) are suggested as candidate materials. Even if HBN is a wide-gap insulator, the interactions between layers lead to crossings of the nondegenerate and double degenerate bands along the direction normal to the nanosheets, and thus form triple/nexus points or related phases. A tight-binding model is adopted to explain the phase transition between triple points, nexus points and other related phases.


title: Infinite Summation Formulas Involving Riemann-Zeta function

abstract: By some hypergeometric summation theorems, the authors establish a series of new infinite summation formulas involving generalized harmonic numbers related to Riemann-Zeta function, with three different patterns.


title: Precision measurements of Hausdorff dimensions in two-dimensional quantum gravity

abstract: Two-dimensional quantum gravity, defined either via scaling limits of random discrete surfaces or via Liouville quantum gravity, is known to possess a geometry that is genuinely fractal with a Hausdorff dimension equal to 4. Coupling gravity to a statistical system at criticality changes the fractal properties of the geometry in a way that depends on the central charge of the critical system. Establishing the dependence of the Hausdorff dimension on this central charge $c$ has been an important open problem in physics and mathematics in the past decades. All simulation data produced thus far has supported a formula put forward by Watabiki in the nineties. However, recent rigorous bounds on the Hausdorff dimension in Liouville quantum gravity show that Watabiki's formula cannot be correct when $c$ approaches $-\infty$. Based on simulations of discrete surfaces encoded by random planar maps and a numerical implementation of Liouville quantum gravity, we obtain new finite-size scaling estimates of the Hausdorff dimension that are in clear contradiction with Watabiki's formula for all simulated values of $c\in (-\infty,0)$. Instead, the most reliable data in the range $c\in [-12.5, 0)$ is in very good agreement with an alternative formula that was recently suggested by Ding and Gwynne. The estimates for $c\in(-\infty,-12.5)$ display a negative deviation from the latter formula, but the scaling is seen to be less accurate in this regime.


title: Local Graph Stability in Exponential Family Random Graph Models

abstract: Exponential family Random Graph Models (ERGMs) can be viewed as expressing a probability distribution on graphs arising from the action of competing social forces that make ties more or less likely, depending on the state of the rest of the graph. Such forces often lead to a complex pattern of dependence among edges, with non-trivial large-scale structures emerging from relatively simple local mechanisms. While this provides a powerful tool for probing macro-micro connections, much remains to be understood about how local forces shape global outcomes. One simple question of this type is that of the conditions needed for social forces to stabilize a particular structure. We refer to this property as local stability and seek a general means of identifying the set of parameters under which a target graph is locally stable with respect to a set of alternatives. Here, we provide a complete characterization of the region of the parameter space inducing local stability, showing it to be the interior of a convex cone whose faces can be derived from the change-scores of the sufficient statistics vis-a-vis the alternative structures. As we show, local stability is a necessary but not sufficient condition for more general notions of stability, the latter of which can be explored more efficiently by using the ``stable cone'' within the parameter space as a starting point. In addition, we show how local stability can be used to determine whether a fitted model implies that an observed structure would be expected to arise primarily from the action of social forces, versus by merit of the model permitting a large number of high probability structures, of which the observed structure is one. We also use our approach to identify the dyads within a given structure that are the least stable, and hence predicted to have the highest probability of changing over time.


title: Predicting Network Controllability Robustness: A Convolutional Neural Network Approach

abstract: Network controllability measures how well a networked system can be controlled to a target state, and its robustness reflects how well the system can maintain the controllability against malicious attacks by means of node-removals or edge-removals. The measure of network controllability is quantified by the number of external control inputs needed to recover or to retain the controllability after the occurrence of an unexpected attack. The measure of the network controllability robustness, on the other hand, is quantified by a sequence of values that record the remaining controllability of the network after a sequence of attacks. Traditionally, the controllability robustness is determined by attack simulations, which is computationally time consuming. In this paper, a method to predict the controllability robustness based on machine learning using a convolutional neural network is proposed, motivated by the observations that 1) there is no clear correlation between the topological features and the controllability robustness of a general network, 2) the adjacency matrix of a network can be regarded as a gray-scale image, and 3) the convolutional neural network technique has proved successful in image processing without human intervention. Under the new framework, a fairly large number of training data generated by simulations are used to train a convolutional neural network for predicting the controllability robustness according to the input network-adjacency matrices, without performing conventional attack simulations. Extensive experimental studies were carried out, which demonstrate that the proposed framework for predicting controllability robustness of different network configurations is accurate and reliable with very low overheads.


title: On Inference of Network Topology and Confirmation Bias in Cyber-Social Networks

abstract: This paper studies topology inference, from agent states, of a directed cyber-social network with opinion spreading dynamics model that explicitly takes confirmation bias into account. The cyber-social network comprises a set of partially connected directed network of agents at the social level, and a set of information sources at the cyber layer. The necessary and sufficient conditions for the existence of exact inference solution are characterized. A method for exact inference, when it is possible, of entire network topology as well as confirmation bias model parameters is proposed for the case where the bias mentioned earlier follows a piece-wise linear model. The particular case of no confirmation bias is analyzed in detail. For the setting where the model of confirmation bias is unknown, an algorithm that approximates the network topology, building on the exact inference method, is presented. This algorithm can exactly infer the weighted communication from the neighbors to the non-followers of information sources. Numerical simulations demonstrate the effectiveness of the proposed methods for different scenarios.


title: Low-Congestion Shortcut and Graph Parameters

abstract: The concept of low-congestion shortcuts is initiated by Ghaffari and Haeupler [SODA2016] for addressing the design of CONGEST algorithms running fast in restricted network topologies. Specifically, given a specific graph class $X$, an $f$-round algorithm of constructing shortcuts of quality $q$ for any instance in $X$ results in $\tilde{O}(q + f)$-round algorithms of solving several fundamental graph problems such as minimum spanning tree and minimum cut, for $X$. In this paper, we consider the relationship between the quality of low-congestion shortcuts and three major graph parameters, chordality, diameter, and clique-width. The main contribution of the paper is threefold: (1) We show an $O(1)$-round algorithm which constructs a low-congestion shortcut with quality $O(kD)$ for any $k$-chordal graph, and prove that the quality and running time of this construction is nearly optimal up to polylogarithmic factors. (2) We present two algorithms, each of which constructs a low-congestion shortcut with quality $\tilde{O}(n^{1/4})$ in $\tilde{O}(n^{1/4})$ rounds for graphs of $D=3$, and that with quality $\tilde{O}(n^{1/3})$ in $\tilde{O}(n^{1/3})$ rounds for graphs of $D=4$ respectively. These results obviously deduce two MST algorithms running in $\tilde{O}(n^{1/4})$ and $\tilde{O}(n^{1/3})$ rounds for $D=3$ and $4$ respectively, which almost close the long-standing complexity gap of the MST construction in small-diameter graphs originally posed by Lotker et al. [Distributed Computing 2006]. (3) We show that bounding clique-width does not help the construction of good shortcuts by presenting a network topology of clique-width six where the construction of MST is as expensive as the general case.


title: An Evaluation of Feature Matchers for Fundamental Matrix Estimation

abstract: Matching two images while estimating their relative geometry is a key step in many computer vision applications. For decades, a well-established pipeline, consisting of SIFT, RANSAC, and 8-point algorithm, has been used for this task. Recently, many new approaches were proposed and shown to outperform previous alternatives on standard benchmarks, including the learned features, correspondence pruning algorithms, and robust estimators. However, whether it is beneficial to incorporate them into the classic pipeline is less-investigated. To this end, we are interested in i) evaluating the performance of these recent algorithms in the context of image matching and epipolar geometry estimation, and ii) leveraging them to design more practical registration systems. The experiments are conducted in four large-scale datasets using strictly defined evaluation metrics, and the promising results provide insight into which algorithms suit which scenarios. According to this, we propose three high-quality matching systems and a Coarse-to-Fine RANSAC estimator. They show remarkable performances and have potentials to a large part of computer vision tasks. To facilitate future research, the full evaluation pipeline and the proposed methods are made publicly available.


title: Adaptive Embedding Gate for Attention-Based Scene Text Recognition

abstract: Scene text recognition has attracted particular research interest because it is a very challenging problem and has various applications. The most cutting-edge methods are attentional encoder-decoder frameworks that learn the alignment between the input image and output sequences. In particular, the decoder recurrently outputs predictions, using the prediction of the previous step as a guidance for every time step. In this study, we point out that the inappropriate use of previous predictions in existing attention mechanisms restricts the recognition performance and brings instability. To handle this problem, we propose a novel module, namely adaptive embedding gate(AEG). The proposed AEG focuses on introducing high-order character language models to attention mechanism by controlling the information transmission between adjacent characters. AEG is a flexible module and can be easily integrated into the state-of-the-art attentional methods. We evaluate its effectiveness as well as robustness on a number of standard benchmarks, including the IIIT$5$K, SVT, SVT-P, CUTE$80$, and ICDAR datasets. Experimental results demonstrate that AEG can significantly boost recognition performance and bring better robustness.


title: Robustness of unconventional $s$-wave superconducting states against disorder

abstract: We investigate the robustness against disorder of superconductivity in multiband systems where the fermions have four internal degrees of freedom. This permits unconventional $s$-wave pairing states, which may transform nontrivially under crystal symmetries. Using the self-consistent Born approximation, we develop a general theory for the effect of impurities on the critical temperature, and find that the presence of these novel $s$-wave channels significantly modifies the conclusions of single-band theories. We apply our theory to two candidate topological superconductors, YPtBi and Cu$_x$Bi$_2$Se$_3$, and show that the novel $s$-wave states display an enhanced resilience against disorder, which extends to momentum-dependent pairing states with the same crystal symmetry. The robustness of the $s$-wave states can be quantified in terms of their superconducting fitness, which can be readily evaluated for model systems.


title: Converting ALC Connection Proofs into ALC Sequents

abstract: The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the description logic ALC. However, proofs generated by connection calculi are difficult to understand. Proof readability is largely lost by the transformations to disjunctive normal form applied over the formulae to be proven. Such a proof model, albeit efficient, prevents inference systems based on it from effectively providing justifications and/or descriptions of the steps used in inferences. To address this problem, in this paper we propose a method for converting matricial proofs generated by the ALC connection method to ALC sequent proofs, which are much easier to understand, and whose translation to natural language is more straightforward. We also describe a calculus that accepts the input formula in a non-clausal ALC format, what simplifies the translation.


title: Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)

abstract: This work is a part of an ongoing effort to prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors, which are used to solve quantified bit-vector formulas in the Satisfiability Modulo Theories (SMT) solver CVC4. While many of these were proved in a completely automatic fashion for any bit-width, some were only proved for bit-widths up to 65, even though they are being used to solve formulas over arbitrary bit-widths. In this paper we describe our initial efforts in proving a subset of these invertibility conditions in the Coq proof assistant. We describe the Coq library that we use, as well as the extensions that we introduced to it.


title: EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)

abstract: Proof assistants often call automated theorem provers to prove subgoals. However, each prover has its own proof calculus and the proof traces that it produces often lack many details to build a complete proof. Hence these traces are hard to check and reuse in proof assistants. Dedukti is a proof checker whose proofs can be translated to various proof assistants: Coq, HOL, Lean, Matita, PVS. We implemented a tool that extracts TPTP subproblems from a TSTP file and reconstructs complete proofs in Dedukti using automated provers able to generate Dedukti proofs like ZenonModulo or ArchSAT. This tool is generic: it assumes nothing about the proof calculus of the prover producing the trace, and it can use different provers to produce the Dedukti proof. We applied our tool on traces produced by automated theorem provers on the CNF problems of the TPTP library and we were able to reconstruct a proof for a large proportion of them, significantly increasing the number of Dedukti proofs that could be obtained for those problems.


title: Reconstructing veriT Proofs in Isabelle/HOL

abstract: Automated theorem provers are now commonly used within interactive theorem provers to discharge an increasingly large number of proof obligations. To maintain the trustworthiness of a proof, the automatically found proof must be verified inside the proof assistant. We present here a reconstruction procedure in the proof assistant Isabelle/HOL for proofs generated by the satisfiability modulo theories solver veriT which is part of the smt tactic. We describe in detail the architecture of our improved reconstruction method and the challenges we faced in designing it. Our experiments show that the veriT-powered smt tactic is regularly suggested by Sledgehammer as the fastest method to automatically solve proof goals.


title: CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories

abstract: We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. (CL)S is a tool for the automatic composition of software components from a user-specified repository. The framework yields a tree grammar that contains all composed terms that comply with a target type. Type specifications for (CL)S are based on combinatory logic with intersection types. Our approach translates the tree grammar into SMT functions, which allows the consideration of additional domain-specific constraints. We demonstrate the usefulness of our approach in several experiments.


title: Marginally-calibrated deep distributional regression

abstract: Deep neural network (DNN) regression models are widely used in applications requiring state-of-the-art predictive accuracy. However, until recently there has been little work on accurate uncertainty quantification for predictions from such models. We add to this literature by outlining an approach to constructing predictive distributions that are `marginally calibrated'. This is where the long run average of the predictive distributions of the response variable matches the observed empirical margin. Our approach considers a DNN regression with a conditionally Gaussian prior for the final layer weights, from which an implicit copula process on the feature space is extracted. This copula process is combined with a non-parametrically estimated marginal distribution for the response. The end result is a scalable distributional DNN regression method with marginally calibrated predictions, and our work complements existing methods for probability calibration. The approach is first illustrated using two applications of dense layer feed-forward neural networks. However, our main motivating applications are in likelihood-free inference, where distributional deep regression is used to estimate marginal posterior distributions. In two complex ecological time series examples we employ the implicit copulas of convolutional networks, and show that marginal calibration results in improved uncertainty quantification. Our approach also avoids the need for manual specification of summary statistics, a requirement that is burdensome for users and typical of competing likelihood-free inference methods.


title: Numerical Semigroups generated by Primes

abstract: Let $p_1=2, p_2=3, p_3=5, \ldots$ be the consecutive prime numbers, $S_n$ the numerical semigroup generated by the primes not less than $p_n$ and $u_n$ the largest irredundant generator of $S_n$. We will show, that $\bullet$ $u_n\sim3p_n$. Similarly, for the largest integer $f_n$ not contained in $S_n$, by computational evidence we suspect that $\bullet$ $f_n$ is an odd number for $n\geq5$ and $\bullet$ $f_n\sim3p_n$; further $\bullet$ $4p_n>f_{n+1}$ for $n\geq1$. If $f_n$ is odd for large $n$, then $f_n\sim3p_n$. In case $f_n\sim3p_n$ every large even integer $x$ is the sum of two primes. If $4p_n>f_{n+1}$ for $n\geq1$, then the Goldbach conjecture holds true. Further, Wilf's question in [12] has a positive answer for the semigroups $S_n$.


title: Improving Automatic Jazz Melody Generation by Transfer Learning Techniques

abstract: In this paper, we tackle the problem of transfer learning for Jazz automatic generation. Jazz is one of representative types of music, but the lack of Jazz data in the MIDI format hinders the construction of a generative model for Jazz. Transfer learning is an approach aiming to solve the problem of data insufficiency, so as to transfer the common feature from one domain to another. In view of its success in other machine learning problems, we investigate whether, and how much, it can help improve automatic music generation for under-resourced musical genres. Specifically, we use a recurrent variational autoencoder as the generative model, and use a genre-unspecified dataset as the source dataset and a Jazz-only dataset as the target dataset. Two transfer learning methods are evaluated using six levels of source-to-target data ratios. The first method is to train the model on the source dataset, and then fine-tune the resulting model parameters on the target dataset. The second method is to train the model on both the source and target datasets at the same time, but add genre labels to the latent vectors and use a genre classifier to improve Jazz generation. The evaluation results show that the second method seems to perform better overall, but it cannot take full advantage of the genre-unspecified dataset.


title: Successive Point-of-Interest Recommendation with Local Differential Privacy

abstract: A point-of-interest (POI) recommendation system performs an important role in location-based services because it can help people to explore new locations and promote advertisers to launch advertisements at appropriate locations. The existing POI recommendation systems require raw check-in history of users, which might cause location privacy violations. Although there have been several matrix factorization (MF) based privacy-preserving recommendation systems, they can only focus on user-POI relationships without considering the human movements in check-in history. To tackle this problem, we design a successive POI recommendation framework with local differential privacy, named SPIREL. SPIREL uses two types of information derived from the check-in history as input for the factorization: a transition pattern between two POIs and the visit counts of POIs. We propose a novel objective function for learning the user-POI and POI-POI relationships simultaneously. We further integrate local differential privacy mechanisms in our proposed framework to prevent potential location privacy breaches. Experiments using four public datasets demonstrate that SPIREL achieves better POI recommendation quality while accomplishing stronger privacy protection.


title: Relaxation of hierarchy in higher-dimensional Starobinsky model

abstract: Starobinsky model, which has a Ricci scalar squared term $R^{2}$ in its action, is one of the most promising inflation models from the viewpoint of Cosmic Microwave Background observations. However, it is well known that observational predictions of this model are quite sensitive to the existence of $R^{m}$ $(2<m)$ terms, whose absence is just assumed. In this paper, we clarify that the observational predictions of $D$-dimensional ($4<D$) extended Starobinsky model are less sensitive to such terms than those of the original 4-dimensional model.This result make it easier to construct Starobinsky-like models in higher dimensions.


title: Stochastic dynamical modeling of turbulent flows

abstract: Advanced measurement techniques and high performance computing have made large data sets available for a wide range of turbulent flows that arise in engineering applications. Drawing on this abundance of data, dynamical models can be constructed to reproduce structural and statistical features of turbulent flows, opening the way to the design of effective model-based flow control strategies. This review describes a framework for completing second-order statistics of turbulent flows by models that are based on the Navier-Stokes equations linearized around the turbulent mean velocity. Systems theory and convex optimization are combined to address the inherent uncertainty in the dynamics and the statistics of the flow by seeking a suitable parsimonious correction to the prior linearized model. Specifically, dynamical couplings between states of the linearized model dictate structural constraints on the statistics of flow fluctuations. Thence, colored-in-time stochastic forcing that drives the linearized model is sought to account for and reconcile dynamics with available data (i.e., partially known second order statistics). The number of dynamical degrees of freedom that are directly affected by stochastic excitation is minimized as a measure of model parsimony. The spectral content of the resulting colored-in-time stochastic contribution can alternatively be seen to arise from a low-rank structural perturbation of the linearized dynamical generator, pointing to suitable dynamical corrections that may account for the absence of the nonlinear interactions in the linearized model.

categories: physics.flu-dyn cs.LG cs.SY eess.SY math.OC


title: Intensity Gradients Technique: Synergy with Velocity Gradients and Polarization Studies

abstract: Magnetic fields are ubiquitous in the interstellar medium but are notoriously difficult to study through observation. Making use of the advances in our understanding of MHD turbulence and turbulent reconnection, the Velocity Gradient Technique (VGT) was suggested and successfully applied to study magnetic fields utilizing spectroscopic data. Applying the tools developed for VGT to intensity statistics, we introduce the Intensity Gradients Technique (IGT) as a complementary tool that can be used synergistically with VGT. In this paper, we apply IGT to a diffuse HI region selected from the GALFA-HI survey and compare the intensity gradient maps with those obtained using velocity gradients as well as Planck polarization measurements. We demonstrate the possibility of using IGT and VGT for both studying the magnetic field and identifying shocks in the diffuse interstellar medium. We also explore the ability of IGT in locating self-gravitating regions and calculating Alfvenic Mach number, both alone and in combination with VGT and polarimetry. We compare IGT with the Histogram of Relative Orientation (HRO), which utilizes intensity gradients to characterize the relative orientation of column density structures and local magnetic fields.


title: Properties of radio-loud quasars in Sloan Digital Sky Survey

abstract: We present a study of a sample of 223 radio-loud quasars (up to redshift $<$0.3) in order to investigate their spectral properties. Twenty-six of these radio-loud quasars are identified as Flat Spectrum Radio Quasars (FSRQs) and fifty-four are identified as Steep Spectrum Radio Quasars (SSRQs) based on their radio spectral index. We study the [O III] line properties of these quasars to investigate the origin and properties of blue wings (shift of the profile towards lower wavelengths) and blue outliers (shift of the whole spectroscopic feature). Most of the quasars show blue wings with velocities up to 420 km $s^{-1}$. We find that around 17\% of the quasars show outliers with velocities spanning 419 to -315 km $s^{-1}$. Finally, we revisit the $\it M_{\rm BH} - \sigma$ relation of our sample using [S II]$\lambda$6716, 6731 and [O III] linewidths as surrogates for stellar velocity dispersions, $\sigma$, to investigate their location on the $\it M_{\rm BH} - \sigma$ relation for quiescent galaxies. Due to the strong blending of [S II] with $\rm H_{\alpha}$, we could estimate $\sigma_{[\rm SII]}$ of only 123 quasars. We find that the radio-loud quasars do not show a relationship between $\it M_{\rm BH}$ and $\sigma_{\rm [SII]/[OIII]}$ up to a redshift of 0.3, although they cluster around the local relation. We find an overall offset of 0.12$\pm$0.05 dex of our sample of radio-loud quasars from the $\it M_{\rm BH} - \sigma$ relation of quiescent galaxies. Quasars in our highest redshift bin (z=0.25-0.3) show a deviation of $\sim$0.33 $\pm$ 0.06 dex with respect to the local relation.


title: Effect of optimal uncoupling in enhancing synchronization stability in coupled chaotic systems

abstract: In this paper, we report a novel approach for studying the effect of optimal uncoupling on the stability of synchronization in coupled chaotic systems. The clipping of phase space of the driven system having an orientation along the coordinate axes revealing the nature of coupling of the state variables of coupled systems is identified in certain coupled third-order chaotic systems. The stability of synchronization is studied through the {\emph{Master Stability Function}} (MSF). The optimal directions of implementing the clipping width to achieve stable synchronization is observed by studying the effectiveness of clipping fraction and the sufficient range of orientation to identify the optimal directions is reported. The functional work steps for identifying the optimal directions are presented and the synchronization of the response system with the drive within the clipped region of phase space for different orientations of clipping width are studied. The stability of synchronization for different orientations of clipping widths and the two-parameter bifurcation diagram indicating the negative valued MSF regions obtained for the optimal direction of clipping width are presented. The application of the method of optimal uncoupling in identifying the direction of implication of clipping width is discussed and the range of orientation over which the clipping width has to be varied is generalized.


title: The asymptotic number of zeros of exponential sums in critical strips

abstract: Normalized exponential sums are entire functions of the form $$ f(z)=1+H_1e^{w_1z}+\cdots+H_ne^{w_nz}, $$ where $H_1,\ldots, H_n\in\C$ and $0<w_1<\ldots<w_n$. It is known that the zeros of such functions are in finitely many vertical strips $S$. The asymptotic number of the zeros in the union of all these strips was found by R. E. Langer already in 1931. In 1973, C. J. Moreno proved that there are zeros arbitrarily close to any vertical line in any strip $S$, provided that $1,w_1,\ldots,w_n$ are linearly independent over the rational numbers. In this study the asymptotic number of zeros in each individual vertical strip is found by relying on R. J. Backlund's lemma, which was originally used to study the zeros of the Riemann $\zeta$-function. As a counterpart to Moreno's result, it is shown that almost every vertical line meets at most finitely many small discs around the zeros of $f$.


title: Class-balanced Grouping and Sampling for Point Cloud 3D Object Detection

abstract: This report presents our method which wins the nuScenes3D Detection Challenge [17] held in Workshop on Autonomous Driving(WAD, CVPR 2019). Generally, we utilize sparse 3D convolution to extract rich semantic features, which are then fed into a class-balanced multi-head network to perform 3D object detection. To handle the severe class imbalance problem inherent in the autonomous driving scenarios, we design a class-balanced sampling and augmentation strategy to generate a more balanced data distribution. Furthermore, we propose a balanced group-ing head to boost the performance for the categories withsimilar shapes. Based on the Challenge results, our methodoutperforms the PointPillars [14] baseline by a large mar-gin across all metrics, achieving state-of-the-art detection performance on the nuScenes dataset. Code will be released at CBGS.


title: Supporting stylists by recommending fashion style

abstract: Outfittery is an online personalized styling service targeted at men. We have hundreds of stylists who create thousands of bespoke outfits for our customers every day. A critical challenge faced by our stylists when creating these outfits is selecting an appropriate item of clothing that makes sense in the context of the outfit being created, otherwise known as style fit. Another significant challenge is knowing if the item is relevant to the customer based on their tastes, physical attributes and price sensitivity. At Outfittery we leverage machine learning extensively and combine it with human domain expertise to tackle these challenges. We do this by surfacing relevant items of clothing during the outfit building process based on what our stylist is doing and what the preferences of our customer are. In this paper we describe one way in which we help our stylists to tackle style fit for a particular item of clothing and its relevance to an outfit. A thorough qualitative and quantitative evaluation highlights the method's ability to recommend fashion items by style fit.


title: Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups

abstract: We study the notion of weak amalgamation in the context of diagonal conjugacy classes. Generalizing results of Kechris and Rosendal, we prove that for every countable structure $M$, Polish group $G$ of permutations of $M$, and $n \geq 1$, $G$ has a comeager $n$-diagonal conjugacy class iff the family of all $n$-tuples of $G$-extendable bijections between finitely generated substructures of $M$, has the joint embedding property and the weak amalgamation property. We characterize limits of weak Fra\"{i}ss\'{e} classes that are not homogenizable. Finally, we investigate $1$- and $2$-diagonal conjugacy classes in groups of ball-preserving bijections of certain ordered ultrametric spaces.


title: Pattern formation in reaction-diffusion systems with piece-wise kinetic modulation: an example study of heterogeneous kinetics

abstract: The study of pattern emergence together with exploration of the exemplar Turing model is enjoying a renaissance both from theoretical and experimental perspective. Here, we implement a stability analysis of spatially dependent reaction kinetics by exploring the effect of a jump discontinuity within piece-wise constant kinetic parameters, using various methods to identify and confirm the diffusion-driven instability conditions. Essentially, the presence of stability or instability in Turing models is a local property for piece-wise constant kinetic parameters and, as such, may be analysed locally. In particular, a local assessment of whether parameters are within the Turing space provides a strong indication that for a large enough region with these parameters, an instability can be excited.


title: Residual pathologies

abstract: Several counterexamples in analysis show the existence of some special object with some sort of pathological behavior. We present three different examples where the pathological behavior is not an isolated exception, but it is the "typical" behavior of the "generic" object in a suitable class, where here generic means residual in the sense of Baire category. The first example is the revisitation of a classical result concerning approximate differentiation. The second example is the derivative loss for solutions to linear wave equations with time-dependent Holder continuous propagation speed. The third result is the derivative loss for solutions to transport equations with non-Lipschitz velocity field.


title: Sharp transference principle for $\mathrm{BMO}$ and $A_p$

abstract: We provide a version of the transference principle. It says that certain optimization problems for functions on the circle, the interval, and the line have the same answers. In particular, we show that the sharp constants in the John--Nirenberg inequalities for naturally defined $\mathrm{BMO}$-spaces on the circle, the interval, and the line coincide. The same principle holds true for the Reverse H\"older inequality for Muckenhoupt weights.


title: Poisson hyperplane processes and approximation of convex bodies

abstract: A natural model for the approximation of a convex body $K$ in $\mathbb{R}^d$ by random polytopes is obtained as follows. Take a stationary Poisson hyperplane process in the space, and consider the random polytope $Z_K$ defined as the intersection of all closed halfspaces containing $K$ that are bounded by hyperplanes of the process not intersecting $K$. If $f$ is a functional on convex bodies, then for increasing intensities of the process, the expectation of the difference $f(Z_K)-f(K)$ may or may not converge to zero. If it does, then the order of convergence and possible limit relations are of interest. We study these questions if $f$ is either the hitting functional or the mean width.


title: First measurement of the CKM angle $\phi_3$ with $B^{\pm}\to D(K_{\rm S}^0\pi^+\pi^-\pi^0)K^{\pm}$ decays

abstract: We present the first model-independent measurement of the CKM unitarity triangle angle $\phi_3$ using $B^{\pm}\to D(K_{\rm S}^0\pi^+\pi^-\pi^0)K^{\pm}$ decays, where $D$ indicates either a $D^{0}$ or $\overline{D}^{0}$ meson. Measurements of the strong-phase difference of the $D \to K_{\rm S}^0\pi^+\pi^-\pi^0$ amplitude obtained from CLEO-c data are used as input. This analysis is based on the full Belle data set of $772\times 10^{6}$ $B\overline{B}$ events collected at the $\Upsilon(4S)$ resonance. We obtain $\phi_3 = (5.7~^{+10.2}_{-8.8} \pm 3.5 \pm 5.7)^{\circ}$ and the suppressed amplitude ratio $r_{B} = 0.323 \pm 0.147 \pm 0.023 \pm 0.051$. Here the first uncertainty is statistical, the second is the experimental systematic, and the third is due to the precision of the strong-phase parameters measured from CLEO-c data. The 95% confidence interval on $\phi_3$ is $(-29.7,~109.5)^{\circ}$, which is consistent with the current world average.


title: New stable, explicit, first order method to solve the heat conduction equation

abstract: We introduce a novel explicit and stable numerical algorithm to solve the spatially discretized heat or diffusion equation. We compare the performance of the new method with analytical and numerical solutions. We show that the method is first order in time and can give approximate results for extremely large systems faster than the commonly used explicit or implicit methods.


title: CubeSat Communications: Recent Advances and Future Challenges

abstract: Given the increasing number of space-related applications, research in the emerging space industry is becoming more and more attractive. One compelling area of current space research is the design of miniaturized satellites, known as CubeSats, which are enticing because of their numerous applications and low design-and-deployment cost. The new paradigm of connected space through CubeSats makes possible a wide range of applications, such as Earth remote sensing, space exploration, and rural connectivity. CubeSats further provide a complementary connectivity solution to the pervasive Internet of Things (IoT) networks, leading to a globally connected cyber-physical system. This paper presents a holistic overview of various aspects of CubeSat missions and provides a thorough review of the topic from both academic and industrial perspectives. We further present recent advances in the area of CubeSat communications, with an emphasis on constellation-and-coverage issues, channel modeling, modulation and coding, and networking. Finally, we identify several future research directions for CubeSat communications, including Internet of space things, low-power long-range networks, and machine learning for CubeSat resource allocation.


title: On Parameter Optimization of Product Codes for Iterative Bounded Distance Decoding with Scaled Reliability

abstract: We use density evolution to optimize the parameters of binary product codes (PCs) decoded based on the recently introduced iterative bounded distance decoding with scaled reliability. We show that binary PCs with component codes of 3-bit error correcting capability provide the best performance-complexity trade-off.


title: On the distribution of products of two primes

abstract: For a real parameter $r$, the RSA integers are integers which can be written as the product of two primes $pq$ with $p<q\leq rp$, which are named after the importance of products of two primes in the RSA-cryptography. Several authors obtained the asymptotic formulas of the number of the RSA integers. However, the previous results on the number of the RSA integers were valid only in a rather restricted range of the parameter $r$. Dummit, Granville, and Kisilevsky found some bias in the distribution of products of two primes with congruence conditions. Moree and the first author studied some similar bias in the RSA integers, but they proved that at least for fixed $r$, there is no such bias. In this paper, we provide an asymptotic formula for the number of the RSA integers available in wider ranges of $r$, and give some observations of the bias of the RSA integers, by interpolating the results of Dummit, Granville, and Kisilevsky and of Moree and the first author.


title: On Maxwell's Equations on Globally Hyperbolic Spacetimes with Timelike Boundary

abstract: We study Maxwell's equation as a theory for smooth $k$-forms on globally hyperbolic spacetimes with timelike boundary as defined by Ak\'e, Flores and Sanchez. In particular we start by investigating on these backgrounds the D'Alembert - de Rham wave operator $\Box_k$ and we highlight the boundary conditions which yield a Green's formula for $\Box_k$. Subsequently, we characterize the space of solutions of the associated initial and boundary value problem under the assumption that advanced and retarded Green operators do exist. This hypothesis is proven to be verified by a large class of boundary conditions using the method of boundary triples and under the additional assumption that the underlying spacetime is ultrastatic. Subsequently we focus on the Maxwell operator. First we construct the boundary conditions which entail a Green's formula for such operator and then we highlight two distinguished cases, dubbed $\delta\mathrm{d}$-tangential and $\delta\mathrm{d}$-normal boundary conditions. Associated to these we introduce two different notions of gauge equivalence and we prove that in both cases, every equivalence class admits a representative abiding to the Lorenz gauge. We use this property and the analysis of the operator $\Box_k$ to construct and to classify the space of gauge equivalence classes of solutions of the Maxwell's equations with the prescribed boundary conditions. As a last step and in the spirit of future applications in the framework of algebraic quantum field theory, we construct the associated unital $*$-algebras of observables proving in particular that, as in the case of the Maxwell operator on globally hyperbolic spacetimes with empty boundary, they possess a non-trivial center.


title: Bluetooth Mesh under the Microscope: How much ICN is Inside?

abstract: Bluetooth (BT) mesh is a new mode of BT operation for low-energy devices that offers group-based publish-subscribe as a network service with additional caching capabilities. These features resemble concepts of information-centric networking (ICN), and the analogy to ICN has been repeatedly drawn in the BT community. In this paper, we compare BT mesh with ICN both conceptually and in real-world experiments. We contrast both architectures and their design decisions in detail. Experiments are performed on an IoT testbed using NDN/CCNx and BT mesh on constrained RIOT nodes. Our findings indicate significant differences both in concepts and in real-world performance. Supported by new insights, we identify synergies and sketch a design of a BT-ICN that benefits from both worlds.


title: Constraint Learning for Control Tasks with Limited Duration Barrier Functions

abstract: When deploying autonomous agents in unstructured environments over sustained periods of time, adaptability and robustness oftentimes outweigh optimality as a primary consideration. In other words, safety and survivability constraints play a key role and in this paper, we present a novel, constraint-learning framework for control tasks built on the idea of constraints-driven control. However, since control policies that keep a dynamical agent within state constraints over infinite horizons are not always available, this work instead considers constraints that can be satisfied over some finite time horizon T > 0, which we refer to as limited-duration safety. Consequently, value function learning can be used as a tool to help us find limited-duration safe policies. We show that, in some applications, the existence of limited-duration safe policies is actually sufficient for long-duration autonomy. This idea is illustrated on a swarm of simulated robots that are tasked with covering a given area, but that sporadically need to abandon this task to charge batteries. We show how the battery-charging behavior naturally emerges as a result of the constraints. Additionally, using a cart-pole simulation environment, we show how a control policy can be efficiently transferred from the source task, balancing the pole, to the target task, moving the cart to one direction without letting the pole fall down.


title: Partially-supervised Mention Detection

abstract: Learning to detect entity mentions without using syntactic information can be useful for integration and joint optimization with other tasks. However, it is common to have partially annotated data for this problem. Here, we investigate two approaches to deal with partial annotation of mentions: weighted loss and soft-target classification. We also propose two neural mention detection approaches: a sequence tagging, and an exhaustive search. We evaluate our methods with coreference resolution as a downstream task, using multitask learning. The results show that the recall and F1 score improve for all methods.


title: Controlling the Photoelectric Effect in the Time Domain

abstract: When an atom or molecule absorbs a high-energy photon, an electron is emitted with a well-defined energy and a highly-symmetric angular distribution, ruled by energy quantization and parity conservation. These rules seemingly break down when small quantum systems are exposed to short and intense light pulses, which raise the question of their universality for the simplest case of the photoelectric effect. Here we investigate the photoionization of helium by a sequence of attosecond pulses in the presence of a weak infrared dressing field. We continuously control the energy and introduce an asymmetry in the emission direction of the photoelectrons, thus contradicting well established quantum-mechanical predictions. This control is possible due to an extreme temporal confinement of the light-matter interaction. Our work extends time-domain coherent control schemes to one of the fastest processes in nature, the photoelectric effect.


title: p-type codoping effect in (Ga,Mn)As: Mn lattice location versus magnetic properties

abstract: In the present work, we perform a systematic investigation on p-type codoping in (Ga,Mn)As. Through gradually increasing Zn doping concentration, the hole concentration increases, which should theoretically lead to an increase of the Curie temperature (TC) according to the p-d Zener model. Unexpectedly, although the film keeps its epitaxial structure, both TC and the magnetization decrease. The samples present a phase transition from ferromagnetism to paramagnetism upon increasing hole concentration. In the intermediate regime, we observe a signature of antiferromagnetism. By using channeling Rutherford backscattering spectrometry and particle-induced x-ray emission, the substitutional Mn atoms are observed to shift to interstitial sites, while more Zn atoms occupy Ga sites, which explains the observed behavior. This is also consistent with first-principles calculations, showing that the complex of substitutional Zn and interstitial Mn has the lowest formation energy.


title: Multi-phase competition in quantum $XY$ pyrochlore antiferromagnet CdYb$_{2}$Se$_{4}$: zero and applied magnetic field study

abstract: We study magnetic behaviour of the Yb$^{3+}$ ions on a frustrated pyrochlore lattice in the spinel {\CYS}. The crystal-electric field parameters deduced from high-energy inelastic neutron scattering reveal well-isolated ytterbium ground state doublet with a weakly Ising character. Magnetic order studied by powder neutron diffraction evolves from the $XY$-type antiferromagnetic $\Gamma_5$ state to a splayed ice-like ferromagnet (both with k=0) in applied magnetic field with $B_c$=3 T. Low-energy inelastic neutron scattering identifies weakly dispersive magnetic bands around 0.72 meV starting at $\mid\bf{Q}\mid$ = 1.1 \AA$^{-1}$~ at zero field, which diminish with field and vanish above 3 T. We explain the observed magnetic behaviour in framework of the nearest-neighbour anisotropic exchange model for effective $S=1/2$ Kramers doublets on the pyrochlore lattice. The estimated exchanges position the {\CYS} spinel close to the phase boundary between the $\Gamma_5$ and splayed ferromagnet states, similar to the Yb-pyrochlores suggesting an important role of the competition between these phases.


title: Relation Distillation Networks for Video Object Detection

abstract: It has been well recognized that modeling object-to-object relations would be helpful for object detection. Nevertheless, the problem is not trivial especially when exploring the interactions between objects to boost video object detectors. The difficulty originates from the aspect that reliable object relations in a video should depend on not only the objects in the present frame but also all the supportive objects extracted over a long range span of the video. In this paper, we introduce a new design to capture the interactions across the objects in spatio-temporal context. Specifically, we present Relation Distillation Networks (RDN) --- a new architecture that novelly aggregates and propagates object relation to augment object features for detection. Technically, object proposals are first generated via Region Proposal Networks (RPN). RDN then, on one hand, models object relation via multi-stage reasoning, and on the other, progressively distills relation through refining supportive object proposals with high objectness scores in a cascaded manner. The learnt relation verifies the efficacy on both improving object detection in each frame and box linking across frames. Extensive experiments are conducted on ImageNet VID dataset, and superior results are reported when comparing to state-of-the-art methods. More remarkably, our RDN achieves 81.8% and 83.2% mAP with ResNet-101 and ResNeXt-101, respectively. When further equipped with linking and rescoring, we obtain to-date the best reported mAP of 83.8% and 84.7%.


title: A proof of Perrin-Riou's Heegner point main conjecture

abstract: Let $E/\mathbf{Q}$ be an elliptic curve of conductor $N$, let $p>3$ be a prime where $E$ has good ordinary reduction, and let $K$ be an imaginary quadratic field satisfying the Heegner hypothesis. In 1987, Perrin-Riou formulated an Iwasawa main conjecture for the Tate-Shafarevich group of $E$ over the anticyclotomic $\mathbf{Z}_p$-extension of $K$ in terms of Heegner points. In this paper, we give a proof of Perrin-Riou's conjecture under mild hypotheses. Our proof builds on Howard's theory of bipartite Euler systems and Wei Zhang's work on Kolyvagin's conjecture. In the case when $p$ splits in $K$, we also obtain a proof of the Iwasawa-Greenberg main conjecture for the $p$-adic $L$-functions of Bertolini-Darmon-Prasanna.


title: Perfect graphs for domination games

abstract: Let $\gamma_g(G)$ and $\gamma_{tg}(G)$ be the game domination number and the total game domination number of a graph $G$, respectively. Then $G$ is $\gamma_g$-perfect (resp. $\gamma_{tg}$-perfect), if every induced subgraph $F$ of $G$ satisfies $\gamma_g(F)=\gamma(F)$ (resp. $\gamma_{tg}(F)=\gamma_t(F)$). A recursive characterization of $\gamma_g$-perfect graphs is derived. The characterization yields a polynomial recognition algorithm for $\gamma_g$-perfect graphs. It is proved that every minimally $\gamma_g$-imperfect graph has domination number $2$. All minimally $\gamma_g$-imperfect triangle-free graphs are determined. It is also proved that $\gamma_{tg}$-perfect graphs are precisely $\overline{2P_3}$-free cographs.


title: Mocycle-GAN: Unpaired Video-to-Video Translation

abstract: Unsupervised image-to-image translation is the task of translating an image from one domain to another in the absence of any paired training examples and tends to be more applicable to practical applications. Nevertheless, the extension of such synthesis from image-to-image to video-to-video is not trivial especially when capturing spatio-temporal structures in videos. The difficulty originates from the aspect that not only the visual appearance in each frame but also motion between consecutive frames should be realistic and consistent across transformation. This motivates us to explore both appearance structure and temporal continuity in video synthesis. In this paper, we present a new Motion-guided Cycle GAN, dubbed as Mocycle-GAN, that novelly integrates motion estimation into unpaired video translator. Technically, Mocycle-GAN capitalizes on three types of constrains: adversarial constraint discriminating between synthetic and real frame, cycle consistency encouraging an inverse translation on both frame and motion, and motion translation validating the transfer of motion between consecutive frames. Extensive experiments are conducted on video-to-labels and labels-to-video translation, and superior results are reported when comparing to state-of-the-art methods. More remarkably, we qualitatively demonstrate our Mocycle-GAN for both flower-to-flower and ambient condition transfer.


title: Spatiotemporal PET reconstruction using ML-EM with learned diffeomorphic deformation

abstract: Patient movement in emission tomography deteriorates reconstruction quality because of motion blur. Gating the data improves the situation somewhat: each gate contains a movement phase which is approximately stationary. A standard method is to use only the data from a few gates, with little movement between them. However, the corresponding loss of data entails an increase of noise. Motion correction algorithms have been implemented to take into account all the gated data, but they do not scale well, especially not in 3D. We propose a novel motion correction algorithm which addresses the scalability issue. Our approach is to combine an enhanced ML-EM algorithm with deep learning based movement registration. The training is unsupervised, and with artificial data. We expect this approach to scale very well to higher resolutions and to 3D, as the overall cost of our algorithm is only marginally greater than that of a standard ML-EM algorithm. We show that we can significantly decrease the noise corresponding to a limited number of gates.


title: Testing blazar emission models on the extreme blazar PGC 2402248, newly discovered at very high energies with the MAGIC telescopes

abstract: Extreme high-energy peaked BL Lac objects (EHBLs) are a new emerging class of blazars. The typical two-hump structured spectral energy distribution (SED) is shifted to higher energies with respect to other more established classes of blazars. Multi-wavelength observations allow us to constrain their synchrotron peak in the medium and hard X-ray bands. Their gamma-ray emission dominates above the GeV gamma-ray band, and in some objects it extends up to several TeV (e.g. 1ES 0229+200). Their hard TeV spectrum is also interesting for the implications on the extragalactic background light indirect measurements, the intergalactic magnetic field estimate, and the possible origin of extragalactic high-energy neutrinos. Up to now, only a few objects have been studied in the TeV gamma-ray range. In this contribution, we will present the new detection of the EHBL object PGC 2402248, recently discovered in TeV gamma rays with the MAGIC telescopes. The analysis results of a set of multi-wavelength simultaneous observations up to the VHE gamma-ray band provide the broad-band SED of the blazar, which will be used to probe different emission models. Given the extreme characteristics of this blazar, constraints on the physical parameters within the framework of leptonic and hadronic models are derived.


title: Asymptotically best possible Lebesque-type inequalities for the Fourier sums on sets of generalized Poisson integrals

abstract: In this paper we establish Lebesgue-type inequalities for $2\pi$-periodic functions $f$, which are defined by generalized Poisson integrals of the functions $\varphi$ from $L_{p}$, $1\leq p< \infty$. In these inequalities uniform norms of deviations of Fourier sums $\| f-S_{n-1} \|_{C}$ are expressed via best approximations $E_{n}(\varphi)_{L_{p}}$ of functions $\varphi$ by trigonometric polynomials in the metric of space $L_{p}$. We show that obtained estimates are asymptotically best possible.


title: Relative Ding Stability and an Obstruction to the Existence of Mabuchi Solitons

abstract: Mabuchi solitons generalize K\"{a}hler-Einstein metrics on Fano manifolds, which constitute a Yau-Tian-Donaldson type correspondence with relative Ding stability. Comparing with K\"{a}hler-Ricci solitons, there is a distinct necessary condition for the existence. We show this condition can be implied by the uniformly relative Ding stability. For this we study the inner product of $\mathbb{C}^{*}$-actions on equivariant test-configurations and obtain an integration formula over the total space. To analyze the uniform stability, by adapting Okounkov body construction to the setting of torus action, we give a convex-geometry description for the reduced non-Archimedean J-functionals.


title: Quantum computing for accelerating cross-correlations intensive applications in signal processing

abstract: Despite their importance as subfields of mathematics and engineering, signal and image processing have not received much attention in the field of quantum computation. Cross-correlations are instrumental to all the aforementioned fields. In this article we help fill this void by providing two quantum algorithms, one for computing and storing cross-correlations, and one for implementing the expectation maximization maximum likelihood algorithm. In addition we show that the quantum expectation maximization maximum likelihood algorithm has a quadratic speed-up compared to the classical analog.