title: Cantor uniqueness and multiplicity along subsequences

abstract: We construct a trigonometric series converging to zero everywhere on a subsequence, with coefficients tending to zero. We show that any such series must satisfy that the subsequence is very sparse, and that the support of the related distribution is quite large.


title: An LMI Based Stability Margin Analysis for Active PV Power Control of Distribution Networks with Time-Invariant Delays

abstract: High penetration of photovoltaic (PV) generators can lead to voltage issues in distribution networks. Various approaches including the real power control through PV inverters have been proposed to address voltage issues. However, among different control strategies, communication delays are inevitably involved and they need to be carefully considered in the control loop. Those delays can significantly deteriorate the system performance with undesired voltage quality, and may also cause system instability. In this paper, according to the inverter based active power control strategy, a linearized state space model with communication delay is presented. A delay dependent stability criterion using linear matrix inequality (LMI) approach is used to rigorously obtain the delay margins based on different system parameters. The method can handle multiple PVs in the distribution network as well.


title: First Integrals from Conformal Symmetries: Darboux-Koenigs Metrics and Beyond

abstract: On spaces of constant curvature, the geodesic equations automatically have higher order integrals, which are just built out of first order integrals, corresponding to the abundance of Killing vectors. This is no longer true for general conformally flat spaces, but in this case there is a large algebra of conformal symmetries. In this paper we use these conformal symmetries to build higher order integrals for the geodesic equations. We use this approach to give a new derivation of the Darboux-Koenigs metrics, which have only one Killing vector, but two quadratic integrals. We also consider the case of possessing one Killing vector and two cubic integrals. The approach allows the quantum analogue to be constructed in a simpler manner.


title: Highly Relevant Routing Recommendation Systems for Handling Few Data Using MDL Principle and Embedded Relevance Boosting Factors

abstract: A route recommendation system can provide better recommendation if it also takes collected user reviews into account, e.g. places that generally get positive reviews may be preferred. However, to classify sentiment, many classification algorithms existing today suffer in handling small data items such as short written reviews. In this paper we propose a model for a strongly relevant route recommendation system that is based on an MDL-based (Minimum Description Length) sentiment classification and show that such a system is capable of handling small data items (short user reviews). Another highlight of the model is the inclusion of a set of boosting factors in the relevance calculation to improve the relevance in any recommendation system that implements the model.


title: Checking the Model and the Prior for the Constrained Multinomial

abstract: The multinomial model is one of the simplest statistical models. When constraints are placed on the possible values for the probabilities, however, it becomes much more difficult to deal with. Model checking and checking for prior-data conflict is considered here for such models. A theorem is proved that establishes the consistency of the check on the prior. Applications are presented to models that arise in quantum state estimation as well as the Bayesian analysis of models for ordered probabilities.


title: Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries

abstract: A prominent approach to implementing ontology-mediated queries (OMQs) is to rewrite into a first-order query, which is then executed using a conventional SQL database system. We consider the case where the ontology is formulated in the description logic EL and the actual query is a conjunctive query and show that rewritings of such OMQs can be efficiently computed in practice, in a sound and complete way. Our approach combines a reduction with a decomposed backwards chaining algorithm for OMQs that are based on the simpler atomic queries, also illuminating the relationship between first-order rewritings of OMQs based on conjunctive and on atomic queries. Experiments with real-world ontologies show promising results.


title: The Connection Between Different Tracers Of The Diffuse Interstellar Medium: Kinematics

abstract: Using visible, radio, microwave, and sub-mm data, we study several lines of sight toward stars generally closer than 1 kpc on a component-by-component basis. We derive the component structure seen in absorption at visible wavelengths from Ca II, Ca I, K I, CH, CH$^{+}\!,$ and CN and compare it to emission from H I, CO and its isotopologues, and C$^{+}$ from the GOT C+ survey. The correspondence between components in emission and absorption help create a more unified picture of diffuse atomic and molecular gas in the interstellar medium. We also discuss how these tracers are related to the CO-dark H$_{2}$ gas probed by C$^{+}$ emission and discuss the kinematic connections among the species observed.


title: Modeling and Simultaneously Removing Bias via Adversarial Neural Networks

abstract: In real world systems, the predictions of deployed Machine Learned models affect the training data available to build subsequent models. This introduces a bias in the training data that needs to be addressed. Existing solutions to this problem attempt to resolve the problem by either casting this in the reinforcement learning framework or by quantifying the bias and re-weighting the loss functions. In this work, we develop a novel Adversarial Neural Network (ANN) model, an alternative approach which creates a representation of the data that is invariant to the bias. We take the Paid Search auction as our working example and ad display position features as the confounding features for this setting. We show the success of this approach empirically on both synthetic data as well as real world paid search auction data from a major search engine.


title: Nanometer resolution mask lithography with matter waves: Near-field binary holography

abstract: Mask-based pattern generation is a crucial step in microchip production. The next-generation extreme-ultraviolet- (EUV) lithography instruments with a wavelength of \SI{13.5}{\nano\meter} is currently under development. In principle, this should allow patterning down to a resolution of a few nanometers in a single exposure. However, there are many technical challenges, including those due to the very high energy of the photons. Lithography with metastable atoms has been suggested as a cost-effective, less-complex alternative to EUV lithography. The great advantage of atom lithography is that the kinetic energy of an atom is much smaller than that of a photon for a given wavelength. However, up till now no method has been available for making masks for atom lithography that can produce arbitrary, high resolution patterns. Here we present a solution to this problem. First, traditional binary holography is extended to near-field binary holography, based on Fresnel diffraction. By this technique, we demonstrate that it is possible to make masks that can generate arbitrary patterns in a plane in the near field (from the mask) with a resolution down to the nanometer range using a state of the art metastable helium source. We compare the flux of this source to that of an established EUV source (ASML, NXE:3100) and show that patterns can potentially be produced at comparable speeds. Finally, we present an extension of the grid-based holography method for a grid of hexagonally shaped subcells. Our method can be used with any beam that can be modeled as a scalar wave, including other matter-wave beams such as helium ions, electrons or acoustic waves.


title: Model-based clustering of multi-tissue gene expression data

abstract: Recently, it has become feasible to generate large-scale, multi-tissue gene expression data, where expression profiles are obtained from multiple tissues or organs sampled from dozens to hundreds of individuals. When traditional clustering methods are applied to this type of data, important information is lost, because they either require all tissues to be analyzed independently, ignoring dependencies and similarities between tissues, or to merge tissues in a single, monolithic dataset, ignoring individual characteristics of tissues. We developed a Bayesian model-based multi-tissue clustering algorithm, revamp, which can incorporate prior information on physiological tissue similarity, and which results in a set of clusters, each consisting of a core set of genes conserved across tissues as well as differential sets of genes specific to one or more subsets of tissues. Using data from seven vascular and metabolic tissues from over 100 individuals in the STockholm Atherosclerosis Gene Expression (STAGE) study, we demonstrate that multi-tissue clusters inferred by revamp are more enriched for tissue-dependent protein-protein interactions compared to alternative approaches. We further demonstrate that revamp results in easily interpretable multi-tissue gene expression associations to key coronary artery disease processes and clinical phenotypes in the STAGE individuals. Revamp is implemented in the Lemon-Tree software, available at https://github.com/eb00/lemon-tree


title: You Must Have Clicked on this Ad by Mistake! Data-Driven Identification of Accidental Clicks on Mobile Ads with Applications to Advertiser Cost Discounting and Click-Through Rate Prediction

abstract: In the cost per click (CPC) pricing model, an advertiser pays an ad network only when a user clicks on an ad; in turn, the ad network gives a share of that revenue to the publisher where the ad was impressed. Still, advertisers may be unsatisfied with ad networks charging them for "valueless" clicks, or so-called accidental clicks. [...] Charging advertisers for such clicks is detrimental in the long term as the advertiser may decide to run their campaigns on other ad networks. In addition, machine-learned click models trained to predict which ad will bring the highest revenue may overestimate an ad click-through rate, and as a consequence negatively impacting revenue for both the ad network and the publisher. In this work, we propose a data-driven method to detect accidental clicks from the perspective of the ad network. We collect observations of time spent by users on a large set of ad landing pages - i.e., dwell time. We notice that the majority of per-ad distributions of dwell time fit to a mixture of distributions, where each component may correspond to a particular type of clicks, the first one being accidental. We then estimate dwell time thresholds of accidental clicks from that component. Using our method to identify accidental clicks, we then propose a technique that smoothly discounts the advertiser's cost of accidental clicks at billing time. Experiments conducted on a large dataset of ads served on Yahoo mobile apps confirm that our thresholds are stable over time, and revenue loss in the short term is marginal. We also compare the performance of an existing machine-learned click model trained on all ad clicks with that of the same model trained only on non-accidental clicks. There, we observe an increase in both ad click-through rate (+3.9%) and revenue (+0.2%) on ads served by the Yahoo Gemini network when using the latter. [...]


title: Fast inference of deep neural networks in FPGAs for particle physics

abstract: Recent results at the Large Hadron Collider (LHC) have pointed to enhanced physics capabilities through the improvement of the real-time event processing techniques. Machine learning methods are ubiquitous and have proven to be very powerful in LHC physics, and particle physics as a whole. However, exploration of the use of such techniques in low-latency, low-power FPGA hardware has only just begun. FPGA-based trigger and data acquisition (DAQ) systems have extremely low, sub-microsecond latency requirements that are unique to particle physics. We present a case study for neural network inference in FPGAs focusing on a classifier for jet substructure which would enable, among many other physics scenarios, searches for new dark sector particles and novel measurements of the Higgs boson. While we focus on a specific example, the lessons are far-reaching. We develop a package based on High-Level Synthesis (HLS) called hls4ml to build machine learning models in FPGAs. The use of HLS increases accessibility across a broad user community and allows for a drastic decrease in firmware development time. We map out FPGA resource usage and latency versus neural network hyperparameters to identify the problems in particle physics that would benefit from performing neural network inference with FPGAs. For our example jet substructure model, we fit well within the available resources of modern FPGAs with a latency on the scale of 100 ns.


title: Performance of the strongly constrained and appropriately normed density functional for solid-state materials

abstract: Constructed to satisfy all known exact constraints and appropriate norms for a semilocal density functional, the strongly constrained and appropriately normed (SCAN) meta-generalized gradient approximation functional has shown early promise for accurately describing the electronic structure of molecules and solids. One open question is how well SCAN predicts the formation energy, a key quantity for describing the thermodynamic stability of solid-state compounds. To answer this question, we perform an extensive benchmark of SCAN by computing the formation energies for a diverse group of nearly one thousand crystalline compounds for which experimental values are known. Due to an enhanced exchange interaction in the covalent bonding regime, SCAN substantially decreases the formation energy errors for strongly-bound compounds, by approximately 50% to 110 meV/atom, as compared to the generalized gradient approximation of Perdew, Burke, and Ernzerhof (PBE). However, for intermetallic compounds, SCAN performs moderately worse than PBE with an increase in formation energy error of approximately 20%, stemming from SCAN's distinct behavior in the weak bonding regime. The formation energy errors can be further reduced via elemental chemical potential fitting. We find that SCAN leads to significantly more accurate predicted crystal volumes, moderately enhanced magnetism, and mildly improved band gaps as compared to PBE. Overall, SCAN represents a significant improvement in accurately describing the thermodynamics of strongly-bound compounds.


title: A search for Galactic runaway stars using Gaia Data Release 1 and Hipparcos proper motions

abstract: CONTEXT.The first Gaia Data Release (DR1) significantly improved the previously available proper motions for the majority of the Tycho-2 stars. AIMS. We want to detect runaway stars using Gaia DR1 proper motions and compare our results with previous searches. METHODS. Runaway O stars and BA supergiants are detected using a 2-D proper-motion method. The sample is selected using Simbad, spectra from our GOSSS project, literature spectral types, and photometry processed using CHORIZOS. RESULTS. We detect 76 runaway stars, 17 (possibly 19) of them with no prior identification as such, with an estimated detection rate of approximately one half of the real runaway fraction. An age effect appears to be present, with objects of spectral subtype B1 and later having travelled for longer distances than runaways of earlier subtypes. We also tentatively propose that the fraction of runaways is lower among BA supergiants that among O stars but further studies using future Gaia data releases are needed to confirm this. The frequency of fast rotators is high among runaway O stars, which indicates that a significant fraction of them (and possibly a majority) is produced in supernova explosions.


title: Rigorous justification of Taylor dispersion via center manifolds and hypocoercivity

abstract: Taylor diffusion (or dispersion) refers to a phenomenon discovered experimentally by Taylor in the 1950s where a solute dropped into a pipe with a background shear flow experiences diffusion at a rate proportional to $1/\nu$, which is much faster than what would be produced by the static fluid if its viscosity is $0 < \nu \ll 1$. This phenomenon is analyzed rigorously using the linear PDE governing the evolution of the solute. It is shown that the solution can be split into two pieces, an approximate solution and a remainder term. The approximate solution is governed by an infinite-dimensional system of ODEs that possesses a finite-dimensional center manifold, on which the dynamics correspond to diffusion at a rate proportional to $1/\nu$. The remainder term is shown to decay at a rate that is much faster than the leading order behavior of the approximate solution. This is proven using a spectral decomposition in Fourier space and a hypocoercive estimate to control the intermediate Fourier modes.


title: Spitzer Light Curves of the Young, Planetary-Mass TW Hya Members 2MASS J11193254-1137466AB and WISEA J114724.10-204021.3

abstract: We present Spitzer Space Telescope time-series photometry at 3.6 and 4.5 $\mu$m of 2MASS J11193254$-$1137466AB and WISEA J114724.10$-$204021.3, two planetary-mass, late-type ($\sim$L7) brown dwarf members of the $\sim$10 Myr old TW Hya Association. These observations were taken in order to investigate whether or not a tentative trend of increasing variability amplitude with decreasing surface gravity seen for L3-L5.5 dwarfs extends to later-L spectral types and to explore the angular momentum evolution of low-mass objects. We examine each light curve for variability and find a rotation period of 19.39$^{+0.33}_{-0.28}$ hours and semi-amplitudes of 0.798$^{+0.081}_{-0.083}$% at 3.6 $\mu$m and 1.108$^{+0.093}_{-0.094}$% at 4.5 $\mu$m for WISEA J114724.10$-$204021.3. For 2MASS J11193254$-$1137466AB, we find a single period of 3.02$^{+0.04}_{-0.03}$ hours with semi-amplitudes of 0.230$^{+0.036}_{-0.035}$% at 3.6 $\mu$m and 0.453 $\pm$ 0.037% at 4.5 $\mu$m, which we find is possibly due to the rotation of one component of the binary. Combining our results with 12 other late-type L dwarfs observed with Spitzer from the literature, we find no significant differences between the 3.6 $\mu$m amplitudes of low surface gravity and field gravity late-type L brown dwarfs at Spitzer wavelengths, and find tentative evidence (75% confidence) of higher amplitude variability at 4.5 $\mu$m for young, late-type Ls. We also find a median rotation period of young brown dwarfs (10-300 Myr) of $\sim$10 hr, more than twice the value of the median rotation period of field age brown dwarfs ($\sim$4 hr), a clear signature of brown dwarf rotational evolution.


title: Heat kernel estimates for symmetric jump processes with mixed polynomial growths

abstract: In this paper, we study the transition densities of pure-jump symmetric Markov processes in $ {{\mathbb R}}^d$, whose jumping kernels are comparable to radially symmetric functions with mixed polynomial growths. Under some mild assumptions on their scale functions, we establish sharp two-sided estimates of transition densities (heat kernel estimates) for such processes. This is the first study on global heat kernel estimates of jump processes (including non-L\'evy processes) whose weak scaling index is not necessarily strictly less than 2. As an application, we proved that the finite second moment condition on such symmetric Markov process is equivalent to the Khintchine-type law of iterated logarithm at the infinity.


title: Video Compression through Image Interpolation

abstract: An ever increasing amount of our digital communication, media consumption, and content creation revolves around videos. We share, watch, and archive many aspects of our lives through them, all of which are powered by strong video compression. Traditional video compression is laboriously hand designed and hand optimized. This paper presents an alternative in an end-to-end deep learning codec. Our codec builds on one simple idea: Video compression is repeated image interpolation. It thus benefits from recent advances in deep image interpolation and generation. Our deep video codec outperforms today's prevailing codecs, such as H.261, MPEG-4 Part 2, and performs on par with H.264.


title: Errors, chaos and the collisionless limit

abstract: We simultaneously study the dynamics of the growth of errors and the question of the faithfulness of simulations of $N$-body systems. The errors are quantified through the numerical reversibility of small-$N$ spherical systems, and by comparing fixed-timestep runs with different stepsizes. The errors add randomly, before exponential divergence sets in, with exponentiation rate virtually independent of $N$, but scale saturating as $\sim 1/\sqrt{N}$, in line with theoretical estimates presented. In a third phase, the growth rate is initially driven by multiplicative enhancement of errors, as in the exponential stage. It is then qualitatively different for the phase space variables and mean field conserved quantities (energy and momentum); for the former, the errors grow systematically through phase mixing, for the latter they grow diffusively. For energy, the $N$-variation of the `relaxation time' of error growth follows the $N$-scaling of two-body relaxation. This is also true for angular momentum in the fixed stepsize runs, although the associated error threshold is higher and the relaxation time smaller. Due to shrinking saturation scales, the information loss associated with the exponential instability decreases with $N$ and the dynamical entropy vanishes at any finite resolution as $N \rightarrow \infty$. A distribution function depending on the integrals of motion in the smooth potential is decreasingly affected. In this sense there is convergence to the collisionless limit, despite the persistence of exponential instability on infinitesimal scales. Nevertheless, the slow $N$-variation in its saturation points to the slowness of the convergence.


title: All-Optical control of linear and nonlinear energy transfer via Zeno effect

abstract: Microresonator-based nonlinear processes are fundamental to applications including microcomb generation, parametric frequency conversion, and harmonics generation. While nonlinear processes involving either second- ($\chi^{(2)}$) or third- $\chi^{(3)}$) order nonlinearity have been extensively studied, the interaction between these two basic nonlinear processes has seldom been reported. In this letter, we demonstrate a coherent interplay between second- and third- order nonlinear processes. The parametric ($\chi^{(2)})$ coupling to a lossy ancillary mode shortens the lifetime of the target photonic mode and suppresses its density of states, preventing the photon emissions into the target photonic mode via Zeno effect. Such effect is then used to control the stimulated four-wave mixing process and realize a suppression ratio of $34.5$.


title: Sentences with Gapping: Parsing and Reconstructing Elided Predicates

abstract: Sentences with gapping, such as Paul likes coffee and Mary tea, lack an overt predicate to indicate the relation between two or more arguments. Surface syntax representations of such sentences are often produced poorly by parsers, and even if correct, not well suited to downstream natural language understanding tasks such as relation extraction that are typically designed to extract information from sentences with canonical clause structure. In this paper, we present two methods for parsing to a Universal Dependencies graph representation that explicitly encodes the elided material with additional nodes and edges. We find that both methods can reconstruct elided material from dependency trees with high accuracy when the parser correctly predicts the existence of a gap. We further demonstrate that one of our methods can be applied to other languages based on a case study on Swedish.


title: Truthful Fair Division without Free Disposal

abstract: We study the problem of fairly dividing a heterogeneous resource, commonly known as cake cutting and chore division, in the presence of strategic agents. While a number of results in this setting have been established in previous works, they rely crucially on the free disposal assumption, meaning that the mechanism is allowed to throw away part of the resource at no cost. In the present work, we remove this assumption and focus on mechanisms that always allocate the entire resource. We exhibit a truthful and envy-free mechanism for cake cutting and chore division for two agents with piecewise uniform valuations, and we complement our result by showing that such a mechanism does not exist when certain additional constraints are imposed on the mechanisms. Moreover, we provide bounds on the efficiency of mechanisms satisfying various properties, and give truthful mechanisms for multiple agents with restricted classes of valuations.


title: Elastic constants of the II-IV nitride semiconductors MgSiN$_{2}$, MgGeN$_{2}$ and MgSnN$_{2}$

abstract: The single crystal elastic constants, polycrystalline elastic moduli and related properties of orthorhombic MgSiN$_{2}$, MgGeN$_{2}$ and MgSnN$_{2}$ have been calculated using density functional theory and compared to the related wurtzite structured AlN, GaN and InN. Since there are no experimental studies of single crystal elastic properties of neither MgSiN$_{2}$, MgGeN$_{2}$ or MgSnN$_{2}$, we have established the accuracy of the calculations by comparison with experimental data for AlN, GaN and InN. The calculated polycrystalline elastic moduli of MgSiN$_{2}$ are found to be in good agreement with available experimental elastic moduli. It will be shown that MgSiN$_{2}$ and MgGeN$_{2}$ have a small $xy$-plane lattice mismatch with AlN and GaN, respectively, while at the same time being significantly softer than both AlN and GaN. This shows that MgSiN$_{2}$ and MgGeN$_{2}$ should be possible to be grown on AlN and GaN without significant lattice mismatch or strain.


title: Primal-Dual Interior-Point Methods for Domain-Driven Formulations

abstract: We study infeasible-start primal-dual interior-point methods for convex optimization problems given in a typically natural form we denote as Domain-Driven formulation. Our algorithms extend many advantages of primal-dual interior-point techniques available for conic formulations, such as the current best complexity bounds, and more robust certificates of approximate optimality, unboundedness, and infeasibility, to Domain-Driven formulations. The complexity results are new for the infeasible-start setup used, even in the case of linear programming. In addition to complexity results, our algorithms aim for expanding the applications of, and software for interior-point methods to wider classes of problems beyond optimization over symmetric cones.


title: A Comparative Study on Exact Triangle Counting Algorithms on the GPU

abstract: We implement exact triangle counting in graphs on the GPU using three different methodologies: subgraph matching to a triangle pattern; programmable graph analytics, with a set-intersection approach; and a matrix formulation based on sparse matrix-matrix multiplies. All three deliver best-of-class performance over CPU implementations and over comparable GPU implementations, with the graph-analytic approach achieving the best performance due to its ability to exploit efficient filtering steps to remove unnecessary work and its high-performance set-intersection core.


title: Tomographic imaging of inhomogeneous non-local media using fractional order models

abstract: We investigate a generalized tomographic imaging framework applicable to a class of inhomogeneous media characterized by non-local diffusive energy transport. Under these conditions, the transport mechanism is well described by fractional-order continuum models capable of capturing anomalous diffusion that would otherwise remain undetected when using traditional integer-order models. Although the underlying idea of the proposed framework is applicable to any transport mechanism, the case of fractional heat conduction is presented as a specific example to illustrate the methodology. By using numerical simulations, we show how complex inhomogeneous media involving non-local transport, can be successfully imaged if fractional order models are used. In particular, results will show that by properly recognizing and accounting for the fractional character of the host medium not only allows achieving increased resolution but, in case of strong and spatially distributed non-locality, it represents the only viable approach to achieve a successful reconstruction.


title: Attractor flow trees, BPS indices and quivers

abstract: Inspired by the split attractor flow conjecture for multi-centered black hole solutions in N=2 supergravity, we propose a formula expressing the BPS index $\Omega(\gamma,z)$ in terms of `attractor indices' $\Omega_*(\gamma_i)$. The latter count BPS states in their respective attractor chamber. This formula expresses the index as a sum over stable flow trees weighted by products of attractor indices. We show how to compute the contribution of each tree directly in terms of asymptotic data, without having to integrate the attractor flow explicitly. Furthermore, we derive new representations for the index which make it manifest that discontinuities associated to distinct trees cancel in the sum, leaving only the discontinuities consistent with wall-crossing. We apply these results in the context of quiver quantum mechanics, providing a new way of computing the Betti numbers of quiver moduli spaces, and compare them with the Coulomb branch formula, clarifying the relation between attractor and single-centered indices.


title: Local velocity variations for a drop moving through an orifice: effects of edge geometry and surface wettability

abstract: We investigate velocity variations inside of and surrounding a gravity driven drop impacting on and moving through a confining orifice, wherein the effects of edge geometry (round- vs. sharp-edged) and surface wettability (hydrophobic vs. hydrophilic) of the orifice are considered. Using refractive index matching and time-resolved PIV, we quantify the redistribution of energy in the drop and the surrounding fluid during the drop's impact and motion through a round-edged orifice. The measurements show the importance of a) drop kinetic energy transferred to and dissipated within the surrounding liquid, and b) the drop kinetic energy due to internal deformation and rotation during impact and passage through the orifice. While a rounded orifice edge prevents contact between the drop and orifice surface, a sharp edge promotes contact immediately upon impact, changing the near surface flow field as well as the drop passage dynamics. For a sharp-edged hydrophobic orifice, the contact lines remain localized near the orifice edge, but slipping and pinning strongly affect the drop propagation and outcome. For a sharp-edged hydrophilic orifice, on the other hand, the contact lines propagate away from the orifice edge, and their motion is coupled with the global velocity fields in the drop and the surrounding fluid. By examining the contact line propagation over a hydrophilic orifice surface with minimal drop penetration, we characterize two stages of drop spreading that exhibit power-law dependence with variable exponent. In the first stage, the contact line propagates under the influence of impact inertia and gravity. In the second stage, inertial influence subsides, and the contact line propagates mainly due to wettability.


title: How big is the Sun: Solar diameter changes over time

abstract: The measurement of the Sun's diameter has been first tackled by the Greek astronomers from a geometric point of view. Their estimation of ~1800", although incorrect, was not truly called into question for several centuries. The first pioneer works for measuring the Sun's diameter with an astrometric precision were made around the year 1660 by Gabriel Mouton, then by Picard and La Hire. A canonical value of the solar radius of 959".63 was adopted by Auwers in 1891. Despite considerable efforts during the second half of the XXth century, involving dedicated space instruments, no consensus was reached on this issue. However, with the advent of high sensitivity instruments on board satellites, such as the Michelson Doppler Imager (MDI) on Solar and Heliospheric Observatory (SoHO) and the Helioseismic and Magnetic Imager (HMI) aboard NASA's Solar Dynamics Observatory (SDO), it was possible to extract with an unprecedented accuracy the surface gravity oscillation f modes, over nearly two solar cycles, from 1996 to 2017. Their analysis in the range of angular degree l=140-300 shows that the so-called "seismic radius" exhibits a temporal variability in anti-phase with the solar activity. Even if the link between the two radii (photospheric and seismic) can be made only through modeling, such measurements provide an interesting alternative which led to a revision of the standard solar radius by the International Astronomical Union in 2015. This new look on such modern measurements of the Sun's global changes from 1996 to 2017 gives a new way for peering into the solar interior, mainly to better understand the subsurface fields which play an important role in the implementation of the solar cycles.


title: Hearts and Politics: Metrics for Tracking Biorhythm Changes during Brexit and Trump

abstract: Our internal experience of time reflects what is going in the world around us. Our body's natural rhythms get disrupted for a variety of external factors, including exposure to collective events. We collect readings of steps, sleep, and heart rates from 11K users of health tracking devices in London and San Francisco. We introduce measures to quantify changes in not only volume of these three bio-signals (as previous research has done) but also synchronicity and periodicity, and we empirically assess how strong those variations are, compared to random expectation, during four major events: Christmas, New Year's Eve, Brexit, and the US presidential election of 2016 (Donald Trump's election). While Christmas and New Year's eve are associated with short-term effects, Brexit and Trump's election are associated with longer-term disruptions. Our results promise to inform the design of new ways of monitoring population health at scale.


title: Nearly Optimal Separation Between Partially And Fully Retroactive Data Structures

abstract: Since the introduction of retroactive data structures at SODA 2004, a major unsolved problem has been to bound the gap between the best partially retroactive data structure (where changes can be made to the past, but only the present can be queried) and the best fully retroactive data structure (where the past can also be queried) for any problem. It was proved in 2004 that any partially retroactive data structure with operation time $T(n,m)$ can be transformed into a fully retroactive data structure with operation time $O(\sqrt{m} \cdot T(n,m))$, where $n$ is the size of the data structure and $m$ is the number of operations in the timeline [Demaine 2004], but it has been open for 14 years whether such a gap is necessary. In this paper, we prove nearly matching upper and lower bounds on this gap for all $n$ and $m$. We improve the upper bound for $n \ll \sqrt m$ by showing a new transformation with multiplicative overhead $n \log m$. We then prove a lower bound of $\min\{n \log m, \sqrt m\}^{1-o(1)}$ assuming any of the following conjectures: - Conjecture I: Circuit SAT requires $2^{n - o(n)}$ time on $n$-input circuits of size $2^{o(n)}$. (Far weaker than the well-believed SETH conjecture, which asserts that CNF SAT with $n$ variables and $O(n)$ clauses already requires $2^{n-o(n)}$ time.) - Conjecture II: Online $(\min,+)$ product between an integer $n\times n$ matrix and $n$ vectors requires $n^{3 - o(1)}$ time. - Conjecture III (3-SUM Conjecture): Given three sets $A,B,C$ of integers, each of size $n$, deciding whether there exist $a \in A, b \in B, c \in C$ such that $a + b + c = 0$ requires $n^{2 - o(1)}$ time. Our lower bound construction illustrates an interesting power of fully retroactive queries: they can be used to quickly solve batched pair evaluation. We believe this technique can prove useful for other data structure lower bounds, especially dynamic ones.


title: On principal congruences in distributive lattices with a commutative monoidal operation and an implication

abstract: In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions.


title: Realistic compactification in spatially flat vacuum cosmological models in cubic Lovelock gravity: Low-dimensional case

abstract: In this paper we begin to perform systematical investigation of all possible regimes in spatially flat vacuum cosmological models in cubic Lovelock gravity. We consider the spatial section to be a product of three- and extra-dimensional isotropic subspaces, with the former considered to be our Universe. As the equations of motion are different for $D=3, 4, 5$ and general $D \geqslant 6$ cases, we considered them all separately. Due to the quite large amount different subcases, in the current paper we consider only $D=3, 4$ cases. For each $D$ case we found values for $\alpha$ (Gauss-Bonnet coupling) and $\beta$ (cubic Lovelock coupling) which separate different dynamical cases, all isotropic and anisotropic exponential solutions, and study the dynamics in each region to find all possible regimes for all possible initial conditions and any values of $\alpha$ and $\beta$. The results suggest that in both $D$ cases the regimes with realistic compactification originate from so-called "generalized Taub" solution. The endpoint of the compactification regimes is either anisotropic exponential (for $\alpha > 0$, $\mu \equiv \beta/\alpha^2 < \mu_1$ (including entire $\beta < 0$)) or standard low-energy Kasner regime (for $\alpha > 0$, $\mu > \mu_1$), as it is compactification regime, both endpoints have expanding three and contracting extra dimensions. There are two unexpected observations among the results -- all realistic compactification regimes exist only for $\alpha > 0$ and there is no smooth transition between high-energy and low-energy Kasner regimes, the latter with realistic compactification.


title: On the design of a decision engine for connected vehicles with an application to congestion management

abstract: Vehicles are becoming connected entities. As a result, a likely scenario is that such entities might be literally bombarded with information from a multitude of devices. In this context, a key challenging requirement for both connected and autonomous vehicles is that they will need to become cognitive bodies, able to parse information and use only the pieces of information that are relevant to the vehicle in the context of a given journey. In order to address this fundamental requirement, a decision engine is presented in this paper. The engine makes it possible for the vehicle to understand which pieces of information are really relevant, and subsequently to process only those pieces of information. In order to illustrate the key features of our system, we show that it is possible to build upon the engine to develop a distributed traffic management system, and then we validate such a system via both conventional (numerical and SUMO-based) simulations and a Hardware-in-the-Loop (HIL) platform. Both the conventional simulations and the HIL validation showed that the engine can be effectively used to design a distributed traffic management system.


title: Mobility and quantum mobility of modern GaAs/AlGaAs heterostructures

abstract: In modern GaAs/Al$_x$Ga$_{1-x}$As heterostructures with record high mobilities, a two-dimensional electron gas (2DEG) in a quantum well is provided by two remote donor $\delta$-layers placed on both sides of the well. Each $\delta$-layer is located within a narrow GaAs well, flanked by narrow AlAs layers which capture excess electrons from donors. We show that each excess electron is localized in a compact dipole atom with the nearest donor. Nevertheless, excess electrons screen both the remote donors and background impurities. When the fraction of remote donors filled by excess electrons $f$ is small, the remote donor limited quantum mobility grows as $f^{3}$ and becomes larger than the background impurity limited one at a characteristic value $f_c$. We also calculate both the mobility and the quantum mobility limited by the screened background impurities with concentrations $N_1$ in Al$_x$Ga$_{1-x}$As and $N_2$ in GaAs, which allows one to estimate $N_1$ and $N_2$ from the measured mobilities. Taken together, our findings should help to identify avenues for further improvement of modern heterostructures.


title: A sufficient optimality condition for non-linear delayed optimal control problems

abstract: We prove a sufficient optimality condition for non-linear optimal control problems with delays in both state and control variables. Our result requires the verification of a Hamilton-Jacobi partial differential equation and is obtained through a transformation that allow us to rewrite a delayed optimal control problem as an equivalent non-delayed one.


title: Mapping the accretion disc of the short period eclipsing binary SDSS J0926+3624

abstract: We report the analysis of time-series of optical photometry of SDSS J0926+3624 collected with the Liverpool Robotic Telescope between 2012 February and March while the object was in quiescence. We combined our median eclipse timing with those in the literature to revise the ephemeris and confirm that the binary period is increasing at a rate $\dot{P}=(3.2 \pm 0.4)\times 10^{-13} \, s/s$. The light curves show no evidence of either the orbital hump produced by a bright spot at disc rim or of superhumps; the average out-of-eclipse brightness level is consistently lower than previously reported. The eclipse map from the average light curve shows a hot white dwarf surrounded by a faint, cool accretion disc plus enhanced emission along the gas stream trajectory beyond the impact point at the outer disc rim, suggesting the occurrence of gas stream overflow/penetration at that epoch. We estimate a disc mass input rate of $\dot{M}=(9 \pm 1)\times 10^{-12}\,M_\odot \,yr^{-1}$, more than an order of magnitude lower than that expected from binary evolution with conservative mass transfer.


title: Weak gravitational interaction of fermions: quantum viewpoint

abstract: Using the quantum theory of linearized gravity, gravitational interaction differential cross sections of one fermion by another fermion, a photon and a scalar particle are calculated in the fermion rest-frame. Then, according to the obtained results, it is shown that in the lab frame, the gravitational interaction depends on the spin of the moving particle and is independent of the spin of the rest particle. After that, on the dependency of the gravitational interaction of fermion-photon upon the various states of photons polarization is discussed.


title: Comparison of Sensitivity and Low Frequency Noise Contributions in GMR and TMR Spin Valve Sensors with a Vortex State Free Layer

abstract: Magnetoresistive spin valve sensors based on the giant- (GMR) and tunnelling- (TMR) magnetoresisitve effect with a flux-closed vortex state free layer design are compared by means of sensitivity and low frequency noise. The vortex state free layer enables high saturation fields with negligible hysteresis, making it attractive for applications with a high dynamic range. The measured GMR devices comprise lower pink noise and better linearity in resistance but are less sensitive to external magnetic fields than TMR sensors. The results show a comparable detectivity at low frequencies and a better performance of the TMR minimum detectable field at frequencies in the white noise limit.


title: Reducing Conservatism in Model-Invariant Safety-Preserving Control of Propofol Anesthesia Using Falsification

abstract: This work provides a formalized model-invariant safety system for closed-loop anesthesia that uses feedback from measured data for model falsification to reduce conservatism. The safety system maintains predicted propofol plasma concentrations, as well as the patient's blood pressure, within safety bounds despite uncertainty in patient responses to propofol. Model-invariant formal verification is used to formalize the safety system. This technique requires a multi-model description of model-uncertainty. Model-invariant verification considers all possible dynamics of an uncertain system, and the resulting safety system may be conservative for systems that do not exhibit the worst-case dynamical response. In this work, we employ model falsification to reduce conservatism of the model-invariant safety system. Members of a model set that characterizes model- uncertainty are falsified if discrepancy between predictions of those models and measured responses of the uncertain system is established, thereby reducing model uncertainty. We show that including falsification in a model-invariant safety system reduces conservatism of the safety system.


title: Polycrystalline Crusts in Accreting Neutron Stars

abstract: The crust of accreting neutron stars plays a central role in many different observational phenomena. In these stars, heavy elements produced by H-He burning in the rapid proton capture (rp-) process continually freeze to form new crust. In this paper, we explore the expected composition of the solid phase. We first demonstrate using molecular dynamics that two distinct types of chemical separation occur, depending on the composition of the rp-process ashes. We then calculate phase diagrams for three-component mixtures and use them to determine the allowed crust compositions. We show that, for the large range of atomic numbers produced in the rp-process ($Z\sim 10$--$50$), the solid that forms has only a small number of available compositions. We conclude that accreting neutron star crusts should be polycrystalline, with domains of distinct composition. Our results motivate further work on the size of the compositional domains, and have implications for crust physics and accreting neutron star phenomenology.


title: K-Nearest Oracles Borderline Dynamic Classifier Ensemble Selection

abstract: Dynamic Ensemble Selection (DES) techniques aim to select locally competent classifiers for the classification of each new test sample. Most DES techniques estimate the competence of classifiers using a given criterion over the region of competence of the test sample (its the nearest neighbors in the validation set). The K-Nearest Oracles Eliminate (KNORA-E) DES selects all classifiers that correctly classify all samples in the region of competence of the test sample, if such classifier exists, otherwise, it removes from the region of competence the sample that is furthest from the test sample, and the process repeats. When the region of competence has samples of different classes, KNORA-E can reduce the region of competence in such a way that only samples of a single class remain in the region of competence, leading to the selection of locally incompetent classifiers that classify all samples in the region of competence as being from the same class. In this paper, we propose two DES techniques: K-Nearest Oracles Borderline (KNORA-B) and K-Nearest Oracles Borderline Imbalanced (KNORA-BI). KNORA-B is a DES technique based on KNORA-E that reduces the region of competence but maintains at least one sample from each class that is in the original region of competence. KNORA-BI is a variation of KNORA-B for imbalance datasets that reduces the region of competence but maintains at least one minority class sample if there is any in the original region of competence. Experiments are conducted comparing the proposed techniques with 19 DES techniques from the literature using 40 datasets. The results show that the proposed techniques achieved interesting results, with KNORA-BI outperforming state-of-art techniques.


title: Geometric and physical properties of closed ever expanding dust models

abstract: Current observations suggest that our Universe is not incompatible with a small positive spatial curvature that can be associated with rest frames having a "closed" standard topology. We examine a toy model generalisation of the $\Lambda$CDM model in the form of ever expanding Lema\^{i}tre-Tolman-Bondi (LTB) models with positive spatial curvature. It is well known that such models with $\Lambda=0$ exhibit a thin layer distribution at the turning values of the area distance that must be studied through the Israel-Lanczos formalism. We find that this distributional source exhibits an unphysical behaviour for large cosmic times and its presence can be detected observationally. However, these unphysical features can always be avoided by assuming $\Lambda >0$. While these LTB models are very simplified, we believe that these results provide a simple argument favouring the assumption of a nonzero positive cosmological constant in cosmological models.


title: Volur: Concurrent Edge/Core Route Control in Data Center Networks

abstract: A perennial question in computer networks is where to place functionality among components of a distributed computer system. In data centers, one option is to move all intelligence to the edge, essentially relegating switches and middleboxes, regardless of their programmability, to simple static routing policies. Another is to add more intelligence to the middle of the network in the hopes that it can handle any issue that arises. This paper presents an architecture, called Volur, that provides a third option by facilitating the co-existence of an intelligent network with an intelligent edge. The key architectural principle of Volur is predictability of the network. We describe the key design requirements, and show through case studies how our approach facilitates more democratic innovation of all parts of the network. We also demonstrate the practicality of our architecture by describing how to implement the architecture on top of existing hardware and by deploying a prototype on top of a large production data center.


title: On the bounded derived category of $\mathsf{IGr}(3, 7)$

abstract: We construct a mininal Lefschetz decomposition of the bounded derived category of coherent sheaves on the isotropic Grassmannian $\mathsf{IGr}(3,7)$. Moreover, we show that $\mathsf{IGr}(3, 7)$ admits a full exceptional collection consisting of equivariant vector bundles.


title: On the dynamics of a free surface of an ideal fluid in a bounded domain in the presence of surface tension

abstract: We derive a set of equations in conformal variables that describe a potential flow of an ideal inviscid fluid with free surface in a bounded domain. This formulation is free of numerical instabilities present in the equations for the surface elevation and potential derived by A. I. Dyachenko et al in 1996 with some of the restrictions on analyticity relieved. We illustrate with the results of a comparison of the numerical simulations with the exact solution, the Dirichlet ellipse. In presence of surface tension, we demonstrate the oscillations of the free surface of a unit disc droplet about its equilibrium, the disc shape.


title: Towards the next generation of exergames: Flexible and personalised assessment-based identification of tennis swings

abstract: Current exergaming sensors and inertial systems attached to sports equipment or the human body can provide quantitative information about the movement or impact e.g. with the ball. However, the scope of these technologies is not to qualitatively assess sports technique at a personalised level, similar to a coach during training or replay analysis. The aim of this paper is to demonstrate a novel approach to automate identification of tennis swings executed with erroneous technique without recorded ball impact. The presented spatiotemporal transformations relying on motion gradient vector flow and polynomial regression with RBF classifier, can identify previously unseen erroneous swings (84.5-94.6%). The presented solution is able to learn from a small dataset and capture two subjective swing-technique assessment criteria from a coach. Personalised and flexible assessment criteria required for players of diverse skill levels and various coaching scenarios were demonstrated by assigning different labelling criteria for identifying similar spatiotemporal patterns of tennis swings.


title: Stability of the NLS equation with viscosity effect

abstract: A nonlinear Schr\"{o}dinger (NLS) equation with an effect of viscosity is derived from a Korteweg-de Vries (KdV) equation modified with viscosity using the method of multiple time-scales. It is well known that the plane-wave solution of the NLS equation exhibits modulational instability phenomenon. In this paper, the modulational instability of the plane-wave solution of the NLS equation modified with viscosity is investigated. The corresponding modulational dispersion relation is expressed as a quadratic equation with complex-valued coefficients. By restricting the modulational wavenumber into the case of narrow-banded spectra, it is observed that a type of dissipation, in this case, the effect of viscosity, stabilizes the modulational instability, as confirmed by earlier findings.


title: Deformation quantization on the cotangent bundle of a Lie group

abstract: We develop a complete theory of non-formal deformation quantization on the cotangent bundle of a weakly exponential Lie group. An appropriate integral formula for the star-product is introduced together with a suitable space of functions on which the star-product is well defined. This space of functions becomes a Frechet algebra as well as a pre-C*-algebra. Basic properties of the star-product are proved and the extension of the star-product to a Hilbert algebra and an algebra of distributions is given. A C*-algebra of observables and a space of states are constructed. Moreover, an operator representation in position space is presented. Finally, examples of weakly exponential Lie groups are given.


title: Character formulae in category $\mathcal O$ for exceptional Lie superalgebra $G(3)$

abstract: We classify the blocks, compute the Verma flags of tilting and projective modules in the BGG category $\mathcal O$ for the exceptional Lie superalgebra $G(3)$. The projective injective modules in $\mathcal O$ are classified. We also compute the Jordan-H\"older multiplicities of the Verma modules in $\mathcal O$.


title: Distributed Simulation and Distributed Inference

abstract: Independent samples from an unknown probability distribution $\bf p$ on a domain of size $k$ are distributed across $n$ players, with each player holding one sample. Each player can communicate $\ell$ bits to a central referee in a simultaneous message passing model of communication to help the referee infer a property of the unknown $\bf p$. What is the least number of players for inference required in the communication-starved setting of $\ell<\log k$? We begin by exploring a general "simulate-and-infer" strategy for such inference problems where the center simulates the desired number of samples from the unknown distribution and applies standard inference algorithms for the collocated setting. Our first result shows that for $\ell<\log k$ perfect simulation of even a single sample is not possible. Nonetheless, we present a Las Vegas algorithm that simulates a single sample from the unknown distribution using $O(k/2^\ell)$ samples in expectation. As an immediate corollary, we get that simulate-and-infer attains the optimal sample complexity of $\Theta(k^2/2^\ell\epsilon^2)$ for learning the unknown distribution to total variation distance $\epsilon$. For the prototypical testing problem of identity testing, simulate-and-infer works with $O(k^{3/2}/2^\ell\epsilon^2)$ samples, a requirement that seems to be inherent for all communication protocols not using any additional resources. Interestingly, we can break this barrier using public coins. Specifically, we exhibit a public-coin communication protocol that performs identity testing using $O(k/\sqrt{2^\ell}\epsilon^2)$ samples. Furthermore, we show that this is optimal up to constant factors. Our theoretically sample-optimal protocol is easy to implement in practice. Our proof of lower bound entails showing a contraction in $\chi^2$ distance of product distributions due to communication constraints and may be of independent interest.

categories: cs.DS cs.DM cs.IT cs.LG math.IT math.ST stat.TH


title: Operator limits of random matrices

abstract: We present a brief introduction to the theory of operator limits of random matrices to non-experts. Several open problems and conjectures are given. Connections to statistics, integrable systems, orthogonal polynomials, and more, are discussed.


title: Local-global conjectures and blocks of simple groups

abstract: We give an expanded treatment of our lecture series at the 2017 Groups St Andrews conference in Birmingham on local-global conjectures and the block theory of finite reductive groups.


title: Disentangling Controllable and Uncontrollable Factors of Variation by Interacting with the World

abstract: We introduce a method to disentangle controllable and uncontrollable factors of variation by interacting with the world. Disentanglement leads to good representations and is important when applying deep neural networks (DNNs) in fields where explanations are required. This study attempts to improve an existing reinforcement learning (RL) approach to disentangle controllable and uncontrollable factors of variation, because the method lacks a mechanism to represent uncontrollable obstacles. To address this problem, we train two DNNs simultaneously: one that represents the controllable object and another that represents uncontrollable obstacles. For stable training, we applied a pretraining approach using a model robust against uncontrollable obstacles. Simulation experiments demonstrate that the proposed model can disentangle independently controllable and uncontrollable factors without annotated data.


title: Deciphering the local Interstellar spectra of primary cosmic ray species with HelMod

abstract: Local interstellar spectra (LIS) of primary cosmic ray (CR) nuclei, such as helium, oxygen, and mostly primary carbon are derived for the rigidity range from 10 MV to ~200 TV using the most recent experimental results combined with the state-of-the-art models for CR propagation in the Galaxy and in the heliosphere. Two propagation packages, GALPROP and HelMod, are combined into a single framework that is used to reproduce direct measurements of CR species at different modulation levels, and at both polarities of the solar magnetic field. The developed iterative maximum-likelihood method uses GALPROP-predicted LIS as input to HelMod, which provides the modulated spectra for specific time periods of the selected experiments for model-data comparison. The interstellar and heliospheric propagation parameters derived in this study are consistent with our prior analyses using the same methodology for propagation of CR protons, helium, antiprotons, and electrons. The resulting LIS accommodate a variety of measurements made in the local interstellar space (Voyager 1) and deep inside the heliosphere at low (ACE/CRIS, HEAO-3) and high energies (PAMELA, AMS-02).


title: Electron trapping in freely expanding ultracold neutral plasmas

abstract: We report on the self-induced electron trapping occurring in a ultracold neutral plasma that is set to expand freely. At the early stages of the plasma, the ions are not thermalized follow a Gaussian spatial profile, providing the trapping to the coldest electrons. In the present work, we provide a theoretical model describing the electrostatic potential and perform molecular dynamics simulations to validate our findings. We show that in the strong confinement regime, the plasma potential is of a Thomas-Fermi type, similar to the case of heavy atomic species. The numerically simulated spatial profiles of the particles corroborate this claim. We also extract the electron temperature and coupling parameter from the simulation, so the duration of the transient Thomas-Fermi is obtained.


title: A-CCNN: adaptive ccnn for density estimation and crowd counting

abstract: Crowd counting, for estimating the number of people in a crowd using vision-based computer techniques, has attracted much interest in the research community. Although many attempts have been reported, real-world problems, such as huge variation in subjects' sizes in images and serious occlusion among people, make it still a challenging problem. In this paper, we propose an Adaptive Counting Convolutional Neural Network (A-CCNN) and consider the scale variation of objects in a frame adaptively so as to improve the accuracy of counting. Our method takes advantages of contextual information to provide more accurate and adaptive density maps and crowd counting in a scene. Extensively experimental evaluation is conducted using different benchmark datasets for object-counting and shows that the proposed approach is effective and outperforms state-of-the-art approaches.


title: On a generalisation of spikes

abstract: We consider matroids with the property that every subset of the ground set of size $t$ is contained in both an $\ell$-element circuit and an $\ell$-element cocircuit; we say that such a matroid has the $(t,\ell)$-property. We show that for any positive integer $t$, there is a finite number of matroids with the $(t,\ell)$-property for $\ell<2t$; however, matroids with the $(t,2t)$-property form an infinite family. We say a matroid is a $t$-spike if there is a partition of the ground set into pairs such that the union of any $t$ pairs is a circuit and a cocircuit. Our main result is that if a sufficiently large matroid has the $(t,2t)$-property, then it is a $t$-spike. Finally, we present some properties of $t$-spikes.


title: Mirror Protected Multiple Nodal Line Semimetals and Material Realization

abstract: The conventional k.p method fails to capture the full and essential physics of many symmetry enriched multiple nodal line structures in the three dimensional Brillouin zone. Here we present a new and systematical method to construct the effective lattice model of mirror symmetry protected three-dimensional multiple nodal line semimetals, when the spin-orbit interaction is ignored. For systems with a given pair of perpendicular nodal rings, we obtain all the effective lattice models and eleven inequivalent nodal line Fermi surfaces together with their related constraints. By means of first-principles calculations, we first propose a family of real materials, beta phase of ternary nitrides X2GeN2 (X = Ca; Sr; Ba), that support one kind of these novel Fermi surfaces. Therefore, our work deepens the understanding of the nodal line structures and promotes the experimental progress of topological nodal line semimetals.


title: Primordial Mass and Density Segregation in a Young Molecular Cloud

abstract: We analyse the geometry of the Pipe Nebula, drawn by the distribution ($Q$-spatial parameter) and hierarchy ($\Lambda$ spatial segregation) of column density peaks previously detected and catalogued. By analysing the mass and volume density of the cores, we determine that both variables shown to be spatially segregated and with a high degree of substructure. Given the early evolutionary state of the Pipe Nebula, our results suggest that both, mass and volume-density segregations, may be primordial, in the sense of appearing in the early phases of the chain of physical mechanisms which conform the cluster-formation process. We also propose that volume density, and not mass, is the parameter that most clearly determines the initial spatial distribution of pre-stellar cores.


title: Adversarial Complementary Learning for Weakly Supervised Object Localization

abstract: In this work, we propose Adversarial Complementary Learning (ACoL) to automatically localize integral objects of semantic interest with weak supervision. We first mathematically prove that class localization maps can be obtained by directly selecting the class-specific feature maps of the last convolutional layer, which paves a simple way to identify object regions. We then present a simple network architecture including two parallel-classifiers for object localization. Specifically, we leverage one classification branch to dynamically localize some discriminative object regions during the forward pass. Although it is usually responsive to sparse parts of the target objects, this classifier can drive the counterpart classifier to discover new and complementary object regions by erasing its discovered regions from the feature maps. With such an adversarial learning, the two parallel-classifiers are forced to leverage complementary object regions for classification and can finally generate integral object localization together. The merits of ACoL are mainly two-fold: 1) it can be trained in an end-to-end manner; 2) dynamically erasing enables the counterpart classifier to discover complementary object regions more effectively. We demonstrate the superiority of our ACoL approach in a variety of experiments. In particular, the Top-1 localization error rate on the ILSVRC dataset is 45.14%, which is the new state-of-the-art.


title: High Tc superconductivity in CaKFe$_4$As$_4$ in absence of nematic fluctuations

abstract: We employ polarization-resolved Raman spectroscopy to study multi-band stoichiometric superconductor CaKFe$_4$As$_4$. The B$_{2g}$ symmetry Raman response shows no signatures of Pomeranchuk-like electronic nematic fluctuations which is observed for many other Fe-based superconductors. In the superconducting state, we identify three pair-breaking peaks at 13.8, 16.9 and 21 meV and full spectral weight suppression at low energies. The pair-breaking peak energies in Raman response are about 20% lower than twice the gap energies as measured by single-particle spectroscopy, implying a sub-dominant $d$-wave symmetry interaction. We analyze the superconductivity induced phonon self-energy effects and give an estimation of weak electron-phonon coupling constant $\lambda^\Gamma$=0.0015.


title: GNAS: A Greedy Neural Architecture Search Method for Multi-Attribute Learning

abstract: A key problem in deep multi-attribute learning is to effectively discover the inter-attribute correlation structures. Typically, the conventional deep multi-attribute learning approaches follow the pipeline of manually designing the network architectures based on task-specific expertise prior knowledge and careful network tunings, leading to the inflexibility for various complicated scenarios in practice. Motivated by addressing this problem, we propose an efficient greedy neural architecture search approach (GNAS) to automatically discover the optimal tree-like deep architecture for multi-attribute learning. In a greedy manner, GNAS divides the optimization of global architecture into the optimizations of individual connections step by step. By iteratively updating the local architectures, the global tree-like architecture gets converged where the bottom layers are shared across relevant attributes and the branches in top layers more encode attribute-specific features. Experiments on three benchmark multi-attribute datasets show the effectiveness and compactness of neural architectures derived by GNAS, and also demonstrate the efficiency of GNAS in searching neural architectures.


title: Generalized spatial differentiation from spin Hall effect of light

abstract: Optics naturally provides us with some powerful mathematical operations. Here we experimentally demonstrate that during reflection or refraction at a single optical planar interface, the optical computing of spatial differentiation can be realized by analyzing specific orthogonal polarization states of light. We show that the spatial differentiation is intrinsically due to the spin Hall effect of light and generally accompanies light reflection and refraction at any planar interface, regardless of material composition or incident angles. The proposed spin-optical method takes advantages of a simple and common structure to enable vectorial-field computation and perform edge detection for ultra-fast and energy-efficient image processing.


title: Weak cosmic censorship conjecture in Kerr black holes of modified gravity

abstract: By neglecting the effects of self-force and radiation, we investigate the possibility of destroying the Kerr-MOG black hole through the point particle absorption process. Using the instability of event horizon and equation of particle motion, we get the upper and lower energy bounds allowed for a matter particle to produce the naked singularity. We find that the energy gap always exists between the upper and lower energy bounds for both extremal and near-extremal black holes, which means some tailored particles can actually lead to the violation of the weak cosmic censorship conjecture. However, when considering the effect of the adiabatic process, the result shows that the Kerr-MOG black hole gets more stable instead of a naked singularity, and thus the weak cosmic censorship conjecture can be restored at some level.


title: Chiral surface and edge plasmons in ferromagnetic conductors

abstract: The recently introduced concept of "surface Berry plasmons" is studied in the concrete instance of a ferromagnetic conductor in which the Berry curvature, generated by spin-orbit (SO) interaction, has opposite signs for carriers parallel or antiparallel to the magnetization. By using collisionless hy- drodynamic equations with appropriate boundary conditions, we study both the surface plasmons of a three-dimensional ferromagnetic conductor and the edge plasmons of a two-dimensional one. The anomalous velocity and the broken inversion symmetry at the surface or the edge of the conductor create a "handedness", whereby the plasmon frequency depends not only on the angle between the wave vector and the magnetization, but also on the direction of propagation along a given line. In particular, we find that the frequency of the edge plasmon depends on the direction of propagation along the edge. These Berry curvature effects are compared and contrasted with similar effects induced in the plasmon dispersion by an external magnetic field in the absence of Berry curvature. We argue that Berry curvature effects may be used to control the direction of propagation of the surface plasmons via coupling with the magnetization of ferromagnetic conductors, and thus create a link between plasmonics and spintronics.


title: PS-Hollow Representations of Modules over Commutative Rings

abstract: Let $R$ be a commutative ring and $M$ a non-zero $R$-module. We introduce the class of \emph{pseudo strongly hollow submodules} (\emph{PS-hollow submodules}, for short) of $M$. Inspired by the theory of modules with \emph{secondary representations}, we investigate modules which can be written as \emph{finite} sums of PS-hollow submodules. In particular, we provide existence and uniqueness theorems for the existence of \emph{minimal} PS-hollow strongly representations of modules over Artinian rings.


title: Accounting for Errors in Quantum Algorithms via Individual Error Reduction

abstract: We discuss a surprisingly simple scheme for accounting (and removal) of error in observables determined from quantum algorithms. A correction to the value of the observable is calculated by first measuring the observable with all error sources active and subsequently measuring the observable with each error source removed separately. We apply this scheme to the variational quantum eigensolver, simulating the calculation of the ground state energy of equilibrium H$_2$ and LiH in the presence of several noise sources, including amplitude damping, dephasing, thermal noise, and correlated noise. We show that this scheme provides a decrease in the needed quality of the qubits by up to two orders of magnitude. In near-term quantum computers, where full fault-tolerant error correction is too expensive, this scheme provides a route to significantly more accurate calculation


title: Onsager vortex formation in two-component Bose-Einstein condensates

abstract: We numerically study the dynamics of quantized vortices in two-dimensional two-component Bose-Einstein condensates (BECs) trapped by a box potential. For one-component BECs in a box potential, it is known that quantized vortices form Onsager vortices, which are clusters of same-sign vortices. We confirm that the vortices of the two components spatially separate from each other-even for miscible two-component BECs-suppressing the formation of Onsager vortices. This phenomenon is caused by the repulsive interaction between vortices belonging to different components, hence, suggesting a new possibility for vortex phase separation.


title: Uniqueness of Equilibrium with Sufficiently Small Strains in Finite Elasticity

abstract: The uniqueness of equilibrium for a compressible, hyperelastic body subject to dead-load boundary conditions is considered. It is shown, for both the displacement and mixed problems, that there cannot be two solutions of the equilibrium equations of Finite (Nonlinear) Elasticity whose nonlinear strains are uniformly close to each other. This result is analogous to the result of Fritz John (Comm. Pure Appl. Math. 25, 617-634, 1972) who proved that, for the displacement problem, there is a most one equilibrium solution with uniformly small strains. The proof in this manuscript utilizes Geometric Rigidity; a new straightforward extension of the Fefferman-Stein inequality to bounded domains; and, an appropriate adaptation, for Elasticity, of a result from the Calculus of Variations. Specifically, it is herein shown that the uniform positivity of the second variation of the energy at an equilibrium solution implies that this mapping is a local minimizer of the energy among deformations whose gradient is sufficiently close, in $BMO\cap\, L^1$, to the gradient of the equilibrium solution.


title: Defining Pathway Assembly and Exploring its Applications

abstract: How do we estimate the probability of an abundant objects' formation, with minimal context or assumption about is origin? To explore this we have previously introduced the concept of pathway assembly (as pathway complexity), in a graph based context, as an approach to quantify the number of steps required to assembly an object based on a hypothetical history of an objects formation. By partitioning an object into its irreducible parts and counting the steps by which the object can be reassembled from those parts, and considering the probabilities of such steps, the probability that an abundance of identical such objects could form in the absence of biological or technologically driven processes can be estimated. Here we give a general definition of pathway assembly from first principles to cover a wide range of case, and explore some of these cases and applications which exemplify the unique features of this approach.


title: Resonance-enhanced optical nonlinearity in the Weyl semimetal TaAs

abstract: While all media can exhibit first-order conductivity describing current linearly proportional to electric field, $E$, the second-order conductivity, $\sigma^{(2)}$ , relating current to $E^2$, is nonzero only when inversion symmetry is broken. Second order nonlinear optical responses are powerful tools in basic research, as probes of symmetry breaking, and in optical technology as the basis for generating currents from far-infrared to X-ray wavelengths. The recent surge of interest in Weyl semimetals with acentric crystal structures has led to the discovery of a host of $\sigma^{(2)}$ -related phenomena in this class of materials, such as polarization-selective conversion of light to dc current (photogalvanic effects) and the observation of giant second-harmonic generation (SHG) efficiency in TaAs at photon energy 1.5 eV. Here, we present measurements of the SHG spectrum of TaAs revealing that the response at 1.5 eV corresponds to the high-energy tail of a resonance at 0.7 eV, at which point the second harmonic conductivity is approximately 200 times larger than seen in the standard candle nonlinear crystal, GaAs. This remarkably large SHG response provokes the question of ultimate limits on $\sigma^{(2)}$ , which we address by a new theorem relating frequency-integrated nonlinear response functions to the third cumulant (or "skewness") of the polarization distribution function in the ground state. This theorem provides considerable insight into the factors that lead to the largest possible second-order nonlinear response, specifically showing that the spectral weight is unbounded and potentially divergent when the possibility of next-neighbor hopping is included.


title: Heavy Particle Signatures in Cosmological Correlation Functions with Tensor Modes

abstract: We explore the possibility to make use of cosmological data to look for signatures of unknown heavy particles whose masses are on the order of the Hubble parameter during the time of inflation. To be more specific we take up the quasi-single field inflation model, in which the isocurvaton $\sigma $ is supposed to be the heavy particle. We study correlation functions involving both scalar ($\zeta $) and tensor ($\gamma $) perturbations and search for imprints of the $\sigma$-particle effects. We make use of the technique of the effective field theory for inflation to derive the $\zeta \sigma $ and $\gamma \zeta \sigma $ couplings. With these couplings we compute the effects due to $\sigma $ to the power spectrum $\langle \zeta \zeta \rangle $ and correlations $\langle \gamma^{s} \zeta \zeta \rangle$ and $\langle \gamma^{s_{1}} \gamma ^{s_{2}} \zeta \zeta \rangle $, where $s$, $s_{1}$ and $s_{2}$ are the polarization indices of gravitons. Numerical analyses of the $\sigma$-mass effects to these corrlations are presented. It is argued that future precise observations of these correlations could make it possible to measure the $\sigma$-mass and the strength of the $\zeta \sigma$ and $\gamma \zeta \sigma$ couplings. As an extension to the $N$-graviton case we also compute the correlations $\langle \gamma ^{s_{1}} \cdots \gamma ^{s_{N}} \zeta \zeta \rangle $ and $\langle \gamma ^{s_{1}} \cdots \cdots \gamma ^{s_{2N}} \zeta \zeta \rangle $ and their $\sigma$-mass effects. It is suggested that larger $N$ correlation functions are useful to probe larger $\sigma$-mass .


title: The Fourier expansion of modular forms on quaternionic exceptional groups

abstract: Suppose that $G$ is a simple adjoint reductive group over $\mathbf{Q}$, with an exceptional Dynkin type, and with $G(\mathbf{R})$ quaternionic (in the sense of Gross-Wallach). Then there is a notion of modular forms for $G$, anchored on the so-called quaternionic discrete series representations of $G(\mathbf{R})$. The purpose of this paper is to give an explicit form of the Fourier expansion of modular forms on $G$, along the unipotent radical $N$ of the Heisenberg parabolic $P = MN$ of $G$.


title: Influence of Vacuum modes on Photodetection

abstract: Photodetection is a process in which an incident field induces a polarization current in the detector. The interaction of the field with this induced current excites an electron in the detector from a localized bound state to a state in which the electron freely propagates and can be classically amplified and detected. The induced current can interact not only with the applied field, but also with all of the initially unpopulated vacuum modes. This interaction with the vacuum modes is assumed to be small and is neglected in conventional photodetection theory. We show that this interaction contributes to the quantum efficiency of the detector. We also show that in the Purcell enhancement regime, shot noise in the photocurrent depends on the bandwidth of the the vacuum modes interacting with the detector. Our theory allows design of sensitive detectors to probe the properties of the vacuum modes.


title: Algebraic de Rham theory for relative completion of $\mathrm{SL}_2(\mathbb{Z})$

abstract: We develop an explicit algebriac de Rham theory for relative completion of $\mathrm{SL}_2(\mathbb{Z})$. This allows the construction of iterated integrals involving modular forms of the second kind, generalizing iterated integrals of holomorphic modular forms that were previously studied by Brown and Manin. These newly constructed iterated integrals provide all 'multiple modular values' defined by Brown.


title: Nielsen equivalence and trisections of 4-manifolds

abstract: The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are spun Seifert fiber spaces and the trisections come from Meier's spun trisections. The technique used to distinguish the trisections parallels an established technique for distinguishing Heegaard splittings. In particular, we show that the Nielsen classes of the generators of the fundamental group, obtained from spines of the 4-dimensional 1-handlebodies of the trisection, are isotopy invariants of the trisection. If we additionally consider the action of the automorphism group on the Nielsen classes, we obtain diffeomorphism invariants of trisections.


title: Equations of motion from Cederwall's pure spinor superspace actions

abstract: Using non-minimal pure spinor superspace, Cederwall has constructed BRST-invariant actions for $D=10$ super-Born-Infeld and $D=11$ supergravity which are quartic in the superfields. But since the superfields have explicit dependence on the non-minimal pure spinor variables, it is non-trivial to show these actions correctly describe super-Born-Infeld and supergravity. In this paper, we expand solutions to the equations of motion from Cederwall's actions to leading order around the linearized solutions and show that they correctly describe the interactions of $D=10$ super-Born-Infeld and $D=11$ supergravity.


title: On tubular tilting objects in the stable category of vector bundles

abstract: The present paper focuses on the study of the stable category of vector bundles for the weighted projective lines of weight triple. We find some important triangles in this category and use them to construct tilting objects with tubular endomorphism algebras for the case of genus one via cluster tilting theory.


title: Symmetric Quasi Classical Dynamics with Quasi Diabatic Propagation Scheme

abstract: We apply a recently developed quasi-diabatic (QD) scheme to the symmetric quasi-classical (SQC) approach for accurate quantum dynamics propagation. By using the adiabatic states as the quasi-diabatic states during a short-time quantum dynamics propagation, the QD scheme allows directly interfacing diabatic SQC method with commonly used adiabatic electronic structure calculations, thus alleviate tedious theoretical efforts to reformulate SQC in the adiabatic representation. Further, the QD scheme ensures a stable propagation of the dynamics and allows using a much larger time step compared to directly propagating SQC dynamics in the adiabatic representation. This is due to the fact that the QD scheme does not explicitly require non-adiabatic couplings that could exhibit highly peaked values during non-adiabatic dynamics propagation. We perform the QD-SQC calculations with a wide range of model non-adiabatic systems to demonstrate the accuracy of the proposed scheme. This study opens up the possibility for combining accurate diabatic quantum dynamics methods such as SQC with any adiabatic electronic structure calculations for non-adiabatic on-the-fly propagations.


title: The Photometric Selection of M-dwarfs using Gaia, WISE and 2MASS photometry

abstract: We present criteria for the photometric selection of M-dwarfs using all-sky photometry, with a view to identifying M-dwarf candidates for inclusion in the input catalogues of upcoming all-sky surveys, including TESS and FunnelWeb. The criteria are based on Gaia, WISE and 2MASS all-sky photometry, and deliberately do not rely on astrometric information. In the lead-up to the availability of truly distance-limited samples following the release of Gaia DR2, this approach has the significant benefit of delivering a sample unbiased with regard to space velocity. Our criteria were developed by using Galaxia synthetic galaxy model predictions to evaluate both M-dwarf completeness and false-positive detections (i.e. non-M-dwarf contamination rates). In addition to the previously known sensitivity of J-H colour for giant-dwarf discrimination at cool temperatures, we find the WISE W1-W2 colour is also effective at discriminating M-dwarfs from cool giants. We have derived two sets of Gaia G > 14.5 criteria - a "high-completeness" set that contains 78,340 stars, of which 30.7-44.4% are expected to be M-dwarfs and contains 99.3% of the total number of expected M-dwarfs; and a "low-contamination" set that prioritises the stars most likely to be M-dwarfs at a cost of a reduction in completeness. This subset contains 40,505 stars and is expected to be comprised of 58.7-64.1% M-dwarfs, with a completeness of 98%. Comparison of the high-completeness set with the TESS Input Catalogue has identified 234 stars not currently in that catalogue, which preliminary analysis suggests could be useful M-dwarf targets for TESS. We also compared the criteria to selection via absolute magnitude and a combination of both methods. We found that colour selection in combination with an absolute magnitude limit provides the most effective way of selecting M-dwarfs en masse.


title: Characterizations of Nonsmooth Robustly Quasiconvex Functions

abstract: Two criteria for the robust quasiconvexity of lower semicontinuous functions are established in terms of Fr\'echet subdifferentials in Asplund spaces.


title: Seven rules to avoid the tragedy of the commons

abstract: Cooperation among self-interested players in a social dilemma is fragile and easily interrupted by mistakes. In this work, we study the repeated $n$-person public-goods game and search for a strategy that forms a cooperative Nash equilibrium in the presence of implementation error with a guarantee that the resulting payoff will be no less than any of the co-players'. By enumerating strategic possibilities for $n=3$, we show that such a strategy indeed exists when its memory length $m$ equals three. It means that a deterministic strategy can be publicly employed to stabilize cooperation against error with avoiding the risk of being exploited. We furthermore show that, for general $n$-person public-goods game, $m \geq n$ is necessary to satisfy the above criteria.


title: A Near Horizon Extreme Binary Black Hole Geometry

abstract: A new solution of four-dimensional vacuum General Relativity is presented. It describes the near horizon region of the extreme (maximally spinning) binary black hole system with two identical extreme Kerr black holes held in equilibrium by a massless strut. This is the first example of a non-supersymmetric, asymptotically flat near horizon extreme binary black hole geometry of two uncharged black holes. The black holes are co-rotating, and the solution is uniquely specified by the mass. The binary extreme system has finite entropy. The distance between the black holes is fixed, but there is a zero-distance limit where the objects collapse into one. This limiting geometry corresponds to the near horizon extreme Kerr (NHEK) black hole.


title: Astrometric Limits on the Stochastic Gravitational Wave Background

abstract: The canonical methods for gravitational wave detection are ground- and space-based laser interferometry, pulsar timing, and polarization of the cosmic microwave background. But as has been suggested by numerous investigators, astrometry offers an additional path to gravitational wave detection. Gravitational waves deflect light rays of extragalactic objects, creating apparent proper motions in a quadrupolar (and higher-order modes) pattern. Astrometry of extragalactic radio sources is sensitive to gravitational waves with frequencies between roughly $10^{-18}$ and $10^{-8}$ Hz ($H_0$ and 1/3 yr$^{-1}$), overlapping and bridging the pulsar timing and CMB polarization regimes. We present a methodology for astrometric gravitational wave detection in the presence of large intrinsic uncorrelated proper motions (i.e., radio jets). We obtain 95% confidence limits on the stochastic gravitational wave background using 711 radio sources, $\Omega_{GW} < 0.0064$, and using 508 radio sources combined with the first Gaia data release: $\Omega_{GW} < 0.011$. These limits probe gravitational wave frequencies $6\times10^{-18}$ Hz $\lesssim f \lesssim 1\times10^{-9}$ Hz. Using a WISE-Gaia catalog of 567,721 AGN, we predict a limit expected from Gaia alone of $\Omega_{GW} < 0.0006$, which is significantly higher than was originally forecast. Incidentally, we detect and report on 22 new examples of optical superluminal motion with redshifts 0.13-3.89.


title: Improving Distantly Supervised Relation Extraction using Word and Entity Based Attention

abstract: Relation extraction is the problem of classifying the relationship between two entities in a given sentence. Distant Supervision (DS) is a popular technique for developing relation extractors starting with limited supervision. We note that most of the sentences in the distant supervision relation extraction setting are very long and may benefit from word attention for better sentence representation. Our contributions in this paper are threefold. Firstly, we propose two novel word attention models for distantly- supervised relation extraction: (1) a Bi-directional Gated Recurrent Unit (Bi-GRU) based word attention model (BGWA), (2) an entity-centric attention model (EA), and (3) a combination model which combines multiple complementary models using weighted voting method for improved relation extraction. Secondly, we introduce GDS, a new distant supervision dataset for relation extraction. GDS removes test data noise present in all previous distant- supervision benchmark datasets, making credible automatic evaluation possible. Thirdly, through extensive experiments on multiple real-world datasets, we demonstrate the effectiveness of the proposed methods.


title: Compact model for Quarks and Leptons via flavored-Axions

abstract: We show how the scales responsible for Peccei-Quinn (PQ), seesaw, and Froggatt and Nielsen (FN) mechanisms can be fixed, by constructing a compact model for resolving rather recent, but fast-growing issues in astro-particle physics, including quark and leptonic mixings and CP violations, high-energy neutrinos, QCD axion, and axion cooling of stars. The model is motivated by the flavored PQ symmetry for unifying the flavor physics and string theory. The QCD axion decay constant congruent to the seesaw scale, through its connection to the astro-particle constraints of both the stellar evolution induced by the flavored-axion bremsstrahlung off electrons $e+Ze\rightarrow Ze+e+A_i$ and the rare flavor-changing decay process induced by the flavored-axion $K^+\rightarrow\pi^++A_i$, is shown to be fixed at $F_A=3.56^{+0.84}_{-0.84}\times10^{10}$ GeV (consequently, the QCD axion mass $m_a=1.54^{+0.48}_{-0.29}\times10^{-4}$ eV, Compton wavelength of its oscillation $\lambda_a=8.04^{+1.90}_{-1.90}\,{\rm mm}$, and axion to neutron coupling $g_{Ann}=2.14^{+0.66}_{-0.41}\times10^{-12}$, etc.). Subsequently, the scale associated to FN mechanism is dynamically fixed through its connection to the standard model fermion masses and mixings, $\Lambda=2.04^{\,+0.48}_{\,-0.48}\times10^{11}\,{\rm GeV}$, and such fundamental scale might give a hint where some string moduli are stabilized in type-IIB string vacua. In the near future, the NA62 experiment expected to reach the sensitivity of ${\rm Br}(K^+\rightarrow\pi^++A_i)<1.0\times10^{-12}$ will probe the flavored-axions or exclude the model, if the astrophysical constraint of star cooling is really responsible for the flavored-axion.


title: Entropy rates for Horton self-similar trees

abstract: In this paper we examine planted binary plane trees. First, we provide an exact formula for the number of planted binary trees with given Horton-Strahler orders. Then, using the notion of entropy, we examine the structural complexity of random planted binary trees with N vertices. Finally, we quantify the complexity of the tree's structural properties as tree grows in size, by evaluating the entropy rate for planted binary plane trees with N vertices and for planted binary plane trees that satisfy Horton Law with Horton exponent R.


title: Weighted (Co)homology and Weighted Laplacian

abstract: In this paper, we generalize the combinatorial Laplace operator of Horak and Jost by introducing the $\phi$-weighted coboundary operator induced by a weight function $\phi$. Our weight function $\phi$ is a generalization of Dawson's weighted boundary map. We show that our above-mentioned generalizations include new cases that are not covered by previous literature. Our definition of weighted Laplacian for weighted simplicial complexes is also applicable to weighted/unweighted graphs and digraphs.


title: On weak reducing disks and disk surgery

abstract: Let $K$ be an unknot in $8$-bridge position in the $3$-sphere. We give an example of a pair of weak reducing disks $D_1$ and $D_2$ for $K$ such that both disks obtained from $D_i$ ($i = 1, 2$) by a surgery along any outermost disk in $D_{3-i}$, cut off by an outermost arc of $D_i \cap D_{3-i}$ in $D_{3-i}$, are not weak reducing disks, i.e. the property of weak reducibility of compressing disks is not preserved by a disk surgery.


title: Infrared and Visible Image Fusion using a Deep Learning Framework

abstract: In recent years, deep learning has become a very active research tool which is used in many image processing fields. In this paper, we propose an effective image fusion method using a deep learning framework to generate a single image which contains all the features from infrared and visible images. First, the source images are decomposed into base parts and detail content. Then the base parts are fused by weighted-averaging. For the detail content, we use a deep learning network to extract multi-layer features. Using these features, we use l_1-norm and weighted-average strategy to generate several candidates of the fused detail content. Once we get these candidates, the max selection strategy is used to get final fused detail content. Finally, the fused image will be reconstructed by combining the fused base part and detail content. The experimental results demonstrate that our proposed method achieves state-of-the-art performance in both objective assessment and visual quality. The Code of our fusion method is available at https://github.com/hli1221/imagefusion_deeplearning


title: Structure and dynamics of a polymer-nanoparticle composite: Effect of nanoparticle size and volume fraction

abstract: We use molecular dynamics simulations to study a semidilute, unentangled polymer solution containing well dispersed, weakly attractive nanoparticles (NP) of size ($\sigma_N$) smaller than the polymer radius of gyration $R_g$. We find that if $\sigma_N$ is larger than the monomer size the polymers swell, while smaller NPs cause chain contraction. The diffusion coefficient of polymer chains ($D_p$) and NPs ($D_N$) decreases if the volume fraction $\phi_N$ is increased. The decrease of $D_p$ can be well described in terms of a confinement parameter, while $D_N$ shows a more complex dependence on $\sigma_N$, which results from an interplay between energetic and entropic effects. When $\phi_N$ exceeds a $\sigma_N$-dependent value, the NPs are no longer well dispersed and $D_N$ and $D_p$ increase if $\phi_N$ is increased.


title: Exploring Topological Phase Transition via Quantum Walk in Coherent State Space

abstract: The quantum walk is a dynamical protocol which describes the motion of spinful particles on a lattice. Also, it has been demonstrated to be a powerful platform to explore topological quantum matter. Recently, the quantum walk in coherent state space has been proposed theoretically and realized experimentally. However, due to the inherent characteristics of coherent states, it is challenging to control the number of photons when we need the coherent space to be a nearly orthogonal space in practice. Here, we demonstrate that the nonorthogonality of coherent sates, on the one hand can be cancelled by multiple measurement, on the other hand, it is useful resource to characterize the nature of the system. Thus the number of photons of the system is controllable. We first present a feasible scheme to measure the wave function of quantum walks. Then we show that the expected number of photons of the coherent space is good observable to represent topological properties of the system, which reflected the advantage of coherent state space quantum walks. In addition, we propose an experimental protocol in a circuit quantum electrodynamics architecture, where a superconducting qubit is a coin while the cavity mode is used for quantum walk.


title: Fault-tolerant quantum error correction for Steane's seven-qubit color code with few or no extra qubits

abstract: Steane's seven-qubit quantum code is a natural choice for fault-tolerance experiments because it is small and just two extra qubits are enough to correct errors. However, the two-qubit error-correction technique, known as "flagged" syndrome extraction, works slowly, measuring only one syndrome at a time. This is a disadvantage in experiments with high qubit rest error rates. We extend the technique to extract multiple syndromes at once, without needing more qubits. Qubits for different syndromes can flag errors in each other. This gives equally fast and more qubit-efficient alternatives to Steane's error-correction method, and also conforms to planar geometry constraints. We further show that Steane's code and some others can be error-corrected with no extra qubits, provided there are at least two code blocks. The rough idea is that two seven-qubit codewords can be temporarily joined into a twelve-qubit code, freeing two qubits for flagged syndrome measurement.