title: On robust expansiveness for sectional hyperbolic attracting sets

abstract: We prove that sectional-hyperbolic attracting sets for $C^1$ vector fields are robustly expansive (under an open technical condition of strong dissipative for higher codimensional cases). This extends known results of expansiveness for singular-hyperbolic attractors in $3$-flows even in this low dimensional setting. We deduce some converse results taking advantage of recent progress in the study of star vector fields: a robustly transitive attractor is sectional-hyperbolic if, and only if, it is robustly expansive. In a low dimensional setting, we show that an attracting set of a $3$-flow is singular-hyperbolic if, and only if, it is robustly chaotic (robustly sensitive to initial conditions).


title: A size-dependent ductile fracture model: Constitutive equations, Numerical implementation and Validation

abstract: Size effects have been predicted at the micro- or nano-scale for porous ductile materials from Molecular Dynamics, Discrete Dislocation Dynamics and Continuum Mechanics numerical simulations, as a consequence of Geometrically Necessary Dislocations or due to the presence of a void matrix interface. As voids size decreases, higher stresses are needed to deform the material, for a given porosity. However, the majority of the homogenized models for porous materials used in ductile fracture modeling are size-independent, even though micrometric or nanometric voids are commonly observed in structural materials. Based on yield criteria proposed in the literature for nanoporous materials, a size-dependent homogenized model for porous materials is proposed for axisymmetric loading conditions, including void growth and coalescence as well as void shape effects. Numerical implementation of the constitutive equations is detailed. The homogenized model is validated through comparisons to porous unit cells finite element simulations that consider interfacial stresses, consistently with the model used for the derivation of the yield criteria, aiming at modeling an additional hardening at the void matrix interface. Potential improvements of the model are finally discussed with respect to the theoretical derivation of refined yield criteria and evolution laws.


title: Efficient time integration methods for Gross--Pitaevskii equations with rotation term

abstract: The objective of this work is the introduction and investigation of favourable time integration methods for the Gross--Pitaevskii equation with rotation term. Employing a reformulation in rotating Lagrangian coordinates, the equation takes the form of a nonlinear Schr{\"o}dinger equation involving a space-time-dependent potential. A natural approach that combines commutator-free quasi-Magnus exponential integrators with operator splitting methods and Fourier spectral space discretisations is proposed. Furthermore, the special structure of the Hamilton operator permits the design of specifically tailored schemes. Numerical experiments confirm the good performance of the resulting exponential integrators.


title: The multiplicative constant for the Meijer-$G$ kernel determinant

abstract: We compute the multiplicative constant in the large gap asymptotics of the Meijer-G point process. This point process generalizes the Bessel point process and appears at the hard edge of Cauchy--Laguerre multi-matrix models and of certain product random matrix ensembles.


title: Fast and Precise Light Curve Model for Transiting Exoplanets with Rings

abstract: The presence of silicate material in known rings in the Solar System raises the possibility of ring systems existing even within the snow line -- where most transiting exoplanets are found. Previous studies have shown that the detection of exoplanetary rings in transit light curves is possible, albeit challenging. To aid such future detection of exoplanetary rings, we present the Polygon+Segments model for modelling the light curve of an exoplanet with rings. This high-precision model includes full ring geometry as well as possible ring transparency and the host star's limb darkening. It is also computationally efficient, requiring just a 1D integration over a small range, making it faster than existing techniques. The algorithm at its core is further generalized to compute the light curve of any set of convex primitive shapes in transit ({\it e.g.} multiple planets, oblate planets, moons, rings, combination thereof, etc.) while accounting for their overlaps. The python source code is made available.


title: FAB: A Robust Facial Landmark Detection Framework for Motion-Blurred Videos

abstract: Recently, facial landmark detection algorithms have achieved remarkable performance on static images. However, these algorithms are neither accurate nor stable in motion-blurred videos. The missing of structure information makes it difficult for state-of-the-art facial landmark detection algorithms to yield good results. In this paper, we propose a framework named FAB that takes advantage of structure consistency in the temporal dimension for facial landmark detection in motion-blurred videos. A structure predictor is proposed to predict the missing face structural information temporally, which serves as a geometry prior. This allows our framework to work as a virtuous circle. On one hand, the geometry prior helps our structure-aware deblurring network generates high quality deblurred images which lead to better landmark detection results. On the other hand, better landmark detection results help structure predictor generate better geometry prior for the next frame. Moreover, it is a flexible video-based framework that can incorporate any static image-based methods to provide a performance boost on video datasets. Extensive experiments on Blurred-300VW, the proposed Real-world Motion Blur (RWMB) datasets and 300VW demonstrate the superior performance to the state-of-the-art methods. Datasets and models will be publicly available at https://keqiangsun.github.io/projects/FAB/FAB.html.


title: The Cost of Edge-distinguishing of the Cartesian Product of Connected Graphs

abstract: A graph $G$ is said to be $d$-distinguishable if there is a vertex coloring of $G$ with a set of $d$ colors which breaks all of the automorphisms of $G$ but the identity. We call the minimum $d$ for which a graph $G$ is $d$-distinguishiable the distinguishing number of $G$, denoted by $D(G)$. When $D(G)=2$, the minimum number of vertices in one of the color classes is called the cost of distinguishing of $G$ and is shown by $\rho(G)$. In this paper, we generalize this concept to edge-coloring by introducing the cost of edge-distinguishing of a graph $G$, denoted by $\rho'(G)$. Then, we consider $\rho'(K_n )$ for $n\geq 6$ by finding a procedure that gives the minimum number of edges of $K_n$ that should be colored differently to have a $2$-distinguishing edge-coloring. Afterwards, we develop a machinery to state a sufficient condition for a coloring of the Cartesian product to break all non-trivial automorphisms. Using this sufficient condition, we determine when cost of distinguishing and edge-distinguishing of the Cartesian power of a path equals to one. We also show that this parameters are equal to one for any Cartesian product of finitely many paths of different lengths. Moreover, we do a similar work for the Cartesian powers of a cycle and also for the Cartesian products of finitely many cycles of different orders. Upper bounds for the cost of edge-distinguishing of hypercubes and the Cartesian powers of complete graphs are also presented.


title: Number of Distinguishing Colorings and Partitions

abstract: A vertex coloring of a graph $G$ is called distinguishing (or symmetry breaking) if no non-identity automorphism of $G$ preserves it, and the distinguishing number, shown by $D(G)$, is the smallest number of colors required for such a coloring. This paper is about counting non-equivalent distinguishing colorings of graphs with $k$ colors. A parameter, namely $\Phi_k (G)$, which is the number of non-equivalent distinguishing colorings of a graph $G$ with at most $k$ colors, is shown here to have an application in calculating the distinguishing number of the lexicographic product and the $X$-join of graphs. We study this index (and some other similar indices) which is generally difficult to calculate. Then, we show that if one knows the distinguishing threshold of a graph $G$, which is the smallest number of colors $\theta(G)$ so that, for $k\geq \theta(G)$, every $k$-coloring of $G$ is distinguishing, then, in some special cases, counting the number of distinguishing colorings with $k$ colors is very easy. We calculate $\theta(G)$ for some classes of graphs including the Kneser graph $K(n,2)$. We then turn to vertex partitioning by studying the distinguishing coloring partition of a graph $G$; a partition of vertices of $G$ which induces a distinguishing coloring for $G$. There, we introduce $\Psi_k (G)$ as the number of non-equivalent distinguishing coloring partitions with at most $k$ cells, which is a generalization to its distinguishing coloring counterpart.


title: Finite Presentation

abstract: This paper surveys basic properties of finite presentation in groups, Lie algebras and rings. It includes some new results and also new, more elementary proofs, of some results that are already in the literature. In particular, we discuss examples of Stallings and of Roos on coherence by using a purely algebraic, nonhomological, approach.


title: A wearable breath sensor based on natural clinoptilolite

abstract: Low-power a.c. generators of square-wave or sinusoidal signals can be used in combination with impedimetric sensors to detect stimuli on the basis of the voltage drop taking place at the sensor electrodes. When a.c. generators with a power of only a few micro-Watts are used, this approach becomes extremely sensitive. A very low-power generator is the LCD back panel driving signal, which has a flipping polarity with a voltage of 3-5Vpp, depending on the generator model. This type of square-wave generator is contained in many low-cost handheld digital multimeters, and it is used as signal tracer to test, for example, low-frequency amplifiers. As an example, this method has been used to acquire a human breath rate pattern, by using a zeolite-based water sensor. If the generator I-V characteristics has been measured, the achieved breath pattern can be converted from a voltage drop vs. time graph to an impedance or current intensity vs. time graph.


title: Geometry of Biquadratic and Cyclic Cubic Log-Unit Lattices

abstract: By Dirichlet's Unit Theorem, under the log embedding the units in the ring of integers of a number field form a lattice, called the log-unit lattice. We investigate the geometry of these lattices when the number field is a biquadratic or cyclic cubic extension of $\mathbb{Q}$. In the biquadratic case, we determine when the log-unit lattice is orthogonal. In the cyclic cubic case, we show that the log-unit lattice is always equilateral triangular.


title: Editorial Note to: On the Newtonian Limit of Einstein's Theory of Gravitation (by J\"urgen Ehlers)

abstract: We give an overview of literature related to J\"urgen Ehlers' pioneering 1981 paper on Frame theory--a theoretical framework for the unification of General Relativity and the equations of classical Newtonian gravitation. This unification encompasses the convergence of one-parametric families of four-dimensional solutions of Einstein's equations of General Relativity to a solution of equations of a Newtonian theory if the inverse of a causality constant goes to zero. As such the corresponding light cones open up and become space-like hypersurfaces of constant absolute time on which Newtonian solutions are found as a limit of the Einsteinian ones. It is explained what it means to not consider the `standard-textbook' Newtonian theory of gravitation as a complete theory unlike Einstein's theory of gravitation. In fact, Ehlers' Frame theory brings to light a modern viewpoint in which the `standard' equations of a self-gravitating Newtonian fluid are Maxwell-type equations. The consequences of Frame theory are presented for Newtonian cosmological dust matter expressed via the spatially projected electric part of the Weyl tensor, and for the formulation of characteristic quasi-Newtonian initial data on the light cone of a Bondi-Sachs metric.


title: Bounds for Distinguishing Invariants of Infinite Graphs

abstract: We consider infinite graphs. The distinguishing number $D(G)$ of a graph $G$ is the minimum number of colours in a vertex colouring of $G$ that is preserved only by the trivial automorphism. An analogous invariant for edge colourings is called the distinguishing index, denoted by $D'(G)$. We prove that $D'(G)\leq D(G)+1$. For proper colourings, we study relevant invariants called the distinguishing chromatic number $\chi_D(G)$, and the distinguishing chromatic index $\chi'_D(G)$, for vertex and edge colourings, respectively. We show that $\chi_D(G)\leq 2\Delta(G)-1$ for graphs with a finite maximum degree $\Delta(G)$, and we obtain substantially lower bounds for some classes of graphs with infinite motion. We also show that $\chi'_D(G)\leq \chi'(G)+1$, where $\chi'(G)$ is the chromatic index of $G$, and we prove a similar result $\chi''_D(G)\leq \chi''(G)+1$ for proper total colourings. A number of conjectures are formulated.


title: An Analogue of Milnor's Invariants for Knots in 3-Manifolds

abstract: Milnor's invariants are some of the more fundamental oriented link concordance invariants; they behave as higher order linking numbers and can be computed using combinatorial group theory (due to Milnor), Massey products (due to Turaev and Porter), and higher order intersections (due to Cochran). In this paper, we generalize the first non-vanishing Milnor's invariants to oriented knots inside a closed, oriented $3$-manifold $M$. We call this the Dwyer number of a knot and show methods to compute it for null-homologous knots inside connected sums of $S^1 \times S^2$. We further show in this case the Dwyer number provides the weight of the first non-vanishing Massey product in the knot complement in the ambient manifold. Additionally, we prove the Dwyer number detects a family of knots K in $\#^{\ell}S^1 \times S^2$ bounding smoothly embedded disks in $\natural^{\ell} D^2 \times S^2$ which are not concordant to the unknot.


title: Graph classes with linear Ramsey numbers

abstract: The Ramsey number $R_X(p,q)$ for a class of graphs $X$ is the minimum $n$ such that every graph in $X$ with at least $n$ vertices has either a clique of size $p$ or an independent set of size $q$. We say that Ramsey numbers are linear in $X$ if there is a constant $k$ such that $R_{X}(p,q) \leq k(p+q)$ for all $p,q$. In the present paper we conjecture that if $X$ is a hereditary class defined by finitely many forbidden induced subgraphs, then Ramsey numbers are linear in $X$ if and only if $X$ excludes a forest, a disjoint union of cliques and their complements. We prove the "only if" part of this conjecture and verify the "if" part for a variety of classes. We also apply the notion of linearity to bipartite Ramsey numbers and reveal a number of similarities and differences between the bipartite and non-bipartite case.


title: A Characterization For 2-Self-Centered Graphs

abstract: A Graph is called 2-self-centered if its diameter and radius both equal to 2. In this paper, we begin characterizing these graphs by characterizing edge-maximal 2-self-centered graphs via their complements. Then we split characterizing edge-minimal 2-self-centered graphs into two cases. First, we characterize edge-minimal 2-self-centered graphs without triangles by introducing \emph{specialized bi-independent covering (SBIC)} and a structure named \emph{generalized complete bipartite graph (GCBG)}. Then, we complete characterization by characterizing edge-minimal 2-self-centered graphs with some triangles. Hence, the main characterization is done since a graph is 2-self-centered if and only if it is a spanning subgraph of some edge-maximal 2-self-centered graphs and, at the same time, it is a spanning supergraph of some edge-minimal 2-self-centered graphs.


title: Single-shot three-dimensional imaging with a metasurface depth camera

abstract: Depth imaging is vital for many emerging technologies with applications in augmented reality, robotics, gesture detection, and facial recognition. These applications, however, demand compact and low-power systems beyond the capabilities of state-of-the-art depth cameras. Here, we leverage ultrathin dielectric metasurfaces to demonstrate a solution that, with a single surface, replicates the functionality of a high-performance depth camera typically comprising a spatial light modulator, polarizer, and three lenses. Using cylindrical nano-scatterers that can arbitrarily modify the phase of an incident wavefront, our metasurface passively encodes two complementary optical responses to depth information in a scene with a single camera snapshot. By decoding the captured data in software, our system produces a fully reconstructed image and transverse depth map of three-dimensional scenes with a fractional ranging error of 1.7%. We demonstrate the first visible wavelength and polarization-insensitive metasurface depth camera, representing a significant form factor reduction for such systems.


title: Asymptotics for the second-largest Lyapunov exponent for some Perron-Frobenius operator cocycles

abstract: Given a discrete-time random dynamical system represented by a cocycle of non-singular measurable maps, we may obtain information on dynamical quantities by studying the cocycle of Perron-Frobenius operators associated to the maps. Of particular interest is the second-largest Lyapunov exponent, $\lambda_2$, which can tell us about mixing rates and decay of correlations in the system. We prove a generalized Perron-Frobenius theorem for cocycles of bounded linear operators on Banach spaces that preserve and occasionally contract a cone; this theorem shows that the top Oseledets space for the cocycle is one-dimensional, and there is an readily computed lower bound for the gap between the largest Lyapunov exponent $\lambda_1$ and $\lambda_2$ (that is, an upper bound for $\lambda_2$ which is strictly less than $\lambda_1$). We then apply this theorem to the case of cocycles of Perron-Frobenius operators arising from a parametrized family of maps to obtain an upper bound on $\lambda_2$; to the best of our knowledge, this is the first time $\lambda_2$ has been upper-bounded for a family of maps. To do this, we utilize a new balanced Lasota-Yorke inequality. We also examine random perturbations of a fixed map with two invariant densities and show that as the perturbation is scaled back down to the unperturbed map, $\lambda_2$ is asymptotically linear in the scale parameter. Our estimates are sharp, in the sense that there is a sequence of scaled perturbations of the fixed map that are all Markov, such that $\lambda_2$ is asymptotic to $-2$ times the scale parameter.


title: Linear relations between logarithmic integrals of high weight and some closed-form evaluations

abstract: The focus of our investigation will be integrals of form $\int_0^1 \log^a(1-x) \log^b x \log^c(1+x) /f(x) dx$, where $f$ can be either $x,1-x$ or $1+x$. We show that these integrals possess a plethora of linear relations, and give systematic methods of finding them. In lower weight cases, these linear relations yields remarkable closed-forms of individual integrals; in higher weight, we discuss the $\mathbb{Q}$-dimension that such integrals span. Our approach will not feature Euler sums.


title: Assessing size effects on the deformation of nanovoids in metallic materials

abstract: An experimental methodology is developed to evaluate size effects in nanovoids deformation under macroscopic uniaxial stress loading conditions. Quantitative evaluation of voids deformation as a function of voids size shows both a crystallographic effect, albeit small compared to the scatter, and no evidence of size effects for voids diameter larger than 10 nm, while a slight effect is present for smaller voids. Critical assessment of the data in light of theoretical models indicates that these results may be compatible with the presence of a hardened layer at the void/matrix interface, which is illustrated through finite element simulations accounting for surface tension.


title: The soft X-ray excess: NLS1s vs. BLS1s

abstract: The soft X-ray excess - the excess of X-rays below 2 keV with respect to the extrapolation of the hard X-ray spectral continuum model - is a very common feature among type 1 active galactic nuclei (AGN); yet the nature of the soft X-ray excess is still poorly understood and hotly debated. To shed some light on this issue, we have measured in a model-independent way the soft excess strength in a flux-limited sample of broad-line and narrow-line Seyfert 1 galaxies (BLS1s and NLS1s) that are matched in X-ray luminosity but different in terms of the black hole mass and the accretion rate values, with NLS1s being characterized by smaller MBH and larger accretion rate values. Our analysis, in agreement with previous studies carried out with different AGN samples, indicates that: 1) a soft excess is ubiquitously detected in both BLS1s and NLS1s; 2) the strength of the soft excess is significantly larger in the NLS1 sample, compared to the BLS1 sample; 3) combining the two samples, the strength of the soft excess appears to positively correlate with the photon index as well as with the accretion rate, whereas there is no correlation with the black hole mass. Importantly, our work also reveals the lack of an anticorrelation between the soft excess strength and the luminosity of the primary X-ray component, predicted by the absorption and reflection scenarios. Our findings suggest that the soft excess is consistent with being produced by a warm Comptonization component. Larger, more complete samples of NLS1s and BLS1s are needed to confirm these conclusions.


title: Image to Image Translation based on Convolutional Neural Network Approach for Speech Declipping

abstract: Clipping, as a current nonlinear distortion, often occurs due to the limited dynamic range of audio recorders. It degrades the speech quality and intelligibility and adversely affects the performances of speech and speaker recognitions. In this paper, we focus on enhancement of clipped speech by using a fully convolutional neural network as U-Net. Motivated by the idea of image-to-image translation, we propose a declipping approach, namely U-Net declipper in which the magnitude spectrum images of clipped signals are translated to the corresponding images of clean ones. The experimental results show that the proposed approach outperforms other declipping methods in terms of both quality and intelligibility measures, especially in severe clipping cases. Moreover, the superior performance of the U-Net declipper over the well-known declipping methods is verified in additive Gaussian noise conditions.


title: Sets with constant normal in Carnot groups: properties and examples

abstract: We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and structural results in arbitrary Carnot groups. Namely, we show that for every constant-normal set in a Carnot group its sub-Riemannian-Lebesgue representative is regularly open, contractible, and its topological boundary coincides with the reduced boundary and with the measure-theoretic boundary. We infer these properties from a cone property. Such a cone will be a semisubgroup with nonempty interior that is canonically associated with the normal direction. We characterize the constant-normal sets exactly as those that are arbitrary unions of translations of such semisubgroups. Second, making use of such a characterization, we provide some pathological examples in the specific case of the free-Carnot group of step 3 and rank 2. Namely, we construct a constant normal set that, with respect to any Riemannian metric, is not of locally finite perimeter; we also construct an example with non-unique intrinsic blowup at some point, showing that it has different upper and lower sub-Riemannian density at the origin. Third, we show that in Carnot groups of step 4 or less, every constant-normal set is intrinsically rectifiable, in the sense of Franchi, Serapioni, and Serra Cassano.


title: The unit of time: present and future directions

abstract: Some 50~years ago, physicists, and after them the entire world, started to found their time reference on atomic properties instead of motions of the Earth that have been in use since the origin. Far from being an arrival point, this decision marked the beginning of an adventure characterized by a 6 orders of magnitude improvement in the uncertainty of realization of atomic frequency and time references. Ever progressing atomic frequency standards and time references derived from them are key resources for science and for society. We will describe how the unit of time is realized with a fractional accuracy approaching $10^{-16}$ and how it is delivered to users via the elaboration of the international atomic time. We will describe the tremendous progress of optical frequency metrology over the last 20~years which led to a novel generation of optical frequency standards with fractional uncertainties of $10^{-18}$. We will describe work toward a possible redefinition of the SI second based on such standards. We will describe existing and emerging applications of atomic frequency standards in science.


title: Equivariant Floer theory and double covers of three-manifolds

abstract: Inspired by Kronheimer and Mrowka's approach to monopole Floer homology, we develop a model for $\mathbb{Z}/2$-equivariant symplectic Floer theory using equivariant almost complex structures, which admits a localization map to a twisted version of Floer cohomology in the invariant set. We then present applications to Steenrod operations on Lagrangian Floer cohomology, and to the Heegaard Floer homology of double covers of three-manifolds.


title: Effects of transformed Hamiltonians on Hamilton-Jacobi theory in view of a stronger connection to wave mechanics

abstract: Hamilton-Jacobi theory is a fundamental subject of classical mechanics and has also an important role in the development of quantum mechanics. Its conceptual framework results from the advantages of transformation theory and, for this reason, relates to the features of the generating function of canonical transformations connecting a specific Hamiltonian H to a new Hamiltonian K chosen to simplify Hamilton's equations of motion. Usually, the choice is between K=0 and a cyclic K depending on the new conjugate momenta only. Here, we investigate more general representations of the new Hamiltonian. Furthermore, it is pointed out that the two common alternatives of K=0 and a cyclic K should be distinguished in more detail. An attempt is made to clearly discern the two regimes for the harmonic oscillator and, not surprisingly, some correspondences to the quantum harmonic oscillator appear. Thanks to this preparatory work, generalized coordinates and momenta associated with the Hamilton's principal function S (i.e., K=0) are used to determine dependences in the Hamilton's characteristic function W (i.e., cyclic K). The procedure leads to the Schrodinger's equation where the Hamilton's characteristic function plays the role of the Schrodinger's wave function, whereas the first integral invariant of Poincare' takes the place of the reduced Planck constant. This finding advances the pedagogical value of the Hamilton-Jacobi theory in view of an introduction to Schrodinger's wave mechanics without the tools of quantum mechanics.


title: Robust GNSS Denied Localization for UAV Using Particle Filter and Visual Odometry

abstract: Conventional autonomous Unmanned Air Vehicle (abbr. UAV) autopilot systems use Global Navigation Satellite System (abbr. GNSS) signal for navigation. However, autopilot systems fail to navigate due to lost or jammed GNSS signal. To solve this problem, information from other sensors such as optical sensors are used. Monocular Simultaneous Localization and Mapping algorithms have been developed over the last few years and achieved state-of-the-art accuracy. Also, map matching localization approaches are used for UAV localization relatively to imagery from static maps such as Google Maps. Unfortunately, the accuracy and robustness of these algorithms are very dependent on up-to-date maps. The purpose of this research is to improve the accuracy and robustness of map relative Particle Filter based localization using a downward-facing optical camera mounted on an autonomous aircraft. This research shows how image similarity to likelihood conversion function impacts the results of Particle Filter localization algorithm. Two parametric image similarity to likelihood conversion functions (logistic and rectifying) are proposed. A dataset of simulated aerial imagery is used for experiments. The experiment results are shown, that the Particle Filter localization algorithm using the logistic function was able to surpass the accuracy of state-of-the-art ORB-SLAM2 algorithm by 2.6 times. The algorithm is shown to be able to navigate using up-to-date maps more accurately and with an average decrease of precision by 30% using out-of-date maps.


title: Estimation of Pelvic Sagittal Inclination from Anteroposterior Radiograph Using Convolutional Neural Networks: Proof-of-Concept Study

abstract: Alignment of the bones in standing position provides useful information in surgical planning. In total hip arthroplasty (THA), pelvic sagittal inclination (PSI) angle in the standing position is an important factor in planning of cup alignment and has been estimated mainly from radiographs. Previous methods for PSI estimation used a patient-specific CT to create digitally reconstructed radiographs (DRRs) and compare them with the radiograph to estimate relative position between the pelvis and the x-ray detector. In this study, we developed a method that estimates PSI angle from a single anteroposterior radiograph using two convolutional neural networks (CNNs) without requiring the patient-specific CT, which reduces radiation exposure of the patient and opens up the possibility of application in a larger number of hospitals where CT is not acquired in a routine protocol.


title: A Conformal Dispersion Relation: Correlations from Absorption

abstract: We introduce the analog of Kramers-Kronig dispersion relations for correlators of four scalar operators in an arbitrary conformal field theory. The correlator is expressed as an integral over its 'absorptive part', defined as a double discontinuity, times a theory-independent kernel which we compute explicitly. The kernel is found by resumming the data obtained by the Lorentzian inversion formula. For scalars of equal scaling dimensions, it is a remarkably simple function (elliptic integral function) of two pairs of cross-ratios. We perform various checks of the dispersion relation (generalized free fields, holographic theories at tree-level, 3D Ising model), and get perfect matching. Finally, we derive an integral relation that relates the 'inverted' conformal block with the ordinary conformal block.


title: Phase effects in coherently-stimulated down-conversion with a quantized pump field

abstract: We investigate the effect of the cumulative phase on the photon statistics of the three-mode state whose evolution is described by the trilinear Hamiltonian $\hat{H}_{I}=i\hbar\kappa\big(\hat{a}\hat{b}\hat{c}^{\dagger}-\hat{a}^{\dagger}\hat{b}^{\dagger}c\big)$, wherein the pump is taken to be quantized (and prepared in a coherent state) and the signal and idler modes are initially seeded with coherent states. We provide a brief review of the two-mode squeezed coherent states generated by non-degenerate coherently-stimulated parametric down-conversion, whereby the nonlinear crystal is driven by a strong classical field. The statistics of the resulting two mode state have been shown to depend greatly on the cumulative phase $\Phi=\theta_{s}+\theta_{i}-2\phi$ where $\theta_{s\left(i\right)}$ are the signal(idler) coherent state phases and $2\phi$ is the classical pump phase. Using perturbation theory, we analytically show for short times how the photon statistics and entanglement properties of the resultant state depends strictly on this phase combination. We also present numerical results of the relevant quantities to show the evolution of the three modes and provide a qualitative analysis of the steady state valid for long times.


title: Deep learning for subgrid-scale turbulence modeling in large-eddy simulations of the atmospheric boundary layer

abstract: In large-eddy simulations, subgrid-scale (SGS) processes are parameterized as a function of filtered grid-scale variables. First-order, algebraic SGS models are based on the eddy-viscosity assumption, which does not always hold for turbulence. Here we apply supervised deep neural networks (DNNs) to learn SGS stresses from a set of neighboring coarse-grained velocity from direct numerical simulations (DNSs) of the atmospheric boundary layer at friction Reynolds numbers Re_{\tau} up to 1243 without invoking the eddy-viscosity assumption. The DNN model was found to produce higher correlation of SGS stresses compared to the Smagorinsky model and the Smagorinsky-Bardina mixed model in the surface and mixed layers and can be applied to different grid resolutions and various stability conditions ranging from near neutral to very unstable. The additional information on potential temperature and pressure were found not to be useful for SGS modeling. Deep learning thus demonstrates great potential for LESs of geophysical turbulence.


title: Adaptive Bayesian Spectral Analysis of High-dimensional Nonstationary Time Series

abstract: This article introduces a nonparametric approach to spectral analysis of a high-dimensional multivariate nonstationary time series. The procedure is based on a novel frequency-domain factor model that provides a flexible yet parsimonious representation of spectral matrices from a large number of simultaneously observed time series. Real and imaginary parts of the factor loading matrices are modeled independently using a prior that is formulated from the tensor product of penalized splines and multiplicative gamma process shrinkage priors, allowing for infinitely many factors with loadings increasingly shrunk towards zero as the column index increases. Formulated in a fully Bayesian framework, the time series is adaptively partitioned into approximately stationary segments, where both the number and location of partition points are assumed unknown. Stochastic approximation Monte Carlo (SAMC) techniques are used to accommodate the unknown number of segments, and a conditional Whittle likelihood-based Gibbs sampler is developed for efficient sampling within segments. By averaging over the distribution of partitions, the proposed method can approximate both abrupt and slowly varying changes in spectral matrices. Performance of the proposed model is evaluated by extensive simulations and demonstrated through the analysis of high-density electroencephalography.


title: Measurement of properties of B$^0_\mathrm{s}\to\mu^+\mu^-$ decays and search for B$^0\to\mu^+\mu^-$ with the CMS experiment

abstract: Results are reported for the B$^0_\mathrm{s}\to\mu^+\mu^-$ branching fraction and effective lifetime and from a search for the decay B$^0\to\mu^+\mu^-$. The analysis uses a data sample of proton-proton collisions accumulated by the CMS experiment in 2011, 2012, and 2016, with center-of-mass energies (integrated luminosities) of 7 TeV (5 fb$^{-1}$), 8 TeV (20 fb$^{-1}$), and 13 TeV (36 fb$^{-1}$). The branching fractions are determined by measuring event yields relative to B$^+\to$ J/$\psi$K$^+$ decays (with J/$\psi\to\mu^+\mu^-$), which results in the reduction of many of the systematic uncertainties. The decay B$^0_\mathrm{s}\to\mu^+\mu^-$ is observed with a significance of 5.6 standard deviations. The branching fraction is measured to be $\mathcal{B}$(B$^0_\mathrm{s}\to\mu^+\mu^-$) = [2.9 $\pm$ 0.7 (exp) $\pm$ 0.2 (frag)] $\times$ 10$^{-9}$, where the first uncertainty combines the experimental statistical and systematic contributions, and the second is due to the uncertainty in the ratio of the B$^0_\mathrm{s}$ and the B$^+$ fragmentation functions. No significant excess is observed for the decay B$^0\to\mu^+\mu^-$, and an upper limit of $\mathcal{B}$(B$^0\to\mu^+\mu^-$) < 3.6 $\times$ 10$^{-10}$ is obtained at 95% confidence level. The B$^0_\mathrm{s}\to\mu^+\mu^-$ effective lifetime is measured to be $\tau_{\mu^+\mu^-}$ = 1.70 $^{+0.61}_{-0.44}$ ps. These results are consistent with standard model predictions.


title: Joint Latent Space Model for Social Networks with Multivariate Attributes

abstract: In many application problems in social, behavioral, and economic sciences, researchers often have data on a social network among a group of individuals along with high dimensional multivariate measurements for each individual. To analyze such networked data structures, we propose a joint Attribute and Person Latent Space Model (APLSM) that summarizes information from the social network and the multiple attribute measurements in a person-attribute joint latent space. We develop a Variational Bayesian Expectation-Maximization estimation algorithm to estimate the posterior distribution of the attribute and person locations in the joint latent space. This methodology allows for effective integration, informative visualization, and prediction of social networks and high dimensional attribute measurements. Using APLSM, we explore the inner workings of the French financial elites based on their social networks and their career, political views, and social status. We observe a division in the social circles of the French elites in accordance with the differences in their individual characteristics.


title: ViGGO: A Video Game Corpus for Data-To-Text Generation in Open-Domain Conversation

abstract: The uptake of deep learning in natural language generation (NLG) led to the release of both small and relatively large parallel corpora for training neural models. The existing data-to-text datasets are, however, aimed at task-oriented dialogue systems, and often thus limited in diversity and versatility. They are typically crowdsourced, with much of the noise left in them. Moreover, current neural NLG models do not take full advantage of large training data, and due to their strong generalizing properties produce sentences that look template-like regardless. We therefore present a new corpus of 7K samples, which (1) is clean despite being crowdsourced, (2) has utterances of 9 generalizable and conversational dialogue act types, making it more suitable for open-domain dialogue systems, and (3) explores the domain of video games, which is new to dialogue systems despite having excellent potential for supporting rich conversations.


title: Price mediated contagion through capital ratio requirements with VWAP liquidation prices

abstract: We develop a framework for price-mediated contagion in financial systems where banks are forced to liquidate assets to satisfy a risk-weight based capital adequacy requirement. In constructing this modeling framework, we introduce a two-tier pricing structure: the volume weighted average price that is obtained by any bank liquidating assets and the terminal mark-to-market price used to account for all assets held at the end of the clearing process. We consider the case of multiple illiquid assets and develop conditions for the existence and uniqueness of clearing prices. We provide a closed-form representation for the sensitivity of these clearing prices to the system parameters, and use this result to quantify: (1) the cost of regulation, in stress scenarios, faced by the system as a whole and the individual banks, and (2) the value of providing bailouts to consider when such notions are financially advisable. Numerical case studies are provided to study the application of this model to data.


title: Almost Quasi-linear Utilities in Disguise: Positive-representation An Extension of Roberts' Theorem

abstract: This work deals with the implementation of social choice rules using dominant strategies for unrestricted preferences. The seminal Gibbard-Satterthwaite theorem shows that only few unappealing social choice rules can be implemented unless we assume some restrictions on the preferences or allow monetary transfers. When monetary transfers are allowed and quasi-linear utilities w.r.t. money are assumed, Vickrey-Clarke-Groves (VCG) mechanisms were shown to implement any affine-maximizer, and by the work of Roberts, only affine-maximizers can be implemented whenever the type sets of the agents are rich enough. In this work, we generalize these results and define a new class of preferences: Preferences which are positive-represented by a quasi-linear utility. That is, agents whose preference on a subspace of the outcomes can be modeled using a quasi-linear utility. We show that the characterization of VCG mechanisms as the incentive-compatible mechanisms extends naturally to this domain. Our result follows from a simple reduction to the characterization of VCG mechanisms. Hence, we see our result more as a fuller more correct version of the VCG characterization. This work also highlights a common misconception in the community attributing the VCG result to the usage of transferable utility. Our result shows that the incentive-compatibility of the VCG mechanisms does not rely on money being a common denominator, but rather on the ability of the designer to fine the agents on a continuous (maybe agent-specific) scale. We think these two insights, considering the utility as a representation and not as the preference itself (which is common in the economic community) and considering utilities which represent the preference only for the relevant domain, would turn out to fruitful in other domains as well.


title: Bayesian Graph Convolutional Neural Networks Using Non-Parametric Graph Learning

abstract: Graph convolutional neural networks (GCNN) have been successfully applied to many different graph based learning tasks including node and graph classification, matrix completion, and learning of node embeddings. Despite their impressive performance, the techniques have a limited capability to incorporate the uncertainty in the underlined graph structure. In order to address this issue, a Bayesian GCNN (BGCN) framework was recently proposed. In this framework, the observed graph is considered to be a random realization from a parametric random graph model and the joint Bayesian inference of the graph and GCNN weights is performed. In this paper, we propose a non-parametric generative model for graphs and incorporate it within the BGCN framework. In addition to the observed graph, our approach effectively uses the node features and training labels in the posterior inference of graphs and attains superior or comparable performance in benchmark node classification tasks.


title: Laser Interferometer in Presence of Scalar field on Gravitational Wave Background

abstract: Detection of gravitational waves (GW) opened new windows on fundamental physics and it would be natural to search how the role of extra dimensional effects can be traced to gravitational wave physics. In this article, we consider a toy model of five dimensional pure gravity theory compactified on a circle. The resulting four dimensional theory is a scalar-Maxwell theory which is minimally coupled with gravity. By finding the equations of motion for scalar, electric and magnetic fields , we would be able to find exact wave solutions of coupled equations which are zero mode solutions. We also perform perturbation in order to consider non-zero modes of electromagnetic fields .\\ Having these solutions at hand, we study the recombination of scalar-affected electromagnetic waves (EWs) in a typical Michelson interferometer. In particular , we obtain, up to to first order , the change of amplitude of electromagnetic power due to presence of this scalar field which may reveal some signals of extra dimension.


title: Comparing Observation and Action Representations for Deep Reinforcement Learning in $\mu$RTS

abstract: This paper presents a preliminary study comparing different observation and action space representations for Deep Reinforcement Learning (DRL) in the context of Real-time Strategy (RTS) games. Specifically, we compare two representations: (1) a global representation where the observation represents the whole game state, and the RL agent needs to choose which unit to issue actions to, and which actions to execute; and (2) a local representation where the observation is represented from the point of view of an individual unit, and the RL agent picks actions for each unit independently. We evaluate these representations in $\mu$RTS showing that the local representation seems to outperform the global representation when training agents with the task of harvesting resources.


title: Effect of carbon-based nanoparticles on the ignition, combustion and flame characteristics of crude oil droplets

abstract: The use of in-situ burning (ISB) as a clean-up response in the event of an oil spill has generated controversy because of unburned hydrocarbons and products of incomplete combustion left behind on an ISB site. These substances threaten marine life, both in the ocean and on the ocean floor. Treating crude oil as a multicomponent liquid fuel, this manuscript investigates the effect of carbon-based nanomaterials, acetylene black (AB) and multi-walled carbon nanotube (MWNT), on the combustion and flame characteristics of crude sourced from the Bakken formation (ND, USA). Sub-millimeter droplets of colloidal suspensions of Bakken crude and nanomaterials at various particle loadings were burned, and the process was captured with CMOS and CCD cameras. The resulting images were post-processed to generate burning rate, ignition delay, total combustion time, and flame stand-off (FSR) ratio data for the various crude suspensions. A maximum combustion rate enhancement of 39.5% and 31.1% was observed at a particle loading of 0.5% w/w acetylene black nanoparticles and 0.5% w/w multi-walled carbon nanotubes, respectively. Generally, FSR for pure Bakken was noted as larger than for Bakken with nanoparticle additives. These results are expected to spur further investigations into the use of nanomaterials for ISB crude oil clean-ups.


title: Self-Consistent Effective Hamiltonian Theory for Fermionic Many Body Systems

abstract: Using a separable many-body variational wavefunction, we formulate a self-consistent effective Hamiltonian theory for fermionic many-body system. The theory is applied to the two-dimensional Hubbard model as an example to demonstrate its capability and computational effectiveness. Most remarkably for the Hubbard model in 2-d, a highly unconventional quadruple-fermion non-Cooper-pair order parameter is discovered.


title: Symbolic Controller Synthesis for B\"uchi Specifications on Stochastic Systems

abstract: We consider the policy synthesis problem for continuous-state controlled Markov processes evolving in discrete time, when the specification is given as a B\"uchi condition (visit a set of states infinitely often). We decompose computation of the maximal probability of satisfying the B\"uchi condition into two steps. The first step is to compute the maximal qualitative winning set, from where the B\"uchi condition can be enforced with probability one. The second step is to find the maximal probability of reaching the already computed qualitative winning set. In contrast with finite-state models, we show that such a computation only gives a lower bound on the maximal probability where the gap can be non-zero. In this paper we focus on approximating the qualitative winning set, while pointing out that the existing approaches for unbounded reachability computation can solve the second step. We provide an abstraction-based technique to approximate the qualitative winning set by simultaneously using an over- and under-approximation of the probabilistic transition relation. Since we are interested in qualitative properties, the abstraction is non-probabilistic; instead, the probabilistic transitions are assumed to be under the control of a (fair) adversary. Thus, we reduce the original policy synthesis problem to a B\"uchi game under a fairness assumption and characterize upper and lower bounds on winning sets as nested fixed point expressions in the $\mu$-calculus. This characterization immediately provides a symbolic algorithm scheme. Further, a winning strategy computed on the abstract game can be refined to a policy on the controlled Markov process. We describe a concrete abstraction procedure and demonstrate our algorithm on two case studies.


title: Dynamical robustness of discrete conservative systems: Harper and generalized standard maps

abstract: In recent years, statistical characterization of the discrete conservative dynamical systems (more precisely, paradigmatic examples of area-preserving maps such as the standard and the web maps) has been analyzed extensively and shown that, for larger parameter values for which the Lyapunov exponents are largely positive over the entire phase space, the probability distribution is a Gaussian, consistent with Boltzmann-Gibbs (BG) statistics. On the other hand, for smaller parameter values for which the Lyapunov exponents are virtually zero over the entire phase space, we verify this distribution appears to approach a $q$-Gaussian (with $q \simeq 1.935$), consistent with $q$-statistics. Interestingly, if the parameter values are in between these two extremes, then the probability distributions happen to exhibit a linear combination of these two behaviours. Here, we numerically show that the Harper map is also in the same universality class of the maps discussed so far. This constitutes one more evidence on the robustness of this behavior whenever the phase space consists of stable orbits. Then, we propose a generalization of the standard map for which the phase space includes many sticky regions, changing the previously observed simple linear combination behavior to a more complex combination.


title: Some New Lower Bounds for the Estrada Index

abstract: Let $G$ be a graph on $n$ vertices and $\lambda_1,\lambda_2,\ldots,\lambda_n$ its eigenvalues. The Estrada index of $G$ is an invariant that is calculated from the eigenvalues of the adjacency matrix of a graph. In this paper, we present some new lower bounds obtained for the Estrada Index of graphs and in particular of bipartite graphs that only depend on the number of vertices, the number of edges, Randi\'c index, maximum and minimum degree and diameter.


title: Existence results for doubly nonlinear parabolic equations with two lower order terms and $L^1$-data

abstract: We investigate the existence of a renormalized solution for a class of nonlinear parabolic equations with two lower order terms and $L^1$-data.


title: The Vlasov-Fokker-Planck Equation with High Dimensional Parametric Forcing Term

abstract: We consider the Vlasov-Fokker-Planck equation with random electric field where the random field is parametrized by countably many infinite random variables due to uncertainty. At the theoretical level, with suitable assumption on the anisotropy of the randomness, adopting the technique employed in elliptic PDEs [Cohen, DeVore, 2015], we prove the best N approximation in the random space breaks the dimension curse and the convergence rate is faster than the Monte Carlo method. For the numerical method, based on the adaptive sparse polynomial interpolation (ASPI) method introduced in [Chkifa, Cohen, Schwab, 2014], we develop a residual-based adaptive sparse polynomial interpolation (RASPI) method which is more efficient for multi-scale linear kinetic equation, when using numerical schemes that are time-dependent and implicit. Numerical experiments show that the numerical error of the RASPI decays faster than the Monte-Carlo method and is also dimension independent.


title: Generalized SAT-Attack-Resistant Logic Locking

abstract: Logic locking is used to protect integrated circuits (ICs) from piracy and counterfeiting. An encrypted IC implements the correct function only when the right key is input. Many existing logic-locking methods are subject to the powerful satisfiability (SAT)-based attack. Recently, an Anti-SAT scheme has been developed. By adopting two complementary logic blocks that consist of AND/NAND trees, it makes the number of iterations needed by the SAT attack exponential to the number of input bits. Nevertheless, the Anti-SAT scheme is vulnerable to the later AppSAT and removal attacks. This paper proposes a generalized (G-)Anti-SAT scheme. Different from the Anti-SAT scheme, a variety of complementary or non-complementary functions can be adopted for the two blocks in our G-Anti-SAT scheme. The Anti-SAT scheme is just a special case of our proposed design. Our design can achieve higher output corruptibility, which is also tunable, so that better resistance to the AppSAT and removal attacks is achieved. Meanwhile, unlike existing AppSAT-resilient designs, our design does not sacrifice the resistance to the SAT attack.


title: New methods to assess and improve LIGO detector duty cycle

abstract: A network of three or more gravitational wave detectors simultaneously taking data is required to generate a well-localized sky map for gravitational wave sources, such as GW170817. Local seismic disturbances often cause the LIGO and Virgo detectors to lose light resonance in one or more of their component optic cavities, and the affected detector is unable to take data until resonance is recovered. In this paper, we use machine learning techniques to gain insight into the predictive behavior of the LIGO detector optic cavities during the second LIGO-Virgo observing run. We identify a minimal set of optic cavity control signals and data features which capture interferometer behavior leading to a loss of light resonance, or lockloss. We use these channels to accurately distinguish between lockloss events and quiet interferometer operating times via both supervised and unsupervised machine learning methods. This analysis yields new insights into how components of the LIGO detectors contribute to lockloss events, which could inform detector commissioning efforts to mitigate the associated loss of uptime. Particularly, we find that the state of the component optical cavities is a better predictor of loss of lock than ground motion trends. We report prediction accuracies of 98% for times just prior to lock loss, and 90% for times up to 30 seconds prior to lockloss, which shows promise for this method to be applied in near-real time to trigger preventative detector state changes. This method can be extended to target other auxiliary subsystems or times of interest, such as transient noise or loss in detector sensitivity. Application of these techniques during the third LIGO-Virgo observing run and beyond would maximize the potential of the global detector network for multi-messenger astronomy with gravitational waves.


title: High-degeneracy points protected by site-permutation symmetries

abstract: Space group symmetries dictate the energy degeneracy of quasiparticles (e.g., electronic, photonic) in crystalline structures. For spinless systems, there can only be double or triple degeneracies protected by these symmetries, while other degeneracies are usually taken as \textit{accidental}. In this Letter we show that it is possible to design higher degeneracies exploring site permutation symmetries. These design principles are shown to be satisfied in previously studied lattices, and new structures are proposed with three, four and five degeneracy points for spinless systems. The results are general and apply to different quasiparticle models. Here, we focus on a tight-binding approach for the electronic case as a proof of principle. The resulting high-degeneracy points are protected by the site-permutation symmetries, yielding pseudospin-1 and -2 Dirac fermions. The strategy proposed here can be used to design lattices with high-degeneracy points in electronic (e.g. metal-organic frameworks), photonic, phononic, magnonic and cold-atom systems.


title: On the reactivity of low coordinated atoms on foreign solid substrates as models of single atom catalysts

abstract: Catalysis has entered everyday life through a number of technological processes relying on different catalytic systems. The increasing demand for such systems requires rationalization of the use of their expensive components, like noble metal catalysts. As such, a catalyst with low noble metal concentration, in which each one of the noble atoms is active, would reach the lowest price possible. Nevertheless, there are no reactivity descriptors outlined for this type of low coordinated supported atoms. Using DFT calculations, we consider three diverse systems as models of single atom catalysts. We investigate monomers and bimetallic dimers of Ru, Rh, Pd, Ir and Pt on MgO(001), Cu adatom on thin Mo(001)-supported films (NaF, MgO and ScN) and single Pt adatoms on oxidized graphene surfaces. Reactivity of these metal atoms was probed by CO. In each case we see the interaction through the donation-backdonation mechanism. In some cases the CO adsorption energies can be linked to the position of the d-band center and the charge of the adatom. Higher positioned d-band center and less charged supported single atoms bind CO weaker. Also, in some cases metal atoms less strongly bonded to the substrate bind CO more strongly. The results suggest that the identification of common activity descriptor(s) for single metal atoms on foreign supports is a difficult task with no unique solution. However, it is also suggested that the stability of adatoms and strong anchoring to the support are prerequisites for the application of descriptor-based search for novel single atom catalysts.


title: Oversampling and aliasing in de Branges spaces arising from Bessel operators

abstract: We show that a class of de Branges spaces, generated by means of generalized Fourier transforms associated with perturbed Bessel differential equations, has the properties of oversampling and aliasing.


title: Magic continuum in twisted bilayer WSe2

abstract: Emergent quantum phases driven by electronic interactions can manifest in materials with narrowly dispersing, i.e. "flat", energy bands. Recently, flat bands have been realized in a variety of graphene-based heterostructures using the tuning parameters of twist angle, layer stacking and pressure, and resulting in correlated insulator and superconducting states. Here we report the experimental observation of similar correlated phenomena in twisted bilayer tungsten diselenide (tWSe2), a semiconducting transition metal dichalcogenide (TMD). Unlike twisted bilayer graphene where the flat band appears only within a narrow range around a "magic angle", we observe correlated states over a continuum of angles, spanning 4 degree to 5.1 degree. A Mott-like insulator appears at half band filling that can be sensitively tuned with displacement field. Hall measurements supported by ab initio calculations suggest that the strength of the insulator is driven by the density of states at half filling, consistent with a 2D Hubbard model in a regime of moderate interactions. At 5.1 degree twist, we observe evidence of superconductivity upon doping away from half filling, reaching zero resistivity around 3 K. Our results establish twisted bilayer TMDs as a model system to study interaction-driven phenomena in flat bands with dynamically tunable interactions.


title: On the moments of a polynomial in one variable

abstract: Let $f$ be a non-zero polynomial with complex coefficients and define $M_n(f)=\int_0^1f(x)^n\,dx$. We use ideas of Duistermaat and van der Kallen to prove $\limsup_{n\rightarrow\infty}|M_n(f)|^{1/n}>0$. In particular, $M_n(f)\ne 0$ for infinitely many $n\in{\mathbb N}$.


title: Cosmological Singularities in Conformal Weyl Gravity

abstract: In this work, we study the issue of the past and future cosmological singularities in the context of the fourth-order conformal Weyl gravity. In particular, we investigate the emergent universe scenario proposed by Ellis {\it et al}, and find the stability conditions of the corresponding Einstein static state using the fixed point approach. We show that depending on the values of the parameters of the conformal Weyl gravity theory, there are possibilities for having initially stable emergent states for an FRW universe with both the positive and negative spatial curvatures. This represents that the conformal Weyl gravity can be free of the initial singularity problem. Then, following Barrow {\it et al}, we address the possible types of the finite-time future cosmological singularities. We discuss how these singularities also can be avoided in the context of this theory.


title: Pencil-beam approximation of stationary Fokker-Planck

abstract: Solutions of stationary Fokker-Planck equations in the narrow beam regime are commonly approximated by either ballistic linear transport or by a Fermi pencil-beam equation. We present a rigorous approximation analysis of these three models in a half-space geometry. Error estimates are obtained in a 1-Wasserstein sense, which is an adapted metric to quantify beam spreading. The required well-posedness and regularity results for the stationary Fokker-Planck equation with singular internal and boundary sources are also presented in detail.


title: Making Predictive Coding Networks Generative

abstract: Predictive coding (PC) networks are a biologically interesting class of neural networks. Their layered hierarchy mimics the reciprocal connectivity pattern observed in the mammalian cortex, and they can be trained using local learning rules that approximate backpropagation [Bogacz, 2017]. However, despite having feedback connections that enable information to flow down the network hierarchy, discriminative PC networks are not generative. Clamping the output class and running the network to equilibrium yields an input sample that typically does not resemble the training input. This paper studies this phenomenon, and proposes a simple solution that promotes the generation of input samples that resemble the training inputs. Simple decay, a technique already in wide use in neural networks, pushes the PC network toward a unique minimum 2-norm solution, and that unique solution provably (for linear networks) matches the training inputs. The method also vastly improves the samples generated for nonlinear networks, as we demonstrate on MNIST.


title: Variational principle for the Einstein-Vlasov equations

abstract: The Einstein-Vlasov equations govern Einstein spacetimes filled with matter which interacts only via gravitation. The matter, described by a distribution function on phase space, evolves under the collisionless Boltzmann equation, corresponding to the free geodesic motion of the particles, while the source of the gravitational field is given by the stress-energy tensor defined in terms of momenta of the distribution function. As no variational derivation of the Einstein-Vlasov system appears to exist in the literature, we here set out to fill this gap. In our approach we treat the matter as a generalized type of fluid, flowing in the tangent bundle instead of the spacetime. We present the actions for the Einstein-Vlasov system in both the Lagrangian and Eulerian pictures.


title: Pseudospectra of Loewner Matrix Pencils

abstract: Loewner matrix pencils play a central role in the system realization theory of Mayo and Antoulas, an important development in data-driven modeling. The eigenvalues of these pencils reveal system poles. How robust are the poles recovered via Loewner realization? With several simple examples, we show how pseudospectra of Loewner pencils can be used to investigate the influence of interpolation point location and partitioning on pole stability, the transient behavior of the realized system, and the effect of noisy measurement data. We include an algorithm to efficiently compute such pseudospectra by exploiting Loewner structure.


title: ZPD Teaching Strategies for Deep Reinforcement Learning from Demonstrations

abstract: Learning from demonstrations is a popular tool for accelerating and reducing the exploration requirements of reinforcement learning. When providing expert demonstrations to human students, we know that the demonstrations must fall within a particular range of difficulties called the "Zone of Proximal Development (ZPD)". If they are too easy the student learns nothing, but if they are too difficult the student is unable to follow along. This raises the question: Given a set of potential demonstrators, which among them is best suited for teaching any particular learner? Prior work, such as the popular Deep Q-learning from Demonstrations (DQfD) algorithm has generally focused on single demonstrators. In this work we consider the problem of choosing among multiple demonstrators of varying skill levels. Our results align with intuition from human learners: it is not always the best policy to draw demonstrations from the best performing demonstrator (in terms of reward). We show that careful selection of teaching strategies can result in sample efficiency gains in the learner's environment across nine Atari games


title: Transport in one-dimensional integrable quantum systems

abstract: These notes are based on a series of three lectures given at the Les Houches summer school on 'Integrability in Atomic and Condensed Matter Physics' in August 2018. They provide an introduction into the unusual transport properties of integrable models in the linear response regime focussing, in particular, on the spin-1/2 XXZ spin chain.


title: Convergent Policy Optimization for Safe Reinforcement Learning

abstract: We study the safe reinforcement learning problem with nonlinear function approximation, where policy optimization is formulated as a constrained optimization problem with both the objective and the constraint being nonconvex functions. For such a problem, we construct a sequence of surrogate convex constrained optimization problems by replacing the nonconvex functions locally with convex quadratic functions obtained from policy gradient estimators. We prove that the solutions to these surrogate problems converge to a stationary point of the original nonconvex problem. Furthermore, to extend our theoretical results, we apply our algorithm to examples of optimal control and multi-agent reinforcement learning with safety constraints.


title: Silhouette: Efficient Protected Shadow Stacks for Embedded Systems

abstract: Microcontroller-based embedded systems are increasingly used for applications that can have serious and immediate consequences if compromised---including automobile control systems, smart locks, drones, and implantable medical devices. Due to resource and execution-time constraints, C is the primary language used for programming these devices. Unfortunately, C is neither type-safe nor memory-safe, and control-flow hijacking remains a prevalent threat. This paper presents Silhouette: a compiler-based defense that efficiently guarantees the integrity of return addresses, significantly reducing the attack surface for control-flow hijacking. Silhouette combines an incorruptible shadow stack for return addresses with checks on forward control flow and memory protection to ensure that all functions return to the correct dynamic caller. To protect its shadow stack, Silhouette uses store hardening, an efficient intra-address space isolation technique targeting various ARM architectures that leverages special store instructions found on ARM processors. We implemented Silhouette for the ARMv7-M architecture, but our techniques are applicable to other common embedded ARM architectures. Our evaluation shows that Silhouette incurs a geometric mean of 1.3% and 3.4% performance overhead on two benchmark suites. Furthermore, we prototyped Silhouette-Invert, an alternative implementation of Silhouette, which incurs just 0.3% and 1.9% performance overhead, at the cost of a minor hardware change.


title: Combinatorics of the geometry of Wilson loop diagrams II: Grassmann necklaces, dimensions, and denominators

abstract: Wilson loop diagrams are an important tool in studying scattering amplitudes of SYM $N=4$ theory and are known by previous work to be associated to positroids. In this paper we study the structure of the associated positroids, as well as the structure of the denominator of the integrand defined by each diagram. We give an algorithm to derive the Grassmann necklace of the associated positroid directly from the Wilson loop diagram, and a recursive proof that the dimension of these cells is thrice the number of propagators in the diagram. We also show that the ideal generated by the denominator in the integrand is the radical of the ideal generated by the product of Grassmann necklace minors.


title: Classification of Neurodevelopmental Age in Normal Infants Using 3D-CNN based on Brain MRI

abstract: Human brain development is rapid during infancy and early childhood. Many disease processes impair this development. Therefore, brain developmental age estimation (BDAE) is essential for all diseases affecting cognitive development. Brain magnetic resonance imaging (MRI) of infants shows brain growth and morphologic patterns during childhood. Therefore, we can estimate the developmental age from brain images. However, MRI analysis is time-consuming because each scan contains millions of data points (voxels). We investigated the three-dimensional convolutional neural network (3D CNN), a deep learning algorithm, to rapidly classify neurodevelopmental age with high accuracy based on MRIs. MRIs from normal newborns were obtained from the National Institute of Mental Health (NIMH) Data Archive. Age categories of pediatric MRIs were 3 wks + 1 wk, 1 yr + 2 wks, and 3 yrs + 4 wks. We trained a BDAE method using T1, T2, and proton density (PD) images from MRI scans of 112 individuals using 3D CNN. Compared with the known age, our method has a sensitivity of 99% and specificity of 98.3%. Moreover, our 3D CNN model has better performance in neurodevelopmental age estimation than does 2D CNN.


title: On the inverse problem for deformations of finite group representations

abstract: Let $s$ be even and $q=p^s$. We show that the ring $W(\mathbb{F}_{q})[\![X]\!]/(X^2-pX)$ is a quotient of the universal deformation ring of a representation of a finite group. This amounts to giving an example of a finite group and its $\mathbb{F}_q$-representation that lifts to $W(\mathbb{F}_q)$ in two different ways and satisfies certain subtle extra conditions. We achieve this by studying representations of $\mathrm{SL}(2,\mathbb{F}_{p^2})$.


title: A Nonlocal Transport Equation Modeling Complex Roots of Polynomials under Differentiation

abstract: Let $p_n:\mathbb{C} \rightarrow \mathbb{C}$ be a random complex polynomial whose roots are sampled i.i.d. from a radial distribution $u(r) r dr$ in the complex plane. A natural question is how the distribution of roots evolves under repeated (say $n/2-$times) differentiation of the polynomial. We conjecture a mean-field expansion for the evolution of $\psi(s) = u(s) s$ $$ \frac{\partial \psi}{\partial t} = \frac{\partial}{\partial x} \left( \left( \frac{1}{x} \int_{0}^{x} \psi(s) ds \right)^{-1} \psi(x) \right).$$ The evolution of $\psi(s) \equiv 1$ corresponds to the evolution of random Taylor polynomials $$ p_n(z) = \sum_{k=0}^{n}{ \gamma_k \frac{z^k}{k!}} \quad \mbox{where} \quad \gamma_k \sim \mathcal{N}_{\mathbb{C}}(0,1).$$ We discuss some numerical examples suggesting that this particular solution may be stable. We prove that the solution is linearly stable. The linear stability analysis reduces to the classical Hardy integral inequality. Many open problems are discussed.


title: Structured Low-Rank Algorithms: Theory, MR Applications, and Links to Machine Learning

abstract: In this survey, we provide a detailed review of recent advances in the recovery of continuous domain multidimensional signals from their few non-uniform (multichannel) measurements using structured low-rank matrix completion formulation. This framework is centered on the fundamental duality between the compactness (e.g., sparsity) of the continuous signal and the rank of a structured matrix, whose entries are functions of the signal. This property enables the reformulation of the signal recovery as a low-rank structured matrix completion, which comes with performance guarantees. We will also review fast algorithms that are comparable in complexity to current compressed sensing methods, which enables the application of the framework to large-scale magnetic resonance (MR) recovery problems. The remarkable flexibility of the formulation can be used to exploit signal properties that are difficult to capture by current sparse and low-rank optimization strategies. We demonstrate the utility of the framework in a wide range of MR imaging (MRI) applications, including highly accelerated imaging, calibration-free acquisition, MR artifact correction, and ungated dynamic MRI.


title: Understanding and Quantifying Adversarial Examples Existence in Linear Classification

abstract: State-of-art deep neural networks (DNN) are vulnerable to attacks by adversarial examples: a carefully designed small perturbation to the input, that is imperceptible to human, can mislead DNN. To understand the root cause of adversarial examples, we quantify the probability of adversarial example existence for linear classifiers. Previous mathematical definition of adversarial examples only involves the overall perturbation amount, and we propose a more practical relevant definition of strong adversarial examples that separately limits the perturbation along the signal direction also. We show that linear classifiers can be made robust to strong adversarial examples attack in cases where no adversarial robust linear classifiers exist under the previous definition. The quantitative formulas are confirmed by numerical experiments using a linear support vector machine (SVM) classifier. The results suggest that designing general strong-adversarial-robust learning systems is feasible but only through incorporating human knowledge of the underlying classification problem.


title: Variational Quantum Algorithms for Dimensionality Reduction and Classification

abstract: In this work, we present a quantum neighborhood preserving embedding and a quantum local discriminant embedding for dimensionality reduction and classification. We demonstrate that these two algorithms have an exponential speedup over their respectively classical counterparts. Along the way, we propose a variational quantum generalized eigenvalue solver that finds the generalized eigenvalues and eigenstates of a matrix pencil $(\mathcal{G},\mathcal{S})$. As a proof-of-principle, we implement our algorithm to solve $2^5\times2^5$ generalized eigenvalue problems. Finally, our results offer two optional outputs with quantum or classical form, which can be directly applied in another quantum or classical machine learning process.


title: Adversarial Defense via Local Flatness Regularization

abstract: Adversarial defense is a popular and important research area. Due to its intrinsic mechanism, one of the most straightforward and effective ways of defending attacks is to analyze the property of loss surface in the input space. In this paper, we define the local flatness of the loss surface as the maximum value of the chosen norm of the gradient regarding to the input within a neighborhood centered on the benign sample, and discuss the relationship between the local flatness and adversarial vulnerability. Based on the analysis, we propose a novel defense approach via regularizing the local flatness, dubbed local flatness regularization (LFR). We also demonstrate the effectiveness of the proposed method from other perspectives, such as human visual mechanism, and analyze the relationship between LFR and other related methods theoretically. Experiments are conducted to verify our theory and demonstrate the superiority of the proposed method.


title: Improved Zeroth-Order Variance Reduced Algorithms and Analysis for Nonconvex Optimization

abstract: Two types of zeroth-order stochastic algorithms have recently been designed for nonconvex optimization respectively based on the first-order techniques SVRG and SARAH/SPIDER. This paper addresses several important issues that are still open in these methods. First, all existing SVRG-type zeroth-order algorithms suffer from worse function query complexities than either zeroth-order gradient descent (ZO-GD) or stochastic gradient descent (ZO-SGD). In this paper, we propose a new algorithm ZO-SVRG-Coord-Rand and develop a new analysis for an existing ZO-SVRG-Coord algorithm proposed in Liu et al. 2018b, and show that both ZO-SVRG-Coord-Rand and ZO-SVRG-Coord (under our new analysis) outperform other exiting SVRG-type zeroth-order methods as well as ZO-GD and ZO-SGD. Second, the existing SPIDER-type algorithm SPIDER-SZO (Fang et al. 2018) has superior theoretical performance, but suffers from the generation of a large number of Gaussian random variables as well as a $\sqrt{\epsilon}$-level stepsize in practice. In this paper, we develop a new algorithm ZO-SPIDER-Coord, which is free from Gaussian variable generation and allows a large constant stepsize while maintaining the same convergence rate and query complexity, and we further show that ZO-SPIDER-Coord automatically achieves a linear convergence rate as the iterate enters into a local PL region without restart and algorithmic modification.


title: On a variational formulation of the weakly nonlinear magnetic Rayleigh--Taylor instability

abstract: The magnetic-Rayleigh--Taylor (MRT) instability is a ubiquitous phenomenon that occurs in magnetically-driven Z-pinch implosions. It is important to understand this instability since it can decrease the performance of such implosions. In this work, I present a theoretical model for the weakly nonlinear MRT instability. I obtain such model by asymptotically expanding an action principle, whose Lagrangian leads to the fully nonlinear MRT equations. After introducing a suitable choice of coordinates, I show that the theory can be cast as a Hamiltonian system, whose Hamiltonian is calculated up to sixth order in a perturbation parameter. The resulting theory captures the harmonic generation of MRT modes. In particular, it is shown that the saturation amplitude of the linear MRT instability grows as the stabilization effect of the magnetic-field tension increases. Overall, the theory provides an intuitive interpretation of the weakly nonlinear MRT instability and provides a systematic approach for studying this instability in more complex settings.


title: Accounting for Smoking in Forecasting Mortality and Life Expectancy

abstract: Smoking is one of the main risk factors that has affected human mortality and life expectancy over the past century. Smoking accounts for a large part of the nonlinearities in the growth of life expectancy and of the geographic and sex differences in mortality. As Bongaarts (2006) and Janssen (2018) suggested, accounting for smoking could improve the quality of mortality forecasts due to the predictable nature of the smoking epidemic. We propose a new Bayesian hierarchical model to forecast life expectancy at birth for both sexes and for 69 countries with good data on smoking-related mortality. The main idea is to convert the forecast of the non-smoking life expectancy at birth (i.e., life expectancy at birth removing the smoking effect) into life expectancy forecast through the use of the age-specific smoking attributable fraction (ASSAF). We introduce a new age-cohort model for the ASSAF and a Bayesian hierarchical model for non-smoking life expectancy at birth. The forecast performance of the proposed method is evaluated by out-of-sample validation compared with four other commonly used methods for life expectancy forecasting. Improvements in forecast accuracy and model calibration based on the new method are observed.


title: Computing the Center Region and Its Variants

abstract: We present an $O(n^2\log^4 n)$-time algorithm for computing the center region of a set of $n$ points in the three-dimensional Euclidean space. This improves the previously best known algorithm by Agarwal, Sharir and Welzl, which takes $O(n^{2+\epsilon})$ time for any $\epsilon > 0$. It is known that the combinatorial complexity of the center region is $\Omega(n^2)$ in the worst case, thus our algorithm is almost tight. We also consider the problem of computing a colored version of the center region in the two-dimensional Euclidean space and present an $O(n\log^4 n)$-time algorithm.


title: Distribution of extreme first passage times of diffusion

abstract: Many events in biology are triggered when a diffusing searcher finds a target, which is called a first passage time (FPT). The overwhelming majority of FPT studies have analyzed the time it takes a single searcher to find a target. However, the more relevant timescale in many biological systems is the time it takes the fastest searcher(s) out of many searchers to find a target, which is called an extreme FPT. In this paper, we apply extreme value theory to find a tractable approximation for the full probability distribution of extreme FPTs of diffusion. This approximation can be easily applied in many diverse scenarios, as it depends on only a few properties of the short time behavior of the survival probability of a single FPT. We find this distribution by proving that a careful rescaling of extreme FPTs converges in distribution as the number of searchers grows. This limiting distribution is a type of Gumbel distribution and involves the LambertW function. This analysis yields new explicit formulas for approximations of statistics of extreme FPTs (mean, variance, moments, etc.) which are highly accurate and are accompanied by rigorous error estimates.


title: Model theory of differential-henselian pre-$H$-fields

abstract: Pre-$H$-fields are ordered valued differential fields satisfying some basic axioms coming from transseries and Hardy fields. We study pre-$H$-fields that are differential-Hensel-Liouville closed, that is, differential-henselian, real closed, and closed under exponential integration, establishing an Ax--Kochen/Ershov theorem for such structures: the theory of a differential-Hensel-Liouville closed pre-$H$-field is determined by the theory of its ordered differential residue field; this result fails if the assumption of closure under exponential integration is dropped. In a two-sorted setting with one sort for a differential-Hensel-Liouville closed pre-$H$-field and one sort for its ordered differential residue field, we eliminate quantifiers from the pre-$H$-field sort, from which we deduce that the ordered differential residue field is stably embedded and if it has NIP, then so does the two-sorted structure. Similarly, the one-sorted theory of differential-Hensel-Liouville closed pre-$H$-fields with closed ordered differential residue field has quantifier elimination, is the model completion of the theory of pre-$H$-fields with gap~$0$, and is complete, distal, and locally o-minimal.


title: Near-Optimal Bounds for Online Caching with Machine Learned Advice

abstract: In the model of online caching with machine learned advice, introduced by Lykouris and Vassilvitskii, the goal is to solve the caching problem with an online algorithm that has access to next-arrival predictions: when each input element arrives, the algorithm is given a prediction of the next time when the element will reappear. The traditional model for online caching suffers from an $\Omega(\log k)$ competitive ratio lower bound (on a cache of size $k$). In contrast, the augmented model admits algorithms which beat this lower bound when the predictions have low error, and asymptotically match the lower bound when the predictions have high error, even if the algorithms are oblivious to the prediction error. In particular, Lykouris and Vassilvitskii showed that there is a prediction-augmented caching algorithm with a competitive ratio of $O(1+\min(\sqrt{\eta/OPT}, \log k))$ when the overall $\ell_1$ prediction error is bounded by $\eta$, and $OPT$ is the cost of the optimal offline algorithm. The dependence on $k$ in the competitive ratio is optimal, but the dependence on $\eta/OPT$ may be far from optimal. In this work, we make progress towards closing this gap. Our contributions are twofold. First, we provide an improved algorithm with a competitive ratio of $O(1 + \min((\eta/OPT)/k, 1) \log k)$. Second, we provide a lower bound of $\Omega(\log \min((\eta/OPT)/(k \log k), k))$.


title: Cosmological model-independent constraints on spatial curvature from strong gravitational lensing and type Ia supernova observations

abstract: Applying the distance sum rule in strong gravitational lensing (SGL) and type Ia supernova (SN Ia) observations, one can provide an interesting cosmological model-independent method to determine the cosmic curvature parameter $\Omega_k$. In this paper, with the newly compiled data sets including 161 galactic-scale SGL systems and 1048 SN Ia data, we place constraints on $\Omega_k$ within the framework of three types of lens models extensively used in SGL studies. Moreover, to investigate the effect of different mass lens samples on the results, we divide the SGL sample into three sub-samples based on the center velocity dispersion of intervening galaxies. In the singular isothermal sphere (SIS) and extended power-law lens models, a flat universe is supported with the uncertainty about 0.2, while a closed universe is preferred in the power-law lens model. We find that the choice of lens models and the classification of SGL data actually can influence the constraints on $\Omega_k$ significantly.


title: A Semi-parametric Bayesian Approach to Population Finding with Time-to-Event and Toxicity Data in a Randomized Clinical Trial

abstract: A utility-based Bayesian population finding (BaPoFi) method was proposed by Morita and M\"uller (2017, Biometrics, 1355-1365) to analyze data from a randomized clinical trial with the aim of identifying good predictive baseline covariates for optimizing the target population for a future study. The approach casts the population finding process as a formal decision problem together with a flexible probability model using a random forest to define a regression mean function. BaPoFi is constructed to handle a single continuous or binary outcome variable. In this paper, we develop BaPoFi-TTE as an extension of the earlier approach for clinically important cases of time-to-event (TTE) data with censoring, and also accounting for a toxicity outcome. We model the association of TTE data with baseline covariates using a semi-parametric failure time model with a P\'olya tree prior for an unknown error term and a random forest for a flexible regression mean function. We define a utility function that addresses a trade-off between efficacy and toxicity as one of the important clinical considerations for population finding. We examine the operating characteristics of the proposed method in extensive simulation studies. For illustration, we apply the proposed method to data from a randomized oncology clinical trial. Concerns in a preliminary analysis of the same data based on a parametric model motivated the proposed more general approach.


title: Small Memory Robust Simulation of Client-Server Interactive Protocols over Oblivious Noisy Channels

abstract: We revisit the problem of low-memory robust simulation of interactive protocols over noisy channels. Haeupler [FOCS 2014] considered robust simulation of two-party interactive protocols over oblivious, as well as adaptive, noisy channels. Since the simulation does not need to have fixed communication pattern, the achieved communication rates can circumvent the lower bound proved by Kol and Raz [STOC 2013]. However, a drawback of this approach is that each party needs to remember the whole history of the simulated transcript. In a subsequent manuscript, Haeupler and Resch considered low-memory simulation. The idea was to view the original protocol as a computational DAG and only the identities of the nodes are saved (as opposed to the whole transcript history) for backtracking to reduce memory usage. In this paper, we consider low-memory robust simulation of more general client-server interactive protocols, in which a leader communicates with other members/servers, who do not communicate among themselves; this setting can be applied to information-theoretic multi-server Private Information Retrieval (PIR) schemes. We propose an information-theoretic technique that converts any correct PIR protocol that assumes reliable channels, into a protocol which is both correct and private in the presence of a noisy channel while keeping the space complexity to a minimum. Despite the huge attention that PIR protocols have received in the literature, the existing works assume that the parties communicate using noiseless channels.


title: Critical loci and second-order singularities in arbitrary characteristic

abstract: The critical loci of a map $f:X\to Y$ between smooth schemes over a field $k$ are the locally closed subschemes $\Sigma^i(f)\subseteq X$ where the differential of $f$ has constant rank. We prove that if $f : X\to \mathbb A^r$ is the general member of a suitably large linear family of maps from a smooth $k$-scheme $X$ to affine space, then the critical loci $\Sigma^i(f)$ are smooth, except in characteristic 2 where the first critical locus $\Sigma^1(f)$ may be singular at a finite set of points. Moreover, we compute the codimensions of the loci of second order singularities of such general maps $f :X \to \mathbb A^r$. In characteristics different from 2, the codimensions we find agree with those found by Levine in the context of differential topology. Finally, assuming that $k$ is an algebraically closed and $\dim X\ge \dim Y$, we give a local description of an arbitrary map $f :X \to Y$ at points of its first critical locus $\Sigma^1(f)$. In the case of functions and nondegenerate critical points, this description recovers the usual one from Morse theory.


title: Computing a Geodesic Two-Center of Points in a Simple Polygon

abstract: Given a simple polygon $P$ and a set $Q$ of points contained in $P$, we consider the geodesic $k$-center problem where we want to find $k$ points, called \emph{centers}, in $P$ to minimize the maximum geodesic distance of any point of $Q$ to its closest center. In this paper, we focus on the case for $k=2$ and present the first exact algorithm that efficiently computes an optimal $2$-center of $Q$ with respect to the geodesic distance in $P$.


title: Secret Key Generation via Pulse-Coupled Synchronization

abstract: A novel framework for sharing common randomness and generating secret keys in wireless networks is considered. In particular, a network of users equipped with pulse oscillators (POs) and coupling mechanisms in between is considered. Such mechanisms exist in synchronized biological and natural systems, and have been exploited to provide synchronization in distributed networks. We show that naturally-existing initial random phase differences between the POs in the network can be utilized to provide almost identical common randomness to the users. This randomness is extracted from the synchronization time in the network. Bounds on the entropy of such randomness are derived for a two-user system and a conjecture is made for a general $n$-user system. Then, a three-terminal scenario is considered including two legitimate users and a passive eavesdropper, referred to as Eve. Since in a practical setting Eve receives pulses with propagation delays, she can not identify the exact synchronization time. A simplified model is then considered for Eve's receiver and then a bound on the rate of secret key generation is derived. Also, it is shown, under certain conditions, that the proposed protocol is resilient to an active jammer equipped with a similar pulse generation mechanism.


title: BAIL: Best-Action Imitation Learning for Batch Deep Reinforcement Learning

abstract: There has recently been a surge in research in batch Deep Reinforcement Learning (DRL), which aims for learning a high-performing policy from a given dataset without additional interactions with the environment. We propose a new algorithm, Best-Action Imitation Learning (BAIL), which strives for both simplicity and performance. BAIL learns a V function, uses the V function to select actions it believes to be high-performing, and then uses those actions to train a policy network using imitation learning. For the MuJoCo benchmark, we provide a comprehensive experimental study of BAIL, comparing its performance to four other batch Q-learning and imitation-learning schemes for a large variety of batch datasets. Our experiments show that BAIL's performance is much higher than the other schemes, and is also computationally much faster than the batch Q-learning schemes.


title: SoulMate: Short-text author linking through Multi-aspect temporal-textual embedding

abstract: Linking authors of short-text contents has important usages in many applications, including Named Entity Recognition (NER) and human community detection. However, certain challenges lie ahead. Firstly, the input short-text contents are noisy, ambiguous, and do not follow the grammatical rules. Secondly, traditional text mining methods fail to effectively extract concepts through words and phrases. Thirdly, the textual contents are temporally skewed, which can affect the semantic understanding by multiple time facets. Finally, using the complementary knowledge-bases makes the results biased to the content of the external database and deviates the understanding and interpretation away from the real nature of the given short text corpus. To overcome these challenges, we devise a neural network-based temporal-textual framework that generates the tightly connected author subgraphs from microblog short-text contents. Our approach, on the one hand, computes the relevance score (edge weight) between the authors through considering a portmanteau of contents and concepts, and on the other hand, employs a stack-wise graph cutting algorithm to extract the communities of the related authors. Experimental results show that compared to other knowledge-centered competitors, our multi-aspect vector space model can achieve a higher performance in linking short-text authors. Additionally, given the author linking task, the more comprehensive the dataset is, the higher the significance of the extracted concepts will be.


title: Multi-source Domain Adaptation for Semantic Segmentation

abstract: Simulation-to-real domain adaptation for semantic segmentation has been actively studied for various applications such as autonomous driving. Existing methods mainly focus on a single-source setting, which cannot easily handle a more practical scenario of multiple sources with different distributions. In this paper, we propose to investigate multi-source domain adaptation for semantic segmentation. Specifically, we design a novel framework, termed Multi-source Adversarial Domain Aggregation Network (MADAN), which can be trained in an end-to-end manner. First, we generate an adapted domain for each source with dynamic semantic consistency while aligning at the pixel-level cycle-consistently towards the target. Second, we propose sub-domain aggregation discriminator and cross-domain cycle discriminator to make different adapted domains more closely aggregated. Finally, feature-level alignment is performed between the aggregated domain and target domain while training the segmentation network. Extensive experiments from synthetic GTA and SYNTHIA to real Cityscapes and BDDS datasets demonstrate that the proposed MADAN model outperforms state-of-the-art approaches. Our source code is released at: https://github.com/Luodian/MADAN.


title: Ruppeiner thermodynamic geometry for the Schwarzschild-AdS black hole

abstract: Due to the non-independence of entropy and thermodynamic volume for spherically symmetric black holes in the AdS spacetime, when applying the Ruppeiner thermodynamic geometry theory to these black holes, we often encounter an unavoidable problem of the singularity about the line element of thermodynamic geometry. In this paper, we propose a basic and natural scheme for dealing with the thermodynamic geometry of spherically symmetric AdS black holes. We point out that enthalpy, not internal energy, is the fundamental thermodynamic characteristic function for the Ruppeiner thermodynamic geometry. Based on this fact, we give the specific forms of the line element of thermodynamic geometry for Schwarzschild AdS (SAdS) black hole in different phase spaces and the results show that the thermodynamic curvatures obtained in different phase spaces are equivalent. It is shown that the thermodynamic curvature is negative which implies that the attractive interaction dominates between black hole molecules for the SAdS black hole. Meanwhile we also give an approximate expression of the thermodynamic curvature of the Schwarzschild black hole which indicates that the black hole is dominated by repulsion on low temperature region and by attraction on high temperature region.


title: Region crossing change on spatial theta-curves

abstract: A region crossing change at a region of a spatial-graph diagram is a transformation changing every crossing on the boundary of the region. In this paper, it is shown that every spatial graph consisting of theta-curves can be unknotted by region crossing changes.