title: Amplitude mode in the planar triangular antiferromagnet Na$_{0.9}$MnO$_2$

abstract: Amplitude modes arising from symmetry breaking in materials are of broad interest in condensed matter physics. These modes reflect an oscillation in the amplitude of a complex order parameter, yet are typically unstable and decay into oscillations of the order parameter's phase. This renders stable amplitude modes rare, and exotic effects in quantum antiferromagnets have historically provided a realm for their detection. Here we report an alternate route to realizing amplitude modes in magnetic materials by demonstrating that an antiferromagnet on a two-dimensional anisotropic triangular lattice ($\alpha$-Na$_{0.9}$MnO$_2$) exhibits a long-lived, coherent oscillation of its staggered magnetization field. Our results show that geometric frustration of Heisenberg spins with uniaxial single-ion anisotropy can renormalize the interactions of a dense two-dimensional network of moments into largely decoupled, one-dimensional chains that manifest a longitudinally polarized bound state. This bound state is driven by the Ising-like anisotropy inherent to the Mn$^{3+}$ ions of this compound.


title: Adversarial Risk Bounds via Function Transformation

abstract: We derive bounds for a notion of adversarial risk, designed to characterize the robustness of linear and neural network classifiers to adversarial perturbations. Specifically, we introduce a new class of function transformations with the property that the risk of the transformed functions upper-bounds the adversarial risk of the original functions. This reduces the problem of deriving bounds on the adversarial risk to the problem of deriving risk bounds using standard learning-theoretic techniques. We then derive bounds on the Rademacher complexities of the transformed function classes, obtaining error rates on the same order as the generalization error of the original function classes. We also discuss extensions of our theory to multiclass classification and regression. Finally, we provide two algorithms for optimizing the adversarial risk bounds in the linear case, and discuss connections to regularization and distributional robustness.


title: Propagation of spiking moments in linear Hawkes networks

abstract: The present paper provides exact mathematical expressions for the high-order moments of spiking activity in a recurrently-connected network of linear Hawkes processes. It extends previous studies that have explored the case of a (linear) Hawkes network driven by deterministic intensity functions to the case of a stimulation by external inputs (rate functions or spike trains) with arbitrary correlation structure. Our approach describes the spatio-temporal filtering induced by the afferent and recurrent connectivities (with arbitrary synaptic response kernels) using operators acting on the input moments. This algebraic viewpoint provides intuition about how the network ingredients shape the input-output mapping for moments, as well as cumulants. We also show using numerical simulation that our results hold for neurons with refractoriness implemented by self-inhibition, provided the corresponding negative feedback for each neuron only mildly alters its mean firing probability.


title: Multivariate stable distributions and their applications for modelling cryptocurrency-returns

abstract: In this paper we extend the known methodology for fitting stable distributions to the multivariate case and apply the suggested method to the modelling of daily cryptocurrency-return data. The investigated time period is cut into 10 non-overlapping sections, thus the changes can also be observed. We apply bootstrap tests for checking the models and compare our approach to the more traditional extreme-value and copula models.


title: Physical properties and chemical composition of the cores in the California molecular cloud

abstract: We aim to reveal the physical properties and chemical composition of the cores in the California molecular cloud (CMC), so as to better understand the initial conditions of star formation. We made a high-resolution column density map (18.2") with Herschel data, and extracted a complete sample of the cores in the CMC with the \textsl{fellwalker} algorithm. We performed new single-pointing observations of molecular lines near 90 GHz with the IRAM 30m telescope along the main filament of the CMC. In addition, we also performed a numerical modeling of chemical evolution for the cores under the physical conditions. We extracted 300 cores, of which 33 are protostellar and 267 are starless cores. About 51\% (137 of 267) of the starless cores are prestellar cores. Three cores have the potential to evolve into high-mass stars. The prestellar core mass function (CMF) can be well fit by a log-normal form. The high-mass end of the prestellar CMF shows a power-law form with an index $\alpha=-0.9\pm 0.1$ that is shallower than that of the Galactic field stellar mass function. Combining the mass transformation efficiency ($\varepsilon$) from the prestellar core to the star of $15\pm 1\%$ and the core formation efficiency (CFE) of 5.5\%, we suggest an overall star formation efficiency of about 1\% in the CMC. In the single-pointing observations with the IRAM 30m telescope, we find that 6 cores show blue-skewed profile, while 4 cores show red-skewed profile. [$\rm {HCO}^{+}$]/[HNC] and [$\rm {HCO}^{+}$]/$\rm [N_{2}H^{+}]$ in protostellar cores are higher than those in prestellar cores; this can be used as chemical clocks. The best-fit chemical age of the cores with line observations is $\sim 5\times 10^4$~years.


title: Green's function for the Laplace-Beltrami operator on surfaces with a non-trivial Killing vector field and its application to potential flows

abstract: We construct an analytic formula of Green's function for the Laplace-Beltrami operator on surfaces with a non-trivial Killing vector field, which contain all surfaces of revolution. To represent the function, we explicitly build a chart which is defined on the whole space except for at most two points, where the metric is represented by one positive function and where the Killing vector field is represented as a constant vector field preserving this positive function. In this construction, we immediately obtain the formula for a given surface with a Killing vector field by solving the geodesic equations. As applications, we show that the logarithm of the speed and the pressure of the Killing vector field as a steady solution of the Euler equations is equal to the convolution of a hydrodynamic Green's function and the Gaussian curvature and twice that up to a harmonic function. Moreover, we see that a similar relation holds for a potential vector field on general curved surfaces. As an example, we apply the formula to surfaces of revolution.


title: Selection of BJI configuration: Approach based on minimal transversals

abstract: Decision systems deal with a large volume of data stored in new databases called data warehouses. Data warehouses are typically modeled by a star schema that conventionally presents a central fact table and a set of dimension tables. The corresponding queries for this type of model are therefore very complex. In order to reduce the cost of executing complex queries, which contain very expensive joins, the solution envisaged would be to guarantee a good physical design of the data warehouses. Binary join indexes are very suitable to reduce the cost of executing these joins. In this work, we proposed a binary join index selection approach based on the notion of minimal transversal. The final configuration obtained is composed of several indexes, which make it possible to optimize the execution cost of the query set.


title: Constraints on the Effective Electron Energy Spectrum in Backscatter Kikuchi Diffraction

abstract: Electron Backscatter Diffraction (EBSD) is a technique to obtain microcrystallographic information from materials by collecting large-angle Kikuchi patterns in the scanning electron microscope (SEM). An important fundamental question concerns the scattering-angle dependent electron energy distribution which is relevant for the formation of the Kikuchi diffraction patterns. Here we review the existing experimental data and explore the effective energy spectrum that is operative in the generation of backscatter Kikuchi patterns from silicon. We use a full pattern comparison of experimental data with dynamical electron diffraction simulations. Our energy-dependent cross-correlation based pattern matching approach establishes improved constraints on the effective Kikuchi pattern energy spectrum which is relevant for high-resolution EBSD pattern simulations and their applications.


title: Non-equilibrium Fluctuations of Interacting Particle Systems

abstract: We obtain the large scale limit of the fluctuations around its hydrodynamic limit of the density of particles of a weakly asymmetric exclusion process in dimension up to three. The proof is based upon a sharp estimate on the relative entropy of the law of the process with respect to product reference measures associated to the hydrodynamic limit profile, which holds in any dimension and is of independent interest. As a corollary of this entropy estimate, we obtain some quantitative bounds on the speed of convergence of the aforementioned hydrodynamic limit.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Detection of a 6.7 GHz methanol kilomaser toward NGC4945

abstract: We report the detection of emission from the 6.7 GHz 5(1)-6(0)A+ transition of methanol towards the center of the nearby galaxy NGC4945. This is the first detection of emission in this transition beyond the local group. The isotropic luminosity of the integrated 6.7 GHz methanol emission is approximately a factor of 10000 greater than that for 6.7 GHz methanol masers associated with Galactic high-mass star formation regions. The methanol emission is resolved on scales smaller than 40 pc and it appears unlikely that it could be due to a large concentration of Galactic-style star formation masers within a small region. Comparison with observations of other methanol transitions suggests that the 6.7 GHz methanol emission is due to a diffuse, low-gain maser, amplifying the background continuum radiation from the nuclear region. The methanol emission is blueshifted with respect to the the systemic velocity of the galaxy by several hundred kilometers per second and lies outside the velocity range associated with the dense gas and neutral hydrogen in the central region of NGC4945. We speculate that it may be associated with gas entrained in a superwind outflow from the nuclear region.


title: A Weakly Supervised Approach for Estimating Spatial Density Functions from High-Resolution Satellite Imagery

abstract: We propose a neural network component, the regional aggregation layer, that makes it possible to train a pixel-level density estimator using only coarse-grained density aggregates, which reflect the number of objects in an image region. Our approach is simple to use and does not require domain-specific assumptions about the nature of the density function. We evaluate our approach on several synthetic datasets. In addition, we use this approach to learn to estimate high-resolution population and housing density from satellite imagery. In all cases, we find that our approach results in better density estimates than a commonly used baseline. We also show how our housing density estimator can be used to classify buildings as residential or non-residential.


title: Lightweight Carbon Fiber Mirrors for Solar Concentrator Applications

abstract: Lightweight parabolic mirrors for solar concentrators have been fabricated using carbon fiber reinforced polymer (CFRP) and a nanometer scale optical surface smoothing technique. The smoothing technique improved the surface roughness of the CFRP surface from ~3 {\mu}m root mean square (RMS) for as-cast to ~5 nm RMS after smoothing. The surfaces were then coated with metal, which retained the sub-wavelength surface roughness, to produce a high-quality specular reflector. The mirrors were tested in an 11x geometrical concentrator configuration and achieved an optical efficiency of 78% under an AM0 solar simulator. With further development, lightweight CFRP mirrors will enable dramatic improvements in the specific power, power per unit mass, achievable for concentrated photovoltaics in space.


title: The Lambert-Tsallis Wq Function

abstract: In the present work, we introduce the Lambert-Tsallis Wq function. It is a generalization of the Lambert W function, that solves the equation Wq(x)expq(Wq(x)) = x, where expq(x) is the q-exponential used by Tsallis in nonextensive statistical mechanics. We show its numerical calculation and some applications.


title: Fiber to Chip Fusion Splicing for Robust, Low Loss Photonic Packaging

abstract: Silicon photonic devices are poised to enter high volume markets such as data-communications, telecommunications, biological sensing, and optical phased arrays; however, permanently attaching a fiber to the photonic chip with high optical efficiency remains a challenge. We present a robust and low-loss packaging technique of permanent optical edge coupling between a fiber and a chip using fusion splicing which is low-cost and scalable to high volume manufacturing. We fuse a SMF-28 cleaved fiber to the chip via CO$_2$ laser and reinforce it with optical adhesive. We demonstrate minimum loss of 1.0dB per-facet with 0.6dB penalty over 160nm bandwidth from 1480nm-1640nm.


title: Invariant Generalized Complex Structures on Flag Manifolds

abstract: Let $G$ be a complex semi-simple Lie group and form its maximal flag manifold $\mathbb{F}=G/P=U/T$ where $P$ is a minimal parabolic subgroup, $U$ a compact real form and $T=U\cap P$ a maximal torus of $U$. The aim of this paper is to study invariant generalized complex structures on $\mathbb{F}$. We describe the invariant generalized almost complex structures on $\mathbb{F}$ and classify which one is integrable. The problem reduces to the study of invariant $4$-dimensional generalized almost complex structures restricted to each root space, and for integrability we analyse the Nijenhuis operator for a triple of roots such that its sum is zero. We also conducted a study about twisted generalized complex structures. We define a new bracket `twisted' by a closed $3$-form $\Omega $ and also define the Nijenhuis operator twisted by $\Omega $. We classify the $\Omega $-integrable generalized complex structure.


title: Asymptotic uncertainty quantification for communities in sparse planted bi-section models

abstract: Posterior distributions for community structure in sparse planted bi-section models are shown to achieve exact (resp. almost-exact) recovery, with sharp bounds for the sparsity regimes where edge probabilities decrease as $O(\log(n)/n)$ (resp. $O(1/n)$). Assuming posterior recovery, one may interpret credible sets (resp. enlarged credible sets) as asymptotically consistent confidence sets; the diameters of those credible sets are controlled by the rate of posterior concentration. If credible levels are chosen to grow to one quickly enough, corresponding credible sets can be interpreted as frequentist confidence sets without conditions on posterior concentration. In the regimes with $O(1/n)$ edge sparsity, or when within-community and between-community edge probabilities are very close, credible sets may be enlarged to achieve frequentist asymptotic coverage, also without conditions on posterior concentration.


title: Involutive right-residuated l-groupoids

abstract: A common generalization of orthomodular lattices and residuated lattices is provided corresponding to bounded lattices with an involution and sectionally extensive mappings. It turns out that such a generalization can be based on integral right-residuated l-groupoids. This general framework is applied to MV-algebras,orthomodular lattices, Nelson algebras, basic algebras and Heyting algebras.


title: Simulations meet Machine Learning in Structural Biology

abstract: Classical molecular dynamics (MD) simulations will be able to reach sampling in the second timescale within five years, producing petabytes of simulation data at current force field accuracy. Notwithstanding this, MD will still be in the regime of low-throughput, high-latency predictions with average accuracy. We envisage that machine learning (ML) will be able to solve both the accuracy and time-to-prediction problem by learning predictive models using expensive simulation data. The synergies between classical, quantum simulations and ML methods, such as artificial neural networks, have the potential to drastically reshape the way we make predictions in computational structural biology and drug discovery.


title: Ordered Neurons: Integrating Tree Structures into Recurrent Neural Networks

abstract: Natural language is hierarchically structured: smaller units (e.g., phrases) are nested within larger units (e.g., clauses). When a larger constituent ends, all of the smaller constituents that are nested within it must also be closed. While the standard LSTM architecture allows different neurons to track information at different time scales, it does not have an explicit bias towards modeling a hierarchy of constituents. This paper proposes to add such an inductive bias by ordering the neurons; a vector of master input and forget gates ensures that when a given neuron is updated, all the neurons that follow it in the ordering are also updated. Our novel recurrent architecture, ordered neurons LSTM (ON-LSTM), achieves good performance on four different tasks: language modeling, unsupervised parsing, targeted syntactic evaluation, and logical inference.


title: Using Generative Models to Simulate Cosmogenic Radiation

abstract: We introduce HAWCgen, a set of deep generative neural network models, which are designed to supplement, or in some cases replace, parts of the simulation pipeline for the High Altitude Water Cherenkov (HAWC) observatory. We show that simple deep generative models replicate sampling of the reconstruction at a near arbitrary speedup compared to the current simulation. Furthermore, we show that generative models can offer a replacement to the detector simulation at a comparable rate and quality to current methods. This work was done as part of an undergraduate summer intern project at NVIDIA during the month of June, 2018.


title: Pyro: Deep Universal Probabilistic Programming

abstract: Pyro is a probabilistic programming language built on Python as a platform for developing advanced probabilistic models in AI research. To scale to large datasets and high-dimensional models, Pyro uses stochastic variational inference algorithms and probability distributions built on top of PyTorch, a modern GPU-accelerated deep learning framework. To accommodate complex or model-specific algorithmic behavior, Pyro leverages Poutine, a library of composable building blocks for modifying the behavior of probabilistic programs.


title: Enhanced Representative Days and System States Modeling for Energy Storage Investment Analysis

abstract: This paper analyzes different models for evaluating investments in Energy Storage Systems (ESS) in power systems with high penetration of Renewable Energy Sources (RES). First of all, two methodologies proposed in the literature are extended to consider ESS investment: a unit commitment model that uses the System States (SS) method of representing time; and another one that uses a representative periods (RP) method. Besides, this paper proposes two new models that improve the previous ones without a significant increase of computation time. The enhanced models are the System States Reduced Frequency Matrix (SS-RFM) model which addresses short-term energy storage more approximately than the SS method to reduce the number of constraints in the problem, and the Representative Periods with Transition Matrix and Cluster Indices (RP-TM&CI) model which guarantees some continuity between representative periods, e.g. days, and introduces long-term storage into a model originally designed only for the short term. All these models are compared using an hourly unit commitment model as benchmark. While both system state models provide an excellent representation of long-term storage, their representation of short-term storage is frequently unrealistic. The RP-TM&CI model, on the other hand, succeeds in approximating both short- and long-term storage, which leads to almost 10 times lower error in storage investment results in comparison to the other models analyzed.


title: Multiscale fluid--particle thermal interaction in isotropic turbulence

abstract: We use direct numerical simulations to investigate the interaction between the temperature field of a fluid and the temperature of small particles suspended in the flow, employing both one and two-way thermal coupling, in a statistically stationary, isotropic turbulent flow. Using statistical analysis, we investigate this variegated interaction at the different scales of the flow. We find that the variance of the fluid temperature gradients decreases as the thermal response time of the suspended particles is increased. The probability density function (PDF) of the fluid temperature gradients scales with its variance, while the PDF of the rate of change of the particle temperature, whose variance is associated with the thermal dissipation due to the particles, does not scale in such a self-similar way. The modification of the fluid temperature field due to the particles is examined by computing the particle concentration and particle heat fluxes conditioned on the magnitude of the local fluid temperature gradient. These statistics highlight that the particles cluster on the fluid temperature fronts, and the important role played by the alignments of the particle velocity and the local fluid temperature gradient. The temperature structure functions, which characterize the temperature fluctuations across the scales of the flow, clearly show that the fluctuations of the fluid temperature increments are monotonically suppressed in the two-way coupled regime as the particle thermal response time is increased. Thermal caustics dominate the particle temperature increments at small scales, that is, particles that come into contact are likely to have very large differences in their temperature. This is caused by the nonlocal thermal dynamics of the particles...


title: Isolated pairs of Majorana zero modes in a disordered superconducting lead monolayer

abstract: Majorana zero modes are fractional quantum excitations appearing in pairs, each pair being a building block for quantum computation . Some possible signatures of these excitations have been reported as zero bias peaks at endpoints of one-dimensional semiconducting wires and magnetic chains. However, 1D systems are by nature fragile to a small amount of disorder that induces low-energy excitations, hence obtaining Majorana zero modes well isolated in a hard gap requires extremely clean systems. Two-dimensional systems offer an alternative route to get robust Majorana zero modes. Indeed, it was shown recently that Pb/Co/Si(111) could be used as a platform for generating 2D topological superconductivity with a strong immunity to local disorder. While 2D systems exhibit dispersive chiral edge states, they can also host Majorana zero modes located on local topological defects. According to predictions, if an odd number of zero modes are located in a topological domain an additional zero mode should appear all around the domain's edge. Here we use scanning tunneling spectroscopy to characterize a disordered superconducting monolayer of Pb coupled to underlying Co-Si magnetic islands meant to induce a topological transition. We show that pairs of zero modes are stabilized: one zero mode positioned at a point in the middle of the magnetic domain and its zero mode partner extended all around the domain. The zero mode pair is remarkably robust, it is isolated within a hard superconducting energy gap and it appears totally immune to the strong disorder present in the Pb monolayer. Our theoretical scenario supports the protected Majorana nature of this zero mode pair, highlighting the role of magnetic or spin-orbit coupling textures. This robust pair of Majorana zero modes offers a new platform for theoretical and experimental study of quantum computing.


title: Bridging the gap between nanowires and Josephson junctions: a superconducting device based on controlled fluxon transfer across nanowires

abstract: The basis for superconducting electronics can broadly be divided between two technologies: the Josephson junction and the superconducting nanowire. While the Josephson junction (JJ) remains the dominant technology due to its high speed and low power dissipation, recently proposed nanowire devices offer improvements such as gain, high fanout, and compatibility with CMOS circuits. Despite these benefits, nanowire-based electronics have largely been limited to binary operations, with devices switching between the superconducting state and a high-impedance resistive state dominated by uncontrolled hotspot dynamics. Unlike the JJ, they cannot increment an output through successive switching, and their operation speeds are limited by their slow thermal reset times. Thus, there is a need for an intermediate device with the interfacing capabilities of a nanowire but a faster, moderated response allowing for modulation of the output. Here, we present a nanowire device based on controlled fluxon transport. We show that the device is capable of responding proportionally to the strength of its input, unlike other nanowire technologies. The device can be operated to produce a multilevel output with distinguishable states, which can be tuned by circuit parameters. Agreement between experimental results and electrothermal circuit simulations demonstrates that the device is classical and may be readily engineered for applications including use as a multilevel memory.


title: BIE and BEM approach for the mixed Dirichlet-Robin boundary value problem for the nonlinear Darcy-Forchheimer-Brinkman system

abstract: The purpose of this paper is the mathematical analysis of the weak solution of the mixed Dirichlet-Robin boundary value problem for the nonlinear Darcy-Forchheimer- Brinkman system in a bounded, two-dimensional Lipschitz domain, and the application of the corresponding results to the study of the lid-driven flow problem of an incompressible viscous fluid located in a square cavity filled with a porous medium. First we obtain a well-posedness result for the linear Brinkman system with Dirichlet-Neumann boundary conditions, employing a variational approach for the corresponding boundary integral equations. The result is extended afterwards to the Poisson problem for the Brinkman system and to Dirichlet- Robin boundary conditions. Further, we study the nonlinear Darcy-Forchheimer- Brinkman boundary value problem of Dirichlet and Robin type. Using the Dual Reciprocity Boundary Element Method (DRBEM), we numerically investigate a special Dirichlet-Robin boundary value problem associated to the nonlinear Darcy-Forchheimer-Brinkman system, i.e., the lid-driven cavity flow problem. The physical properties of such a flow are discussed by the geometry of the streamlines of the fluid flow for different Reynolds and Darcy numbers. Moreover, an additional sliding parameter is imposed on the moving wall and we show its importance by segmenting the upper lid into two opposite moving segments.


title: Solving the nonlinear biharmonic equation by the Laplace-Adomian and Adomian Decomposition Methods

abstract: The biharmonic equation, as well as its nonlinear and inhomogeneous generalizations, plays an important role in engineering and physics. In particular the focusing biharmonic nonlinear Schr\"{o}dinger equation, and its standing wave solutions, have been intensively investigated. In the present paper we consider the applications of the Laplace-Adomian and Adomian Decomposition Methods for obtaining semi-analytical solutions of the generalized biharmonic equations of the type $\Delta ^{2}y+\alpha \Delta y+\omega y+b^{2}+g\left( y\right) =f$, where $\alpha $, $\omega $ and $b$ are constants, and $g$ and $f$ are arbitrary functions of $y$ and the independent variable, respectively. After introducing the general algorithm for the solution of the biharmonic equation, as an application we consider the solutions of the one-dimensional and radially symmetric biharmonic standing wave equation $\Delta ^{2}R+R-R^{2\sigma +1}=0$, with $\sigma = {\rm constant}$. The one-dimensional case is analyzed by using both the Laplace-Adomian and the Adomian Decomposition Methods, respectively, and the truncated series solutions are compared with the exact numerical solution. The power series solution of the radial biharmonic standing wave equation is also obtained, and compared with the numerical solution.


title: Unified framework for the entropy production and the stochastic interaction based on information geometry

abstract: We show a relationship between the entropy production in stochastic thermodynamics and the stochastic interaction in the information integrated theory. To clarify this relationship, we newly introduce an information geometric interpretation of the entropy production for a total system and the partial entropy productions for subsystems. We show that the violation of the additivity of the entropy productions is related to the stochastic interaction. This framework is a thermodynamic foundation of the integrated information theory. We also show that our information geometric formalism leads to a novel expression of the entropy production related to an optimization problem minimizing the Kullback-Leibler divergence. We analytically illustrate this interpretation by using the spin model.


title: Dynamic bridging of proppant particles in a hydraulic fracture

abstract: This work is focused on the development of a dynamic criterion for the arching and bridging of spherical particles in a 3D suspension flow through a channel with plane walls. Elasticity of the particles and the channel walls are taken into account. The carrier fluid is viscous and incompressible. Bridging occurs under the balance of the hydrodynamic force exerted from the fluid on the particles and the friction force exerted from the walls on the particles. The 3D motion of particles in fluid is analyzed by means of direct numerical simulation. The bridging criterion is formulated as a domain on the plane in terms of the two nondimensional parameters: the particle size to channel width ratio and the flow velocity. For each scaled particle diameter there is a range of critical velocities, in which bridging occurs. Various geometrical configurations are considered: three and four particles across the slot. Stability of the bridge is studied. The dynamic bridging criterion is different from the earlier purely kinematic criteria, which were formulated in terms of the particle-to-channel width ratio only. The bridging criterion is implemented into the 2D width-averaged lubrication model of suspension flow through a plane channel, and illustrative simulations are conducted. Application is for proppant transport in hydraulic fractures.


title: One-phase Stefan-like problems with a latent heat depending on the position and velocity of the free boundary, and with Neumann or Robin boundary conditions at the fixed face

abstract: In this paper, a one-phase Stefan-type problem for a semi-infinite material which has as its main feature a variable latent heat that depends on the power of the position and the velocity of the moving boundary is studied. Exact solutions of similarity type are obtained for the cases when Neumann or Robin boundary conditions are imposed at the fixed face. Required relationships between data are presented in order that these problems become equivalent to the problem where a Dirichlet condition at the fixed face is considered. Moreover, in the case where a Robin condition is prescribed, the limit behaviour is studied when the heat transfer coefficient at the fixed face goes to infinity.


title: On local time at time varying curve

abstract: Let $ \left(X_{t} \right)_{t\geq 0} $ be a continuous semimartingale. Let $ L^{z}_{t}\left(X\right) $ its family of local times. In \cite{YOR} Yor showed that the family $ \left( L^{z}_{t}\left(X\right) \right)_{ z \in \mathbb{R}, t \geq 0} $ has a version that is continuous in $t$, c\`ad-l\`ag in $z$. In this paper we extend this result by showing that for a 'regular' family of curves parametrized by $z$, the corresponding family of local times has a 'regular' version. This result was used in \cite{BENT} to prove a change of variable formula for continuous semimartingales.


title: Introducing Curvature to the Label Space

abstract: One-hot encoding is a labelling system that embeds classes as standard basis vectors in a label space. Despite seeing near-universal use in supervised categorical classification tasks, the scheme is problematic in its geometric implication that, as all classes are equally distant, all classes are equally different. This is inconsistent with most, if not all, real-world tasks due to the prevalence of ancestral and convergent relationships generating a varying degree of morphological similarity across classes. We address this issue by introducing curvature to the label-space using a metric tensor as a self-regulating method that better represents these relationships as a bolt-on, learning-algorithm agnostic solution. We propose both general constraints and specific statistical parameterizations of the metric and identify a direction for future research using autoencoder-based parameterizations.


title: Science with an ngVLA: Observing the Effects of Chemistry on Exoplanets and Planet Formation

abstract: One of the primary mechanisms for inferring the dynamical history of planets in our Solar System and in exoplanetary systems is through observation of elemental ratios (i.e. C/O). The ability to effectively use these observations relies critically on a robust understanding of the chemistry and evolutionary history of the observed abundances. Significant efforts have been devoted to this area from within astrochemistry circles, and these efforts should be supported going forward by the larger exoplanetary science community. In addition, the construction of a next-generation radio interferometer will be required to test many of these predictive models in situ, while simultaneously providing the resolution necessary to pinpoint the location of planets in formation.


title: IoTSan: Fortifying the Safety of IoT Systems

abstract: Today's IoT systems include event-driven smart applications (apps) that interact with sensors and actuators. A problem specific to IoT systems is that buggy apps, unforeseen bad app interactions, or device/communication failures, can cause unsafe and dangerous physical states. Detecting flaws that lead to such states, requires a holistic view of installed apps, component devices, their configurations, and more importantly, how they interact. In this paper, we design IoTSan, a novel practical system that uses model checking as a building block to reveal "interaction-level" flaws by identifying events that can lead the system to unsafe states. In building IoTSan, we design novel techniques tailored to IoT systems, to alleviate the state explosion associated with model checking. IoTSan also automatically translates IoT apps into a format amenable to model checking. Finally, to understand the root cause of a detected vulnerability, we design an attribution mechanism to identify problematic and potentially malicious apps. We evaluate IoTSan on the Samsung SmartThings platform. From 76 manually configured systems, IoTSan detects 147 vulnerabilities. We also evaluate IoTSan with malicious SmartThings apps from a previous effort. IoTSan detects the potential safety violations and also effectively attributes these apps as malicious.


title: On the solutions of Navier-Stokes equations for turbulent channel flows in a particular function class

abstract: In this paper, we continue the discussion as done in \cite{CTZ15} on turbulent channel flow described by the Navier-Stokes model and the Navier-Stokes-alpha model. We study the non-stationary solutions for the Navier-Stokes equations and Navier-Stokes-$\alpha$ model having particular function forms. In particular, the term of sum of pressure and potential can be shown to be harmonic in the space variable.


title: Convective Lengthscale in Planetary Cores

abstract: Convection is a fundamental physical process in the fluid cores of planets because it is the primary transport mechanism for heat and chemical species and the primary energy source for planetary magnetic fields. Key properties of convection, such as the characteristic flow velocity and lengthscale, are poorly quantified in planetary cores due to their strong dependence on planetary rotation, buoyancy driving and magnetic fields, which are all difficult to model under realistic conditions. In the absence of strong magnetic fields, the core convective flows are expected to be in a regime of rapidly-rotating turbulence, which remains largely unexplored to date. Here we use a combination of numerical models designed to explore this low-viscosity regime to show that the convective lengthscale becomes independent of the viscosity and is entirely determined by the flow velocity and planetary rotation. For the Earth's core, we find that the characteristic con-vective lengthscale is approximately 30km and below this scale, motions are very weak. The 30-km cutoff scale rules out small-scale dynamo action and supports large-eddy simulations of core dynamics. Furthermore, it implies that our understanding of magnetic reversals from numerical geodynamo models does not relate to the Earth, because they require too intense flows. Our results also indicate that the liquid core of the Moon might still be in an active convective state despite the absence of a present-day dynamo.


title: A Dynamics and Stability Framework for Avian Jumping Take-off

abstract: Jumping take-off in birds is an explosive behaviour with the goal of providing a rapid transition from ground to airborne locomotion. An effective jump is predicated on the need to maintain dynamic stability through the acceleration phase. The present study concerns understanding how birds retain control of body attitude and trajectory during take-off. Cursory observation suggests that stability is achieved with relatively little cost. However, analysis of the problem shows that the stability margins during jumping are actually very small and that stability considerations play a significant role in selection of appropriate jumping kinematics. We use theoretical models to understand stability in prehensile take-off (from a perch) and also in non-prehensile take-off (from the ground). The primary instability is tipping, defined as rotation of the centre of gravity about the ground contact point. Tipping occurs when the centre of pressure falls outside the functional foot. A contribution of the paper is the development of graphical tipping stability margins for both centre of gravity location and acceleration angle. We show that the nose-up angular acceleration extends stability bounds forward and is hence helpful in achieving shallow take-offs. The stability margins are used to interrogate simulated take-offs of real birds using published experimental kinematic data from a guinea fowl (ground take-off) and a diamond dove (perch take-off). For the guinea fowl the initial part of the jump is stable, however simulations exhibit a stuttering instability not observed experimentally that is probably due to absence of compliance in the idealised joints. The diamond dove model confirms that the foot provides an active torque reaction during take-off, extending the range of stable jump angles by around 45{\deg}.


title: ShareJIT: JIT Code Cache Sharing across Processes and Its Practical Implementation

abstract: Just-in-time (JIT) compilation coupled with code caching are widely used to improve performance in dynamic programming language implementations. These code caches, along with the associated profiling data for the hot code, however, consume significant amounts of memory. Furthermore, they incur extra JIT compilation time for their creation. On Android, the current standard JIT compiler and its code caches are not shared among processes---that is, the runtime system maintains a private code cache, and its associated data, for each runtime process. However, applications running on the same platform tend to share multiple libraries in common. Sharing cached code across multiple applications and multiple processes can lead to a reduction in memory use. It can directly reduce compile time. It can also reduce the cumulative amount of time spent interpreting code. All three of these effects can improve actual runtime performance. In this paper, we describe ShareJIT, a global code cache for JITs that can share code across multiple applications and multiple processes. We implemented ShareJIT in the context of the Android Runtime (ART), a widely used, state-of-the-art system. To increase sharing, our implementation constrains the amount of context that the JIT compiler can use to optimize the code. This exposes a fundamental tradeoff: increased specialization to a single process' context decreases the extent to which the compiled code can be shared. In ShareJIT, we limit some optimization to increase shareability. To evaluate the ShareJIT, we tested 8 popular Android apps in a total of 30 experiments. ShareJIT improved overall performance by 9% on average, while decreasing memory consumption by 16% on average and JIT compilation time by 37% on average.


title: On the relationship between the invariance and conservation laws of differential equations

abstract: In this paper, we highlight the complimentary nature of the results of Anco & Bluman and Ibragimov in the construction of conservation laws; that whilst the former establishes the role of multipliers, the latter presents a formal procedure to determine the flows. Secondly, we show that there is an underlying relationship between the symmetries and conservation laws in a general setting - extending the results of Kara & Mahomed. The results take apparently differently forms for point symmetry generators and higher-order symmetries. Similarities exist, to some extent, with a previously established result relating symmetries and multipliers of a differential equation. A number of examples are presented.


title: Mottness collapse without metallisation in the domain walls of triangular-lattice Mott insulator 1T-TaS$_2$

abstract: 1T-TaS$_2$ is a charge-density-wave (CDW) compound with a Mott-insulating ground state. The metallic state obtained by doping, substitution or pulsed charge injection is characterized by an emergent CDW domain wall network, while single domain walls can be found in the pristine Mott state. Here we study whether and how the single walls become metallic. Tunneling spectroscopy reveals partial suppression of the Mott gap and the presence of in-gap states strongly localized at the domain-wall sites. Using the real-space dynamical mean field theory description of the strongly correlated quantum-paramagnet ground state we show that the local gap suppression follows from the increased hopping along the connected zig-zag chain of lattice sites forming the domain wall, and that full metallisation is preempted by the splitting of the quasiparticle band into bonding and antibonding sub-bands due to the structural dimerization of the wall, explaining the presence of the in-gap states and the low density of states at the Fermi level.


title: An Efficient Bandit Algorithm for Realtime Multivariate Optimization

abstract: Optimization is commonly employed to determine the content of web pages, such as to maximize conversions on landing pages or click-through rates on search engine result pages. Often the layout of these pages can be decoupled into several separate decisions. For example, the composition of a landing page may involve deciding which image to show, which wording to use, what color background to display, etc. Such optimization is a combinatorial problem over an exponentially large decision space. Randomized experiments do not scale well to this setting, and therefore, in practice, one is typically limited to optimizing a single aspect of a web page at a time. This represents a missed opportunity in both the speed of experimentation and the exploitation of possible interactions between layout decisions. Here we focus on multivariate optimization of interactive web pages. We formulate an approach where the possible interactions between different components of the page are modeled explicitly. We apply bandit methodology to explore the layout space efficiently and use hill-climbing to select optimal content in realtime. Our algorithm also extends to contextualization and personalization of layout selection. Simulation results show the suitability of our approach to large decision spaces with strong interactions between content. We further apply our algorithm to optimize a message that promotes adoption of an Amazon service. After only a single week of online optimization, we saw a 21% conversion increase compared to the median layout. Our technique is currently being deployed to optimize content across several locations at Amazon.com.


title: Design and development of a low temperature, inductance based high frequency ac susceptometer

abstract: We report on the development of an induction based low temperature high frequency ac susceptometer capable of measuring at frequencies up to 3.5 MHz and at temperatures between 2 K and 300 K. Careful balancing of the detection coils and calibration have allowed a sample magnetic moment resolution of $5\times10^{-10} Am^2$ at 1 MHz. We will discuss the design and characterization of the susceptometer, and explain the calibration process. We also include some example measurements on the spin ice material CdEr$_2$S$_4$ and iron oxide based nanoparticles to illustrate functionality.


title: The scalarised Schwarzschild-NUT spacetime

abstract: It has recently been suggested that vacuum black holes of General Relativity (GR) can become spontaneously scalarised when appropriate non-minimal couplings to curvature invariants are considered. These models circumvent the standard black hole no scalar hair theorems of GR, allowing both the standard GR solutions and new scalarised ($a.k.a.$ hairy) solutions, which in some cases are thermodynamically preferred. Up to now, however, only (static and spherically symmetric) scalarised Schwarzschild solutions have been considered. It would be desirable to take into account the effect of rotation; however, the higher curvature invariants introduce a considerable challenge in obtaining the corresponding scalarised rotating black holes. As a toy model for rotation, we present here the scalarised generalisation of the Schwarzschild-NUT solution, taking either the Gauss-Bonnet (GB) or the Chern-Simons (CS) curvature invariant. The NUT charge $n$ endows spacetime with "rotation", but the angular dependence of the corresponding scalarised solutions factorises, leading to a considerable technical simplification. For GB, but not for CS, scalarisation occurs for $n=0$. This basic difference leads to a distinct space of solutions in the CS case, in particular exhibiting a double branch structure. In the GB case, increasing the horizon area demands a stronger non-minimal coupling for scalarisation; in the CS case, due to the double branch structure, both this and the opposite trend are found. We briefly comment also on the scalarised Reissner-Nordstr\"om-NUT solutions.


title: A representation theorem for quantale valued sup-algebras

abstract: With this paper we hope to contribute to the theory of quantales and quantale-like structures. It considers the notion of $Q$-sup-algebra and shows a representation theorem for such structures generalizing the well-known representation theorems for quantales and sup-algebras. In addition, we present some important properties of the category of $Q$-sup-algebras.


title: A switch convergence for a small perturbation of a linear recurrence equation

abstract: In this article we study a small random perturbation of a linear recurrence equation. If all the roots of its corresponding characteristic equation have modulus strictly less than one, the random linear recurrence goes exponentially fast to its limiting distribution in the total variation distance as time increases. By assuming that all the roots of its corresponding characteristic equation have modulus strictly less than one and some suitable conditions, we prove that this convergence happens as a switch-type, i.e., there is a sharp transition in the convergence to its limiting distribution. This fact is known as a cut-off phenomenon in the context of stochastic processes.


title: Prospects of detecting the nonlinear gravitational wave memory

abstract: In GW150914, approximately $3M_{\odot}$ were radiated away as gravitational waves from the binary black hole system as it merged. The stress energy of the gravitational wave itself causes a nonlinear memory effect in the detectors here on Earth called the Christodoulou memory. We use an approximation that can be applied to numerical relativity waveforms to give an estimate of the displacement magnitude and the profile of the nonlinear memory. We give a signal to noise ratio for a single GW150914-like detection event, and by varying the total mass and distance parameters of the event, we find distances and source masses for which the memory of an optimally oriented GW150914-like event would be detectable in aLIGO and future detectors.


title: Average group effect of strongly correlated predictor variables is estimable

abstract: It is well known that individual parameters of strongly correlated predictor variables in a linear model cannot be accurately estimated by the least squares regression due to multicollinearity generated by such variables. Surprisingly, an average of these parameters can be extremely accurately estimated. We find this average and briefly discuss its applications in the least squares regression.


title: Accurate Computation of Light Curves and the Rossiter-McLaughlin Effect in Multi-Body Eclipsing Systems

abstract: We present here an efficient method for computing the visible flux for each body during a multi-body eclipsing event for all commonly used limb darkening laws. Our approach follows the idea put forth by Pal (2012) to apply Green's Theorem on the limb darkening integral, thus transforming the two-dimensional flux integral over the visible disk into a one-dimensional integral over the visible boundary. We implement this idea through an iterative process which combines a fast method for describing the visible boundary of each body with a fast numerical integration scheme to compute the integrals. For the two-body case, our method compares well in speed with both that of Mandel & Agol (2002) and that of Gimenez (2006a). The strength of the method is that it works for any number of spherical bodies, with a computational accuracy that is adjustable through the use of a tolerance parameter. Most significantly, the method offers two main advantages over previously used techniques: (i) it can employ a multitude of limb darkening laws, including all of the commonly used ones; (ii) it can compute the Rossiter-McLaughlin effect for rigid body rotation with an arbitrary orientation of the rotation axis, using any of these limb darkening laws. In addition, we can compute the Rossiter-McLaughlin effect for stars exhibiting differential rotation, using the quadratic limb darkening law. We provide the mathematical background for the method and explain in detail how to implement the technique with the help of several examples and codes which we make available.


title: Lower Bounds for the Least Prime in Chebotarev

abstract: In this paper we show there exists an infinite family of number fields $L$, Galois over $\mathbb{Q}$, for which the smallest prime $p$ of $\mathbb{Q}$ which splits completely in $L$ has size at least $( \log(|D_L|) )^{2+o(1)}$. This gives a converse to various upper bounds, which shows that they are best possible.


title: Discovery of 14NH3 (2,2) maser emission in Sgr B2-Main

abstract: We report the discovery of the first 14NH3 (2,2) maser, seen in the Sgr B2 Main star forming region near the center of the Milky Way, using data from the Very Large Array radio telescope. The maser is seen in both lower resolution (3" or ~0.1 pc) data from 2012 and higher resolution (0''.1 or ~1000 AU) data from 2018. In the higher resolution data ammonia (2,2) maser emission is detected toward 5 independent spots. The maser spots are not spatially or kinematically coincident with any other masers in this region, or with the peaks of the radio continuum emission from the numerous ultracompact and hypercompact \hii\, regions in this area. While the (2,2) maser spots are spatially unresolved in our highest resolution observations, they have unusually broad linewidths of several kilometers per second, which suggests that each of these spots consists of multiple masers tracing unresolved velocity structure. No other ammonia lines observed in Sgr B2 Main are seen to be masers, which continues to challenge theories of ammonia, maser emission that predict simultaneous maser emission in multiple ammonia transitions.


title: Learning Probabilistic Trajectory Models of Aircraft in Terminal Airspace from Position Data

abstract: Models for predicting aircraft motion are an important component of modern aeronautical systems. These models help aircraft plan collision avoidance maneuvers and help conduct offline performance and safety analyses. In this article, we develop a method for learning a probabilistic generative model of aircraft motion in terminal airspace, the controlled airspace surrounding a given airport. The method fits the model based on a historical dataset of radar-based position measurements of aircraft landings and takeoffs at that airport. We find that the model generates realistic trajectories, provides accurate predictions, and captures the statistical properties of aircraft trajectories. Furthermore, the model trains quickly, is compact, and allows for efficient real-time inference.


title: Perturbation Bounds for Procrustes, Classical Scaling, and Trilateration, with Applications to Manifold Learning

abstract: One of the common tasks in unsupervised learning is dimensionality reduction, where the goal is to find meaningful low-dimensional structures hidden in high-dimensional data. Sometimes referred to as manifold learning, this problem is closely related to the problem of localization, which aims at embedding a weighted graph into a low-dimensional Euclidean space. Several methods have been proposed for localization, and also manifold learning. Nonetheless, the robustness property of most of them is little understood. In this paper, we obtain perturbation bounds for classical scaling and trilateration, which are then applied to derive performance bounds for Isomap, Landmark Isomap, and Maximum Variance Unfolding. A new perturbation bound for procrustes analysis plays a key role.


title: The $\tau$ Magnetic Dipole Moment at Future Lepton Colliders

abstract: The magnetic moment of the $\tau$ lepton is an interesting quantity that is potentially sensitive to physics beyond the Standard Model. Electroweak gauge invariance implies that a heavy new physics contribution to it takes the form of an operator which involves the Higgs boson, implying that rare Higgs decays are able to probe the same physics as $a_\tau$. We examine the prospects for rare Higgs decays at future high energy lepton (electron or muon) colliders, and find that such a project collecting a few ab$^{-1}$ would be able to advance our understanding of this physics by roughly a factor of 10 compared to the expected reach of the high luminosity LHC.


title: 2D quantum computation with 3D topological codes

abstract: I present a fault-tolerant quantum computing method for 2D architectures that is particularly appealing for photonic qubits. It relies on a crossover of techniques from topological stabilizer codes and measurement based quantum computation. In particular, it is based on 3D color codes and their transversal operations.


title: Inflation and Early Dark Energy with a Stage II Hydrogen Intensity Mapping Experiment

abstract: This white paper envisions a revolutionary post-DESI, post-LSST dark energy program based on intensity mapping of the redshifted 21cm emission line from neutral hydrogen at radio frequencies. The proposed intensity mapping survey has the unique capability to quadruple the volume of the Universe surveyed by optical programs, provide a percent-level measurement of the expansion history to $z \sim 6$, open a window to explore physics beyond the concordance $\Lambda$CDM model, and to significantly improve the precision on standard cosmological parameters. In addition, characterization of dark energy and new physics will be powerfully enhanced by cross-correlations with optical surveys and cosmic microwave background measurements. The rich dataset obtained by the proposed intensity mapping instrument will be simultaneously useful in exploring the time-domain physics of fast radio transients and pulsars, potentially in live "multi-messenger" coincidence with other observatories. The core dark energy/inflation science advances enabled by this program are the following: (i) Measure the expansion history of the universe over $z=0.3-6$ with a single instrument, extending the range deep into the pre-acceleration era, providing an unexplored window for new physics; (ii) Measure the growth rate of structure in the universe over the same redshift range; (iii) Observe, or constrain, the presence of inflationary relics in the primordial power spectrum, improving existing constraints by an order of magnitude; (iv) Observe, or constrain, primordial non-Gaussianity with unprecedented precision, improving constraints on several key numbers by an order of magnitude. Detailed mapping of the enormous, and still largely unexplored, volume of cosmic space will thus provide unprecedented information on fundamental questions of the vacuum energy and early-universe physics.


title: Piezoelectric-based uniaxial pressure cell with integrated force and displacement sensors

abstract: We present a design for a piezoelectric-driven uniaxial stress cell suitable for use at ambient and cryogenic temperatures, and that incorporates both a displacement and a force sensor. The cell has a diameter of 46 mm and a height of 13 mm. It can apply a zero-load displacement of up to ~45 $\mu$m, and a zero-displacement force of up to ~245 N. With combined knowledge of the displacement and force applied to the sample, it can quickly be determined whether the sample and its mounts remain within their elastic limits. In tests on the oxide metal Sr$_2$RuO$_4$, we found that at room temperature serious plastic deformation of the sample onset at a uniaxial stress of ~0.2 GPa, while at 5 K the sample deformation remained elastic up to almost 2 GPa. This result highlights the usefulness of in situ tuning, in which the force can be applied after cooling samples to cryogenic temperatures.


title: On the physical implications of Hawking's spacetime foam

abstract: Hawking's spacetime foam model predicts that due to quantum fluctuations, spacetime is filled with black hole like objects. We argue that Hawking's model implies a cosmological constant of the observed order and that it can also be used to solve the problem of time in quantum gravity.


title: Transversal gates and error propagation in 3D topological codes

abstract: I study the interplay of errors with transversal gates in 3D color codes, and introduce some new such gates. Two features of the transversal T gate stand out: (i) it naturally defines a set of correctable errors, and (ii) it exhibits a `linking charge' phenomenon that is of interest for a wide class of 3D topologically ordered systems.


title: Conditions for fully gapped topological superconductivity in topological insulator nanowires

abstract: Among the different platforms to engineer Majorana fermions in one-dimensional topological superconductors, topological insulator nanowires remain a promising option. Threading an odd number of flux quanta through these wires induces an odd number of surface channels, which can then be gapped with proximity induced pairing. Because of the flux and depending on energetics, the phase of this surface pairing may or may not wind around the wire in the form of a vortex. Here we show that for wires with discrete rotational symmetry, this vortex is necessary to produce a fully gapped topological superconductor with localized Majorana end states. Without a vortex the proximitized wire remains gapless, and it is only if the symmetry is broken by disorder that a gap develops, which is much smaller than the one obtained with a vortex. These results are explained with the help of a continuum model and validated numerically with a tight binding model, and highlight the benefit of a vortex for reliable use of Majorana fermions in this platform.


title: Secondary Voltage Control of Microgrids Using Nonlinear Multiple Models Adaptive Control

abstract: This paper proposes a novel model-free secondary voltage control (SVC) for microgrids using nonlinear multiple models adaptive control. The proposed method is comprised of two components. Firstly, a linear robust adaptive controller is designed to guarantee the voltage stability in the bounded-input-bounded-output (BIBO) manner, which is more consistent with the operation requirements of microgrids. Secondly, a nonlinear adaptive controller is developed to improve the voltage tracking performance with the help of artificial neural networks (ANNs). A switching mechanism is proposed to coordinate such two controllers for guaranteeing the closed-loop stability while achieving accurate voltage tracking. Given our method leverages a data-driven real-time identification, it only relies on the input and output data of microgrids without resorting to any prior information of primary control and grid models, thus exhibiting good robustness, ease of deployment and disturbance rejection.


title: Bioresorbable Scaffold Visualization in IVOCT Images Using CNNs and Weakly Supervised Localization

abstract: Bioresorbable scaffolds have become a popular choice for treatment of coronary heart disease, replacing traditional metal stents. Often, intravascular optical coherence tomography is used to assess potential malapposition after implantation and for follow-up examinations later on. Typically, the scaffold is manually reviewed by an expert, analyzing each of the hundreds of image slices. As this is time consuming, automatic stent detection and visualization approaches have been proposed, mostly for metal stent detection based on classic image processing. As bioresorbable scaffolds are harder to detect, recent approaches have used feature extraction and machine learning methods for automatic detection. However, these methods require detailed, pixel-level labels in each image slice and extensive feature engineering for the particular stent type which might limit the approaches' generalization capabilities. Therefore, we propose a deep learning-based method for bioresorbable scaffold visualization using only image-level labels. A convolutional neural network is trained to predict whether an image slice contains a metal stent, a bioresorbable scaffold, or no device. Then, we derive local stent strut information by employing weakly supervised localization using saliency maps with guided backpropagation. As saliency maps are generally diffuse and noisy, we propose a novel patch-based method with image shifting which allows for high resolution stent visualization. Our convolutional neural network model achieves a classification accuracy of 99.0 % for image-level stent classification which can be used for both high quality in-slice stent visualization and 3D rendering of the stent structure.


title: Monte Carlo Renormalization Group for Systems with Quenched Disorder

abstract: We extend to quenched disordered systems the variational scheme for real space renormalization group calculations that we recently introduced for homogeneous spin Hamiltonians. When disorder is present our approach gives access to the flow of the renormalized Hamiltonian distribution, from which one can compute the critical exponents if the correlations of the renormalized couplings retain finite range. Key to the variational approach is the bias potential found by minimizing a convex functional in statistical mechanics. This potential reduces dramatically the Monte Carlo relaxation time in large disordered systems. We demonstrate the method with applications to the two-dimensional dilute Ising model, the random transverse field quantum Ising chain, and the random field Ising in two and three dimensional lattices.


title: A Fully Attention-Based Information Retriever

abstract: Recurrent neural networks are now the state-of-the-art in natural language processing because they can build rich contextual representations and process texts of arbitrary length. However, recent developments on attention mechanisms have equipped feedforward networks with similar capabilities, hence enabling faster computations due to the increase in the number of operations that can be parallelized. We explore this new type of architecture in the domain of question-answering and propose a novel approach that we call Fully Attention Based Information Retriever (FABIR). We show that FABIR achieves competitive results in the Stanford Question Answering Dataset (SQuAD) while having fewer parameters and being faster at both learning and inference than rival methods.


title: SkyMapper stellar parameters for Galactic Archaeology on a grand-scale

abstract: The SkyMapper photometric surveys provides uvgriz photometry for several millions sources in the Southern sky. We use DR1.1 to explore the quality of its photometry, and develop a formalism to homogenise zero-points across the sky using stellar effective temperatures. Physical flux transformations, and zero-points appropriate for this release are derived, along with relations linking colour indices to stellar parameters. Reddening-free pseudo-colours and pseudo-magnitudes are also introduced. For late-type stars which are best suited for Galactic Archaeology, we show that SkyMapper+2MASS are able to deliver a precision better than 100K in effective temperatures (depending on the filters), ~0.2dex for metallicities above -2, and a reliable distinction between M-dwarfs and -giants. Together with astrometric and asteroseismic space mission, SkyMapper promises to be a treasure trove for stellar and Galactic studies.


title: Two-path 3D CNNs for calibration of system parameters for OCT-based motion compensation

abstract: Automatic motion compensation and adjustment of an intraoperative imaging modality's field of view is a common problem during interventions. Optical coherence tomography (OCT) is an imaging modality which is used in interventions due to its high spatial resolution of few micrometers and its temporal resolution of potentially several hundred volumes per second. However, performing motion compensation with OCT is problematic due to its small field of view which might lead to tracked objects being lost quickly. We propose a novel deep learning-based approach that directly learns input parameters of motors that move the scan area for motion compensation from optical coherence tomography volumes. We design a two-path 3D convolutional neural network (CNN) architecture that takes two volumes with an object to be tracked as its input and predicts the necessary motor input parameters to compensate the object's movement. In this way, we learn the calibration between object movement and system parameters for motion compensation with arbitrary objects. Thus, we avoid error-prone hand-eye calibration and handcrafted feature tracking from classical approaches. We achieve an average correlation coefficient of 0.998 between predicted and ground-truth motor parameters which leads to sub-voxel accuracy. Furthermore, we show that our deep learning model is real-time capable for use with the system's high volume acquisition frequency.


title: Model Selection Techniques -- An Overview

abstract: In the era of big data, analysts usually explore various statistical models or machine learning methods for observed data in order to facilitate scientific discoveries or gain predictive power. Whatever data and fitting procedures are employed, a crucial step is to select the most appropriate model or method from a set of candidates. Model selection is a key ingredient in data analysis for reliable and reproducible statistical inference or prediction, and thus central to scientific studies in fields such as ecology, economics, engineering, finance, political science, biology, and epidemiology. There has been a long history of model selection techniques that arise from researches in statistics, information theory, and signal processing. A considerable number of methods have been proposed, following different philosophies and exhibiting varying performances. The purpose of this article is to bring a comprehensive overview of them, in terms of their motivation, large sample performance, and applicability. We provide integrated and practically relevant discussions on theoretical properties of state-of- the-art model selection approaches. We also share our thoughts on some controversial views on the practice of model selection.

categories: stat.ML cs.IT cs.LG econ.EM math.IT physics.app-ph


title: Martingale theory for housekeeping heat

abstract: The housekeeping heat is the energy exchanged between a system and its environment in a nonequilibrium process that results from the violation of detailed balance. We describe fluctuations of the housekeeping heat in mesoscopic systems using the theory of martingales, a mathematical framework widely used in probability theory and finance. We show that the exponentiated housekeeping heat (in units of $k_{\rm B}T$, with $k_{\rm B}$ the Boltzmann constant and $T$ the temperature) of a Markovian nonequilibrium process under arbitrary time-dependent driving is a martingale process. From this result, we derive universal equalities and inequalities for the statistics of stopping-times and suprema of the housekeeping heat. We test our results with numerical simulations of a system driven out of equilibrium and described by Langevin dynamics.


title: On the Equivalence of von Neumann and Thermodynamic Entropy

abstract: In 1939, von Neumann argued for the equivalence of the thermodynamic entropy and $-\text{Tr}\rho\ln\rho$, since known as the von Neumann entropy. Hemmo and Shenker (2006) recently challenged this argument by pointing out an alleged discrepancy between the two entropies in the single particle case, concluding that they must be distinct. In this article, their argument is shown to be problematic as it a) allows for a violation of the second law of thermodynamics and b) is based on an incorrect calculation of the von Neumann entropy.


title: Determining Gas Composition for Growth of BNNTs Using Thermodynamic Approach

abstract: A high-yield production of high-quality boron-nitride nanotubes (BNNTs) was reported recently in several publications. A boron-rich material is evaporated by a laser or plasma in a nitrogen-rich atmosphere to supply precursor gaseous species for nucleation and growth of BNNTs. Either hydrogen was added or pressure was increased in the system to achieve high yield and high purity of the synthesized nanotubes. According to the widely-accepted "root grow" mechanism, upon the gas cooling, boron droplets form first, then they adsorb nitrogen from surrounding gas species, and BNNTs grow on their surfaces. However, what are these precursor species that provide nitrogen for the growth is still an open question. To answer this question, we performed thermodynamic calculations of B-N mixture composition considering broad set of gas species. In enhancement of previous studies, the condensation of boron is now taken into account and is shown to have drastic effect on the gas chemical composition. B2N molecules were identified to be a major source of nitrogen for growth of BNNTs. Presence of B2N molecules in a B-N gas mixture was verified by our spectroscopic measurements during a laser ablation of boron-rich targets in nitrogen. It was shown that the increase of pressure has a quantitative effect on the mixture composition yielding increase of the precursor density. The hydrogen addition might open an additional channel of nitrogen supply to support growth of BNNTs. Nitrogen atoms react with abundant H2 molecules to form NH2 and then NH3 precursor species, instead of just recombining back to inert N2 molecules, as in the no-hydrogen case. In addition, thermodynamics was applied in conjunction with agglomeration theory to predict the size of boron droplets upon growth of BNNTs. Analytical relations for identification of crucial species densities were derived.


title: Towards Universal Dialogue State Tracking

abstract: Dialogue state tracking is the core part of a spoken dialogue system. It estimates the beliefs of possible user's goals at every dialogue turn. However, for most current approaches, it's difficult to scale to large dialogue domains. They have one or more of following limitations: (a) Some models don't work in the situation where slot values in ontology changes dynamically; (b) The number of model parameters is proportional to the number of slots; (c) Some models extract features based on hand-crafted lexicons. To tackle these challenges, we propose StateNet, a universal dialogue state tracker. It is independent of the number of values, shares parameters across all slots, and uses pre-trained word vectors instead of explicit semantic dictionaries. Our experiments on two datasets show that our approach not only overcomes the limitations, but also significantly outperforms the performance of state-of-the-art approaches.


title: The Linear Stability of Symmetric Spike Patterns for a Bulk-Membrane Coupled Gierer-Meinhardt Model

abstract: We analyze a coupled bulk-membrane PDE model in which a scalar linear 2-D bulk diffusion process is coupled through a linear Robin boundary condition to a two-component 1-D reaction-diffusion (RD) system with Gierer-Meinhardt (nonlinear) reaction kinetics defined on the domain boundary. For this coupled model, in the singularly perturbed limit of a long-range inhibition and short-range activation for the membrane-bound species, asymptotic methods are used to analyze the existence of localized steady-state multi-spike membrane-bound patterns, and to derive a nonlocal eigenvalue problem (NLEP) characterizing $\mathcal{O}(1)$ time-scale instabilities of these patterns. A central, and novel, feature of this NLEP is that it involves a membrane Green's function that is coupled nonlocally to a bulk Green's function. When the domain is a disk, or in the well-mixed shadow-system limit corresponding to an infinite bulk diffusivity, this Green's function problem is analytically tractable, and as a result we will use a hybrid analytical-numerical approach to determine unstable spectra of this NLEP. This analysis characterizes how the 2-D bulk diffusion process and the bulk-membrane coupling modifies the well-known linear stability properties of steady-state spike patterns for the 1-D Gierer-Meinhardt model in the absence of coupling. In particular, phase diagrams in parameter space for our coupled model characterizing either oscillatory instabilities due to Hopf bifurcations, or competition instabilities due to zero-eigenvalue crossings are constructed. Finally, linear stability predictions from the NLEP analysis are confirmed with full numerical finite-element simulations of the coupled PDE system.


title: Twin-beam intensity-difference squeezing below 10 Hz

abstract: We report the generation of strong, bright-beam intensity-difference squeezing down to measurement frequencies below 10 Hz. We generate two-mode squeezing in a four-wave mixing (4WM) process in Rb vapor, where the single-pass-gain nonlinear process does not require cavity locking and only relies on passive stability. We use diode laser technology and several techniques, including dual seeding, to remove the noise introduced by seeding the 4WM process as well as the background noise. Twin-beam intensity-difference squeezing down to frequencies limited only by the mechanical and atmospheric stability of the lab is achieved. These results should enable important low-frequency applications such as direct intensity-difference imaging with bright beams on integrating detectors.


title: The Lives of Bots

abstract: Automated software agents --- or bots --- have long been an important part of how Wikipedia's volunteer community of editors write, edit, update, monitor, and moderate content. In this paper, I discuss the complex social and technical environment in which Wikipedia's bots operate. This paper focuses on the establishment and role of English Wikipedia's bot policies and the Bot Approvals Group, a volunteer committee that reviews applications for new bots and helps resolve conflicts between Wikipedians about automation. In particular, I examine an early bot controversy over the first bot in Wikipedia to automatically enforce a social norm about how Wikipedian editors ought to interact in discussion spaces. As I show, bots enforce many rules in Wikipedia, but humans produce these bots and negotiate rules around their operation. Because of the openness of Wikipedia's processes around automation, we can vividly observe the often-invisible human work involved in such algorithmic systems --- in stark contrast to most other user-generated content platforms.


title: Applying Deep Learning To Airbnb Search

abstract: The application to search ranking is one of the biggest machine learning success stories at Airbnb. Much of the initial gains were driven by a gradient boosted decision tree model. The gains, however, plateaued over time. This paper discusses the work done in applying neural networks in an attempt to break out of that plateau. We present our perspective not with the intention of pushing the frontier of new modeling techniques. Instead, ours is a story of the elements we found useful in applying neural networks to a real life product. Deep learning was steep learning for us. To other teams embarking on similar journeys, we hope an account of our struggles and triumphs will provide some useful pointers. Bon voyage!


title: Far-infrared And Nebular Star-formation Rates Of Dusty Star Forming Galaxies From Herschel And 3d-hst At Z~1

abstract: We present results of a multi-band Spectral Energy Distribution (SED) and nebular emission line analysis of a sample of 1147 spectroscopically identified dusty star-forming galaxies at 0.49 < z < 2.24 from Herschel/SPIRE and HST/WFC3 grism observations in the five CANDELS fields: AEGIS, GOODS-N, GOODS-S, COSMOS, and UDS. We use the spectroscopic redshifts measured from nebular lines to construct the SEDs of galaxies from the optical to the infrared using HST and Herschel photometry. We further utilize the 3D-HST grism Ha line flux measurements to measure the nebular star-formation rates after correcting for attenuation. We compare this with direct observations of the SFR measurements in the far-infrared from Herschel. Observation of the infrared excess (IRX) in this sample as a function of the UV spectral slope reveals that these DSFGs deviate toward bluer colors, thus sitting well above the expected relation for normal star-forming galaxies. The high-z dusty galaxies have a stellar mass distribution that is skewed towards larger masses, with $M_{med} = 2.6 \times 10^{10} M_{\odot}$. However this population has star-formation rates consistent with the most massive tail of the main sequence, showing that these are both the most massive and the most star-forming galaxies during the peak epoch of formation.


title: MiME: Multilevel Medical Embedding of Electronic Health Records for Predictive Healthcare

abstract: Deep learning models exhibit state-of-the-art performance for many predictive healthcare tasks using electronic health records (EHR) data, but these models typically require training data volume that exceeds the capacity of most healthcare systems. External resources such as medical ontologies are used to bridge the data volume constraint, but this approach is often not directly applicable or useful because of inconsistencies with terminology. To solve the data insufficiency challenge, we leverage the inherent multilevel structure of EHR data and, in particular, the encoded relationships among medical codes. We propose Multilevel Medical Embedding (MiME) which learns the multilevel embedding of EHR data while jointly performing auxiliary prediction tasks that rely on this inherent EHR structure without the need for external labels. We conducted two prediction tasks, heart failure prediction and sequential disease prediction, where MiME outperformed baseline methods in diverse evaluation settings. In particular, MiME consistently outperformed all baselines when predicting heart failure on datasets of different volumes, especially demonstrating the greatest performance improvement (15% relative gain in PR-AUC over the best baseline) on the smallest dataset, demonstrating its ability to effectively model the multilevel structure of EHR data.


title: On the dynamics of zero-speed solutions for Camassa-Holm type equations

abstract: In this paper we consider globally defined solutions of Camassa-Holm (CH) type equations outside the well-known nonzero speed, peakon region. These equations include the standard CH and Degasperis-Procesi (DP) equations, as well as nonintegrable generalizations such as the $b$-family, elastic rod and BBM equations. Having globally defined solutions for these models, we introduce the notion of \emph{zero-speed and breather solutions}, i.e., solutions that do not decay to zero as $t\to +\infty$ on compact intervals of space. We prove that, under suitable decay assumptions, such solutions do not exist because the identically zero solution is the global attractor of the dynamics, at least in a spatial interval of size $|x|\lesssim t^{1/2-}$ as $t\to+\infty$. As a consequence, we also show scattering and decay in CH type equations with long range nonlinearities. Our proof relies in the introduction of suitable Virial functionals \`a la Martel-Merle in the spirit of the works by one of us and Ponce, and Kowalczyk-Martel adapted to CH, DP and BBM type dynamics, one of them placed in $L^1_x$, and a second one in the energy space $H^1_x$. Both functionals combined lead to local in space decay to zero in $|x|\lesssim t^{1/2-}$ as $t\to+\infty$. Our methods do not rely on the integrable character of the equation, applying to other nonintegrable families of CH type equations as well.


title: Variational theory of non-relativistic quantum electrodynamics

abstract: The ability to achieve ultra-strong coupling between light and matter promises to bring about new means to control material properties, new concepts for manipulating light at the atomic scale, and fundamentally new insights into quantum electrodynamics (QED). Thus, there is a need to develop quantitative theories of QED phenomena in complex electronic and photonic systems. In this Letter, we develop a variational theory of general non-relativistic QED systems of coupled light and matter. Essential to our ansatz is the notion of an effective photonic vacuum whose modes are different than the modes in the absence of light-matter coupling. This variational formulation leads to a set of general equations that can describe the ground state of multi-electron systems coupled to many photonic modes in real space. As a first step towards a new ab initio approach to ground and excited state energies in QED, we apply our ansatz to describe a multi-level emitter coupled to many optical modes, a system with no analytical solution. We find a compact semi-analytical formula which describes ground and excited state energies to less than 1% error in all regimes of coupling parameters allowed by sum rules. Additionally, our formulation provides essentially a non-perturbative theory of Lamb shifts and Casimir-Polder forces, as well as suggesting new physical concepts such as the Casimir energy of a single atom in a cavity. Our method should give rise to highly accurate descriptions of phenomena in general QED systems, such as Casimir forces, Lamb shifts, spontaneous emission, and other fluctuational electrodynamical effects.


title: First-principles studies of spin-orbital physics in pyrochlore oxides

abstract: The pyrochlore oxides $A_2B_2$O$_7$ exhibit a complex interplay between geometrical frustration, electronic correlations, and spin-orbit coupling, due to the lattice structure and active charge, spin, and orbital degrees of freedom. Understanding the properties of these materials is a theoretical chalenge, because their intricate nature depends on material-specific details and quantum many-body effects. Here we review our recent studies based on first-principles calculations and quantum many-body theories for 4$d$ and 5$d$ pyrochlore oxides with $B$=Mo, Os, and Ir. In these studies, the spin-orbit coupling and local electron correlations are treated within the LDA+$U$ and LDA+dynamical mean-field theory formalisms. We also discuss the technical aspects of these calculations.


title: Biomedical Document Clustering and Visualization based on the Concepts of Diseases

abstract: Document clustering is a text mining technique used to provide better document search and browsing in digital libraries or online corpora. A lot of research has been done on biomedical document clustering that is based on using existing ontology. But, associations and co-occurrences of the medical concepts are not well represented by using ontology. In this research, a vector representation of concepts of diseases and similarity measurement between concepts are proposed. They identify the closest concepts of diseases in the context of a corpus. Each document is represented by using the vector space model. A weight scheme is proposed to consider both local content and associations between concepts. A Self-Organizing Map is used as document clustering algorithm. The vector projection and visualization features of SOM enable visualization and analysis of the clusters distributions and relationships on the two dimensional space. The experimental results show that the proposed document clustering framework generates meaningful clusters and facilitate visualization of the clusters based on the concepts of diseases.


title: Explainable artificial intelligence (XAI), the goodness criteria and the grasp-ability test

abstract: This paper introduces the "grasp-ability test" as a "goodness" criteria by which to compare which explanation is more or less meaningful than others for users to understand the automated algorithmic data processing.


title: Second order estimates on transition layers

abstract: In this paper we establish a uniform $C^{2,\theta}$ estimate for level sets of stable solutions to the singularly perturbed Allen-Cahn equation in dimensions $ n\leq 10$ (which is optimal). The proof combines two ingredients: one is the infinite dimensional reduction method which enables us to reduce the $C^{2,\theta}$ estimate for these level sets to a corresponding one on solutions of Toda system; the other one uses a small regularity theorem on stable solutions of Toda system to establish various decay estimates on these solutions, which gives a lower bound on distances between different sheets of solutions to Toda system or level sets of solutions to Allen-Cahn equation.


title: Zero temperature limit for the Brownian directed polymer among Poissonian disasters

abstract: We study a continuum model of directed polymer in random environment. The law of the polymer is defined as the Brownian motion conditioned to survive among space-time Poissonian disasters. This model is well-studied in the positive temperature regime. However, at zero-temperature, even the existence of the free energy has not been proved. In this article, we prove that the free energy exists and is continuous at zero-temperature.


title: Determining the Rolle function in Lagrange interpolatory approximation

abstract: We determine the Rolle function in Lagrange polynomial approximation using a suitable differential equation. We then propose a device for improving the Lagrange approximation by exploiting our knowledge of the Rolle function.


title: Malleability of complex networks

abstract: Most complex networks are not static, but evolve along time. Given a specific configuration of one such changing network, it becomes a particularly interesting issue to quantify the diversity of possible unfoldings of its topology. In this work, we suggest the concept of malleability of a network, which is defined as the exponential of the entropy of the probabilities of each possible unfolding with respect to a given configuration. We calculate the malleability with respect to specific measurements of the involved topologies. More specifically, we identify the possible topologies derivable from a given configuration and calculate some topological measurement of them (e.g. clustering coefficient, shortest path length, assortativity, etc.), leading to respective probabilities being associated to each possible measurement value. Though this approach implies some level of degeneracy in the mapping from topology to measurement space, it still paves the way to inferring the malleability of specific network types with respect to given topological measurements. We report that the malleability, in general, depends on each specific measurement, with the average shortest path length and degree assortativity typically leading to large malleability values. The maximum malleability was observed for the Wikipedia network and the minimum for the Watts-Strogatz model.


title: Prisoner's dilemma game on complex networks with a death process: Effects of minimum requirements and immigration

abstract: We present results of the prisoner's dilemma game on complex networks that have population change. We introduce a death process with minimum requirements and show that it induces a highly cooperative society. We also study the effects of immigration on the society. We show that the acceptable number of immigrants of the society is determined by the population of the society, the ratio of cooperator among immigrants, and the immigration interval. In addition, if immigrants have a preferential attachment link, the acceptable number of immigrants increases.


title: A separation theorem for simple theories

abstract: This paper builds model-theoretic tools to detect changes in complexity among the simple theories. We develop a generalization of dividing, called shearing, which depends on a so-called context c. This leads to defining c-superstability, a syntactical notion, which includes supersimplicity as a special case. We prove a separation theorem showing that for any countable context c and any two theories $T_1$, $T_2$ such that $T_1$ is c-superstable and $T_2$ is c-unsuperstable, and for arbitrarily large $\mu$, it is possible to build models of any theory interpreting both $T_1$ and $T_2$ whose restriction to $\tau(T_1)$ is $\mu$-saturated and whose restriction to $\tau(T_2)$ is not $\aleph_1$-saturated. (This suggests "c-superstable" is really a dividing line.) The proof uses generalized Ehrenfeucht-Mostowski models, and along the way, we clarify the use of these techniques to realize certain types while omitting others. In some sense, shearing allows us to study the interaction of complexity coming from the usual notion of dividing in simple theories and the more combinatorial complexity detected by the general definition. This work is inspired by our recent progress on Keisler's order, but does not use ultrafilters, rather aiming to build up the internal model theory of these classes.


title: Source Code Properties of Defective Infrastructure as Code Scripts

abstract: Context: In continuous deployment, software and services are rapidly deployed to end-users using an automated deployment pipeline. Defects in infrastructure as code (IaC) scripts can hinder the reliability of the automated deployment pipeline. We hypothesize that certain properties of IaC source code such as lines of code and hard-coded strings used as configuration values, show correlation with defective IaC scripts. Objective: The objective of this paper is to help practitioners in increasing the quality of infrastructure as code (IaC) scripts through an empirical study that identifies source code properties of defective IaC scripts. Methodology: We apply qualitative analysis on defect-related commits mined from open source software repositories to identify source code properties that correlate with defective IaC scripts. Next, we survey practitioners to assess the practitioner's agreement level with the identified properties. We also construct defect prediction models using the identified properties for 2,439 scripts collected from four datasets. Results: We identify 10 source code properties that correlate with defective IaC scripts. Of the identified 10 properties we observe lines of code and hard-coded string to show the strongest correlation with defective IaC scripts. Hard-coded string is the property of specifying configuration value as hard-coded string. According to our survey analysis, majority of the practitioners show agreement for two properties: include, the property of executing external modules or scripts, and hard-coded string. Using the identified properties, our constructed defect prediction models show a precision of 0.70~0.78, and a recall of 0.54~0.67.


title: Classical limit of quantum propositions

abstract: Contrary to classical semantics, the disjunction of two experimental propositions relating to pure states of a quantum system ("quantum propositions" for short) can be true even in the case where neither disjunct is true. This suggests that in such case either both disjuncts are false and so the distributive laws are not applicable to quantum propositions (this inference is accepted in quantum logic) or the disjuncts are not bivalent, i.e., neither true nor false, therefore the principle of bivalence is not applicable to quantum propositions. But, to accept the latter inference, one must explain how quantum propositions become bivalent in the classical limit. This paper shows the emergence of bivalence through the interaction between a quantum system and its environment and compares the environmentally induced bivalence with the classical limit of quantum logic.


title: Information Flow in First-Order Potts Model Phase Transition

abstract: Phase transitions abound in nature and society, and, from species extinction to stock market collapse, their prediction is of widespread importance. In earlier work we showed that Global Transfer Entropy, a general measure of information flow, was found to peak away from the transition on the disordered side for the Ising model, a canonical second-order transition. Here we show that (a) global transfer entropy also peaks on the disordered side of the transition of finite first-order transitions, i.e., those which have finite latent heat and no correlation length divergence, such as ecology dynamics on coral reefs, and (b) analysis of information flow across state boundaries unifies both transition orders. We obtain the first information-theoretic result for the high-order Potts model and the first demonstration of early warning of a first-order transition. The unexpected earlier finding that global transfer entropy peaks on the disordered side of a transition is also found for finite first-order systems, albeit not in the thermodynamic limit. By noting that the interface length of clusters in each phase is the dominant region of information flow, we unify the information theoretic behaviour of first and second-order transitions.


title: Symmetric supermodes in cyclic multicore fibers

abstract: Nearest-neighbor coupled-mode theory is a powerful framework to describe electromagnetic-wave propagation in multicore fibers but it lacks precision as the separation between cores decreases. We use abstract symmetries to study a ring of evenly distributed identical cores around a central core, a common configuration used in telecommunications and sensing. We find its normal modes and their effective propagation constants while including the effect of all high-order inter-core couplings. Finite-element simulations support our results to good agreement. Only two of these effective modes involve fields in all the cores. These two modes display opposite-sign phase configurations between the fields in the external cores and the central core. These two modes still appear in the limit where the external cores become a continuous ring. Our results might help improve predictions for crosstalk in telecommunications or precision in sensing applications.


title: Neural Transition-based Syntactic Linearization

abstract: The task of linearization is to find a grammatical order given a set of words. Traditional models use statistical methods. Syntactic linearization systems, which generate a sentence along with its syntactic tree, have shown state-of-the-art performance. Recent work shows that a multi-layer LSTM language model outperforms competitive statistical syntactic linearization systems without using syntax. In this paper, we study neural syntactic linearization, building a transition-based syntactic linearizer leveraging a feed-forward neural network, observing significantly better results compared to LSTM language models on this task.


title: A Theory of Lazy Imperative Timing

abstract: We present a theory of lazy imperative timing.