title: Soft Photon Theorem for High Energy Amplitudes in Yukawa and Scalar Theories

abstract: We study the emission of soft photons coupling to high energy fixed angle scattering processes at first order in the electromagnetic coupling but to all loop orders in a class of theories without soft divergences, including massive and massless Yukawa and scalar theories. We adapt a method introduced by del Duca for quantum electrodynamics to show that subleading corrections to the soft photon theorem are sensitive to the structure of non leading external jets of collinear lines. Our techniques are based on a power counting analysis of loop integrals and an application of jet Ward identities. We also apply Grammer and Yennie's decomposition to isolate separately gauge invariant contributions to the soft photon expansion. These are interpreted as infrared sensitive matrix elements coupling to a field strength tensor.


title: Synchronization Strings: Codes for Insertions and Deletions Approaching the Singleton Bound

abstract: We introduce synchronization strings as a novel way of efficiently dealing with synchronization errors, i.e., insertions and deletions. Synchronization errors are strictly more general and much harder to deal with than commonly considered half-errors, i.e., symbol corruptions and erasures. For every $\epsilon >0$, synchronization strings allow to index a sequence with an $\epsilon^{-O(1)}$ size alphabet such that one can efficiently transform $k$ synchronization errors into $(1+\epsilon)k$ half-errors. This powerful new technique has many applications. In this paper, we focus on designing insdel codes, i.e., error correcting block codes (ECCs) for insertion deletion channels. While ECCs for both half-errors and synchronization errors have been intensely studied, the later has largely resisted progress. Indeed, it took until 1999 for the first insdel codes with constant rate, constant distance, and constant alphabet size to be constructed by Schulman and Zuckerman. Insdel codes for asymptotically large or small noise rates were given in 2016 by Guruswami et al. but these codes are still polynomially far from the optimal rate-distance tradeoff. This makes the understanding of insdel codes up to this work equivalent to what was known for regular ECCs after Forney introduced concatenated codes in his doctoral thesis 50 years ago. A direct application of our synchronization strings based indexing method gives a simple black-box construction which transforms any ECC into an equally efficient insdel code with a slightly larger alphabet size. This instantly transfers much of the highly developed understanding for regular ECCs over large constant alphabets into the realm of insdel codes. Most notably, we obtain efficient insdel codes which get arbitrarily close to the optimal rate-distance tradeoff given by the Singleton bound for the complete noise spectrum.


title: The effect of phase change on stability of convective flow in a layer of volatile liquid driven by a horizontal temperature gradient

abstract: Buoyancy-thermocapillary convection in a layer of volatile liquid driven by a horizontal temperature gradient arises in a variety of situations. Recent studies have shown that the composition of the gas phase, which is typically a mixture of vapour and air, has a noticeable effect on the critical Marangoni number describing the onset of convection as well as on the observed convection pattern. Specifically, as the total pressure or, equivalently, the average concentration of air is decreased, the threshold of the instability leading to the emergence of convective rolls is found to increase rather significantly. We present a linear stability analysis of the problem which shows that this trend can be readily understood by considering the transport of heat and vapour through the gas phase. In particular, we show that transport in the gas phase has a noticeable effect even at atmospheric conditions, when phase change is greatly suppressed.


title: Modeling the Black hole Merger of QSO 3C 186

abstract: Recent detailed observations of the radio-loud quasar 3C 186 indicate the possibility that a supermassive recoiling black hole is moving away from the host galaxy at a speed of nearly 2100km/s. If this is the case, we can model the mass ratio and spins of the progenitor binary black hole using the results of numerical relativity simulations. We find that the black holes in the progenitor must have comparable masses with a mass ratio $q=m_1/m_2>1/4$ and the spin of the primary black hole must be $\alpha_2=S_2/m_2^2>0.4$. The final remnant of the merger is bounded by $\alpha_f>0.45$ and at least $4\%$ of the total mass of the binary system is radiated into gravitational waves. We consider four different pre-merger scenarios that further narrow those values. Assuming, for instance, a cold accretion driven merger model, we find that the binary had comparable masses with $q=0.70^{+0.29}_{-0.21}$ and the normalized spins of the larger and smaller black holes were $\alpha_2=0.94^{+0.06}_{-0.22}$ and $\alpha_1=0.95^{+0.05}_{-0.09}$. We can also estimate the final recoiling black hole spin $\alpha_f=0.93^{+0.02}_{-0.03}$ and that the system radiated $9.6^{+0.8}_{-1.4}\%$ of its total mass, making the merger of those black holes the most energetic event ever observed.


title: Moduli of stable sheaves supported on curves of genus three contained in a quadric surface

abstract: We study the moduli space of stable sheaves of Euler characteristic 1 supported on curves of arithmetic genus 3 contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers by studying the variation of the moduli spaces of alpha-semi-stable pairs. We classify the stable sheaves using locally free resolutions or extensions. We give a global description: the moduli space is obtained from a certain flag Hilbert scheme by performing two flips followed by a blow-down.


title: Criterion for Stability of a Special Relativistically Covariant Dynamical System

abstract: We study classically the problem of two relativistic particles with an invariant Duffing-like potential which reduces to the usual Duffing form in the nonrelativistic limit. We use a special relativistic generalization (RGEM) of the geometric method (GEM) developed for the analysis of nonrelativistic Hamiltonian systems to study the local stability of a relativistic Duffing oscillator. Poincar'e plots of the simulated motion are consistent with the RGEM. We found a threshold for the external driving force required for chaotic behavior in the Minkowski spacetime.

categories: physics.class-ph math-ph math.MP nlin.CD


title: Virtual Links with Finite Medial Bikei

abstract: We consider the question of which virtual knots have finite fundamental medial bikei. We describe and implement an algorithm for completing a presentation matrix of a medial bikei to an operation table, determining both the cardinality and isomorphism class of the fundamental medial bikei, each of which are link invariants. As an example, we compute the fundamental medial bikei for all of the prime virtual knots with up to four classical crossings as listed in the knot atlas.


title: Study of dynamics in post-transient flows using Koopman mode decomposition

abstract: The Koopman Mode Decomposition (KMD) is a data-analysis technique which is often used to extract the spatio-temporal patterns of complex flows. In this paper, we use KMD to study the dynamics of the lid-driven flow in a two-dimensional square cavity based on theorems related to the spectral theory of the Koopman operator. We adapt two algorithms, from the classical Fourier and power spectral analysis, to compute the discrete and continuous spectrum of the Koopman operator for the post-transient flows. Properties of the Koopman operator spectrum are linked to the sequence of flow regimes occurring between $Re=10000$ and $Re=30000$, and changing the flow nature from steady to aperiodic. The Koopman eigenfunctions for different flow regimes, including flows with mixed spectra, are constructed using the assumption of ergodicity in the state space. The associated Koopman modes show remarkable robustness even as the temporal nature of the flow is changing substantially. We observe that KMD outperforms the Proper Orthogonal Decomposition in reconstruction of the flows with strong quasi-periodic components.c features are present in the flow.


title: Two special subgroups of the universal sofic group

abstract: We define a subgroup of the universal sofic group, obtained as the normaliser of a separable abelian subalgebra. This subgroup can be obtained as an extension by the group of automorphisms on a standard probability space. We show that each sofic representation can be conjugated inside this subgroup.


title: Anisotropic magnetoresistance and piezoelectric effect in GaAs Hall samples

abstract: In this work, we argue that an anisotropic interaction potential may stabilize anisotropic liquid phases of electrons even in a strong magnetic field regime where normally one expects to see only isotropic quantum Hall or isotropic Fermi liquid states. We use this approach to support a theoretical framework that envisions the possibility of an anisotropic liquid crystalline state of electrons in the lowest Landau level. In particular, we argue that an anisotropic liquid state of electrons may stabilize in the lowest Landau level close to the liquid-solid transition region at filling factor $\nu=1/6$ for a given anisotropic Coulomb interaction potential. Quantum Monte Carlo simulations for a liquid crystalline state with broken rotational symmetry indicate stability of liquid crystalline order consistent with the existence of an anisotropic liquid state of electrons stabilized by anisotropy at filling factor $\nu=1/6$ of the lowest Landau level.


title: Workshop on High-Intensity Photon Sources (HIPS2017) Mini-Proceedings

abstract: This workshop aimed at producing an optimized photon source concept with potential increase of scientific output at Jefferson Lab, and at refining the science for hadron physics experiments benefitting from such a high-intensity photon source. The workshop brought together the communities directly using such sources for photo-production experiments, or for conversion into $K_L$ beams. The combination of high precision calorimetry and high intensity photon sources greatly enhances scientific benefit to (deep) exclusive processes like wide-angle and time-like Compton scattering. Potential prospects of such a high-intensity source with modern polarized targets were also discussed. The availability of $K_L$ beams would open new avenues for hadron spectroscopy, for example for the investigation of "missing" hyperon resonances, with potential impact on QCD thermodynamics and on freeze-out both in heavy ion collisions and in the early universe.


title: Weakly non-Boussinesq convection in a gaseous spherical shell

abstract: We examine the dynamics associated with weakly compressible convection in a spherical shell by running 3D direct numerical simulations using the Boussinesq formalism [1]. Motivated by problems in astrophysics, we assume the existence of a finite adiabatic temperature gradient $\nabla T_{\rm{ad}}$ and use mixed boundary conditions for the temperature with fixed flux at the inner boundary and fixed temperature at the outer boundary. This setup is intrinsically more asymmetric than the more standard case of Rayleigh-B\'{e}nard convection in liquids between parallel plates with fixed temperature boundary conditions. Conditions where there is substantial asymmetry can cause a dramatic change in the nature of convection and we demonstrate that this is the case here. The flows can become pressure- rather than buoyancy- dominated leading to anomalous heat transport by upflows. Counter-intuitively, the background temperature gradient $\nabla\bar{T}$ can develop a subadiabatic layer (where $\boldsymbol{g}\cdot\nabla\bar{T}<\boldsymbol{g}\cdot\nabla T_{\rm{ad}}$, where $\boldsymbol{g}$ is gravity) although convection remains vigorous at every point across the shell. This indicates a high degree of non-locality.


title: Observing Gravitational Waves with a Single Detector

abstract: A major challenge of any search for gravitational waves is to distinguish true astrophysical signals from those of terrestrial origin. Gravitational-wave experiments therefore make use of multiple detectors, considering only those signals which appear in coincidence in two or more instruments. It is unclear, however, how to interpret loud gravitational-wave candidates observed when only one detector is operational. In this paper, we demonstrate that the observed rate of binary black hole mergers can be leveraged in order to make confident detections of gravitational-wave signals with one detector alone. We quantify detection confidences in terms of the probability $P(S)$ that a signal candidate is of astrophysical origin. We find that, at current levels of instrumental sensitivity, loud signal candidates observed with a single Advanced LIGO detector can be assigned $P(S)\gtrsim0.4$. In the future, Advanced LIGO may be able to observe single-detector events with confidences exceeding $P(S)\sim90\%$.


title: Neutrino Mass, Leptogenesis and FIMP Dark Matter in a ${\rm U}(1)_{\rm B-L}$ Model

abstract: The Standard Model (SM) is inadequate to explain the origin of tiny neutrino masses, the dark matter (DM) relic abundance and also the baryon asymmetry of the Universe. In this work to address all the three puzzles, we extend the SM by a local U$(1)_{\rm B-L}$ gauge symmetry, three right-handed (RH) neutrinos for the cancellation of gauge anomalies and two complex scalars having nonzero U$(1)_{\rm B-L}$ charges. All the newly added particles become massive after the breaking of U$(1)_{\rm B-L}$ symmetry by the vacuum expectation value (VEV) of one of the scalar fields $\phi_H$. The other scalar field $\phi_{DM}$, which does not have any VEV, becomes automatically stable and can be a viable DM candidate. Neutrino masses are generated using Type-I seesaw mechanism while the required lepton asymmetry to reproduce the observed baryon asymmetry, can be attained from the CP violating out of equilibrium decays of RH neutrinos in TeV scale. More importantly within this framework, we have studied in detail the production of DM via freeze-in mechanism considering all possible annihilation and decay processes. Finally, we find a situation when DM is dominantly produced from the annihilation of RH neutrinos, which are at the same time also responsible for neutrino mass generation and leptogenesis.


title: Principal Inertia Components and Applications

abstract: We explore properties and applications of the Principal Inertia Components (PICs) between two discrete random variables $X$ and $Y$. The PICs lie in the intersection of information and estimation theory, and provide a fine-grained decomposition of the dependence between $X$ and $Y$. Moreover, the PICs describe which functions of $X$ can or cannot be reliably inferred (in terms of MMSE) given an observation of $Y$. We demonstrate that the PICs play an important role in information theory, and they can be used to characterize information-theoretic limits of certain estimation problems. In privacy settings, we prove that the PICs are related to fundamental limits of perfect privacy.


title: Deep Inelastic Scattering off a Plasma with a Background Magnetic Field

abstract: Using holography, we analyse deep inelastic scattering of a flavor current from a strongly coupled quark-gluon plasma with a background magnetic field. The aim is to show how the magnetic field affects the partonic picture of the plasma. The flavored constituents of the plasma are described using D3-D7 brane model at finite temperature. We find that the presence of a background magnetic field makes it harder to detect the plasma constituents. Our calculations are in agreement with those calculated from other approaches. Besides the resulting changes for plasma structure functions a criteria will be obtained for the possibility of deep inelastic process in the presence of magnetic field.


title: The use of controlled vocabularies in requirements engineering activities: a protocol for a systematic literature review

abstract: Context: The Evidence-Based Software Engineering (EBSE) paradigm and the planning phase of a systematic literature review. Objective: A protocol to do a systematic literature review with detailed information about the processes suggested by several guidelines in the field of evidence-based software engineering. Method: An analisys of recent systematic literature reviews published in world leading journals, plus the use of two renowned guidelines and a textbook to sinthetise a formal plan (the protocol). Results: The validated protocol Conclusions: We found that most of the published systematic reviews lack on reporting the protocol, or it is weak. There is a lack of tool support to develop formal protocols. Although a protocol, like a plan, must have the flexibility to adapt to unforeseen situations, its objective is that the actual activities should resemble as far as possible of those already planned. Therefore, it is a difficult balance to achieve and, researchers must be careful not to introduce alterations that could become threats to the validity of the entire work.


title: A Hierarchical Bayesian Model of Pitch Framing

abstract: Since the advent of high-resolution pitch tracking data (PITCHf/x), many in the sabermetrics community have attempted to quantify a Major League Baseball catcher's ability to "frame" a pitch (i.e. increase the chance that a pitch is called as a strike). Especially in the last three years, there has been an explosion of interest in the "art of pitch framing" in the popular press as well as signs that teams are considering framing when making roster decisions. We introduce a Bayesian hierarchical model to estimate each umpire's probability of calling a strike, adjusting for pitch participants, pitch location, and contextual information like the count. Using our model, we can estimate each catcher's effect on an umpire's chance of calling a strike.We are then able to translate these estimated effects into average runs saved across a season. We also introduce a new metric, analogous to Jensen, Shirley, and Wyner's Spatially Aggregate Fielding Evaluation metric, which provides a more honest assessment of the impact of framing.


title: Molecular Gas Dominated 50 kpc Ram Pressure Stripped Tail of the Coma Galaxy D100

abstract: We have discovered large amounts of molecular gas, as traced by CO emission, in the ram pressure stripped gas tail of the Coma cluster galaxy D100 (GMP 2910), out to large distances of about 50 kpc. D100 has a 60 kpc long, strikingly narrow tail which is bright in X-rays and H{\alpha}. Our observations with the IRAM 30m telescope reveal in total ~ 10^9 M_sun of H_2 (assuming the standard CO-to-H_2 conversion) in several regions along the tail, thus indicating that molecular gas may dominate its mass. Along the tail we measure a smooth gradient in the radial velocity of the CO emission that is offset to lower values from the more diffuse H{\alpha} gas velocities. Such a dynamic separation of phases may be due to their differential acceleration by ram pressure. D100 is likely being stripped at a high orbital velocity >2200 km/s by (nearly) peak ram pressure. Combined effects of ICM viscosity and magnetic fields may be important for the evolution of the stripped ISM. We propose D100 has reached a continuous mode of stripping of dense gas remaining in its nuclear region. D100 is the second known case of an abundant molecular stripped-gas tail, suggesting that conditions in the ICM at the centers of galaxy clusters may be favorable for molecularization. From comparison with other galaxies, we find there is a good correlation between the CO flux and the H{\alpha} surface brightness in ram pressure stripped gas tails, over about 2 dex.


title: Critical Non-Abelian Vortex in Four Dimensions and Little String Theory

abstract: As was shown recently, non-Abelian vortex strings supported in four-dimensional ${\cal N}=2$ supersymmetric QCD with the U(2) gauge group and $N_f=4$ quark multiplets (flavors) become critical superstrings. In addition to the translational moduli non-Abelian strings under consideration carry six orientational and size moduli. Together they form a ten-dimensional target space required for a superstring to be critical. The target space of the string sigma model is a product of the flat four-dimensional space and a Calabi-Yau non-compact threefold, namely, the conifold. We study closed string states which emerge in four dimensions (4D) and identify them with hadrons of four-dimensional ${\cal N}=2$ QCD. One massless state was found previously: it emerges as a massless hypermultiplet associated with the deformation of the complex structure of the conifold. In this paper we find a number of massive states. To this end we exploit the approach used in LST, "Little String Theory," namely equivalence between the critical string on the conifold and non-critical $c=1$ string with the Liouville field and a compact scalar at the self-dual radius. The states we find carry "baryonic" charge (its definition differs from standard). We interpret them as "monopole necklaces" formed (at strong coupling) by the closed string with confined monopoles attached.


title: A Complete Solution of the Bloch Equation

abstract: The Bloch equation is the fundamental dynamical model applicable to arbitrary two-level systems. Analytical solutions to date are incomplete for a number of reasons that motivate further investigation. The solution obtained here for the propagator, which generates the time evolution of the system and embodies all the system dynamics, is compact and completely general. The parameter space that results in division by zero in previous treatments is explicitly defined and accommodated in the solution. Polynomial roots required for the solution are expressed in terms of a single real root obtained using simple functional forms. A simple graphical rendition of this root is developed that clarifies and characterizes its dependence on the physical parameters of the problem. As a result, the explicit time dependence of the system as a function of its physical parameters is immediately evident. Several intuitive models of system dynamics are also developed. In particular, the Bloch equation is separable in the proper coordinate system, written as the sum of a relaxation operator and either a null operator or a commuting rotation. The propagator thus drives either pure relaxation or relaxation followed by a rotation. The paper provides a basis for increased physical insight into the Bloch equation and its widespread applications.


title: Static Charge Density Wave Order in the Superconducting State of La2-xBaxCuO4

abstract: Charge density wave (CDW) correlations feature prominently in the phase diagram of the cuprates, motivating competing theories of whether fluctuating CDW correlations aid superconductivity or whether static CDW order coexists with superconductivity in inhomogeneous or spatially modulated states. Here we report Cu $L$-edge resonant x-ray photon correlation spectroscopy (XPCS) measurements of CDW correlations in superconducting La$_{2-x}$Ba$_x$CuO$_4$ $x=0.11$. Static CDW order is shown to exist in the superconducting state at low temperatures and to persist up to at least 85\% of the CDW transition temperature. We discuss the implications of our observations for how \emph{nominally} competing order parameters can coexist in the cuprates.


title: A Probabilistic Linear Genetic Programming with Stochastic Context-Free Grammar for solving Symbolic Regression problems

abstract: Traditional Linear Genetic Programming (LGP) algorithms are based only on the selection mechanism to guide the search. Genetic operators combine or mutate random portions of the individuals, without knowing if the result will lead to a fitter individual. Probabilistic Model Building Genetic Programming (PMB-GP) methods were proposed to overcome this issue through a probability model that captures the structure of the fit individuals and use it to sample new individuals. This work proposes the use of LGP with a Stochastic Context-Free Grammar (SCFG), that has a probability distribution that is updated according to selected individuals. We proposed a method for adapting the grammar into the linear representation of LGP. Tests performed with the proposed probabilistic method, and with two hybrid approaches, on several symbolic regression benchmark problems show that the results are statistically better than the obtained by the traditional LGP.


title: Online deforestation detection

abstract: Deforestation detection using satellite images can make an important contribution to forest management. Current approaches can be broadly divided into those that compare two images taken at similar periods of the year and those that monitor changes by using multiple images taken during the growing season. The CMFDA algorithm described in Zhu et al. (2012) is an algorithm that builds on the latter category by implementing a year-long, continuous, time-series based approach to monitoring images. This algorithm was developed for 30m resolution, 16-day frequency reflectance data from the Landsat satellite. In this work we adapt the algorithm to 1km, 16-day frequency reflectance data from the modis sensor aboard the Terra satellite. The CMFDA algorithm is composed of two submodels which are fitted on a pixel-by-pixel basis. The first estimates the amount of surface reflectance as a function of the day of the year. The second estimates the occurrence of a deforestation event by comparing the last few predicted and real reflectance values. For this comparison, the reflectance observations for six different bands are first combined into a forest index. Real and predicted values of the forest index are then compared and high absolute differences for consecutive observation dates are flagged as deforestation events. Our adapted algorithm also uses the two model framework. However, since the modis 13A2 dataset used, includes reflectance data for different spectral bands than those included in the Landsat dataset, we cannot construct the forest index. Instead we propose two contrasting approaches: a multivariate and an index approach similar to that of CMFDA.


title: Locally Self-Adjusting Skip Graphs

abstract: We present a distributed self-adjusting algorithm for skip graphs that minimizes the average routing costs between arbitrary communication pairs by performing topological adaptation to the communication pattern. Our algorithm is fully decentralized, conforms to the $\mathcal{CONGEST}$ model (i.e. uses $O(\log n)$ bit messages), and requires $O(\log n)$ bits of memory for each node, where $n$ is the total number of nodes. Upon each communication request, our algorithm first establishes communication by using the standard skip graph routing, and then locally and partially reconstructs the skip graph topology to perform topological adaptation. We propose a computational model for such algorithms, as well as a yardstick (working set property) to evaluate them. Our working set property can also be used to evaluate self-adjusting algorithms for other graph classes where multiple tree-like subgraphs overlap (e.g. hypercube networks). We derive a lower bound of the amortized routing cost for any algorithm that follows our model and serves an unknown sequence of communication requests. We show that the routing cost of our algorithm is at most a constant factor more than the amortized routing cost of any algorithm conforming to our computational model. We also show that the expected transformation cost for our algorithm is at most a logarithmic factor more than the amortized routing cost of any algorithm conforming to our computational model.


title: Local optical control of ferromagnetism and chemical potential in a topological insulator

abstract: Many proposed experiments involving topological insulators (TIs) require spatial control over time-reversal symmetry and chemical potential. We demonstrate reconfigurable micron-scale optical control of both magnetization (which breaks time-reversal symmetry) and chemical potential in ferromagnetic thin films of Cr-(Bi,Sb)$_2$Te$_3$ grown on SrTiO$_3$. By optically modulating the coercivity of the films, we write and erase arbitrary patterns in their remanent magnetization, which we then image with Kerr microscopy. Additionally, by optically manipulating a space charge layer in the underlying SrTiO$_3$ substrates, we control the local chemical potential of the films. This optical gating effect allows us to write and erase p-n junctions in the films, which we study with photocurrent microscopy. Both effects are persistent and may be patterned and imaged independently on a few-micron scale. Dynamic optical control over both magnetization and chemical potential of a TI may be useful in efforts to understand and control the edge states predicted at magnetic domain walls in quantum anomalous Hall insulators.


title: Flexibility of exponents for expanding maps on a circle

abstract: We consider a smooth expanding map g on the circle of degree 2. It is known that the Lyapunov exponent of g with respect to the unique invariant measure that is absolutely continuous with respect to the Lebesgue measure is positive and less than or equal to log 2 which, in addition, is less than or equal to the Lyapunov exponent of g with respect to the measure of maximal entropy. Moreover, the equalities only occur simultaneously. We show that these are the only restrictions on the Lyapunov exponents considered above for smooth expanding maps of degree 2.


title: Secure alignment of coordinate systems by using quantum correlation

abstract: We show that two parties far apart can use shared entangled states and classical communication to align their coordinate systems with a very high fidelity. Moreover compared with previous methods proposed for such a task, i.e. sending parallel or anti-parallel pairs or groups of spin states, our method has the extra advantages of using single qubit measurements and also being secure, so that third parties do not extract any information about the aligned coordinate system established between the two parties. The latter property is important in many other quantum information protocols in which measurements inevitably play a significant role.


title: Cascaded Segmentation-Detection Networks for Word-Level Text Spotting

abstract: We introduce an algorithm for word-level text spotting that is able to accurately and reliably determine the bounding regions of individual words of text "in the wild". Our system is formed by the cascade of two convolutional neural networks. The first network is fully convolutional and is in charge of detecting areas containing text. This results in a very reliable but possibly inaccurate segmentation of the input image. The second network (inspired by the popular YOLO architecture) analyzes each segment produced in the first stage, and predicts oriented rectangular regions containing individual words. No post-processing (e.g. text line grouping) is necessary. With execution time of 450 ms for a 1000-by-560 image on a Titan X GPU, our system achieves the highest score to date among published algorithms on the ICDAR 2015 Incidental Scene Text dataset benchmark.


abstract: We consider the problem of recovering linear image $Bx$ of a signal $x$ known to belong to a given convex compact set ${\cal X}$ from indirect observation $\omega=Ax+\xi$ of $x$ corrupted by random noise $\xi$ with finite covariance matrix. It is shown that under some assumptions on ${\cal X}$ (satisfied, e.g., when ${\cal X}$ is the intersection of $K$ concentric ellipsoids/elliptic cylinders, or the unit ball of the spectral norm in the space of matrices) and on the norm $\|\cdot\|$ used to measure the recovery error (satisfied, e.g., by $\|\cdot\|_p$-norms, $1\leq p\leq 2$, on ${\mathbf{R}}^m$ and by the nuclear norm on the space of matrices), one can build, in a computationally efficient manner, a "presumably good" linear in observations estimate, and that in the case of zero mean Gaussian observation noise, this estimate is near-optimal among all (linear and nonlinear) estimates in terms of its worst-case, over $x\in {\cal X}$, expected $\|\cdot\|$-loss. These results form an essential extension of those in our paper arXiv:1602.01355, where the assumptions on ${\cal X}$ were more restrictive, and the norm $\|\cdot\|$ was assumed to be the Euclidean one. In addition, we develop near-optimal estimates for the case of "uncertain-but-bounded" noise, where all we know about $\xi$ is that it is bounded in a given norm by a given $\sigma$. Same as in arXiv:1602.01355, our results impose no restrictions on $A$ and $B$. This arXiv paper slightly strengthens the journal publication Juditsky, A., Nemirovski, A. "Near-Optimality of Linear Recovery from Indirect Observations," Mathematical Statistics and Learning 1:2 (2018), 171-225.


title: Relativistic effects in heavy-ion Coulomb scattering

abstract: The role of relativistic corrections in Coulomb scattering of heavy ions at intermediate energy collisions ($E_{lab}\gtrsim 50$ MeV/n) is investigated by numerically solving a full set of coupled equations. We compare two methods, (a) one involving an exact account of interaction retardation with (b) a method based on the expansion of effective Lagrangians in powers of the ion velocities, $v/c$.Our study makes it possible to infer the relevance of kinematic corrections, retardation, and magnetic interactions such as the Darwin force. We show that analytical formulas are able to describe all aspects of experimental interest in relativistic effects in heavy-ion Coulomb scattering at intermediate energies without having to solve numerically the coupled equations.


title: A Note on Band-limited Minorants of an Euclidean Ball

abstract: We study the Beurling-Selberg problem of finding band-limited $L^1$-functions that lie below the indicator function of an Euclidean ball. We compute the critical radius of the support of the Fourier transform for which such construction can have a positive integral.


title: V-mode Polarization in Axion Inflation and Preheating

abstract: We study the production of primordial circular ("V-mode") polarization in axion inflation coupled to fermions and gauge fields, with special attention paid to (p)reheating. We construct the power spectrum of $V$, and find a blue-tilted spectrum with index $n_V=4$. This is independent of the dominant decay channel of the inflaton (direct fermion vs. direct photon production)


title: $t$-Unique Reductions for M\'esz\'aros's Subdivision Algebra

abstract: Fix a commutative ring $\mathbf{k}$, two elements $\beta,\alpha\in\mathbf{k}$ and a positive integer $n$. Let $\mathcal{X}$ be the polynomial ring over $\mathbf{k}$ in the $n(n-1)/2$ indeterminates $x_{i,j}$ for all $1\leq i<j\leq n$. Consider the ideal $\mathcal{J}$ of $\mathcal{X}$ generated by all polynomials of the form $x_{i,j}x_{j,k}-x_{i,k}(x_{i,j}+x_{j,k}+\beta)-\alpha$ for $1\leq i<j<k\leq n$. The quotient algebra $\mathcal{X}/\mathcal{J}$ (at least for a certain choice of $\mathbf{k}$, $\beta$ and $\alpha$) has been introduced by Karola M\'esz\'aros as a commutative analogue of Anatol Kirillov's quasi-classical Yang-Baxter algebra. A monomial in $\mathcal{X}$ is said to be pathless if it has no divisors of the form $x_{i,j}x_{j,k}$ with $1\leq i<j<k\leq n$. The residue classes of these pathless monomials span the $\mathbf{k}$-module $\mathcal{X}/\mathcal{J}$, but (in general) are $\mathbf{k}$-linearly dependent. Recently, the study of Grothendieck polynomials has led Laura Escobar and Karola M\'esz\'aros to defining a $\mathbf{k}$-algebra homomorphism $D$ from $\mathcal{X}$ into the polynomial ring $\mathbf{k}[t_{1},t_{2},\ldots,t_{n-1}]$ that sends each $x_{i,j}$ to $t_{i}$. We show the following fact (generalizing a conjecture of M\'esz\'aros): If $p\in\mathcal{X}$, and if $q\in\mathcal{X}$ is a $\mathbf{k}$-linear combination of pathless monomials satisfying $p\equiv q\operatorname{mod}\mathcal{J}$, then $D(q)$ does not depend on $q$ (as long as $\beta$, $\alpha$ and $p$ are fixed). Thus, reducing a $p\in\mathcal{X}$ modulo $\mathcal{J}$ may lead to different results depending on the choices made in the reduction process, but all of them become identical once $D$ is applied. We also find an actual basis of the $\mathbf{k}$-module $\mathcal{X}/\mathcal{J}$, using what we call forkless monomials.


title: The Zitterbewegung Region

abstract: \begin{abstract} This paper deals with a precise description of the region of {\it zitterbewegung} below the Compton scale and the stochastic nature associated with it. We endeavour to delineate this particular region by means of {\it Ito's calculus} and instigate certain features that are in sharp contrast with conventional physics. Interestingly, our work substantiates that the {\it zitterbewegung region} represents a pre-spacetime region and from therein emerges the notion of our conventional spacetime. Interestingly, this unique region engenders the relativistic and quantum mechanical aspects of spacetime.


title: Van der Waals Engineering of Ferromagnetic Semiconductor Heterostructures for Spin and Valleytronics

abstract: The integration of magnetic material with semiconductors has been fertile ground for fundamental science as well as of great practical interest toward the seamless integration of information processing and storage. Here we create van der Waals heterostructures formed by an ultrathin ferromagnetic semiconductor CrI3 and a monolayer of WSe2. We observe unprecedented control of the spin and valley pseudospin in WSe2, where we detect a large magnetic exchange field of nearly 13 T and rapid switching of the WSe2 valley splitting and polarization via flipping of the CrI3 magnetization. The WSe2 photoluminescence intensity strongly depends on the relative alignment between photo-excited spins in WSe2 and the CrI3 magnetization, due to ultrafast spin-dependent charge hopping across the heterostructure interface. The photoluminescence detection of valley pseudospin provides a simple and sensitive method to probe the intriguing domain dynamics in the ultrathin magnet, as well as the rich spin interactions within the heterostructure.


title: Aerosols optical properties in Titan's Detached Haze Layer before the equinox

abstract: UV observations with Cassini ISS Narrow Angle Camera of Titan's detached haze is an excellent tool to probe its aerosols content without being affected by the gas or the multiple scattering. Unfortunately, its low extent in altitude requires a high resolution calibration and limits the number of images available in the Cassini dataset. However, we show that it is possible to extract on each profile the local maximum of intensity of this layer and confirm its stability at $500 \pm 8$ km during the 2005-2007 period for all latitudes lower than 45$^\circ$N. Using the fractal aggregate scattering model of Tomasko et al. (2008) and a single scattering radiative transfer model, it is possible to derive the optical properties required to explain the observations made at different phase angles. Our results indicates that the aerosols have at least ten monomers of 60 nm radius, while the typical tangential column number density is about $2\cdot 10^{10}$ agg.m$^{-2}$. Moreover, we demonstrate that these properties are constant within the error bars in the southern hemisphere of Titan over the observed time period. In the northern hemisphere, the size of the aerosols tend to decrease relatively to the southern hemisphere and are associated with a higher tangential opacity. However, the lower number of observations available in this region due to the orbital constraints is a limiting factor in the accuracy of these results. Assuming a fixed homogeneous content we notice that the tangential opacity can fluctuate up to a factor 3 among the observations at the equator. These variations could be linked with short scale temporal and/or longitudinal events changing the local density of the layer.


title: Counter-RAPTOR: Safeguarding Tor Against Active Routing Attacks

abstract: Tor is vulnerable to network-level adversaries who can observe both ends of the communication to deanonymize users. Recent work has shown that Tor is susceptible to the previously unknown active BGP routing attacks, called RAPTOR attacks, which expose Tor users to more network-level adversaries. In this paper, we aim to mitigate and detect such active routing attacks against Tor. First, we present a new measurement study on the resilience of the Tor network to active BGP prefix attacks. We show that ASes with high Tor bandwidth can be less resilient to attacks than other ASes. Second, we present a new Tor guard relay selection algorithm that incorporates resilience of relays into consideration to proactively mitigate such attacks. We show that the algorithm successfully improves the security for Tor clients by up to 36% on average (up to 166% for certain clients). Finally, we build a live BGP monitoring system that can detect routing anomalies on the Tor network in real time by performing an AS origin check and novel detection analytics. Our monitoring system successfully detects simulated attacks that are modeled after multiple known attack types as well as a real-world hijack attack (performed by us), while having low false positive rates.


title: Gamma-ray burst prompt correlations: selection and instrumental effects

abstract: The prompt emission mechanism of gamma-ray bursts (GRB) even after several decades remains a mystery. However, it is believed that correlations between observable GRB properties given their huge luminosity/radiated energy and redshift distribution extending up to at least $z \approx 9$, are promising possible cosmological tools. They also may help to discriminate among the most plausible theoretical models. Nowadays, the objective is to make GRBs standard candles, similar to supernovae (SNe) Ia, through well-established and robust correlations. However, differently from SNe Ia, GRBs span over several order of magnitude in their energetics and hence cannot yet be considered standard candles. Additionally, being observed at very large distances their physical properties are affected by selection biases, the so called Malmquist bias or Eddington effect. We describe the state of the art on how GRB prompt correlations are corrected for these selection biases in order to employ them as redshift estimators and cosmological tools. We stress that only after an appropriate evaluation and correction for these effects, the GRB correlations can be used to discriminate among the theoretical models of prompt emission, to estimate the cosmological parameters and to serve as distance indicators via redshift estimation.


title: The Cloudlet Bazaar Dynamic Markets for the Small Cloud

abstract: The recent emergence of the small cloud (SC), both in concept and in practice, has been driven mainly by issues related to service cost and complexity of commercial cloud providers (e.g., Amazon) employing massive data centers. However, the resource inelasticity problem faced by the SCs due to their relatively scarce resources (e.g., virtual machines) might lead to a potential degradation of customer QoS and loss of revenue. A proposed solution to this problem recommends the sharing of resources between competing SCs to alleviate the resource inelasticity issues that might arise [1]. Based on this idea, a recent effort ([2]) proposed SC-Share, a performance-driven static market model for competitive small cloud environments that results in an efficient market equilibrium jointly optimizing customer QoS satisfaction and SC revenue generation. However, an important non-obvious question still remains to be answered, without which SC sharing markets may not be guaranteed to sustain in the long-run - is it still possible to achieve a stable market efficient state when the supply of SC resources is dynamic in nature and there is a variation of customer demand over time? In this paper, we address the problem of efficient market design for SC resource sharing in dynamic environments. We answer our previous question in the affirmative through the use of Arrow and Hurwicz's disequilibrium process [3], [4] in economics, and the gradient play technique in game theory that allows us to iteratively converge upon efficient and stable market equilibria


title: Character formulae in category $\mathcal O$ for exceptional Lie superalgebras $D(2|1;\zeta)$

abstract: We establish character formulae for representations of the one-parameter family of simple Lie superalgebras $D(2|1;\zeta)$. We provide a complete description of the Verma flag multiplicities of the tilting modules and the projective modules in the BGG category $\mathcal O$ of $D(2|1;\zeta)$-modules of integral weights, for any complex parameter $\zeta$. The composition factors of all Verma modules in $\mathcal O$ are then obtained.


title: Incorporating Signals into Optimal Trading

abstract: Optimal trading is a recent field of research which was initiated by Almgren, Chriss, Bertsimas and Lo in the late 90's. Its main application is slicing large trading orders, in the interest of minimizing trading costs and potential perturbations of price dynamics due to liquidity shocks. The initial optimization frameworks were based on mean-variance minimization for the trading costs. In the past 15 years, finer modelling of price dynamics, more realistic control variables and different cost functionals were developed. The inclusion of signals (i.e. short term predictors of price dynamics) in optimal trading is a recent development and it is also the subject of this work. We incorporate a Markovian signal in the optimal trading framework which was initially proposed by Gatheral, Schied, and Slynko [21] and provide results on the existence and uniqueness of an optimal trading strategy. Moreover, we derive an explicit singular optimal strategy for the special case of an Ornstein-Uhlenbeck signal and an exponentially decaying transient market impact. The combination of a mean-reverting signal along with a market impact decay is of special interest, since they affect the short term price variations in opposite directions. Later, we show that in the asymptotic limit were the transient market impact becomes instantaneous, the optimal strategy becomes continuous. This result is compatible with the optimal trading framework which was proposed by Cartea and Jaimungal [10]. In order to support our models, we analyse nine months of tick by tick data on 13 European stocks from the NASDAQ OMX exchange. We show that orderbook imbalance is a predictor of the future price move and it has some mean-reverting properties. From this data we show that market participants, especially high frequency traders, use this signal in their trading strategies.


title: Guided Proofreading of Automatic Segmentations for Connectomics

abstract: Automatic cell image segmentation methods in connectomics produce merge and split errors, which require correction through proofreading. Previous research has identified the visual search for these errors as the bottleneck in interactive proofreading. To aid error correction, we develop two classifiers that automatically recommend candidate merges and splits to the user. These classifiers use a convolutional neural network (CNN) that has been trained with errors in automatic segmentations against expert-labeled ground truth. Our classifiers detect potentially-erroneous regions by considering a large context region around a segmentation boundary. Corrections can then be performed by a user with yes/no decisions, which reduces variation of information 7.5x faster than previous proofreading methods. We also present a fully-automatic mode that uses a probability threshold to make merge/split decisions. Extensive experiments using the automatic approach and comparing performance of novice and expert users demonstrate that our method performs favorably against state-of-the-art proofreading methods on different connectomics datasets.


title: Voice Conversion from Unaligned Corpora using Variational Autoencoding Wasserstein Generative Adversarial Networks

abstract: Building a voice conversion (VC) system from non-parallel speech corpora is challenging but highly valuable in real application scenarios. In most situations, the source and the target speakers do not repeat the same texts or they may even speak different languages. In this case, one possible, although indirect, solution is to build a generative model for speech. Generative models focus on explaining the observations with latent variables instead of learning a pairwise transformation function, thereby bypassing the requirement of speech frame alignment. In this paper, we propose a non-parallel VC framework with a variational autoencoding Wasserstein generative adversarial network (VAW-GAN) that explicitly considers a VC objective when building the speech model. Experimental results corroborate the capability of our framework for building a VC system from unaligned data, and demonstrate improved conversion quality.


title: Estimating the spectral gap of a trace-class Markov operator

abstract: The utility of a Markov chain Monte Carlo algorithm is, in large part, determined by the size of the spectral gap of the corresponding Markov operator. However, calculating (and even approximating) the spectral gaps of practical Monte Carlo Markov chains in statistics has proven to be an extremely difficult and often insurmountable task, especially when these chains move on continuous state spaces. In this paper, a method for accurate estimation of the spectral gap is developed for general state space Markov chains whose operators are non-negative and trace-class. The method is based on the fact that the second largest eigenvalue (and hence the spectral gap) of such operators can be bounded above and below by simple functions of the power sums of the eigenvalues. These power sums often have nice integral representations. A classical Monte Carlo method is proposed to estimate these integrals, and a simple sufficient condition for finite variance is provided. This leads to asymptotically valid confidence intervals for the second largest eigenvalue (and the spectral gap) of the Markov operator. In contrast with previously existing techniques, our method is not based on a near-stationary version of the Markov chain, which, paradoxically, cannot be obtained in a principled manner without bounds on the spectral gap. On the other hand, it can be quite expensive from a computational standpoint. The efficiency of the method is studied both theoretically and empirically.


title: Some Schubert shenanigans

abstract: We give a conjectured evaluation of the determinant of a certain matrix $\tilde{D}(n,k)$. The entries of $\tilde{D}(n,k)$ are either 0 or specializations $\mathfrak{S}_w(1,\dots,1)$ of Schubert polynomials. The conjecture implies that the weak order of the symmetric group $S_n$ has the strong Sperner property. A number of peripheral results and problems are also discussed.


title: Photometric and Spectroscopic Observations of the Algol Type Binary V Triangle

abstract: Time-series, multi-color photometry and high-resolution spectra of the short period eclipsing binary V Tri were obtained by observations. The completely covered light and radial velocity curves of the binary system are presented. All times of light minima derived from both photoelectric and CCD photometry were used to calculate the orbital period and new ephemerides of the eclipsing system. The analysis of $O-C$ diagram reveals that the orbital period is $0.58520481\ days$, decreasing at a rate of $dP/dt=-7.80\times10^{-8} d\ yr^{-1} $. The mass transfer between the two components and the light time-travel effect due to a third body could be used to explain the period decrease. However, a semidetached configuration with the less-mass component filling and the primary nearly filling each of their Roche lobes was derived from the synthesis of the light and radial velocity curves by using the 2015 version of the Wilson-Devinney code. We consider the period decrease to be the nonconservative mass transfer from the secondary component to the primary and the mass loss of the system, which was thought to be an EB type while it should be an EA type (semi-detached Algol-type) from our study. The masses, radii and luminosities of the primary and secondary are $1.60\pm0.07 M_\odot$, $1.64\pm0.02 R_\odot$, $14.14\pm0.73 L_\odot$ and $0.74\pm0.02 M_\odot$, $1.23\pm0.02 R_\odot$, $1.65\pm0.05 L_\odot$, respectively.


title: A History of Metaheuristics

abstract: This chapter describes the history of metaheuristics in five distinct periods, starting long before the first use of the term and ending a long time in the future.


title: Polytopes close to being simple

abstract: It is known that polytopes with at most two nonsimple vertices are reconstructible from their graphs, and that $d$-polytopes with at most $d-2$ nonsimple vertices are reconstructible from their 2-skeletons. Here we close the gap between 2 and $d-2$, showing that certain polytopes with more than two nonsimple vertices are reconstructible from their graphs. In particular, we prove that reconstructibility from graphs also holds for $d$-polytopes with $d+k$ vertices and at most $d-k+3$ nonsimple vertices, provided $k\ge 5$. For $k\le4$, the same conclusion holds under a slightly stronger assumption. Another measure of deviation from simplicity is the {\it excess degree} of a polytope, defined as $\xi(P):=2f_1-df_0$, where $f_k$ denotes the number of $k$-dimensional faces of the polytope. Simple polytopes are those with excess zero. We prove that polytopes with excess at most $d-1$ are reconstructible from their graphs, and this is best possible. An interesting intermediate result is that $d$-polytopes with less than $2d$ vertices, and at most $d-1$ nonsimple vertices, are necessarily pyramids.


title: Population games and Discrete optimal transport

abstract: We propose a new evolutionary dynamics for population games with a discrete strategy set, inspired by the theory of optimal transport and Mean field games. The dynamics can be described as a Fokker-Planck equation on a discrete strategy set. The derived dynamics is the gradient flow of a free energy and the transition density equation of a Markov process. Such process provides models for the behavior of the individual players in population, which is myopic, greedy and irrational. The stability of the dynamics is governed by optimal transport metric, entropy and Fisher information.


title: Constancy of Newton polygons of $F$-isocrystals on Abelian varieties and isotriviality of families of curves

abstract: We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.


title: Fat flats in rank one manifolds

abstract: We study closed non-positively curved Riemannian manifolds $M$ which admit `fat $k$-flats': that is, the universal cover $\tilde M$ contains a positive radius neighborhood of a $k$-flat on which the sectional curvatures are identically zero. We investigate how the fat $k$-flats affect the cardinality of the collection of closed geodesics. Our first main result is to construct rank $1$ non-positively curved manifolds with a fat $1$-flat which corresponds to a twisted cylindrical neighborhood of a geodesic on $M$. As a result, $M$ contains an embedded closed geodesic with a flat neighborhood, but $M$ nevertheless has only countably many closed geodesics. Such metrics can be constructed on finite covers of arbitrary odd-dimensional finite volume hyperbolic manifolds. Our second main result is to prove a closing theorem for fat flats, which implies that a manifold $M$ with a fat $k$-flat contains an immersed, totally geodesic $k$-dimensional flat closed submanifold. This guarantees the existence of uncountably many closed geodesics when $k \geq 2$. Finally, we collect results on thermodynamic formalism for the class of manifolds considered in this paper.


title: Split $t$-structures and torsion pairs in hereditary categories

abstract: We give necessary and sufficient conditions for torsion pairs in a hereditary category to be in bijection with $t$-structures in the bounded derived category of that hereditary category. We prove that the existence of a split $t$-structure with nontrivial heart in a semiconnected Krull-Schmidt category implies that this category is equivalent to the derived category of a hereditary category. We construct a bijection between split torsion pairs in the module category of a tilted algebra having a complete slice in the preinjective component with corresponding $t$-structures. Finally, we classify split $t$-structures in the derived category of a hereditary algebra.


title: Broadband parametric amplifiers based on nonlinear kinetic inductance artificial transmission lines

abstract: We present broadband parametric amplifiers based on the kinetic inductance of superconducting NbTiN thin films in an artificial (lumped-element) transmission line architecture. We demonstrate two amplifier designs implementing different phase matching techniques: periodic impedance loadings, and resonator phase shifters placed periodically along the transmission line. Our design offers several advantages over previous CPW-based amplifiers, including intrinsic 50 ohm characteristic impedance, natural suppression of higher pump harmonics, lower required pump power, and shorter total trace length. Experimental realizations of both versions of the amplifiers are demonstrated. With a transmission line length of 20 cm, we have achieved gains of 15 dB over several GHz of bandwidth.


title: Simultaneous Feature Aggregating and Hashing for Large-scale Image Search

abstract: In most state-of-the-art hashing-based visual search systems, local image descriptors of an image are first aggregated as a single feature vector. This feature vector is then subjected to a hashing function that produces a binary hash code. In previous work, the aggregating and the hashing processes are designed independently. In this paper, we propose a novel framework where feature aggregating and hashing are designed simultaneously and optimized jointly. Specifically, our joint optimization produces aggregated representations that can be better reconstructed by some binary codes. This leads to more discriminative binary hash codes and improved retrieval accuracy. In addition, we also propose a fast version of the recently-proposed Binary Autoencoder to be used in our proposed framework. We perform extensive retrieval experiments on several benchmark datasets with both SIFT and convolutional features. Our results suggest that the proposed framework achieves significant improvements over the state of the art.


title: Bilinear generalized Radon transforms in the plane

abstract: Let $\sigma$ be arc-length measure on $S^1\subset \mathbb R^2$ and $\Theta$ denote rotation by an angle $\theta \in (0, \pi]$. Define a model bilinear generalized Radon transform, $$B_{\theta}(f,g)(x)=\int_{S^1} f(x-y)g(x-\Theta y)\, d\sigma(y),$$ an analogue of the linear generalized Radon transforms of Guillemin and Sternberg \cite{GS} and Phong and Stein (e.g., \cite{PhSt91,St93}). Operators such as $B_\theta$ are motivated by problems in geometric measure theory and combinatorics. For $\theta<\pi$, we show that $B_{\theta}: L^p({\Bbb R}^2) \times L^q({\Bbb R}^2) \to L^r({\Bbb R}^2)$ if $\left(\frac{1}{p},\frac{1}{q},\frac{1}{r}\right)\in Q$, the polyhedron with the vertices $(0,0,0)$, $(\frac{2}{3}, \frac{2}{3}, 1)$, $(0, \frac{2}{3}, \frac{1}{3})$, $(\frac{2}{3},0,\frac{1}{3})$, $(1,0,1)$, $(0,1,1)$ and $(\frac{1}{2},\frac{1}{2},\frac{1}{2})$, except for $\left( \frac{1}{2},\frac{1}{2},\frac{1}{2} \right)$, where we obtain a restricted strong type estimate. For the degenerate case $\theta=\pi$, a more restrictive set of exponents holds. In the scale of normed spaces, $p,q,r \ge 1$, the type set $Q$ is sharp. Estimates for the same exponents are also proved for a class of bilinear generalized Radon transforms in $\mathbb R^2$ of the form $$ B(f,g)(x)=\int \int \delta(\phi_1(x,y)-t_1)\delta(\phi_2(x,z)-t_2) \delta(\phi_3(y,z)-t_3) f(y)g(z) \psi(y,z) \, dy\, dz, $$ where $\delta$ denotes the Dirac distribution, $t_1,t_2,t_3\in\mathbb R$, $\psi$ is a smooth cut-off and the defining functions $\phi_j$ satisfy some natural geometric assumptions.


title: The Cauchy Problem for nonlinear Quadratic Interactions of the Schr\"odinger type in one dimensional space

abstract: In this work I study the well-posedness of the Cauchy problem associated with the coupled Schr\"odinger equations {with quadratic nonlinearities}, which appears modeling problems in nonlinear optics. I obtain the local well-posedness for data {in Sobolev spaces} with low regularity. {To obtain} the local theory, I prove new bilinear estimates for the coupling terms of the system in the continuous case. Concerning global results, in the continuous case, I establish the global well-posedness in $H^s(\mathbb{R})\times H^s(\mathbb{R})$, for some negatives indexes $s$. The proof of the global result uses the \textbf{I}-method introduced by Colliander, Keel, Staffilani, Takaoka and Tao.


title: The Algebraic-Hyperbolic Approach to the Linearized Gravitational Constraints on a Minkowski Background

abstract: An algebraic-hyperbolic method for solving the Hamiltonian and momentum constraints has recently been shown to be well posed for general nonlinear perturbations of the initial data for a Schwarzschild black hole. This is a new approach to solving the constraints of Einstein's equations which does not involve elliptic equations and has potential importance for the construction of binary black hole data. In order to shed light on the underpinnings of this approach, we consider its application to obtain solutions of the constraints for linearized perturbations of Minkowski space. In that case, we find the surprising result that there are no suitable Cauchy hypersurfaces in Minkowski space for which the linearized algebraic-hyperbolic constraint problem is well posed.


title: Density matrices in full configuration interaction quantum Monte Carlo: Excited states, transition dipole moments and parallel distribution

abstract: We present developments in the calculation of reduced density matrices (RDMs) in the full configuration interaction quantum Monte Carlo (FCIQMC) method. An efficient scheme is described to allow storage of RDMs across distributed memory, thereby allowing their calculation and storage in large basis sets. We demonstrate the calculation of RDMs for general states by using the recently-introduced excited-state FCIQMC approach [J. Chem. Phys. 143, 134117 (2015)] and further introduce calculation of transition density matrices (TDMs) in the method. These approaches are combined to calculate excited-state dipole and transition dipole moments for heteronuclear diatomic molecules, including LiH, BH and MgO, and initiator error is investigated in these quantities.


title: Preconditioner-free Wiener filtering with a dense noise matrix

abstract: This work extends the Elsner & Wandelt (2013) iterative method for efficient, preconditioner-free Wiener filtering to cases in which the noise covariance matrix is dense, but can be decomposed into a sum whose parts are sparse in convenient bases. The new method, which uses multiple messenger fields, reproduces Wiener filter solutions for test problems, and we apply it to a case beyond the reach of the Elsner & Wandelt (2013) method. We compute the Wiener filter solution for a simulated Cosmic Microwave Background map that contains spatially-varying, uncorrelated noise, isotropic $1/f$ noise, and large-scale horizontal stripes (like those caused by the atmospheric noise). We discuss simple extensions that can filter contaminated modes or inverse-noise filter the data. These techniques help to address complications in the noise properties of maps from current and future generations of ground-based Microwave Background experiments, like Advanced ACTPol, Simons Observatory, and CMB-S4.


title: Indirect Shared Control of Highly Automated Vehicles for Cooperative Driving between Driver and Automation

abstract: It is widely acknowledged that drivers should remain in the control loop of automated vehicles before they completely meet real-world operational conditions. This paper introduces an `indirect shared control' scheme for steer-by-wire vehicles, which allows the vehicle control authority to be continuously shared between the driver and automation through unphysical cooperation. This paper first balances the control objectives of the driver and automation in a weighted summation, and then models the driver's adaptive control behavior using a predictive control approach. The driver adaptation modeling enables off-line evaluations of indirect shared control systems and thus facilitates the design of the assistant controller. Unlike any conventional driver model for manual driving, this model assumes that the driver can learn and incorporate the controller strategy into his internal model for more accurate path following. To satisfy the driving demands in different scenarios, a sliding-window detector is designed to continuously monitor the driver intention and automatically switch the authority weights between the driver and automation. The simulation results illustrate the advantages of considering the driver adaptation in path-following and obstacle-avoidance tasks, and show the effectiveness of indirect shared control for cooperative driving.


title: Linear Openness and Feedback Stabilization of Nonlinear Control Systems

abstract: It is well known from the seminal Brockett's theorem that the openness property of the mapping on the right-hand side of a given nonlinear ODE control system is a necessary condition for the existence of locally asymptotically stabilizing continuous stationary feedback laws. However, this condition fails to be sufficient for such a feedback stabilization. In this paper we develop an approach of variational analysis to continuous feedback stabilization of nonlinear control systems with replacing openness by the linear openness property, which has been well understood and characterized in variational theory. It allows us, in particular, to obtain efficient conditions via the system data supporting the sufficiency in Brockett's theorem and ensuring local exponential stabilization by means of continuous stationary feedback laws. Furthermore, we derive new necessary conditions for local exponential and asymptotic stabilization of continuous-time control systems by using both continuous and smooth stationary feedback laws and establish also some counterparts of the obtained sufficient conditions for local asymptotic stabilization by continuous stationary feedback laws in the case of nonlinear discrete-time control systems.


title: On the Estimation and Control of Human Body Composition

abstract: Obesity is a chronic disease that can lead to an increased risk of other serious chronic diseases and even death. We present switching and time-delayed feedback-based model free control methods for the dynamic management of body mass and its major components. The estimation of body composition based on human body weight dynamics is proposed using a soft switching-based observer. Additionally, this paper addresses the control allocation problem for optimal body weight management using linear algebraic equivalence of the nonlinear controllers based on dynamic behavior of body composition described in literature. A control allocator system computes the required energy intake and energy expenditure from a controlling range of inputs to track a desired trajectory of body mass by optimizing a weighted quadratic function. Simulation results validate the performance of the proposed controllers and the observer under disturbances in recording energy intake and energy expenditure figures.


title: Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach

abstract: Self-adaptive systems (SASs) are capable of adjusting its behavior in response to meaningful changes in the operational con-text and itself. The adaptation needs to be performed automatically through self-managed reactions and decision-making processes at runtime. To support this kind of automatic behavior, SASs must be endowed by a rich runtime support that can detect requirements violations and reason about adaptation decisions. Requirements Engineering for SASs primarily aims to model adaptation logic and mechanisms. Requirements models will guide the design decisions and runtime behaviors of sys-tem-to-be. This paper proposes a model-driven approach for achieving adaptation against non-functional requirements (NFRs), i.e. reliability and performances. The approach begins with the models in RE stage and provides runtime support for self-adaptation. We capture adaptation mechanisms as graphical elements in the goal model. By assigning reliability and performance attributes to related system tasks, we derive the tagged sequential diagram for specifying the reliability and performances of system behaviors. To formalize system behavior, we transform the requirements model to the corresponding behavior model, expressed by Label Transition Systems (LTS). To analyze the reliability requirements and performance requirements, we merged the sequential diagram and LTS to a variable Discrete-Time Markov Chains (DTMC) and a variable Continuous-Time Markov Chains (CTMC) respectively. Adaptation candidates are characterized by the variable states. The optimal decision is derived by verifying the concerned NFRs and reducing the decision space. Our approach is implemented through the demonstration of a mobile information system.


title: Machine Learning based Channel Modeling for Molecular MIMO Communications

abstract: In diffusion-based molecular communication, information particles locomote via a diffusion process, characterized by random movement and heavy tail distribution for the random arrival time. As a result, the molecular communication shows lower transmission rates. To compensate for such low rates, researchers have recently proposed the molecular multiple-input multiple-output (MIMO) technique. Although channel models exist for single-input single-output (SISO) systems for some simple environments, extending the results to multiple molecular emitters complicates the modeling process. In this paper, we introduce a technique for modeling the molecular MIMO channel and confirm the effectiveness via numerical studies.


title: Nematic ordering dynamics of an anti-ferromagnetic spin-1 condensate

abstract: We consider the formation of order in a quasi-two-dimensional (quasi-2D) anti-ferromagnetic spin-1 condensate quenched from an easy-axis (EA) to an easy-plane (EP) nematic phase. We define the relevant order parameter to quantify the spin-nematic degrees of freedom and study the evolution of the spin-nematic and superfluid order during the coarsening dynamics using numerical simulations. We observe dynamical scaling in the late time dynamics with both types of order extending across the system with a diffusive growth law. We identify half-quantum vortices (HQVs) as the relevant topological defects of the ordering dynamics, and demonstrate that the growth of both types of order is determined by the mutual annihilation of these vortices.


title: Nanoscale Voltage Enhancement at Cathode Interfaces in Li-ion Batteries

abstract: Interfaces are ubiquitous in Li-ion battery electrodes, occurring across compositional gradients, regions of multiphase intergrowths, and between electrodes and solid electrolyte interphases or protective coatings. However, the impact of these interfaces on Li energetics remains largely unknown. In this work, we calculated Li intercalation-site energetics across cathode interfaces and demonstrated the physics governing these energetics on both sides of the interface. We studied the olivine/olivine-structured LixFePO4/LixMPO4 (x=0 and 1, M=Co, Ti, Mn) and layered/layered-structured LiNiO2/TiO2 interfaces to explore different material structures and transition metal elements. We found that across an interface from a high- to low-voltage material the Li voltage remains constant in the high-voltage material and decays approximately linearly in the low-voltage region, approaching the Li voltage of the low-voltage material. This effect ranges from 0.5-9nm depending on the interfacial dipole screening. This effect provides a mechanism for a high-voltage material at an interface to significantly enhance the Li intercalation voltage in a low-voltage material over nanometer scale. We showed that this voltage enhancement is governed by a combination of electron transfer (from low- to high-voltage regions), strain and interfacial dipole screening. We explored the implications of this voltage enhancement for a novel heterostructured-cathode design and redox pseudocapacitors.


title: Modeling Uncertainty and Evolving Self-Adaptive Software: A Fuzzy Theory Based Requirements Engineering Approach

abstract: Self-adaptive software (SAS) is capable of adjusting its behavior in response to meaningful changes in the operational context and itself. Due to the inherent volatility of the open and changeable environment in which SAS is embedded, the ability of adaptation is highly demanded by many software-intensive systems. Two concerns, i.e., the requirements uncertainty and the context uncertainty are most important among others at Requirements Engineering (RE) stage. However, requirements analyzers can hardly figure out the mathematical relation between requirements, system behavior and context, especially for complex and nonlinear systems, due to the existence of above uncertainties, misunderstanding and ambiguity of prior knowledge. An essential issue to be addressed is how to model and specify these uncertainties at RE stage and how to utilize the prior knowledge to achieve adaptation. In this paper, we propose a fuzzy-based approach to modeling uncertainty and achieving evolution. The approach introduces specifications to describe fuzziness. Based on the specifications, we derive a series of reasoning rules as knowledge base for achieving adaptation and evolution. These two targets are implemented through four reasoning schemas from a control theory perspective. Specifically, forward reasoning schema is used for direct adaptation; backward reasoning schema is used for optimal adaptation. Parameter-identified schema implements learning evolution by considering SAS as the gray-box system, while system-identified reasoning schema implements learning evolution by considering SAS as the gray-box system. The former two schemas function as the control group, while the latter two are de-signed as the experimental groups to illustrate the learning ability. Our approach is implemented under three types of context through the demonstration of a mobile computing application.


title: The string of diamonds is nearly tight for rumour spreading

abstract: For a rumour spreading protocol, the spread time is defined as the first time that everyone learns the rumour. We compare the synchronous push&pull rumour spreading protocol with its asynchronous variant, and show that for any $n$-vertex graph and any starting vertex, the ratio between their expected spread times is bounded by $O \left({n}^{1/3}{\log^{2/3} n}\right)$. This improves the $O(\sqrt n)$ upper bound of Giakkoupis, Nazari, and Woelfel (in Proceedings of ACM Symposium on Principles of Distributed Computing, 2016). Our bound is tight up to a factor of $O(\log n)$, as illustrated by the string of diamonds graph. We also show that if for a pair $\alpha,\beta$ of real numbers, there exists infinitely many graphs for which the two spread times are $n^{\alpha}$ and $n^{\beta}$ in expectation, then $0\leq\alpha \leq 1$ and $\alpha \leq \beta \leq \frac13 + \frac23 \alpha$; and we show each such pair $\alpha,\beta$ is achievable.


title: Knowledge Evolution in Physics Research: An Analysis of Bibliographic Coupling Networks

abstract: Even as we advance the frontiers of physics knowledge, our understanding of how this knowledge evolves remains at the descriptive levels of Popper and Kuhn. Using the APS publications data sets, we ask in this letter how new knowledge is built upon old knowledge. We do so by constructing year-to-year bibliographic coupling networks, and identify in them validated communities that represent different research fields. We then visualize their evolutionary relationships in the form of alluvial diagrams, and show how they remain intact through APS journal splits. Quantitatively, we see that most fields undergo weak Popperian mixing, and it is rare for a field to remain isolated/undergo strong mixing. The sizes of fields obey a simple linear growth with recombination. We can also reliably predict the merging between two fields, but not for the considerably more complex splitting. Finally, we report a case study of two fields that underwent repeated merging and splitting around 1995, and how these Kuhnian events are correlated with breakthroughs on BEC, quantum teleportation, and slow light. This impact showed up quantitatively in the citations of the BEC field as a larger proportion of references from during and shortly after these events.


title: Analysis and validation of low-frequency noise reduction in MOSFET circuits using variable duty cycle switched biasing

abstract: Randomization of the trap state of defects present at the gate Si-SiO$_2$ interface of MOSFET is responsible for the low-frequency noise phenomena such as Random Telegraph Signal (RTS), burst, and 1/\textit{f} noise. In a previous work, theoretical modelling and analysis of the RTS noise in MOS transistor was presented and it was shown that this 1/\textit{f} noise can be reduced by decreasing the duty cycle ($f_{D}$) of switched biasing signal. In this paper, an extended analysis of this 1/\textit{f} noise reduction model is presented and it is shown that the RTS noise reduction is accompanied with shift in the corner frequency ($f_{c}$) of the 1/\textit{f} noise and the value of shift is a function of continuous ON time ({$T_{on}$}) of the device. This 1/\textit{f} noise reduction is also experimentally demonstrated in this paper using a circuit configuration with multiple identical transistor stages which produces a continuous output instead of a discrete signal. The circuit is implemented in 180~nm standard CMOS technology, from UMC. According to the measurement results, the proposed technique reduces the 1/\textit{f} noise by approximately 5.9 dB at $f_{s}$ of 1~KHz for 2 stage, which is extended up to 16 dB at $f_{s}$ of 5 MHz for 6 stage configuration.


title: Triggering Process of the X1.0 Three-ribbon Flare in the Great Active Region NOAA 12192

abstract: The solar magnetic field in a flare-producing active region (AR) is much more complicated than theoretical models, which assume a very simple magnetic field structure. The X1.0 flare, which occurred in AR 12192 on 2014 October 25, showed a complicated three-ribbon structure. To clarify the trigger process of the flare and to evaluate the applicability of a simple theoretical model, we analyzed the data from Hinode/Solar Optical Telescope and the Solar Dynamics Observatory/Helioseismic and Magnetic Imager, Atmospheric Imaging Assembly. We investigated the spatio-temporal correlation between the magnetic field structures, especially the non-potentiality of the horizontal field, and the bright structures in the solar atmosphere. As a result, we determined that the western side of the positive polarity, which is intruding on a negative polarity region, is the location where the flare was triggered. This is due to the fact that the sign of the magnetic shear in that region was opposite that of the major shear of the AR, and the significant brightenings were observed over the polarity inversion line (PIL) in that region before flare onset. These features are consistent with the recently proposed flare-trigger model that suggests that small reversed shear (RS) magnetic disturbances can trigger solar flares. Moreover, we found that the RS field was located slightly off the flaring PIL, contrary to the theoretical prediction. We discuss the possibility of an extension of the RS model based on an extra numerical simulation. Our result suggests that the RS field has a certain flexibility for displacement from a highly sheared PIL, and that the RS field triggers more flares than we expected.


title: HAlign-II: efficient ultra-large multiple sequence alignment and phylogenetic tree reconstruction with distributed and parallel computing

abstract: Multiple sequence alignment (MSA) plays a key role in biological sequence analyses, especially in phylogenetic tree construction. Extreme increase in next-generation sequencing results in shortage of efficient ultra-large biological sequence alignment approaches for coping with different sequence types. Distributed and parallel computing represents a crucial technique for accelerating ultra-large sequence analyses. Based on HAlign and Spark distributed computing system, we implement a highly cost-efficient and time-efficient HAlign-II tool to address ultra-large multiple biological sequence alignment and phylogenetic tree construction. After comparing with most available state-of-the-art methods, our experimental results indicate the following: 1) HAlign-II can efficiently carry out MSA and construct phylogenetic trees with ultra-large biological sequences; 2) HAlign-II shows extremely high memory efficiency and scales well with increases in computing resource; 3) HAlign-II provides a user-friendly web server based on our distributed computing infrastructure. HAlign-II with open-source codes and datasets was established at http://lab.malab.cn/soft/halign.


title: Quantum-memory-assisted multi-photon generation for efficient quantum information processing

abstract: In the last two decades, many quantum optics experiments have demonstrated small-scale quantum information processing applications with several photons. Beyond such proof-of-principle demonstrations, efficient preparation of large, but definite, numbers of photons is of great importance for further scaling up and speeding up photonic quantum information processing. Typical single-photon generation techniques based on nonlinear parametric processes face challenges of probabilistic generation. Here we demonstrate efficient synchronization of photons from multiple nonlinear parametric heralded single-photon sources (HSPSs), using quantum memories (QMs). Our low-loss optical memories greatly enhance (~30x) the generation rate of coincidence photons from two independent HSPSs, while maintaining high indistinguishability (95.7%) of the synchronized photons. As an application, we perform the first demonstration of HSPS-based measurement-device-independent quantum key distribution (MDI-QKD). The synchronized HSPSs demonstrated here will pave the way toward efficient quantum communication and larger scale optical quantum computing.


title: Constraining Sterile Neutrinos from Precision Higgs Data

abstract: We use the LHC Higgs data to derive updated constraints on electroweak-scale sterile neutrinos that naturally occur in many low-scale seesaw extensions of the Standard Model to explain the neutrino masses. We also analyze the signal sensitivity for a new final state involving a single charged lepton and two jets with missing energy, which arises from the decay of sterile neutrinos produced through the Higgs and $W,Z$ boson mediated processes at the LHC. Future prospects of these sterile neutrino signals in precision Higgs measurements, as well as at a future 100 TeV collider, are also discussed.


title: Heavy Neutrino Search via the Higgs boson at the LHC

abstract: In the inverse see-saw model the effective neutrino Yukawa couplings can be sizable due to a large mixing angle between the light $(\nu)$and heavy neutrinos $(N)$. When the right handed neutrino $(N)$ can be lighter than the Standard Model (SM) Higgs boson $(h)$. It can be produced via the on-shell decay of the Higgs, $h\to N\nu$ at a significant branching fraction at the LHC. In such a process $N$ mass can be reconstructed in its dominant $N\rightarrow W \ell$ decays. We perform an analysis on this channel and its relevant backgrounds, among which the $W+$jets background is the largest. Considering the existing mixing constraints from the Higgs and electroweak precision data, the best sensitivity of the heavy neutrino search is achieved for benchmark $N$ mass at 100 and 110 GeV for upcoming high luminosity LHC runs.


title: Nearly Equal Distributions of the Rank and the Crank of Partitions

abstract: Let $N(\leq m,n)$ denote the number of partitions of $n$ with rank not greater than $m$, and let $M(\leq m,n)$ denote the number of partitions of $n$ with crank not greater than $m$. Bringmann and Mahlburg observed that $N(\leq m,n)\leq M(\leq m,n)\leq N(\leq m+1,n)$ for $m<0$ and $1\leq n\leq 100$. They also pointed out that these inequalities can be restated as the existence of a re-ordering $\tau_n$ on the set of partitions of $n$ such that $|\text{crank}(\lambda)|-|\text{rank}(\tau_n(\lambda))|=0$ or $1$ for all partitions $\lambda$ of $n$, that is, the rank and the crank are nearly equal distributions over partitions of $n$. In the study of the spt-function, Andrews, Dyson and Rhoades proposed a conjecture on the unimodality of the spt-crank, and they showed that this conjecture is equivalent to the inequality $N(\leq m,n)\leq M(\leq m,n)$ for $m<0$ and $n\geq 1$. We proved this conjecture by combiantorial arguments. In this paper, we prove the inequality $N(\leq m,n)\leq M(\leq m,n)$ for $m<0$ and $n\geq 1$. Furthermore, we define a re-ordering $\tau_n$ of the partitions $\lambda$ of $n$ and show that this re-ordering $\tau_n$ leads to the nearly equal distribution of the rank and the crank. Using the re-ordering $\tau_n$, we give a new combinatorial interpretation of the function ospt$(n)$ defined by Andrews, Chan and Kim, which immediately leads to an upper bound for $ospt(n)$ due to Chan and Mao.


title: B\'ezout type inequality in convex geometry

abstract: We give a B\'ezout type inequality for mixed volumes, which holds true for any convex bodies. The key ingredient is the reverse Khovanskii-Teissier inequality for convex bodies, which was obtained in our previous work and inspired by its correspondence in complex geometry.


title: A Comparison of Maps and Power Spectra Determined from South Pole Telescope and Planck Data

abstract: We study the consistency of 150 GHz data from the South Pole Telescope (SPT) and 143 GHz data from the Planck satellite over the patch of sky covered by the SPT-SZ survey. We first visually compare the maps and find that the residuals appear consistent with noise after accounting for differences in angular resolution and filtering. We then calculate (1) the cross-spectrum between two independent halves of SPT data, (2) the cross-spectrum between two independent halves of Planck data, and (3) the cross-spectrum between SPT and Planck data. We find the three cross-spectra are well-fit (PTE = 0.30) by the null hypothesis in which both experiments have measured the same sky map up to a single free calibration parameter---i.e., we find no evidence for systematic errors in either data set. As a by-product, we improve the precision of the SPT calibration by nearly an order of magnitude, from 2.6% to 0.3% in power. Finally, we compare all three cross-spectra to the full-sky Planck power spectrum and find marginal evidence for differences between the power spectra from the SPT-SZ footprint and the full sky. We model these differences as a power law in spherical harmonic multipole number. The best-fit value of this tilt is consistent among the three cross-spectra in the SPT-SZ footprint, implying that the source of this tilt is a sample variance fluctuation in the SPT-SZ region relative to the full sky. The consistency of cosmological parameters derived from these datasets is discussed in a companion paper.


title: Modeling and Routing for Predictable Dynamic Networks: This paper is only for copyright protection, and unpublished to the top-level version

abstract: The topologies of predictable dynamic networks are continuously dynamic in terms of node position, network connectivity and link metric. However, their dynamics are almost predictable compared with the ad-hoc network. The existing routing protocols specific to static or ad-hoc network do not consider this predictability and thus are not very efficient for some cases. We present a topology model based on Divide-and-Merge methodology to formulate the dynamic topology into the series of static topologies, which can reflect the topology dynamics correctly with the least number of static topologies. Then we design a dynamic programing algorithm to solve that model and determine the timing of routing update and the topology to be used. Besides, for the classic predictable dynamic network---space Internet, the links at some region have shorter delay, which leads to most traffic converge at these links. Meanwhile, the connectivity and metric of these links continuously vary, which results in a great end-to-end path variations and routing updates. In this paper, we propose a stable routing scheme which adds link life-time into its metric to eliminate these dynamics. And then we take use of the Dijkstra's greedy feature to release some paths from the dynamic link, achieving the goal of routing stability. Experimental results show that our method can significantly decrease the number of changed paths and affected network nodes, and then greatly improve the network stability. Interestingly, our method can also achieve better network performance, including the less number of loss packets, smoother variation of end-to-end delay and higher throughput.


title: Finite Element Approximation of the FENE-P Model

abstract: We extend our analysis on the Oldroyd-B model in Barrett and Boyaval [1] to consider the finite element approximation of the FENE-P system of equations, which models a dilute polymeric fluid, in a bounded domain $D $\subset$ R d , d = 2 or 3$, subject to no flow boundary conditions. Our schemes are based on approximating the pressure and the symmetric conforma-tion tensor by either (a) piecewise constants or (b) continuous piecewise linears. In case (a) the velocity field is approximated by continuous piecewise quadratics ($d = 2$) or a reduced version, where the tangential component on each simplicial edge ($d = 2$) or face ($d = 3$) is linear. In case (b) the velocity field is approximated by continuous piecewise quadratics or the mini-element. We show that both of these types of schemes, based on the backward Euler type time discretiza-tion, satisfy a free energy bound, which involves the logarithm of both the conformation tensor and a linear function of its trace, without any constraint on the time step. Furthermore, for our approximation (b) in the presence of an additional dissipative term in the stress equation, the so-called FENE-P model with stress diffusion, we show (subsequence) convergence in the case $d = 2$, as the spatial and temporal discretization parameters tend to zero, towards global-in-time weak solutions of this FENE-P system. Hence, we prove existence of global-in-time weak solutions to the FENE-P model with stress diffusion in two spatial dimensions.


title: A Branch-and-Bound Algorithm for Checkerboard Extraction in Camera-Laser Calibration

abstract: We address the problem of camera-to-laser-scanner calibration using a checkerboard and multiple image-laser scan pairs. Distinguishing which laser points measure the checkerboard and which lie on the background is essential to any such system. We formulate the checkerboard extraction as a combinatorial optimization problem with a clear cut objective function. We propose a branch-and-bound technique that deterministically and globally optimizes the objective. Unlike what is available in the literature, the proposed method is not heuristic and does not require assumptions such as constraints on the background or relying on discontinuity of the range measurements to partition the data into line segments. The proposed approach is generic and can be applied to both 3D or 2D laser scanners as well as the cases where multiple checkerboards are present. We demonstrate the effectiveness of the proposed approach by providing numerical simulations as well as experimental results.


title: A Discrete-Time Attitude Observer on SO(3) for Vision and GPS Fusion

abstract: This paper proposes a discrete-time geometric attitude observer for fusing monocular vision with GPS velocity measurements. The observer takes the relative transformations obtained from processing monocular images with any visual odometry algorithm and fuses them with GPS velocity measurements. The objectives of this sensor fusion are twofold; first to mitigate the inherent drift of the attitude estimates of the visual odometry, and second, to estimate the orientation directly with respect to the North-East-Down frame. A key contribution of the paper is to present a rigorous stability analysis showing that the attitude estimates of the observer converge exponentially to the true attitude and to provide a lower bound for the convergence rate of the observer. Through experimental studies, we demonstrate that the observer effectively compensates for the inherent drift of the pure monocular vision based attitude estimation and is able to recover the North-East-Down orientation even if it is initialized with a very large attitude error.


title: Crystal analysis of type $C$ Stanley symmetric functions

abstract: Combining results of T.K. Lam and J. Stembridge, the type $C$ Stanley symmetric function $F_w^C(\mathbf{x})$, indexed by an element $w$ in the type $C$ Coxeter group, has a nonnegative integer expansion in terms of Schur functions. We provide a crystal theoretic explanation of this fact and give an explicit combinatorial description of the coefficients in the Schur expansion in terms of highest weight crystal elements.


title: Analysis of Device-to-Device Communications in Uplink Cellular Networks with Lognormal Fading

abstract: In this paper, using the stochastic geometry theory, we present a framework for analyzing the performance of device-to-device (D2D) communications underlaid uplink (UL) cellular networks. In our analysis, we consider a D2D mode selection criterion based on an energy threshold for each user equipment (UE). Specifically, a UE will operate in a cellular mode, if its received signal strength from the strongest base station (BS) is large than a threshold \beta. Otherwise, it will operate in a D2D mode. Furthermore, we consider a generalized log-normal shadowing in our analysis. The coverage probability and the area spectral efficiency (ASE) are derived for both the cellular network and the D2D one. Through our theoretical and numerical analyses, we quantify the performance gains brought by D2D communications and provide guidelines of selecting the parameters for network operations.


title: Reweighting from the mixture distribution as a better way to describe the Multistate Bennett Acceptance Ratio

abstract: The multistate Bennett Acceptance Ratio is provably the lowest variance unbiased estimator of both free energies and ensemble averages, and has a number of important advantages over previous methods, such as WHAM. Despite its advantages, the original MBAR paper was rather dense and mathematically complicated, limiting the extent to which people could expand and apply it. We present here a different way to think about MBAR that is much more intuitive and makes it clearer why the method works so well.


title: Heat engines at optimal power: Low-dissipation versus endoreversible model

abstract: Low-dissipation model and the endoreversible model of heat engines are two of the most commonly studied models of machines in finite-time thermodynamics. In this paper, we compare the performance characteristics of these two models under optimal power output. We point out a basic equivalence between them, in the linear response regime.


title: SI-traceable measurement of an optical frequency at low $10^{-16}$ level without a local primary standard

abstract: SI-traceable measurements of optical frequencies using International Atomic Time (TAI) do not require a local primary frequency reference, but suffer from an uncertainty in tracing to the SI second. For the measurement of the $^{87}$Sr lattice clock transition, we have reduced this uncertainty to low $10^{-16}$ level by averaging three sets of ten-day intermittent measurements, in which we operated the lattice clock for $10^4$ s on each day. Moreover, a combined oscillator of two hydrogen masers was employed as a local flywheel oscillator (LFO) in order to mitigate the impact of sporadic excursion of LFO frequency. The resultant absolute frequency with fractional uncertainty of $4.3\times10^{-16}$ agrees with other measurements based on local state-of-the-art cesium fountains.


title: Measuring the Berry Phase in a Superconducting Phase Qubit by a Shortcut to Adiabaticity

abstract: With a counter-diabatic field supplemented to the reference control field, the `shortcut to adiabaticiy' (STA) protocol is implemented in a superconducting phase qubit. The Berry phase measured in a short time scale is in good agreement with the theoretical result acquired from an adiabatic loop. The trajectory of a qubit vector is extracted, verifying the Berry phase alternatively by the integrated solid angle. The classical noise is introduced to the amplitude or phase of the total control field. In the statistics of the Berry phase, the mean with either noise is almost equal to that without noise, while the variation with the amplitude noise can be described by an analytical expression.