title: Differential complexes and Hodge theory on log-symplectic manifolds

abstract: We study certain complexes of differential forms, including reverse de Rham complexes, on (real or complex) Poisson manifolds, especially holomorphic log-symplectic ones. We relate these to the degeneracy divisor and rank loci of the Poisson bivector. In some good holomorphic cases we compute the local cohomology of these complexes. In the Kahlerian case, we deduce a relation between the multiplicity loci of the degeneracy divisor and the Hodge numbers of the manifold. We also show that vanishing of one of these Hodge numbers is related tounobstructed deformations of the normalized degeneracy divisor with its induced Poisson structure.


title: Evidence of Herding and Stubbornness in Jury Deliberations

abstract: We explore how the mechanics of collective decision-making, especially of jury deliberation, can be inferred from macroscopic statistics. We first hypothesize that the dynamics of competing opinions can leave a "fingerprint" in the joint distribution of final votes and time to reach a decision. We probe this hypothesis by modeling jury datasets from different states collected in different years and identifying which of the models best explains opinion dynamics in juries. In our best-fit model, individual jurors have a "herding" tendency to adopt the majority opinion of the jury, but as the amount of time they have held their current opinion increases, so too does their resistance to changing their opinion (what we call "increasing stubbornness"). By contrast, other models without increasing stubbornness, or without herding, create poorer fits to data. Our findings suggest that both stubbornness and herding play an important role in collective decision-making.


title: Extracting single electron wavefunctions from a quantum electrical current

abstract: Quantum nanoelectronics has entered an era where quantum electrical currents are built from single to few on-demand elementary excitations. To date however, very limited tools have been implemented to characterize them. In this work, we present a quantum current analyzer able to extract single particle excitations present within a periodic quantum electrical current without any a priori hypothesis. Our analyzer combines two-particle interferometry and signal processing to extract the relevant electron and hole wavefunctions localized around each emission period and their quantum coherence from one emission period to the other. This quantum current analyzer opens new possibilities for the characterization and control of quantum electrical currents in nanoscale conductors and for investigations of entanglement in quantum electronics down to the single electron level.


title: The Leggett--Garg K3 quantity discriminates Dirac and Majorana neutrinos

abstract: The K3 quantity, introduced in a context of the Leggett--Garg inequality violation, is studied for the neutrino oscillations in matter with phenomenologically modelled dissipative environment. It is shown that the K3 function acquires different values depending on whether neutrino is Dirac or Majorana particle, provided that there is a dissipative interaction between matter and neutrinos. The difference occurs for various matter densities and can serve as a potential quantifier verifying the neutrino nature. Moreover, working within phenomenological model one can suggest the values of the matter density and dissipation for which the difference is the most visible. There exist also special conditions in which the violation of the Leggett--Garg inequality, to a different extent for both kinds of neutrino, is observed.


title: Golf-course and funnel energy landscapes: Protein folding concepts in martensites

abstract: We use protein folding energy landscape concepts such as golf-course and funnel to study re-equilibration in athermal martensite parameter regime of triangle-to-centered rectangle, square-to-oblique, and triangle-to-oblique transitions under systematic temperature-quench Monte Carlo simulations. On quenching below a transition temperature, the seeded high-symmetry parent-phase austenite that converts to the low-symmetry product-phase martensite, through autocatalytic twinning or elastic photocopying, has both rapid conversions and incubation-delays in the temperature-time-transformation phase diagram. We find the rapid (incubation-delays) conversions at low (high) temperatures arises from the presence of large (small) size of golf-course edge that has funnel inside for negative energy states. In the incubating state, the strain structure factor enters into the Brillouin zone golf-course through searches for finite transitional pathways which closes off at the transition temperature with Vogel-Fulcher divergences that are insensitive to Hamiltonian energy scales and log-normal distributions, as signatures of dominant entropy barriers. The crossing of the entropy barrier is identified through energy occupancy distributions, Monte Carlo acceptance fractions, heat emission and internal work. The above ideas had previously been presented for the scalar order parameter case. Here we show similar results are also obtained for vector order parameters.


title: Correlations and Clustering in Wholesale Electricity Markets

abstract: We study the structure of locational marginal prices in day-ahead and real-time wholesale electricity markets. In particular, we consider the case of two North American markets and show that the price correlations contain information on the locational structure of the grid. We study various clustering methods and introduce a type of correlation function based on event synchronization for spiky time series, and another based on string correlations of location names provided by the markets. This allows us to reconstruct aspects of the locational structure of the grid.


title: Optimal Measurement Policy for Predicting UAV Network Topology

abstract: In recent years, there has been a growing interest in using networks of Unmanned Aerial Vehicles (UAV) that collectively perform complex tasks for diverse applications. An important challenge in realizing UAV networks is the need for a communication platform that accommodates rapid network topology changes. For instance, a timely prediction of network topology changes can reduce communication link loss rate by setting up links with prolonged connectivity. In this work, we develop an optimal tracking policy for each UAV to perceive its surrounding network configuration in order to facilitate more efficient communication protocols. More specifically, we develop an algorithm based on particle swarm optimization and Kalman filtering with intermittent observations to find a set of optimal tracking policies for each UAV under time-varying channel qualities and constrained tracking resources such that the overall network estimation error is minimized.


title: Nonuniqueness and existence of continuous, globally dissipative Euler flows

abstract: We show that H\"{o}lder continuous incompressible Euler flows that satisfy the local energy inequality ("globally dissipative" solutions) exhibit nonuniqueness and contain examples that strictly dissipate kinetic energy. The collection of such solutions emanating from a fixed initial data may have positive Hausdorff dimension in the energy space even if the local energy equality is imposed, and the set of initial data giving rise to such an infinite family of solutions is $C^0$ dense in the space of continuous, divergence free vector fields on the torus ${\mathbb T}^3$. The construction of these solutions involves a new and explicit convex integration approach mirroring Kraichnan's LDIA theory of turbulent energy cascades that overcomes the limitations of previous schemes, which had been restricted to bounded measurable solutions or to continuous solutions that dissipate total kinetic energy.


title: The astrophysical science case for a decihertz gravitational-wave detector

abstract: We discuss the astrophysical science case for a decihertz gravitational-wave mission. We focus on unique opportunities for scientific discovery in this frequency range, including probes of type IA supernova progenitors, mergers in the presence of third bodies, intermediate mass black holes, seeds of massive black holes, improved sky localization, and tracking the population of merging compact binaries.


title: Search for supersymmetry in proton-proton collisions at 13 TeV using identified top quarks

abstract: A search for supersymmetry is presented based on proton-proton collision events containing identified hadronically decaying top quarks, no leptons, and an imbalance $p_\mathrm{T}^\text{miss}$ in transverse momentum. The data were collected with the CMS detector at the CERN LHC at a center-of-mass energy of 13 TeV, and correspond to an integrated luminosity of 35.9 fb$^{-1}$. Search regions are defined in terms of the multiplicity of bottom quark jet and top quark candidates, the $p_\mathrm{T}^\text{miss}$, the scalar sum of jet transverse momenta, and the $m_{\mathrm{T2}}$ mass variable. No statistically significant excess of events is observed relative to the expectation from the standard model. Lower limits on the masses of supersymmetric particles are determined at 95% confidence level in the context of simplified models with top quark production. For a model with direct top squark pair production followed by the decay of each top squark to a top quark and a neutralino, top squark masses up to 1020 GeV and neutralino masses up to 430 GeV are excluded. For a model with pair production of gluinos followed by the decay of each gluino to a top quark-antiquark pair and a neutralino, gluino masses up to 2040 GeV and neutralino masses up to 1150 GeV are excluded. These limits extend previous results.


title: Determinacy of Determinantal Varieties

abstract: A more general class than complete intersection singularities is the class of determinantal singularities. They are defined by the vanishing of all the minors of a certain size of a $m\times n$-matrix. In this note, we consider $\mathcal{G}$-finite determinacy of matrices defining a special class of determinantal varieties. They are called essentially isolated determinantal singularities (EIDS) and were defined by Ebeling and Gusein-Zade. In this note, we prove that matrices parametrized by generic homogeneous forms of degree $d$ define EIDS. It follows that $\mathcal{G}$-finite determinacy of matrices hold in general. As a consequence, EIDS of a given type $(m,n,t)$ holds in general.


title: Manipulation Planning under Changing External Forces

abstract: In this work, we present a manipulation planning algorithm for a robot to keep an object stable under changing external forces. We particularly focus on the case where a human may be applying forceful operations, e.g. cutting or drilling, on an object that the robot is holding. The planner produces an efficient plan by intelligently deciding when the robot should change its grasp on the object as the human applies the forces. The planner also tries to choose subsequent grasps such that they will minimize the number of regrasps that will be required in the long-term. Furthermore, as it switches from one grasp to the other, the planner solves the problem of bimanual regrasp planning, where the object is not placed on a support surface, but instead it is held by a single gripper until the second gripper moves to a new position on the object. This requires the planner to also reason about the stability of the object under gravity.We provide an implementation on a bimanual robot and present experiments to show the performance of our planner.


title: Morse geodesics in torsion groups

abstract: In this paper we exhibit Morse geodesics, often called "hyperbolic directions", in infinite unbounded torsion groups. The groups studied are lacunary hyperbolic groups and constructed using graded small cancellation conditions. In all previously known examples, Morse geodesics were found in groups which also contained Morse elements, infinite order elements whose cyclic subgroup gives a Morse quasi-geodesic. Our result presents the first example of a group which contains Morse geodesics but no Morse elements. In fact, we show that there is an isometrically embedded $7$-regular tree inside such groups where every infinite, simple path is a Morse geodesic.


title: Sedentary quantum walks

abstract: Let $X$ be a graph with adjacency matrix $A$. The \textsl{continuous quantum walk} on $X$ is determined by the unitary matrices $U(t)=\exp(itA)$. If $X$ is the complete graph $K_n$ and $a\in V(X)$, then \[1-|U(t)_{a,a}|\le2/n. \] In a sense, this means that a quantum walk on a complete graph stay home with high probability. In this paper we consider quantum walks on cones over an $\ell$-regular graph on $n$ vertices. We prove that if $\ell^2/n\to\infty$ as $n$ increases, than a quantum walk that starts on the apex of the cone will remain on it with probability tending to $1$ as $n$ increases. On the other hand, if $\ell\le2$ we prove that there is a time $t$ such that local uniform mixing occurs, i.e., all vertices are equally likely. We investigate when a quantum walk on strongly regular graph has a high probability of "staying at home", producing large families of examples with the stay-at-home property where the valency is small compared to the number of vertices.


title: Rayleigh-Brillouin light scattering spectroscopy of nitrous oxide (N$_2$O)

abstract: High signal-to-noise and high-resolution light scattering spectra are measured for nitrous oxide (N$_2$O) gas at an incident wavelength of 403.00 nm, at 90$^\circ$ scattering, at room temperature and at gas pressures in the range $0.5-4$ bar. The resulting Rayleigh-Brillouin light scattering spectra are compared to a number of models describing in an approximate manner the collisional dynamics and energy transfer in this gaseous medium of this polyatomic molecular species. The Tenti-S6 model, based on macroscopic gas transport coefficients, reproduces the scattering profiles in the entire pressure range at less than 2\% deviation at a similar level as does the alternative kinetic Grad's 6-moment model, which is based on the internal collisional relaxation as a decisive parameter. A hydrodynamic model fails to reproduce experimental spectra for the low pressures of 0.5-1 bar, but yields very good agreement ($< 1$\%) in the pressure range $2-4$ bar. While these three models have a different physical basis the internal molecular relaxation derived can for all three be described in terms of a bulk viscosity of $\eta_b \sim (6 \pm 2) \times 10^{-5}$ Pa$\cdot$s. A 'rough-sphere' model, previously shown to be effective to describe light scattering in SF$_6$ gas, is not found to be suitable, likely in view of the non-sphericity and asymmetry of the N-N-O structured linear polyatomic molecule.


title: How to be Helpful? Supportive Behaviors and Personalization for Human-Robot Collaboration

abstract: The field of Human-Robot Collaboration (HRC) has seen a considerable amount of progress in recent years. Thanks in part to advances in control and perception algorithms, robots have started to work in increasingly unstructured environments, where they operate side by side with humans to achieve shared tasks. However, little progress has been made toward the development of systems that are truly effective in supporting the human, proactive in their collaboration, and that can autonomously take care of part of the task. In this work, we present a collaborative system capable of assisting a human worker despite limited manipulation capabilities, incomplete model of the task, and partial observability of the environment. Our framework leverages information from a high-level, hierarchical model that is shared between the human and robot and that enables transparent synchronization between the peers and mutual understanding of each other's plan. More precisely, we firstly derive a partially observable Markov model from the high-level task representation; we then use an online Monte-Carlo solver to compute a short-horizon robot-executable plan. The resulting policy is capable of interactive replanning on-the-fly, dynamic error recovery, and identification of hidden user preferences. We demonstrate that the system is capable of robustly providing support to the human in a realistic furniture construction task.


title: The effects of large scale magnetic fields around young protostars and their disks

abstract: We study the evolution of magnetic fields in accretion flows around six different sink particles in a global star formation simulation. Using the adaptive mesh refinement capabilities of \ramses, the vicinity of the sinks is resolved with a resolution down to $2$ AU. The statistical properties of the magnetic field are tracked as a function of radius, height and time around each sink particle. All six systems are strongly magnetised with plasma beta being unity or below and we know that at least three of the sinks host an accretion disc. One of the discs is studied at a higher resolution of $0.06$ AU and we report its magnetic properties. We find that the angular momentum transport is dominated by large scale radial-azimuthal Maxwell stress. Furthermore, contrary to the weakly magnetised case studied in shearing box simulations, the large scale azimuthal field does not show smooth cycle periods but instead forms a banded structure. We conclude by speculating what this result might mean for observations and whether it will hold with highly resolved simulations including turbulence or non-ideal MHD effects.


title: A Cosmological Signature of the Standard Model Higgs Vacuum Instability: Primordial Black Holes as Dark Matter

abstract: For the current central values of the Higgs and top masses, the Standard Model Higgs potential develops an instability at a scale of the order of $10^{11}$ GeV. We show that a cosmological signature of such instability could be dark matter in the form of primordial black holes seeded by Higgs fluctuations during inflation. The existence of dark matter might not require physics beyond the Standard Model.


title: On-sky closed loop correction of atmospheric dispersion for high-contrast coronagraphy and astrometry

abstract: Adaptive optic (AO) systems delivering high levels of wavefront correction are now common at observatories. One of the main limitations to image quality after wavefront correction comes from atmospheric refraction. An Atmospheric dispersion compensator (ADC) is employed to correct for atmospheric refraction. The correction is applied based on a look-up table consisting of dispersion values as a function of telescope elevation angle. The look-up table based correction of atmospheric dispersion results in imperfect compensation leading to the presence of residual dispersion in the point-spread function (PSF) and is insufficient when sub-milliarcsecond precision is required. The presence of residual dispersion can limit the achievable contrast while employing high-performance coronagraphs or can compromise high-precision astrometric measurements. In this paper, we present the first on-sky closed-loop correction of atmospheric dispersion by directly using science path images. The concept behind the measurement of dispersion utilizes the chromatic scaling of focal plane speckles. An adaptive speckle grid generated with a deformable mirror (DM) that has a sufficiently large number of actuators is used to accurately measure the residual dispersion and subsequently correct it by driving the ADC. We have demonstrated with the Subaru Coronagraphic Extreme AO (SCExAO) system on-sky closed-loop correction of residual dispersion to < 1 mas across H-band. This work will aid in the direct detection of habitable exoplanets with upcoming extremely large telescopes (ELTs) and also provide a diagnostic tool to test the performance of instruments which require sub-milliarcsecond correction.


title: Action-depedent Control Variates for Policy Optimization via Stein's Identity

abstract: Policy gradient methods have achieved remarkable successes in solving challenging reinforcement learning problems. However, it still often suffers from the large variance issue on policy gradient estimation, which leads to poor sample efficiency during training. In this work, we propose a control variate method to effectively reduce variance for policy gradient methods. Motivated by the Stein's identity, our method extends the previous control variate methods used in REINFORCE and advantage actor-critic by introducing more general action-dependent baseline functions. Empirical studies show that our method significantly improves the sample efficiency of the state-of-the-art policy gradient approaches.


title: PyPSA-ZA: Investment and operation co-optimization of integrating wind and solar in South Africa at high spatial and temporal detail

abstract: South Africa is in the fortunate position of having access to high-quality wind and solar resources promising energy production costs well below the ones projected for future installations of thermal generation; yet the feasibility of a low carbon energy system is still under scrutiny. This study introduces a spatially and temporally resolved techno-economic model co-optimising generation and transmission capacity investments and operation. 27 supply regions in South Africa are equipped with a year of time-series in hourly resolution based on the IRP2016 base-case assumptions. Eight different scenarios representing different restrictions on renewable generation and mitigation efforts of GHG emissions are evaluated and discussed. 70% of energy from renewable sources were found to be cost-optimally integrated using flexible gas generation and the expansion of several transmission corridors. A 95% CO${}_2$ reduction leads to a moderate 20% cost increase. The open-source nature of the model and restriction to freely available data encourages an accessible and transparent discussion about the future South African energy system, primarily based on renewable wind and solar resources.


title: VLSI Computational Architectures for the Arithmetic Cosine Transform

abstract: The discrete cosine transform (DCT) is a widely-used and important signal processing tool employed in a plethora of applications. Typical fast algorithms for nearly-exact computation of DCT require floating point arithmetic, are multiplier intensive, and accumulate round-off errors. Recently proposed fast algorithm arithmetic cosine transform (ACT) calculates the DCT exactly using only additions and integer constant multiplications, with very low area complexity, for null mean input sequences. The ACT can also be computed non-exactly for any input sequence, with low area complexity and low power consumption, utilizing the novel architecture described. However, as a trade-off, the ACT algorithm requires 10 non-uniformly sampled data points to calculate the 8-point DCT. This requirement can easily be satisfied for applications dealing with spatial signals such as image sensors and biomedical sensor arrays, by placing sensor elements in a non-uniform grid. In this work, a hardware architecture for the computation of the null mean ACT is proposed, followed by a novel architectures that extend the ACT for non-null mean signals. All circuits are physically implemented and tested using the Xilinx XC6VLX240T FPGA device and synthesized for 45 nm TSMC standard-cell library for performance assessment.


title: Deep word embeddings for visual speech recognition

abstract: In this paper we present a deep learning architecture for extracting word embeddings for visual speech recognition. The embeddings summarize the information of the mouth region that is relevant to the problem of word recognition, while suppressing other types of variability such as speaker, pose and illumination. The system is comprised of a spatiotemporal convolutional layer, a Residual Network and bidirectional LSTMs and is trained on the Lipreading in-the-wild database. We first show that the proposed architecture goes beyond state-of-the-art on closed-set word identification, by attaining 11.92% error rate on a vocabulary of 500 words. We then examine the capacity of the embeddings in modelling words unseen during training. We deploy Probabilistic Linear Discriminant Analysis (PLDA) to model the embeddings and perform low-shot learning experiments on words unseen during training. The experiments demonstrate that word-level visual speech recognition is feasible even in cases where the target words are not included in the training set.


title: Scaling Limits of Processes with Fast Nonlinear Mean Reversion

abstract: We derive scaling limits for integral functionals of It\^o processes with fast nonlinear mean-reversion speed. We show that in these limits, the fast mean-reverting process is "averaged out" by integrating against its invariant measure. These convergence results hold uniformly in probability and, under mild integrability conditions, also in $\mathcal{S}^p$. They are a crucial building block for the analysis of portfolio choice models with small superlinear transaction costs, carried out in the companion paper of the present study.


title: Inverse Spectral Problems for Linked Vibrating Systems and Structured Matrix Polynomials

abstract: We show that for a given set $\Lambda$ of $nk$ distinct real numbers $\lambda_1, \lambda_2, \ldots, \lambda_{nk}$ and $k$ graphs on $n$ nodes, $G_0, G_1,\ldots,G_{k-1}$, there are real symmetric $n\times n$ matrices $A_s$, $s=0,1,\ldots, k$, such that the matrix polynomial $A(z) := A_k z^k + \cdots + A_1 z + A_0$ has $\Lambda$ as its spectrum, the graph of $A_s$ is $G_s$ for $s=0,1,\ldots,k-1$, and $A_k$ is an arbitrary positive definite diagonal matrix. When $k=2$, this solves a physically significant inverse eigenvalue problem for linked vibrating systems (see Corollary 5.3).


title: Improve SAT-solving with Machine Learning

abstract: In this project, we aimed to improve the runtime of Minisat, a Conflict-Driven Clause Learning (CDCL) solver that solves the Propositional Boolean Satisfiability (SAT) problem. We first used a logistic regression model to predict the satisfiability of propositional boolean formulae after fixing the values of a certain fraction of the variables in each formula. We then applied the logistic model and added a preprocessing period to Minisat to determine the preferable initial value (either true or false) of each boolean variable using a Monte-Carlo approach. Concretely, for each Monte-Carlo trial, we fixed the values of a certain ratio of randomly selected variables, and calculated the confidence that the resulting sub-formula is satisfiable with our logistic regression model. The initial value of each variable was set based on the mean confidence scores of the trials that started from the literals of that variable. We were particularly interested in setting the initial values of the backbone variables correctly, which are variables that have the same value in all solutions of a SAT formula. Our Monte-Carlo method was able to set 78% of the backbones correctly. Excluding the preprocessing time, compared with the default setting of Minisat, the runtime of Minisat for satisfiable formulae decreased by 23%. However, our method did not outperform vanilla Minisat in runtime, as the decrease in the conflicts was outweighed by the long runtime of the preprocessing period.


title: Critical Points of Neural Networks: Analytical Forms and Landscape Properties

abstract: Due to the success of deep learning to solving a variety of challenging machine learning tasks, there is a rising interest in understanding loss functions for training neural networks from a theoretical aspect. Particularly, the properties of critical points and the landscape around them are of importance to determine the convergence performance of optimization algorithms. In this paper, we provide full (necessary and sufficient) characterization of the analytical forms for the critical points (as well as global minimizers) of the square loss functions for various neural networks. We show that the analytical forms of the critical points characterize the values of the corresponding loss functions as well as the necessary and sufficient conditions to achieve global minimum. Furthermore, we exploit the analytical forms of the critical points to characterize the landscape properties for the loss functions of these neural networks. One particular conclusion is that: The loss function of linear networks has no spurious local minimum, while the loss function of one-hidden-layer nonlinear networks with ReLU activation function does have local minimum that is not global minimum.


title: Composite Higgs models in disguise

abstract: We present a mechanism for disguising one composite Higgs model as another. Allowing the global symmetry of the strong sector to be broken by large mixings with elementary fields, we show that we can disguise one coset $\mathcal G/\mathcal H$ such that at low energies the phenomenology of the model is better described with a different coset $\mathcal G'/\mathcal H'$. Extra scalar fields acquire masses comparable to the rest of the strong sector resonances and therefore are no longer considered pNGBs. Following this procedure we demonstrate that two models with promising UV-completions can be disguised as the more minimal $SO(5)/SO(4)$ coset.


title: Is Seniority a Partial Dynamic Symmetry in the First $\nu g_{9/2}$ Shell?

abstract: The low-lying structures of the midshell $\nu g_{9/2}$ Ni isotopes $^{72}$Ni and $^{74}$Ni have been investigated at the RIBF facility in RIKEN within the EURICA collaboration. Previously unobserved low-lying states were accessed for the first time following $\beta$ decay of the mother nuclei $^{72}$Co and $^{74}$Co. As a result, we provide a complete picture in terms of the seniority scheme up to the first $(8^+)$ levels for both nuclei. The experimental results are compared to shell-model calculations in order to define to what extent the seniority quantum number is preserved in the first neutron $g_{9/2}$ shell. We find that the disappearance of the seniority isomerism in the $(8^+_1)$ states can be explained by a lowering of the seniority-four $(6^+)$ levels as predicted years ago. For $^{74}$Ni, the internal de-excitation pattern of the newly observed $(6^+_2)$ state supports a restoration of the normal seniority ordering up to spin $J=4$. This property, unexplained by the shell-model calculations, is in agreement with a dominance of the single-particle spherical regime near $^{78}$Ni.


title: Quantum Airy Photons

abstract: With exotic propagation properties, optical Airy beams have been well studied for innovative applications in communications, biomedical imaging, micromachining, and so on. Here we extend those studies to the quantum domain, creating quantum correlated photons in finite-energy Airy transverse modes via spontaneous parametric down conversion and sub-sequential spatial light modulation. Through two-photon coincidence measurements, we verify their Airy spatial wavefunctions, propagation along a parabolic trajectory, and that the spatial modulation does not introduce any observable degradation of quantum correlation between the photons. These results suggest the feasibility of using spatially structured photons for practically advantageous quantum applications.


title: $\texttt{PyTranSpot}$ - A tool for multiband light curve modeling of planetary transits and stellar spots

abstract: Several studies have shown that stellar activity features, such as occulted and non-occulted starspots, can affect the measurement of transit parameters biasing studies of transit timing variations and transmission spectra. We present $\texttt{PyTranSpot}$, which we designed to model multiband transit light curves showing starspot anomalies, inferring both transit and spot parameters. The code follows a pixellation approach to model the star with its corresponding limb darkening, spots, and transiting planet on a two dimensional Cartesian coordinate grid. We combine $\texttt{PyTranSpot}$ with an MCMC framework to study and derive exoplanet transmission spectra, which provides statistically robust values for the physical properties and uncertainties of a transiting star-planet system. We validate $\texttt{PyTranSpot}$'s performance by analyzing eleven synthetic light curves of four different star-planet systems and 20 transit light curves of the well-studied WASP-41b system. We also investigate the impact of starspots on transit parameters and derive wavelength dependent transit depth values for WASP-41b covering a range of 6200-9200 $\AA$, indicating a flat transmission spectrum.


title: The non-diffractive pp cross-section and Survival Probabilities at LHC

abstract: We present an estimate of survival probability from an eikonal mini- jet model implemented with a proposal for soft gluon resummation to all orders. We compare it with experimental data for diffractive di-jet production from LHC experiments, CMS and ATLAS, both at LO and NLO order.


title: The HRC Model Set for Human-Robot Collaboration Research

abstract: In this paper, we present a model set for designing human-robot collaboration (HRC) experiments. It targets a common scenario in HRC, which is the collaborative assembly of furniture, and it consists of a combination of standard components and custom designs. With this work, we aim at reducing the amount of work required to set up and reproduce HRC experiments, and we provide a unified framework to facilitate the comparison and integration of contributions to the field. The model set is designed to be modular, extendable, and easy to distribute. Importantly, it covers the majority of relevant research in HRC, and it allows tuning of a number of experimental variables that are particularly valuable to the field. Additionally, we provide a set of software libraries for perception, control and interaction, with the goal of encouraging other researchers to proactively contribute to our work.


title: Strong-isospin-breaking correction to the muon anomalous magnetic moment from lattice QCD at the physical point

abstract: All lattice-QCD calculations of the hadronic-vacuum-polarization contribution to the muon's anomalous magnetic moment to-date have been performed with degenerate up- and down-quark masses. Here we calculate directly the strong-isospin-breaking correction to $a_\mu^{\rm HVP}$ for the first time with physical values of $m_u$ and $m_d$ and dynamical $u$, $d$, $s$, and $c$ quarks, thereby removing this important source of systematic uncertainty. We obtain a relative shift to be applied to lattice-QCD results obtained with degenerate light-quark masses of $\delta a_\mu^{{\rm HVP,} m_u \neq m_d}$= +1.5(7)%, in agreement with estimates from phenomenology and a recent lattice-QCD calculation with unphysically heavy pions.


title: Prophet Secretary for Combinatorial Auctions and Matroids

abstract: The secretary and the prophet inequality problems are central to the field of Stopping Theory. Recently, there has been a lot of work in generalizing these models to multiple items because of their applications in mechanism design. The most important of these generalizations are to matroids and to combinatorial auctions (extends bipartite matching). Kleinberg-Weinberg \cite{KW-STOC12} and Feldman et al. \cite{feldman2015combinatorial} show that for adversarial arrival order of random variables the optimal prophet inequalities give a $1/2$-approximation. For many settings, however, it's conceivable that the arrival order is chosen uniformly at random, akin to the secretary problem. For such a random arrival model, we improve upon the $1/2$-approximation and obtain $(1-1/e)$-approximation prophet inequalities for both matroids and combinatorial auctions. This also gives improvements to the results of Yan \cite{yan2011mechanism} and Esfandiari et al. \cite{esfandiari2015prophet} who worked in the special cases where we can fully control the arrival order or when there is only a single item. Our techniques are threshold based. We convert our discrete problem into a continuous setting and then give a generic template on how to dynamically adjust these thresholds to lower bound the expected total welfare.


title: How Algorithmic Confounding in Recommendation Systems Increases Homogeneity and Decreases Utility

abstract: Recommendation systems are ubiquitous and impact many domains; they have the potential to influence product consumption, individuals' perceptions of the world, and life-altering decisions. These systems are often evaluated or trained with data from users already exposed to algorithmic recommendations; this creates a pernicious feedback loop. Using simulations, we demonstrate how using data confounded in this way homogenizes user behavior without increasing utility.


title: Nontopological first-order vortices in a gauged $CP(2)$ model with a dielectric function

abstract: We consider nontopological first-order solitons arising from a gauged $CP(2)$ model in the presence of the Maxwell term multiplied by a nontrivial dielectric function. We implement the corresponding first-order scenario by proceeding the minimization of the total energy, this way introducing the corresponding energy lower-bound, such a construction being only possible due to a differential constraint including the dielectric function itself and the self-interacting potential defining the model. We saturate the aforementioned bound by focusing our attention on those solutions fulfilling a particular set of two coupled first-order differential equations. In the sequel, in order to solve these equations, we choose the dielectric function explicitly, also calculating the corresponding self-interacting potential. We impose appropriate boundary conditions supporting nontopological solitons, from which we verify that the energy of final structures is proportional to the magnetic flux they engender, both quantities being not quantized, as expected. We depict the new numerical solutions, whilst commenting on the main properties they present.


title: Deep Learning and Conditional Random Fields-based Depth Estimation and Topographical Reconstruction from Conventional Endoscopy

abstract: Colorectal cancer is the fourth leading cause of cancer deaths worldwide and the second leading cause in the United States. The risk of colorectal cancer can be mitigated by the identification and removal of premalignant lesions through optical colonoscopy. Unfortunately, conventional colonoscopy misses more than 20% of the polyps that should be removed, due in part to poor contrast of lesion topography. Imaging tissue topography during a colonoscopy is difficult because of the size constraints of the endoscope and the deforming mucosa. Most existing methods make geometric assumptions or incorporate a priori information, which limits accuracy and sensitivity. In this paper, we present a method that avoids these restrictions, using a joint deep convolutional neural network-conditional random field (CNN-CRF) framework. Estimated depth is used to reconstruct the topography of the surface of the colon from a single image. We train the unary and pairwise potential functions of a CRF in a CNN on synthetic data, generated by developing an endoscope camera model and rendering over 100,000 images of an anatomically-realistic colon. We validate our approach with real endoscopy images from a porcine colon, transferred to a synthetic-like domain, with ground truth from registered computed tomography measurements. The CNN-CRF approach estimates depths with a relative error of 0.152 for synthetic endoscopy images and 0.242 for real endoscopy images. We show that the estimated depth maps can be used for reconstructing the topography of the mucosa from conventional colonoscopy images. This approach can easily be integrated into existing endoscopy systems and provides a foundation for improving computer-aided detection algorithms for detection, segmentation and classification of lesions.


title: Location-adjusted Wald statistics for scalar parameters

abstract: Inference about a scalar parameter of interest is a core statistical task that has attracted immense research in statistics. The Wald statistic is a prime candidate for the task, on the grounds of the asymptotic validity of the standard normal approximation to its finite-sample distribution, simplicity and low computational cost. It is well known, though, that this normal approximation can be inadequate, especially when the sample size is small or moderate relative to the number of parameters. A novel, algebraic adjustment to the Wald statistic is proposed, delivering significant improvements in inferential performance with only small implementation and computational overhead, predominantly due to additional matrix multiplications. The Wald statistic is viewed as an estimate of a transformation of the model parameters and is appropriately adjusted, using either maximum likelihood or reduced-bias estimators, bringing its expectation asymptotically closer to zero. The location adjustment depends on the expected information, an approximation to the bias of the estimator, and the derivatives of the transformation, which are all either readily available or easily obtainable in standard software for a wealth of models. An algorithm for the implementation of the location-adjusted Wald statistics in general models is provided, as well as a bootstrap scheme for the further scale correction of the location-adjusted statistic. Ample analytical and numerical evidence is presented for the adoption of the location-adjusted statistic in prominent modelling settings, including inference about log-odds and binomial proportions, logistic regression in the presence of nuisance parameters, beta regression, and gamma regression. The location-adjusted Wald statistics are used for the construction of significance maps for the analysis of multiple sclerosis lesions from MRI data.


title: On the unit group of the Burnside ring for some solvable groups as a biset functor

abstract: The theory of bisets has been very useful in progress towards settling the longstanding question of determining units for the Burnside ring. In 2006 Bouc used bisets to settle the question for $p$-groups. In this paper, we provide a standard basis for the unit group of the Burnside ring for groups that contain a abelian subgroups of index two. We then extend this result to groups $G$, where $G$ has a normal subgroup, $N$, of odd index, such that $N$ contains an abelian subgroups of index $2$. Next, we study the structure of the unit group of the Burnside ring as a biset functor, $B^\times$ on this class of groups and determine its lattice of subfunctors. We then use this to determine the composition factors of $B^\times$ over this class of groups. Additionally, we give a sufficient condition for when the functor $B^\times$, defined on a class of groups closed under subquotients, has uncountably many subfunctors.


title: A computable analysis of variable words theorems

abstract: The Carlson-Simpson lemma is a combinatorial statement occurring in the proof of the Dual Ramsey theorem. Formulated in terms of variable words, it informally asserts that given any finite coloring of the strings, there is an infinite sequence with infinitely many variables such that for every valuation, some specific set of initial segments is homogeneous. Friedman, Simpson, and Montalban asked about its reverse mathematical strength. We study the computability-theoretic properties and the reverse mathematics of this statement, and relate it to the finite union theorem. In particular, we prove the Ordered Variable word for binary strings in ACA0.


title: The VLT-FLAMES Tarantula Survey

abstract: We present a number of notable results from the VLT-FLAMES Tarantula Survey (VFTS), an ESO Large Program during which we obtained multi-epoch medium-resolution optical spectroscopy of a very large sample of over 800 massive stars in the 30 Doradus region of the Large Magellanic Cloud (LMC). This unprecedented data-set has enabled us to address some key questions regarding atmospheres and winds, as well as the evolution of (very) massive stars. Here we focus on O-type runaways, the width of the main sequence, and the mass-loss rates for (very) massive stars. We also provide indications for the presence of a top-heavy initial mass function (IMF) in 30 Dor.

categories: astro-ph.SR astro-ph.CO astro-ph.GA astro-ph.IM


title: $A_{n}$-type surface singularity and nondisplaceable Lagrangian tori

abstract: We prove the existence of a one-parameter family of nondisplaceable Lagrangian tori near a linear chain of Lagrangian 2-spheres in a symplectic 4-manifold. When the symplectic structure is rational we prove that the deformed Floer cohomology groups of these tori are nontrivial. The proof uses the idea of toric degeneration to analyze the full potential functions with bulk deformations of these tori.


title: Dependability in Edge Computing

abstract: Edge computing is the practice of placing computing resources at the edges of the Internet in close proximity to devices and information sources. This, much like a cache on a CPU, increases bandwidth and reduces latency for applications but at a potential cost of dependability and capacity. This is because these edge devices are often not as well maintained, dependable, powerful, or robust as centralized server-class cloud resources. This article explores dependability and deployment challenges in the field of edge computing, what aspects are solvable with today's technology, and what aspects call for new solutions. The first issue addressed is failures, both hard (crash, hang, etc.) and soft (performance-related), and real-time constraint violation. In this domain, edge computing bolsters real-time system capacity through reduced end-to-end latency. However, much like cache misses, overloaded or malfunctioning edge computers can drive latency beyond tolerable limits. Second, decentralized management and device tampering can lead to chain of trust and security or privacy violations. Authentication, access control, and distributed intrusion detection techniques have to be extended from current cloud deployments and need to be customized for the edge ecosystem. The third issue deals with handling multi-tenancy in the typically resource-constrained edge devices and the need for standardization to allow for interoperability across vendor products. We explore the key challenges in each of these three broad issues as they relate to dependability of edge computing and then hypothesize about promising avenues of work in this area.


title: Fast and Scalable Learning of Sparse Changes in High-Dimensional Gaussian Graphical Model Structure

abstract: We focus on the problem of estimating the change in the dependency structures of two $p$-dimensional Gaussian Graphical models (GGMs). Previous studies for sparse change estimation in GGMs involve expensive and difficult non-smooth optimization. We propose a novel method, DIFFEE for estimating DIFFerential networks via an Elementary Estimator under a high-dimensional situation. DIFFEE is solved through a faster and closed form solution that enables it to work in large-scale settings. We conduct a rigorous statistical analysis showing that surprisingly DIFFEE achieves the same asymptotic convergence rates as the state-of-the-art estimators that are much more difficult to compute. Our experimental results on multiple synthetic datasets and one real-world data about brain connectivity show strong performance improvements over baselines, as well as significant computational benefits.


title: Threefolds of Kodaira dimension one

abstract: We prove that for any smooth complex projective threefold of Kodaira dimension one, the $m$-th pluricanonical map is birational to the Iitaka fibration for every $m\geq5868$ and divisible by $12$.


title: Ionised gas structure of 100 kpc in an over-dense region of the galaxy group COSMOS-Gr30 at z ~ 0.7

abstract: We report the discovery of a 10^4 kpc^2 gaseous structure detected in [OII] in an over-dense region of the COSMOS-Gr30 galaxy group at z~0.725 thanks to deep MUSE Guaranteed Time Observations. We estimate the total amount of diffuse ionised gas to be of the order of (~5+-3)x10^10 Msun and explore its physical properties to understand its origin and the source(s) of the ionisation. The MUSE data allow the identification of a dozen of group members embedded in this structure from emission and absorption lines. We extracted spectra from small apertures defined for both the diffuse ionised gas and the galaxies. We investigated the kinematics and ionisation properties of the various galaxies and extended gas regions thanks to line diagnostics (R23, O32 and [OIII]/H\beta) available within the MUSE wavelength range. We compared these diagnostics to photo-ionisation models and shock models. The structure is divided in two kinematically distinct sub-structures. The most extended sub-structure of ionised gas is likely rotating around a massive galaxy and displays filamentary patterns linking some galaxies. The second sub-structure links another massive galaxy hosting an Active Galactic Nucleus to a low mass galaxy but also extends orthogonally to the AGN host disk over ~35 kpc. This extent is likely ionised by the AGN itself. The location of small diffuse regions in the R23 vs. O32 diagram is compatible with photo-ionisation. However, the location of three of these regions in this diagram (low O32, high R23) can also be explained by shocks, which is supported by their large velocity dispersions. One edge-on galaxy shares the same properties and may be a source of shocks. Whatever the hypothesis, the extended gas seems to be non primordial. We favour a scenario where the gas has been extracted from galaxies by tidal forces and AGN triggered by interactions between at least the two sub-structures.


title: Inertial effects in systems with magnetic charge

abstract: This short article sets out some of the basic considerations that go into detecting the mass of quasiparticles with effective magnetic charge in solids. Effective magnetic charges may be appear as defects in particular magnetic textures. A magnetic monopole is a defect in this texture and as such these are not monopoles in the actual magnetic field B, but instead in the auxiliary field H. They may have particular properties expected for such quasiparticles such as magnetic charge and mass. This effective mass may -- in principle -- be detected in the same fashion that the mass is detected of other particles classically e.g. through their inertial response to time-dependent electromagnetic fields. I discuss this physics in the context of the "simple" case of the quantum spin ices, but aspects are broadly applicable. Based on extensions to Ryzkhin's model for classical spin ice, a hydrodynamic formulation can be given that takes into account inertial and entropic forces. Ultimately, a form for the susceptibility is obtained that is equivalent to the Rocard equation, which is a classic form used to account for inertial effects in the context of Debye-like relaxation.


title: High-dimensional brain. A tool for encoding and rapid learning of memories by single neurons

abstract: Codifying memories is one of the fundamental problems of modern Neuroscience. The functional mechanisms behind this phenomenon remain largely unknown. Experimental evidence suggests that some of the memory functions are performed by stratified brain structures such as, e.g., the hippocampus. In this particular case, single neurons in the CA1 region receive a highly multidimensional input from the CA3 area, which is a hub for information processing. We thus assess the implication of the abundance of neuronal signalling routes converging onto single cells on the information processing. We show that single neurons can selectively detect and learn arbitrary information items, given that they operate in high dimensions. The argument is based on Stochastic Separation Theorems and the concentration of measure phenomena. We demonstrate that a simple enough functional neuronal model is capable of explaining: i) the extreme selectivity of single neurons to the information content, ii) simultaneous separation of several uncorrelated stimuli or informational items from a large set, and iii) dynamic learning of new items by associating them with already "known" ones. These results constitute a basis for organization of complex memories in ensembles of single neurons. Moreover, they show that no a priori assumptions on the structural organization of neuronal ensembles are necessary for explaining basic concepts of static and dynamic memories.


title: Few-body techniques using momentum space for bound and continuum states

abstract: These notes were written for a set of three lectures given in a school at the Max Planck Institute for the Physics of Complex Systems in October/2017 before the workshop "Critical Stability of Quantum Few-Body Systems". These lectures are primarily dedicated to the students and represent a very idiosyncratic vision of the author, mainly in the last part of the text related to applications. These notes are only a tentative to show a technique, among many others, to solve problems in a very rich area of the contemporary physics - the Few-Body Physics - many times unknown by a considerable part of the students.


title: Operating Quantum States in Single Magnetic Molecules: Implementation of Grover's Quantum Algorithm

abstract: Quantum algorithms use the principles of quantum mechanics, as for example quantum superposition, in order to solve particular problems outperforming standard computation. They are developed for cryptography, searching, optimisation, simulation and solving large systems of linear equations. Here, we implement Grover's quantum algorithm, proposed to find an element in an unsorted list, using a single nuclear 3/2-spin carried by a Single Molecular Magnet (SMM) transistor. The coherent manipulation of this multi-level qudit is achieved by means of electric fields only. Grover's search algorithm was implemented by constructing a quantum database via a multi-level Hadamard gate. The Grover sequence then allows us to select each state. The presented method is of universal character and can be implemented in any multi-level quantum system with non-equal spaced energy levels, opening the way to novel quantum search algorithms.


title: Nonparametric Identification in Index Models of Link Formation

abstract: We consider an index model of dyadic link formation with a homophily effect index and a degree heterogeneity index. We provide nonparametric identification results in a single large network setting for the potentially nonparametric homophily effect function, the realizations of unobserved individual fixed effects and the unknown distribution of idiosyncratic pairwise shocks, up to normalization, for each possible true value of the unknown parameters. We propose a novel form of scale normalization on an arbitrary interquantile range, which is not only theoretically robust but also proves particularly convenient for the identification analysis, as quantiles provide direct linkages between the observable conditional probabilities and the unknown index values. We then use an inductive "in-fill and out-expansion" algorithm to establish our main results, and consider extensions to more general settings that allow nonseparable dependence between homophily and degree heterogeneity, as well as certain extents of network sparsity and weaker assumptions on the support of unobserved heterogeneity. As a byproduct, we also propose a concept called "modeling equivalence" as a refinement of "observational equivalence", and use it to provide a formal discussion about normalization, identification and their interplay with counterfactuals.


title: Bibliometric-Enhanced Information Retrieval: 5th International BIR Workshop

abstract: Bibliometric-enhanced Information Retrieval (BIR) workshops serve as the annual gathering of IR researchers who address various information-related tasks on scientific corpora and bibliometrics. The workshop features original approaches to search, browse, and discover value-added knowledge from scientific documents and related information networks (e.g., terms, authors, institutions, references). We welcome contributions elaborating on dedicated IR systems, as well as studies revealing original characteristics on how scientific knowledge is created, communicated, and used. In this paper we introduce the BIR workshop series and discuss some selected papers presented at previous BIR workshops.


title: The implied volatility of Forward-Start options: ATM short-time level, skew and curvature

abstract: Using Malliavin Calculus techniques, we derive closed-form expressions for the at-the-money behaviour of the forward implied volatility, its skew and its curvature, in general Markovian stochastic volatility models with continuous paths.


title: A Novel Use of Light Guides and Wavelength Shifting Plates for the Detection of Scintillation Photons in Large Liquid Argon Detectors

abstract: Scintillation light generated as charged particles traverse large liquid argon detectors adds valuable information to studies of weakly-interacting particles. This paper uses both laboratory measurements and cosmic ray data from the Blanche dewar facility at Fermilab to characterize the efficiency of the photon detector technology developed at Indiana University for the single phase far detector of DUNE. The efficiency of this technology was found to be 0.48% at the readout end when the detector components were characterized with laboratory measurements. A second determination of the efficiency using cosmic ray tracks is in reasonable agreement with the laboratory determination. The agreement of these two efficiency determinations supports the result that minimum ionizing muons generate ${\mathcal N}_{phot} = 40,000$ photons/MeV as they cross the LAr volume.


title: Periods of abelian differentials and dynamics

abstract: Given a closed oriented surface S we describe those cohomology classes which appear as the period characters of abelian differentials for some choice of complex structure on S consistent with the orientation. The proof is based upon Ratner's solution of Raghunathan's conjecture.


title: Scanning the skeleton of the 4D F-theory landscape

abstract: Using a one-way Monte Carlo algorithm from several different starting points, we get an approximation to the distribution of toric threefold bases that can be used in four-dimensional F-theory compactification. We separate the threefold bases into "resolvable" ones where the Weierstrass polynomials $(f,g)$ can vanish to order (4,6) or higher on codimension-two loci and the "good" bases where these (4,6) loci are not allowed. A simple estimate suggests that the number of distinct resolvable base geometries exceeds $10^{3000}$, with over $10^{250}$ "good" bases, though the actual numbers are likely much larger. We find that the good bases are concentrated at specific "end points" with special isolated values of $h^{1,1}$ that are bigger than 1,000. These end point bases give Calabi-Yau fourfolds with specific Hodge numbers mirror to elliptic fibrations over simple threefolds. The non-Higgsable gauge groups on the end point bases are almost entirely made of products of $E_8$, $F_4$, $G_2$ and SU(2). Nonetheless, we find a large class of good bases with a single non-Higgsable SU(3). Moreover, by randomly contracting the end point bases, we find many resolvable bases with $h^{1,1}(B)\sim 50-200$ that cannot be contracted to another smooth threefold base.


title: The Star Forming Main Sequence of Dwarf Low Surface Brightness Galaxies

abstract: We explore the star forming properties of late type, low surface brightness (LSB) galaxies. The star forming main sequence (SFR-$M_*$) of LSB dwarfs has a steep slope, indistinguishable from unity ($1.04 \pm 0.06$). They form a distinct sequence from more massive spirals, which exhibit a shallower slope. The break occurs around $M_* \approx 10^{10}\;M_{\odot}$, and can also be seen in the gas mass-stellar mass plane. The global Kennicutt-Schmidt law (SFR-$M_g$) has a slope of $1.47 \pm 0.11$ without the break seen in the main sequence. There is an ample supply of gas in LSB galaxies, which have gas depletion times well in excess of a Hubble time, and often tens of Hubble times. Only $\sim 3\%$ of this cold gas need be in the form of molecular gas to sustain the observed star formation. In analogy with the faint, long-lived stars of the lower stellar main sequence, it may be appropriate to consider the main sequence of star forming galaxies to be defined by thriving dwarfs (with $M_* < 10^{10}\;M_{\odot}$) while massive spirals (with $M_* > 10^{10}\;M_{\odot}$) are weary giants that constitute more of a turn-off population.


title: Some Carleson measures for the Hilbert-Hardy space of tube domains over symmetric cones

abstract: In this note, we obtain a full characterization of radial Carleson measures for the Hilbert-Hardy space on tube domains over symmetric cones. For large derivatives, we also obtain a full characterization of the measures for which the corresponding embedding operator is continuous. Restricting to the case of light cones of dimension three, we prove that by freezing one or two variables, the problem of embedding derivatives of the Hilbert-Hardy space into Lebesgue spaces reduces to the characterization of Carleson measures for Hilbert-Bergman spaces of the upper-half plane or the product of two upper-half planes.


title: Prototype Matching Networks for Large-Scale Multi-label Genomic Sequence Classification

abstract: One of the fundamental tasks in understanding genomics is the problem of predicting Transcription Factor Binding Sites (TFBSs). With more than hundreds of Transcription Factors (TFs) as labels, genomic-sequence based TFBS prediction is a challenging multi-label classification task. There are two major biological mechanisms for TF binding: (1) sequence-specific binding patterns on genomes known as "motifs" and (2) interactions among TFs known as co-binding effects. In this paper, we propose a novel deep architecture, the Prototype Matching Network (PMN) to mimic the TF binding mechanisms. Our PMN model automatically extracts prototypes ("motif"-like features) for each TF through a novel prototype-matching loss. Borrowing ideas from few-shot matching models, we use the notion of support set of prototypes and an LSTM to learn how TFs interact and bind to genomic sequences. On a reference TFBS dataset with $2.1$ $million$ genomic sequences, PMN significantly outperforms baselines and validates our design choices empirically. To our knowledge, this is the first deep learning architecture that introduces prototype learning and considers TF-TF interactions for large-scale TFBS prediction. Not only is the proposed architecture accurate, but it also models the underlying biology.


title: Time-lagged autoencoders: Deep learning of slow collective variables for molecular kinetics

abstract: Inspired by the success of deep learning techniques in the physical and chemical sciences, we apply a modification of an autoencoder type deep neural network to the task of dimension reduction of molecular dynamics data. We can show that our time-lagged autoencoder reliably finds low-dimensional embeddings for high-dimensional feature spaces which capture the slow dynamics of the underlying stochastic processes - beyond the capabilities of linear dimension reduction techniques.

categories: stat.ML cs.LG physics.bio-ph physics.chem-ph


title: Intelligent Wireless Communications Enabled by Cognitive Radio and Machine Learning

abstract: The ability to intelligently utilize resources to meet the need of growing diversity in services and user behavior marks the future of wireless communication systems. Intelligent wireless communications aims at enabling the system to perceive and assess the available resources, to autonomously learn to adapt to the perceived wireless environment, and to reconfigure its operating mode to maximize the utility of the available resources. The perception capability and reconfigurability are the essential features of cognitive radio while modern machine learning techniques project great potential in system adaptation. In this paper, we discuss the development of the cognitive radio technology and machine learning techniques and emphasize their roles in improving spectrum and energy utility of wireless communication systems. We describe the state-of-the-art of relevant techniques, covering spectrum sensing and access approaches and powerful machine learning algorithms that enable spectrum- and energy-efficient communications in dynamic wireless environments. We also present practical applications of these techniques and identify further research challenges in cognitive radio and machine learning as applied to the existing and future wireless communication systems.


title: Theoretical properties of the global optimizer of two layer neural network

abstract: In this paper, we study the problem of optimizing a two-layer artificial neural network that best fits a training dataset. We look at this problem in the setting where the number of parameters is greater than the number of sampled points. We show that for a wide class of differentiable activation functions (this class involves "almost" all functions which are not piecewise linear), we have that first-order optimal solutions satisfy global optimality provided the hidden layer is non-singular. Our results are easily extended to hidden layers given by a flat matrix from that of a square matrix. Results are applicable even if network has more than one hidden layer provided all hidden layers satisfy non-singularity, all activations are from the given "good" class of differentiable functions and optimization is only with respect to the last hidden layer. We also study the smoothness properties of the objective function and show that it is actually Lipschitz smooth, i.e., its gradients do not change sharply. We use smoothness properties to guarantee asymptotic convergence of O(1/number of iterations) to a first-order optimal solution. We also show that our algorithm will maintain non-singularity of hidden layer for any finite number of iterations.


title: Dynamics of patchy particles in and out of equilibrium

abstract: We combine particle-based simulations, mean-field rate equations, and Wertheim's theory to study the dynamics of patchy particles in and out of equilibrium, at different temperatures and densities. We consider an initial random distribution of non-overlapping three-patch particles, with no bonds, and analyze the time evolution of the breaking and bonding rates of a single bond. We find that the asymptotic (equilibrium) dynamics differs from the initial (out of equilibrium) one. These differences are expected to depend on the initial conditions, temperature, and density.


title: The geometry of some generalized affine Springer fibers

abstract: We study basic geometric properties of some group analogue of affine Springer fibers and compare with the classical Lie algebra affine Springer fibers. The main purpose is to formulate a conjecture that relates the number of irreducible components of such varieties for a reductive group $G$ to certain weight multiplicities defined by the Langlands dual group $\hat{G}$. We prove our conjecture in the case of unramified conjugacy class.


title: On the computation of Gaussian quadrature rules for Chebyshev sets of linearly independent functions

abstract: We consider the computation of quadrature rules that are exact for a Chebyshev set of linearly independent functions on an interval $[a,b]$. A general theory of Chebyshev sets guarantees the existence of rules with a Gaussian property, in the sense that $2l$ basis functions can be integrated exactly with just $l$ points and weights. Moreover, all weights are positive and the points lie inside the interval $[a,b]$. However, the points are not the roots of an orthogonal polynomial or any other known special function as in the case of regular Gaussian quadrature. The rules are characterized by a nonlinear system of equations, and earlier numerical methods have mostly focused on finding suitable starting values for a Newton iteration to solve this system. In this paper we describe an alternative scheme that is robust and generally applicable for so-called complete Chebyshev sets. These are ordered Chebyshev sets where the first $k$ elements also form a Chebyshev set for each $k$. The points of the quadrature rule are computed one by one, increasing exactness of the rule in each step. Each step reduces to finding the unique root of a univariate and monotonic function. As such, the scheme of this paper is guaranteed to succeed. The quadrature rules are of interest for integrals with non-smooth integrands that are not well approximated by polynomials.


title: Integer polygons of given perimeter

abstract: A classical result of Honsberger states that the number of incongruent triangles with integer sides and perimeter $n$ is the nearest integer to $\frac{n^2}{48}$ ($n$ even) or $\frac{(n+3)^2}{48}$ ($n$ odd). We solve the analogous problem for $m$-gons (for arbitrary but fixed $m\geq3$), and for polygons (with arbitrary number of sides). We also show that the solution to the latter is asymptotic to $\frac{2^{n-1}}n$, and the former (for fixed $m$) to $\frac{2^{m-1}-m}{2^mm!}n^{m-1}$.


title: A Dynamic Hash Table for the GPU

abstract: We design and implement a fully concurrent dynamic hash table for GPUs with comparable performance to the state of the art static hash tables. We propose a warp-cooperative work sharing strategy that reduces branch divergence and provides an efficient alternative to the traditional way of per-thread (or per-warp) work assignment and processing. By using this strategy, we build a dynamic non-blocking concurrent linked list, the slab list, that supports asynchronous, concurrent updates (insertions and deletions) as well as search queries. We use the slab list to implement a dynamic hash table with chaining (the slab hash). On an NVIDIA Tesla K40c GPU, the slab hash performs updates with up to 512 M updates/s and processes search queries with up to 937 M queries/s. We also design a warp-synchronous dynamic memory allocator, SlabAlloc, that suits the high performance needs of the slab hash. SlabAlloc dynamically allocates memory at a rate of 600 M allocations/s, which is up to 37x faster than alternative methods in similar scenarios.


title: Dehn invariant of flexible polyhedra

abstract: We prove that the Dehn invariant of any flexible polyhedron in Euclidean space of dimension greater than or equal to 3 is constant during the flexion. In dimensions 3 and 4 this implies that any flexible polyhedron remains scissors congruent to itself during the flexion. This proves the Strong Bellows Conjecture posed by Connelly in 1979. It was believed that this conjecture was disproved by Alexandrov and Connelly in 2009. However, we find an error in their counterexample. Further, we show that the Dehn invariant of a flexible polyhedron in either sphere or Lobachevsky space of dimension greater than or equal to 3 is constant during the flexion if and only if this polyhedron satisfies the usual Bellows Conjecture, i.e., its volume is constant during every flexion of it. Using previous results due to the first listed author, we deduce that the Dehn invariant is constant during the flexion for every bounded flexible polyhedron in odd-dimensional Lobachevsky space and for every flexible polyhedron with sufficiently small edge lengths in any space of constant curvature of dimension greater than or equal to 3.


title: Learning Robust Rewards with Adversarial Inverse Reinforcement Learning

abstract: Reinforcement learning provides a powerful and general framework for decision making and control, but its application in practice is often hindered by the need for extensive feature and reward engineering. Deep reinforcement learning methods can remove the need for explicit engineering of policy or value features, but still require a manually specified reward function. Inverse reinforcement learning holds the promise of automatic reward acquisition, but has proven exceptionally difficult to apply to large, high-dimensional problems with unknown dynamics. In this work, we propose adverserial inverse reinforcement learning (AIRL), a practical and scalable inverse reinforcement learning algorithm based on an adversarial reward learning formulation. We demonstrate that AIRL is able to recover reward functions that are robust to changes in dynamics, enabling us to learn policies even under significant variation in the environment seen during training. Our experiments show that AIRL greatly outperforms prior methods in these transfer settings.


title: Rock-Paper-Scissors, Differential Games and Biological Diversity

abstract: We model a situation in which a collection of species derive their fitnesses via a rock-paper-scissors-type game; however, the precise payoffs are a function of the environment. The new aspect of our model lies in adding a feedback loop: the environment changes according to the relative fitnesses of the species; in particular, it gives a boost to the species having small populations. We cast our model in the setting of a differential game and we show that for a certain setting of parameters, this dynamics cycles. Our model is a natural one, since depletion of resources used by more frequent species will shift the payoff matrix towards favoring less frequent ones. Since the dynamics cycles, no species goes extinct and diversity is maintained.


title: Reachability Preservers: New Extremal Bounds and Approximation Algorithms

abstract: We abstract and study \emph{reachability preservers}, a graph-theoretic primitive that has been implicit in prior work on network design. Given a directed graph $G = (V, E)$ and a set of \emph{demand pairs} $P \subseteq V \times V$, a reachability preserver is a sparse subgraph $H$ that preserves reachability between all demand pairs. Our first contribution is a series of extremal bounds on the size of reachability preservers. Our main result states that, for an $n$-node graph and demand pairs of the form $P \subseteq S \times V$ for a small node subset $S$, there is always a reachability preserver on $O(n+\sqrt{n |P| |S|})$ edges. We additionally give a lower bound construction demonstrating that this upper bound characterizes the settings in which $O(n)$ size reachability preservers are generally possible, in a large range of parameters. The second contribution of this paper is a new connection between extremal graph sparsification results and classical Steiner Network Design problems. Surprisingly, prior to this work, the osmosis of techniques between these two fields had been superficial. This allows us to improve the state of the art approximation algorithms for the most basic Steiner-type problem in directed graphs from the $O(n^{0.6+\varepsilon})$ of Chlamatac, Dinitz, Kortsarz, and Laekhanukit (SODA'17) to $O(n^{4/7+\varepsilon})$.


title: Augmented Slepians: Bandlimited Functions that Counterbalance Energy in Selected Intervals

abstract: Slepian functions provide a solution to the optimization problem of joint time-frequency localization. Here, this concept is extended by using a generalized optimization criterion that favors energy concentration in one interval while penalizing energy in another interval, leading to the "augmented" Slepian functions. Mathematical foundations together with examples are presented in order to illustrate the most interesting properties that these generalized Slepian functions show. Also the relevance of this novel energy-concentration criterion is discussed along with some of its applications.


title: Stochastic Variational Video Prediction

abstract: Predicting the future in real-world settings, particularly from raw sensory observations such as images, is exceptionally challenging. Real-world events can be stochastic and unpredictable, and the high dimensionality and complexity of natural images requires the predictive model to build an intricate understanding of the natural world. Many existing methods tackle this problem by making simplifying assumptions about the environment. One common assumption is that the outcome is deterministic and there is only one plausible future. This can lead to low-quality predictions in real-world settings with stochastic dynamics. In this paper, we develop a stochastic variational video prediction (SV2P) method that predicts a different possible future for each sample of its latent variables. To the best of our knowledge, our model is the first to provide effective stochastic multi-frame prediction for real-world video. We demonstrate the capability of the proposed method in predicting detailed future frames of videos on multiple real-world datasets, both action-free and action-conditioned. We find that our proposed method produces substantially improved video predictions when compared to the same model without stochasticity, and to other stochastic video prediction methods. Our SV2P implementation will be open sourced upon publication.


title: Approximation Algorithms for $\ell_0$-Low Rank Approximation

abstract: We study the $\ell_0$-Low Rank Approximation Problem, where the goal is, given an $m \times n$ matrix $A$, to output a rank-$k$ matrix $A'$ for which $\|A'-A\|_0$ is minimized. Here, for a matrix $B$, $\|B\|_0$ denotes the number of its non-zero entries. This NP-hard variant of low rank approximation is natural for problems with no underlying metric, and its goal is to minimize the number of disagreeing data positions. We provide approximation algorithms which significantly improve the running time and approximation factor of previous work. For $k > 1$, we show how to find, in poly$(mn)$ time for every $k$, a rank $O(k \log(n/k))$ matrix $A'$ for which $\|A'-A\|_0 \leq O(k^2 \log(n/k)) \mathrm{OPT}$. To the best of our knowledge, this is the first algorithm with provable guarantees for the $\ell_0$-Low Rank Approximation Problem for $k > 1$, even for bicriteria algorithms. For the well-studied case when $k = 1$, we give a $(2+\epsilon)$-approximation in {\it sublinear time}, which is impossible for other variants of low rank approximation such as for the Frobenius norm. We strengthen this for the well-studied case of binary matrices to obtain a $(1+O(\psi))$-approximation in sublinear time, where $\psi = \mathrm{OPT}/\lVert A\rVert_0$. For small $\psi$, our approximation factor is $1+o(1)$.


title: Spatial symmetry breaking in single-frequency CCP discharge with transverse magnetic field

abstract: An independent control of the flux and energy of ions impacting on an object immersed in a plasma is often desirable for many industrial processes such as microelectronics manufacturing. We demonstrate that a simultaneous control of these quantities is possible by a suitable choice of a static magnetic field applied parallel to the plane electrodes in a standard single frequency capacitively coupled plasma device. Our particle-in-cell simulations show a 60% reduction in the sheath width (that improves control of ion energy) and a four fold increase in the ion flux at the electrode as a consequence of the altered ion and electron dynamics due to the ambient magnetic field. A detailed analysis of the particle dynamics is presented and the optimized operating parameters of the device are discussed. The present technique offers a simple and attractive alternative to conventional dual frequency based devices that often suffer from undesirable limitations arising from frequency coupling and electromagnetic effects.


title: Fabrication of antenna-coupled KID array for Cosmic Microwave Background detection

abstract: Kinetic Inductance Detectors (KIDs) have become an attractive alternative to traditional bolometers in the sub-mm and mm observing community due to their innate frequency multiplexing capabilities and simple lithographic processes. These advantages make KIDs a viable option for the $O(500,000)$ detectors needed for the upcoming Cosmic Microwave Background - Stage 4 (CMB-S4) experiment. We have fabricated antenna-coupled MKID array in the 150GHz band optimized for CMB detection. Our design uses a twin slot antenna coupled to inverted microstrip made from a superconducting Nb/Al bilayer and SiN$_x$, which is then coupled to an Al KID grown on high resistivity Si. We present the fabrication process and measurements of SiN$_x$ microstrip resonators.


title: Gender Differences in First Jobs for New US PhDs in the Mathematical Sciences

abstract: We take a long term look at initial employment trends for new doctorates with an eye towards gender, citizenship, and gender and citizenship differences by analyzing data from 1991-2015 AMS-ASA-IMS-MAA- SIAM Annual Surveys. The data show that the unemployment rate for women has been equal to or lower than the rate for men during most of the last quarter century. The one exception is that between 2001 and 2015 the unemployment rate for women who are not U.S. citizens was higher than the rate for non-citizen men. The unemployment rates are higher for males who are U.S. citizens than for non-citizen males in the last fifteen years, a puzzling trend. The data show that men from all pure math programs are considerably more likely than women to take jobs at the top-ranking and top-producing math departments. The data show women take jobs at departments in which the highest degree is a bachelor's degree at much higher rates and men take jobs in business and industry at considerably higher rates. We also find that men from the top-ranking or top-producing doctoral programs tend to be more likely to take jobs at academic institutions or research institutes at least on a par with their degreegranting institutions.


title: Lectures on Periodic Homogenization of Elliptic Systems

abstract: In recent years considerable advances have been made in quantitative homogenization of partial differential equations in the periodic and non-periodic settings. This monograph surveys the theory of quantitative homogenization for second-order linear elliptic systems in divergence form with rapidly oscillating periodic coefficients, $$ \mathcal{L}_\e =-\text{\rm div} \big (A(x/\e)\nabla \big), $$ in a bounded domain $\Omega$ in $\br^d$. It begins with a review of the classical qualitative homogenization theory, and addresses the problem of convergence rates of solutions. The main body of the monograph investigates various interior and boundary regularity estimates (H\"older, Lipschitz, $W^{1, p}$, nontangnetial-maximal-function) that are uniform in the small parameter $\e>0$. Additional topics include convergence rates for Dirichlet eigenvalues and asymptotic expansions of fundamental solutions, Green functions, and Neumann functions. Part of this monograph is based on lecture notes for courses the author taught at several summer schools and at the University of Kentucky. Much of material in Chapters 6 and 7 is taken from his joint papers \cite{KLS-2013, KLS-2014} with Carlos Kenig and Fang-Hua Lin, and from \cite{KS-2011-L} with Carlos Kenig.


title: Adaptive Sampling Strategies for Stochastic Optimization

abstract: In this paper, we propose a stochastic optimization method that adaptively controls the sample size used in the computation of gradient approximations. Unlike other variance reduction techniques that either require additional storage or the regular computation of full gradients, the proposed method reduces variance by increasing the sample size as needed. The decision to increase the sample size is governed by an inner product test that ensures that search directions are descent directions with high probability. We show that the inner product test improves upon the well known norm test, and can be used as a basis for an algorithm that is globally convergent on nonconvex functions and enjoys a global linear rate of convergence on strongly convex functions. Numerical experiments on logistic regression problems illustrate the performance of the algorithm.


title: Fast Poisson solvers for spectral methods

abstract: Poisson's equation is the canonical elliptic partial differential equation. While there exist fast Poisson solvers for finite difference and finite element methods, fast Poisson solvers for spectral methods have remained elusive. Here, we derive spectral methods for solving Poisson's equation on a square, cylinder, solid sphere, and cube that have an optimal complexity (up to polylogarithmic terms) in terms of the degrees of freedom required to represent the solution. Whereas FFT-based fast Poisson solvers exploit structured eigenvectors of finite difference matrices, our solver exploits a separated spectra property that holds for our spectral discretizations. Without parallelization, we can solve Poisson's equation on a square with 100 million degrees of freedom in under two minutes on a standard laptop.


title: Implicit Manifold Learning on Generative Adversarial Networks

abstract: This paper raises an implicit manifold learning perspective in Generative Adversarial Networks (GANs), by studying how the support of the learned distribution, modelled as a submanifold $\mathcal{M}_{\theta}$, perfectly match with $\mathcal{M}_{r}$, the support of the real data distribution. We show that optimizing Jensen-Shannon divergence forces $\mathcal{M}_{\theta}$ to perfectly match with $\mathcal{M}_{r}$, while optimizing Wasserstein distance does not. On the other hand, by comparing the gradients of the Jensen-Shannon divergence and the Wasserstein distances ($W_1$ and $W_2^2$) in their primal forms, we conjecture that Wasserstein $W_2^2$ may enjoy desirable properties such as reduced mode collapse. It is therefore interesting to design new distances that inherit the best from both distances.


title: Moment Independent Expansion for Fourth-Order Corrections in Lattice Boltzmann Methods

abstract: A expansion to fourth-order for lattice Boltzmann methods is presented. This expansion provides an easy model for finding fourth-order corrections to lattice Boltzmann methods for various physical systems. The fourth-order terms can give rise to improved results over traditional second-order lattice Boltzmann implementations. Although, this manuscript solely deals with fourth-order expansions, this expansion is easily extended to arbitrary order. We present examples of how this expansion is utilized and provide basic analysis to show how the fourth-order methods differ from lower order models for both diffusive systems and phase separating systems.


title: New method of galactic axion search

abstract: An appealing candidate of the galactic dark matter is the axion, which was postulated to solve the strong CP (Charge-conjugation Parity) violation problem in the standard particle theory. A new experimental method is proposed to determine the axion mass. The method uses collectively and coherently excited atoms or molecules, the trigger laser inducing galactic axion absorption along with signal photon emission to be detected.

categories: hep-ph astro-ph.GA hep-ex physics.atom-ph


title: Some network conditions for positive recurrence of stochastically modeled reaction networks

abstract: We consider discrete-space continuous-time Markov models of reaction networks and provide sufficient conditions for the following stability condition to hold: each state in a closed, irreducible component of the state space is positive recurrent; moreover the time required for a trajectory to enter such a component has finite expectation. The provided analytical results depend solely on the underlying structure of the reaction network and not on the specific choice of model parameters. Our main results apply to binary systems and our main analytical tool is the "tier structure" previously utilized successfully in the study of deterministic models of reaction networks.


title: Computational Analysis of Metasurfaces

abstract: Metasurfaces represent one of the most vibrant fields of modern science and technology. A metasurface is a complex electromagnetic structure, that is typically deeply subwavelength in thickness, electrically large in transverse size and composed of subwavelength scattering particles with extremely small features; it may generally be bianisotropic, spacevarying and time-varying, nonlinear, curved and multiphysics. With such complexity, the design of a metasurface requires a holistic approach, involving synergistic synthesis and analysis operations, based on a solid model. The Generalized Sheet Transition Conditions (GSTCs), combined with bianisotropic surface susceptibility functions, provide such a model, and allow now for the design of sophisticated metasurfaces, which still represented a major challenge a couple of years ago. This paper presents this problematic, focusing on the computational analysis of metasurfaces via the GSTC-susceptibility approach. It shows that this analysis plays a crucial role in the holistic design of metasurfaces, and overviews recently reported related frequency-domain (FDFD, SD-IE, FEM) and time-domain (FDTD) computational techniques.


title: Bounded Point Evaluations For Rationally Multicyclic Subnormal Operators

abstract: Let $S$ be a pure bounded rationally multicyclic subnormal operator on a separable complex Hilbert space $\mathcal H$ and let $M_z$ be the minimal normal extension on a separable complex Hilbert space $\mathcal K$ containing $\mathcal H.$ Let $bpe(S)$ be the set of bounded point evaluations and let $abpe(S)$ be the set of analytic bounded point evaluations. We show $abpe(S) = bpe(S) \cap Int(\sigma (S)).$ The result affirmatively answers a question asked by J. B. Conway concerning the equality of the interior of $bpe(S)$ and $abpe(S)$ for a rationally multicyclic subnormal operator $S.$ As a result, if $\lambda_0\in Int(\sigma (S))$ and $dim(ker(S-\lambda_0)^*) = N,$ where $N$ is the minimal number of cyclic vectors for $S,$ then the range of $S-\lambda_0$ is closed, hence, $\lambda_0 \in \sigma (S) \setminus \sigma_e (S).$


title: Spectrum and normal modes of non-hermitian quadratic boson operators

abstract: We analyze the spectrum and normal mode representation of general quadratic bosonic forms $H$ not necessarily hermitian. It is shown that in the one-dimensional case such forms exhibit either an harmonic regime where both $H$ and $H^\dagger$ have a discrete spectrum with biorthogonal eigenstates, and a coherent-like regime where either $H$ or $H^\dagger$ have a continuous complex two-fold degenerate spectrum, while its adjoint has no convergent eigenstates. These regimes reflect the nature of the pertinent normal boson operators. Non-diagonalizable cases as well critical boundary sectors separating these regimes are also analyzed. The extension to $N$-dimensional quadratic systems is as well discussed.


title: Non-criticality of interaction network over system's crises: A percolation analysis

abstract: Extraction of interaction networks from multi-variate time-series is one of the topics of broad interest in complex systems. Although this method has a wide range of applications, most of the previous analyses have focused on the pairwise relations. Here we establish the potential of such a method to elicit aggregated behavior of the system by making a connection with the concepts from percolation theory. We study the dynamical interaction networks of a financial market extracted from the correlation network of indices, and build a weighted network. In correspondence with the percolation model, we find that away from financial crises the interaction network behaves like a critical random network of Erd\H{o}s-R\'{e}nyi, while close to a financial crisis, our model deviates from the critical random network and behaves differently at different size scales. We perform further analysis to clarify that our observation is not a simple consequence of the growth in correlations over the crises.


title: Theoretical and Computational Guarantees of Mean Field Variational Inference for Community Detection

abstract: The mean field variational Bayes method is becoming increasingly popular in statistics and machine learning. Its iterative Coordinate Ascent Variational Inference algorithm has been widely applied to large scale Bayesian inference. See Blei et al. (2017) for a recent comprehensive review. Despite the popularity of the mean field method there exist remarkably little fundamental theoretical justifications. To the best of our knowledge, the iterative algorithm has never been investigated for any high dimensional and complex model. In this paper, we study the mean field method for community detection under the Stochastic Block Model. For an iterative Batch Coordinate Ascent Variational Inference algorithm, we show that it has a linear convergence rate and converges to the minimax rate within $\log n$ iterations. This complements the results of Bickel et al. (2013) which studied the global minimum of the mean field variational Bayes and obtained asymptotic normal estimation of global model parameters. In addition, we obtain similar optimality results for Gibbs sampling and an iterative procedure to calculate maximum likelihood estimation, which can be of independent interest.


title: Using the AIM for solving the nonrelativistic wave equation for new class of infinite one dimensional well with none flat bottom

abstract: The main goal of this work is to solve the nonrelativistic wave equation for a new potential configuration that describes the quantum states of a particle that lies within a onedimensional infinite well of width L using the Asymptotic Iteration Method (AIM). This potential was introduced recently by Alhaidari to be added to the class of exactly solvable potentials in the Tridiagonal Representation Approach (TRA). We have obtained the energy eigenvalues for different choices of the potential parameters. A good match between our results and the ones obtained by the TRA are shown in Table 1. Moreover, new results have been presented in Table 2 and Table 3 for the energy spectrum.


title: Deep Learning for Frame Error Probability Prediction in BICM-OFDM Systems

abstract: In the context of wireless communications, we propose a deep learning approach to learn the mapping from the instantaneous state of a frequency selective fading channel to the corresponding frame error probability (FEP) for an arbitrary set of transmission parameters. We propose an abstract model of a bit interleaved coded modulation (BICM) orthogonal frequency division multiplexing (OFDM) link chain and show that the maximum likelihood (ML) estimator of the model parameters estimates the true FEP distribution. Further, we exploit deep neural networks as a general purpose tool to implement our model and propose a training scheme for which, even while training with the binary frame error events (i.e., ACKs / NACKs), the network outputs converge to the FEP conditioned on the input channel state. We provide simulation results that demonstrate gains in the FEP prediction accuracy with our approach as compared to the traditional effective exponential SIR metric (EESM) approach for a range of channel code rates, and show that these gains can be exploited to increase the link throughput.


title: Forgetting the Forgotten with Letheia, Concealing Content Deletion from Persistent Observers

abstract: Most social platforms offer mechanisms allowing users to delete their posts, and a significant fraction of users exercise this right to be forgotten. However, ironically, users' attempt to reduce attention to sensitive posts via deletion, in practice, attracts unwanted attention from stalkers specifically to those posts. Thus, deletions may leave users more vulnerable to attacks on their privacy in general. Users hoping to make their posts forgotten face a "damned if I do, damned if I don't" dilemma. Many are shifting towards ephemeral social platform like Snapchat, which will deprive us of important user-data archival. In the form of intermittent withdrawals, we present, Lethe, a novel solution to this problem of forgetting the forgotten. If the next-generation social platforms are willing to give up the uninterrupted availability of non-deleted posts by a very small fraction, Lethe provides privacy to the deleted posts over long durations. In presence of Lethe, an adversarial observer becomes unsure if some posts are permanently deleted or just temporarily withdrawn by Lethe; at the same time, the adversarial observer is overwhelmed by a large number of falsely flagged undeleted posts. To demonstrate the feasibility and performance of Lethe, we analyze large-scale real data about users' deletion over Twitter and thoroughly investigate how to choose time duration distributions for alternating between temporary withdrawals and resurrections of non-deleted posts. We find a favorable trade-off between privacy, availability and adversarial overhead in different settings for users exercising their right to delete. We show that, even against an ultimate adversary with an uninterrupted access to the entire platform, Lethe offers deletion privacy for up to 3 months from the time of deletion, while maintaining content availability as high as 95% and keeping the adversarial precision to 20%.


title: Empirical analysis of non-linear activation functions for Deep Neural Networks in classification tasks

abstract: We provide an overview of several non-linear activation functions in a neural network architecture that have proven successful in many machine learning applications. We conduct an empirical analysis on the effectiveness of using these function on the MNIST classification task, with the aim of clarifying which functions produce the best results overall. Based on this first set of results, we examine the effects of building deeper architectures with an increasing number of hidden layers. We also survey the impact of using, on the same task, different initialisation schemes for the weights of our neural network. Using these sets of experiments as a base, we conclude by providing a optimal neural network architecture that yields impressive results in accuracy on the MNIST classification task.