title: Single plasmon hot carrier generation in metallic nanoparticles

abstract: Hot carriers produced from the decay of localized surface plasmons in metallic nanoparticles are intensely studied because of their optoelectronic, photovoltaic and photocatalytic applications. From a classical perspective, plasmons are coherent oscillations of the electrons in the nanoparticle, but their quantized nature comes to the fore in the novel field of quantum plasmonics. In this work, we introduce a quantum-mechanical material-specific approach for describing the decay of single quantized plasmons into hot electrons and holes. We find that hot carrier generation rates differ significantly from semiclassical predictions. We also investigate the decay of excitations without plasmonic character and show that their hot carrier rates are comparable to those from the decay of plasmonic excitations for small nanoparticles. Our study provides a rigorous and general foundation for further development of plasmonic hot carrier studies in the plasmonic regime required for the design of ultrasmall devices.


title: Superconductivity induced by Ag intercalation in Dirac semimetal Bi$_2$Se$_3$

abstract: Superconductivity in a doped topological insulator (TI) is a very interesting phenomenon and constitute a new finding of the modern day condensed matter physics. Here we have investigated the physical and transport properties of such an intercalated TI, namely, Bi$_2$Se$_3$ via a strong coupling route. The unique bandstructure of Bismuth Selenide with a dirac cone is strongly influenced with the intercalation by Silver (Ag) (Gold (Au) is included to compare and contrast) at high densities, along with novel structural effects, leading to the emergence of orbital selective metal insulator transition with possible superconductivity at low temperature. Here we have explored the part of multi orbital electron electron correlations in Ag and Au intercalated Bi$_2$Se$_3$ via dynamical-mean-field theory with local density approximation, and the impact of this intercalation in establishing new physical properties and possible energy applications.


title: A Novel Apex-Time Network for Cross-Dataset Micro-Expression Recognition

abstract: The automatic recognition of micro-expression has been boosted ever since the successful introduction of deep learning approaches. As researchers working on such topics are moving to learn from the nature of micro-expression, the practice of using deep learning techniques has evolved from processing the entire video clip of micro-expression to the recognition on apex frame. Using the apex frame is able to get rid of redundant video frames, but the relevant temporal evidence of micro-expression would be thereby left out. This paper proposes a novel Apex-Time Network (ATNet) to recognize micro-expression based on spatial information from the apex frame as well as on temporal information from the respective-adjacent frames. Through extensive experiments on three benchmarks, we demonstrate the improvement achieved by learning such temporal information. Specially, the model with such temporal information is more robust in cross-dataset validations.


title: Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems

abstract: To utilize the multi-core processors properly concurrent programming is needed. Concurrency control is the main challenge while designing a correct and efficient concurrent program. Software Transactional Memory Systems (STMs) provides ease of multithreading to the programmer without worrying about concurrency issues such as deadlock, livelock, priority inversion, etc. Most of the STMs works on read-write operations known as RWSTMs. Some STMs work at high-level operations and ensure greater concurrency than RWSTMs. Such STMs are known as Object-Based STMs (OSTMs). The transactions of OSTMs can return commit or abort. Aborted OSTMs transactions retry. But in the current setting of OSTMs, transactions may starve. So, we proposed a Starvation-Free OSTM (SF-OSTM) which ensures starvation-freedom in object based STM systems while satisfying the correctness criteria as co-opacity. Databases, RWSTMs and OSTMs say that maintaining multiple versions corresponding to each key of transaction reduces the number of aborts and improves the throughput. So, to achieve greater concurrency, we proposed Starvation-Free Multi-Version OSTM (SF-MVOSTM) which ensures starvation-freedom while storing multiple versions corresponding to each key and satisfies the correctness criteria such as local opacity. To show the performance benefits, We implemented three variants of SF-MVOSTM (SF-MVOSTM, SF-MVOSTM-GC and SF-KOSTM) and compared it with state-of-the-art STMs.


title: Unsupervised Learning Methods in X-ray Spectral Imaging Material Segmentation

abstract: In this work, we have investigated a number of unsupervised learning methods for material segmentation in projection x-ray imaging with a spectral detector. A phantom containing two hard materials (glass, steel) and three soft materials (PVC, polypropylene, and PFTE) all embedded in PMMA was imaged with a 5 energy bin spectal detector. The projection images were utilized to test nine unsupervised learning algorithms for automated material segmentation. Each algorithm was investigated using single energy (SE), dual energy (DE) and multi energy (ME) images. Clustering results were scored based on homogeneity and completeness of the clusters, which were combined into the Rosenberg and Hirshberg's V-measure. Principle component analysis (PCA), independent component analysis (ICA), and non-negative matrix factorization (NMF) were tested as dimensional reduction methods. ME, DE and SE material segmentation was performed using five, two, and single energy images, respectively. ME had the highest V-measure on the soft materials using PCA and a novel interpolating bayesian gaussian mixture model (BGMM) clustering with a V-measure of 0.71. This was by 3.5% better than DE and 20.3% better than SE. Conversely, SE imaging was most capable of hard tissue segmentation using the standard BGMM, with a V-measures of 0.84. This was 6.3% better than DE and 5.0% better than ME. This work demonstrated that ME x-ray imaging might be superior in segmenting soft tissues compared to conventional SE x-ray imaging.


title: Designing a statistical procedure for monitoring global carbon dioxide emissions

abstract: Following the Paris Agreement of $2015$, most countries have agreed to reduce their carbon dioxide (CO$_2$) emissions according to individually set Nationally Determined Contributions. However, national CO$_2$ emissions are reported by individual countries and cannot be directly measured or verified by third parties. Inherent weaknesses in the reporting methodology may misrepresent, typically an under-reporting of, the total national emissions. This paper applies the theory of sequential testing to design a statistical monitoring procedure that can be used to detect systematic under-reportings of CO$_2$ emissions. Using simulations, we investigate how the proposed sequential testing procedure can be expected to work in practice. We find that, if emissions are reported faithfully, the test is correctly sized, while, if emissions are under-reported, detection time can be sufficiently fast to help inform the $5$ yearly global "stocktake" of the Paris Agreement. We recommend the monitoring procedure be applied going forward as part of a larger portfolio of methods designed to verify future global CO$_2$ emissions.


title: Long time growth of Sobolev norms in time dependent semiclassical anharmonic oscillators

abstract: We consider the semiclassical Schr\"odinger equation on $\mathbb R^d$ given by $$\mathrm{i} \hbar \partial_t \psi = \left(-\frac{\hbar^2}{2} \Delta + W_l(x) \right)\psi + V(t,x)\psi ,$$ where $W_l$ is an anharmonic trapping of the form $W_l(x)= \frac{1}{2l}\sum_{j=1}^d x_j^{2l}$, $l\geq 2$ is an integer and $\hbar$ is a semiclassical small parameter. We construct a smooth potential $V(t,x)$, bounded in time with its derivatives, and an initial datum such that the Sobolev norms of the solution grow at a logarithmic speed for all times of order $\log^{\frac12}(\hbar^{-1})$. The proof relies on two ingredients: first we construct an unbounded solution to a forced mechanical anharmonic oscillator, then we exploit semiclassical approximation with coherent states to obtain growth of Sobolev norms for the quantum system which are valid for semiclassical time scales.


title: Flexible and Comprehensive Patient-Specific Mitral Valve Silicone Models with Chordae Tendinae Made From 3D-Printable Molds

abstract: Given the multitude of challenges surgeons face during mitral valve repair surgery, they should have a high confidence in handling of instruments and in the application of surgical techniques before they enter the operating room. Unfortunately, opportunities for surgical training of minimally-invasive repair are very limited, leading to a situation where most surgeons undergo a steep learning curve while operating the first patients. In order to provide a realistic tool for surgical training, a commercial simulator was augmented by flexible patient-specific mitral valve replica. In an elaborated production pipeline, finalized after many optimization cycles, models were segmented from 3D ultrasound and then 3D-printable molds were computed automatically and printed in rigid material, the lower part being water-soluble. After silicone injection, the silicone model was dissolved from the mold and anchored in the simulator. To our knowledge, our models are the first to comprise the full mitral valve apparatus, i.e. the annulus, leaflets, chordae tendineae and papillary muscles. Nine different valve molds were automatically created according to the proposed workflow (seven prolapsed valves and two valves with functional mitral insufficiency). From these mold geometries, 16 replica were manufactured. A material test revealed that Ecoflex\textsuperscript{TM} 00-30 is the most suitable material for leaflet-mimicking tissue out of seven mixtures. Production time was around 36h per valve. Twelve surgeons performed various surgical techniques, e.g. annuloplasty, neo-chordae implantation, triangular leaflet resection and assessed the realism of the valves very positively. The standardized production process guarantees a high anatomical recapitulation of the silicone valves to the segmented models and the ultrasound data...


title: Extended sampling method for inverse elastic scattering problems using one incident wave

abstract: We consider the inverse elastic scattering problems using the far field data due to one incident plane wave. A simple method is proposed to reconstruct the location and size of the obstacle using different components of the far field pattern. The method sets up linear ill-posed integral equations for sampling points in the domain of interrogation and uses the (approximate) solutions to compute indicators. Using the far field patterns of rigid disks as the kernels of the integral equations and moving the measured data to the right hand side, the method has the ability to process limited aperture data. Numerical examples show that the method can effectively determine the location and approximate the support of the obstacle with little a priori information.


title: Complex caustics of the elliptic billiard

abstract: The article studies a generalization of the elliptic billiard to the complex domain. We show that the billiard orbits also have caustics, and that the number of such caustics is bigger than for the real case. For example, for a given ellipse E, there exist exactly two confocal ellipses such that the triangular orbits of E are circumscribed about one of them, and each tangent line to one of those ellipses is a side of a triangular orbit. We also give a bound on the number of caustics for orbits with a fixed number of sides.


title: Graphene pixel-based polarization-insensitive metasurface for {almost perfect and wideband} terahertz absorption

abstract: Absorption of terahertz waves by a metasurface comprising a biperiodic array of pixellated meta-atoms on top of a dielectric substrate backed by a perfect electric conductor was simulated using a commercial software, with either all or a few of the pixels in every meta-atom patched with graphene. Absorptances as high as 0.99 over a 1.16-THz-wide spectral regime for normal incidence were found for a metasurface comprising meta-atoms with only a few pixels patched with graphene, regardless of the polarization state. In comparison to metasurface absorbers comprising two graphene layers separated by an insulator mounted on a metal-backed substrate, graphene need was thereby reduced by two thirds. The number and dimensions of the pixels in a meta-atom can be altered to fit spectral requirements.


title: Elementary proof of symmetry of the off-diagonal Seeley-DeWitt (and related Hadamard) coefficients

abstract: We will prove in an elementary way that off-diagonal Seeley-DeWitt and Hadamard coefficients are (sesqui-)symmetric for smooth manifolds of arbitrary signature.


title: Equilibria of Pendant Droplets: Spatial Variation and Anisotropy of Surface Tension

abstract: An example of capillary phenomena commonly seen and often studied is a droplet of water hanging in air from a horizontal surface. A thin capillary surface interface between the liquid and gas develops tangential surface tension, which provides a balance of the internal and external pressures. The Young-Laplace equation has been historically used to establish the equilibrium geometry of the droplet, relating the pressure difference across the surface to the mean curvature of the surface and the surface tension, which is presumed constant and isotropic. The surface energy per unit area is often referred to as simply surface energy and is commonly considered equal to the surface tension. The relation between the surface energy and the surface tension can be established for axisymmetric droplets in a gravitational field by the application of the calculus of variations, minimizing the total potential energy. Here it is shown analytically and experimentally that, for conditions of constant volume of the droplet, equilibrium states exist with surface tensions less than the surface energy of the water-air interface. The surface tensions of the interface membrane vary with position and are anisotropic.


title: Planar Geometry and Image Recovery from Motion-Blur

abstract: Existing works on motion deblurring either ignore the effects of depth-dependent blur or work with the assumption of a multi-layered scene wherein each layer is modeled in the form of fronto-parallel plane. In this work, we consider the case of 3D scenes with piecewise planar structure i.e., a scene that can be modeled as a combination of multiple planes with arbitrary orientations. We first propose an approach for estimation of normal of a planar scene from a single motion blurred observation. We then develop an algorithm for automatic recovery of number of planes, the parameters corresponding to each plane, and camera motion from a single motion blurred image of a multiplanar 3D scene. Finally, we propose a first-of-its-kind approach to recover the planar geometry and latent image of the scene by adopting an alternating minimization framework built on our findings. Experiments on synthetic and real data reveal that our proposed method achieves state-of-the-art results.


title: Neo: A Learned Query Optimizer

abstract: Query optimization is one of the most challenging problems in database systems. Despite the progress made over the past decades, query optimizers remain extremely complex components that require a great deal of hand-tuning for specific workloads and datasets. Motivated by this shortcoming and inspired by recent advances in applying machine learning to data management challenges, we introduce Neo (Neural Optimizer), a novel learning-based query optimizer that relies on deep neural networks to generate query executions plans. Neo bootstraps its query optimization model from existing optimizers and continues to learn from incoming queries, building upon its successes and learning from its failures. Furthermore, Neo naturally adapts to underlying data patterns and is robust to estimation errors. Experimental results demonstrate that Neo, even when bootstrapped from a simple optimizer like PostgreSQL, can learn a model that offers similar performance to state-of-the-art commercial optimizers, and in some cases even surpass them.


title: A unified Eulerian framework for multimaterial continuum mechanics

abstract: A framework for simulating the interactions between multiple different continua is presented. Each constituent material is governed by the same set of equations, differing only in terms of their equations of state and strain dissipation functions. The interfaces between any combination of fluids, solids, and vacuum are handled by a new Riemann Ghost Fluid Method, which is agnostic to the type of material on either side (depending only on the desired boundary conditions). The Godunov-Peshkov-Romenski (GPR) model is used for modeling the continua (having recently been used to solve a range of problems involving Newtonian and non-Newtonian fluids, and elastic and elastoplastic solids), and this study represents a novel approach for handling multimaterial problems under this model. The resulting framework is simple, yet capable of accurately reproducing a wide range of different physical scenarios. It is demonstrated here to accurately reproduce analytical results for known Riemann problems, and to produce expected results in other cases, including some featuring heat conduction across interfaces, and impact-induced deformation and detonation of combustible materials. The framework thus has the potential to streamline development of simulation software for scenarios involving multiple materials and phases of matter, by reducing the number of different systems of equations that require solvers, and cutting down on the amount of theoretical work required to deal with the interfaces between materials.


title: AI Meets Austen: Towards Human-Robot Discussions of Literary Metaphor

abstract: Artificial intelligence is revolutionizing formal education, fueled by innovations in learning assessment, content generation, and instructional delivery. Informal, lifelong learning settings have been the subject of less attention. We provide a proof-of-concept for an embodied book discussion companion, designed to stimulate conversations with readers about particularly creative metaphors in fiction literature. We collect ratings from 26 participants, each of whom discuss Jane Austen's "Pride and Prejudice" with the robot across one or more sessions, and find that participants rate their interactions highly. This suggests that companion robots could be an interesting entryway for the promotion of lifelong learning and cognitive exercise in future applications.


title: Stokes Inversion based on Convolutional Neural Networks

abstract: Spectropolarimetric inversions are routinely used in the field of Solar Physics for the extraction of physical information from observations. The application to two-dimensional fields of view often requires the use of supercomputers with parallelized inversion codes. Even in this case, the computing time spent on the process is still very large. Our aim is to develop a new inversion code based on the application of convolutional neural networks that can quickly provide a three-dimensional cube of thermodynamical and magnetic properties from the interpretation of two-dimensional maps of Stokes profiles. We train two different architectures of fully convolutional neural networks. To this end, we use the synthetic Stokes profiles obtained from two snapshots of three-dimensional magneto-hydrodynamic numerical simulations of different structures of the solar atmosphere. We provide an extensive analysis of the new inversion technique, showing that it infers the thermodynamical and magnetic properties with a precision comparable to that of standard inversion techniques. However, it provides several key improvements: our method is around one million times faster, it returns a three-dimensional view of the physical properties of the region of interest in geometrical height, it provides quantities that cannot be obtained otherwise (pressure and Wilson depression) and the inferred properties are decontaminated from the blurring effect of instrumental point spread functions for free. The code is provided for free on a specific repository, with options for training and evaluation.


title: Near-unity indistinguishability single photon source for large-scale integrated quantum optics

abstract: Integrated single photon sources are key building blocks for realizing scalable devices for quantum information processing. For such applications highly coherent and indistinguishable single photons on a chip are required. Here we report on a triggered resonance fluorescence single photon source based on In(Ga)As/GaAs quantum dots coupled to single- and multi-mode ridge waveguides. We demonstrate the generation of highly linearly polarized resonance fluorescence photons with 99.1% (96.0%) single-photon purity and 97.5% (95.0%) indistinguishability in case of multi-mode (single-mode) waveguide devices fulfilling the strict requirements imposed by multi-interferometric quantum optics applications. Our integrated triggered single photon source can be readily scaled up, promising a realistic pathway for on-chip linear optical quantum simulation, quantum computation and quantum networks.


title: Multiple Model Poisson Multi-Bernoulli Mixture Filter for Maneuvering Targets

abstract: The Poisson multi-Bernoulli mixture (PMBM) filter is conjugate prior composed of the union of a Poisson point process (PPP) and a multi-Bernoulli mixture (MBM). In this paper, a new PMBM filter for tracking multiple targets with randomly time-varying dynamics under multiple model (MM) is considered. The proposed MM-PMBM filter uses extends the single-model PMBM filter recursion to multiple motion models by using the jump Markov system (JMS). The performance of the proposed algorithm is examined and compared with the MM-MB filter. The simulation results demonstrate that the proposed MM-PMBM filter outperforms the MM-MB filter in terms of the tracking accuracy, including the target states and cardinality, especially for the scenerio with low detection probability. Moreover, the comparisons for the variations of detection probability and standard derivation of measurement noise are also tested via simulation experiments.


title: Bayesian influence diagnostics using normalizing functional Bregman divergence

abstract: Ideally, any statistical inference should be robust to local influences. Although there are simple ways to check about leverage points in independent and linear problems, more complex models require more sophisticated methods. Kullback-Leiber and Bregman divergences were already applied in Bayesian inference to measure the isolated impact of each observation in a model. We extend these ideas to models for dependent data and with non-normal probability distributions such as time series, spatial models and generalized linear models. We also propose a strategy to rescale the functional Bregman divergence to lie in the (0,1) interval thus facilitating interpretation and comparison. This is accomplished with a minimal computational effort and maintaining all theoretical properties. For computational efficiency, we take advantage of Hamiltonian Monte Carlo methods to draw samples from the posterior distribution of model parameters. The resulting Markov chains are then directly connected with Bregman calculus, which results in fast computation. We check the propositions in both simulated and empirical studies.


title: Reflectionless Filters for Generalized Transmission Functions

abstract: Single-ended circuit topologies, and a theorem for the development thereof, are presented with which one may realize constant-resistance (or reflectionless) filters, having ideally zero reflection coefficient at all frequencies and from all ports, suitable for elliptic and pseudo-elliptic filter responses. The proposed theorem produces topologies of a type known as the coupled-ladder, which has been previously studied for only polynomial responses (e.g. Butterworth, Chebyshev, etc.). A comparison between these topologies and another classical approach known as the economy bridge reveals that those proposed here have a number of theoretical and practical advantages. The theory is tested by the construction of a sixth-order, low-pass reflectionless filter exhibiting a pseudo-elliptic frequency response. Measured results are in excellent agreement with theory, and show return loss better than 20 dB throughout the pass-band, the transition-band, and up to two octaves into the stop-band.


title: Dissipative Particle Dynamics for Systems with Polar Species

abstract: In this work we developed a method for simulating polar species in the dissipative particle dynamics (DPD) method. The main idea behind the method is to treat each bead as a dumb-bell, i.e. two sub-beads (the sub-beads can bear charges) kept at a fixed distance, instead of a point-like particle. It was shown that at small enough separations the composite beads act essentially as conventional point-like beads. Next, the relation between the bead dipole moment and the bulk dielectric permittivity was obtained. The interaction of single charges in polar liquid showed that the observed dielectric permittivity is somewhat smaller than that obtained for the bulk case at large separation between the charges; at distances comparable to the bead size the solvation shells of the charges start to interfere and oscillations in the observed permittivity occur. Such oriented molecules effectively have smaller polarizability compared to the bulk liquid, so the field of one charge in the vicinity of another charge is reduced not as strong as in the bulk. Finally, we showed why it is necessary to treat the polar species in DPD explicitly instead of implicitly by calculating the local polarizability based on the local species concentrations: the latter leads to the violation of the Newton's third law resulting in simulation artifacts. We investigated the behavior of a charged colloidal particle at an interface of polar and non-polar liquids. We obtained that when the polar molecules are treated explicitly, the charged colloidal particle moved into the polar liquid since it is energetically more favorable for the charged molecules to be immersed in a polar medium; however, within the "implicit polarity" method the colloidal particle is found on top of a "bump" formed by the molecules of the non-polar liquid, which increases the interface area between the liquids instead of decreasing it.


title: An unsupervised transfer learning algorithm for sleep monitoring

abstract: Objective: To develop multisensor-wearable-device sleep monitoring algorithms that are robust to health disruptions affecting sleep patterns. Methods: We develop an unsupervised transfer learning algorithm based on a multivariate hidden Markov model and Fisher's linear discriminant analysis, adaptively adjusting to sleep pattern shift by training on dynamics of sleep/wake states. The proposed algorithm operates, without requiring a priori information about true sleep/wake states, by establishing an initial training set with hidden Markov model and leveraging a taper window mechanism to learn the sleep pattern in an incremental fashion. Our domain-adaptation algorithm is applied to a dataset collected in a human viral challenge study to identify sleep/wake periods of both uninfected and infected participants. Results: The algorithm successfully detects sleep/wake sessions in subjects whose sleep patterns are disrupted by respiratory infection (H3N2 flu virus). Pre-symptomatic features based on the detected periods are found to be strongly predictive of both infection status (AUC = 0.844) and infection onset time (AUC = 0.885), indicating the effectiveness and usefulness of the algorithm. Conclusion: Our method can effectively detect sleep/wake states in the presence of sleep pattern shift. Significance: Utilizing integrated multisensor signal processing and adaptive training schemes, our algorithm is able to capture key sleep patterns in ambulatory monitoring, leading to better automated sleep assessment and prediction.


title: PBW degenerate Schubert varieties: Cartan components and counterexamples

abstract: In recent years PBW degenerations of Demazure modules and Schubert varieties were defined and studied in several papers. Various interesting properties (such as these PBW degenerations embedding naturally into the corresponding degenerate representations and flag varieties) were obtained in type $\mathrm A$ but only with restrictions on the Weyl group element or the highest weight. We show that these properties cannot hold in full generality due to the following issue with the definition. The degenerate variety depends on the highest weight used to define it and not only on its Weyl group stabilizer (as is the case for PBW degenerate flag varieties as well as classical Schubert varieties). Perhaps surprisingly, the minimal counterexamples appear only for $\mathfrak{sl}_6$. The counterexamples are constructed with the help of a study of the Cartan components appearing in this context.


title: Tuning insulator-semimetal transitions in 3D topological insulator thin films by inter-surface hybridization and in-plane magnetic fields

abstract: A pair of Dirac points (analogous to a vortex-antivortex pair) associated with opposite topological numbers (with $\pm\pi$ Berry phases) can be merged together through parameter tuning and annihilated to gap the Dirac spectrum, offering a canonical example of a topological phase transition. Here, we report transport studies on thin films of BiSbTeSe$_2$ (BSTS), which is a 3D TI that hosts spin-helical gapless (semi-metallic) Dirac fermion surface states (SS) for sufficiently thick samples, with an observed resistivity close to $h/4e^2$ at the charge neutral point. When the sample thickness is reduced to $\sim$10 nm thick, the Dirac cones from the top and bottom surfaces can hybridize (analogous to a "merging" in the real space) and become gapped to give a trivial insulator. Furthermore, we observe that an in-plane magnetic field can drive the system again towards a metallic behavior, with a prominent negative magnetoresistance (MR, up to $\sim$$-$95\%) and a temperature-insensitive resistivity close to $h/2e^2$ at the charge neutral point. The observation is interpreted in terms of a predicted effect of an in-plane magnetic field to reduce the hybridization gap (which, if small enough, may be smeared by disorder and a metallic behavior). A sufficiently strong magnetic field is predicted to restore and split again the Dirac points in the momentum space, inducing a distinct 2D topological semimetal (TSM) phase with 2 single-fold Dirac cones of opposite spin-momentum windings.


title: Linear-Time and Efficient Distributed Algorithms for List Coloring Graphs on Surfaces

abstract: In 1994, Thomassen proved that every planar graph is 5-list-colorable. In 1995, Thomassen proved that every planar graph of girth at least five is 3-list-colorable. His proofs naturally lead to quadratic-time algorithms to find such colorings. Here, we provide the first such linear-time algorithms to find such colorings. For a fixed surface S, Thomassen showed in 1997 that there exists a linear-time algorithm to decide if a graph embedded in S is 5-colorable and similarly in 2003 if a graph of girth at least five embedded in S is 3-colorable. Using the theory of hyperbolic families, the author and Thomas showed such algorithms exist for list-colorings. Dvorak and Kawarabayashi actually gave an $O(n^{O(g+1)})$-time algorithm to find such colorings (if they exist) in n-vertex graphs where g is the Euler genus of the surface. Here we provide the first such algorithm whose exponent does not depend on the genus; indeed, we provide a linear-time algorithm. In 1988, Goldberg, Plotkin and Shannon provided a deterministic distributed algorithm for 7-coloring n-vertex planar graphs in $O(\log n)$ rounds. In 2018, Aboulker, Bonamy, Bousquet, and Esperet provided a deterministic distributed algorithm for 6-coloring n-vertex planar graphs in $O(\log^3 n)$ rounds. Their algorithm in fact works for 6-list-coloring. They also provided an $O(\log^3 n)$-round algorithm for 4-list-coloring triangle-free planar graphs. Chechik and Mukhtar independently obtained such algorithms for ordinary coloring in $O(\log n)$ rounds, which is best possible in terms of running time. Here we provide the first polylogarithmic deterministic distributed algorithms for 5-coloring n-vertex planar graphs and similarly for 3-coloring planar graphs of girth at least five. Indeed, these algorithms run in $O(\log n)$ rounds, work also for list-colorings, and even work on a fixed surface (assuming such a coloring exists).


title: Nonlinear dynamo models using quasi-biennial oscillations constrained by sunspot area data

abstract: Contex: Solar magnetic activity exhibits variations with periods between 1.5--4 years, the so-called quasi-biennial oscillations (QBOs), in addition to the well-known 11-year Schwabe cycles. Solar dynamo is thought to be the responsible mechanism for generation of the QBOs. Aims: In this work, we analyse sunspot areas to investigate the spatial and temporal behaviour of the QBO signal and study the responsible physical mechanisms using simulations from fully nonlinear mean-field flux-transport dynamos. Methods: We investigated the behaviour of the QBOs in the sunspot area data in full disk, and northern and southern hemispheres, using wavelet and Fourier analyses. We also ran solar dynamos with two different approaches to generating a poloidal field from an existing toroidal field, Babcock-Leighton and turbulent $\alpha$ mechanisms. We then studied the simulated magnetic field strengths as well as meridional circulation and differential rotation rates using the same methods. Results: The results from the sunspot areas show that the QBOs are present in the full disk and hemispheric sunspot areas and they show slightly different spatial and temporal behaviours, indicating a slightly decoupled solar hemispheres. The QBO signal is generally intermittent and in-phase with the sunspot area data, surfacing when the solar activity is in maximum. The results from the BL-dynamos showed that they are neither capable of generating the slightly decoupled behaviour of solar hemispheres nor can they generate QBO-like signals. The turbulent $\alpha$-dynamos, on the other hand, generated decoupled hemispheres and some QBO-like shorter cycles. Conclusions: In conclusion, our simulations show that the turbulent $\alpha$-dynamos with the Lorentz force seems more efficient in generating the observed temporal and spatial behaviour of the QBO signal compared with those from the BL-dynamos.


title: Characterization of parameters with a mixed bias property

abstract: In this article we study a class of parameters with the so-called `mixed bias property'. For parameters with this property, the bias of the semiparametric efficient one step estimator is equal to the mean of the product of the estimation errors of two nuisance functions. In non-parametric models, parameters with the mixed bias property admit so-called rate doubly robust estimators, i.e. estimators that are consistent and asymptotically normal when one succeeds in estimating both nuisance functions at sufficiently fast rates, with the possibility of trading off slower rates of convergence for the estimator of one of the nuisance functions with faster rates for the estimator of the other nuisance. We show that the class of parameters with the mixed bias property strictly includes two recently studied classes of parameters which, in turn, include many parameters of interest in causal inference. We characterize the form of parameters with the mixed bias property and of their influence functions. Furthermore, we derive two functional moment equations, each being solved at one of the two nuisance functions, as well as, two functional loss functions, each being minimized at one of the two nuisance functions. These loss functions can be used to derive loss based penalized estimators of the nuisance functions.


title: A Theory of Information overload applied to perfectly efficient financial markets

abstract: Before the massive spread of computer technology, information was far from complex. The development of technology shifted the paradigm: from individuals who faced scarce and costly information to individuals who face massive amounts of information accessible at low costs. Nowadays we are living in the era of big data and investors deal every day with a huge flow of information. In the spirit of the modern idea that economic agents have limited computational capacity, we propose an original model using information overload to show how too much information could cause financial markets to depart from the traditional assumption of informational efficiency. We show that when information tends to infinite, the efficient market hypothesis ceases to be true. This happens also for lower levels of information, when the use of the maximum amount of information is not optimal for investors. The present work can be a stimulus to consider more realistic economic models and it can be further deepened including other realistic features present in financial markets, such as information asymmetry or noise in the transmission of information.


title: T-Duality and Doubling of the Isotropic Rigid Rotator

abstract: After reviewing some of the fundamental aspects of Drinfel'd doubles and Poisson-Lie T-duality, we describe the three-dimensional isotropic rigid rotator on $SL(2,\mathbb{C})$ starting from a non-Abelian deformation of the natural carrier space of its Hamiltonian description on $T^*SU(2) \simeq SU(2) \ltimes \mathbb{R}^3$. A new model is then introduced on the dual group $SB(2,\mathbb{C})$, within the Drinfel'd double description of $SL(2,\mathbb{C})=SU(2) \bowtie SB(2,\mathbb{C})$. The two models are analyzed from the Poisson-Lie duality point of view, and a doubled generalized action is built with $TSL(2,\mathbb{C})$ as carrier space. The aim is to explore within a simple case the relations between Poisson-Lie symmetry, Doubled Geometry and Generalized Geometry. In fact, all the mentioned structures are discussed, such as a Poisson realization of the $C$-brackets for the generalized bundle $T \oplus T^*$ over $SU(2)$ from the Poisson algebra of the generalized model. The two dual models exhibit many features of Poisson-Lie duals and from the generalized action both of them can be respectively recovered by gauging one of its symmetries.


title: Photon-level tuning of photonic nanocavities

abstract: Energy-efficient optical control of photonic device properties is crucial for diverse photonic signal processing. Here we demonstrate extremely efficient optical tuning of photonic nanocavities, with only photon-level optical energy. With a lithium niobate photonic crystal nanocavity with an optical Q up to 1.41 million and an effective mode volume down to 0.78$(\lambda/n)^3$, we are able to achieve a resonance tuning rate of about 88.4~MHz/photon (0.67~GHz/aJ), which allows us to tune across the whole cavity resonance with only about 2.4 photons on average inside the cavity. Such a photon-level resonance tuning is of great potential for energy-efficient optical switching, wavelength routing, and reconfiguration of photonic devices/circuits that are indispensable for future photonic interconnect.


title: On some integral transforms of Coulomb functions related to three-dimensional proper Lorentz group

abstract: Considering the relationship between two bases in representation space of the three-dimensional proper Lorentz group, we derive some formulas with integrals involving Coulomb wave functions, which can be considered as Fourier, Mellin, $K$-Bessel, Hankel and Mehler-Fock transforms of these functions.


abstract: This article discusses applications of Bayesian machine learning for quantum molecular dynamics. One particular formulation of quantum dynamics advocated here is in the form of a machine learning simulator of the Schr\"{o}dinger equation. If combined with the Bayesian statistics, such a simulator allows one to obtain not only the quantum predictions but also the error bars of the dynamical results associated with uncertainties of inputs (such as the potential energy surface or non-adiabatic couplings) into the nuclear Schr\"{o}dinger equation. Instead of viewing atoms as undergoing dynamics on a given potential energy surface, Bayesian machine learning allows one to formulate the problem as the Schr\"{o}dinger equation with a non-parametric distribution of potential energy surfaces that becomes conditioned by the desired dynamical properties (such as the experimental measurements). Machine learning models of the Schr\"{o}dinger equation solutions can identify the sensitivity of the dynamical properties to different parts of the potential surface, the collision energy, angular momentum, external field parameters and basis sets used for the calculations. This can be used to inform the design of efficient quantum dynamics calculations. Machine learning models can also be used to correlate rigorous results with approximate calculations, providing accurate interpolation of exact results. Finally, there is evidence that it is possible to build Bayesian machine learning models capable of physically extrapolating the solutions of the Schr\"{o}dinger equation. This is particularly valuable as such models could complement common discovery tools to explore physical properties at Hamiltonian parameters not accessible by rigorous quantum calculations or experiments, and potentially be used to accelerate the numerical integration of the nuclear Schr\"{o}dinger equation.


title: Tuning Rashba spin-orbit coupling at LaAlO3/SrTiO3 interfaces by band filling

abstract: The electric-field tunable Rashba spin-orbit coupling at the LaAlO3/SrTiO3 interface shows potential applications in spintronic devices. However, different gate dependence of the coupling strength has been reported in experiments. On the theoretical side, it has been predicted that the largest Rashba effect appears at the crossing point of the $d_{xy}$ and $d_{xz,yz}$ bands. In this work, we study the tuneability of the Rashba effect in LaAlO3/SrTiO3 by means of back-gating. The Lifshitz transition was crossed multiple times by tuning the gate voltage so that the Fermi energy is tuned to approach or depart from the band crossing. By analyzing the weak antilocalization behavior in the magnetoresistance, we find that the maximum spin-orbit coupling effect occurs when the Fermi energy is near the Lifshitz point. Moreover, we find strong evidence for a single spin winding at the Fermi surface.


title: Surface forces generated by the action of electric fields across liquid films

abstract: We explore the force generation and surface interactions arising when electric fields are applied across fluid films. Using a surface force balance (SFB) we measure directly the force between two electrodes in crossed-cylinder geometry across dielectric and electrolytic fluids. In the case of dielectric films the field between the electrodes exerts a force which can be well explained using classic expressions and with no fitting parameters. However when the electrodes are separated by a film of electrolyte, an alternating electric field induces a force which diverges substantially from the calculated static response of the electrolyte. The magnitude of the force is larger than predicted, and the interaction can switch from attractive to repulsive. Furthermore, the approach to steady state in electrolyte takes place over $10^2$ -- $10^3$~s which is very slow compared to both the charging and viscous timescales of the system. The non-trivial electrolyte response in AC electric fields, measured here directly, is likely to underlie several recent reports of unexpected and bifurcating forces driving colloids in AC fields. Our measurements suggest ways to control colloidal and soft matter using electric fields, as well as providing a direct measure of the length- and time-scales relevant in AC electrochemical and electrokinetic systems.


title: Fission and the r-process nucleosynthesis of translead nuclei in neutron star mergers

abstract: We study the impact of fission on the production and destruction of translead nuclei during the r-process nucleosynthesis occurring in neutron-star mergers. Abundance patterns and rates of nuclear energy production are obtained for different ejecta conditions using three sets of stellar reaction rates, one of which is based on microscopic and consistent calculations of nuclear masses, fission barriers, and collective inertias. We show that the accumulation of fissioning material during the r process can strongly affect the free neutron abundance after the r-process freeze-out. This leads to a significant impact on the abundances of heavy nuclei that undergo $\alpha$ decay or spontaneous fission, affecting the radioactive energy production by the ejecta at timescales relevant for kilonova emission.


title: Measuring Human Perception to Improve Handwritten Document Transcription

abstract: The subtleties of human perception, as measured by vision scientists through the use of psychophysics, are important clues to the internal workings of visual recognition. For instance, measured reaction time can indicate whether a visual stimulus is easy for a subject to recognize, or whether it is hard. In this paper, we consider how to incorporate psychophysical measurements of visual perception into the loss function of a deep neural network being trained for a recognition task, under the assumption that such information can enforce consistency with human behavior. As a case study to assess the viability of this approach, we look at the problem of handwritten document transcription. While good progress has been made towards automatically transcribing modern handwriting, significant challenges remain in transcribing historical documents. Here we describe a general enhancement strategy, underpinned by the new loss formulation, which can be applied to the training regime of any deep learning-based document transcription system. Through experimentation, reliable performance improvement is demonstrated for the standard IAM and RIMES datasets for three different network architectures. Further, we go on to show feasibility for our approach on a new dataset of digitized Latin manuscripts, originally produced by scribes in the Cloister of St. Gall in the the 9th century.


title: Visible Light Communication for Next Generation Untethered Virtual Reality Systems

abstract: Virtual and augmented reality (VR/AR) systems are emerging technologies requiring data rates of multiple Gbps. Existing high quality VR headsets require connections through HDMI cables to a computer rendering rich graphic contents to meet the extremely high data transfer rate requirement. Such a cable connection limits the VR user's mobility and interferes with the VR experience. Current wireless technologies such as WiFi cannot support the multi-Gbps graphics data transfer. Instead, we propose to use visible light communication (VLC) for establishing high speed wireless links between a rendering computer and a VR headset. But, VLC transceivers are highly directional with narrow beams and require constant maintenance of line-of-sight (LOS) alignment between the transmitter and the receiver. Thus, we present a novel multi-detector hemispherical VR headset design to tackle the beam misalignment problem caused by the VR user's random head orientation. We provide detailed analysis on how the number of detectors on the headset can be minimized while maintaining the required beam alignment and providing high quality VR experience.


title: Unsupervised Dialog Structure Learning

abstract: Learning a shared dialog structure from a set of task-oriented dialogs is an important challenge in computational linguistics. The learned dialog structure can shed light on how to analyze human dialogs, and more importantly contribute to the design and evaluation of dialog systems. We propose to extract dialog structures using a modified VRNN model with discrete latent vectors. Different from existing HMM-based models, our model is based on variational-autoencoder (VAE). Such model is able to capture more dynamics in dialogs beyond the surface forms of the language. We find that qualitatively, our method extracts meaningful dialog structure, and quantitatively, outperforms previous models on the ability to predict unseen data. We further evaluate the model's effectiveness in a downstream task, the dialog system building task. Experiments show that, by integrating the learned dialog structure into the reward function design, the model converges faster and to a better outcome in a reinforcement learning setting.


title: A unifying approach for doubly-robust $\ell_1$ regularized estimation of causal contrasts

abstract: We consider inference about a scalar parameter under a non-parametric model based on a one-step estimator computed as a plug in estimator plus the empirical mean of an estimator of the parameter's influence function. We focus on a class of parameters that have influence function which depends on two infinite dimensional nuisance functions and such that the bias of the one-step estimator of the parameter of interest is the expectation of the product of the estimation errors of the two nuisance functions. Our class includes many important treatment effect contrasts of interest in causal inference and econometrics, such as ATE, ATT, an integrated causal contrast with a continuous treatment, and the mean of an outcome missing not at random. We propose estimators of the target parameter that entertain approximately sparse regression models for the nuisance functions allowing for the number of potential confounders to be even larger than the sample size. By employing sample splitting, cross-fitting and $\ell_1$-regularized regression estimators of the nuisance functions based on objective functions whose directional derivatives agree with those of the parameter's influence function, we obtain estimators of the target parameter with two desirable robustness properties: (1) they are rate doubly-robust in that they are root-n consistent and asymptotically normal when both nuisance functions follow approximately sparse models, even if one function has a very non-sparse regression coefficient, so long as the other has a sufficiently sparse regression coefficient, and (2) they are model doubly-robust in that they are root-n consistent and asymptotically normal even if one of the nuisance functions does not follow an approximately sparse model so long as the other nuisance function follows an approximately sparse model with a sufficiently sparse regression coefficient.


title: From Lagrangian mechanics to nonequilibrium thermodynamics: a variational perspective

abstract: In this paper, we survey our recent results on the variational formulation of nonequilibrium thermodynamics for the finite dimensional case of discrete systems as well as for the infinite dimensional case of continuum systems. Starting with the fundamental variational principle of classical mechanics, namely, Hamilton's principle, we show, with the help of thermodynamic systems with gradually increasing level complexity, how to systematically extend it to include irreversible processes. In the finite dimensional cases, we treat systems experiencing the irreversible processes of mechanical friction, heat and mass transfer, both in the adiabatically closed and in the open cases. On the continuum side, we illustrate our theory with the example of multicomponent Navier-Stokes-Fourier systems.


title: Subcritical transition to turbulence in wall-bounded flows: the case of plane Poiseuille flow

abstract: In wall-bounded flows, the laminar regime remain linearly stable up to large values of the Reynolds number while competing with nonlinear turbulent solutions issued from finite amplitude perturbations. The transition to turbulence of plane channel flow (plane Poiseuille flow) is more specifically considered via numerical simulations. Previous conflicting observations are reconciled by noting that the two-dimensional directed percolation scenario expected for the decay of turbulence may be interrupted by a symmetry-breaking bifurcation favoring localized turbulent bands. At the other end of the transitional range, a preliminary study suggests that the laminar-turbulent pattern leaves room to a featureless regime beyond a well defined threshold to be determined with precision.


title: The Accretion Disc-Jet Connection in Blazars

abstract: The power spectral density (PSD) of the X-ray emission variability from the accretion disc-corona region of black hole X-ray binaries and active galactic nuclei has a broken power law shape with a characteristic break time-scale. If the disc and the jet are connected, the jet variability may also contain a characteristic time-scale related to that of the disc-corona. Recent observations of the blazar Mrk 421 have confirmed the broken power law shape of the PSD of its jet X-ray variability. We model the time variability of a blazar, in which emitting particles are assumed to be accelerated by successive shock waves flowing down the jet with a varying inter-shock time-scale. We investigate the possible relation between the characteristic time-scales in the disc and jet variability based on the above model, along with mathematically and physically simulated disc variability. We find that both the PSD of the jet and disc variability may have a broken power law shape but the break time-scales are not related in general except only in systems with a small range of BH mass. The break in the jet and the disc PSD are connected to the interval between large amplitude outbursts in the jet (inter-shock time-scale) and to the viscous time-scale in the disc, respectively. In frequency bands where multiple emission processes are involved or emission is from lower energy particles, the break in the PSD may not be prominent enough for detection.


title: Graph pattern detection: Hardness for all induced patterns and faster non-induced cycles

abstract: We consider the pattern detection problem in graphs: given a constant size pattern graph $H$ and a host graph $G$, determine whether $G$ contains a subgraph isomorphic to $H$. Our main results are: * We prove that if a pattern $H$ contains a $k$-clique subgraph, then detecting whether an $n$ node host graph contains a not necessarily induced copy of $H$ requires at least the time for detecting whether an $n$ node graph contains a $k$-clique. The previous result of this nature required that $H$ contains a $k$-clique which is disjoint from all other $k$-cliques of $H$. * We show that if the famous Hadwiger conjecture from graph theory is true, then detecting whether an $n$ node host graph contains a not necessarily induced copy of a pattern with chromatic number $t$ requires at least the time for detecting whether an $n$ node graph contains a $t$-clique. This implies that: (1) under Hadwiger's conjecture for every $k$-node pattern $H$, finding an induced copy of $H$ requires at least the time of $\sqrt k$-clique detection, and at least size $\omega(n^{\sqrt{k}/4})$ for any constant depth circuit, and (2) unconditionally, detecting an induced copy of a random $G(k,p)$ pattern w.h.p. requires at least the time of $\Theta(k/\log k)$-clique detection, and hence also at least size $n^{\Omega(k/\log k)}$ for circuits of constant depth. * Finally, we consider the case when the pattern is a directed cycle on $k$ nodes, and we would like to detect whether a directed $m$-edge graph $G$ contains a $k$-Cycle as a not necessarily induced subgraph. We resolve a 14 year old conjecture of [Yuster-Zwick SODA'04] on the complexity of $k$-Cycle detection by giving a tight analysis of their $k$-Cycle algorithm. Our analysis improves the best bounds for $k$-Cycle detection in directed graphs, for all $k>5$.


title: Nonlinear Model Predictive Control for 3D Formation of Multirotor Micro Aerial Vehicles with Relative Sensing in Local Coordinates

abstract: The complex tasks such as surveillance, construction, search and rescue can benefit of the maneuverability of multirotor Micro Aerial Vehicles (MAVs) to obtain robust, cooperative system behavior and formation control is a prominent component of the these complex tasks. This work focuses on the problem of three-dimensional formation control of multirotor MAVs by using exclusively relative sensory information. It proposes a centralized Nonlinear Model Predictive Control (NMPC) approach in a leader-follower scheme. A realistic six degrees of freedom mathematical model of a multirotor MAVs is introduced and leveraged in the control laws. The formulation of the problem is performed based on NMPC and relative sensing framework with respect to local coordinate frames of the robots. This type of formulation makes the formation independent of the full knowledge of global or common reference frames and the utilization of expensive global localization sensors. Real-time Iteration (RTI) based solution to optimal control problem (OCP) is proposed by taking the novel formulation into account. An extensive scenario is designed to test and validate the strategy. Evaluation of the results suggests that satisfactory robust performance is achieved and maintained under model uncertainty and noise in local sensors and even in cases where the dynamics of the formation suddenly changes.


title: Information Bottleneck and its Applications in Deep Learning

abstract: Information Theory (IT) has been used in Machine Learning (ML) from early days of this field. In the last decade, advances in Deep Neural Networks (DNNs) have led to surprising improvements in many applications of ML. The result has been a paradigm shift in the community toward revisiting previous ideas and applications in this new framework. Ideas from IT are no exception. One of the ideas which is being revisited by many researchers in this new era, is Information Bottleneck (IB); a formulation of information extraction based on IT. The IB is promising in both analyzing and improving DNNs. The goal of this survey is to review the IB concept and demonstrate its applications in deep learning. The information theoretic nature of IB, makes it also a good candidate in showing the more general concept of how IT can be used in ML. Two important concepts are highlighted in this narrative on the subject, i) the concise and universal view that IT provides on seemingly unrelated methods of ML, demonstrated by explaining how IB relates to minimal sufficient statistics, stochastic gradient descent, and variational auto-encoders, and ii) the common technical mistakes and problems caused by applying ideas from IT, which is discussed by a careful study of some recent methods suffering from them.


title: Acinetobacter baumannii Deactivation by Means of DBD-Based Helium Plasma Jet

abstract: Acinetobacter baumannii is a typically short, almost round, rod-shaped (coccobacillus) Gram-negative bacterium. It can be an opportunistic pathogen in humans, affecting people with compromised immune systems, and it is becoming increasingly important as a hospital-associated (nosocomial) infection. It has also been isolated from environmental soil and water samples. In this work, unlike conventional medical methods like antibiotics, the influence of atmospheric-pressure cold plasma on this bacterium is evaluated by means of a colony count technique and scanning electron microscopy. The plasma used here refers to streamers axially propagating into a helium channel penetrating the atmospheric air. The plasma is probed with high resolution optical emission spectroscopy and copious reactive species are unveiled under low-temperature conditions. Based on the experimental results, post-treatment (delayed) biochemical effects on Acinetobacter baumannii and morphological modifications appear dominant, leading to complete deactivation of this bacterium.


title: Characterizations of the symmetrized polydisc via another family of domains

abstract: We find new characterizations for the points in the \textit{symmetrized polydisc} $\mathbb G_n$, a family of domains associated with the spectral interpolation, defined by \[ \mathbb G_n :=\left\{ \left(\sum_{1\leq i\leq n} z_i,\sum_{1\leq i<j\leq n}z_iz_j \dots, \prod_{i=1}^n z_i \right): \,|z_i|<1, i=1,\dots,n \right \}. \] We introduce a new family of domains which we call \textit{the extended symmetrized polydisc} $\widetilde{\mathbb G}_n$, and define in the following way: \begin{align*} \widetilde{\mathbb G}_n := \Bigg\{ (y_1,\dots,y_{n-1}, q)\in \mathbb C^n :\; q \in \mathbb D, \; y_j = \beta_j + \bar{\beta}_{n-j} q, \; \beta_j \in \mathbb C &\text{ and }\\ |\beta_j|+ |\beta_{n-j}| < {n \choose j} &\text{ for } j=1,\dots, n-1 \Bigg\}. \end{align*} We show that $\mathbb G_n=\widetilde{\mathbb G}_n$ for $n=1,2$ and that ${\mathbb G}_n \subsetneq \widetilde{\mathbb G}_n$ for $n\geq 3$. We first obtain a variety of characterizations for the points in $\widetilde{\mathbb G}_n$ and we apply these necessary and sufficient conditions to produce an analogous set of characterizations for the points in ${\mathbb G}_n$. Also we obtain similar characterizations for the points in $\Gamma_n \setminus {\mathbb G}_n$, where $\Gamma_n =\overline{{\mathbb G}_n}$. A set of $n-1$ fractional linear transformations play central role in the entire program. We also show that for $n\geq 2$, $\widetilde{\mathbb G}_n$ is non-convex but polynomially convex and is starlike about the origin but not circled.


title: Unsupervised Recurrent Neural Network Grammars

abstract: Recurrent neural network grammars (RNNG) are generative models of language which jointly model syntax and surface structure by incrementally generating a syntax tree and sentence in a top-down, left-to-right order. Supervised RNNGs achieve strong language modeling and parsing performance, but require an annotated corpus of parse trees. In this work, we experiment with unsupervised learning of RNNGs. Since directly marginalizing over the space of latent trees is intractable, we instead apply amortized variational inference. To maximize the evidence lower bound, we develop an inference network parameterized as a neural CRF constituency parser. On language modeling, unsupervised RNNGs perform as well their supervised counterparts on benchmarks in English and Chinese. On constituency grammar induction, they are competitive with recent neural language models that induce tree structures from words through attention mechanisms.


title: Time dependent solar modulation of cosmic rays from solar minimum to solar maximum

abstract: We study the time-dependent modulation effect and derive the local interstellar spectra (LIS) for the cosmic ray (CR) proton, helium, boron and carbon. A two-dimensional modulation model including the variation of the interplanetary environment with time is adopted to describe modulation process. The propagation equation of CRs in the heliosphere is numerically solved by the package Solarprop. We derive the LIS by fitting the latest results of several experiments, including Voyager 1, PAMELA, BESS-POLARII and ACE, during low solar activity periods. We further study the modulation in the polarity reversal periods with the PAMELA proton data. We find that the rigidity dependence of the diffusion coefficient is critical to explain the modulation effect during reversal periods. Our results also indicate a power law relation between the diffusion coefficient and the magnitude of the heliospheric magnetic field (HMF) at the Earth.


title: Non-Prehensile Manipulation in Clutter with Human-In-The-Loop

abstract: We propose a human-operator guided planning approach to pushing-based manipulation in clutter. Most recent approaches to manipulation in clutter employs randomized planning. The problem, however, remains a challenging one where the planning times are still in the order of tens of seconds or minutes, and the success rates are low for difficult instances of the problem. We build on these control-based randomized planning approaches, but we investigate using them in conjunction with human-operator input. In our framework, the human operator supplies a high-level plan, in the form of an ordered sequence of objects and their approximate goal positions. We present experiments in simulation and on a real robotic setup, where we compare the success rate and planning times of our human-in-the-loop approach with fully autonomous sampling-based planners. We show that with a minimal amount of human input, the low-level planner can solve the problem faster and with higher success rates.


title: On the compactness problem for a family of generalized Seiberg-Witten equations in dimension three

abstract: We prove an abstract compactness theorem for a family of generalized Seiberg-Witten equations in dimension three. This result recovers Taubes' compactness theorem for stable flat $\mathbf{P}\mathrm{SL}_2(\mathbf{C})$-connections as well as the compactness theorem for Seiberg-Witten equations with multiple spinors. Furthermore, this result implies a compactness theorem for the ADHM$_{1,2}$ Seiberg-Witten equation, which partially verifies a conjecture by Doan and Walpuski.


title: JumpReLU: A Retrofit Defense Strategy for Adversarial Attacks

abstract: It has been demonstrated that very simple attacks can fool highly-sophisticated neural network architectures. In particular, so-called adversarial examples, constructed from perturbations of input data that are small or imperceptible to humans but lead to different predictions, may lead to an enormous risk in certain critical applications. In light of this, there has been a great deal of work on developing adversarial training strategies to improve model robustness. These training strategies are very expensive, in both human and computational time. To complement these approaches, we propose a very simple and inexpensive strategy which can be used to ``retrofit'' a previously-trained network to improve its resilience to adversarial attacks. More concretely, we propose a new activation function---the JumpReLU---which, when used in place of a ReLU in an already-trained model, leads to a trade-off between predictive accuracy and robustness. This trade-off is controlled by the jump size, a hyper-parameter which can be tuned during the validation stage. Our empirical results demonstrate that this increases model robustness, protecting against adversarial attacks with substantially increased levels of perturbations. This is accomplished simply by retrofitting existing networks with our JumpReLU activation function, without the need for retraining the model. Additionally, we demonstrate that adversarially trained (robust) models can greatly benefit from retrofitting.


title: DeepGCNs: Can GCNs Go as Deep as CNNs?

abstract: Convolutional Neural Networks (CNNs) achieve impressive performance in a wide variety of fields. Their success benefited from a massive boost when very deep CNN models were able to be reliably trained. Despite their merits, CNNs fail to properly address problems with non-Euclidean data. To overcome this challenge, Graph Convolutional Networks (GCNs) build graphs to represent non-Euclidean data, borrow concepts from CNNs, and apply them in training. GCNs show promising results, but they are usually limited to very shallow models due to the vanishing gradient problem. As a result, most state-of-the-art GCN models are no deeper than 3 or 4 layers. In this work, we present new ways to successfully train very deep GCNs. We do this by borrowing concepts from CNNs, specifically residual/dense connections and dilated convolutions, and adapting them to GCN architectures. Extensive experiments show the positive effect of these deep GCN frameworks. Finally, we use these new concepts to build a very deep 56-layer GCN, and show how it significantly boosts performance (+3.7% mIoU over state-of-the-art) in the task of point cloud semantic segmentation. We believe that the community can greatly benefit from this work, as it opens up many opportunities for advancing GCN-based research.


title: From Co-prime to the Diophantine Equation Based Sparse Sensing

abstract: With a careful design of sample spacings either in temporal and spatial domain, co-prime sensing can reconstruct the autocorrelation at a significantly denser set of points based on Bazout theorem. However, still restricted from Bazout theorem, it is required O(M1 + M2) samples to estimate frequencies in the case of co-prime sampling, where M1 and M2 are co-prime down-sampling rates. Besides, for Direction-of-arrival (DOA) estimation, the sensors can not be arbitrarily sparse in co-prime arrays. In this letter, we restrain our focus on complex waveforms and present a framework under multiple samplers/sensors for both frequency and DOA estimation based on Diophantine equation, which is essentially to estimate the autocorrelation with higher order statistics instead of the second order one. We prove that, given arbitrarily high down-sampling rates, there exist sampling schemes with samples to estimate autocorrelation only proportional to the sum of degrees of freedom (DOF) and the number of snapshots required. In the scenario of DOA estimation, we show there exist arrays of N sensors with O(N^3) DOF and O(N) minimal distance between sensors.


title: Strongly symmetric spectral convex bodies are Jordan algebra state spaces

abstract: We show that the strongly symmetric spectral convex compact sets are precisely the normalized state spaces of finite-dimensional simple Euclidean Jordan algebras and the simplices. Spectrality is the property that every state has a convex decomposition into perfectly distinguishable pure states; strong symmetry is transitivity, for each integer N, of the affine automorphism group of the state space on lists of N perfectly distinguishable pure states. Additional assumptions combine with this theorem to give simple characterizations of finite-dimensional complex quantum state space. Important aspects of quantum and classical thermodynamics and of query complexity have been generalized to classes of general probabilistic theories (GPTs) satisfying natural postulates including or implying spectrality and strong symmetry; our result shows that these apply to a narrower class of theories than might have been hoped. Sorkin's notion of irreducibly k-th order interference has been studied in the GPT framework and looked for in experiments. Our result shows that the assumption of no higher-order (k > 2) interference, used along with spectrality and strong symmetry to characterize the same class of Jordan-algebraic convex sets by Barnum, Mueller, and Ududec in arXiv:1403.4147, was superfluous. It also implies that Lee and Selby's extension, on the assumption that interference has fixed maximal degree k, of the important order square root of N lower bound on the quantum black-box query complexity of searching N possibilities for one having a desired property (which is achieved by Grover's quantum algorithm), to a class of theories satisfying certain postulates allowing the formulation of a generalized notion of query algorithm, actually applies in the Jordan-algebraic setting where higher-order interference is not possible.


title: ContactGrasp: Functional Multi-finger Grasp Synthesis from Contact

abstract: Grasping and manipulating objects is an important human skill. Since most objects are designed to be manipulated by human hands, anthropomorphic hands can enable richer human-robot interaction. Desirable grasps are not only stable, but also functional: they enable post-grasp actions with the object. However, functional grasp synthesis for high degree-of-freedom anthropomorphic hands from object shape alone is challenging because of the large optimization space. We present ContactGrasp, a framework for functional grasp synthesis from object shape and contact on the object surface. Contact can be manually specified or obtained through demonstrations. Our contact representation is object-centric and allows functional grasp synthesis even for hand models different than the one used for demonstration. Using a dataset of contact demonstrations from humans grasping diverse household objects, we synthesize functional grasps for three hand models and two functional intents. The project webpage is https://contactdb.cc.gatech.edu/contactgrasp.html.


title: Load Balancing in Mobility-on-Demand Systems: Reallocation Via Parametric Control Using Concurrent Estimation

abstract: Mobility-on-Demand (MoD) systems require load balancing to maintain consistent service across regions with uneven demand subject to time-varying traffic conditions. The load-balancing objective is to jointly minimize the fraction of lost customer requests due to vehicle unavailability and the fraction of time when vehicles drive empty during load balancing operations. In order to bypass the intractability of a globally optimal solution to this stochastic dynamic optimization problem, we propose a parametric threshold-based control driven by the known relative abundance of vehicles available in and en route to each region. This is still a difficult parametric optimization problem for which one often resorts to trial-and-error methods where multiple sample paths are generated through simulation or from actual data under different parameter settings. In contrast, this paper utilizes concurrent estimation methods to simultaneously construct many sample paths from a single nominal sample path. The performance of the parametric controller for intermediate size systems is compared to that of a simpler single-parameter controller, a state-blind static controller, a policy of no control, and a theoretically-derived lower bound. Simulation results show the value of state information in improving performance.


title: Higher-Level Hardware Synthesis of The KASUMI Algorithm

abstract: Programmable Logic Devices (PLDs) continue to grow in size and currently contain several millions of gates. At the same time, research effort is going into higher-level hardware synthesis methodologies for reconfigurable computing that can exploit PLD technology. In this paper, we explore the effectiveness and extend one such formal methodology in the design of massively parallel algorithms. We take a step-wise refinement approach to the development of correct reconfigurable hardware circuits from formal specifications. A functional programming notation is used for specifying algorithms and for reasoning about them. The specifications are realised through the use of a combination of function decomposition strategies, data refinement techniques, and off-the-shelf refinements based upon higher-order functions. The off-the-shelf refinements are inspired by the operators of Communicating Sequential Processes (CSP) and map easily to programs in Handel-C (a hardware description language). The Handel-C descriptions are directly compiled into reconfigurable hardware. The practical realisation of this methodology is evidenced by a case studying the third generation mobile communication security algorithms. The investigated algorithm is the KASUM} block cipher. In this paper, we obtain several hardware implementations with different performance characteristics by applying different refinements to the algorithm. The developed designs are compiled and tested under Celoxica's RC-1000 reconfigurable computer with its 2 million gates Virtex-E FPGA. Performance analysis and evaluation of these implementations are included.


title: Conley index approach to sampled dynamics

abstract: The topological method for the reconstruction of dynamics from time series [K. Mischaikow, M. Mrozek, J. Reiss, A. Szymczak. Construction of Symbolic Dynamics from Experimental Time Series, Physical Review Letters, 82 (1999), 1144-1147] is reshaped to improve its range of applicability, particularly in the presence of sparse data and strong expansion. The improvement is based on a multivalued map representation of the data. However, unlike the previous approach, it is not required that the representation has a continuous selector. Instead of a selector, a recently developed new version of Conley index theory for multivalued maps [B. Batko and M. Mrozek. Weak index pairs and the Conley index for discrete multivalued dynamical systems, SIAM J. Applied Dynamical Systems 15 (2016), 1143-1162], [B.Batko. Weak index pairs and the Conley index for discrete multivalued dynamical systems. Part II: properties of the Index, SIAM J. Applied Dynamical Systems 16 (2017), 1587-1617] is used in computations. The existence of a continuous, single-valued generator of the relevant dynamics is guaranteed in the vicinity of the graph of the multivalued map constructed from data. Some numerical examples based on time series derived from the iteration of H\'enon type maps are presented.


title: Meta-Learning with Differentiable Convex Optimization

abstract: Many meta-learning approaches for few-shot learning rely on simple base learners such as nearest-neighbor classifiers. However, even in the few-shot regime, discriminatively trained linear predictors can offer better generalization. We propose to use these predictors as base learners to learn representations for few-shot learning and show they offer better tradeoffs between feature size and performance across a range of few-shot recognition benchmarks. Our objective is to learn feature embeddings that generalize well under a linear classification rule for novel categories. To efficiently solve the objective, we exploit two properties of linear classifiers: implicit differentiation of the optimality conditions of the convex problem and the dual formulation of the optimization problem. This allows us to use high-dimensional embeddings with improved generalization at a modest increase in computational overhead. Our approach, named MetaOptNet, achieves state-of-the-art performance on miniImageNet, tieredImageNet, CIFAR-FS, and FC100 few-shot learning benchmarks. Our code is available at https://github.com/kjunelee/MetaOptNet.


title: Maximum Mass Of Differentially Rotating Strange Quark Stars

abstract: We present the first fully relativistic numerical calculations of differentially rotating Strange Quark Stars models for broad ranges of the maximum density and of the degree of differential rotation. Our simulations are performed with the very accurate and stable multi-domain spectral code FlatStar and use the MIT Bag model for describing strange quark matter. Our calculations based on a thorough exploration of the solution space show that the maximum mass of strange stars depends on both the degree of differential rotation and a type of solution, similarly to neutron stars described by a polytropic equations of state. The highest increase of the maximum mass (compared to the value for a non-rotating star) is obtained for models with a low degree of differential rotation. This highest mass is over four times larger than that of the equivalent non rotating configuration. Comparing our results with calculations done for realistic models of neutron stars, we conclude that with the help of differential rotation, strange stars can sustain masses much larger than stars made from nuclear matter for low degree of differential rotation which reinforces the hope of demonstrating, or of ruling out, the existence of strange matter through the observation by gravitational waves, by gamma rays or by neutrinos of the massive material object born from the merger of a compact binary system or during some supernova events.


title: Time Domain Audio Visual Speech Separation

abstract: Audio-visual multi-modal modeling has been demonstrated to be effective in many speech related tasks, such as speech recognition and speech enhancement. This paper introduces a new time-domain audio-visual architecture for target speaker extraction from monaural mixtures. The architecture generalizes the previous TasNet (time-domain speech separation network) to enable multi-modal learning and at meanwhile it extends the classical audio-visual speech separation from frequency-domain to time-domain. The main components of proposed architecture include an audio encoder, a video encoder that extracts lip embedding from video streams, a multi-modal separation network and an audio decoder. Experiments on simulated mixtures based on recently released LRS2 dataset show that our method can bring 3dB+ and 4dB+ Si-SNR improvements on two- and three-speaker cases respectively, compared to audio-only TasNet and frequency-domain audio-visual networks


title: Theory of Epitaxial Growth of Borophene on Layered Electride: Thermodynamic Stability and Kinetic Pathway

abstract: Based on first-principles calculations, we propose that a layered electride Mg2O can serve as an effective substrate, in place of metal substrate, to grow honeycomb borophene (h-borophene). We first confirm the thermodynamic stability of h-B@Mg2O heterostructure by energetics analysis and dynamic stability by absence of imaginary frequency in phonon spectra. Then, kinetically, we identify the atomistic pathways for a preferred 2D growth mode over 3D growth, and reveal a growth transition from 2D compact islands to h-borophene at ~13-atom cluster size, indicating the feasibility of epitaxial growth of h-borophene on Mg2O. The h-borophene is found to be stabilized by nearly one electron transfer from Mg2O to h-borophene based on the Bader charge analysis. Moreover, the intrinsic band structure of the free-standing h-borophene is only weakly perturbed by the Mg2O substrate, a significant advantage over metal substrate. We envision that layered electrides provide an attractive family of substrates for epitaxial growth of a range of 2D materials that can otherwise only be grown on undesirable metal substrates.


title: Numerical solution of scattering problems using a Riemann--Hilbert formulation

abstract: A fast and accurate numerical method for the solution of scalar and matrix Wiener--Hopf problems is presented. The Wiener--Hopf problems are formulated as Riemann--Hilbert problems on the real line, and a numerical approach developed for these problems is used. It is shown that the known far-field behaviour of the solutions can be exploited to construct numerical schemes providing spectrally accurate results. A number of scalar and matrix Wiener--Hopf problems that generalize the classical Sommerfeld problem of diffraction of plane waves by a semi-infinite plane are solved using the approach.


title: Moduli of certain wild covers of curves

abstract: A fine moduli space is constructed, for cyclic-by-$\mathsf{p}$ covers of an affine curve over an algebraically closed field $k$ of characteristic $\mathsf{p}>0$. An intersection of finitely many fine moduli spaces for cyclic-by-$\mathsf{p}$ covers of affine curves gives a moduli space for $\mathsf{p}'$-by-$\mathsf{p}$ covers of an affine curve. A local moduli space is also constructed, for cyclic-by-$\mathsf{p}$ covers of $Spec(k((x)))$, which is the same as the global moduli space for cyclic-by-$\mathsf{p}$ covers of $\mathbb{P}^1-\{0\}$ tamely ramified over $\infty$ with the same Galois group. Then it is shown that a restriction morphism is finite with degrees on connected components $\mathsf{p}$ powers: There are finitely many deleted points of an affine curve from its smooth completion. A cyclic-by-$\mathsf{p}$ cover of an affine curve gives a product of local covers with the same Galois group of the punctured infinitesimal neighbourhoods of the deleted points. So there is a restriction morphism from the global moduli space to a product of local moduli spaces.


title: Implicit Manifold Reconstruction

abstract: Let ${\cal M} \subset \mathbb{R}^d$ be a compact, smooth and boundaryless manifold with dimension $m$ and unit reach. We show how to construct a function $\varphi: \mathbb{R}^d \rightarrow \mathbb{R}^{d-m}$ from a uniform $(\varepsilon,\kappa)$-sample $P$ of $\cal M$ that offers several guarantees. Let $Z_\varphi$ denote the zero set of $\varphi$. Let $\widehat{{\cal M}}$ denote the set of points at distance $\varepsilon$ or less from $\cal M$. There exists $\varepsilon_0 \in (0,1)$ that decreases as $d$ increases such that if $\varepsilon \leq \varepsilon_0$, the following guarantees hold. First, $Z_\varphi \cap \widehat{\cal M}$ is a faithful approximation of $\cal M$ in the sense that $Z_\varphi \cap \widehat{\cal M}$ is homeomorphic to $\cal M$, the Hausdorff distance between $Z_\varphi \cap \widehat{\cal M}$ and $\cal M$ is $O(m^{5/2}\varepsilon^{2})$, and the normal spaces at nearby points in $Z_\varphi \cap \widehat{\cal M}$ and $\cal M$ make an angle $O(m^2\sqrt{\kappa\varepsilon})$. Second, $\varphi$ has local support; in particular, the value of $\varphi$ at a point is affected only by sample points in $P$ that lie within a distance of $O(m\varepsilon)$. Third, we give a projection operator that only uses sample points in $P$ at distance $O(m\varepsilon)$ from the initial point. The projection operator maps any initial point near $P$ onto $Z_\varphi \cap \widehat{\cal M}$ in the limit by repeated applications.


title: Optimizing FIR Filter Mapping on the Morphosys Reconfigurable System

abstract: This paper proposes an optimized mapping of the FIR filter algorithm that enhances the rate of a reconfigurable computer over a basic mapping previously proposed [1]. It also presents a new interconnection scheme in the reconfigurable part of MorphoSys, a reconfigurable computing system [2]. Reconfigurable computing (RC) is introduced, followed by the MorphoSys RC system. Two optimized FIR mappings are then presented which deliver enhanced speed. A spreadsheet model will detail the modification and the improvement. The speedup achieved is also explained as well as the advantages in the mapping of the application.


title: Generalized Persistence Algorithm for Decomposing Multi-parameter Persistence Modules

abstract: The classical persistence algorithm computes the unique decomposition of a persistence module implicitly given by an input simplicial filtration. Based on matrix reduction, this algorithm is a cornerstone of the emergent area of topological data analysis. Its input is a simplicial filtration defined over the integers $\mathbb{Z}$ giving rise to a $1$-parameter persistence module. It has been recognized that multiparameter version of persistence modules given by simplicial filtrations over $d$-dimensional integer grids $\mathbb{Z}^d$ is equally or perhaps more important in data science applications. However, in the multiparameter setting, one of the main challenges is that topological summaries based on algebraic structure such as decompositions and bottleneck distances cannot be as efficiently computed as in the $1$-parameter case because there is no known extension of the persistence algorithm to multiparameter persistence modules. We present an efficient algorithm to compute the unique decomposition of a finitely presented persistence module $M$ defined over the multiparameter $\mathbb{Z}^d$. The algorithm first assumes that the module is presented with a set of $N$ generators and relations that are \emph{distinctly graded}. Based on a generalized matrix reduction technique it runs in $O(N^{2\omega+1})$ time where $\omega<2.373$ is the exponent for matrix multiplication. This is much better than the well known algorithm called Meataxe which runs in $\tilde{O}(N^{6(d+1)})$ time on such an input. In practice, persistence modules are usually induced by simplicial filtrations. With such an input consisting of $n$ simplices, our algorithm runs in $O(n^{(d-1)(2\omega + 1)})$ time for $d\geq 2$. For the special case of zero dimensional homology, it runs in time $O(n^{2\omega +1})$.


title: An IRT-based Model for Omitted and Not-reached Items

abstract: Missingness is a common occurrence in educational assessment and psychological measurement. It could not be casually ignored as it may threaten the validity of the test if not handled properly. Considering the difference between omitted and not-reached items, we developed an IRT-based model to handle these missingness. In the proposed method, not-reached responses are captured by the cumulative missingness. Moreover, the nonignorability is attributed to the correlation between ability and person missing trait. We proved that its item parameters estimate under maximum marginal likelihood (MML) estimation is consistent. We further proposed a Bayesian estimation procedure using MCMC methods to estimate all the parameters. The simulation results indicate that the model parameters under the proposed method are better recovered than that under listwise deletion, and the nonignorable model fits the simulated nonignorable nonresponses better than ignorable model in terms of Bayesian model selection. Furthermore, the Program for International Student Assessment (PISA) data set was analyzed to further illustrate the usage of the proposed method.


title: The Penalty in Scaling Exponent for Polar Codes is Analytically Approximated by the Golden Ratio

abstract: The polarization process of conventional polar codes in binary erasure channel (BEC) is recast to the Domany-Kinzel cellular automaton model of directed percolation in a tilted square lattice. Consequently, the former's scaling exponent, $\mu$, can be analogously expressed as the inverse of the percolation critical exponent, $\beta$. Relying on the vast percolation theory literature and the best known numerical estimate for $\beta$, the scaling exponent can be easily estimated as $\mu_{\text{num}}^{\text{perc}}\simeq1/0.276486(8)\simeq3.617$, which is only about $0.25\%$ away from the known exponent computation from coding theory literature based on numerical approximation, $\mu_{\text{num}}\simeq3.627$. Remarkably, this numerical result for the critical exponent, $\beta$, can be analytically approximated (within only $0.028\%$) leading to the closed-form expression for the scaling exponent $\mu\simeq2+\varphi=2+1.618\ldots\simeq3.618$, where $\varphi\triangleq(1+\sqrt{5})/2$ is the ubiquitous golden ratio. As the ultimate achievable scaling exponent is quadratic, this implies that the penalty for polar codes in BEC, in terms of the scaling exponent, can be very well estimated by the golden ratio, $\varphi$, itself.


title: Wall-crossings and a categorification of $K$-theory stable bases of the Springer resolution

abstract: We compare the $K$-theory stable bases of the Springer resolution associated to different affine Weyl alcoves. We prove that (up to relabelling) the change of alcoves operators are given by the Demazure-Lusztig operators in the affine Hecke algebra. We then show that these bases are categorified by the Verma modules of the Lie algebra, under the localization of Lie algebras in positive characteristic of Bezrukavnikov, Mirkovi\'c, and Rumynin. As an application, we prove that the wall-crossing matrices of the $K$-theory stable bases coincide with the monodromy matrices of the quantum cohomology of the Springer resolution.


title: Rationally weighted Hurwitz numbers, Meijer $G$-functions and matrix integrals

abstract: The quantum spectral curve equation associated to KP $\tau$-functions of hypergeometric type serving as generating functions for rationally weighted Hurwitz numbers is solved by generalized hypergeometric series. The basis elements spanning the corresponding Sato Grassmannian element are shown to be Meijer $G$-functions, or their asymptotic series. Using their Mellin integral representation the $\tau$-function, evaluated at the trace invariants of an externally coupled matrix, is expressed as a matrix integral.

categories: math-ph hep-th math.CO math.MP math.PR nlin.SI


title: $h$-adic quantum vertex algebras associated with rational $R$-matrix in types $B$, $C$ and $D$

abstract: We introduce the $h$-adic quantum vertex algebras associated with the rational $R$-matrix in types $B$, $C$ and $D$, thus generalizing the Etingof--Kazhdan's construction in type $A$. Next, we construct the algebraically independent generators of the center of the $h$-adic quantum vertex algebra in type $B$ at the critical level, as well as the families of central elements in types $C$ and $D$. Finally, as an application, we obtain commutative subalgebras of the dual Yangian and the families of central elements of the appropriately completed double Yangian at the critical level, in types $B$, $C$ and $D$.


title: Power law pseudo phase-space density profiles of dark matter halos: fluke of physics?

abstract: It has been known for nearly 20 years that the pseudo phase-space density profile of equilibrium simulated dark matter halos, $\rho(r)/\sigma^3(r)$, is well described by a power law over 3 decades in radius, even though both the density $\rho(r)$, and the velocity dispersion $\sigma(r)$ deviate significantly from power laws. The origin of this scale-free behavior is not understood. It could be an inherent property of self-gravitating collisionless systems, or it could be a mere coincidence. To address the question we work with equilibrium halos, and more specifically, the second derivative of the Jeans equation, which, under the assumptions of (i) Einasto density profile, (ii) linear velocity anisotropy - density slope relation, and (iii) $\rho/\sigma^3\propto r^{-\alpha}$, can be transformed from a differential equation to a cubic algebraic equation. Relations (i)-(iii) are all observed in numerical simulations, and are well parametrized by a total of 4 or 6 model parameters. We do not consider dynamical evolution of halos; instead, taking advantage of the fact that the algebraic Jeans equation for equilibrium halos puts relations (i)-(iii) on the same footing, we study the (approximate) solutions of this equation in the 4 and 6 dimensional spaces. We argue that the distribution of best solutions in these parameter spaces is inconsistent with $\rho/\sigma^3\propto r^{-\alpha}$ being an fundamental property of gravitational evolution, and conclude that the scale-free nature of this quantity is likely to be a fluke.


title: Frictional Stabilities on Induced Earthquake Fault Planes at Fox Creek, Alberta: A Pore Fluid Pressure Dilemma

abstract: Earthquakes induced during hydraulic fracturing operations have occurred in a number of locales. However, in-situ studies aimed to discern the triggering mechanism remains exclusively statistical in their nature. Here, we calculate the fault slip-tendencies of eleven hydraulic fracturing induced earthquakes in a historically aseismic area using a recently constructed quantitative model for in-situ stresses. It is shown that the ambient pore pressures of the nearby Duvernay unconventional reservoirs can provide enough Pf triggering fault movement. The local fluid pressures acting on the fault could readily be increased above the critical value if a hydraulic connection exists between the fault and a propagating hydraulic fracture. The critical pressures necessary to induce slip, is estimated using a probabilistic model that incorporates uncertainties of stress and fault mechanical properties. These critical pressures are greater than expected hydrostatic pressure but less the pore pressures of nearby unconventional reservoirs.


title: Spatial Beam Tracking and Data Detection for an FSO Link to a UAV in the Presence of Hovering Fluctuations

abstract: Recent advances in small-scale unmanned aerial vehicles (UAVs) have opened up new horizons for establishing UAV-based free-space optical (FSO) links. However, FSO technology requires precise beam alignment while random fluctuations of hovering UAVs can induce beam misalignment and angle-of-arrival (AoA) fluctuations. For an FSO link to a UAV, we consider a quadrant detector array for optical beam tracking and study the effect of random hovering fluctuations of the UAV on the performance of the tracking method, and based on the degree of instabilities for the UAV, the optimum size of the detectors for minimizing the tracking error is found. Furthermore, for optimal detection of On - Off keying symbols, the receiver requires instantaneous channel fading coefficients. We propose a blind method to estimate the channel coefficients, i.e., without using any pilot symbols, to increase link bandwidth efficiency. To evaluate the performance of the considered system, closed-form expressions of tracking error and bit-error rate are derived. Moreover, Monte-Carlo simulation is carried out to corroborate the accuracy of the derived analytical expressions.


title: ANTNets: Mobile Convolutional Neural Networks for Resource Efficient Image Classification

abstract: Deep convolutional neural networks have achieved remarkable success in computer vision. However, deep neural networks require large computing resources to achieve high performance. Although depthwise separable convolution can be an efficient module to approximate a standard convolution, it often leads to reduced representational power of networks. In this paper, under budget constraints such as computational cost (MAdds) and the parameter count, we propose a novel basic architectural block, ANTBlock. It boosts the representational power by modeling, in a high dimensional space, interdependency of channels between a depthwise convolution layer and a projection layer in the ANTBlocks. Our experiments show that ANTNet built by a sequence of ANTBlocks, consistently outperforms state-of-the-art low-cost mobile convolutional neural networks across multiple datasets. On CIFAR100, our model achieves 75.7% top-1 accuracy, which is 1.5% higher than MobileNetV2 with 8.3% fewer parameters and 19.6% less computational cost. On ImageNet, our model achieves 72.8% top-1 accuracy, which is 0.8% improvement, with 157.7ms (20% faster) on iPhone 5s over MobileNetV2.