title: Rotation of Polarization Vector, in Case of Non-Inertial Rotational Frame

abstract: In the present work, rotation of the polarization vector of an electromagnetic wave is extensively calculated for a rotating observer, who can also be considered as a non-inertial accelerated observer. The rotation of the polarization vector calculated here is only due to the effect of the non-inertial frame, considering that the light source is at a distance and it is emitting a plane polarized light. Earth has been taken as an example of rotating frame and the amount of rotation of polarization vector is calculated where it is found that the amount of rotation of polarization vector depends on the azimuthal as well as a polar co-ordinate of the rotating frame. Present work also discusses the redshift caused by any rotating frame and the value of the redshift is calculated taking earth as an example of a rotating frame. The possibilities of experimentally verifying the predictions of present work are also discussed.


title: Heterogeneous Seeded Molecular Dynamics as a Tool to Probe the Ice Nucleating Ability of Crystalline Surfaces

abstract: Ice nucleation plays a significant role in a large number of natural and technological processes, but it is challenging to investigate experimentally because of the small time (ns) and short length scales (nm) involved. On the other hand, conventional molecular simulations struggle to cope with the relatively long timescale required for critical ice nuclei to form. One way to tackle this issue is to take advantage of free energy or path sampling techniques. Unfortunately, these are computationally costly. Seeded molecular dynamics is a much less demanding alternative that has been successfully applied already to study the homogeneous freezing of water. However, in the case of heterogeneous ice nucleation, nature's favourite route to form ice, an array of suitable interfaces between the ice seeds and the substrate of interest has to be built - and this is no trivial task. In this paper, we present a Heterogeneous SEEDing approach (HSEED) which harnesses a random structure search framework to tackle the ice-substrate challenge, thus enabling seeded molecular dynamics simulations of heterogeneous ice nucleation on crystalline surfaces. We validate the HSEED framework by investigating the nucleation of ice on: (i) model crystalline surfaces, using the coarse-grained mW model; and (ii) cholesterol crystals, employing the fully atomistic TIP4P/Ice water model. We show that the HSEED technique yields results in excellent agreement with both metadynamics and forward flux sampling simulations. Because of its computational efficiency, the HSEED method allows one to rapidly assess the ice nucleation ability of whole libraries of crystalline substrates - a long-awaited computational development in e.g. atmospheric science.


title: Can Deep Altruism Sustain Space Settlement?

abstract: Space settlement represents a long-term human effort that requires unprecedented coordination across successive generations. In this chapter, I develop a comparative hierarchy for the value of long-term projects based upon their benefits to culture, their development of infrastructure, and their contributions to lasting information. I next draw upon the concept of the time capsule as an analogy, which enables a comparison of historical examples of projects across generational, intergenerational, and deep time. The concept of deep altruism can then be defined as the selfless pursuit of informational value for the well-being of others in the distant future. The first steps toward supporting an effort like space settlement through deep altruism would establish governance and funding models that begin to support ambitions with intergenerational succession.


title: Simple Whittaker modules over free bosonic orbifold vertex operator algebras

abstract: We construct weak (i.e. non-graded) modules over the vertex operator algebra $M(1)^+$, which is the fixed-point subalgebra of the higher rank free bosonic (Heisenberg) vertex operator algebra with respect to the $-1$ automorphism. These weak modules are constructed from Whittaker modules for the higher rank Heisenberg algebra. We prove that the modules are simple as weak modules over $M(1)^+$ and calculate their Whittaker type when regarded as modules for the Virasoro Lie algebra. Lastly, we show that any Whittaker module for the Virasoro Lie algebra occurs in this way. These results are a higher rank generalization of some results by Tanabe.


title: Learning 6-DoF Grasping and Pick-Place Using Attention Focus

abstract: We address a class of manipulation problems where the robot perceives the scene with a depth sensor and can move its end effector in a space with six degrees of freedom -- 3D position and orientation. Our approach is to formulate the problem as a Markov decision process (MDP) with abstract yet generally applicable state and action representations. Finding a good solution to the MDP requires adding constraints on the allowed actions. We develop a specific set of constraints called hierarchical $\text{SE}(3)$ sampling (HSE3S) which causes the robot to learn a sequence of gazes to focus attention on the task-relevant parts of the scene. We demonstrate the effectiveness of our approach on three challenging pick-place tasks (with novel objects in clutter and nontrivial places) both in simulation and on a real robot, even though all training is done in simulation.


title: Epidemic threshold in pairwise models for clustered networks: closures and fast correlations

abstract: The epidemic threshold is probably the most studied quantity in the modelling of epidemics on networks. For a large class of networks and dynamics the epidemic threshold is well studied and understood. However, it is less so for clustered networks where theoretical results are mostly limited to idealised networks. In this paper we focus on a class of models known as pairwise models where, to our knowledge, no analytical result for the epidemic threshold exists. We show that by exploiting the presence of fast variables and using some standard techniques from perturbation theory we are able to obtain the epidemic threshold analytically. We validate this new threshold by comparing it to the numerical solution of the full system. The agreement is found to be excellent over a wide range of values of the clustering coefficient, transmission rate and average degree of the network. Interestingly, we find that the analytical form of $R_0$ depends on the choice of closure, highlighting the importance of model choice when dealing with real-world epidemics. Nevertheless, we ex- pect that our method will extend to other systems in which fast variables are present.


title: A causal framework for classical statistical estimands in failure time settings with competing events

abstract: In failure-time settings, a competing risk event is any event that makes it impossible for the event of interest to occur. For example, cardiovascular disease death is a competing event for prostate cancer death because an individual cannot die of prostate cancer once he has died of cardiovascular disease. Various statistical estimands have been defined as possible targets of inference in the classical competing risks literature. Many reviews have described these statistical estimands and their estimating procedures with recommendations about their use. However, this previous work has not used a formal framework for characterizing causal effects and their identifying conditions, which makes it difficult to interpret effect estimates and assess recommendations regarding analytic choices. Here we use a counterfactual framework to explicitly define each of these classical estimands. We clarify that, depending on whether competing events are defined as censoring events, contrasts of risks can define a total effect of the treatment on the event of interest, or a direct effect of the treatment on the event of interest not mediated through the competing event. In contrast, regardless of whether competing events are defined as censoring events, counterfactual hazard contrasts cannot generally be interpreted as causal effects. We illustrate how identifying assumptions for all of these counterfactual estimands can be represented in causal diagrams in which competing events are depicted as time-varying covariates. We present an application of these ideas to data from a randomized trial designed to estimate the effect of estrogen therapy on prostate cancer mortality.


title: Deep Null Space Learning for Inverse Problems: Convergence Analysis and Rates

abstract: Recently, deep learning based methods appeared as a new paradigm for solving inverse problems. These methods empirically show excellent performance but lack of theoretical justification; in particular, no results on the regularization properties are available. In particular, this is the case for two-step deep learning approaches, where a classical reconstruction method is applied to the data in a first step and a trained deep neural network is applied to improve results in a second step. In this paper, we close the gap between practice and theory for a new network structure in a two-step approach. For that purpose, we propose so called null space networks and introduce the concept of M-regularization. Combined with a standard regularization method as reconstruction layer, the proposed deep null space learning approach is shown to be a M-regularization method; convergence rates are also derived. The proposed null space network structure naturally preserves data consistency which is considered as key property of neural networks for solving inverse problems.


title: Femtosecond laser inscription of nonlinear photonic circuits in Gallium Lanthanum Sulphide glass

abstract: We report on femtosecond laser writing of single mode optical waveguides in chalcogenide Gallium Lanthanum Sulphide (GLS) glass. A multiscan fabrication process was employed to create waveguides with symmetric single mode guidance and low insertion losses at 800 nm wavelength, compatible with Ti:Sapphire ultrafast lasers. {\mu}Raman and X-Ray microanalysis were used to elucidate the origin of the laser-induced refractive index change in GLS. Nonlinear refractive index measurements of the waveguides were performed by finding the optical switching parameters of a directional coupler, demonstrating that the nonlinear properties were preserved, evidencing that GLS is a promising platform for laser-written integrated nonlinear photonics.


title: Locally finite weighted Leavitt path algebras

abstract: A group graded $K$-algebra $A=\bigoplus\limits_{g\in G} A_g$ is called "locally finite" if $\dim_K A_g < \infty$ for every $g\in G$. We characterise the weighted graphs $(E,w)$ for which the weighted Leavitt path algebra $L_K(E,w)$ is locally finite with respect to its standard grading. We also prove that the locally finite weighted Leavitt path algebras are precisely the Noetherian ones and that $L_K(E,w)$ is locally finite iff $(E,w)$ is finite and the Gelfand-Kirillov dimension of $L_K(E,w)$ equals $0$ or $1$. Further it is shown that a locally finite weighted Leavitt path algebra is isomorphic to a locally finite Leavitt path algebra and therefore is isomorphic to a finite direct sum of matrix algebras over $K$ and $K[X,X^{-1}]$.


title: Straggler-Resilient and Communication-Efficient Distributed Iterative Linear Solver

abstract: We propose a novel distributed iterative linear inverse solver method. Our method, PolyLin, has significantly lower communication cost, both in terms of number of rounds as well as number of bits, in comparison with the state of the art at the cost of higher computational complexity and storage. Our algorithm also has a built-in resilience to straggling and faulty computation nodes. We develop a natural variant of our main algorithm that trades off communication cost for computational complexity. Our method is inspired by ideas in error correcting codes.


title: The polar decomposition for adjointable operators on Hilbert $C^*$-modules and $n$-centered operators

abstract: Let $n$ be any natural number. The $n$-centered operator is introduced for adjointable operators on Hilbert $C^*$-modules. Based on the characterizations of the polar decomposition for the product of two adjointable operators, $n$-centered operators, centered operators as well as binormal operators are clarified, and some results known for the Hilbert space operators are improved. It is proved that for an adjointable operator $T$, if $T$ is Moore-Penrose invertible and is $n$-centered, then its Moore-Penrose inverse is also $n$-centered. A Hilbert space operator $T$ is constructed such that $T$ is $n$-centered, whereas it fails to be $(n+1)$-centered.


title: Possibility results for graph clustering: A novel consistency axiom

abstract: Kleinberg introduced three natural clustering properties, or axioms, and showed they cannot be simultaneously satisfied by any clustering algorithm. We present a new clustering property, Monotonic Consistency, which avoids the well-known problematic behaviour of Kleinberg's Consistency axiom, and the impossibility result. Namely, we describe a clustering algorithm, Morse Clustering, inspired by Morse Theory in Differential Topology, which satisfies Kleinberg's original axioms with Consistency replaced by Monotonic Consistency. Morse clustering uncovers the underlying flow structure on a set or graph and returns a partition into trees representing basins of attraction of critical vertices. We also generalise Kleinberg's axiomatic approach to sparse graphs, showing an impossibility result for Consistency, and a possibility result for Monotonic Consistency and Morse clustering.


title: Selective Monitoring

abstract: We study selective monitors for labelled Markov chains. Monitors observe the outputs that are generated by a Markov chain during its run, with the goal of identifying runs as correct or faulty. A monitor is selective if it skips observations in order to reduce monitoring overhead. We are interested in monitors that minimize the expected number of observations. We establish an undecidability result for selectively monitoring general Markov chains. On the other hand, we show for non-hidden Markov chains (where any output identifies the state the Markov chain is in) that simple optimal monitors exist and can be computed efficiently, based on DFA language equivalence. These monitors do not depend on the precise transition probabilities in the Markov chain. We report on experiments where we compute these monitors for several open-source Java projects.


title: Kernel machines that adapt to GPUs for effective large batch training

abstract: Modern machine learning models are typically trained using Stochastic Gradient Descent (SGD) on massively parallel computing resources such as GPUs. Increasing mini-batch size is a simple and direct way to utilize the parallel computing capacity. For small batch an increase in batch size results in the proportional reduction in the training time, a phenomenon known as linear scaling. However, increasing batch size beyond a certain value leads to no further improvement in training time. In this paper we develop the first analytical framework that extends linear scaling to match the parallel computing capacity of a resource. The framework is designed for a class of classical kernel machines. It automatically modifies a standard kernel machine to output a mathematically equivalent prediction function, yet allowing for extended linear scaling, i.e., higher effective parallelization and faster training time on given hardware. The resulting algorithms are accurate, principled and very fast. For example, using a single Titan Xp GPU, training on ImageNet with $1.3\times 10^6$ data points and $1000$ labels takes under an hour, while smaller datasets, such as MNIST, take seconds. As the parameters are chosen analytically, based on the theoretical bounds, little tuning beyond selecting the kernel and the kernel parameter is needed, further facilitating the practical use of these methods.


title: Teaching computational reproducibility for neuroimaging

abstract: We describe a project-based introduction to reproducible and collaborative neuroimaging analysis. Traditional teaching on neuroimaging usually consists of a series of lectures that emphasize the big picture rather than the foundations on which the techniques are based. The lectures are often paired with practical workshops in which students run imaging analyses using the graphical interface of specific neuroimaging software packages. Our experience suggests that this combination leaves the student with a superficial understanding of the underlying ideas, and an informal, inefficient, and inaccurate approach to analysis. To address these problems, we based our course around a substantial open-ended group project. This allowed us to teach: (a) computational tools to ensure computationally reproducible work, such as the Unix command line, structured code, version control, automated testing, and code review and (b) a clear understanding of the statistical techniques used for a basic analysis of a single run in an MRI scanner. The emphasis we put on the group project showed the importance of standard computational tools for accuracy, efficiency, and collaboration. The projects were broadly successful in engaging students in working reproducibly on real scientific questions. We propose that a course on this model should be the foundation for future programs in neuroimaging. We believe it will also serve as a model for teaching efficient and reproducible research in other fields of computational science.


title: Stable emission and fast optical modulation of quantum emitters in boron nitride nanotubes

abstract: Atom-like defects in two-dimensional (2D) hexagonal boron nitride (hBN) have recently emerged as a promising platform for quantum information science. Here we investigate single-photon emissions from atomic defects in boron nitride nanotubes (BNNTs). We demonstrate the first optical modulation of the quantum emission from BNNTs with a near-infrared laser. This one-dimensional system displays bright single-photon emission as well as high stability at room temperature and is an excellent candidate for optomechanics. The fast optical modulation of single-photon emission from BNNTs shows multiple electronic levels of the system and has potential applications in optical signal processing.


title: Semiempirical Molecular Orbital Models based on the Neglect of Diatomic Differential Overlap Approximation

abstract: Semiempirical molecular orbital (SEMO) models based on the neglect of diatomic differential overlap (NDDO) approximation efficiently solve the self-consistent field equations by rather drastic approximations. The computational efficiency comes at the cost of an error in the electron-electron repulsion integrals. The error may be compensated by the introduction of parametric expressions to evaluate the electron-electron repulsion integrals, the one-electron integrals, and the core-core repulsion. We review the resulting formalisms of popular NDDO-SEMO models (such as the MNDO(/d), AM1, PMx, and OMx models) in a concise and self-contained manner. We discuss the approaches to implicitly and explicitly describe electron correlation effects within NDDO-SEMO models and we dissect strengths and weaknesses of the different approaches in a detailed analysis. For this purpose, we consider the results of recent benchmark studies. Furthermore, we apply bootstrapping to perform a sensitivity analysis for a selection of parameters in the MNDO model. We also identify systematic limitations of NDDO-SEMO models by drawing on an analogy to Kohn--Sham density functional theory.


title: Quantile Spectral Beta: A Tale of Tail Risks, Investment Horizons, and Asset Prices

abstract: This paper investigates how two important sources of risk -- market tail risk and extreme market volatility risk -- are priced into the cross-section of asset returns across various investment horizons. To identify such risks, we propose a quantile spectral beta representation of risk based on the decomposition of covariance between indicator functions that capture fluctuations over various frequencies. We study the asymptotic behavior of the proposed estimators of such risk. Empirically, we find that tail risk is a short-term phenomenon, whereas extreme volatility risk is priced by investors in the long term when pricing a cross-section of individual stocks. In addition, we study popular industry, size and value, profit, investment or book-to-market portfolios, as well as portfolios constructed from various asset classes, portfolios sorted on cash flow duration and other strategies. These results reveal that tail-dependent and horizon-specific risks are priced heterogeneously across datasets and are important sources of risk for investors.


title: A note on choosability with defect 1 of graphs on surfaces

abstract: This note proves that every graph of Euler genus $\mu$ is $\lceil 2 + \sqrt{3\mu + 3}\,\rceil$--choosable with defect 1 (that is, clustering 2). Thus, allowing defect as small as 1 reduces the choice number of surface embeddable graphs below the chromatic number of the surface. For example, the chromatic number of the family of toroidal graphs is known to be $7$. The bound above implies that toroidal graphs are $5$-choosable with defect 1. This strengthens the result of Cowen, Goddard and Jesurum (1997) who showed that toroidal graphs are $5$-colourable with defect 1.


title: FPGA code for the data acquisition and real-time processing prototype of the ITER Radial Neutron Camera

abstract: The main role of the ITER Radial Neutron Camera (RNC) diagnostic is to measure in real-time the plasma neutron emissivity profile at high peak count rates for a time duration up to 500 s. Due to the unprecedented high performance conditions and after the identification of critical problems, a set of activities have been selected, focused on the development of high priority prototypes, capable to deliver answers to those problems before the final RNC design. This paper presents one of the selected activities: the design, development and testing of a dedicated FPGA code for the RNC Data Acquisition prototype. The FPGA code aims to acquire, process and store in real-time the neutron and gamma pulses from the detectors located in collimated lines of sight viewing a poloidal plasma section from the ITER Equatorial Port Plug 1. The hardware platform used was an evaluation board from Xilinx (KC705) carrying an IPFN FPGA Mezzanine Card (FMC-AD2-1600) with 2 digitizer channels of 12-bit resolution sampling up to 1.6 GSamples/s. The code performs the proper input signal conditioning using a down-sampled configuration to 400 MSamples/s, apply dedicated algorithms for pulse detection, filtering and pileup detection, and includes two distinct data paths operating simultaneously: i) the event-based data-path for pulse storage; and ii) the real-time processing, with dedicated algorithms for pulse shape discrimination and pulse height spectra. For continuous data throughput both data-paths are streamed to the host through two distinct PCIe x8 Direct Memory Access (DMA) channels.


title: Efficient Data Perturbation for Privacy Preserving and Accurate Data Stream Mining

abstract: The widespread use of the Internet of Things (IoT) has raised many concerns, including the protection of private information. Existing privacy preservation methods cannot provide a good balance between data utility and privacy, and also have problems with efficiency and scalability. This paper proposes an efficient data stream perturbation method (named as $P^2RoCAl$). $P^2RoCAl$ offers better data utility than similar methods: classification accuracies of $P^2RoCAl$ perturbed data streams are very close to those of the original data streams. $P^2RoCAl$ also provides higher resilience against data reconstruction attacks.


title: Towards controlled Fizeau observations with the Large Binocular Telescope

abstract: The Large Binocular Telescope Interferometer (LBTI) can perform Fizeau interferometry in the focal plane, which accesses spatial information out to the LBT's full 22.7-m edge-to-edge baseline. This mode has previously been used to obtain science data, but has been limited to observations where the optical path difference (OPD) between the two beams is not controlled, resulting in unstable fringes on the science detectors. To maximize the science return, we are endeavoring to stabilize the OPD and tip-tilt variations and make the LBTI Fizeau mode optimized and routine. Here we outline the optical configuration of LBTI's Fizeau mode and our strategy for commissioning this observing mode.


title: High-dimensional CLT: Improvements, Non-uniform Extensions and Large Deviations

abstract: Central limit theorems (CLTs) for high-dimensional random vectors with dimension possibly growing with the sample size have received a lot of attention in the recent times. Chernozhukov et al. (2017) proved a Berry--Esseen type result for high-dimensional averages for the class of hyperrectangles and they proved that the rate of convergence can be upper bounded by $n^{-1/6}$ upto a polynomial factor of $\log p$ (where $n$ represents the sample size and $p$ denotes the dimension). Convergence to zero of the bound requires $\log^7p = o(n)$. We improve upon their result which only requires $\log^4p = o(n)$ (in the best case). This improvement is made possible by a sharper dimension-free anti-concentration inequality for Gaussian process on a compact metric space. In addition, we prove two non-uniform variants of the high-dimensional CLT based on the large deviation and non-uniform CLT results for random variables in a Banach space by Bentkus, Ra{\v c}kauskas, and Paulauskas. We apply our results in the context of post-selection inference in linear regression and of empirical processes.


title: The strong Lefschetz property for complete intersections defined by products of linear forms

abstract: We prove the strong Lefschetz property for certain complete intersections defined by products of linear forms, using a characterization of the strong Lefschetz property in terms of central simple modules.


title: Gilman's Conjecture

abstract: We prove a conjecture made by Gilman in 1984 that the groups presented by finite, monadic, confluent rewriting systems are precisely the free products of free and finite groups.


title: $\alpha_s$ status and perspectives (2018)

abstract: The latest experimental and theoretical developments in the high-precision determination of the strong coupling $\alpha_s$ are briefly reviewed. Six groups of observables: (i) lattice QCD data, (ii) hadronic $\tau$ decays, (iii) deep-inelastic $e^\pm p$ data and parton distribution functions (PDF) fits, (iv) event shapes and jet rates in $e^+e^-$ collisions, (v) Z boson hadronic decays, and (vi) top-quark cross sections in pp collisions, are used to extract the current world-average at the Z pole mass, $\alpha_s(m_Z^2) = 0.1181 \pm 0.0011$ at next-to-next-to-leading-order (NNLO), or beyond, accuracy. Additional NNLO extractions have recently appeared based on new lattice studies, the $R(s)$ ratio in $e^+e^-\to \mbox{hadrons}$, updated PDF fits, energy-energy correlations in $e^+e^-$ collisions, jet cross sections in $e^\pm p$ collisions, and the full set of $pp\to t\bar{t}$ cross sections at the LHC. Inclusion of these new data into the world-average would slightly increase its value and reduce its uncertainty to $\alpha_s(m_Z^2) = 0.1183 \pm 0.0008$. Future $\alpha_s$ extraction perspectives with permille uncertainties at future high-luminosity $e^+e^-$ machines -- via W and Z hadronic decays, parton fragmentation functions, and photon $F_2(x,Q^2)$ structure function in $\gamma\gamma$ collisions -- are also discussed.


title: Object Level Visual Reasoning in Videos

abstract: Human activity recognition is typically addressed by detecting key concepts like global and local motion, features related to object classes present in the scene, as well as features related to the global context. The next open challenges in activity recognition require a level of understanding that pushes beyond this and call for models with capabilities for fine distinction and detailed comprehension of interactions between actors and objects in a scene. We propose a model capable of learning to reason about semantically meaningful spatiotemporal interactions in videos. The key to our approach is a choice of performing this reasoning at the object level through the integration of state of the art object detection networks. This allows the model to learn detailed spatial interactions that exist at a semantic, object-interaction relevant level. We evaluate our method on three standard datasets (Twenty-BN Something-Something, VLOG and EPIC Kitchens) and achieve state of the art results on all of them. Finally, we show visualizations of the interactions learned by the model, which illustrate object classes and their interactions corresponding to different activity classes.


title: On-sky compensation of non-common path aberrations with the ZELDA wavefront sensor in VLT/SPHERE

abstract: Circumstellar environments are now routinely observed by dedicated high-contrast imagers on large, ground-based observatories. These facilities combine extreme adaptive optics and coronagraphy to achieve unprecedented sensitivities for exoplanet detection and spectral characterization. However, non-common path aberrations (NCPA) in these coronagraphic systems represent a critical limitation for the detection of giant planets with a contrast lower than a few $10^{-6}$ at very small separations ($<$0.3$^{\prime\prime}$) from their host star. In 2013 we proposed ZELDA, a Zernike wavefront sensor to measure these residual quasi-static phase aberrations and a prototype was installed in SPHERE, the exoplanet imager for the VLT. In 2016, we demonstrated the ability of our sensor to provide a nanometric calibration and compensation for these aberrations on an internal source in the instrument, resulting in a contrast gain of 10 at 0.2$^{\prime\prime}$ in coronagraphic images. However, initial on-sky tests in 2017 did not show a tangible gain in contrast when calibrating the NCPA internally and then applying the correction on sky. In this communication, we present recent on-sky measurements to demonstrate the potential of our sensor for the NCPA compensation during observations and quantify the contrast gain in coronagraphic data.


title: Comment on "Edge-Induced Shear Banding in Entangled Polymeric Fluids" [arXiv: 1801.08798]

abstract: Based on numerical modeling with the diffusive Giesekus constitutive equation, a recent Letter [Phys. Rev. Lett. 120, 138002 (2018), arXiv:1801.08798] claimed that the experimental reports of shear banding in entangled polymeric fluids were due to the disturbances from the sample edge. The conclusion that true bulk shear banding is precluded in the presence of edge effects is at odds with many past experimental, theoretical, numerical, and computer simulation studies. We briefly discuss some problems of this work.


title: No topological condition implies equality of polynomial and rational hulls

abstract: It is shown that no purely topological condition implies the equality of the polynomial and rational hulls of a set: For any compact subset $K$ of a Euclidean space, there exists a set $X$, in some ${\mathbb C}^N$, that is homeomorphic to $K$ and is rationally convex but not polynomially convex. In addition, it is shown that for the surfaces in ${\mathbb C}^3$ constructed by Izzo and Stout, whose polynomial hulls are nontrivial but contain no analytic discs, the polynomial and rational hulls coincide, thereby answering a question of Gupta. Equality of polynomial and rational hulls is shown also for $m$-dimensional manifolds ($m\geq 2$) with polynomial hulls containing no analytic discs constructed by Izzo, Samuelsson Kalm, and Wold and by Arosio and Wold.


title: BaRC: Backward Reachability Curriculum for Robotic Reinforcement Learning

abstract: Model-free Reinforcement Learning (RL) offers an attractive approach to learn control policies for high-dimensional systems, but its relatively poor sample complexity often forces training in simulated environments. Even in simulation, goal-directed tasks whose natural reward function is sparse remain intractable for state-of-the-art model-free algorithms for continuous control. The bottleneck in these tasks is the prohibitive amount of exploration required to obtain a learning signal from the initial state of the system. In this work, we leverage physical priors in the form of an approximate system dynamics model to design a curriculum scheme for a model-free policy optimization algorithm. Our Backward Reachability Curriculum (BaRC) begins policy training from states that require a small number of actions to accomplish the task, and expands the initial state distribution backwards in a dynamically-consistent manner once the policy optimization algorithm demonstrates sufficient performance. BaRC is general, in that it can accelerate training of any model-free RL algorithm on a broad class of goal-directed continuous control MDPs. Its curriculum strategy is physically intuitive, easy-to-tune, and allows incorporating physical priors to accelerate training without hindering the performance, flexibility, and applicability of the model-free RL algorithm. We evaluate our approach on two representative dynamic robotic learning problems and find substantial performance improvement relative to previous curriculum generation techniques and naive exploration strategies.


title: Signature of the $s$-wave regime high above ultralow temperatures

abstract: Physical processes involving charge transfer, spin exchange, or excitation exchange often occur in conditions of resonant scattering. We show that the $s$-wave contribution can be used to obtain a good approximation for the full cross section. This approximation is found to be valid for a wide range of scattering energies, including high above the Wigner regime, where many partial waves contribute. We derive an analytical expression for the exchange cross section and demonstrate its relationship to the Langevin cross section. We give examples for resonant charge transfer as well as spin-flip and excitation exchange. Our approximation can be used to gain information about the $s$-wave regime from data obtained at much higher temperatures, which would be advantageous for systems where the ultracold quantum regime is not easily reachable.


title: A Micro-Scale Mobile-Enabled Implantable Medical Sensor

abstract: Micro-scale implantable medical devices (IMDs) extend the immense benefits of sensors used in health management. However, their development is limited by many requirements and challenges, such as the use of safe materials, size restrictions, safe and efficient powering, and selection of suitable wireless communication technologies. Some of the proposed wireless communication technologies are the terahertz (THz) radio frequency (RF), and ultrasound. This paper investigates the use of {\em magnetic induction-based backscatter communication} as an alternative technology. In particular, the goal is to provide a practical design for a micro-scale IMD, referred to as a "biomote" here, that can communicate with a wearable or handheld device such as a cell phone, tablet, or smart watch.First, it is demonstrated that communication via magnetic induction can be established between a biomote and such an external reader. Then, low-power modulation and error-correction coding schemes that can be implemented in micro-scale are explored for the mote. With the aim of increasing reliability and accuracy of measurements through mass deployment of biomotes, suitable low-power media access control (MAC) schemes are proposed, and the feasibility of their implementation in micro-scale is highlighted. Next, assuming that the human body is an additive white Gaussian noise (AWGN) channel, the performance of the mote is simulated and analyzed. Results of this analysis asserts that a communication range of at least few centimeters is achievable with an acceptable bit error rate. Finally, from the analysis of the MAC schemes, the optimum number of motes to be deployed for various read delays and transmission rates is obtained.


title: Unique continuation principle for the one-dimensional time-fractional diffusion equation

abstract: This paper deals with the unique continuation of solutions for a one-dimensional anomalous diffusion equation with Caputo derivative of order $\alpha\in(0,1)$. Firstly, the uniqueness of solutions to a lateral Cauchy problem for the anomalous diffusion equation is given via the Theta function method, from which we further verify the unique continuation principle.


title: Phase transitions, order by disorder and finite entropy in the Ising antiferromagnetic bilayer honeycomb lattice

abstract: We present an analytical and numerical study of the Ising model on a bilayer honeycomb lattice including interlayer frustration and coupling with an external magnetic field. First, we discuss the exact $T=0$ phase diagram, where we find finite entropy phases for different magnetisations. Then, we study the magnetic properties of the system at finite temperature using complementary analytical techniques (Bethe lattice), and two types of Monte-Carlo algorithms (Metropolis and Wang-Landau). We characterize the phase transitions and discuss the phase diagrams. The system presents a rich phenomenology: there are first and second order transitions, low-temperature phases with extensive degeneracy, and order-by-disorder state selection.


title: $\alpha$-Expansions with odd partial quotients

abstract: We consider an analogue of Nakada's $\alpha$-continued fraction transformation in the setting of continued fractions with odd partial quotients. More precisely, given $\alpha \in [\frac{1}{2}(\sqrt{5}-1),\frac{1}{2}(\sqrt{5}+1)]$, we show that every irrational number $x\in I_\alpha=[\alpha-2,\alpha)$ can be uniquely represented as $$ x= \cfrac{e_1 (x;\alpha)}{d_1 (x;\alpha) +\cfrac{e_2(x;\alpha)}{d_2(x;\alpha)+\cdots}} , $$ with $e_i(x;\alpha) \in \{ \pm 1\}$ and $d_i(x;\alpha) \in 2{\mathbb N} -1$ determined by the iterates of the transformation $$\varphi_\alpha (x) := \frac{1}{| x|} - 2 \bigg[ \frac{1}{2| x|} +\frac{1-\alpha}{2} \bigg]-1$$ of $I_\alpha$. We also describe the natural extension of $\varphi_\alpha$ and prove that the endomorphism $\varphi_\alpha$ is exact.


title: A Global multiplicity result for a very singular critical nonlocal equation

abstract: In this article, we show the global multiplicity result for the following nonlocal singular problem \begin{equation*} (P_\la):\;\quad (-\De)^s u = u^{-q} + \la u^{{2^*_s}-1}, \quad u>0 \; \text{in}\; \Om,\quad u = 0 \; \mbox{in}\; \mb R^n \setminus\Om, \end{equation*} where $\Om$ is a bounded domain in $\mb{R}^n$ with smooth boundary $\partial \Om$, $n > 2s,\; s \in (0,1),\; \la >0,\; q>0$ satisfies $q(2s-1)<(2s+1)$ and $2^*_s=\frac{2n}{n-2s}$. Employing the variational method, we show the existence of at least two distinct weak positive solutions for $(P_\la)$ in $X_0$ when $\la \in (0,\La)$ and no solution when $\la>\La$, where $\La>0$ is appropriately chosen. We also prove a result of independent interest that any weak solution to $(P_\lambda)$ is in $C^\alpha(\R^n)$ with $\alpha=\alpha(s,q)\in (0,1)$. The asymptotic behaviour of weak solutions reveals that this result is sharp.


title: Attack Surface Metrics and Privilege-based Reduction Strategies for Cyber-Physical Systems

abstract: Cybersecurity risks are often managed by reducing the system's attack surface, which includes minimizing the number of interconnections, privileges, and impacts of an attack. While attack surface reduction techniques have been frequently deployed in more traditional information technology (IT) domains, metrics tailored to cyber-physical systems (CPS) have not yet been identified. This paper introduces attack surface analysis metrics and algorithms to evaluate the attack surface of a CPS. The proposed approach includes both physical system impact metrics, along with a variety of cyber system properties from the software (network connections, methods) and operating system (privileges, exploit mitigations). The proposed algorithm is defined to incorporate with the Architecture Analysis \& Design Language (AADL), which is commonly used to many CPS industries to model their control system architecture, and tools have been developed to automate this analysis on an AADL model. Furthermore, the proposed approach is evaluated on a distribution power grid case study, which includes a 7 feeder distribution system, AADL model of the SCADA control centers, and analysis of the OpenDNP3 protocol library used in many real-world SCADA systems.


title: B-FICA: BlockChain based Framework for Auto-insurance Claim and Adjudication

abstract: In this paper, we propose a partitioned BlockChain based Framework for Auto-insurance Claims and Adjudication (B-FICA) for CAVs that tracks both sensor data and entity interactions with two-sided verification. B-FICA uses permissioned BC with two partitions to share information on a need to know basis. It also uses multi-signed transactions for proof of execution of instructions, for reliability and auditability and also uses a dynamic lightweight consensus and validation protocol to prevent evidence alteration. Qualitative evaluation shows that B-FICA is resilient to several security attacks from potential liable entities. Finally, simulations show that compared to the state of the art, B-FICA reduces processing time and its delay overhead is negligible for practical scenarios and at marginal security cost.


title: Sufficiency of Deterministic Policies for Atomless Discounted and Uniformly Absorbing MDPs with Multiple Criteria

abstract: This paper studies Markov Decision Processes (MDPs) with atomless initial state distributions and atomless transition probabilities. Such MDPs are called atomless. The initial state distribution is considered to be fixed. We show that for discounted MDPs with bounded one-step reward vector-functions, for each policy there exists a deterministic (that is, nonrandomized and stationary) policy with the same performance vector. This fact is proved in the paper for a more general class of uniformly absorbing MDPs with expected total costs, and then it is extended under certain assumptions to MDPs with unbounded rewards. For problems with multiple criteria and constraints, the results of this paper imply that for atomless MDPs studied in this paper it is sufficient to consider only deterministic policies, while without the atomless assumption it is well-known that randomized policies can outperform deterministic ones. We also provide an example of an MDP demonstrating that, if a vector measure is defined on a standard Borel space, then Lyapunov's convexity theorem is a special case of the described results.


title: High Performance Computing in Medical Image Analysis HuSSaR

abstract: In our former works we have made serious efforts to improve the performance of medical image analysis methods with using ensemble-based systems. In this paper, we present a novel hardware-based solution for the efficient adoption of our complex, fusion-based approaches for real-time applications. Even though most of the image processing problems and the increasing amount of data have high-performance computing(HPC) demand, there is still a lack of corresponding dedicated HPC solutions for several medical tasks. To widen this bottleneck we have developed a Hybrid Small Size high performance computing Resource (abbreviated by HuSSaR) which efficiently alloys CPU and GPU technologies, mobile and has an own cooling system to support easy mobility and wide applicability. Besides a proper technical description, we include several practical examples from the clinical data processing domain in this work. For more details see also: https://arato.inf.unideb.hu/kovacs.laszlo/research_hybridmicrohpc.html


title: Semantic Video Segmentation: A Review on Recent Approaches

abstract: This paper gives an overview on semantic segmentation consists of an explanation of this field, it's status and relation with other vision fundamental tasks, different datasets and common evaluation parameters that have been used by researchers. This survey also includes an overall review on a variety of recent approaches (RDF, MRF, CRF, etc.) and their advantages and challenges and shows the superiority of CNN-based semantic segmentation systems on CamVid and NYUDv2 datasets. In addition, some areas that is ideal for future work have mentioned.


title: On the Complexity of Detecting Convexity over a Box

abstract: It has recently been shown that the problem of testing global convexity of polynomials of degree four is {strongly} NP-hard, answering an open question of N.Z. Shor. This result is minimal in the degree of the polynomial when global convexity is of concern. In a number of applications however, one is interested in testing convexity only over a compact region, most commonly a box (i.e., hyper-rectangle). In this paper, we show that this problem is also strongly NP-hard, in fact for polynomials of degree as low as three. This result is minimal in the degree of the polynomial and in some sense justifies why convexity detection in nonlinear optimization solvers is limited to quadratic functions or functions with special structure. As a byproduct, our proof shows that the problem of testing whether all matrices in an interval family are positive semidefinite is strongly NP-hard. This problem, which was previously shown to be (weakly) NP-hard by Nemirovski, is of independent interest in the theory of robust control.


title: Field-free switching of perpendicular magnetic tunnel junction by the interplay of spin orbit and spin transfer torques

abstract: Spin-orbit torque and spin-transfer torque are leading the pathway to the future of spintronic memories. However, both of the mechanisms are suffering from intrinsic limitations. In particular, an external magnetic field is required for spin-orbit torque to execute deterministic switching in perpendicular magnetic tunnel junctions; the demand for reduced spin-transfer torque switching current to realize ultralow power is still remaining. Thus, a more advanced switching mechanism is urgently needed to move forward spintronics for wide applications. Here, we experimentally demonstrate the field-free switching of three-terminal perpendicular-anisotropy nanopillar devices through the interaction between spin-orbit and spin-transfer torques. The threshold current density of spin-transfer torque switching is reduced to 0.94 MA.cm-2, which is a significant decrease compared to that in other current-induced magnetization switching mechanisms. In addition, thanks to the interplay of spin-orbit and spin-transfer torques, lower current-induced switching in the conventional two-terminal perpendicular magnetic tunnel junctions is also achieved.


title: On Ciric-type Contractive Mappings and Fixed Points over a C*-algebra Valued Metric Space

abstract: In this paper some generalized mappings due to L.B. Ciric over a generalized metric space have been studied with illustrative examples. Some theorems with necessary and sufficient conditions have been proved for such mappings on that space.


title: Learning Factorized Multimodal Representations

abstract: Learning multimodal representations is a fundamentally complex research problem due to the presence of multiple heterogeneous sources of information. Although the presence of multiple modalities provides additional valuable information, there are two key challenges to address when learning from multimodal data: 1) models must learn the complex intra-modal and cross-modal interactions for prediction and 2) models must be robust to unexpected missing or noisy modalities during testing. In this paper, we propose to optimize for a joint generative-discriminative objective across multimodal data and labels. We introduce a model that factorizes representations into two sets of independent factors: multimodal discriminative and modality-specific generative factors. Multimodal discriminative factors are shared across all modalities and contain joint multimodal features required for discriminative tasks such as sentiment prediction. Modality-specific generative factors are unique for each modality and contain the information required for generating data. Experimental results show that our model is able to learn meaningful multimodal representations that achieve state-of-the-art or competitive performance on six multimodal datasets. Our model demonstrates flexible generative capabilities by conditioning on independent factors and can reconstruct missing modalities without significantly impacting performance. Lastly, we interpret our factorized representations to understand the interactions that influence multimodal learning.


title: Riemannian kernel based Nystr\"om method for approximate infinite-dimensional covariance descriptors with application to image set classification

abstract: In the domain of pattern recognition, using the CovDs (Covariance Descriptors) to represent data and taking the metrics of the resulting Riemannian manifold into account have been widely adopted for the task of image set classification. Recently, it has been proven that infinite-dimensional CovDs are more discriminative than their low-dimensional counterparts. However, the form of infinite-dimensional CovDs is implicit and the computational load is high. We propose a novel framework for representing image sets by approximating infinite-dimensional CovDs in the paradigm of the Nystr\"om method based on a Riemannian kernel. We start by modeling the images via CovDs, which lie on the Riemannian manifold spanned by SPD (Symmetric Positive Definite) matrices. We then extend the Nystr\"om method to the SPD manifold and obtain the approximations of CovDs in RKHS (Reproducing Kernel Hilbert Space). Finally, we approximate infinite-dimensional CovDs via these approximations. Empirically, we apply our framework to the task of image set classification. The experimental results obtained on three benchmark datasets show that our proposed approximate infinite-dimensional CovDs outperform the original CovDs.


title: Component SPD Matrices: A lower-dimensional discriminative data descriptor for image set classification

abstract: In the domain of pattern recognition, using the SPD (Symmetric Positive Definite) matrices to represent data and taking the metrics of resulting Riemannian manifold into account have been widely used for the task of image set classification. In this paper, we propose a new data representation framework for image sets named CSPD (Component Symmetric Positive Definite). Firstly, we obtain sub-image sets by dividing the image set into square blocks with the same size, and use traditional SPD model to describe them. Then, we use the results of the Riemannian kernel on SPD matrices as similarities of corresponding sub-image sets. Finally, the CSPD matrix appears in the form of the kernel matrix for all the sub-image sets, and CSPDi,j denotes the similarity between i-th sub-image set and j-th sub-image set. Here, the Riemannian kernel is shown to satisfy the Mercer's theorem, so our proposed CSPD matrix is symmetric and positive definite and also lies on a Riemannian manifold. On three benchmark datasets, experimental results show that CSPD is a lower-dimensional and more discriminative data descriptor for the task of image set classification.


title: Semi-supervised Inference for Explained Variance in High-dimensional Linear Regression and Its Applications

abstract: This paper considers statistical inference for the explained variance $\beta^{\intercal}\Sigma \beta$ under the high-dimensional linear model $Y=X\beta+\epsilon$ in the semi-supervised setting, where $\beta$ is the regression vector and $\Sigma$ is the design covariance matrix. A calibrated estimator, which efficiently integrates both labelled and unlabelled data, is proposed. It is shown that the estimator achieves the minimax optimal rate of convergence in the general semi-supervised framework. The optimality result characterizes how the unlabelled data contributes to the estimation accuracy. Moreover, the limiting distribution for the proposed estimator is established and the unlabelled data has also proven useful in reducing the length of the confidence interval for the explained variance. The proposed method is extended to the semi-supervised inference for the unweighted quadratic functional, $\|\beta\|_2^2$. The obtained inference results are then applied to a range of high-dimensional statistical problems, including signal detection and global testing, prediction accuracy evaluation, and confidence ball construction. The numerical improvement of incorporating the unlabelled data is demonstrated through simulation studies and an analysis of estimating heritability for a yeast segregant data set with multiple traits.


title: Power-Temperature Stability and Safety Analysis for Multiprocessor Systems

abstract: Modern multiprocessor system-on-chips (SoCs) integrate multiple heterogeneous cores to achieve high energy efficiency. The power consumption of each core contributes to an increase in the temperature across the chip floorplan. In turn, higher temperature increases the leakage power exponentially, and leads to a positive feedback with nonlinear dynamics. This paper presents a power-temperature stability and safety analysis technique for multiprocessor systems. This analysis reveals the conditions under which the power-temperature trajectory converges to a stable fixed point. We also present a simple formula to compute the stable fixed point and maximum thermally-safe power consumption at runtime. Hardware measurements on a state-of-the-art mobile processor show that our analytical formulation can predict the stable fixed point with an average error of 2.6%. Hence, our approach can be used at runtime to ensure thermally safe operation and guard against thermal threats.


title: Peter--Weyl Iwahori algebras

abstract: The Peter-Weyl idempotent $e_{\mathcal{P}}$ of a parahoric subgroup ${\mathcal{P}}$ is the sum of the idempotents of irreducible representations of $\mathcal{P}$ which have a nonzero Iwahori fixed vector. The convolution algebra associated to $e_{\mathcal{P}}$ is called a Peter-Weyl Iwahori algebra. We show any Peter-Weyl Iwahori algebra is Morita equivalent to the Iwahori-Hecke algebra. Both the Iwahori-Hecke algebra and a Peter-Weyl Iwahori algbera have a natural $\mathbb{C}^\star$-algebra structure, and the Morita equivalence preserves irreducible hermitian and unitary modules. Both algebras have another anti-involution denoted as $\bullet$, and the Morita equivalence preserves irreducible and unitary modules for the $\bullet$-involution.


title: Fast Distance Sensitivity Oracle for Multiple Failures

abstract: When a network is prone to failures, it is very expensive to compute the shortest paths every time from the scratch. Distance sensitivity oracle provides this privilege to find the new shortest paths faster and with lower cost by once pre-computing an oracle in advance. Although several efficient solutions are proposed in the literature to support the single failure, few efforts are done to devise an efficient method regarding the case of multiple failures. In this paper, we present a novel distance sensitivity oracle based on Markov Tensor Theory \cite{golnari2017markov} to support replacement path queries $(*,t,\mathcal{F})$ in general directed and weighted networks facing the set of failures $\mathcal{F}$. In contrast to the existing work, there is no limitation on maximum failure size supported by our oracle and there is no need to know the size of failure for constructing the oracle. The specifications of our oracle are: space size of $O(n^2)$, pre-process time of $O(n^{\omega})$, where $\omega$ is the exponent of fast matrix multiplication, and query time of $O(m)$ for answering to replacement path query of $(*,t,\mathcal{F})$ which computes the replacement (shortest) paths from all nodes to target $t$ at once. While the computation time for regular shortest path methods, such as Dijkstra's, is $O(m+nlogn)$ for each query after a failure, our algorithm can save a considerable computational time when the size of failure set $|\mathcal{F}|$ is $O(m^{1/\omega})$ or less and the network is sparse $O(m)<O(nlogn)$.


title: The Neural Painter: Multi-Turn Image Generation

abstract: In this work we combine two research threads from Vision/ Graphics and Natural Language Processing to formulate an image generation task conditioned on attributes in a multi-turn setting. By multiturn, we mean the image is generated in a series of steps of user-specified conditioning information. Our proposed approach is practically useful and offers insights into neural interpretability. We introduce a framework that includes a novel training algorithm as well as model improvements built for the multi-turn setting. We demonstrate that this framework generates a sequence of images that match the given conditioning information and that this task is useful for more detailed benchmarking and analysis of conditional image generation methods.


title: Periodicity of quantum correlations in the quantum kicked top

abstract: Quantum kicked top is a fundamental model for time-dependent, chaotic Hamiltonian system and has been realized in experiments as well. As the quantum kicked top can be represented as a system of qubits, it is also popular as a testbed for the study of measures of quantum correlations such as entanglement, quantum discord and other multipartite entanglement measures. Further, earlier studies on kicked top have led to a broad understanding of how these measures are affected by the classical dynamical features. In this work, relying on the invariance of quantum correlation measures under local unitary transformations, it is shown exactly these measures display periodic behaviour either as a function of time or as a function of the chaos parameter in this system. As the kicked top has been experimentally realised using cold atoms as well as superconducting qubits, it is pointed out that these periodicities must be factored in while choosing of experimental parameters so that repetitions can be avoided.

categories: quant-ph math-ph math.MP nlin.CD physics.comp-ph


title: EdgeChain: An Edge-IoT Framework and Prototype Based on Blockchain and Smart Contracts

abstract: The emerging Internet of Things (IoT) is facing significant scalability and security challenges. On the one hand, IoT devices are "weak" and need external assistance. Edge computing provides a promising direction addressing the deficiency of centralized cloud computing in scaling massive number of devices. On the other hand, IoT devices are also relatively "vulnerable" facing malicious hackers due to resource constraints. The emerging blockchain and smart contracts technologies bring a series of new security features for IoT and edge computing. In this paper, to address the challenges, we design and prototype an edge-IoT framework named "EdgeChain" based on blockchain and smart contracts. The core idea is to integrate a permissioned blockchain and the internal currency or "coin" system to link the edge cloud resource pool with each IoT device' account and resource usage, and hence behavior of the IoT devices. EdgeChain uses a credit-based resource management system to control how much resource IoT devices can obtain from edge servers, based on pre-defined rules on priority, application types and past behaviors. Smart contracts are used to enforce the rules and policies to regulate the IoT device behavior in a non-deniable and automated manner. All the IoT activities and transactions are recorded into blockchain for secure data logging and auditing. We implement an EdgeChain prototype and conduct extensive experiments to evaluate the ideas. The results show that while gaining the security benefits of blockchain and smart contracts, the cost of integrating them into EdgeChain is within a reasonable and acceptable range.


title: Thermodynamic formalism methods in one-dimensional real and complex dynamics

abstract: We survey some results on non-uniform hyperbolicity, geometric pressure and equilibrium states in one-dimensional real and complex dynamics. We present some relations with Hausdorff dimension and measures with refined gauge functions of limit sets for geometric coding trees for rational functions on the Riemann sphere. We discuss fluctuations of iterated sums of the potential $-t\log |f'|$ and of radial growth of derivative of univalent functions on the unit disc and the boundaries of range domains preserved by a holomorphic map $f$ repelling towards the domains.


title: Scheduled Policy Optimization for Natural Language Communication with Intelligent Agents

abstract: We investigate the task of learning to follow natural language instructions by jointly reasoning with visual observations and language inputs. In contrast to existing methods which start with learning from demonstrations (LfD) and then use reinforcement learning (RL) to fine-tune the model parameters, we propose a novel policy optimization algorithm which dynamically schedules demonstration learning and RL. The proposed training paradigm provides efficient exploration and better generalization beyond existing methods. Comparing to existing ensemble models, the best single model based on our proposed method tremendously decreases the execution error by over 50% on a block-world environment. To further illustrate the exploration strategy of our RL algorithm, We also include systematic studies on the evolution of policy entropy during training.


title: Key Enabling Technologies for Secure and Scalable Future Fog-IoT Architecture: A Survey

abstract: Fog or Edge computing has recently attracted broad attention from both industry and academia. It is deemed as a paradigm shift from the current centralized cloud computing model and could potentially bring a "Fog-IoT" architecture that would significantly benefit the future ubiquitous Internet of Things (IoT) systems and applications. However, it takes a series of key enabling technologies including emerging technologies to realize such a vision. In this article, we will survey these key enabling technologies with specific focuses on security and scalability, which are two very important and much-needed characteristics for future large-scale deployment. We aim to draw an overall big picture of the future for the research and development in these areas.


title: Isometric embedding with nonnegative Gauss curvature under the graph setting

abstract: We study the regularity of the isometric embedding X: (B(O,r),g) -> (R3, gcan) of a 2-ball with nonnegatively curved C4 metric into R3. Under the assumption that X can be expressed in the graph form, we show X is C2,1 near P, which is optimal by Iaia's example.


title: Recurrent neural network-based user authentication for freely typed keystroke data

abstract: Keystroke dynamics-based user authentication (KDA) based on long and freely typed text is an enhanced user authentication method that can not only identify the validity of current users during login but also continuously monitors the consistency of typing behavior after the login process. Previous long and freely typed text-based KDA methods had difficulty incorporating the key sequence information and handling variable lengths of keystrokes, which in turn resulted in lower authentication performance compared to KDA methods based on short and fixed-length text. To overcome these limitations, we propose a recurrent neural network (RNN)-based KDA model. As the RNN model can process an arbitrary length of input and target sequences, our proposed model takes two consecutive keys as the input sequence and actual typing time for the corresponding key sequence as the target sequence. Based on experimental results involving 120 participants, our proposed RNN-KDA model yielded the best authentication performance for all training and test length combinations in terms of equal error rate (EER). It achieved a 5%-6% EER using only 10 test keystrokes while the EERs of other benchmark methods were above 20%. In addition, its performance steadily and more rapidly improves compared to the benchmark methods when the length of training keystrokes increases.


title: Edge Cloud Offloading Algorithms: Issues, Methods, and Perspectives

abstract: Mobile devices supporting the "Internet of Things" (IoT), often have limited capabilities in computation, battery energy, and storage space, especially to support resource-intensive applications involving virtual reality (VR), augmented reality (AR), multimedia delivery and artificial intelligence (AI), which could require broad bandwidth, low response latency and large computational power. Edge cloud or edge computing is an emerging topic and technology that can tackle the deficiency of the currently centralized-only cloud computing model and move the computation and storage resource closer to the devices in support of the above-mentioned applications. To make this happen, efficient coordination mechanisms and "offloading" algorithms are needed to allow the mobile devices and the edge cloud to work together smoothly. In this survey paper, we investigate the key issues, methods, and various state-of-the-art efforts related to the offloading problem. We adopt a new characterizing model to study the whole process of offloading from mobile devices to the edge cloud. Through comprehensive discussions, we aim to draw an overall "big picture" on the existing efforts and research directions. Our study also indicates that the offloading algorithms in edge cloud have demonstrated profound potentials for future technology and application development.


title: Handling Cold-Start Collaborative Filtering with Reinforcement Learning

abstract: A major challenge in recommender systems is handling new users, whom are also called $\textit{cold-start}$ users. In this paper, we propose a novel approach for learning an optimal series of questions with which to interview cold-start users for movie recommender systems. We propose learning interview questions using Deep Q Networks to create user profiles to make better recommendations to cold-start users. While our proposed system is trained using a movie recommender system, our Deep Q Network model should generalize across various types of recommender systems.


title: Large Scale Fine-Grained Categorization and Domain-Specific Transfer Learning

abstract: Transferring the knowledge learned from large scale datasets (e.g., ImageNet) via fine-tuning offers an effective solution for domain-specific fine-grained visual categorization (FGVC) tasks (e.g., recognizing bird species or car make and model). In such scenarios, data annotation often calls for specialized domain knowledge and thus is difficult to scale. In this work, we first tackle a problem in large scale FGVC. Our method won first place in iNaturalist 2017 large scale species classification challenge. Central to the success of our approach is a training scheme that uses higher image resolution and deals with the long-tailed distribution of training data. Next, we study transfer learning via fine-tuning from large scale datasets to small scale, domain-specific FGVC datasets. We propose a measure to estimate domain similarity via Earth Mover's Distance and demonstrate that transfer learning benefits from pre-training on a source domain that is similar to the target domain by this measure. Our proposed transfer learning outperforms ImageNet pre-training and obtains state-of-the-art results on multiple commonly used FGVC datasets.


title: Wavelet regression: An approach for undertaking multi-time scale analyses of hydro-climate relationships

abstract: Previous studies showed that hydro-climate processes are stochastic and complex systems, and it is difficult to discover the hidden patterns in the all non-stationary data and thoroughly understand the hydro-climate relationships. For the purpose to show multi-time scale responses of a hydrological variable to climate change, we developed an integrated approach by combining wavelet analysis and regression method, which is called wavelet regression (WR). The customization and the advantage of this approach over the existing methods are presented below: (1) The patterns in the data series of a hydrological variable and its related climatic factors are revealed by the wavelet analysis at different time scales. (2) The hydro-climate relationship of each pattern is revealed by the regression method based on the results of wavelet analysis. (3) The advantage of this approach over the existing methods is that the approach provides a routing to discover the hidden patterns in the stochastic and non-stationary data and quantitatively describe the hydro-climate relationships at different time scales.

categories: stat.AP nlin.PS physics.ao-ph physics.geo-ph


title: Show, Attend and Translate: Unsupervised Image Translation with Self-Regularization and Attention

abstract: Image translation between two domains is a class of problems aiming to learn mapping from an input image in the source domain to an output image in the target domain. It has been applied to numerous domains, such as data augmentation, domain adaptation, and unsupervised training. When paired training data is not accessible, image translation becomes an ill-posed problem. We constrain the problem with the assumption that the translated image needs to be perceptually similar to the original image and also appears to be drawn from the new domain, and propose a simple yet effective image translation model consisting of a single generator trained with a self-regularization term and an adversarial term. We further notice that existing image translation techniques are agnostic to the subjects of interest and often introduce unwanted changes or artifacts to the input. Thus we propose to add an attention module to predict an attention map to guide the image translation process. The module learns to attend to key parts of the image while keeping everything else unaltered, essentially avoiding undesired artifacts or changes. The predicted attention map also opens door to applications such as unsupervised segmentation and saliency detection. Extensive experiments and evaluations show that our model while being simpler, achieves significantly better performance than existing image translation methods.


title: Emitter-Vacuum coupling through a leaky nanostructure and the role of dynamics in density of optical states

abstract: We show a break down of the conventional partition of optical states into its radiative and non-radiative parts. Large divergence of experimental observations from current theory in the case of emitters interacting with fully absorbing plasmonic nanoparticles only a few nanometers in dimensions, are now evident. A model of fluctuation-dissipation demands non-local behavior from limiting small metal nanoparticles and proximal metal surfaces. We point that widely used techniques to enhance optical sensing such as surface-enhanced-Raman-spectroscopy (SERS), may not have been viable but for this effect. Qualitatively, this quantum effect seems to present itself only when the classical probability of scattering of an emitted photon by a near-by absorbing nanostructure approaches zero. Hence, though different in origin and scale, this has an interesting analogy with quantum effects resulting in Hawking radiation near a black-hole.


title: Some results for conjugate equations

abstract: In this paper we consider a class of conjugate equations, which generalizes de Rham's functional equations. We give sufficient conditions for existence and uniqueness of solutions under two different series of assumptions. We consider regularity of solutions. In our framework, two iterated function systems are associated with a series of conjugate equations. We state local regularity by using the invariant measures of the two iterated function systems with a common probability vector. We give several examples, especially an example such that infinitely many solutions exists, and a new class of fractal functions on the two-dimensional standard Sierpinski gasket which are not harmonic functions or fractal interpolation functions. We also consider a certain kind of stability.


title: Part-Aware Fine-grained Object Categorization using Weakly Supervised Part Detection Network

abstract: Fine-grained object categorization aims for distinguishing objects of subordinate categories that belong to the same entry-level object category. The task is challenging due to the facts that (1) training images with ground-truth labels are difficult to obtain, and (2) variations among different subordinate categories are subtle. It is well established that characterizing features of different subordinate categories are located on local parts of object instances. In fact, careful part annotations are available in many fine-grained categorization datasets. However, manually annotating object parts requires expertise, which is also difficult to generalize to new fine-grained categorization tasks. In this work, we propose a Weakly Supervised Part Detection Network (PartNet) that is able to detect discriminative local parts for use of fine-grained categorization. A vanilla PartNet builds on top of a base subnetwork two parallel streams of upper network layers, which respectively compute scores of classification probabilities (over subordinate categories) and detection probabilities (over a specified number of discriminative part detectors) for local regions of interest (RoIs). The image-level prediction is obtained by aggregating element-wise products of these region-level probabilities. To generate a diverse set of RoIs as inputs of PartNet, we propose a simple Discretized Part Proposals module (DPP) that directly targets for proposing candidates of discriminative local parts, with no bridging via object-level proposals. Experiments on the benchmark CUB-200-2011 and Oxford Flower 102 datasets show the efficacy of our proposed method for both discriminative part detection and fine-grained categorization. In particular, we achieve the new state-of-the-art performance on CUB-200-2011 dataset when ground-truth part annotations are not available.


title: A Combinatorial Method for Computing Characteristic Polynomials of Starlike Hypergraphs

abstract: By using the Poisson formula for resultants and the variants of chip-firing game on graphs, we provide a combinatorial method for computing a class of of resultants, i.e. the characteristic polynomials of the adjacency tensors of starlike hypergraphs including hyperpaths and hyperstars,which are given recursively and explicitly.


title: Study of Semi-supervised Approaches to Improving English-Mandarin Code-Switching Speech Recognition

abstract: In this paper, we present our overall efforts to improve the performance of a code-switching speech recognition system using semi-supervised training methods from lexicon learning to acoustic modeling, on the South East Asian Mandarin-English (SEAME) data. We first investigate semi-supervised lexicon learning approach to adapt the canonical lexicon, which is meant to alleviate the heavily accented pronunciation issue within the code-switching conversation of the local area. As a result, the learned lexicon yields improved performance. Furthermore, we attempt to use semi-supervised training to deal with those transcriptions that are highly mismatched between human transcribers and ASR system. Specifically, we conduct semi-supervised training assuming those poorly transcribed data as unsupervised data. We found the semi-supervised acoustic modeling can lead to improved results. Finally, to make up for the limitation of the conventional n-gram language models due to data sparsity issue, we perform lattice rescoring using neural network language models, and significant WER reduction is obtained.


title: Direct and indirect excitons in boron nitride polymorphs: a story of atomic configuration and electronic correlation

abstract: We compute and discuss the electronic band structure and excitonic dispersion of hexagonal boron nitride (hBN) in the single layer configuration and in three bulk polymorphs (usual AA' stacking, Bernal AB, and rhombohedral ABC). We focus on the changes in the electronic band structure and the exciton dispersion induced by the atomic configuration and the electron-hole interaction. Calculations are carried out on the level of \textit{ab initio} many-body perturbation theory (GW and Bethe Salpeter equation) and by means of an appropriate tight-binding model. We confirm the change from direct to indirect electronic gap when going from single layer to bulk systems and we give a detailed account of its origin by comparing the effect of different stacking sequences. We emphasize that the inclusion of the electron-hole interaction is crucial for the correct description of the momentum-dependent dispersion of the excitations. It flattens the exciton dispersion with respect to the one obtained from the dispersion of excitations in the independent-particle picture. In the AB stacking this effect is particularly important as the lowest-lying exciton is predicted to be direct despite the indirect electronic band gap.


title: Charged domain walls in improper ferroelectric hexagonal manganites and gallates

abstract: Ferroelectric domain walls are attracting broad attention as atomic-scale switches, diodes and mobile wires for next-generation nanoelectronics. Charged domain walls in improper ferroelectrics are particularly interesting as they offer multifunctional properties and an inherent stability not found in proper ferroelectrics. Here we study the energetics and structure of charged walls in improper ferroelectric YMnO$_3$, InMnO$_3$ and YGaO$_3$ by first principles calculations and phenomenological modeling. Positively and negatively charged walls are asymmetric in terms of local structure and width, reflecting that polarization is not the driving force for domain formation. The wall width scales with the amplitude of the primary structural order parameter and the coupling strength to the polarization. We introduce general rules for how to engineer $n$- and $p$-type domain wall conductivity based on the domain size, polarization and electronic band gap. This opens the possibility of fine-tuning the local transport properties and design $p$-$n$-junctions for domain wall-based nano-circuitry.


title: Observation of $e^+e^-\to\pi^+\pi^-\pi^0\chi_{b1,2}(1P)$ and search for $e^+e^-\to\phi\chi_{b1,2}(1P)$ at $\sqrt{s}=$10.96---11.05 GeV

abstract: We report searches for the processes $e^+e^-\to\pi^+\pi^-\pi^0\chi_{bJ}$ and $e^+e^-\to\phi\chi_{bJ}$ (J=1,2) based on data samples collected by the Belle experiment at the KEKB collider. We report the first observation of the process $e^+e^-\to (\pi^+\pi^-\pi^0)_{\rm non-\omega}\chi_{b1}$ and first evidence for $e^+e^-\to\omega\chi_{bJ}$ in the vicinity of the $\Upsilon(11020)$ resonance, with center-of-mass energies from 10.96 to 11.05~GeV. The significances for $(\pi^+\pi^-\pi^0)_{\rm non-\omega}\chi_{b1}$ and $\omega\chi_{bJ}$ are greater than $5.3\sigma$ and $4.0\sigma$, respectively. We also investigate the energy dependence of the $e^+e^-\to\pi^+\pi^-\pi^0\chi_{bJ}$ cross section, but we cannot determine whether the contributions are from the $\Upsilon(10860)$ and $\Upsilon(11020)$ resonances or non-resonant continuum processes. The signals for $e^+e^-\to \phi\chi_{bJ}$ are not significant, and the upper limits of the Born cross sections at the 90\% confidence level are $0.7$ and $1.0$~pb for $e^+e^-\to \phi\chi_{b1}$ and $\phi\chi_{b2}$, respectively, for center-of-mass energies from 10.96 to 11.05~GeV.


title: A New High Performance and Scalable SVD algorithm on Distributed Memory Systems

abstract: This paper introduces a high performance implementation of \texttt{Zolo-SVD} algorithm on distributed memory systems, which is based on the polar decomposition (PD) algorithm via the Zolotarev's function (\texttt{Zolo-PD}), originally proposed by Nakatsukasa and Freund [SIAM Review, 2016]. Our implementation highly relies on the routines of ScaLAPACK and therefore it is portable. Compared with the other PD algorithms such as the QR-based dynamically weighted Halley method (\texttt{QDWH-PD}), \texttt{Zolo-PD} is naturally parallelizable and has better scalability though performs more floating-point operations. When using many processes, \texttt{Zolo-PD} is usually 1.20 times faster than \texttt{QDWH-PD} algorithm, and \texttt{Zolo-SVD} can be about two times faster than the ScaLAPACK routine \texttt{\texttt{PDGESVD}}. These numerical experiments are performed on Tianhe-2 supercomputer, one of the fastest supercomputers in the world, and the tested matrices include some sparse matrices from particular applications and some randomly generated dense matrices with different dimensions. Our \texttt{QDWH-SVD} and \texttt{Zolo-SVD} implementations are freely available at https://github.com/shengguolsg/Zolo-SVD.


title: TrQuery: An Embedding-based Framework for Recommanding SPARQL Queries

abstract: In this paper, we present an embedding-based framework (TrQuery) for recommending solutions of a SPARQL query, including approximate solutions when exact querying solutions are not available due to incompleteness or inconsistencies of real-world RDF data. Within this framework, embedding is applied to score solutions together with edit distance so that we could obtain more fine-grained recommendations than those recommendations via edit distance. For instance, graphs of two querying solutions with a similar structure can be distinguished in our proposed framework while the edit distance depending on structural difference becomes unable. To this end, we propose a novel score model built on vector space generated in embedding system to compute the similarity between an approximate subgraph matching and a whole graph matching. Finally, we evaluate our approach on large RDF datasets DBpedia and YAGO, and experimental results show that TrQuery exhibits an excellent behavior in terms of both effectiveness and efficiency.


title: Geometric stability theory for $\mu$-structures

abstract: We introduce a notion of $\mu$-structures which are certain locally compact group actions and prove some counterparts of results on Polish structures(introduced by Krupinski in \cite{Kru5}). Using the Haar measure of locally compact groups, we introduce an independence, called $\mu$-independence, in $\mu$-structures having good properties. With this independence notion, we develop geometric stability theory for $\mu$-structures. Then we see some structural theorems for compact groups which are $\mu$-structure. We also give examples of profinite structures where $\mu$-independence is different from $nm$-independence introduced by Krupinski for Polish structures.


title: Meta-learning: searching in the model space

abstract: There is no free lunch, no single learning algorithm that will outperform other algorithms on all data. In practice different approaches are tried and the best algorithm selected. An alternative solution is to build new algorithms on demand by creating a framework that accommodates many algorithms. The best combination of parameters and procedures is searched here in the space of all possible models belonging to the framework of Similarity-Based Methods (SBMs). Such meta-learning approach gives a chance to find the best method in all cases. Issues related to the meta-learning and first tests of this approach are presented.


title: Offline Extraction of Indic Regional Language from Natural Scene Image using Text Segmentation and Deep Convolutional Sequence

abstract: Regional language extraction from a natural scene image is always a challenging proposition due to its dependence on the text information extracted from Image. Text Extraction on the other hand varies on different lighting condition, arbitrary orientation, inadequate text information, heavy background influence over text and change of text appearance. This paper presents a novel unified method for tackling the above challenges. The proposed work uses an image correction and segmentation technique on the existing Text Detection Pipeline an Efficient and Accurate Scene Text Detector (EAST). EAST uses standard PVAnet architecture to select features and non maximal suppression to detect text from image. Text recognition is done using combined architecture of MaxOut convolution neural network (CNN) and Bidirectional long short term memory (LSTM) network. After recognizing text using the Deep Learning based approach, the native Languages are translated to English and tokenized using standard Text Tokenizers. The tokens that very likely represent a location is used to find the Global Positioning System (GPS) coordinates of the location and subsequently the regional languages spoken in that location is extracted. The proposed method is tested on a self generated dataset collected from Government of India dataset and experimented on Standard Dataset to evaluate the performance of the proposed technique. Comparative study with a few state-of-the-art methods on text detection, recognition and extraction of regional language from images shows that the proposed method outperforms the existing methods.


title: The Reduced PC-Algorithm: Improved Causal Structure Learning in Large Random Networks

abstract: We consider the task of estimating a high-dimensional directed acyclic graph, given observations from a linear structural equation model with arbitrary noise distribution. By exploiting properties of common random graphs, we develop a new algorithm that requires conditioning only on small sets of variables. The proposed algorithm, which is essentially a modified version of the PC-Algorithm, offers significant gains in both computational complexity and estimation accuracy. In particular, it results in more efficient and accurate estimation in large networks containing hub nodes, which are common in biological systems. We prove the consistency of the proposed algorithm, and show that it also requires a less stringent faithfulness assumption than the PC-Algorithm. Simulations in low and high-dimensional settings are used to illustrate these findings. An application to gene expression data suggests that the proposed algorithm can identify a greater number of clinically relevant genes than current methods.


title: Memory effects in the Fermi-Pasta-Ulam Model

abstract: We study the Intermediate Scattering Function (ISF) of the strongly-nonlinear Fermi-Pasta Ulam Model at thermal equilibrium, using both numerical and analytical methods. From the molecular dynamics simulations we distinguish two limit regimes, as the system behaves as an ideal gas at high temperature and as a harmonic chain for low excitations. At intermediate temperatures the ISF relaxes to equilibrium in a nontrivial fashion. We then calculate analytically the Taylor coefficients of the ISF to arbitrarily high orders (the specific, simple shape of the two-body interaction allows us to derive an iterative scheme for these.) The results of the recursion are in good agreement with the numerical ones. Via an estimate of the complete series expansion of the scattering function, we can reconstruct within a certain temperature range its coarse-grained dynamics. This is governed by a memory-dependent Generalized Langevin Equation (GLE), which can be derived via projection operator techniques. Moreover, by analyzing the first series coefficients of the ISF, we can extract a parameter associated to the strength of the memory effects in the dynamics.


title: Modulus of families of sets of finite perimeter and quasiconformal maps between metric spaces of globally $Q$-bounded geometry

abstract: We generalize a result of J. C. Kelly to the setting of Ahlfors $Q$-regular metric measure spaces supporting a $1$-Poincar\'e inequality. It is shown that if $X$ and $Y$ are two Ahlfors $Q$-regular spaces supporting a $1$-Poincar\'e inequality and $f:X\to Y$ is a quasiconformal mapping, then the $Q/(Q-1)$-modulus of the collection of measures $\mathcal{H}^{Q-1}\lfloor_{\Sigma E}$ corresponding to any collection of sets $E\subset X$ of finite perimeter is quasi-preserved by $f$. We also show that for $Q/(Q-1)$-modulus almost every $\Sigma E$, if the image surface $\Sigma f(E)$ does not see the singular set of $f$ as a large set, then $f(E)$ is also of finite perimeter. Even in the standard Euclidean setting our results are more general than that of Kelly, and hence are new even in there.


title: Characterization of cycle obstruction sets for improper coloring planar graphs

abstract: For nonnegative integers $k, d_1, \ldots, d_k$, a graph is $(d_1, \ldots, d_k)$-colorable if its vertex set can be partitioned into $k$ parts so that the $i$th part induces a graph with maximum degree at most $d_i$ for all $i\in\{1, \ldots, k\}$. A class $\mathcal C$ of graphs is {\it balanced $k$-partitionable} and {\it unbalanced $k$-partitionable} if there exists a nonnegative integer $D$ such that all graphs in $\mathcal C$ are $(D, \ldots, D)$-colorable and $(0, \ldots, 0, D)$-colorable, respectively, where the tuple has length $k$. A set $X$ of cycles is a {\it cycle obstruction set} of a class $\mathcal C$ of planar graphs if every planar graph containing none of the cycles in $X$ as a subgraph belongs to $\mathcal C$. This paper characterizes all cycle obstruction sets of planar graphs to be balanced $k$-partitionable and unbalanced $k$-partitionable for all $k$; namely, we identify all inclusion-wise minimal cycle obstruction sets for all $k$.


title: Attacks against a Simplified Experimentally Feasible Semiquantum Key Distribution Protocol

abstract: A semiquantum key distribution (SQKD) protocol makes it possible for a quantum party and a classical party to generate a secret shared key. However, many existing SQKD protocols are not experimentally feasible in a secure way using current technology. An experimentally feasible SQKD protocol, "classical Alice with a controllable mirror" (the "Mirror protocol"), has recently been presented and proved completely robust, but it is more complicated than other SQKD protocols. Here we prove a simpler variant of the Mirror protocol (the "simplified Mirror protocol") to be completely non-robust by presenting two possible attacks against it. Our results show that the complexity of the Mirror protocol is at least partly necessary for achieving robustness.


title: Weyl systems: anomalous transport normally explained

abstract: The chiral kinetic theory is derived from exact spinor mean field equations without symmetry-breaking terms for large classes of SU(2) systems with spin-orbit coupling. The influence of the Wigner function's off-diagonal elements is worked out. The decoupling of the diagonal elements renormalizes the drift according to Berry connection which is found as an expression of the meanfield, spin-orbit coupling and magnetic field. As special limit, Weyl systems are considered. The anomalous term $\sim\V E\V B$ in the balance of the chiral density appears consequently by an underlying conserving theory. The experimental observations of this term and the anomalous magneto-transport in solid-sate physics usually described by chiral kinetic theory are therefore not a unique signal for mixed axial-gravitational or triangle anomaly and no signal for the breaking of Lorentz-invariance. The source of the anomalous term is by two thirds the divergence of Berry curvature at zero momentum which can be seen as Dirac monopole and by one third the Dirac sea at infinite momentum. During the derivation of the chiral kinetic theory this source by the Dirac sea is transferred exclusively to the Dirac monopole due to the projection of the spinor Wigner functions to the chiral basis. The dynamical result is shown to suppress the anomalous term by two thirds.

categories: cond-mat.str-el cond-mat.other nucl-th physics.plasm-ph quant-ph


title: Reactive Desorption of CO Hydrogenation Products under Cold Pre-stellar Core Conditions

abstract: The astronomical gas-phase detection of simple species and small organic molecules in cold pre-stellar cores, with abundances as high as $\sim$$10^{-8}-10^{-9}$ n$_\text{H}$, contradicts the generally accepted idea that at $10$ K, such species should be fully frozen out on grain surfaces. A physical or chemical mechanism that results in a net transfer from solid-state species into the gas phase offers a possible explanation. Reactive desorption, i.e., desorption following the exothermic formation of a species, is one of the options that has been proposed. In astronomical models, the fraction of molecules desorbed through this process is handled as a free parameter, as experimental studies quantifying the impact of exothermicity on desorption efficiencies are largely lacking. In this work, we present a detailed laboratory study with the goal of deriving an upper limit for the reactive desorption efficiency of species involved in the CO-H$_2$CO-CH$_3$OH solid-state hydrogenation reaction chain. The limit for the overall reactive desorption fraction is derived by precisely investigating the solid-state elemental carbon budget, using reflection absorption infrared spectroscopy and the calibrated solid-state band-strength values for CO, H$_2$CO and CH$_3$OH. We find that for temperatures in the range of $10$ to $14$ K, an upper limit of $0.24\pm 0.02$ for the overall elemental carbon loss upon CO conversion into CH$_3$OH. This corresponds with an effective reaction desorption fraction of $\leq$$0.07$ per hydrogenation step, or $\leq$$0.02$ per H-atom induced reaction, assuming that H-atom addition and abstraction reactions equally contribute to the overall reactive desorption fraction along the hydrogenation sequence. The astronomical relevance of this finding is discussed.


title: Complexity and action for warped AdS black holes

abstract: The Complexity=Action conjecture is studied for black holes in Warped AdS$_3$ space, realized as solutions of Einstein gravity plus matter. The time dependence of the action of the Wheeler-DeWitt patch is investigated, both for the non-rotating and the rotating case. The asymptotic growth rate is found to be equal to the Hawking temperature times the Bekenstein-Hawking entropy; this is in agreement with a previous calculation done using the Complexity=Volume conjecture.


title: Wave propagation and imaging in moving random media

abstract: We present a study of sound wave propagation in a time dependent random medium and an application to imaging. The medium is modeled by small temporal and spatial random fluctuations in the wave speed and density, and it moves due to an ambient flow. We develop a transport theory for the energy density of the waves, in a forward scattering regime, within a cone (beam) of propagation with small opening angle. We apply the transport theory to the inverse problem of estimating a stationary wave source from measurements at a remote array of receivers. The estimation requires knowledge of the mean velocity of the ambient flow and the second-order statistics of the random medium. If these are not known, we show how they may be estimated from additional measurements gathered at the array, using a few known sources. We also show how the transport theory can be used to estimate the mean velocity of the medium. If the array has large aperture and the scattering in the random medium is strong, this estimate does not depend on the knowledge of the statistics of the random medium.


title: Sharp Analytical Capacity Upper Bounds for Sticky and Related Channels

abstract: We study natural examples of binary channels with synchronization errors. These include the duplication channel, which independently outputs a given bit once or twice, and geometric channels that repeat a given bit according to a geometric rule, with or without the possibility of bit deletion. We apply the general framework of Cheraghchi (STOC 2018) to obtain sharp analytical upper bounds on the capacity of these channels. Previously, upper bounds were known via numerical computations involving the computation of finite approximations of the channels by a computer and then using the obtained numerical results to upper bound the actual capacity. While leading to sharp numerical results, further progress on the full understanding of the channel capacity inherently remains elusive using such methods. Our results can be regarded as a major step towards a complete understanding of the capacity curves. Quantitatively, our upper bounds sharply approach, and in some cases surpass, the bounds that were previously only known by purely numerical methods. Among our results, we notably give a completely analytical proof that, when the number of repetitions per bit is geometric (supported on $\{0,1,2,\dots\}$) with mean growing to infinity, the channel capacity remains substantially bounded away from $1$.


title: GILE: A Generalized Input-Label Embedding for Text Classification

abstract: Neural text classification models typically treat output labels as categorical variables which lack description and semantics. This forces their parametrization to be dependent on the label set size, and, hence, they are unable to scale to large label sets and generalize to unseen ones. Existing joint input-label text models overcome these issues by exploiting label descriptions, but they are unable to capture complex label relationships, have rigid parametrization, and their gains on unseen labels happen often at the expense of weak performance on the labels seen during training. In this paper, we propose a new input-label model which generalizes over previous such models, addresses their limitations and does not compromise performance on seen labels. The model consists of a joint non-linear input-label embedding with controllable capacity and a joint-space-dependent classification unit which is trained with cross-entropy loss to optimize classification performance. We evaluate models on full-resource and low- or zero-resource text classification of multilingual news and biomedical text with a large label set. Our model outperforms monolingual and multilingual models which do not leverage label semantics and previous joint input-label space models in both scenarios.