title: Constraints on the neutron star equation of state from AT2017gfo using radiative transfer simulations

abstract: The detection of the binary neutron star GW170817 together with the observation of electromagnetic counterparts across the entire spectrum inaugurated a new era of multi-messenger astronomy. In this study we incorporate wavelength-dependent opacities and emissivities calculated from atomic-structure data enabling us to model both the measured lightcurves and spectra of the electromagnetic transient AT2017gfo. Best-fits of the observational data are obtained by Gaussian Process Regression, which allows us to present posterior samples for the kilonova and source properties connected to GW170817. Incorporating constraints obtained from the gravitational wave signal obtained by the LIGO-Virgo Scientific Collaboration, we present a $90\%$ upper bound on the mass ratio $q \lesssim 1.38$ and a lower bound on the tidal deformability of $\tilde{\Lambda} \gtrsim 197$, which rules out sufficiently soft equations of state. Our analysis is a path-finder for more realistic kilonova models and shows how the combination of gravitational wave and electromagnetic measurements allow for stringent constraints on the source parameters and the supranuclear equation of state.


title: Gradual pressure-induced change in the magnetic structure of the non-collinear antiferromagnet Mn$_3$Ge

abstract: By means of powder neutron diffraction we investigate changes in the magnetic structure of the coplanar non-collinear antiferromagnet Mn$_3$Ge caused by an application of hydrostatic pressure up to 5\phantom{ }GPa. At ambient conditions the kagom\'e layers of Mn atoms in Mn$_3$Ge order in a triangular 120$^{\circ}$ spin structure. Under high pressure the spins acquire a uniform out-of-plane canting, gradually transforming the magnetic texture to a non-coplanar configuration. With increasing pressure the canted structure fully transforms into the collinear ferromagnetic one. We observed that magnetic order is accompanied by a noticeable magnetoelastic effect, namely, spontaneous magnetostriction. The latter induces an in-plane magnetostrain of the hexagonal unit cell at ambient pressure and flips to an out-of-plane strain at high pressures in accordance with the change of the magnetic structure.


title: On the cohomology of congruence subgroups of GL3 over the Eisenstein integers

abstract: Let F be the imaginary quadratic field of discriminant -3 and OF its ring of integers. Let Gamma be the arithmetic group GL_3 (OF), and for any ideal n subset OF let Gamma_0 (n) be the congruence subgroup of level n consisting of matrices with bottom row (0,0,*) bmod n. In this paper we compute the cohomology spaces H^{nu - 1} (Gamma_0 (n); C) as a Hecke module for various levels n, where nu is the virtual cohomological dimension of Gamma. This represents the first attempt at such computations for GL_3 over an imaginary quadratic field, and complements work of Grunewald--Helling--Mennicke and Cremona, who computed the cohomology of GL_2 over imaginary quadratic fields. In our results we observe a variety of phenomena, including cohomology classes that apparently correspond to nonselfdual cuspforms on GL_3/F.


title: A stronger reformulation of Webb's conjecture in terms of finite topological spaces

abstract: We investigate a stronger formulation of Webb's conjecture on the contractibilty of the orbit space of the p-subgroup complexes in terms of finite topological spaces. The original conjecture, which was first proved by Symonds and, more recently, by Bux, Libman and Linckelmann, can be restated in terms of the topology of certain finite spaces. We propose a stronger conjecture, and prove various particular cases by combining fusion theory of finite groups and homotopy theory of finite spaces.


title: Simulated Analogs of Merging Galaxy Clusters Constrain the Viewing Angle

abstract: A key uncertainty in interpreting observations of bimodal merging galaxy clusters is the unknown angle between the subcluster separation vector and the plane of the sky. We present a new method for constraining this key parameter. We find analogs of observed systems in cosmological n-body simulations and quantify their likelihood of matching the observed projected separation and relative radial velocities between subclusters, as a function of viewing angle. We derive constraints on the viewing angle of many observed bimodal mergers including the Bullet Cluster (1E 0657-558) and El Gordo (ACT-CL J0102-4915). We also present more generic constraints as a function of projected separation and relative radial velocity, which can be used to assess additional clusters as information about them becomes available. The constraints from these two observables alone are weak (typically $\gtrsim 70-75^\circ$ at 68\% confidence and $\gtrsim 55-60^\circ$ at 95\% confidence) but incorporate much more cosmological context than the classical timing argument, marginalizing over many realizations of substructure, peculiar velocities, and so on. Compared to the MCMAC code, which implements the timing argument on NFW halos, our constraints generally predict subcluster separation vectors closer to the plane of the sky. This is because in realistic mergers the subcluster velocity vectors are not entirely parallel to the separation vector (i.e, the mergers are not perfectly head-on). As a result, observation of a nonzero relative radial velocity does not exclude a separation vector in the plane of the sky, as it does in the head-on timing argument employed by MCMAC.


title: On the secondary Upsilon invariant

abstract: In this paper we construct an infinite family of knots with vanishing Upsilon invariant $\Upsilon$, although their secondary Upsilon invariants $\Upsilon^2$ show that they are linearly independent in the smooth knot concordance group. We also prove a conjecture in a paper by Allen.


title: Formation of topological vortices during superfluid transition in a rotating vessel

abstract: Formation of topological defects during symmetry breaking phase transitions via the {\it Kibble mechanism} is extensively used in systems ranging from condensed matter physics to the early stages of the universe. Kibble mechanism uses topological arguments and predicts equal probabilities for the formation of defects and anti-defects. Certain situations, however, require a net bias in the production of defects (or antidefects) during the transition, for example, superfluid transition in a rotating vessel, or flux tubes formation in a superconducting transition in the presence of external magnetic field. In this paper we present a modified Kibble mechanism for a specific system, $^4$He superfluid transition in a rotating vessel, which can produce the required bias of vortices over antivortices. Our results make distinctive predictions which can be tested in superfluid $^4$He experiments. These results also have important implications for superfluid phase transitions in rotating neutron stars and also for any superfluid phases of QCD arising in the non-central low energy heavy-ion collision experiment due to an overall rotation.

categories: cond-mat.other astro-ph.CO hep-ph hep-th nucl-th


title: Convolutional Polar Codes on Channels with Memory using Tensor Networks

abstract: Arikan's recursive code construction is designed to polarize a collection of memoryless channels into a set of good and a set of bad channels, and it can be efficiently decoded using successive cancellation. It was recently shown that the same construction also polarizes channels with memory, and a generalization of successive cancellation decoder was proposed with a complexity that scales like the third power of the channel's memory size. In another line of work, the polar code construction was extended by replacing the block polarization kernel by a convoluted kernel. Here, we present an efficient decoding algorithm for finite-state memory channels that can be applied to polar codes and convolutional polar codes. This generalization is most effectively described using the tensor network formalism, and the manuscript presents a self-contained description of the required basic concepts. We use numerical simulations to study the performance of these algorithms for practically relevant code sizes and find that the convolutional structure outperforms the standard polar codes on a variety of channels with memory.


title: Heterogeneously integrated GaAs waveguides on insulator for efficient frequency conversion

abstract: Tremendous scientific progress has been achieved through the development of nonlinear integrated photonics. Prominent examples are Kerr-frequency-comb generation in micro-resonators, and supercontinuum generation and frequency conversion in nonlinear photonic waveguides. High conversion efficiency is enabling for applications of nonlinear optics, including such broad directions as high-speed optical signal processing, metrology, and quantum communication and computation. In this work, we demonstrate a gallium-arsenide-on-insulator (GaAs) platform for nonlinear photonics. GaAs has among the highest second- and third-order nonlinear optical coefficients, and use of a silica cladding results in waveguides with a large refractive index contrast and low propagation loss for expanded design of nonlinear processes. By harnessing these properties and developing nanofabrication with GaAs, we report a record normalized second-harmonic efficiency of 13,000% W-1cm-2 at a fundamental wavelength of 2 um. This work paves the way for high performance nonlinear photonic integrated circuits (PICs), which not only can transition advanced functionalities outside the lab through fundamentally reduced power consumption and footprint, but also enables future optical sources and detectors.


title: Anonymizing k-Facial Attributes via Adversarial Perturbations

abstract: A face image not only provides details about the identity of a subject but also reveals several attributes such as gender, race, sexual orientation, and age. Advancements in machine learning algorithms and popularity of sharing images on the World Wide Web, including social media websites, have increased the scope of data analytics and information profiling from photo collections. This poses a serious privacy threat for individuals who do not want to be profiled. This research presents a novel algorithm for anonymizing selective attributes which an individual does not want to share without affecting the visual quality of images. Using the proposed algorithm, a user can select single or multiple attributes to be surpassed while preserving identity information and visual content. The proposed adversarial perturbation based algorithm embeds imperceptible noise in an image such that attribute prediction algorithm for the selected attribute yields incorrect classification result, thereby preserving the information according to user's choice. Experiments on three popular databases i.e. MUCT, LFWcrop, and CelebA show that the proposed algorithm not only anonymizes k-attributes, but also preserves image quality and identity information.


title: Revealing Optical Transitions and Carrier Recombination Dynamics within the Bulk Band Structure of Bi2Se3

abstract: Bismuth selenide (Bi2Se3) is a prototypical three-dimensional topological insulator whose Dirac surface states have been extensively studied theoretically and experimentally. Surprisingly little, however, is known about the energetics and dynamics of electrons and holes within the bulk band structure of the semiconductor. We use mid-infrared femtosecond transient reflectance measurements in a thick exfoliated nanoflake to study the ultrafast thermalization and recombination dynamics of photoexcited electrons and holes within the extended bulk band structure over a wide energy range (0.3-1.2 eV). Theoretical modeling of the reflectivity spectral lineshapes at 10 K demonstrates that the electrons and holes are photoexcited within a dense and cold electron gas with a Fermi level positioned well above the bottom of the lowest conduction band. Direct optical transitions from the first and the second spin-orbit split valence bands to the Fermi level above the lowest conduction band minimum are identified. The photoexcited carriers thermalize rapidly to the lattice temperature within a couple of picoseconds due to optical phonon emission and scattering with the cold electron gas. The minority carrier holes recombine with the dense electron gas within 150 ps at 10 K and 50 ps at 300 K. Such knowledge of interaction of electrons and holes within the bulk band structure provides a foundation for understanding of how such states interact dynamically with the topologically protected Dirac surface states.


title: Constrained energy minimization based upscaling for coupled flow and mechanics

abstract: In this paper, our aim is to present (1) an embedded fracture model (EFM) for coupled flow and mechanics problem based on the dual continuum approach on the fine grid and (2) an upscaled model for the resulting fine grid equations. The mathematical model is described by the coupled system of equation for displacement, fracture and matrix pressures. For a fine grid approximation, we use the finite volume method for flow problem and finite element method for mechanics. Due to the complexity of fractures, solutions have a variety of scales, and fine grid approximation results in a large discrete system. Our second focus in on constructing the upscaled coarse grid poroelasticity model for fractured media. Our upscaled approach is based on the nonlocal multicontinuum (NLMC) upscaling for coupled flow and mechanics problem, which involves computations of local basis functions via an energy minimization principle. This concept allows a systematic upscaling for processes in the fractured porous media, and provides an effective coarse scale model whose degrees of freedoms have physical meaning. We obtain a fast and accurate solver for the poroelasticity problem on a coarse grid and, at the same time, derive a novel upscaled model. We present numerical results for the two dimensional model problem.


title: Kernel Classes of Varieties of Completely Regular Semigroups I

abstract: Several complete congruences on the lattice L(CR) of varieties of completely regular semi- groups have been fundamental to studies of the structure of L(CR). These are the kernel relation K , the left trace relation Tl , the right trace relation Tr and their intersections K\capTl,K\cap Tr . However, with the exception of the lattice of all band varieties which happens to coincide with the kernel class of the trivial variety, almost nothing is known about the internal structure of individual K-classes beyond the fact that they are intervals in L(CR). Here we present a number of general results that are pertinent to the study of K -classes. This includes a variation of the renowned Polak Theorem and its relationship to the complete retraction V -> V \cap B , where B denotes the variety of bands. These results are then applied, here and in a sequel, to the detailed analysis of certain families of K -classes. The paper concludes with results hinting at the complexity of K -classes in general, such as that the classes of relation K/Kl may have the cardinality of the continuum.


title: Observation of an excited $\Omega^-$ baryon

abstract: Using data recorded with the Belle detector, we observe a new excited hyperon, an $\Omega^{*-}$ candidate decaying into $\Xi^0K^-$ and $\Xi^-K^0_S$ with a mass of $2012.4\pm0.7\ {\rm (stat)\pm\ 0.6\ (\rm syst)}\ {\rm MeV}/c^2$ and a width of $\Gamma=6.4^{+2.5}_{-2.0}\ {\rm(stat)}\pm1.6\ {\rm(syst)}\ {\rm MeV}$. The $\Omega^{*-}$ is seen primarily in $\Upsilon(1S), \Upsilon(2S)$, and $\Upsilon(3S)$ decays.


title: Cyclic Changes of the Sun's Seismic Radius

abstract: The questions whether the Sun shrinks with the solar activity and what causes this have been a subject of debate. Helioseismology provides means to measure with high precision the radial displacement of subsurface layers, co-called "seismic radius", through analysis of oscillation frequencies of surface gravity (f) modes. Here, we present results of a new analysis of twenty one years of helioseismology data from two space missions, Solar and Heliospheric Observatory (SoHO) and Solar Dynamics Observatory (SDO), which allow us to resolve previous uncertainties and compare variations of the seismic radius in two solar cycles. After removing the f-mode frequency changes associated with the surface activity we find that the mean seismic radius is reduced by 1-2 km during the solar maxima, and that most significant variations of the solar radius occur beneath the visible surface of the Sun at the depth of about 5 Mm, where the radius is reduced by 5-8 km. These variations can be interpreted as changes in the solar subsurface structure caused by predominately vertical ~10 kG magnetic field.


title: Predictive Local Smoothness for Stochastic Gradient Methods

abstract: Stochastic gradient methods are dominant in nonconvex optimization especially for deep models but have low asymptotical convergence due to the fixed smoothness. To address this problem, we propose a simple yet effective method for improving stochastic gradient methods named predictive local smoothness (PLS). First, we create a convergence condition to build a learning rate which varies adaptively with local smoothness. Second, the local smoothness can be predicted by the latest gradients. Third, we use the adaptive learning rate to update the stochastic gradients for exploring linear convergence rates. By applying the PLS method, we implement new variants of three popular algorithms: PLS-stochastic gradient descent (PLS-SGD), PLS-accelerated SGD (PLS-AccSGD), and PLS-AMSGrad. Moreover, we provide much simpler proofs to ensure their linear convergence. Empirical results show that the variants have better performance gains than the popular algorithms, such as, faster convergence and alleviating explosion and vanish of gradients.


title: Left Ideal Preserving Maps on Triangular Algebras

abstract: Let A be a unital algebra over a commutative unital ring R. We say that A is a SLIP algebra if every R-linear map on A that leaves invariant every left ideal of A is a left multiplier. In this paper we study whether a triangular algebra Tri(A,M,B) is a SLIP algebra and give some necessary or sufficient conditions for a triangular algebra be a SLIP algebra, and various examples are given which illustrate limitations on extending some of the theory developed. Then our results are applied to generalized triangular matrix algebras and block upper triangular algebras. Also, some SLIP algebras other that triangular algebras are provided.


title: Regret Bounds for Robust Adaptive Control of the Linear Quadratic Regulator

abstract: We consider adaptive control of the Linear Quadratic Regulator (LQR), where an unknown linear system is controlled subject to quadratic costs. Leveraging recent developments in the estimation of linear systems and in robust controller synthesis, we present the first provably polynomial time algorithm that provides high probability guarantees of sub-linear regret on this problem. We further study the interplay between regret minimization and parameter estimation by proving a lower bound on the expected regret in terms of the exploration schedule used by any algorithm. Finally, we conduct a numerical study comparing our robust adaptive algorithm to other methods from the adaptive LQR literature, and demonstrate the flexibility of our proposed method by extending it to a demand forecasting problem subject to state constraints.


title: Embedding Syntax and Semantics of Prepositions via Tensor Decomposition

abstract: Prepositions are among the most frequent words in English and play complex roles in the syntax and semantics of sentences. Not surprisingly, they pose well-known difficulties in automatic processing of sentences (prepositional attachment ambiguities and idiosyncratic uses in phrases). Existing methods on preposition representation treat prepositions no different from content words (e.g., word2vec and GloVe). In addition, recent studies aiming at solving prepositional attachment and preposition selection problems depend heavily on external linguistic resources and use dataset-specific word representations. In this paper we use word-triple counts (one of the triples being a preposition) to capture a preposition's interaction with its attachment and complement. We then derive preposition embeddings via tensor decomposition on a large unlabeled corpus. We reveal a new geometry involving Hadamard products and empirically demonstrate its utility in paraphrasing phrasal verbs. Furthermore, our preposition embeddings are used as simple features in two challenging downstream tasks: preposition selection and prepositional attachment disambiguation. We achieve results comparable to or better than the state-of-the-art on multiple standardized datasets.


title: The unified higher-order dependency pair framework

abstract: In recent years, two higher-order extensions of the powerful dependency pair approach for termination analysis of first-order term rewriting have been defined: the static and the dynamic approach. Both approaches offer distinct advantages and disadvantages. However, a grand unifying theory is thus far missing, and both approaches lack the modularity present in the dependency pair framework commonly used in first-order rewriting. Moreover, neither approach can be used to prove non-termination. In this paper, we aim to address this gap by defining a higher-order dependency pair framework, integrating both approaches into a shared formal setup. The framework has been implemented in the (fully automatic) higher-order termination tool WANDA.


title: Classifying cooking object's state using a tuned VGG convolutional neural network

abstract: In robotics, knowing the object states and recognizing the desired states are very important. Objects at different states would require different grasping. To achieve different states, different manipulations would be required, as well as different grasping. To analyze the objects at different states, a dataset of cooking objects was created. Cooking consists of various cutting techniques needed for different dishes (e.g. diced, julienne etc.). Identifying each of this state of cooking objects by the human can be difficult sometimes too. In this paper, we have analyzed seven different cooking object states by tuning a convolutional neural network (CNN). For this task, images were downloaded and annotated by students and they are divided into training and a completely different test set. By tuning the vgg-16 CNN 77% accuracy was obtained. The work presented in this paper focuses on classification between various object states rather than task recognition or recipe prediction. This framework can be easily adapted in any other object state classification activity.


title: pMSE Mechanism: Differentially Private Synthetic Data with Maximal Distributional Similarity

abstract: We propose a method for the release of differentially private synthetic datasets. In many contexts, data contain sensitive values which cannot be released in their original form in order to protect individuals' privacy. Synthetic data is a protection method that releases alternative values in place of the original ones, and differential privacy (DP) is a formal guarantee for quantifying the privacy loss. We propose a method that maximizes the distributional similarity of the synthetic data relative to the original data using a measure known as the pMSE, while guaranteeing epsilon-differential privacy. Additionally, we relax common DP assumptions concerning the distribution and boundedness of the original data. We prove theoretical results for the privacy guarantee and provide simulations for the empirical failure rate of the theoretical results under typical computational limitations. We also give simulations for the accuracy of linear regression coefficients generated from the synthetic data compared with the accuracy of non-differentially private synthetic data and other differentially private methods. Additionally, our theoretical results extend a prior result for the sensitivity of the Gini Index to include continuous predictors.


title: Pouring Sequence Prediction using Recurrent Neural Network

abstract: Human does their daily activity and cooking by teaching and imitating with the help of their vision and understanding of the difference between materials. Teaching a robot to do coking and daily work is difficult because of variation in environment, handling objects at different states etc. Pouring is a simple human daily life activity. In this paper, an approach to get pouring sequences were analyzed for determining the velocity of pouring and weight of the container. Then recurrent neural network (RNN) was used to build a neural network to learn that complex sequence and predict for unseen pouring sequences. Dynamic time warping (DTW) was used to evaluate the prediction performance of the trained model.


title: Coloring general Kneser graphs and hypergraphs via high-discrepancy hypergraphs

abstract: We suggest a new method on coloring generalized Kneser graphs based on hypergraphs with high discrepancy and small number of edges. The main result is providing a proper coloring of K(n, n/2-t, s) in (4 + o(1))(s + t)^2 colors, which is produced by Hadamard matrices. Also, we show that for colorings by independent set of a natural type, this result is the best possible up to a multiplicative constant. Our method extends to Kneser hypergraphs as well.


title: Eigenvalues of the squared antipode in finite dimensional weak Hopf algebras

abstract: We extend Schaumann's theory of pivotal structures on fusion categories matched to a module category and of module traces developed in arXiv:1206.5716 to the case of non-semisimple tensor categories, and use it to study eigenvalues of the squared antipode $S^2$ in weak Hopf algebras. In particular, we diagonalize $S^2$ for semisimple weak Hopf algebras in characteristic zero, generalizing the result of Nikshych in the pseudounitary case. We show that the answer depends only on the Grothendieck group data of the pivotalizations of the categories involved and the global dimension of the fusion category (thus, all eigenvalues belong to the corresponding number field). On the other hand, we study the eigenvalues of $S^2$ on the non-semisimple weak Hopf algebras attached to dynamical quantum groups at roots of $1$ defined by D. Nikshych and the author in arXiv:math/0003221, and show that they depend nontrivially on the continuous parameters of the corresponding module category. We then compute these eigenvalues as rational functions of these parameters. The paper also contains an appendix by G. Schaumann discussing the connection between our generalization of module traces and the notion of an inner product module category introduced in arXiv:1405.5667.


title: Douglas-Rachford splitting for a Lipschitz continuous and a strongly monotone operator

abstract: The Douglas-Rachford method is a popular splitting technique for finding a zero of the sum of two subdifferential operators of proper closed convex functions; more generally two maximally monotone operators. Recent results concerned with linear rates of convergence of the method require additional properties of the underlying monotone operators, such as strong monotonicity and cocoercivity. In this paper, we study the case when one operator is Lipschitz continuous but not necessarily a subdifferential operator and the other operator is strongly monotone. This situation arises in optimization methods which involve primal-dual approaches. We provide new linear convergence results in this setting.


title: Identification in Nonparametric Models for Dynamic Treatment Effects

abstract: This paper develops a nonparametric model that represents how sequences of outcomes and treatment choices influence one another in a dynamic manner. In this setting, we are interested in identifying the average outcome for individuals in each period, had a particular treatment sequence been assigned. The identification of this quantity allows us to identify the average treatment effects (ATE's) and the ATE's on transitions, as well as the optimal treatment regimes, namely, the regimes that maximize the (weighted) sum of the average potential outcomes, possibly less the cost of the treatments. The main contribution of this paper is to relax the sequential randomization assumption widely used in the biostatistics literature by introducing a flexible choice-theoretic framework for a sequence of endogenous treatments. We show that the parameters of interest are identified under each period's two-way exclusion restriction, i.e., with instruments excluded from the outcome-determining process and other exogenous variables excluded from the treatment-selection process. We also consider partial identification in the case where the latter variables are not available. Lastly, we extend our results to a setting where treatments do not appear in every period.


title: On Fractional Diffusion-Advection-Reaction Equation In $\mathbb{R}$

abstract: We present an analysis of existence, uniqueness, and smoothness of the solution to a class of fractional ordinary differential equations posed on the whole real line that models a steady state behavior of a certain anomalous diffusion, advection, and reaction. The anomalous diffusion is modeled by the fractional Riemann-Liouville differential operators. The strong solution of the equation is sought in a Sobolev space defined by means of Fourier Transform. The key component of the analysis hinges on a characterization of this Sobolev space with the Riemann-Liouville derivatives that are understood in a weak sense. The existence, uniqueness, and smoothness of the solution is demonstrated with the assistance of several tools from functional and harmonic analyses.


title: The 2d-directed spanning forest converges to the Brownian web

abstract: The two-dimensional directed spanning forest (DSF) introduced by Baccelli and Bordenave is a planar directed forest whose vertex set is given by a homogeneous Poisson point process $\mathcal{N}$ on $\mathbb{R}^2$. If the DSF has direction $-e_y$, the ancestor $h(u)$ of a vertex $u \in \mathcal{N}$ is the nearest Poisson point (in the $L_2$ distance) having strictly larger $y$-coordinate. This construction induces complex geometrical dependencies. In this paper we show that the collection of DSF paths, properly scaled, converges in distribution to the Brownian web (BW). This verifies a conjecture made by Baccelli and Bordenave in 2007.


title: A hybrid approach of interpolations and CNN to obtain super-resolution

abstract: We propose a novel architecture that learns an end-to-end mapping function to improve the spatial resolution of the input natural images. The model is unique in forming a nonlinear combination of three traditional interpolation techniques using the convolutional neural network. Another proposed architecture uses a skip connection with nearest neighbor interpolation, achieving almost similar results. The architectures have been carefully designed to ensure that the reconstructed images lie precisely in the manifold of high-resolution images, thereby preserving the high-frequency components with fine details. We have compared with the state of the art and recent deep learning based natural image super-resolution techniques and found that our methods are able to preserve the sharp details in the image, while also obtaining comparable or better PSNR than them. Since our methods use only traditional interpolations and a shallow CNN with less number of smaller filters, the computational cost is kept low. We have reported the results of two proposed architectures on five standard datasets, for an upscale factor of 2. Our methods generalize well in most cases, which is evident from the better results obtained with increasingly complex datasets. For 4-times upscaling, we have designed similar architectures for comparing with other methods.


title: Ricci flow from some spaces with asymptotically cylindrical singularities

abstract: We prove the existence of Ricci flow starting from a class of metrics with unbounded curvature, which are doubly-warped products over an interval with a spherical factor pinched off at an end. These provide a forward evolution from some known and conjectured finite-time local singularities of Ricci flow, generalizing previous examples. The class also includes metrics with non-compact singular ends which become instantaneously compact. Furthermore, we prove local stability of the forward evolution, which allows us to glue it to other manifolds and create a forward evolution from spaces which are not globally warped products.


title: On a new class of infinitesimal group actions on pseudo-Riemannian manifolds

abstract: Using the Lie derivative of the metric we define a class of Lie algebras of vector fields by generalising the concept of Killing vectors. As a Lie algebra they define locally a group action on the pseudo-Riemannian manifold through exponentiation. The motivation behind studying these infinitesimal group actions is the investigation of $\mathcal{I}$-degenerate pseudo-Riemannian spaces, i.e., spaces having identical polynomial curvature invariants. In particular, we show that all the known examples of $\mathcal{I}$-degenerate pseudo-Riemannian spaces possess such vector fields.


title: A Projection Approach to Equality Constrained Iterative Linear Quadratic Optimal Control

abstract: This paper presents a state and state-input constrained variant of the discrete-time iterative Linear Quadratic Regulator (iLQR) algorithm, with linear time-complexity in the number of time steps. The approach is based on a projection of the control input onto the nullspace of the linearized constraints. We derive a fully constraint-compliant feedforward-feedback control update rule, for which we can solve efficiently with Riccati-style difference equations. We assume that the relative degree of all constraints in the discrete-time system model is equal to one, which often holds for robotics problems employing rigid-body dynamic models. Simulation examples, including a 6 DoF robotic arm, are given to validate and illustrate the performance of the method.


title: Effect of uniform electric field on the deformation of a 2D liquid droplet in confined simple shear flow

abstract: In the present study, we have studied the electro-hydrodynamic of a physical system where a Newtonian dielectric liquid column or droplet suspended in another Newtonian dielectric liquid medium in presence of a simple shear flow. Taking both the phases as leaky dielectric and perfect dielectric in to consideration, we have performed 2D numerical solution for capturing the essential features of droplet deformation in between the parallel plate configuration. For a perfect dielectric system, this study shows that the deformation characteristic follows a monotonic as well as non-monotonic variation with domain confinement depending on the values of electrical permittivity ratio of the droplet and the surrounding fluid. For a leaky-dielectric system, presence of small conductivity further alters the deformation characteristic and it is happened that, at low electric field strength, the deformation increases with confinement monotonically. On contrary, deformation parameter shows non-monotonic variation with the domain confinement at higher electric field strength. Furthermore, in confined domain, the transient evolution of the deformation parameter is also markedly altered by the electric field strength in terms of steady state value of the deformation parameter and steady state time. Finally, the present analysis shows that the domain confinement significantly augment the deformation parameter in presence of electric field that leads to possible droplet break up phenomenon. From the present study, it is worthy to mention that domain confinement can be used to modulate the droplet morphology that has potential applications in modern-days droplet-based micro-fluidic devices.


title: Native Point Defects in Antiferromagnetic Phases of CrN

abstract: We present a detailed analysis of the role of native point defects in the antiferromagnetic (AFM) phases of bulk chromium nitride (CrN). We perform first-principles calculations using local spin-density approximation, including local interaction effects (LSDA+U), to study the two lowest energy AFM models expected to describe the low-temperature phase of the material. We study the formation energies, lattice deformations and electronic and magnetic structure introduced by native point defects. We find that, as expected, nitrogen vacancies are the most likely defect present in the material at low temperatures. Nitrogen vacancies present different charged states in the cubic AFM model, exhibiting two transition energies, which could be measurable by thermometry experiments and could help identify the AFM structure in a sample. These vacancies also result in partial spin polarization of the induced impurity band, which would have interesting consequences in transport experiments. Other point defects have also signature electronic and magnetic structure that could be identified in scanning probe experiments.


title: Scalable Bayesian Learning for State Space Models using Variational Inference with SMC Samplers

abstract: We present a scalable approach to performing approximate fully Bayesian inference in generic state space models. The proposed method is an alternative to particle MCMC that provides fully Bayesian inference of both the dynamic latent states and the static parameters of the model. We build up on recent advances in computational statistics that combine variational methods with sequential Monte Carlo sampling and we demonstrate the advantages of performing full Bayesian inference over the static parameters rather than just performing variational EM approximations. We illustrate how our approach enables scalable inference in multivariate stochastic volatility models and self-exciting point process models that allow for flexible dynamics in the latent intensity function.


title: Nonlocal multicontinuum (NLMC) upscaling of mixed dimensional coupled flow problem for embedded and discrete fracture models

abstract: In this work, we present an upscaled model for mixed dimensional coupled flow problem in fractured porous media. We consider both embedded and discrete fracture models (EFM and DFM) as fine scale models which contain coupled system of equations. For fine grid discretization, we use a conservative finite-volume approximation. We construct an upscaled model using the non-local multicontinuum (NLMC) method for the coupled system. The proposed upscaled model is based on a set of simplified multiscale basis functions for the auxiliary space and a constraint energy minimization principle for the construction of multiscale basis functions. Using the constructed NLMC-multiscale basis functions, we obtain an accurate coarse grid upscaled model. We present numerical results for both fine-grid models and upscaled coarse-grid models using our NLMC method. We consider model problems with (1) discrete fracture fine grid model with low and high permeable fractures; (2) embedded fine grid model for two types of geometries with differnet fracture networks and (3) embedded fracture fine grid model with heterogeneous permeability. The simulations using the upscaled model provide very accurate solutions with significant reduction in the dimension of the problem.


title: Non-convex non-local flows for saliency detection

abstract: We propose and numerically solve a new variational model for automatic saliency detection in digital images. Using a non-local framework we consider a family of edge preserving functions combined with a new quadratic saliency detection term. Such term defines a constrained bilateral obstacle problem for image classification driven by p-Laplacian operators, including the so-called hyper-Laplacian case (0 < p < 1). The related non-convex non-local reactive flows are then considered and applied for glioblastoma segmentation in magnetic resonance fluid-attenuated inversion recovery (MRI-Flair) images. A fast convolutional kernel based approximated solution is computed. The numerical experiments show how the non-convexity related to the hyperLaplacian operators provides monotonically better results in terms of the standard metrics.


title: Non-Gaussian Hyperplane Tessellations and Robust One-Bit Compressed Sensing

abstract: We show that a tessellation generated by a small number of random affine hyperplanes can be used to approximate Euclidean distances between any two points in an arbitrary bounded set $T$, where the random hyperplanes are generated by subgaussian or heavy-tailed normal vectors and uniformly distributed shifts. We derive quantitative bounds on the number of hyperplanes needed for constructing such tessellations in terms of natural metric complexity measures of $T$ and the desired approximation error. Our work extends significantly prior results in this direction, which were restricted to Gaussian hyperplane tessellations of subsets of the Euclidean unit sphere. As an application, we obtain new reconstruction results in memoryless one-bit compressed sensing with non-Gaussian measurement matrices. We show that by quantizing at uniformly distributed thresholds, it is possible to accurately reconstruct low-complexity signals from a small number of one-bit quantized measurements, even if the measurement vectors are drawn from a heavy-tailed distribution. Our reconstruction results are uniform in nature and robust in the presence of pre-quantization noise on the analog measurements as well as adversarial bit corruptions in the quantization process. Moreover we show that if the measurement matrix is subgaussian then accurate recovery can be achieved via a convex program.


title: Bayesian method for inferring the impact of geographical distance on intensity of communication

abstract: Both theoretical models and empirical findings suggest that the intensity of communication among groups of people declines with their degree of geographical separation. There is some evidence that rather than decaying uniformly with distance, the intensity of communication might decline at different rates for shorter and longer distances. Using Bayesian LASSO for model selection, we introduce a statistical model for estimating the rate of communication decline with geographic distance that allows for discontinuities in this rate. We apply our method to an anonymized mobile phone communication dataset. Our results are potentially useful in settings where understanding social and spatial mixing of people is important, such as in cluster randomized trials design.


title: Deep Active Learning for Anomaly Detection

abstract: Anomalies are intuitively easy for human experts to understand, but they are hard to define mathematically. Therefore, in order to have performance guarantees in unsupervised anomaly detection, priors need to be assumed on what the anomalies are. By contrast, active learning provides the necessary priors through appropriate expert feedback. Thus, in this work we present an active learning method that can be built upon existing deep learning solutions for unsupervised anomaly detection, so that outliers can be separated from normal data effectively. We introduce a new layer that can be easily attached to any deep learning model designed for unsupervised anomaly detection to transform it into an active method. We report results on both synthetic and real anomaly detection datasets, using multi-layer perceptrons and autoencoder architectures empowered with the proposed active layer, and we discuss their performance on finding clustered and low density anomalies.


title: The Stern-Gerlach Experiment and the Electron Spin

abstract: The full story of the Stern-Gerlach experiment and its reception, interpretation and final understanding has many unexpected surprises. Here, we review the history and the context of the proposal, the experiment, and the subsequent story of the aftermath. We also discuss the story of the possible Stern-Gerlach experiment for free electrons etc. Finally, we comment on the remarkable career of Otto Stern.


title: Point-spread function ramifications and deconvolution of a signal dependent blur kernel due to interpixel capacitive coupling

abstract: Interpixel capacitance (IPC) is a deterministic electronic coupling that results in a portion of the collected signal incident on one pixel of a hybridized detector array being measured in adjacent pixels. Data collected by light sensitive HgCdTe arrays which exhibit this coupling typically goes uncorrected or is corrected by treating the coupling as a fixed point spread function. Evidence suggests that this IPC coupling is not uniform across different signal and background levels. This variation invalidates assumptions that are key in decoupling techniques such as Wiener Filtering or application of the Lucy- Richardson algorithm. Additionally, the variable IPC results in the point spread function (PSF) depending upon a star's signal level relative to the background level, amond other parameters. With an IPC ranging from 0.68% to 1.45% over the full well depth of a sensor, as is a reasonable range for the H2RG arrays, the FWHM of the JWSTs NIRCam 405N band is degraded from 2.080 pix (0".132) as expected from the diffraction patter to 2.186 pix (0".142) when the star is just breaching the sensitivity limit of the system. For example, when attempting to use a fixed PSF fitting (e.g. assuming the PSF observed from a bright star in the field) to untangle two sources with a flux ratio of 4:1 and a center to center distance of 3 pixels, flux estimation can be off by upwards of 1.5% with a separation error of 50 millipixels. To deal with this issue an iterative non-stationary method for deconvolution is here proposed, implemented, and evaluated that can account for the signal dependent nature of IPC.


title: Performance comparison of dynamic vehicle routing methods for minimizing the global dwell time in upcoming smart cities

abstract: Traffic jams in urban scenarios are often caused by bottlenecks related to the street topology and road infrastructure, e.g. traffic lights and merging of lanes. Instead of addressing traffic flow optimization in a static way by extending the road capacity through constructing additional streets, upcoming smart cities will exploit the availability of modern communication technologies to dynamically change the mobility behavior of individual vehicles. The underlying overall goal is to minimize the total dwell time of the vehicles within the road network. In this paper, different bottleneck-aware methods for dynamic vehicle routing are compared in comprehensive simulations. As a realistic evaluation scenario, the inner city of Dusseldorf is modeled and the mobility behavior of the cars is represented based on real-world traffic flow data. The simulation results show, that the consideration of bottlenecks in a routing method decreased the average travel time by around 23%. Based on these results a new routing method is created which further reduces the average travel time by around 10%. The simulations further show, that the implementation of dynamic lanes in inner cities most of the time only shift traffic congestion to following bottlenecks without reducing the travel times.


title: First-Hitting Times Under Additive Drift

abstract: For the last ten years, almost every theoretical result concerning the expected run time of a randomized search heuristic used drift theory, making it the arguably most important tool in this domain. Its success is due to its ease of use and its powerful result: drift theory allows the user to derive bounds on the expected first-hitting time of a random process by bounding expected local changes of the process -- the drift. This is usually far easier than bounding the expected first-hitting time directly. Due to the widespread use of drift theory, it is of utmost importance to have the best drift theorems possible. We improve the fundamental additive, multiplicative, and variable drift theorems by stating them in a form as general as possible and providing examples of why the restrictions we keep are still necessary. Our additive drift theorem for upper bounds only requires the process to be nonnegative, that is, we remove unnecessary restrictions like a finite, discrete, or bounded search space. As corollaries, the same is true for our upper bounds in the case of variable and multiplicative drift.


title: Adaptive Stochastic Gradient Langevin Dynamics: Taming Convergence and Saddle Point Escape Time

abstract: In this paper, we propose a new adaptive stochastic gradient Langevin dynamics (ASGLD) algorithmic framework and its two specialized versions, namely adaptive stochastic gradient (ASG) and adaptive gradient Langevin dynamics(AGLD), for non-convex optimization problems. All proposed algorithms can escape from saddle points with at most $O(\log d)$ iterations, which is nearly dimension-free. Further, we show that ASGLD and ASG converge to a local minimum with at most $O(\log d/\epsilon^4)$ iterations. Also, ASGLD with full gradients or ASGLD with a slowly linearly increasing batch size converge to a local minimum with iterations bounded by $O(\log d/\epsilon^2)$, which outperforms existing first-order methods.


title: Diffractive electron-nucleus scattering and ancestry in branching random walks

abstract: We point out an analogy between diffractive electron-nucleus scattering events, and realizations of one-dimensional branching random walks selected according to the height of the genealogical tree of the particles near their boundaries. This correspondence is made transparent in an event-by-event picture of diffraction emphasizing the statistical properties of gluon evolution, from which new quantitative predictions straightforwardly follow: we are able to determine the distribution of the total invariant mass produced diffractively, which is an interesting observable that can potentially be measured at a future electron-ion collider.


title: Observation of a new $\Xi_b^-$ resonance

abstract: From samples of $pp$ collision data collected by the LHCb experiment at $\sqrt{s}=7$, $8$ and $13$ TeV corresponding to integrated luminosities of 1.0, 2.0 and 1.5 fb$^{-1}$, respectively, a peak in both the $\Lambda_b^0K^-$ and $\Xi_b^0\pi^-$ invariant mass spectra is observed. In the quark model, radially and orbitally excited $\Xi_b^-$ resonances with quark content $bds$ are expected. Referring to this peak as $\Xi_b(6227)^-$, the mass and natural width are measured to be $m_{\Xi_{b}(6227)^-}=6226.9\pm2.0\pm0.3\pm0.2$ MeV/$c^2$ and $\Gamma_{\Xi_b(6227)^-}=18.1\pm5.4\pm1.8$ MeV/$c^2$, where the first uncertainty is statistical, the second is systematic, and the third, on $m_{\Xi_b(6227)^-}$, is due to the knowledge of the $\Lambda_b^0$ baryon mass. Relative production rates of the ${\Xi_b(6227)^-\to\Lambda_b^0K^-}$ and ${\Xi_b(6227)^-\to\Xi_b^0\pi^-}$ decays are also reported.


title: Statistical properties of lambda terms

abstract: We present a quantitative, statistical analysis of random lambda terms in the de Bruijn notation. Following an analytic approach using multivariate generating functions, we investigate the distribution of various combinatorial parameters of random open and closed lambda terms, including the number of redexes, head abstractions, free variables or the de Bruijn index value profile. Moreover, we conduct an average-case complexity analysis of finding the leftmost-outermost redex in random lambda terms showing that it is on average constant. The main technical ingredient of our analysis is a novel method of dealing with combinatorial parameters inside certain infinite, algebraic systems of multivariate generating functions. Finally, we briefly discuss the random generation of lambda terms following a given skewed parameter distribution and provide empirical results regarding a series of more involved combinatorial parameters such as the number of open subterms and binding abstractions in closed lambda terms.


title: Upscaling method for problems in perforated domains with non-homogeneous boundary conditions on perforations using Non-Local Multi-Continuum method (NLMC)

abstract: In this paper, we present an upscaling method for problems in perforated domains with non-homogeneous boundary conditions on perforations. Our methodology is based on the recently developed Non-local multicontinuum method (NLMC). The main ingredient of the method is the construction of suitable local basis functions with the capability of capturing multiscale features and non-local effects. We will construct multiscale basis functions for the coarse regions and additional multiscale basis functions for perforations, with the aim of handling non-homogeneous boundary conditions on perforations. We start with describing our method for the Laplace equation, and then extending the framework for the elasticity problem and parabolic equations. The resulting upscaled model has minimal size and the solution has physical meaning on the coarse grid. We will present numerical results (1) for steady and unsteady problems, (2) for Laplace and Elastic operators, and (3) for Neumann and Robin non-homogeneous boundary conditions on perforations. Numerical results show that the proposed method can provide good accuracy and provide significant reduction on the degrees of freedom.


title: Use of symmetric kernels for convolutional neural networks

abstract: At this work we introduce horizontally symmetric convolutional kernels for CNNs which make the network output invariant to horizontal flips of the image. We also study other types of symmetric kernels which lead to vertical flip invariance, and approximate rotational invariance. We show that usage of such kernels acts as regularizer, and improves generalization of the convolutional neural networks at the cost of more complicated training process.


title: Conformal cosmological black holes: restoring determinism to Einstein theory

abstract: A widespread solution-generating technique of general relativity consists of conformally transforming known `seed' solutions. It is shown that these new solutions always solve the field equations of a pathological Brans-Dicke theory. Furthermore, when interpreted as effective Einstein equations,those field equations exhibit, in the case of a cosmological `background', an induced imperfect fluid as an additional effective source besides the original sources of the `seed' solutions. As an application, the charged non-rotating Thakurta black hole conformal to Reissner-Nordstrom is used to demonstrate the fragility of the inner Cauchy horizon when this black hole is embedded in the universe (even accounting for the separation of black hole and Hubble scales). Similarly, the charged McVittie spacetime representing a charged black hole embedded in a cosmological `background' with varying Hubble parameter does not exhibit a real Cauchy horizon. These arguments speak in favor of restoring determinism to Einstein theory, which was questioned in recent research.


title: Optimal Hashing in External Memory

abstract: Hash tables are a ubiquitous class of dictionary data structures. However, standard hash table implementations do not translate well into the external memory model, because they do not incorporate locality for insertions. Iacono and Patracsu established an update/query tradeoff curve for external hash tables: a hash table that performs insertions in $O(\lambda/B)$ amortized IOs requires $\Omega(\log_\lambda N)$ expected IOs for queries, where $N$ is the number of items that can be stored in the data structure, $B$ is the size of a memory transfer, $M$ is the size of memory, and $\lambda$ is a tuning parameter. They provide a hashing data structure that meets this curve for $\lambda$ that is $\Omega(\log\log M + \log_M N)$. Their data structure, which we call an \defn{IP hash table}, is complicated and, to the best of our knowledge, has not been implemented. In this paper, we present a new and much simpler optimal external memory hash table, the \defn{Bundle of Arrays Hash Table} (BOA). BOAs are based on size-tiered LSMs, a well-studied data structure, and are almost as easy to implement. The BOA is optimal for a narrower range of $\lambda$. However, the simplicity of BOAs allows them to be readily modified to achieve the following results: \begin{itemize} \item A new external memory data structure, the \defn{Bundle of Trees Hash Table} (BOT), that matches the performance of the IP hash table, while retaining some of the simplicity of the BOAs. \item The \defn{cache-oblivious Bundle of Trees Hash Table} (COBOT), the first cache-oblivious hash table. This data structure matches the optimality of BOTs and IP hash tables over the same range of $\lambda$. \end{itemize}


title: A Submillimeter Perspective on the GOODS Fields (SUPER GOODS). III. A Large Sample of ALMA Sources in the GOODS-S

abstract: We analyze the >4-sigma sources in the most sensitive 100 arcmin^2 area (rms <0.56 mJy) of a SCUBA-2 850 micron survey of the GOODS-S and present the 75 band 7 ALMA sources (>4.5-sigma) obtained from high-resolution interferometric follow-up observations. The SCUBA-2---and hence ALMA---samples should be complete to 2.25 mJy. Of the 53 SCUBA-2 sources in this complete sample, only five have no ALMA detections, while 13% (68% confidence range 7-19%) have multiple ALMA counterparts. Color-based high-redshift dusty galaxy selection techniques find at most 55% of the total ALMA sample. In addition to using literature spectroscopic and optical/NIR photometric redshifts, we estimate FIR photometric redshifts based on an Arp 220 template. We identify seven z>4 candidates. We see the expected decline with redshift of the 4.5 micron and 24 micron to 850 micron flux ratios, confirming these as good diagnostics of z>4 candidates. We visually classify 52 ALMA sources, finding 44% (68% confidence range 35-53%) to be apparent mergers. We calculate rest-frame 2-8 keV and 8-28 keV luminosities using the 7 Ms Chandra X-ray image. Nearly all of the ALMA sources detected at 0.5-2 keV are consistent with a known X-ray luminosity to 850 micron flux relation for star-forming galaxies, while most of those detected at 2-7 keV are moderate luminosity AGNs that lie just above the 2-7 keV detection threshold. The latter largely have substantial obscurations of log N_H = 23-24 cm^-2, but two of the high-redshift candidates may even be Compton thick.


title: Recursive functions on conditional Galton--Watson trees

abstract: A recursive function on a tree is a function in which each leaf has a given value, and each internal node has a value equal to a function of the number of children, the values of the children, and possibly an explicitly specified random element $U$. The value of the root is the key quantity of interest in general. In this first study, all node values and function values are in a finite set $S$. In this note, we describe the limit behavior when the leaf values are drawn independently from a fixed distribution on $S$, and the tree $T_n$ is a random Galton--Watson tree of size $n$.


title: Instability and non-uniqueness in the Cauchy problem for the Euler equations of an ideal incompressible fluid. Part I

abstract: In Part I of the paper, we prove non-uniqueness of the solution to the Cauchy problem of the Euler equations of an ideal incompressible fluid in dimension two with vorticity in some Lebesgue space. The radially symmetric external force is locally integrable with values in the same Lebesgue space.


title: General multilevel Monte Carlo methods for pricing discretely monitored Asian options

abstract: We describe general multilevel Monte Carlo methods that estimate the price of an Asian option monitored at $m$ fixed dates. Our approach yields unbiased estimators with standard deviation $O(\epsilon)$ in $O(m + (1/\epsilon)^{2})$ expected time for a variety of processes including the Black-Scholes model, Merton's jump-diffusion model, the Square-Root diffusion model, Kou's double exponential jump-diffusion model, the variance gamma and NIG exponential Levy processes and, via the Milstein scheme, processes driven by scalar stochastic differential equations. Using the Euler scheme, our approach estimates the Asian option price with root mean square error $O(\epsilon)$ in $O(m+(\ln(\epsilon)/\epsilon)^{2})$ expected time for processes driven by multidimensional stochastic differential equations. Numerical experiments confirm that our approach outperforms the conventional Monte Carlo method by a factor of order $m$.


title: Energy convexity of intrinsic bi-harmonic maps and applications I: spherical target

abstract: Every harmonic map is an intrinsic bi-harmonic map as an absolute minimizer of the intrinsic bi-energy functional, therefore intrinsic bi-harmonic map and its heat flow are more geometrically natural to study, but they are also considerably more difficult analytically than the extrinsic counterparts due to the lack of coercivity for the intrinsic bi-energy. In this paper, we show an energy convexity and thus uniqueness for weakly intrinsic bi-harmonic maps from the unit $4$-ball $B_1 \subset \mathbf{R}^4$ into the sphere $\mathbf{S}^n$. This is a higher-order analogue of the energy convexity and uniqueness for weakly harmonic maps on unit $2$-disk in $\mathbf{R}^2$ proved by Colding and Minicozzi \cite{CM08} (see also Lamm and the second author \cite{LL13}). In particular, this yields a version of uniqueness of weakly harmonic maps on the unit $4$-ball which is new. As an application, we also show a version of energy convexity along the intrinsic bi-harmonic map heat flow into $\mathbf{S}^n$, which in particular yields the long-time existence of the intrinsic bi-harmonic map heat flow, a result that was until now only known assuming the non-positivity of the target manifolds by Lamm \cite{Lamm05}. Moreover, the energy convexity along the flow yields the uniform convergence of the flow which is not known before. One of the key ingredients in our proofs is a refined version of the $\epsilon$-regularity of the first author and Rivi\`{e}re \cite{LaR}.


title: Oscillating delayed feedback control schemes for stabilizing equilibrium points

abstract: Limitations of the delayed feedback control and of its extended versions have been fully treated in the literature. The oscillating delayed feedback control appears as a promising scheme to overcome this problem. In this work, two methods based on oscillatory delayed feedback control schemes for the continuous time case are dealt with. For both of them, stabilization of an equilibrium point in the general non-linear scalar case is rigorously proven. Additionally, their control performance and stability parameters region are respectively studied.


title: A Two-Stage Subspace Trust Region Approach for Deep Neural Network Training

abstract: In this paper, we develop a novel second-order method for training feed-forward neural nets. At each iteration, we construct a quadratic approximation to the cost function in a low-dimensional subspace. We minimize this approximation inside a trust region through a two-stage procedure: first inside the embedded positive curvature subspace, followed by a gradient descent step. This approach leads to a fast objective function decay, prevents convergence to saddle points, and alleviates the need for manually tuning parameters. We show the good performance of the proposed algorithm on benchmark datasets.


title: Gravitational Lensing Under the Effect of Weyl and Bumblebee Gravities: Applications of Gauss-Bonnet Theorem

abstract: In this paper, we use the Gauss Bonnet theorem to obtain the deflection angle by the photons coupled to Weyl tensor in a Schwarzschild black hole and Schwarzschild-like black hole in bumblebee gravity in the weak limit approximation. To do so, we first calculate the corresponding optical metrics, and then we find the Gaussian curvature to use in Gauss-Bonnet theorem, which is first done by Gibbons and Werner. Hence, in the leading order terms we show the deflection angle, that is affected by the coupling between the photon and Weyl tensor, and there is a deviation from the deflecting angle as compared with Schwarzschild black hole with Schwarzschild-like black hole in bumblebee gravity. Moreover, we investigate the deflection angle by Einstein-Rosen type wormhole in Weyl gravity and in bumblebee gravity. Interestingly, the deflection angle by Einstein-Rosen type wormhole in bumblebee gravity is found as larger than the the deflection angle by Einstein-Rosen type wormhole in Weyl gravity.


title: Spontaneous Edge Current in Higher Chirality Superconductors

abstract: The effects of finite temperature, Meissner screening and surface roughness on the spontaneous edge current for higher chirality quasi-two dimensional superconductors are studied in the continuum limit using the quasiclassical Eilenberger equations. We find that the total spontaneous current is non-zero at finite temperature $T$ and maximized near $T=T_c/2$, where $T_c$ is the transition temperature, although it vanishes at $T=0$. In the presence of surface roughness, we observe a surface current inversion in the chiral $d$-wave case that can be understood in terms of a disorder induced $s$-wave pairing component in the rough surface regime. This conclusion is supported by a Ginzburg-Landau analysis. However, this current inversion is non-universal beyond the continuum limit as demonstrated by self-consistent lattice Bogoliubov-de Gennes calculations.


title: Uncovering anisotropic magnetic phases via fast dimensionality analysis

abstract: A quantitative geometric predictor for the dimensionality of magnetic interactions is presented. This predictor is based on networks of superexchange interactions and can be quickly calculated for crystalline compounds of arbitrary chemistry, occupancy, or symmetry. The resulting data is useful for classifying structural families of magnetic compounds. Starting with 42,520 compounds, we have classified and quantified compounds with $3d$ transition metal cations. The predictor reveals trends in magnetic interactions that are often not apparent from the space group of the compounds, such as triclinic or monoclinic compounds that are strongly 2D. We present specific cases where the predictor identifies compounds that should exhibit competition between 1D and 2D interactions, and how the predictor can be used to identify sparsely-populated regions of chemical space with as-yet-unexplored topologies of specific $3d$ magnetic cations. The predictor can be accessed for the full list of compounds using a searchable web form, and further information on the connectivity, symmetry, and valence of cation-anion and cation-cation coordination can be freely exported.


title: Bruno Touschek and AdA: from Frascati to Orsay. In memory of Bruno Touschek, who passed away 40 years ago, on May 25th, 1978

abstract: The first electron-positron collisions in a laboratory were observed in 1963-1964 at the Laboratoire de l'Acc\'el\'erateur Lin\'eaire d'Orsay, in France, with the storage ring AdA, which had been constructed in the Italian National Laboratories of Frascati in 1960, under the guidance of Bruno Touschek. The making of the collaboration between the two laboratories included visits between Orsay and Frascati, letters between Rome and Paris, and culminated with AdA leaving Frascati on July 4th, 1962 to cross the Alps on a truck, with the doughnut degassed to $10^{-9}$mmHg through pumps powered by sets of heavy batteries. This epoch-making trip and the exchanges which preceded it are described through unpublished documents and interviews with some of its protagonists, Carlo Bernardini, Francois Lacoste, Jacques Ha\"issinski, Maurice L\'evy.


title: Clock transition by continuous dynamical decoupling of a three-level system

abstract: We present a novel continuous dynamical decoupling scheme for the construction of a robust qubit in a three-level system. By means of a clock transition adjustment, we first show how robustness to environmental noise is achieved, while eliminating drive-noise, to first-order. We demonstrate this scheme with the spin sub-levels of the NV-centre's electronic ground state. By applying drive fields with moderate Rabi frequencies, the drive noise is eliminated and an improvement of 2 orders of magnitude in the coherence time is obtained compared to the pure dephasing time. We then show how the clock transition adjustment can be tuned to eliminate also the second-order effect of the environmental noise with moderate drive fields. A further improvement of more than 1 order of magnitude in the coherence time is expected and confirmed by simulations. Hence, our scheme prolongs the coherence time towards the lifetime-limit using a relatively simple experimental setup.


title: Modeling Interpersonal Influence of Verbal Behavior in Couples Therapy Dyadic Interactions

abstract: Dyadic interactions among humans are marked by speakers continuously influencing and reacting to each other in terms of responses and behaviors, among others. Understanding how interpersonal dynamics affect behavior is important for successful treatment in psychotherapy domains. Traditional schemes that automatically identify behavior for this purpose have often looked at only the target speaker. In this work, we propose a Markov model of how a target speaker's behavior is influenced by their own past behavior as well as their perception of their partner's behavior, based on lexical features. Apart from incorporating additional potentially useful information, our model can also control the degree to which the partner affects the target speaker. We evaluate our proposed model on the task of classifying Negative behavior in Couples Therapy and show that it is more accurate than the single-speaker model. Furthermore, we investigate the degree to which the optimal influence relates to how well a couple does on the long-term, via relating to relationship outcomes


title: Cut-free Completeness for Modular Hypersequent Calculi for Modal Logics K, T, and D

abstract: We investigate a recent proposal for modal hypersequent calculi. The interpretation of relational hypersequents incorporates an accessibility relation along the hypersequent. These systems give the same interpretation of hypersequents as Lellman's linear nested sequents, but were developed independently by Restall for S5 and extended to other normal modal logics by Parisi. The resulting systems obey Dosen's principle: the modal rules are the same across different modal logics. Different modal systems only differ in the presence or absence of external structural rules. With the exception of S5, the systems are modular in the sense that different structural rules capture different properties of the accessibility relation. We provide the first direct semantical cut-free completeness proofs for K, T, and D, and show how this method fails in the case of B and S4.


title: Efficient side-coupling to photonic crystal nanobeam cavities via state-space overlap

abstract: We present design guidelines for realizing side-coupled photonic crystal nanobeam (PCN) cavities with efficient coupling to low order resonances through adjusting the overlap of the PCN cavity mode and a feeding bus waveguide in both physical and k-space. We show that optimal side-coupled configurations function at a non-zero k-vector offset between the bus waveguide and PCN cavity modes. The straightforward design of side-coupled PCNs with high contrast resonances opens the door to their practical implementation in multiplexed, on-chip photonic devices.


title: Modelling interactions between active and passive agents moving through heterogeneous environments

abstract: We study the dynamics of interacting agents from two distinct inter-mixed populations: One population includes active agents that follow a predetermined velocity field, while the second population contains exclusively passive agents, i.e. agents that have no preferred direction of motion. The orientation of their local velocity is affected by repulsive interactions with the neighboring agents and environment. We present two models that allow for a qualitative analysis of these mixed systems. We show that the residence times of this type of systems containing mixed populations is strongly affected by the interplay between these two populations. After showing our modeling and simulation results, we conclude with a couple of mathematical aspects concerning the well-posedness of our models.


title: Instability and non-uniqueness in the Cauchy problem for the Euler equations of an ideal incompressible fluid. Part II

abstract: In Part II of the paper, we prove linear instability of a certain class of radially symmetric flows of an ideal incompressible fluid in dimension two used in Part I


title: Implicit Language Model in LSTM for OCR

abstract: Neural networks have become the technique of choice for OCR, but many aspects of how and why they deliver superior performance are still unknown. One key difference between current neural network techniques using LSTMs and the previous state-of-the-art HMM systems is that HMM systems have a strong independence assumption. In comparison LSTMs have no explicit constraints on the amount of context that can be considered during decoding. In this paper we show that they learn an implicit LM and attempt to characterize the strength of the LM in terms of equivalent n-gram context. We show that this implicitly learned language model provides a 2.4\% CER improvement on our synthetic test set when compared against a test set of random characters (i.e. not naturally occurring sequences), and that the LSTM learns to use up to 5 characters of context (which is roughly 88 frames in our configuration). We believe that this is the first ever attempt at characterizing the strength of the implicit LM in LSTM based OCR systems.


title: Incomplete Nested Dissection

abstract: We present an asymptotically faster algorithm for solving linear systems in well-structured 3-dimensional truss stiffness matrices. These linear systems arise from linear elasticity problems, and can be viewed as extensions of graph Laplacians into higher dimensions. Faster solvers for the 2-D variants of such systems have been studied using generalizations of tools for solving graph Laplacians [Daitch-Spielman CSC'07, Shklarski-Toledo SIMAX'08]. Given a 3-dimensional truss over $n$ vertices which is formed from a union of $k$ convex structures (tetrahedral meshes) with bounded aspect ratios, whose individual tetrahedrons are also in some sense well-conditioned, our algorithm solves a linear system in the associated stiffness matrix up to accuracy $\epsilon$ in time $O(k^{1/3} n^{5/3} \log (1 / \epsilon))$. This asymptotically improves the running time $O(n^2)$ by Nested Dissection for all $k \ll n$. We also give a result that improves on Nested Dissection even when we allow any aspect ratio for each of the $k$ convex structures (but we still require well-conditioned individual tetrahedrons). In this regime, we improve on Nested Dissection for $k \ll n^{1/44}$. The key idea of our algorithm is to combine nested dissection and support theory. Both of these techniques for solving linear systems are well studied, but usually separately. Our algorithm decomposes a 3-dimensional truss into separate and balanced regions with small boundaries. We then bound the spectrum of each such region separately, and utilize such bounds to obtain improved algorithms by preconditioning with partial states of separator-based Gaussian elimination.


title: Euclidean Embedding of the Poisson Weighted Infinite Tree and Application to Mobility Models

abstract: Continuous time branching models are used to create random fractals in a Euclidean space, whose Hausdorff dimension is controlled by an input parameter. Finite realizations are applied in modelling the set of sites visited in models of human and animal mobility.


title: Gas expulsion vs gas retention in young stellar clusters II: effects of cooling and mass segregation

abstract: Gas expulsion or gas retention is a central issue in most of the models for multiple stellar populations and light element anti-correlations in globular clusters. The success of the residual matter expulsion or its retention within young stellar clusters has also a fundamental importance in order to understand how star formation proceeds in present-day and ancient star-forming galaxies and if proto-globular clusters with multiple stellar populations are formed in the present epoch. It is usually suggested that either the residual gas is rapidly ejected from star-forming clouds by stellar winds and supernova explosions, or that the enrichment of the residual gas and the formation of the second stellar generation occur so rapidly, that the negative stellar feedback is not significant. Here we continue our study of the early development of star clusters in the extreme environments and discuss the restrictions that strong radiative cooling and stellar mass segregation provide on the gas expulsion from dense star-forming clouds. A large range of physical initial conditions in star-forming clouds which include the star-forming cloud mass, compactness, gas metallicity, star formation efficiency and effects of massive stars segregation are discussed. It is shown that in sufficiently massive and compact clusters hot shocked winds around individual massive stars may cool before merging with their neighbors. This dramatically reduces the negative stellar feedback, prevents the development of the global star cluster wind and expulsion of the residual and the processed matter into the ambient interstellar medium. The critical lines which separate the gas expulsion and the gas retention regimes are obtained.


title: Size Distribution of Small Hilda Asteroids

abstract: We present the size distribution for Hilda asteroid group using optical survey data obtained by the 8.2 m Subaru Telescope with the Hyper Suprime-Cam. Our unbiased sample consists of 91 Hilda asteroids (Hildas) down to 1~km in diameter. We found that the Hildas' size distribution can be approximated by a single-slope power law in the ~1-10 km diameter range with the best-fit power-law slope of alpha = 0.38 +/- 0.02 in the differential absolute magnitude distribution. Direct comparing the size distribution of Hildas with that of the Jupiter Trojans measured from the same dataset Yoshida & Terai (2017) indicates that the two size distributions are well similar to each other within a diameter of ~10 km, while these shapes are distinguishable from that of main-belt asteroids. The results suggest that Hildas and Jupiter Trojans share a common origin and have a different formation environment from main-belt asteroids. The total number of the Hilda population larger than 2 km in diameter is estimated to be ~1 x 10^4 based on the size distribution, which is less than that of the Jupiter Trojan population by a factor of about five.


title: Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC

abstract: Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.


title: MAVI: A Research Platform for Telepresence and Teleoperation

abstract: One of the goals in telepresence is to be able to perform daily tasks remotely. A key requirement for this is a robust and reliable mobile robotic platform. Ideally, such a platform should support 360-degree stereoscopic vision and semi-autonomous telemanipulation ability. In this technical report, we present our latest work on designing the telepresence mobile robot platform called MAVI. MAVI is a low-cost and robust but extendable platform for research and educational purpose, especially for machine vision and human interaction in telepresence setups. The MAVI platform offers a balance between modularity, capabilities, accessibility, cost and an open source software framework. With a range of different sensors such as Inertial Measurement Unit (IMU), 360-degree laser rangefinder, ultrasonic proximity sensors, and force sensors along with smart actuation in omnidirectional holonomic locomotion, high load cylindrical manipulator, and actuated stereoscopic Pan-Tilt-Roll Unit (PTRU), not only MAVI can provide the basic feedbacks from its surroundings, but also can interact within the remote environment in multiple ways. The software architecture of MAVI is based on the Robot Operating System (ROS) which allows for the easy integration of the state-of-the-art software packages.


title: Quantum Entanglement in Multi-field Inflation

abstract: We study the emergence of quantum entanglement in multi-field inflation. In this scenario, the perturbations of one field contribute to the observable curvature perturbation, while multi-field dynamics with the other fields affect the curvature perturbation through particle production and entanglement. We develop a general formalism which defines the quantum entanglement between the perturbations of the multiple fields both in the Heisenberg and Schr\"odinger pictures, and show that entanglement between different fields can arise dynamically in the context of multi-field inflationary scenarios. We also present a simple model in which a sudden change in the kinetic matrix of the scalar fields generates entanglement and an oscillatory feature appears in the power spectrum of the inflaton perturbation.


title: Jupiter's influence on the building blocks of Mars and Earth

abstract: Radiometric dating indicates that Mars accreted in the first ~4 Myr of solar system formation, which coincides with the formation and possible migration of Jupiter. While nebular gas from the protoplanetary disk was still present, Jupiter may have migrated inwards and tacked at 1.5 AU in a 3:2 resonance with Saturn. This migration excited planetary building blocks in the inner solar system, resulting in extensive mixing and planetesimal removal. Here we evaluate the plausible nature of Mars' building blocks, focusing in particular on how its growth was influenced by the formation and migration of Jupiter. We use a combination of dynamical simulations and an isotopic mixing model that traces the accretion of elements with different affinities for metal. Dynamical simulations show that Jupiter's migration causes the late stages of Earth's and Mars' accretion to be dominated by EC-type (enstatite chondrite) material due to the loss of OC (ordinary chondrite) planetesimals. Our analysis of available isotopic data for SNC meteorites shows that Mars consists of approximately 68%$^{+0}_{-39}$ EC + 32%$^{+35}_{-0}$ OC by mass (2{\sigma}). The large uncertainties indicate that isotopic analyses of martian samples are for the most part too imprecise to definitely test model predictions; in particular it remains uncertain whether or not Mars accreted predominantly EC material in the latter stages of its formation history. Dynamical simulations also provide no definitive constraint on Mars' accretion history due to the great variety of dynamical pathways that the martian embryo exhibits. The present work calls for new measurements of isotopic anomalies in SNC meteorites targeting siderophile elements (most notably Ni, Mo and Ru) to constrain Mars' accretion history and its formation location.


title: Large Data and Zero Noise Limits of Graph-Based Semi-Supervised Learning Algorithms

abstract: Scalings in which the graph Laplacian approaches a differential operator in the large graph limit are used to develop understanding of a number of algorithms for semi-supervised learning; in particular the extension, to this graph setting, of the probit algorithm, level set and kriging methods, are studied. Both optimization and Bayesian approaches are considered, based around a regularizing quadratic form found from an affine transformation of the Laplacian, raised to a, possibly fractional, exponent. Conditions on the parameters defining this quadratic form are identified under which well-defined limiting continuum analogues of the optimization and Bayesian semi-supervised learning problems may be found, thereby shedding light on the design of algorithms in the large graph setting. The large graph limits of the optimization formulations are tackled through $\Gamma-$convergence, using the recently introduced $TL^p$ metric. The small labelling noise limits of the Bayesian formulations are also identified, and contrasted with pre-existing harmonic function approaches to the problem.


title: Survey on the Bell nonlocality of a pair of entangled qudits

abstract: The question of how Bell nonlocality behaves in bipartite systems of higher dimensions is addressed. By employing the probability of violation of local realism under random measurements as the figure of merit, we investigate the nonlocality of entangled qudits with dimensions ranging from $d=2$ to $d=7$. We proceed in two complementary directions. First, we study the specific Bell scenario defined by the Collins-Gisin-Linden-Massar-Popescu (CGLMP) inequality. Second, we consider the nonlocality of the same states under a more general perspective, by directly addressing the space of joint probabilities (computing the frequencies of behaviours outside the local polytope). In both approaches we find that the nonlocality decreases as the dimension $d$ grows, but in quite distinct ways. While the drop in the probability of violation is exponential in the CGLMP scenario, it presents, at most, a linear decay in the space of behaviours. Furthermore, in both cases the states that produce maximal numeric violations in the CGLMP inequality present low probabilities of violation in comparison with maximally entangled states, so, no anomaly is observed. Finally, the nonlocality of states with non-maximal Schmidt rank is investigated.


title: Solar Physics from Unconventional Viewpoints

abstract: We explore new opportunities for solar physics that could be realized by future missions providing sustained observations from vantage points away from the Sun-Earth line. These include observations from the far side of the Sun, at high latitudes including over the solar poles, or from near-quadrature angles relative to the Earth (e.g., the Sun-Earth L4 and L5 Lagrangian points). Such observations fill known holes in our scientific understanding of the three-dimensional, time-evolving Sun and heliosphere, and have the potential to open new frontiers through discoveries enabled by novel viewpoints.


title: Solving Large-Scale Optimization Problems with a Convergence Rate Independent of Grid Size

abstract: We present a primal-dual method to solve L1-type non-smooth optimization problems independently of the grid size. We apply these results to two important problems : the Rudin-Osher-Fatemi image denoising model and the L1 earth mover's distance from optimal transport. Crucially, we provide analysis that determines the choice of optimal step sizes and we prove that our method converges independently of the grid size. Our approach allows us to solve these problems on grids as large as 4096 by 4096 in a few minutes without parallelization.


title: Navigating a maze differently - a user study

abstract: Navigating spaces is an embodied experience. Examples can vary from rescue workers trying to save people from natural disasters; a tourist finding their way to the nearest coffee shop, or a gamer solving a maze. Virtual reality allows these experiences to be simulated in a controlled virtual environment. However, virtual reality users remain anchored in the real world and the conventions by which the virtual environment is deployed influence user performance. There is currently a need to evaluate the degree of influence imposed by extrinsic factors and virtual reality hardware on its users. Traditionally, virtual reality experiences have been deployed using Head-Mounted Displays with powerful computers rendering the graphical content of the virtual environment; however, user input has been facilitated using an array of human interface devices including Keyboards, Mice, Trackballs, Touchscreens, Joysticks, Gamepads, Motion detecting cameras and Webcams. Some of these HIDs have also been introduced for non-immersive video games and general computing. Due to this fact, a subset of virtual reality users has greater familiarity than others in using these HIDs. Virtual reality experiences that utilize gamepads (controllers) to navigate virtual environments may introduce a bias towards usability among virtual reality users previously exposed to video-gaming. This article presents an evaluative user study conducted using our ubiquitous virtual reality framework with general audiences. Among our findings, we reveal a usability bias among virtual reality users who are predominantly video gamers. Beyond this, we found a statistical difference in user behavior between untethered immersive virtual reality experiences compared to untethered non-immersive virtual reality experiences.


title: On BPS World Volume, RR Couplings and their $\alpha'$ Corrections in type IIB

abstract: We compute the asymmetric and symmetric correlation functions of a four point amplitude of a gauge field, a scalar field and a closed string Ramond-Ramond (RR) for different non-vanishing BPS branes. All world volume, Taylor and pull-back couplings and their all order $\alpha'$ corrections have also been explored. Due to various symmetry structures, different restricted BPS Bianchi identities have also been constructed. The prescription of exploring all the corrections of two closed string RR couplings in type IIB is given. We obtain the closed form of the entire S-matrix elements of two closed string RR and a gauge field on the world volume of BPS branes in type IIB. All the correlation functions of $< V_{A^{0}(x_1)}V_{C^{-1}(z_1,\bar{z}_1)}V_{C^{-1}(z_2,\bar{z}_2)}>$ are also revealed accordingly. The algebraic forms for the most general case of the integrations $\int d^2z |z-i|^{a} |z+i|^{b} (z - \bar{z})^{c} (z + \bar{z})^{d}$ on upper half plane are derived in terms of Pochhammer and some analytic functions. Lastly, we generate various singularity structures in both effective field theory and IIB string theory, producing different contact interactions as well as their $\alpha'$ higher derivative corrections.


title: Deployment of the Saddle Space Transformation in Tracking the Base of Support

abstract: Balance is the fundamental skill behind human locomotion, and its impairment is the principal indicator of self-perceived disability. Despite significant improvements in balance assessment, there is still large incidence of fall related injuries among elderlies. The Base of Support (BoS) is a popular method for bipedal stability assessment, but its accuracy depends on the accuracy the BoS geometry measurement. This work presents a method to ease the BoS tracking by the identification of a reference frame that allows to define postural models of the BoS geometry. Although we also propose a geometry based on the geometry determined from centre of pressure range of motion within the foot obtained from literature, this methodology can be used with other models (i.e., the feasible base of support). The model has been tested with 12 healthy subjects, which have been asked to explore their stability in six different postures. The results show that the model can accurate deform the geometry of the BoS to adapt its shape to the different postures, which can remove the necessity of force/torque sensors in some application. Potentially the proposed method can be also applied to describe any posture dependent attribute (e.g., gravitational forces), and it can be also applied to bipedal robots. Therefore, it constitutes a novel mathematical tool that can be deployed to develop both better sensors and models for bipeds. For example, it can be used with the Extrapolated CoM model to evaluate dynamic stability from the body kinematics.


title: Holographic Colour Prints: Enhanced Optical Security by Combined Phase and Amplitude Control

abstract: We created a novel optical security device that integrates multiple computer-generated holograms within a single colour image. Under white light, this "holographic colour print" appears as a colour image, whereas illumination with a red, green, or blue beam from a handheld laser pointer projects up to three different holograms onto a distant screen. In our design, all dielectric layered pixels comprising phase plates (phase control) and structural colour filters (amplitude control) are tiled to form a monolithic print, wherein pixel-level control over the phase and amplitude of light allows us to simultaneously achieve hologram multiplexing and colour image formation. The entire print is fabricated in a single lithographic process using a femtosecond 3D direct laser writer. As the phase and amplitude information is encoded in the surface relief of the structures, our prints can be manufactured using nanoimprint lithography and could find applications in document security.


title: Invariant Representations without Adversarial Training

abstract: Representations of data that are invariant to changes in specified factors are useful for a wide range of problems: removing potential biases in prediction problems, controlling the effects of covariates, and disentangling meaningful factors of variation. Unfortunately, learning representations that exhibit invariance to arbitrary nuisance factors yet remain useful for other tasks is challenging. Existing approaches cast the trade-off between task performance and invariance in an adversarial way, using an iterative minimax optimization. We show that adversarial training is unnecessary and sometimes counter-productive; we instead cast invariant representation learning as a single information-theoretic objective that can be directly optimized. We demonstrate that this approach matches or exceeds performance of state-of-the-art adversarial approaches for learning fair representations and for generative modeling with controllable transformations.


title: Absolute versus Relational Debate: a Modern Global Version

abstract: Suppose one seeks to free oneself from a symmetric absolute space by quotienting out its symmetry group. This in general however fails to erase all memory of this absolute space's symmetry properties. Stratification is one major reason for this, which is present in both a) Kendall-type Shape Theory and subsequent Relational Mechanics, and b) General Relativity configuration spaces. We consider the alternative starting point with a generic absolute space, meaning with no nontrivial generalized Killing vectors whatsoever. In this approach, generically Shape-and-Scale Theory is but trivially realized, there is no separate Shape Theory and indeed no stratification. While the GR configuration space version of these considerations was already expounded in 1996 by Fischer and Moncrief, the Kendall-type shape theory version is new to the current article. In each case, this amounts to admitting some small deformation by which symmetry's hard consequences at the level of reduced configuration spaces are warded off.We end by discussing the senses in which each of the above two strategies retain absolutist features, each's main known technical advantages and disadvantages, and the desirability of replacing Kendall-type Shape Theory with a Local-and-Approximate Shape Theory. This article is in honour of Prof. Niall \'{o} Murchadha, on the occasion of his Festschrift.


title: Cautious Deep Learning

abstract: Most classifiers operate by selecting the maximum of an estimate of the conditional distribution $p(y|x)$ where $x$ stands for the features of the instance to be classified and $y$ denotes its label. This often results in a {\em hubristic bias}: overconfidence in the assignment of a definite label. Usually, the observations are concentrated on a small volume but the classifier provides definite predictions for the entire space. We propose constructing conformal prediction sets which contain a set of labels rather than a single label. These conformal prediction sets contain the true label with probability $1-\alpha$. Our construction is based on $p(x|y)$ rather than $p(y|x)$ which results in a classifier that is very cautious: it outputs the null set --- meaning "I don't know" --- when the object does not resemble the training examples. An important property of our approach is that adversarial attacks are likely to be predicted as the null set or would also include the true label. We demonstrate the performance on the ImageNet ILSVRC dataset and the CelebA and IMDB-Wiki facial datasets using high dimensional features obtained from state of the art convolutional neural networks.


title: Deep Reinforcement Learning For Sequence to Sequence Models

abstract: In recent times, sequence-to-sequence (seq2seq) models have gained a lot of popularity and provide state-of-the-art performance in a wide variety of tasks such as machine translation, headline generation, text summarization, speech to text conversion, and image caption generation. The underlying framework for all these models is usually a deep neural network comprising an encoder and a decoder. Although simple encoder-decoder models produce competitive results, many researchers have proposed additional improvements over these sequence-to-sequence models, e.g., using an attention-based model over the input, pointer-generation models, and self-attention models. However, such seq2seq models suffer from two common problems: 1) exposure bias and 2) inconsistency between train/test measurement. Recently, a completely novel point of view has emerged in addressing these two problems in seq2seq models, leveraging methods from reinforcement learning (RL). In this survey, we consider seq2seq problems from the RL point of view and provide a formulation combining the power of RL methods in decision-making with sequence-to-sequence models that enable remembering long-term memories. We present some of the most recent frameworks that combine concepts from RL and deep neural networks and explain how these two areas could benefit from each other in solving complex seq2seq tasks. Our work aims to provide insights into some of the problems that inherently arise with current approaches and how we can address them with better RL models. We also provide the source code for implementing most of the RL models discussed in this paper to support the complex task of abstractive text summarization.