title: Modeling the Thermal Stability of the $\alpha/\omega$ Microstructure in Shocked Zr: Coupling between defect state and phase transformation

abstract: Under high pressure, Zr undergoes a transformation from its ambient equilibrium hexagonal close packed $\alpha$ phase to a simple hexagonal $\omega$ phase. Subsequent unloading to ambient conditions does not see a full reversal to the $\alpha$ phase, but rather a retainment of significant $\omega$. Previously, the thermal stability of the $\omega$ phase was investigated via in-situ synchrotron X-ray diffraction analysis of the isothermal annealing of Zr samples shocked to 8 and 10.5 GPa at temperatures 443, 463, 483, and 503 K. The phase volume fractions were tracked quantitatively and the dislocation densities were tracked semi-quantitatively. Trends included a rapid initial (transient) transformation rate from $\omega\to\alpha$ followed by a plateau to a new metastable state with lesser retained $\omega$ (asymptotic). A significant reduction in dislocation densities in the $\omega$ phase was observed prior to initiation of an earnest reverse transformation, leading to the hypothesis that the $\omega\to\alpha$ transformation from is being hindered by defects in the $\omega$ phase. As a continuation of this work, we present a temperature dependent model that couples the removal of dislocations in the $\omega$ phase and the reverse transformation via a barrier energy that is associated with the free energy of remaining dislocations. The reduction of dislocations in the $\omega$ phase occur as a sum of glide and climb controlled processes, both of which dictate the transient and asymptotic behavior of the annealing process respectively.


title: Quantum Machine Learning for Electronic Structure Calculations

abstract: Considering recent advancements and successes in the development of efficient quantum algorithms for electronic structure calculations --- alongside impressive results using machine learning techniques for computation --- hybridizing quantum computing with machine learning for the intent of performing electronic structure calculations is a natural progression. Here we report a hybrid quantum algorithm employing a restricted Boltzmann machine to obtain accurate molecular potential energy surfaces. By exploiting a quantum algorithm to help optimize the underlying objective function, we obtained an efficient procedure for the calculation of the electronic ground state energy for a small molecule system. Our approach achieves high accuracy for the ground state energy for H$_2$, LiH, H$_2$O at a specific location on its potential energy surface with a finite basis set. With the future availability of larger-scale quantum computers, quantum machine learning techniques are set to become powerful tools to obtain accurate values for electronic structures.


title: Generalized Eulerian Triangles and Some Special Production Matrices

abstract: We show how some special production matrices may be used to define families of generalized Eulerian triangles. We furthermore show that these generalized Eulerian triangles are the coefficient arrays of polynomials which are the moments of families of orthogonal polynomials. Using the previously defined $\mathcal{T}$ transform, we associate these generalized Eulerian triangles to triangles defined by Catalan generating functions. Again, these new triangles are the coefficient arrays of polynomial moment sequences. The main tools used are the Sumudu transform, Jacobi continued fractions and Riordan arrays.


title: Controllable single-photon nonreciprocal transmission in a cavity optomechanical system with a weak coherent driving

abstract: We study the nonreciprocal transmission of a single-photon in a cavity optomechanical system, in which the cavity supports a clockwise and a counter-clockwise circulating optical modes, the mechanical resonator (MR) is excited by a weak coherent driving, and the signal photon is made up of a sequence of pulses with exactly one photon per pulse. We find that, if the input state is a single-photon state, it is insufficient to study the nonreciprocity only from the perspective of the transmission spectrums, since the frequencies where the nonreciprocity happens are far away from the peak frequency of the single-photon. So we show the nonreciprocal transmission behavior by comparing the spectrums of the input and output fields. In our system, we can achieve a transformation of the signal transmission from unidirectional isolation to unidirectional amplification in the single-photon level by changing the amplitude of the weak coherent driving. The effects of the mechanical thermal noise on the single-photon nonreciprocal transmission are also discussed.


title: Multi-Modal Data Augmentation for End-to-End ASR

abstract: We present a new end-to-end architecture for automatic speech recognition (ASR) that can be trained using \emph{symbolic} input in addition to the traditional acoustic input. This architecture utilizes two separate encoders: one for acoustic input and another for symbolic input, both sharing the attention and decoder parameters. We call this architecture a multi-modal data augmentation network (MMDA), as it can support multi-modal (acoustic and symbolic) input and enables seamless mixing of large text datasets with significantly smaller transcribed speech corpora during training. We study different ways of transforming large text corpora into a symbolic form suitable for training our MMDA network. Our best MMDA setup obtains small improvements on character error rate (CER), and as much as 7-10\% relative word error rate (WER) improvement over a baseline both with and without an external language model.


title: Feynman-Vernon model of a moving thermal environment

abstract: This paper reviews the formulation of the Feynman-Vernon model of linear dissipative systems for a standard Brownian particle moving in an external potential $V(x,t)$ and introduces the formulation of a generalized oscillator model of a Brownian particle coupled to a thermal environment moving with a given velocity $v_{env}$. Diffusion processes in a moving environment are of interest e.g. in the study of the motion of vortices in superfluids. The starting point of the paper is the formulation of the oscillator model that takes into account space and time invariance of a thermal environment [M. Patriarca, Statistical correlations in the oscillator model of quantum Brownian motion, Il Nuovo Cimento B, 111(1), 61-72 (1996), doi: 10.1007/BF02726201, arXiv:1801.02429], which has the property of being finite and consistent with the classical limit. The Langevin equation and the influence functional for a Brownian particle in a moving environment are derived.


title: Correlation Functions as Nests of Self-Avoiding Paths

abstract: We discuss connection between the XXZ Heisenberg spin chain in the limiting case of zero anisotropy and some aspects of enumerative combinatorics. The representation of the Bethe wave functions via the Schur functions allows to apply the theory of symmetric functions to calculation of the correlation functions. We provide a combinatorial derivation of the dynamical correlation functions of the projection operator in terms of nests of self-avoiding lattice paths.

categories: math-ph cond-mat.stat-mech math.CO math.MP nlin.SI


title: Remark on atomic decompositions for Hardy space $H^1$ in the rational Dunkl setting

abstract: Let $\Delta$ be the Dunkl Laplacian on $\mathbb R^N$ associated with a normalized root system $R$ and a multiplicity function $k(\alpha)\geq 0$. We say that a function $f$ belongs to the Hardy space $H^1_{\Delta}$ if the nontangential maximal function $\mathcal M_H f(\mathbf x)=\sup_{\| \mathbf x-\mathbf y\|<t} |\exp(t^2\Delta )f(\mathbf x)|$ belongs to $L^1(w(\mathbf x)\, d\mathbf x)$, where $w(\mathbf x)=\prod_{\alpha\in R} |\langle \alpha,\mathbf x\rangle|^{k(\alpha)}$. We prove that $H^1_\Delta$ coincides with the space $H^1_{\rm atom}(\mathbb R^N, \| \mathbf x-\mathbf y\|, w(\mathbf x)d\mathbf x)$ understood as the atomic Hardy space on the space of homogeneous type in the sense of Coifman--Weiss. To this end we improve estimates for the heat kernel of $e^{t\Delta}$.


title: Observation of $\Upsilon(4S)\to \eta' \Upsilon(1S)$

abstract: We report the first observation of the hadronic transition $\Upsilon(4S)\to\eta'\Upsilon(1S)$, using 496 fb$^{-1}$ data collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^{+}e^{-}$ collider. We reconstruct the $\eta'$ meson through its decays to $\rho^0\gamma$ and to $\pi^+\pi^-\eta$, with $\eta\to\gamma\gamma$. We measure: ${\cal B}(\Upsilon(4S)\to\eta'\Upsilon(1S))=(3.43\pm 0.88 {\rm(stat.)} \pm 0.21 {\rm(syst.)})\times10^{-5}$, with a significance of 5.7$\sigma$.


title: Boundary regularity for Monge-Amp\`ere equations with unbounded right hand side

abstract: We consider Monge-Amp\`ere equations with right hand side $f$ that degenerate to $\infty$ near the boundary of a convex domain $\Omega$, which are of the type $$\mathrm{det}\;D^2 u=f\quad\mathrm{in}\;\Omega,\quad\quad f\sim d^{-\alpha}_{\partial\Omega}\quad\mathrm{near}\;\partial\Omega,$$ where $d_{\partial\Omega}$ represents the distance to $\partial \Omega$ and $-\alpha$ is a negative power with $\alpha\in(0,2)$. We study the boundary regularity of the solutions and establish a localization theorem for boundary sections.


title: Variable blurred reflection in the narrow-line Seyfert 1 galaxy Mrk 493

abstract: We examine a 200 ks XMM-Newton observation of the narrow-line Seyfert 1 galaxy Mrk 493. The active galaxy was half as bright as in a previous 2003 snapshot observation and the current lower flux enables a study of the putative reflection component in detail. We determine the characteristics of the 2015 X-ray continuum by first analyzing the short-term variability using model-independent techniques. We then continue with a time-resolve analysis including spectral fitting and modelling the fractional variability. We determine that the variability arises from changes in the amount of primary flux striking the accretion disk, which induces changes in the ionization parameter and flux of the blurred reflection component. The observations seem consistent with the picture that the primary source is of roughly constant brightness and that variations arise from changes in the degree of light bending happening in the vicinity of the supermassive black hole.


title: Travelling waves in the Fisher-KPP equation with nonlinear diffusion and a non-Lipschitzian reaction term

abstract: We consider a one-dimensional reaction-diffusion equation of Fisher-Kolmogoroff-Petrovsky-Piscounoff type. We investigate the effect of the interaction between the nonlinear diffusion coefficient and the reaction term on the existence and nonexistence of travelling waves. Our diffusion coefficient is allowed to be degenerate or singular at both equilibrium points, 0 and 1, while the reaction term need not be differentiable. These facts influence the existence and qualitative properties of travelling waves in a substantial way.


title: Extremal properties of product sets

abstract: We find nearly the optimal size of a set $A\subset [N] := \{1,...,N\}$ so that the product set $AA$ satisfies either (i) $|AA| \sim |A|^2/2$ or (ii) $|AA| \sim |[N][N]|$. This settles problems raised in a recent article of Cilleruelo, Ramana and Ramare.


title: The $1/k$-Eulerian Polynomials as Moments, via Exponential Riordan Arrays

abstract: Using the theory of exponential Riordan arrays, we show that the $1/k$-Eulerian polynomials are moments for a paramaterized family of orthogonal polynomials. In addition, we show that the related Savage-Viswanathan polynomials are also moments for appropriate families of orthogonal polynomials. We provide continued fraction ordinary generating functions and Hankel transforms for these moments, as well as the three-term recurrences for the corresponding orthogonal polynomials. We provide formulas for the $1/k$-Eulerian polynomials and the Savage-Viswanathan polynomials involving the Stirling numbers of the first and the second kind. Finally we show that the once-shifted polynomials are again moment sequences.


title: Canonical Correlation Analysis of Datasets with a Common Source Graph

abstract: Canonical correlation analysis (CCA) is a powerful technique for discovering whether or not hidden sources are commonly present in two (or more) datasets. Its well-appreciated merits include dimensionality reduction, clustering, classification, feature selection, and data fusion. The standard CCA however, does not exploit the geometry of the common sources, which may be available from the given data or can be deduced from (cross-) correlations. In this paper, this extra information provided by the common sources generating the data is encoded in a graph, and is invoked as a graph regularizer. This leads to a novel graph-regularized CCA approach, that is termed graph (g) CCA. The novel gCCA accounts for the graph-induced knowledge of common sources, while minimizing the distance between the wanted canonical variables. Tailored for diverse practical settings where the number of data is smaller than the data vector dimensions, the dual formulation of gCCA is also developed. One such setting includes kernels that are incorporated to account for nonlinear data dependencies. The resultant graph-kernel (gk) CCA is also obtained in closed form. Finally, corroborating image classification tests over several real datasets are presented to showcase the merits of the novel linear, dual, and kernel approaches relative to competing alternatives.


title: Gerstenhaber structure on Hochschild cohomology of toupie algebras

abstract: We study homological properties of a family of algebras called toupie algebras. Our main objective is to obtain the Gerstenhaber structure of their Hochschild cohomology, with the purpose of describing the Lie algebra structure of the first Hochschild cohomology space, together with the Lie module structure of the whole Hochschild cohomology.


title: How Developers Iterate on Machine Learning Workflows -- A Survey of the Applied Machine Learning Literature

abstract: Machine learning workflow development is anecdotally regarded to be an iterative process of trial-and-error with humans-in-the-loop. However, we are not aware of quantitative evidence corroborating this popular belief. A quantitative characterization of iteration can serve as a benchmark for machine learning workflow development in practice, and can aid the development of human-in-the-loop machine learning systems. To this end, we conduct a small-scale survey of the applied machine learning literature from five distinct application domains. We collect and distill statistics on the role of iteration within machine learning workflow development, and report preliminary trends and insights from our investigation, as a starting point towards this benchmark. Based on our findings, we finally describe desiderata for effective and versatile human-in-the-loop machine learning systems that can cater to users in diverse domains.


title: Towards room-temperature superconductivity in low-dimensional C60 nanoarrays: An ab initio study

abstract: We propose to raise the critical temperature $T_c$ for superconductivity in doped C$_{60}$ molecular crystals by increasing the electronic density of states at the Fermi level $N(E_F)$ and thus the electron-phonon coupling constant in low-dimensional C$_{60}$ nanoarrays. We consider both electron and hole doping and present numerical results for $N(E_F)$, which increases with decreasing bandwidth of the partly filled $h_u$ and $t_{1u}$ derived frontier bands with decreasing coordination number of C$_{60}$. Whereas a significant increase of $N(E_F)$ occurs in 2D arrays of doped C$_{60}$ intercalated in-between graphene layers, we propose that the highest $T_c$ values approaching room temperature may occur in bundles of nanotubes filled by 1D arrays of externally doped C$_{60}$ or La@C$_{60}$, or in diluted 3D crystals, where quasi-1D arrangements of C$_{60}$ form percolation paths.


title: Three-photon exchange nuclear structure correction in hydrogenic systems

abstract: The complete relativistic $O(\alpha^2)$ nuclear structure correction to the energy levels of ordinary (electronic) and muonic hydrogen-like atoms is investigated. The elastic part of the nuclear structure correction is derived analytically. The resulting formula is valid for an arbitrary hydrogenic system and is much simpler than analogous expressions previously reported in the literature. The analytical result is verified by high-precision numerical calculations. The inelastic $O(\alpha^2)$ nuclear structure correction is derived for the electronic and muonic deuterium atoms. The correction comes from a three-photon exchange between the nucleus and the bound lepton and has not been considered in the literature so far. We demonstrate that in the case of deuterium, the inelastic three-photon exchange contribution is of a similar size and of the opposite sign to the corresponding elastic part and, moreover, cancels exactly the model dependence of the elastic part. The obtained results affect the determination of nuclear charge radii from the Lamb shift in ordinary and muonic atoms.


title: Co-evolving Real-Time Strategy Game Micro

abstract: We investigate competitive co-evolution of unit micromanagement in real-time strategy games. Although good long-term macro-strategy and good short-term unit micromanagement both impact real-time strategy games performance, this paper focuses on generating quality micro. Better micro, for example, can help players win skirmishes and battles even when outnumbered. Prior work has shown that we can evolve micro to beat a given opponent. We remove the need for a good opponent to evolve against by using competitive co-evolution to evolve high-quality micro for both sides from scratch. We first co-evolve micro to control a group of ranged units versus a group of melee units. We then move to co-evolve micro for a group of ranged and melee units versus a group of ranged and melee units. Results show that competitive co-evolution produces good quality micro and when combined with the well-known techniques of fitness sharing, shared sampling, and a hall of fame takes less time to produce better quality micro than simple co-evolution. We believe these results indicate the viability of co-evolutionary approaches for generating good unit micro-management.


title: Evidence of multiband superconductivity in the $\beta$-phase Mo$_{1-x}$Re$_x$ alloys

abstract: We present a detailed study of the superconducting properties in the beta-phase Mo$_{1-x}$Re$_x$ (x = 0.25 and 0.4) solid solution alloys pursued through magnetization and heat capacity measurements. The temperature dependence of the upper critical field H$_{C2}$(T) in these binary alloys shows a deviation from the prediction of the Werthamer-Helfand-Hohenberg (WHH) theory. The temperature dependence of superfluid density estimated from the variation of lower critical field H$_{C1}$ with temperature, cannot be explained within the framework of a single superconducting energy gap. The heat capacity also shows an anomalous feature in its temperature dependence. All these results can be reasonably explained by considering the existence of two superconducting energy gaps in these Mo$_{1-x}$Re$_x$ alloys. Initial results of electronic structure calculations and resonant photoelectron spectroscopy measurements support this possibility and suggest that the Re-5d like states at the Fermi level may not intermix with the Mo-5p and 5s like states in the beta-phase Mo$_{1-x}$Re$_x$ alloys and contribute quite distinctly to the superconductivity of these alloys.


title: Evolutionary Multi-objective Optimization of Real-Time Strategy Micro

abstract: We investigate an evolutionary multi-objective approach to good micro for real-time strategy games. Good micro helps a player win skirmishes and is one of the keys to developing better real-time strategy game play. In prior work, the same multi-objective approach of maximizing damage done while minimizing damage received was used to evolve micro for a group of ranged units versus a group of melee units. We extend this work to consider groups composed from two types of units. Specifically, this paper uses evolutionary multi-objective optimization to generate micro for one group composed from both ranged and melee units versus another group of ranged and melee units. Our micro behavior representation uses influence maps to represent enemy spatial information and potential fields generated from distance, health, and weapons cool down to guide unit movement. Experimental results indicate that our multi-objective approach leads to a Pareto front of diverse high-quality micro encapsulating multiple possible tactics. This range of micro provided by the Pareto front enables a human or AI player to trade-off among short term tactics that better suit the player's longer term strategy - for example, choosing to minimize friendly unit damage at the cost of only lightly damaging the enemy versus maximizing damage to the enemy units at the cost of increased damage to friendly units. We believe that our results indicate the usefulness of potential fields as a representation, and of evolutionary multi-objective optimization as an approach, for generating good micro.


title: Distributed Majorization-Minimization for Laplacian Regularized Problems

abstract: We consider the problem of minimizing a block separable convex function (possibly nondifferentiable, and including constraints) plus Laplacian regularization, a problem that arises in applications including model fitting, regularizing stratified models, and multi-period portfolio optimization. We develop a distributed majorization-minimization method for this general problem, and derive a complete, self-contained, general, and simple proof of convergence. Our method is able to scale to very large problems, and we illustrate our approach on two applications, demonstrating its scalability and accuracy.


title: Re-thinking EEG-based non-invasive brain interfaces: modeling and analysis

abstract: Brain interfaces are cyber-physical systems that aim to harvest information from the (physical) brain through sensing mechanisms, extract information about the underlying processes, and decide/actuate accordingly. Nonetheless, the brain interfaces are still in their infancy, but reaching to their maturity quickly as several initiatives are released to push forward their development (e.g., NeuraLink by Elon Musk and `typing-by-brain' by Facebook). This has motivated us to revisit the design of EEG-based non-invasive brain interfaces. Specifically, current methodologies entail a highly skilled neuro-functional approach and evidence-based \emph{a priori} knowledge about specific signal features and their interpretation from a neuro-physiological point of view. Hereafter, we propose to demystify such approaches, as we propose to leverage new time-varying complex network models that equip us with a fractal dynamical characterization of the underlying processes. Subsequently, the parameters of the proposed complex network models can be explained from a system's perspective, and, consecutively, used for classification using machine learning algorithms and/or actuation laws determined using control system's theory. Besides, the proposed system identification methods and techniques have computational complexities comparable with those currently used in EEG-based brain interfaces, which enable comparable online performances. Furthermore, we foresee that the proposed models and approaches are also valid using other invasive and non-invasive technologies. Finally, we illustrate and experimentally evaluate this approach on real EEG-datasets to assess and validate the proposed methodology. The classification accuracies are high even on having less number of training samples.


title: A Formal TLS Handshake Model in LNT

abstract: Testing of network services represents one of the biggest challenges in cyber security. Because new vulnerabilities are detected on a regular basis, more research is needed. These faults have their roots in the software development cycle or because of intrinsic leaks in the system specification. Conformance testing checks whether a system behaves according to its specification. Here model-based testing provides several methods for automated detection of shortcomings. The formal specification of a system behavior represents the starting point of the testing process. In this paper, a widely used cryptographic protocol is specified and tested for conformance with a test execution framework. The first empirical results are presented and discussed.


title: Theory of Hole-Spin Qubits in Strained Germanium Quantum Dots

abstract: We theoretically investigate the properties of holes in a Si$_{x}$Ge$_{1-x}$/Ge/ Si$_{x}$Ge$_{1-x}$ quantum well in a perpendicular magnetic field that make them advantageous as qubits, including a large ($>$100~meV) intrinsic splitting between the light and heavy hole bands, a very light ($\sim$0.05$\, m_0$) in-plane effective mass, consistent with higher mobilities and tunnel rates, and larger dot sizes that could ameliorate constraints on device fabrication. Compared to electrons in quantum dots, hole qubits do not suffer from the presence of nearby quantum levels (e.g., valley states) that can compete with spins as qubits. The strong spin-orbit coupling in Ge quantum wells may be harnessed to implement electric-dipole spin resonance, leading to gate times of several nanoseconds for single-qubit rotations. The microscopic mechanism of this spin-orbit coupling is discussed, along with its implications for quantum gates based on electric-dipole spin resonance, stressing the importance of coupling terms that arise from the underlying cubic crystal field. Our results provide a theoretical foundation for recent experimental advances in Ge hole-spin qubits.


title: Operator-valued local Hardy spaces

abstract: This paper gives a systematic study of operator-valued local Hardy spaces. These spaces are localizations of the Hardy spaces defined by Tao Mei, and share many properties with Mei's Hardy spaces. We prove the ${\rm h}_1$-$\rm bmo$ duality, as well as the ${\rm h}_p$-${\rm h}_q$ duality for any conjugate pair $(p,q)$ when $1<p< \infty$. We show that ${\rm h}_1(\mathbb{R}^d, \mathcal M)$ and ${\rm bmo}(\mathbb{R}^d, \mathcal M)$ are also good endpoints of $L_p(L_\infty(\mathbb{R}^d) \overline{\otimes} \mathcal M)$ for interpolation. We obtain the local version of Calder\'on-Zygmund theory, and then deduce that the Poisson kernel in our definition of the local Hardy norms can be replaced by any reasonable test function. Finally, we establish the atomic decomposition of the local Hardy space ${\rm h}_1^c(\mathbb{R}^d,\mathcal M)$.


title: Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm

abstract: The Message Authenticator Algorithm (MAA) is one of the first cryptographic functions for computing a Message Authentication Code. Between 1987 and 2001, the MAA was adopted in international standards (ISO 8730 and ISO 8731-2) to ensure the authenticity and integrity of banking transactions. In 1990 and 1991, three formal, yet non-executable, specifications of the MAA (in VDM, Z, and LOTOS) were developed at NPL. Since then, five formal executable specifications of the MAA (in LOTOS, LNT, and term rewrite systems) have been designed at INRIA Grenoble. This article provides an overview of the MAA and compares its formal specifications with respect to common-sense criteria, such as conciseness, readability, and efficiency of code generation.


title: Modeling a Cache Coherence Protocol with the Guarded Action Language

abstract: We present a formal model built for verification of the hardware Tera-Scale ARchitecture (TSAR), focusing on its Distributed Hybrid Cache Coherence Protocol (DHCCP). This protocol is by nature asynchronous, concurrent and distributed, which makes classical validation of the design (e.g. through testing) difficult. We therefore applied formal methods to prove essential properties of the protocol, such as absence of deadlocks, eventual consensus, and fairness.


title: Ten Diverse Formal Models for a CBTC Automatic Train Supervision System

abstract: Communications-based Train Control (CBTC) systems are metro signalling platforms, which coordinate and protect the movements of trains within the tracks of a station, and between different stations. In CBTC platforms, a prominent role is played by the Automatic Train Supervision (ATS) system, which automatically dispatches and routes trains within the metro network. Among the various functions, an ATS needs to avoid deadlock situations, i.e., cases in which a group of trains block each other. In the context of a technology transfer study, we designed an algorithm for deadlock avoidance in train scheduling. In this paper, we present a case study in which the algorithm has been applied. The case study has been encoded using ten different formal verification environments, namely UMC, SPIN, NuSMV/nuXmv, mCRL2, CPN Tools, FDR4, CADP, TLA+, UPPAAL and ProB. Based on our experience, we observe commonalities and differences among the modelling languages considered, and we highlight the impact of the specific characteristics of each language on the presented models.


title: Trilinear maps for cryptography

abstract: We construct cryptographic trilinear maps that involve simple, non-ordinary abelian varieties over finite fields. In addition to the discrete logarithm problems on the abelian varieties, the cryptographic strength of the trilinear maps is based on a discrete logarithm problem on the quotient of certain modules defined through the N\'{e}ron-Severi groups. The discrete logarithm problem is reducible to constructing an explicit description of the algebra generated by two non-commuting endomorphisms, where the explicit description consists of a linear basis with the two endomorphisms expressed in the basis, and the multiplication table on the basis. It is also reducible to constructing an effective $\mathbb{Z}$-basis for the endomorphism ring of a simple non-ordinary abelian variety. Both problems appear to be challenging in general and require further investigation.


title: High-brilliance, high-flux compact inverse Compton light source

abstract: A compact Inverse Compton Light Source (ICLS) design is presented, with flux and brilliance orders of magnitude beyond conventional laboratory-scale sources and other compact ICLS designs. This design utilizes the physics of inverse Compton scattering of an extremely low emittance electron beam by a laser pulse of rms length of approximately two-thirds of a picosecond (2/3 ps). The accelerator is composed of a superconducting radiofrequency (SRF) reentrant gun followed by four double-spoke SRF cavities. After the linac are three quadrupole magnets to focus the electron beam to the interaction point (IP). The distance from cathode surface to IP is less than 6 meters, with the cathode producing electron bunches with a bunch charge of 10 pC and a few picoseconds in length. The incident laser has 1 MW circulating power, a 1 micron wavelength, and a spot size of 3.2 microns at the IP. The repetition rate of this source is 100 MHz, in order to achieve a high flux despite the low bunch charge. The anticipated X-ray source parameters include an energy of 12 keV, with a total flux of $1.4\times10^{14}$ ph/s, the flux into a 0.1% bandwidth of $2.1\times10^{11}$ ph/(s-0.1%BW), and the average brilliance of $2.2\times10^{15}$ ph/(s-mm$^2$-mrad$^2$-0.1%BW).


title: An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata

abstract: An experiment is described that confirms the security of a well-studied class of cryptographic protocols (Dolev-Yao intruder model) can be verified by two-way nondeterministic pushdown automata (2NPDA). A nondeterministic pushdown program checks whether the intersection of a regular language (the protocol to verify) and a given Dyck language containing all canceling words is empty. If it is not, an intruder can reveal secret messages sent between trusted users. The verification is guaranteed to terminate in cubic time at most on a 2NPDA-simulator. The interpretive approach used in this experiment simplifies the verification, by separating the nondeterministic pushdown logic and program control, and makes it more predictable. We describe the interpretive approach and the known transformational solutions, and show they share interesting features. Also noteworthy is how abstract results from automata theory can solve practical problems by programming language means.


title: Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations

abstract: Distributed programs are often formulated in popular functional frameworks like MapReduce, Spark and Thrill, but writing efficient algorithms for such frameworks is usually a non-trivial task. As the costs of running faulty algorithms at scale can be severe, it is highly desirable to verify their correctness. We propose to employ existing imperative reference implementations as specifications for MapReduce implementations. To this end, we present a novel verification approach in which equivalence between an imperative and a MapReduce implementation is established by a series of program transformations. In this paper, we present how the equivalence framework can be used to prove equivalence between an imperative implementation of the PageRank algorithm and its MapReduce variant. The eight individual transformation steps are individually presented and explained.


title: Gender Bias in Sharenting: Both Men and Women Mention Sons More Often Than Daughters on Social Media

abstract: Gender inequality starts before birth. Parents tend to prefer boys over girls, which is manifested in reproductive behavior, marital life, and parents' pastimes and investments in their children. While social media and sharing information about children (so-called "sharenting") have become an integral part of parenthood, it is not well-known if and how gender preference shapes online behavior of users. In this paper, we investigate public mentions of daughters and sons on social media. We use data from a popular social networking site on public posts from 635,665 users. We find that both men and women mention sons more often than daughters in their posts. We also find that posts featuring sons get more "likes" on average. Our results indicate that girls are underrepresented in parents' digital narratives about their children. This gender imbalance may send a message that girls are less important than boys, or that they deserve less attention, thus reinforcing gender inequality.


title: Relaxation Behavior by Time-Salt and Time-Temperature Superpositions of Polyelectrolyte Complexes from Coacervate to Precipitate

abstract: Complexation between anionic and cationic polyelectrolytes results in solid-like precipitates or liquid-like coacervate depending on the added salt in the aqueous medium. However, the boundary between these polymer-rich phases is quite broad and the associated changes in the polymer relaxation in the complexes across the transition regime are poorly understood. In this work, the relaxation dynamics of complexes across this transition is probed over a wide timescale by measuring viscoelastic spectra and zero-shear viscosities at varying temperatures and salt concentrations for two different salt types. We find that the complexes exhibit time-temperature superposition (TTS) at all salt concentrations, while the range of overlapped-frequencies for time-temperature-salt superposition (TTSS) strongly depends on the salt concentration (Cs) and gradually shifts to higher frequencies as Cs is decreased. The sticky-Rouse model describes the relaxation behavior at all Cs. However, collective relaxation of polyelectrolyte complexes gradually approaches a rubbery regime and eventually exhibits a gel-like response as Cs is decreased and limits the validity of TTSS.


title: Onset of Floquet Thermalisation

abstract: In presence of interactions, a closed, homogeneous (disorder-free) many-body system is believed to generically heat up to an `infinite temperature' ensemble when subjected to a periodic drive: in the spirit of the ergodicity hypothesis underpinning statistical mechanics, this happens as no energy or other conservation law prevents this. Here we present an interacting Ising chain driven by a field of time-dependent strength, where such heating onsets only below a threshold value of the drive amplitude, above which the system exhibits non-ergodic behaviour. The onset appears at {\it strong, but not fast} driving. This in particular puts it beyond the scope of high-frequency expansions. The onset location shifts, but it is robustly present, across wide variations of the model Hamiltonian such as driving frequency and protocol, as well as the initial state. The portion of nonergodic states in the Floquet spectrum, while thermodynamically subdominant, has a finite entropy. We find that the magnetisation as an {\it emergent} conserved quantity underpinning the freezing; indeed the freezing effect is readily observed, as initially magnetised states remain partially frozen {\it up to infinite time}. This result, which bears a family resemblance to the Kolmogorov-Arnold-Moser theorem for classical dynamical systems, could be a valuable ingredient for extending Floquet engineering to the interacting realm.


title: The balanced 2-median and 2-maxian problems on a tree

abstract: This paper deals with the facility location problems with balancing on allocation clients to servers. Two bi-objective models are considered, in which one objective is the traditional p-median or p-maxian objective and the second is to minimize the maximum demand volume allocated to any facility. An edge deletion method with time complexity O(n^2) is presented for the balanced $2$-median problem on a tree. For the balanced 2-maxian problem, it is shown the optimal solution is two end vertices of the diameter of the tree, which can be obtained in a linear time.


title: On Matrix Factorizations, Residue Pairings and Homological Mirror Symmetry

abstract: We argue how boundary B-type Landau-Ginzburg models based on matrix factorizations can be used to compute exact superpotentials for intersecting D-brane configurations on compact Calabi-Yau spaces. In this paper, we consider the dependence of open-string, boundary changing correlators on bulk moduli. This determines, via mirror symmetry, non-trivial disk instanton corrections in the A-model. As crucial ingredient we propose a differential equation that involves matrix analogs of Saito's higher residue pairings. As example, we compute from this for the elliptic curve certain quantum products m_2 and m_3, which reproduce genuine boundary changing, open Gromov-Witten invariants.


title: Generation and annihilation time of magnetic droplet solitons

abstract: Magnetic droplet solitons were first predicted to occur in materials with uniaxial magnetic anisotropy due to a long-range attractive interaction between elementary magnetic excitations, magnons. A non-equilibrium magnon population provided by a spin-polarized current in nanocontacts enables their creation and there is now clear experimental evidence for their formation, including direct images obtained with scanning x-ray transmission microscopy. Interest in magnetic droplets is associated with their unique magnetic dynamics that can lead to new types of high frequency nanometer scale oscillators of interest for information processing, including in neuromorphic computing. However, there are no direct measurements of the time required to nucleate droplet solitons or their lifetime---experiments to date only probe their steady-state characteristics, their response to dc spin currents. Here we determine the timescales for droplet annihilation and generation using current pulses. Annihilation occurs in a few nanoseconds while generation can take several nanoseconds to a microsecond depending on the pulse amplitude. Micromagnetic simulations show that there is an incubation time for droplet generation that depends sensitively on the initial magnetic state of the nanocontact. An understanding of these processes is essential to utilizing the unique characteristics of magnetic droplet solitons oscillators, including their high frequency, tunable and hysteretic response.


title: Adaptive Affinity Fields for Semantic Segmentation

abstract: Semantic segmentation has made much progress with increasingly powerful pixel-wise classifiers and incorporating structural priors via Conditional Random Fields (CRF) or Generative Adversarial Networks (GAN). We propose a simpler alternative that learns to verify the spatial structure of segmentation during training only. Unlike existing approaches that enforce semantic labels on individual pixels and match labels between neighbouring pixels, we propose the concept of Adaptive Affinity Fields (AAF) to capture and match the semantic relations between neighbouring pixels in the label space. We use adversarial learning to select the optimal affinity field size for each semantic category. It is formulated as a minimax problem, optimizing our segmentation neural network in a best worst-case learning scenario. AAF is versatile for representing structures as a collection of pixel-centric relations, easier to train than GAN and more efficient than CRF without run-time inference. Our extensive evaluations on PASCAL VOC 2012, Cityscapes, and GTA5 datasets demonstrate its above-par segmentation performance and robust generalization across domains.


title: Graph Convolutions on Spectral Embeddings: Learning of Cortical Surface Data

abstract: Neuronal cell bodies mostly reside in the cerebral cortex. The study of this thin and highly convoluted surface is essential for understanding how the brain works. The analysis of surface data is, however, challenging due to the high variability of the cortical geometry. This paper presents a novel approach for learning and exploiting surface data directly across surface domains. Current approaches rely on geometrical simplifications, such as spherical inflations, a popular but costly process. For instance, the widely used FreeSurfer takes about 3 hours to parcellate brain surfaces on a standard machine. Direct learning of surface data via graph convolutions would provide a new family of fast algorithms for processing brain surfaces. However, the current limitation of existing state-of-the-art approaches is their inability to compare surface data across different surface domains. Surface bases are indeed incompatible between brain geometries. This paper leverages recent advances in spectral graph matching to transfer surface data across aligned spectral domains. This novel approach enables a direct learning of surface data across compatible surface bases. It exploits spectral filters over intrinsic representations of surface neighborhoods. We illustrate the benefits of this approach with an application to brain parcellation. We validate the algorithm over 101 manually labeled brain surfaces. The results show a significant improvement in labeling accuracy over recent Euclidean approaches, while gaining a drastic speed improvement over conventional methods.


title: On the Weak Lefschetz Property for Vector Bundles on $\mathbb P^2$

abstract: Let $R=\mathbb K[x,y,z]$ be a standard graded polynomial ring where $\mathbb K$ is an algebraically closed field of characteristic zero. Let $M = \oplus_j M_j$ be a finite length graded $R$-module. We say that $M$ has the Weak Lefschetz Property if there is a homogeneous element $L$ of degree one in $R$ such that the multiplication map $\times L : M_j \rightarrow M_{j+1}$ has maximal rank for every $j$. The main result of this paper is to show that if $\mathcal E$ is a locally free sheaf of rank 2 on $\mathbb P^2$ then the first cohomology module of $\mathcal E$, $H^1_*(\mathbb P^2, \mathcal E)$, has the Weak Lefschetz Property.


title: Seasonal stratospheric photochemistry on Uranus and Neptune

abstract: A time-variable 1D photochemical model is used to study the distribution of stratospheric hydrocarbons as a function of altitude, latitude, and season on Uranus and Neptune. The results for Neptune indicate that in the absence of stratospheric circulation or other meridional transport processes, the hydrocarbon abundances exhibit strong seasonal and meridional variations in the upper stratosphere, but that these variations become increasingly damped with depth due to increasing dynamical and chemical time scales. At high altitudes, hydrocarbon mixing ratios are typically largest where the solar insolation is the greatest, leading to strong hemispheric dichotomies between the summer-to-fall hemisphere and winter-to-spring hemisphere. At mbar pressures and deeper, slower chemistry and diffusion lead to latitude variations that become more symmetric about the equator. On Uranus, the stagnant, poorly mixed stratosphere confines methane and its photochemical products to higher pressures, where chemistry and diffusion time scales remain large. Seasonal variations in hydrocarbons are therefore predicted to be more muted on Uranus, despite the planet's very large obliquity. Radiative-transfer simulations demonstrate that latitude variations in hydrocarbons on both planets are potentially observable with future JWST mid-infrared spectral imaging. Our seasonal model predictions for Neptune compare well with retrieved C2H2 and C2H6 abundances from spatially resolved ground-based observations (no such observations currently exist for Uranus), suggesting that stratospheric circulation -- which was not included in these models -- may have little influence on the large-scale meridional hydrocarbon distributions on Neptune, unlike the situation on Jupiter and Saturn.


title: The Boundary at Infinity of the Curve Complex and the Relative Teichm\"{u}ller Space

abstract: In this paper we study the boundary at infinity of the curve complex $\mathcal{C}(S)$ of a surface $S$ of finite type and the relative Teichm\"{u}ller space $\mathcal{T}_{el}(S)$ obtained from the Teichm\"{u}ller space by collapsing each region where a simple closed curve is short to be a set of diameter 1. $\mathcal{C}(S)$ and $\mathcal{T}_{el}(S)$ are quasi-isometric, and Masur-Minsky have shown that $\mathcal{C}(S)$ and $\mathcal{T}_{el}(S)$ are hyperbolic in the sense of Gromov. We show that the boundary at infinity of $\mathcal{C}(S)$ and $\mathcal{T}_{el}(S)$ is the space of topological equivalence classes of minimal foliations on $S$.


title: Coarse grid projection methodology: A partial mesh refinement tool for incompressible flow simulations

abstract: We discuss Coarse Grid Projection (CGP) methodology as a guide for partial mesh refinement of incompressible flow computations for the first time. Based on it, if for a given spatial resolution the numerical simulation diverges or the velocity outputs are not accurate enough, instead of refining both the advection-diffusion and the Poisson grids, the CGP mesh refinement suggests to only refine the advection-diffusion grid and keep the Poisson grid resolution unchanged. The application of the novel mesh refinement tool is shown in the cases of flow over a backward-facing step and flow past a cylinder. For the backward facing step flow, a three-level partial mesh refinement makes a previously diverging computation numerically stable. For the flow past a cylinder, the error of the viscous lift force is reduced from 31.501% to 7.191% (with reference to the standard mesh refinement results) by the one-level partial mesh refinement technique.


title: Planet Four: Probing Springtime Winds on Mars by Mapping the Southern Polar CO$_2$ Jet Deposits

abstract: The springtime sublimation process of Mars' southern seasonal polar CO$_2$ ice cap features dark fan-shaped deposits appearing on the top of the thawing ice sheet. The fan material likely originates from the surface below the ice sheet, brought up via CO$_2$ jets breaking through the seasonal ice cap. Once the dust and dirt is released into the atmosphere, the material may be blown by the surface winds into the dark streaks visible from orbit. The location, size and direction of these fans record a number of parameters important to quantifying seasonal winds and sublimation activity, the most important agent of geological change extant on Mars. We present results of a systematic mapping of these south polar seasonal fans with the Planet Four online citizen science project. Planet Four enlists the general public to map the shapes, directions, and sizes of the seasonal fans visible in orbital images. Over 80,000 volunteers have contributed to the Planet Four project, reviewing 221 images, from Mars Reconnaissance Orbiter's HiRISE (High Resolution Imaging Science Experiment) camera, taken in southern spring during Mars Years 29 and 30. We provide an overview of Planet Four and detail the processes of combining multiple volunteer assessments together to generate a high fidelity catalog of $\sim$ 400,000 south polar seasonal fans. We present the results from analyzing the wind directions at several locations monitored by HiRISE over two Mars years, providing new insights into polar surface winds.


title: Classification of crystallization outcomes using deep convolutional neural networks

abstract: The Machine Recognition of Crystallization Outcomes (MARCO) initiative has assembled roughly half a million annotated images of macromolecular crystallization experiments from various sources and setups. Here, state-of-the-art machine learning algorithms are trained and tested on different parts of this data set. We find that more than 94% of the test images can be correctly labeled, irrespective of their experimental origin. Because crystal recognition is key to high-density screening and the systematic analysis of crystallization experiments, this approach opens the door to both industrial and fundamental research applications.


title: An Adaptive Feature Extraction Algorithm for Classification of Seismocardiographic Signals

abstract: This paper proposes a novel adaptive feature extraction algorithm for seismocardiographic (SCG) signals. The proposed algorithm divides the SCG signal into a number of bins, where the length of each bin is determined based on the signal change within that bin. For example, when the signal variation is steeper, the bins are shorter and vice versa. The proposed algorithm was used to extract features of the SCG signals recorded from 7 healthy individuals (Age: 29.4$\pm$4.5 years) during different lung volume phases. The output of the feature extraction algorithm was fed into a support vector machines classifier to classify SCG events into two classes of high and low lung volume (HLV and LLV). The classification results were compared with currently available non-adaptive feature extraction methods for different number of bins. Results showed that the proposed algorithm led to a classification accuracy of ~90%. The proposed algorithm outperformed the non-adaptive algorithm, especially as the number of bins was reduced. For example, for 16 bins, F1 score for the adaptive and non-adaptive methods were 0.91$\pm$0.05 and 0.63$\pm$0.08, respectively.


title: Hand Gesture Controlled Drones: An Open Source Library

abstract: Drones are conventionally controlled using joysticks, remote controllers, mobile applications, and embedded computers. A few significant issues with these approaches are that drone control is limited by the range of electromagnetic radiation and susceptible to interference noise. In this study we propose the use of hand gestures as a method to control drones. We investigate the use of computer vision methods to develop an intuitive way of agent-less communication between a drone and its operator. Computer vision-based methods rely on the ability of a drone's camera to capture surrounding images and use pattern recognition to translate images to meaningful and/or actionable information. The proposed framework involves a few key parts toward an ultimate action to be taken. They are: image segregation from the video streams of front camera, creating a robust and reliable image recognition based on segregated images, and finally conversion of classified gestures into actionable drone movement, such as takeoff, landing, hovering and so forth. A set of five gestures are studied in this work. Haar feature-based AdaBoost classifier is employed for gesture recognition. We also envisage safety of the operator and drone's action calculating the distance based on computer vision for this task. A series of experiments are conducted to measure gesture recognition accuracies considering the major scene variabilities, illumination, background, and distance. Classification accuracies show that well-lit, clear background, and within 3 ft gestures are recognized correctly over 90%. Limitations of current framework and feasible solutions for better gesture recognition are discussed, too. The software library we developed, and hand gesture data sets are open-sourced at project website.


title: Theoretical uncertainties of the elastic nucleon-deuteron scattering observables

abstract: Theoretical uncertainties of various types are discussed for the nucleon-deuteron elastic scattering observables at the incoming nucleon laboratory energies up to 200 MeV. We are especially interested in the statistical errors arising from uncertainties of parameters of a nucleon-nucleon interaction. The obtained uncertainties of the differential cross section and numerous scattering observables are in general small, grow with the reaction energy and amount up to a few percent at 200 MeV. We compare these uncertainties with the other types of theoretical errors like truncation errors, numerical uncertainties and uncertainties arising from using the various models of nuclear interaction. We find the latter ones to be dominant source of uncertainties of modern predictions for the three-nucleon scattering observables. To perform above mentioned studies we use the One-Pion-Exchange Gaussian potential derived by the Granada group, for which the covariance matrix of its parameters is known, and solve the Faddeev equation for the nucleon-deuteron elastic scattering. Thus beside studying theoretical uncertainties we also show a description of the nucleon-deuteron elastic scattering data by the One-Pion-Exchange Gaussian model and compare it with results obtained with other nucleon-nucleon potentials, including chiral N$^4$LO forces from the Bochum-Bonn and Moscow(Idaho)-Salamanca groups. In this way we confirm the usefulness and high quality of the One-Pion-Exchange Gaussian force.


title: Heart Rate Monitoring During Different Lung Volume Phases Using Seismocardiography

abstract: Seismocardiography (SCG) is a non-invasive method that can be used for cardiac activity monitoring. This paper presents a new electrocardiogram (ECG) independent approach for estimating heart rate (HR) during low and high lung volume (LLV and HLV, respectively) phases using SCG signals. In this study, SCG, ECG, and respiratory flow rate (RFR) signals were measured simultaneously in 7 healthy subjects. The lung volume information was calculated from the RFR and was used to group the SCG events into low and high lung-volume groups. LLV and HLV SCG events were then used to estimate the subjects HR as well as the HR during LLV and HLV in 3 different postural positions, namely supine, 45 degree heads-up, and sitting. The performance of the proposed algorithm was tested against the standard ECG measurements. Results showed that the HR estimations from the SCG and ECG signals were in a good agreement (bias of 0.08 bpm). All subjects were found to have a higher HR during HLV (HR$_\text{HLV}$) compared to LLV (HR$_\text{LLV}$) at all postural positions. The HR$_\text{HLV}$/HR$_\text{LLV}$ ratio was 1.11$\pm$0.07, 1.08$\pm$0.05, 1.09$\pm$0.04, and 1.09$\pm$0.04 (mean$\pm$SD) for supine, 45 degree-first trial, 45 degree-second trial, and sitting positions, respectively. This heart rate variability may be due, at least in part, to the well-known respiratory sinus arrhythmia. HR monitoring from SCG signals might be used in different clinical applications including wearable cardiac monitoring systems.


title: Remarks on holomorphic isometric embeddings between bounded symmetric domains

abstract: In this article, we study holomorphic isometric embeddings between bounded symmetric domains. In particular, we show the total geodesy of any holomorphic isometric embedding between reducible bounded symmetric domains with the same rank.


title: Structural inpainting

abstract: Scene-agnostic visual inpainting remains very challenging despite progress in patch-based methods. Recently, Pathak et al. 2016 have introduced convolutional "context encoders" (CEs) for unsupervised feature learning through image completion tasks. With the additional help of adversarial training, CEs turned out to be a promising tool to complete complex structures in real inpainting problems. In the present paper we propose to push further this key ability by relying on perceptual reconstruction losses at training time. We show on a wide variety of visual scenes the merit of the approach for structural inpainting, and confirm it through a user study. Combined with the optimization-based refinement of Yang et al. 2016 with neural patches, our context encoder opens up new opportunities for prior-free visual inpainting.


title: Dense Subgraphs in Random Graphs

abstract: For a constant $\gamma \in[0,1]$ and a graph $G$, let $\omega_{\gamma}(G)$ be the largest integer $k$ for which there exists a $k$-vertex subgraph of $G$ with at least $\gamma\binom{k}{2}$ edges. We show that if $0<p<\gamma<1$ then $\omega_{\gamma}(G_{n,p})$ is concentrated on a set of two integers. More precisely, with $\alpha(\gamma,p)=\gamma\log\frac{\gamma}{p}+(1-\gamma)\log\frac{1-\gamma}{1-p}$, we show that $\omega_{\gamma}(G_{n,p})$ is one of the two integers closest to $\frac{2}{\alpha(\gamma,p)}\big(\log n-\log\log n+\log\frac{e\alpha(\gamma,p)}{2}\big)+\frac{1}{2}$, with high probability. While this situation parallels that of cliques in random graphs, a new technique is required to handle the more complicated ways in which these "quasi-cliques" may overlap.


title: Sobolev spaces with non-Muckenhoupt weights, fractional elliptic operators, and applications

abstract: We propose a new variational model in weighted Sobolev spaces with non-standard weights and applications to image processing. We show that these weights are, in general, not of Muckenhoupt type and therefore the classical analysis tools may not apply. For special cases of the weights, the resulting variational problem is known to be equivalent to the fractional Poisson problem. The trace space for the weighted Sobolev space is identified to be embedded in a weighted $L^2$ space. We propose a finite element scheme to solve the Euler-Lagrange equations, and for the image denoising application we propose an algorithm to identify the unknown weights. The approach is illustrated on several test problems and it yields better results when compared to the existing total variation techniques.


title: Extensions of partial cyclic orders and consecutive coordinate polytopes

abstract: We introduce several classes of polytopes contained in $[0,1]^n$ and cut out by inequalities involving sums of consecutive coordinates. We show that the normalized volumes of these polytopes enumerate circular extensions of certain partial cyclic orders. Among other things this gives a new point of view on a question popularized by Stanley. We also provide a combinatorial interpretation of the Ehrhart $h^*$-polynomials of some of these polytopes in terms of descents of total cyclic orders. The Euler numbers, the Eulerian numbers and the Narayana numbers appear as special cases.


title: Automated tuning of inter-dot tunnel couplings in quantum dot arrays

abstract: Semiconductor quantum dot arrays defined electrostatically in a 2D electron gas provide a scalable platform for quantum information processing and quantum simulations. For the operation of quantum dot arrays, appropriate voltages need to be applied to the gate electrodes that define the quantum dot potential landscape. Tuning the gate voltages has proven to be a time-consuming task, because of initial electrostatic disorder and capacitive cross-talk effects. Here, we report on the automated tuning of the inter-dot tunnel coupling in a linear array of gate-defined semiconductor quantum dots. The automation of the tuning of the inter-dot tunnel coupling is the next step forward in scalable and efficient control of larger quantum dot arrays. This work greatly reduces the effort of tuning semiconductor quantum dots for quantum information processing and quantum simulation.


title: A spectral element method for meshes with skinny elements

abstract: When numerically solving partial differential equations (PDEs), the first step is often to discretize the geometry using a mesh and to solve a corresponding discretization of the PDE. Standard finite and spectral element methods require that the underlying mesh has no skinny elements for numerical stability. Here, we develop a novel spectral element method that is numerically stable on meshes that contain skinny elements, while also allowing for high degree polynomials on each element. Our method is particularly useful for PDEs for which anisotropic mesh elements are beneficial and we demonstrate it with a Navier--Stokes simulation. Code for our method can be found at <https://github.com/ay2718/spectral-pde-solver>.


title: An optimization parameter for seriation of noisy data

abstract: A square symmetric matrix is a Robinson similarity matrix if entries in its rows and columns are non-decreasing when moving towards the diagonal. A Robinson similarity matrix can be viewed as the affinity matrix between objects arranged in linear order, where objects closer together have higher affinity. We define a new parameter, $\Gamma_\max$, which measures how badly a given matrix fails to be Robinson similarity. Namely, a matrix is Robinson similarity precisely when its $\Gamma_\max$ attains zero, and a matrix with small $\Gamma_\max$ is close (in the normalized $\ell^1$-norm) to a Robinson similarity matrix. Moreover, both $\Gamma_\max$ and the Robinson similarity approximation can be computed in polynomial time. Thus, our parameter recognizes Robinson similarity matrices which are perturbed by noise, and can therefore be a useful tool in the problem of seriation of noisy data.


title: Enhancing the response of NH3 graphene-sensors by using devices with different graphene-substrate distances

abstract: Graphene (G) is a two-dimensional material with exceptional sensing properties. In general, graphene gas sensors are produced in field effect transistor configuration on several substrates. The role of the substrates on the sensor characteristics has not yet been entirely established. To provide further insight on the interaction between ammonia molecules (NH3) and graphene devices, we report experimental and theoretical studies of NH3 graphene sensors with graphene supported on three substrates: SiO2, talc and hexagonal boron nitride (hBN). Our results indicate that the charge transfer from NH3 to graphene depends not only on extrinsic parameters like temperature and gas concentration, but also on the average distance between the graphene sheet and the substrate. We find that the average distance between graphene and hBN crystals is the smallest among the three substrates, and that graphene-ammonia gas sensors based on a G/hBN heterostructure exhibit the fastest recovery times for NH3 exposure and are slightly affected by wet or dry air environment. Moreover, the dependence of graphene-ammonia sensors on different substrates indicates that graphene sensors exhibit two different adsorption processes for NH3 molecules: one at the top of the graphene surface and another at its bottom side close to the substrate. Therefore, our findings show that substrate engineering is crucial to the development of graphene-based gas sensors and indicate additional routes for faster sensors.


title: Maxwell-Sylvester Multipoles and the Geometric Theory of Irreducible Tensor Operators of Quantum Spin Systems

abstract: A geometric theory of the irreducible tensor operators of quantum spin systems. It is based upon the Maxwell-Sylvester geometric representation of the multipolar electrostatic potential. In the latter, an order-$\ell$ multipolar potential is represented by a collection of $\ell$ equal length vectors, i.e. by $\ell$ points on a sphere, instead of by its components on some fixed (but arbitrary) basis. The geometric representation offers a much more appropriate tool for getting physical insight on specific characteristics of a multipole, such as its symmetries, or its departure from ideal symmetry. We derive explicit expressions enabling to perform any calculations we may need to perform on multipoles. All relevant quantities are eventually expressed in terms of scalar products of pairs of vectors (i.e., in terms of geometric quantities such as lengths and angles). The whole formalism is entirely independent of any particular choice of coordinate, and needs no use of the somehow abstract formalism traditionally used when dealing with angular momenta. The formalism is then applied to treat the problem of the irreducible tensor operators of quantum spin systems. It enables to completely dispense with the calculation and use of the Stevens operators, which can be quite complicated even for moderate values of $\ell$. Explicit expressions for the calculation of expectations values of physical observables are derived. They essentially consist in combinations of scalar products of vector pairs. Together with the coherent state representation of the quantum states of spin systems, this provides a complete geometric, coordinate-free, description of the states, dynamics and physical properties of these systems.


title: Deep Communicating Agents for Abstractive Summarization

abstract: We present deep communicating agents in an encoder-decoder architecture to address the challenges of representing a long document for abstractive summarization. With deep communicating agents, the task of encoding a long text is divided across multiple collaborating agents, each in charge of a subsection of the input text. These encoders are connected to a single decoder, trained end-to-end using reinforcement learning to generate a focused and coherent summary. Empirical results demonstrate that multiple communicating encoders lead to a higher quality summary compared to several strong baselines, including those based on a single encoder or multiple non-communicating encoders.


title: ClickBAIT-v2: Training an Object Detector in Real-Time

abstract: Modern deep convolutional neural networks (CNNs) for image classification and object detection are often trained offline on large static datasets. Some applications, however, will require training in real-time on live video streams with a human-in-the-loop. We refer to this class of problem as time-ordered online training (ToOT). These problems will require a consideration of not only the quantity of incoming training data, but the human effort required to annotate and use it. We demonstrate and evaluate a system tailored to training an object detector on a live video stream with minimal input from a human operator. We show that we can obtain bounding box annotation from weakly-supervised single-point clicks through interactive segmentation. Furthermore, by exploiting the time-ordered nature of the video stream through object tracking, we can increase the average training benefit of human interactions by 3-4 times.


title: Achieving Linear Convergence in Distributed Asynchronous Multi-agent Optimization

abstract: This papers studies multi-agent (convex and \emph{nonconvex}) optimization over static digraphs. We propose a general distributed \emph{asynchronous} algorithmic framework whereby i) agents can update their local variables as well as communicate with their neighbors at any time, without any form of coordination; and ii) they can perform their local computations using (possibly) delayed, out-of-sync information from the other agents. Delays need not be known to the agent or obey any specific profile, and can also be time-varying (but bounded). The algorithm builds on a tracking mechanism that is robust against asynchrony (in the above sense), whose goal is to estimate locally the average of agents' gradients. When applied to strongly convex functions, we prove that it converges at an R-linear (geometric) rate as long as the step-size is {sufficiently small}. A sublinear convergence rate is proved, when nonconvex problems and/or diminishing, {\it uncoordinated} step-sizes are considered. To the best of our knowledge, this is the first distributed algorithm with provable geometric convergence rate in such a general asynchronous setting. Preliminary numerical results demonstrate the efficacy of the proposed algorithm and validate our theoretical findings.


title: Number of 1-factorizations of regular high-degree graphs

abstract: A $1$-factor in an $n$-vertex graph $G$ is a collection of $\frac{n}{2}$ vertex-disjoint edges and a $1$-factorization of $G$ is a partition of its edges into edge-disjoint $1$-factors. Clearly, a $1$-factorization of $G$ cannot exist unless $n$ is even and $G$ is regular (that is, all vertices are of the same degree). The problem of finding $1$-factorizations in graphs goes back to a paper of Kirkman in 1847 and has been extensively studied since then. Deciding whether a graph has a $1$-factorization is usually a very difficult question. For example, it took more than 60 years and an impressive tour de force of Csaba, K\"uhn, Lo, Osthus and Treglown to prove an old conjecture of Dirac from the 1950s, which says that every $d$-regular graph on $n$ vertices contains a $1$-factorization, provided that $n$ is even and $d\geq 2\lceil \frac{n}{4}\rceil-1$. In this paper we address the natural question of estimating $F(n,d)$, the number of $1$-factorizations in $d$-regular graphs on an even number of vertices, provided that $d\geq \frac{n}{2}+\varepsilon n$. Improving upon a recent result of Ferber and Jain, which itself improved upon a result of Cameron from the 1970s, we show that $F(n,d)\geq \left((1+o(1))\frac{d}{e^2}\right)^{nd/2}$, which is asymptotically best possible.


title: 1-factorizations of pseudorandom graphs

abstract: A $1$-factorization of a graph $G$ is a collection of edge-disjoint perfect matchings whose union is $E(G)$. A trivial necessary condition for $G$ to admit a $1$-factorization is that $|V(G)|$ is even and $G$ is regular; the converse is easily seen to be false. In this paper, we consider the problem of finding $1$-factorizations of regular, pseudorandom graphs. Specifically, we prove that an $(n,d,\lambda)$-graph $G$ (that is, a $d$-regular graph on $n$ vertices whose second largest eigenvalue in absolute value is at most $\lambda$) admits a $1$-factorization provided that $n$ is even, $C_0\leq d\leq n-1$ (where $C_0$ is a universal constant), and $\lambda\leq d^{1-o(1)}$. In particular, since (as is well known) a typical random $d$-regular graph $G_{n,d}$ is such a graph, we obtain the existence of a $1$-factorization in a typical $G_{n,d}$ for all $C_0\leq d\leq n-1$, thereby extending to all possible values of $d$ results obtained by Janson, and independently by Molloy, Robalewska, Robinson, and Wormald for fixed $d$. Moreover, we also obtain a lower bound for the number of distinct $1$-factorizations of such graphs $G$ which is off by a factor of $2$ in the base of the exponent from the known upper bound. This lower bound is better by a factor of $2^{nd/2}$ than the previously best known lower bounds, even in the simplest case where $G$ is the complete graph. Our proofs are probabilistic and can be easily turned into polynomial time (randomized) algorithms.


title: Referring Relationships

abstract: Images are not simply sets of objects: each image represents a web of interconnected relationships. These relationships between entities carry semantic meaning and help a viewer differentiate between instances of an entity. For example, in an image of a soccer match, there may be multiple persons present, but each participates in different relationships: one is kicking the ball, and the other is guarding the goal. In this paper, we formulate the task of utilizing these "referring relationships" to disambiguate between entities of the same category. We introduce an iterative model that localizes the two entities in the referring relationship, conditioned on one another. We formulate the cyclic condition between the entities in a relationship by modelling predicates that connect the entities as shifts in attention from one entity to another. We demonstrate that our model can not only outperform existing approaches on three datasets --- CLEVR, VRD and Visual Genome --- but also that it produces visually meaningful predicate shifts, as an instance of interpretable neural networks. Finally, we show that by modelling predicates as attention shifts, we can even localize entities in the absence of their category, allowing our model to find completely unseen categories.


title: Boundary bound diffraction: A combined spectral and Bohmian analysis

abstract: The diffraction-like process displayed by a spatially localized matter wave is here analyzed in a case where the free evolution is frustrated by the presence of hard-wall-type boundaries (beyond the initial localization region). The phenomenon is investigated in the context of a nonrelativistic, spinless particle with mass m confined in a one-dimensional box, combining the spectral decomposition of the initially localized wave function (treated as a coherent superposition of energy eigenfunctions) with a dynamical analysis based on the hydrodynamic or Bohmian formulation of quantum mechanics. Actually, such a decomposition has been used to devise a simple and efficient analytical algorithm that simplifies the computation of velocity fields (flows) and trajectories. As it is shown, the development of space-time patters inside the cavity depends on three key elements: the shape of the initial wave function, the mass of the particle considered, and the relative extension of the initial state with respect to the total length spanned by the cavity. From the spectral decomposition it is possible to identify how each one of these elements contribute to the localized matter wave and its evolution; the Bohmian analysis, on the other hand, reveals aspects connected to the diffraction dynamics and the subsequent appearance of interference traits, particularly recurrences and full revivals of the initial state, which constitute the source of the characteristic symmetries displayed by these patterns. It is also found that, because of the presence of confining boundaries, even in cases of increasingly large box lengths, no Fraunhofer-like diffraction features can be observed, as happens when the same wave evolves in free space. Although the analysis here is applied to matter waves, its methodology and conclusions are also applicable to confined modes of electromagnetic radiation (optical fibers).


title: Tin monochalcogenide heterostructures as mechanically rigid infrared bandgap semiconductors

abstract: Based on first-principles density functional calculations, we show that SnS and SnSe layers can form mechanically rigid heterostructures with the constituent puckered or buckled monolayers. Due to the strong interlayer coupling, the electronic wavefunctions of the conduction and valence band edges are delocalized across the heterostructure. The resultant bandgap of the heterostructures reside in the infrared region. With strain engineering, the heterostructure bandgap undergoes transition from indirect to direct in the puckered phase. Our results show that there is a direct correlation between the electronic wavefunction and the mechanical rigidity of the layered heterostructure.


title: Hybrid Silicon Photonic-Lithium Niobate Electro-Optic Mach-Zehnder Modulator Beyond 100 GHz Bandwidth

abstract: Electro-optic modulation, the imprinting of a radio-frequency (RF) waveform on an optical carrier, is one of the most important photonics functions, being crucial for high-bandwidth signal generation, optical switching, waveform shaping, data communications, ultrafast measurements, sampling, timing and ranging, and RF photonics. Although silicon (Si) photonic electro-optic modulators (EOMs) can be fabricated using wafer-scale technology compatible with the semiconductor industry, such devices do not exceed an electrical 3-dB bandwidth of about 50 GHz, whereas many applications require higher RF frequencies. Bulk Lithium Niobate (LN) and etched LN modulators can scale to higher bandwidths, but are not integrated with the Si photonics fabrication process adopted widely over the last decade. As an alternative, an ultra-high-bandwidth Mach-Zehnder EOM based on Si photonics is shown, made using conventional lithography and wafer-scale fabrication, bonded to an unpatterned LN thin film. This hybrid LN-Si MZM achieves beyond 100 GHz 3-dB electrical bandwidth. Our design integrates silicon photonics light input/output and optical components, including directional couplers, low-radius bends, and path-length difference segments, realized in a foundry Si photonics process. The use of a simple low-temperature (200C) back-end integration process to bond a postage-stamp-sized piece of LN where desired, and achieving light routing into and out of LN to harness its electro-optic property without any etching or patterning of the LN film, may be broadly-useful strategies for advanced integrated opto-electronic microchips.


title: Smoothed Online Convex Optimization in High Dimensions via Online Balanced Descent

abstract: We study Smoothed Online Convex Optimization, a version of online convex optimization where the learner incurs a penalty for changing her actions between rounds. Given a $\Omega(\sqrt{d})$ lower bound on the competitive ratio of any online algorithm, where $d$ is the dimension of the action space, we ask under what conditions this bound can be beaten. We introduce a novel algorithmic framework for this problem, Online Balanced Descent (OBD), which works by iteratively projecting the previous point onto a carefully chosen level set of the current cost function so as to balance the switching costs and hitting costs. We demonstrate the generality of the OBD framework by showing how, with different choices of "balance," OBD can improve upon state-of-the-art performance guarantees for both competitive ratio and regret, in particular, OBD is the first algorithm to achieve a dimension-free competitive ratio, $3 + O(1/\alpha)$, for locally polyhedral costs, where $\alpha$ measures the "steepness" of the costs. We also prove bounds on the dynamic regret of OBD when the balance is performed in the dual space that are dimension-free and imply that OBD has sublinear static regret.


title: Non-Equilibrium Chemistry and Destruction of CO by X-ray Flares

abstract: Sources of X-rays such as active galactic nuclei and X-ray binaries are often variable by orders of magnitude in luminosity over timescales of years. During and after these flares the surrounding gas is out of chemical and thermal equilibrium. We introduce a new implementation of X-ray radiative transfer coupled to a time-dependent chemical network for use in 3D magnetohydrodynamical simulations. A static fractal molecular cloud is irradiated with X-rays of different intensity, and the chemical and thermal evolution of the cloud are studied. For a simulated $10^5$ M$_\odot$ fractal cloud an X-ray flux $<0.01$ erg cm$^{-2}$ s$^{-1}$ allows the cloud to remain molecular, whereas most of the CO and H$_2$ are destroyed for a flux of $>1$ erg cm$^{-2}$ s$^{-1}$. The effects of an X-ray flare, which suddenly increases the X-ray flux by $10^5 \times$ are then studied. A cloud exposed to a bright flare has 99% of its CO destroyed in 10-20 years, whereas it takes $>10^3$ years for 99% of the H$_2$ to be destroyed. CO is primarily destroyed by locally generated far-UV emission from collisions between non-thermal electrons and H$_2$; He$^+$ only becomes an important destruction agent when the CO abundance is already very small. After the flare is over, CO re-forms and approaches its equilibrium abundance after $10^3-10^5$ years. This implies that molecular clouds close to Sgr A$^*$ in the Galactic Centre may still be out of chemical equilibrium, and we predict the existence of clouds near flaring X-ray sources in which CO has been mostly destroyed but H is fully molecular.


title: InLoc: Indoor Visual Localization with Dense Matching and View Synthesis

abstract: We seek to predict the 6 degree-of-freedom (6DoF) pose of a query photograph with respect to a large indoor 3D map. The contributions of this work are three-fold. First, we develop a new large-scale visual localization method targeted for indoor environments. The method proceeds along three steps: (i) efficient retrieval of candidate poses that ensures scalability to large-scale environments, (ii) pose estimation using dense matching rather than local features to deal with textureless indoor scenes, and (iii) pose verification by virtual view synthesis to cope with significant changes in viewpoint, scene layout, and occluders. Second, we collect a new dataset with reference 6DoF poses for large-scale indoor localization. Query photographs are captured by mobile phones at a different time than the reference 3D map, thus presenting a realistic indoor localization scenario. Third, we demonstrate that our method significantly outperforms current state-of-the-art indoor localization approaches on this new challenging data.


title: SRLA: A real time sliding time window super point cardinality estimation algorithm for high speed network based on GPU

abstract: Super point is a special host in network which communicates with lots of other hosts in a certain time period. The number of hosts contacting with a super point is called as its cardinality. Cardinality estimating plays important roles in network management and security. All of existing works focus on how to estimate super point's cardinality under discrete time window. But discrete time window causes great delay and the accuracy of estimating result is subject to the starting of the window. sliding time window, moving forwarding a small slice every time, offers a more accuracy and timely scale to monitor super point's cardinality. On the other hand, super point's cardinality estimating under sliding time window is more difficult because it requires an algorithm to record the cardinality incrementally and report them immediately at the end of the sliding duration. This paper firstly solves this problem by devising a sliding time window available algorithm SRLA. SRLA records hosts cardinality by a novel structure which could be updated incrementally. In order to reduce the cardinality estimating time at the end of every sliding time window, SRLA generates a super point candidate list while scanning packets and calculates the cardinality of hosts in the candidate list only. It also has the ability to run parallel to deal with high speed network in line speed. This paper gives the way to deploy SRLA on a common GPU. Experiments on real world traffics which have 40 GB/s bandwidth show that SRLA successfully estimates super point's cardinality within 100 milliseconds under sliding time window when running on a low cost Nvidia GPU, GTX650 with 1 GB memory. The estimating time of SRLA is much smaller than that of other algorithms which consumes more than 2000 milliseconds under discrete time window.


title: Best finite approximations of Benford's Law

abstract: For arbitrary Borel probability measures with compact support on the real line, characterizations are established of the best finitely supported approximations, relative to three familiar probability metrics (Levy, Kantorovich, and Kolmogorov), given any number of atoms, and allowing for additional constraints regarding weights or positions of atoms. As an application, best (constrained or unconstrained) approximations are identified for Benford's Law (logarithmic distribution of significands) and other familiar distributions. The results complement and extend known facts in the literature; they also provide new rigorous benchmarks against which to evaluate empirical observations regarding Benford's Law.


title: Reinforcement learning for non-prehensile manipulation: Transfer from simulation to physical system

abstract: Reinforcement learning has emerged as a promising methodology for training robot controllers. However, most results have been limited to simulation due to the need for a large number of samples and the lack of automated-yet-safe data collection methods. Model-based reinforcement learning methods provide an avenue to circumvent these challenges, but the traditional concern has been the mismatch between the simulator and the real world. Here, we show that control policies learned in simulation can successfully transfer to a physical system, composed of three Phantom robots pushing an object to various desired target positions. We use a modified form of the natural policy gradient algorithm for learning, applied to a carefully identified simulation model. The resulting policies, trained entirely in simulation, work well on the physical system without additional training. In addition, we show that training with an ensemble of models makes the learned policies more robust to modeling errors, thus compensating for difficulties in system identification.


title: Exploiting Residual Resources to Support High Throughput with Resource Allocation

abstract: Residual radio resources are abundant in wireless networks due to dynamic traffic load, which can be exploited to support high throughput for serving non-real-time (NRT) traffic. In this paper, we investigate how to achieve this by resource allocation with predicted time-average rate, which can be obtained from predicted average residual bandwidth after serving real-time traffic and predicted average channel gains of NRT mobile users. We show the connection between the statistics of their prediction errors. We formulate an optimization problem to make a resource allocation plan within a prediction window for NRT users that randomly initiate requests, which aims to fully use residual resources with ensured quality of service (QoS). To show the benefit of knowing the contents to be requested and the request arrival time in advance, we consider two types of NRT services, video on demand and video on reservation. The optimal solution is obtained, and an online policy is developed that can transmit according to the plan after instantaneous channel gains are available. Simulation and numerical results validate our analysis and show a dramatic gain of the proposed method in supporting high arrival rate of NRT requests with given tolerance on QoS.


title: Points on polynomial curves in small boxes modulo an integer

abstract: Given an integer $q$ and a polynomial $f\in \mathbb Z_{q}[X]$ of degree $d$ with coefficients in the residue ring $\mathbb Z_q=\mathbb Z/q\mathbb Z,$ we obtain new results concerning the number of solutions to congruences of the form $$y\equiv f(x) \pmod{q},$$ with integer variables lying in some cube $\mathcal B$ of side length $H$. Our argument uses ideas of Cilleruelo, Garaev, Ostafe and Shparlinski which reduces the problem to the Vinogradov mean value theorem and a lattice point counting problem. We treat the lattice point problem differently using transference principles from the Geometry of Numbers. We also use a variant of the main conjecture for the Vinogradov mean value theorem of Bourgain, Demeter and Guth and of Wooley which allows one to deal with rather sparse sets.


title: Equilibrium states in dynamical systems via geometric measure theory

abstract: Given a dynamical system with a uniformly hyperbolic (`chaotic') attractor, the physically relevant Sinai-Ruelle-Bowen (SRB) measure can be obtained as the limit of the dynamical evolution of the leaf volume along local unstable manifolds. We extend this geometric construction to the substantially broader class of equilibrium states corresponding to H\"older continuous potentials; these states arise naturally in statistical physics and play a crucial role in studying stochastic behavior of dynamical systems. The key step in our construction is to replace leaf volume with a reference measure that is obtained from a Carath\'eodory dimension structure via an analogue of the construction of Hausdorff measure. In particular, we give a new proof of existence and uniqueness of equilibrium states that does not use standard techniques based on Markov partitions or the specification property; our approach can be applied to systems that do not have Markov partitions and do not satisfy the specification property.


title: On the Algorithmic Power of Spiking Neural Networks

abstract: Spiking Neural Networks (SNN) are mathematical models in neuroscience to describe the dynamics among a set of neurons that interact with each other by firing instantaneous signals, a.k.a., spikes. Interestingly, a recent advance in neuroscience [Barrett-Den\`eve-Machens, NIPS 2013] showed that the neurons' firing rate, i.e., the average number of spikes fired per unit of time, can be characterized by the optimal solution of a quadratic program defined by the parameters of the dynamics. This indicated that SNN potentially has the computational power to solve non-trivial quadratic programs. However, the results were justified empirically without rigorous analysis. We put this into the context of natural algorithms and aim to investigate the algorithmic power of SNN. Especially, we emphasize on giving rigorous asymptotic analysis on the performance of SNN in solving optimization problems. To enforce a theoretical study, we first identify a simplified SNN model that is tractable for analysis. Next, we confirm the empirical observation in the work of Barrett et al. by giving an upper bound on the convergence rate of SNN in solving the quadratic program. Further, we observe that in the case where there are infinitely many optimal solutions, SNN tends to converge to the one with smaller l1 norm. We give an affirmative answer to our finding by showing that SNN can solve the l1 minimization problem under some regular conditions. Our main technical insight is a dual view of the SNN dynamics, under which SNN can be viewed as a new natural primal-dual algorithm for the l1 minimization problem. We believe that the dual view is of independent interest and may potentially find interesting interpretation in neuroscience.


title: Computing the CEV option pricing formula using the semiclassical approximation of path integral

abstract: The Constant Elasticity of Variance (CEV) model significantly outperforms the Black-Scholes (BS) model in forecasting both prices and options. Furthermore, the CEV model has a marked advantage in capturing basic empirical regularities such as: heteroscedasticity, the leverage effect, and the volatility smile. In fact, the performance of the CEV model is comparable to most stochastic volatility models, but it is considerable easier to implement and calibrate. Nevertheless, the standard CEV model solution, using the non-central chi-square approach, still presents high computational times, specially when: i) the maturity is small, ii) the volatility is low, or iii) the elasticity of the variance tends to zero. In this paper, a new numerical method for computing the CEV model is developed. This new approach is based on the semiclassical approximation of Feynman's path integral. Our simulations show that the method is efficient and accurate compared to the standard CEV solution considering the pricing of European call options.


title: Narrowband terahertz radiation by an impulsive stimulated Raman scattering in an above-room-temperature organic ferroelectric benzimidazole

abstract: We observe a terahertz radiation from a hydrogen-bonded organic molecular ferroelectric 5,6-dichloro-2-methylbenzimidazole excited by a femtosecond laser pulse at room temperature. The emitted terahertz wave consists of three oscillatory components, the frequencies of which agree with those of Raman- and infrared-active phonon modes. This suggests that the terahertz radiation is attributed to polarization modulations by infrared-active phonons excited via the impulsive stimulated Raman scattering processes. By taking into account the Raman polarizability tensor and dipole-moment for each phonon, we succeeded in reproducing not only the spectrum of the terahertz radiation, but also its time characteristic. The analysis method is discussed in detail. Our result provides a new way for the light-induced terahertz radiation in organic ferroelectrics.


title: Search for the decay mode $B^0\rightarrow p p \bar{p} \bar{p}$

abstract: A search is presented for the four-body decay $B^0\rightarrow p p \bar{p} \bar{p}$ in a sample of $471$ million $B\bar{B}$ pairs collected with the BaBar detector, operated at the SLAC PEP-II asymmetric-energy $e^+e^-$ collider. The center-of-mass energy is $10.58$ GeV. From a fit to the distribution of the energy-substituted mass $m_{\mathrm{ES}}$, the result $\mathcal{B}(B^0\rightarrow p p \bar{p} \bar{p})=(1.1 \pm 0.5 \pm 0.2) \times 10^{-7}$ is extracted, where the first uncertainty is statistical and the second is systematic. The significance of the signal is $2.9$ standard deviations. The upper limit on the branching fraction is determined to be $2.0 \times 10^{-7}$ at $90\%$ confidence level.


title: Les Houches 2017: Physics at TeV Colliders New Physics Working Group Report

abstract: We present the activities of the `New Physics' working group for the `Physics at TeV Colliders' workshop (Les Houches, France, 5--23 June, 2017). Our report includes new physics studies connected with the Higgs boson and its properties, direct search strategies, reinterpretation of the LHC results in the building of viable models and new computational tool developments.


title: Einstein metrics on strictly pseudoconvex domains from the viewpoint of bulk-boundary correspondence

abstract: This is a survey on the correspondence between asymptotically complex hyperbolic Einstein metrics and CR structures on the boundary at infinity, which is the complex version of that between Poincar\'e-Einstein metrics and conformal structures. We mainly discuss existence theorems, and propose several open problems.


title: Escaping Set of Hyperbolic Semigroup

abstract: In this paper, we mainly study hyperbolic semigroups from which we get non-empty escaping set and Eremenko's conjecture remains valid. We prove that if each generator of bounded type transcendental semigroup S is hyperbolic, then the semigroup is itself hyperbolic and all components of I(S) are unbounded


title: Modification of magnetic fluctuations by interfacial interactions in artificially engineered heavy-fermion superlattices

abstract: Recent progress in the fabrication techniques of superlattices (SLs) has made it possible to sandwich several-layer-thick block layers (BLs) of heavy-fermion superconductor CeCoIn5 between conventional-metal YbCoIn5 BLs or spin-density-wave-metal CeRhIn5 BLs of a similar thickness. However, the magnetic state in each BL, particularly at the interface, is not yet understood, as experimental techniques applicable to the SL system are limited. Here, we report measurements of 59Co nuclear magnetic resonance, which is a microscopic probe of the magnetic properties inside the target BLs. In the CeCoIn5/YbCoIn5 SL, the low-temperature magnetic fluctuations of the CeCoIn5 BL are weakened as expected from the Rashba spin-orbit effect. However, in the CeCoIn5/CeRhIn5 SL, the fluctuations show an anomalous enhancement below 6 K, highlighting the importance of the magnetic proximity effect occurring near a magnetic-ordering temperature TN ~ 3 K of the CeRhIn5 BL. We suggest that the magnetic properties of the BLs can be altered by the interfacial interaction, which is an alternative route to modify the magnetic properties.


title: Vehicle Platooning Simulations with Functional Reactive Programming

abstract: Functional languages have provided major benefits to the verification community. Although features such as purity, a strong type system, and computational abstractions can help guide programmers away from costly errors, these can present challenges when used in a reactive system. Functional Reactive Programming is a paradigm that allows users the benefits of functional languages and an easy interface to a reactive environment. We present a tool for building autonomous vehicle controllers in FRP using Haskell.


title: Topic Modeling Based Multi-modal Depression Detection

abstract: Major depressive disorder is a common mental disorder that affects almost 7% of the adult U.S. population. The 2017 Audio/Visual Emotion Challenge (AVEC) asks participants to build a model to predict depression levels based on the audio, video, and text of an interview ranging between 7-33 minutes. Since averaging features over the entire interview will lose most temporal information, how to discover, capture, and preserve useful temporal details for such a long interview are significant challenges. Therefore, we propose a novel topic modeling based approach to perform context-aware analysis of the recording. Our experiments show that the proposed approach outperforms context-unaware methods and the challenge baselines for all metrics.