title: Cold molecules: Progress in Quantum Engineering of Chemistry and Quantum Matter

abstract: Cooling atoms to ultralow temperatures has produced a wealth of opportunities in fundamental physics, precision metrology, and quantum science. The more recent application of sophisticated cooling techniques to molecules, which has been more challenging to implement due to the complexity of molecular structures, has now opened door to the longstanding goal of precisely controlling molecular internal and external degrees of freedom and the resulting interaction processes. This line of research can leverage fundamental insights into how molecules interact and evolve to enable the control of reaction chemistry and the design and realization of a range of advanced quantum materials.


title: Weak localization of magnons in chiral magnets

abstract: We report on the impact of the Dzyaloshinskii-Moriya interaction on the coherent backscattering of spin waves in a disordered magnetic material. This interaction breaks the inversion symmetry of the spin-wave dispersion relation, such that $\omega_\mathbf{k} = \omega_{2\mathbf{K}^\mathrm{I}-\mathbf{k}} \neq \omega_{-\mathbf{k}}$, where $\mathbf{K}^\mathrm{I}$ is related to the Dzyaloshinskii-Moriya vectors. As a result of numerical investigations we find that the backscattering peak of a wave packet with initial wave vector $\mathbf{k}_0$ shifts from $-\mathbf{k}_0$ to $2\mathbf{K}^\mathrm{I}-\mathbf{k}_0$, such that the backscattering wave vector and the initial wave vector are in general no longer antiparallel. The shifted coherence condition is explained by a diagrammatic approach and opens up an avenue to measure sign and magnitude of the Dzyaloshinskii-Moriya interaction in weakly disordered chiral magnets.


title: Enhancing Cellular M2M Random Access with Binary Countdown Contention Resolution

abstract: Accommodating Machine-to-Machine applications and their requirements is one of the challenges on the way from LTE towards 5G networks. The envisioned high density of devices, alongside with their sporadic and synchronized transmission patterns, might create signaling storms and overload in the current LTE network. Here, we address the notorious random access (RA) challenge, namely, scalability of the radio link connection establishment protocol in LTE networks. We revisit the binary countdown technique for contention resolution (BCCR), and apply it to the LTE RA procedure. We analytically investigate the performance gains and trade-offs of applying BCCR in LTE. We further simulatively compare BCCR RA with the state-of-the-art RA techniques, and demonstrate its advantages in terms of delay and throughput.


title: Infection-acquired versus vaccine-acquired immunity in an SIRWS model

abstract: Despite high vaccine coverage, pertussis has re-emerged as a public health concern in many countries. One hypothesis posed for re-emergence is the waning of immunity. In some disease systems, the process of waning immunity can be non-linear, involving a complex relationship between the duration of immunity and subsequent boosting of immunity through asymptomatic re-exposure. We present and analyse a model of infectious disease transmission to examine the interplay between infection and immunity. By allowing the duration of infection-acquired immunity to differ from that of vaccine-acquired immunity, we explore the impact of the difference in durations on long-term disease patterns and prevalence of infection. Our model demonstrates that vaccination may induce cyclic behaviour, and its ability to reduce the infection prevalence increases with both the duration of infection-acquired immunity and duration of vaccine-acquired immunity. We find that increasing vaccine coverage, while capable of leading to an increase in overall transmission, always results in a reduction in prevalence of primary infections, with epidemic cycles characterised by a longer interepidemic period and taller peaks. Our results show that the epidemiological patterns of an infectious disease may change considerably when the duration of vaccine-acquired immunity differs from that of infection-acquired immunity. Our study highlights that for any particular disease and associated vaccine, a detailed understanding of the duration of protection and how that duration is influenced by infection prevalence is important as we seek to optimise vaccination strategies.


title: Measurement of inclusive and differential cross sections in the $H \rightarrow ZZ^* \rightarrow 4\ell$ decay channel in $pp$ collisions at $\sqrt{s}$ = 13 TeV with the ATLAS detector

abstract: Inclusive and differential fiducial cross sections of Higgs boson production in proton-proton collisions are measured in the $H \rightarrow ZZ^* \rightarrow 4\ell$ decay channel. The proton-proton collision data were produced at the Large Hadron Collider at a centre-of-mass energy of 13 TeV and recorded by the ATLAS detector in 2015 and 2016, corresponding to an integrated luminosity of 36.1 fb$^{-1}$. The inclusive fiducial cross section in the $H \rightarrow ZZ^* \rightarrow 4\ell$ decay channel is measured to be 3.62 $\pm$ 0.50 (stat) $^{+0.25}_{-0.20}$ (sys) fb, in agreement with the Standard Model prediction of 2.91 $\pm$ 0.13 fb. The cross section is also extrapolated to the total phase space including all Standard Model Higgs boson decays. Several differential fiducial cross sections are measured for observables sensitive to the Higgs boson production and decay, including kinematic distributions of jets produced in association with the Higgs boson. Good agreement is found between data and Standard Model predictions. The results are used to put constraints on anomalous Higgs boson interactions with Standard Model particles, using the pseudo-observable extension to the kappa-framework.


title: Beyond icosahedral symmetry in packings of proteins in spherical shells

abstract: The formation of quasi-spherical cages from protein building blocks is a remarkable self-assembly process in many natural systems, where a small number of elementary building blocks are assembled to build a highly symmetric icosahedral cage. In turn, this has inspired synthetic biologists to design de novo protein cages. We use simple models, on multiple scales, to investigate the self-assembly of a spherical cage, focusing on the regularity of the packing of protein-like objects on the surface. Using building blocks, which are able to pack with icosahedral symmetry, we examine how stable these highly symmetric structures are to perturbations that may arise from the interplay between flexibility of the interacting blocks and entropic effects. We find that, in the presence of those perturbations, icosahedral packing is not the most stable arrangement for a wide range of parameters; rather disordered structures are found to be the most stable. Our results suggest that (i) many designed, or even natural, protein cages may not be regular in the presence of those perturbations, and (ii) that optimizing those flexibilities can be a possible design strategy to obtain regular synthetic cages with full control over their surface properties.


title: Measurement of vector boson scattering and constraints on anomalous quartic couplings from events with four leptons and two jets in proton-proton collisions at sqrt(s) = 13 TeV

abstract: A measurement of vector boson scattering and constraints on anomalous quartic gauge couplings from events with two Z bosons and two jets are presented. The analysis is based on a data sample of proton-proton collisions at sqrt(s) = 13 TeV collected with the CMS detector and corresponding to an integrated luminosity of 35.9 inverse femtobarns. The search is performed in the fully leptonic final state ZZ to lll'l', where l, l' = e, mu. The electroweak production of two Z bosons in association with two jets is measured with an observed (expected) significance of 2.7 (1.6) standard deviations. A fiducial cross section for the electroweak production is measured to be sigma[EW](pp -> ZZjj -> lll'l'jj) = 0.40 -0.16 +0.21 (stat) -0.09 +0.13 (syst) fb, which is consistent with the standard model prediction. Limits on anomalous quartic gauge couplings are determined in terms of the effective field theory operators T0, T1, T2, T8, and T9. This is the first measurement of vector boson scattering in the ZZ channel at the LHC.


title: BlitzNet: A Real-Time Deep Network for Scene Understanding

abstract: Real-time scene understanding has become crucial in many applications such as autonomous driving. In this paper, we propose a deep architecture, called BlitzNet, that jointly performs object detection and semantic segmentation in one forward pass, allowing real-time computations. Besides the computational gain of having a single network to perform several tasks, we show that object detection and semantic segmentation benefit from each other in terms of accuracy. Experimental results for VOC and COCO datasets show state-of-the-art performance for object detection and segmentation among real time systems.


title: On large cardinals and generalized Baire spaces

abstract: Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $\kappa$. We show the consistency of $E^{\lambda^{++},\lambda^{++}}_{\lambda\text{-club}}$, the relation of equivalence modulo the non-stationary ideal restricted to $S^{\lambda^{++}}_\lambda$ in the space $(\lambda^{++})^{\lambda^{++}}$, being continuously reducible to $E^{2,\lambda^{++}}_{\lambda^+\text{-club}}$, the relation of equivalence modulo the non-stationary ideal restricted to $S^{\lambda^{++}}_{\lambda^+}$ in the space $2^{\lambda^{++}}$. Then we show the consistency of $E^{2,\kappa}_{reg}$, the relation of equivalence modulo the non-stationary ideal restricted to regular cardinals in the space $2^{\kappa}$, being $\Sigma_1^1$-complete. We finish by showing, for $\Pi_2^1$-indescribable $\kappa$, that the isomorphism relation between dense linear orders of cardinality $\kappa$ is $\Sigma_1^1$-complete.


title: The Golod property of powers of the maximal ideal of a local ring

abstract: We identify minimal cases in which a power $m^i\not=0$ of the maximal ideal of a local ring $R$ is not Golod, i.e.\ the quotient ring $R/m^i$ is not Golod. Complementary to a 2014 result by Rossi and \c{S}ega, we prove that for a generic artinian Gorenstein local ring with $m^4=0\not= m^3$, the quotient $R/m^3$ is not Golod. This is provided that $m$ is minimally generated by at least $3$ elements. Indeed, we show that if $m$ is $2$-generated, then every power $m^i\not= 0$ is Golod.


title: A Passivity-based Concurrent Whole-Body Control (cWBC) of Persistently Interacting Human-Exoskeleton Systems

abstract: This paper presents a concurrent whole-body control (cWBC) for human-exoskeleton systems that are tightly coupled at a Cartesian level (e.g., feet, hands, torso). The exoskeleton generates joint torques that i) cancel the effects of gravity on the coupled system, ii) perform a primary task (e.g., maintaining the balance of the system), and iii) exploit the kinematic redundancy of the system to amplify the forces exerted by the human operator. The coupled dynamic system is demonstrated to be passive, as its overall energy always goes dissipated until a minimum is reached. The proposed method is designed specifically to control exoskeletons for power augmentation worn by healthy operators in applications such as manufacturing, as it allows to increase the worker's capabilities, therefore reducing the risk of injuries.


title: Canonical simulations with worldlines: an exploratory study in $\phi^{4}_{2}$ lattice field theory

abstract: In this letter we explore the perspectives for canonical simulations in the worldline formulation of a lattice field theory. Using the charged $\phi^4$ field in two dimensions as an example we present the details of the canonical formulation based on worldlines and outline algorithmic strategies for canonical worldline simulations. We discuss the steps for converting the data from the canonical approach to the grand canonical picture which we use for cross-checking our results. The canonical approach presented here can easily be generalized to other lattice field theories with a worldline representation.


title: Conal Distances Between Rational Spectral Densities

abstract: The paper generalizes Thompson and Hilbert metric to the space of spectral densities. The resulting complete metric space has the differentiable structure of a Finsler manifold with explicit geodesics. The resulting distances are filtering invariant, can be computed efficiently, and admit geodesic paths that preserve rationality; these are properties of fundamental importance in many engineering applications.


title: Lebesgue measure of Julia sets and escaping sets of certain entire functions

abstract: We give criteria for the escaping set and the Julia set of an entire function to have positive measure. The results are applied to Poincar\'e functions of semihyperbolic polynomials and to the Weierstra{\ss} $\sigma$-function.


title: Projective Superspaces in Practice

abstract: We study the supergeometry of complex projective superspaces $\mathbb{P}^{n|m}$. First, we provide formulas for the cohomology of invertible sheaves of the form $\mathcal{O}_{\mathbb{P}^{n|m}} (\ell)$, that are pull-back of ordinary invertible sheaves on the reduced variety $\mathbb{P}^n$. Next, by studying the even Picard group $\mbox{Pic}_0 (\mathbb{P}^{n|m})$, classifying invertible sheaves of rank $1|0$, we show that the sheaves $\mathcal{O}_{\mathbb {P}^{n|m}} (\ell)$ are not the only invertible sheaves on $\mathbb{P}^{n|m}$, but there are also new genuinely supersymmetric invertible sheaves that are unipotent elements in the even Picard group. We study the $\Pi$-Picard group $\mbox{Pic}_\Pi (\mathbb{P}^{n|m})$, classifying $\Pi$-invertible sheaves of rank $1|1$, proving that there are also non-split $\Pi$-invertible sheaves on supercurves $\mathbb{P}^{1|m}$. Further, we investigate infinitesimal automorphisms and first order deformations of $\mathbb{P}^{n|m}$, by studying the cohomology of the tangent sheaf using a supersymmetric generalisation of the Euler exact sequence. A special special attention is paid to the meaningful case of supercurves $\mathbb{P}^{1|m}$ and of Calabi-Yau's $\mathbb{P}^{n|n+1}$. Last, with an eye to applications to physics, we show in full detail how to endow $\mathbb{P}^{1|2}$ with the structure of $\mathcal{N}=2$ super Riemann surface and we obtain its SUSY-preserving infinitesimal automorphisms from first principles, that prove to be the Lie superalgebra $\mathfrak{osp} (2|2)$. A particular effort has been devoted to keep the exposition as concrete and explicit as possible.


title: Exploring Other Worlds: Science Questions for Future Direct Imaging Missions (EXOPAG SAG15 Report)

abstract: The NASA Exoplanet Exploration Program's SAG15 group has solicited, collected, and organized community input on high-level science questions that could be addressed with future direct imaging exoplanet missions and the type and quality of data answering these questions will require. Input was solicited through a variety of forums and the report draft was shared with the exoplanet community continuously during the period of the report development (Nov 2015 -- May 2017). The report benefitted from the input of over 50 exoplanet scientists and from multiple open-forum discussions at exoplanet and astrobiology meetings. The SAG15 team has identified three group of high-level questions, those that focus on the properties of planetary systems (Questions A1--A2), those that focus on the properties of individual planets (Questions B1--B4), and questions that relate to planetary processes (Questions C1--C4). The questions in categories A, B, and C require different target samples and often different observational approaches. For each questions we summarize the current body of knowledge, the available and future observational approaches that can directly or indirectly contribute to answering the question, and provide examples and general considerations for the target sample required.


title: General implementation of arbitrary nonlinear quadrature phase gates

abstract: We propose general methodology of deterministic single-mode quantum interaction nonlinearly modifying single quadrature variable of a continuous variable system. The methodology is based on linear coupling of the system to ancillary systems subsequently measured by quadrature detectors. The nonlinear interaction is obtained by using the data from the quadrature detection for dynamical manipulation of the coupling parameters. This measurement-induced methodology enables direct realization of arbitrary nonlinear quadrature interactions without the need to construct them from the lowest-order gates. Such nonlinear interactions are crucial for more practical and efficient manipulation of continuous quadrature variables as well as qubits encoded in continuous variable systems.


title: Extremal unipotent representations for the finite Howe correspondence

abstract: We study the Howe correspondence for unipotent representations of irreducible dual pairs $(G',G)=(\text{U}_m(\mathbb{F}_q),\text{U}_n(\mathbb{F}_q))$ and $(G',G)=(\text{Sp}_{2m}(\mathbb{F}_q),\text{O}^\epsilon_{2n}(\mathbb{F}_q))$, where $\mathbb{F}_q$ denotes the finite field with $q$ elements ($q$ odd) and $\epsilon=\pm 1$. We show how to extract extremal (i.e. minimal and maximal) irreducible subrepresentations from the image of $\pi$ under the correpondence of a unipotent representation $\pi$ of $G$.


title: Measuring the reionization 21 cm fluctuations using clustering wedges

abstract: One of the main challenges in probing the reionization epoch using the redshifted 21 cm line is that the magnitude of the signal is several orders smaller than the astrophysical foregrounds. One of the methods to deal with the problem is to avoid a wedge-shaped region in the Fourier $k_{\perp} - k_{\parallel}$ space which contains the signal from the spectrally smooth foregrounds. However, measuring the spherically averaged power spectrum using only modes outside this wedge (i.e., in the reionization window), leads to a bias. We provide a prescription, based on expanding the power spectrum in terms of the shifted Legendre polynomials, which can be used to compute the angular moments of the power spectrum in the reionization window. The prescription requires computation of the monopole, quadrupole and hexadecapole moments of the power spectrum using the theoretical model under consideration and also the knowledge of the effective extent of the foreground wedge in the $k_{\perp} - k_{\parallel}$ plane. One can then calculate the theoretical power spectrum in the window which can be directly compared with observations. The analysis should have implications for avoiding any bias in the parameter constraints using 21 cm power spectrum data.


title: Mutual Visibility by Robots with Persistent Memory

abstract: This paper addresses the mutual visibility problem for a set of semi-synchronous, opaque robots occupying distinct positions in the Euclidean plane. Since robots are opaque, if three robots lie on a line, the middle robot obstructs the visions of the two other robots. The mutual visibility problem asks the robots to coordinate their movements to form a configuration, within finite time and without collision, in which no three robots are collinear. Robots are endowed with a constant bits of persistent memory. In this work, we consider the FSTATE computational model in which the persistent memory is used by the robots only to remember their previous internal states. Except from this persistent memory, robots are oblivious i.e., they do not carry forward any other information from their previous computational cycles. The paper presents a distributed algorithm to solve the mutual visibility problem for a set of semi-synchronous robots using only 1 bit of persistent memory. The proposed algorithm does not impose any other restriction on the capability of the robots and guarantees collision-free movements for the robots.


title: Time-dependent Landauer-B\"uttiker approach to charge pumping in AC-driven graphene nanoribbons

abstract: We apply the recently-developed partition-free time-dependent Landauer-B\"uttiker (TD-LB) formalism to the study of periodically-driven transport in graphene nanoribbons (GNR). When an AC driving is applied, this formalism can be used to prove generic conditions for the existence of a non-zero DC component of the net current (pump current) through the molecular device. Time-reversal symmetry breaking in the driving field is investigated and found to be insufficient for a non-zero pump current. We then derive explicit formulas for the current response to a particular biharmonic bias. We calculate the pump current through different GNR configurations and find that the sign and existence of a non-zero pump current can be tuned by simple alterations to the static parameters of the TD bias. Further, we investigate transient currents in different GNR configurations. We find a selection rule of even and odd harmonic response signal depending on a broken dynamical inversion symmetry in the bias.


title: Producing an Efficient, Collimated and Thin Annular Beam with a Binary Axicon

abstract: We propose and demonstrate a method to produce a thin and highly collimated annular beam that propagates similarly to an ideal thin Gaussian ring beam, maintaining its excellent propagation properties. Our optical configuration is composed of a binary axicon - a circular binary phase grating, and a lens, making it robust and well suited for high-power lasers. It has a near-perfect circular profile with a dark center, and its large radius to waist ratio is achieved with high conversion efficiency. The measured profile and propagation are in excellent agreement with a numerical Fourier simulation we perform.


title: The first detection of a pulsar with ALMA

abstract: Pulsars are neutron stars, stellar corpses left over after supernova explosions of stars about ten times as massive as our Sun, with densities comparable to the atomic nucleus', spinning with periods from few milliseconds up to few seconds, and endowed with magnetic fields thousands billion times stronger than the Earth's, where particles are accelerated to the relativistic regime producing electromagnetic radiation across the entire spectrum. Although there is a general consensus on the fact that pulsars' radio emission is coherent in nature, whereas the emission from the optical to high-energy $\gamma$-rays is due to incoherent processes, it has not been established yet at which wavelengths the transition occurs, a key information for all emission models of pulsar magnetospheres. Of course, to address this issue covering the spectral region between high-frequency radio waves and the mid-IR is crucial. We used the Atacama Large Millimetre Array (ALMA) to observe the Vela pulsar (PSR\, B0833$-$45), one of the very few observed in radio and from the mid-infrared up to the very high-energy $\gamma$-rays. We detected Vela at frequencies of 97.5, 145, 233, 343.5 GHz and found that its energy density spectrum follows a power-law of spectral index $\alpha = -0.93 \pm 0.16$. The ALMA spectrum corresponds to very high brightness temperatures - from $10^{17}$ to $10^{15}$ K - suggesting that a coherent radiative process still contributes to the mm/sub-mm emission. This is, therefore, the first indication of coherent emission other than radio originating in pulsars. At the same time, we identified an extended structure, preliminarily detected in ground-based observations. We support its interpretation as a counter-jet protruding from the pulsar.


title: Very-High-Energy $\gamma$-Ray Observations of the Blazar 1ES 2344+514 with VERITAS

abstract: We present very-high-energy $\gamma$-ray observations of the BL Lac object 1ES 2344+514 taken by the Very Energetic Radiation Imaging Telescope Array System (VERITAS) between 2007 and 2015. 1ES 2344+514 is detected with a statistical significance above background of $20.8\sigma$ in $47.2$ hours (livetime) of observations, making this the most comprehensive very-high-energy study of 1ES 2344+514 to date. Using these observations the temporal properties of 1ES 2344+514 are studied on short and long times scales. We fit a constant flux model to nightly- and seasonally-binned light curves and apply a fractional variability test, to determine the stability of the source on different timescales. We reject the constant-flux model for the 2007-2008 and 2014-2015 nightly-binned light curves and for the long-term seasonally-binned light curve at the $> 3\sigma$ level. The spectra of the time-averaged emission before and after correction for attenuation by the extragalactic background light are obtained. The observed time-averaged spectrum above 200 GeV is satisfactorily fitted (${\chi^2/NDF = 7.89/6}$) by a power-law function with index $\Gamma = 2.46 \pm 0.06_{stat} \pm 0.20_{sys} $ and extends to at least 8 TeV. The extragalactic-background-light-deabsorbed spectrum is adequately fit (${\chi^2/NDF = 6.73/6}$) by a power-law function with index $\Gamma = 2.15 \pm 0.06_{stat} \pm 0.20_{sys} $ while an F-test indicates that the power-law with exponential cutoff function provides a marginally-better fit ($\chi^2/NDF $ = $2.56 / 5 $) at the 2.1$\sigma$ level. The source location is found to be consistent with the published radio location and its spatial extent is consistent with a point source.


title: Supergravity Models with 50-100 TeV Scalars, SUSY Discovery at the LHC and Gravitino Decay Constraints

abstract: We investigate the possibility of testing supergravity unified models with scalar masses in the range 50-100 TeV and much lighter gaugino masses at the Large Hadron Collider. The analysis is carried out under the constraints that models produce the Higgs boson mass consistent with experiment and also produce dark matter consistent with WMAP and PLANCK experiments. A set of benchmarks in the supergravity parameter space are investigated using a combination of signal regions which are optimized for the model set. It is found that some of the models with scalar masses in the 50-100 TeV mass range are discoverable with as little as 100 fb$^{-1}$ of integrated luminosity and should be accessible at the LHC RUN II. The remaining benchmark models are found to be discoverable with less than 1000 fb$^{-1}$ of integrated luminosity and thus testable in the high luminosity era of the LHC, i.e., at HL-LHC. It is shown that scalar masses in the 50-100 TeV range but gaugino masses much lower in mass produce unification of gauge coupling constants, consistent with experimental data at low scale, with as good an accuracy (and sometimes even better) as models with low ($\mathcal{O}(1)$ TeV) weak scale supersymmetry. Decay of the gravitinos for the supergravity model benchmarks are investigated and it is shown that they decay before the Big Bang Nucleosynthesis (BBN). Further, we investigate the non-thermal production of neutralinos from gravitino decay and it is found that the non-thermal contribution to the dark matter relic density is negligible relative to that from the thermal production of neutralinos for reheat temperature after inflation up to $10^9$ GeV. An analysis of the direct detection of dark matter for SUGRA models with high scalar masses is also discussed.


title: Anveshak - A Groundtruth Generation Tool for Foreground Regions of Document Images

abstract: We propose a graphical user interface based groundtruth generation tool in this paper. Here, annotation of an input document image is done based on the foreground pixels. Foreground pixels are grouped together with user interaction to form labeling units. These units are then labeled by the user with the user defined labels. The output produced by the tool is an image with an XML file containing its metadata information. This annotated data can be further used in different applications of document image analysis.


title: Spin-gap spectroscopy in a bosonic flux ladder

abstract: Ultracold bosonic atoms trapped in a two-leg ladder pierced by a magnetic field provide a minimal and quasi-one-dimensional instance to study the interplay between orbital magnetism and interactions. Using time-dependent matrix-product-states simulations, we investigate the properties of the so-called "Meissner" and "vortex" phases which appear in such system, focusing on experimentally accessible observables. We discuss how to experimentally monitor the phase transition, and show that the response to a modulation of the density imbalance between the two legs of the ladder is qualitatively different in the two phases. We argue that this technique can be used as a tool for many-body spectroscopy, allowing to quantitatively measure the spin gap in the Meissner phase. We finally discuss its experimental implementation


title: A New Upper Bound for Cancellative Pairs

abstract: A pair $(\mathcal{A},\mathcal{B})$ of families of subsets of an $n$-element set is called cancellative if whenever $A,A'\in\mathcal{A}$ and $B\in\mathcal{B}$ satisfy $A\cup B=A'\cup B$, then $A=A'$, and whenever $A\in\mathcal{A}$ and $B,B'\in\mathcal{B}$ satisfy $A\cup B=A\cup B'$, then $B=B'$. It is known that there exist cancellative pairs with $|\mathcal{A}||\mathcal{B}|$ about $2.25^n$, whereas the best known upper bound on this quantity is $2.3264^n$. In this paper we improve this upper bound to $2.2682^n$. Our result also improves the best known upper bound for Simonyi's sandglass conjecture for set systems.


title: Infrared Spectroscopy of HR 4796A's Bright Outer Cometary Ring + Tenuous Inner Hot Dust Cloud

abstract: We have obtained new NASA IRTF SpeX spectra of the HR 4796A debris ring system. We find a unique red excess flux that extends out to ~9 um in Spitzer IRS spectra, where thermal emission from cold, ~100K dust from the system's ring at ~75 AU takes over. Matching imaging ring photometry, we find the excess consists of NIR reflectance from the ring which is as red as that of old, processed comet nuclei, plus a tenuous thermal emission component from close-in, T ~ 850 K circumstellar material evincing an organic plus silicate emission feature complex at 7 - 13 um. Unusual, emission-like features due to atomic Si, S, Ca, and Sr were found at 0.96 - 1.07 um, likely sourced by rocky dust evaporating in the 850 K component. An empirical cometary dust phase function can reproduce the scattered light excess and 1:5 balance of scattered vs. thermal energy for the ring with optical depth Tau > 0.10 in an 8 AU wide belt of 4 AU vertical height and Mdust > 0.1-0.7 M_Mars. Our results are consistent with HR 4796A consisting of a narrow sheparded ring of devolatilized cometary material associated with multiple rocky planetesimal subcores, and a small steady stream of dust inflowing from this belt to a rock sublimation zone at approximately 1 AU from the primary. These subcores were built from comets that have been actively emitting large, reddish dust for > 0.4 Myr at 100K, the temperature at which cometary activity onset is seen in our Solar System.


title: ExaGeoStat: A High Performance Unified Software for Geostatistics on Manycore Systems

abstract: We present ExaGeoStat, a high performance framework for geospatial statistics in climate and environment modeling. In contrast to simulation based on partial differential equations derived from first-principles modeling, ExaGeoStat employs a statistical model based on the evaluation of the Gaussian log-likelihood function, which operates on a large dense covariance matrix. Generated by the parametrizable Matern covariance function, the resulting matrix is symmetric and positive definite. The computational tasks involved during the evaluation of the Gaussian log-likelihood function become daunting as the number n of geographical locations grows, as O(n2) storage and O(n3) operations are required. While many approximation methods have been devised from the side of statistical modeling to ameliorate these polynomial complexities, we are interested here in the complementary approach of evaluating the exact algebraic result by exploiting advances in solution algorithms and many-core computer architectures. Using state-of-the-art high performance dense linear algebra libraries associated with various leading edge parallel architectures (Intel KNLs, NVIDIA GPUs, and distributed-memory systems), ExaGeoStat raises the game for statistical applications from climate and environmental science. ExaGeoStat provides a reference evaluation of statistical parameters, with which to assess the validity of the various approaches based on approximation. The framework takes a first step in the merger of large-scale data analytics and extreme computing for geospatial statistical applications, to be followed by additional complexity reducing improvements from the solver side that can be implemented under the same interface. Thus, a single uncompromised statistical model can ultimately be executed in a wide variety of emerging exascale environments.


title: A decoherence interpretation of quantum work for adiabatic processes

abstract: In this paper, decoherence is studied for quantum systems undergoing adiabatic processes, which are coupled to huge quantum environments. It is shown that decoherence can happen with respect to a preferred basis given by transient self-Hamiltonian.This result can be used to justify a most-often-used definition of quantum work for a system undergoing an adiabatic process, without resorting to measurement.


title: SPLODE: Semi-Probabilistic Point and Line Odometry with Depth Estimation from RGB-D Camera Motion

abstract: Active depth cameras suffer from several limitations, which cause incomplete and noisy depth maps, and may consequently affect the performance of RGB-D Odometry. To address this issue, this paper presents a visual odometry method based on point and line features that leverages both measurements from a depth sensor and depth estimates from camera motion. Depth estimates are generated continuously by a probabilistic depth estimation framework for both types of features to compensate for the lack of depth measurements and inaccurate feature depth associations. The framework models explicitly the uncertainty of triangulating depth from both point and line observations to validate and obtain precise estimates. Furthermore, depth measurements are exploited by propagating them through a depth map registration module and using a frame-to-frame motion estimation method that considers 3D-to-2D and 2D-to-3D reprojection errors, independently. Results on RGB-D sequences captured on large indoor and outdoor scenes, where depth sensor limitations are critical, show that the combination of depth measurements and estimates through our approach is able to overcome the absence and inaccuracy of depth measurements.


title: Decoupled Learning of Environment Characteristics for Safe Exploration

abstract: Reinforcement learning is a proven technique for an agent to learn a task. However, when learning a task using reinforcement learning, the agent cannot distinguish the characteristics of the environment from those of the task. This makes it harder to transfer skills between tasks in the same environment. Furthermore, this does not reduce risk when training for a new task. In this paper, we introduce an approach to decouple the environment characteristics from the task-specific ones, allowing an agent to develop a sense of survival. We evaluate our approach in an environment where an agent must learn a sequence of collection tasks, and show that decoupled learning allows for a safer utilization of prior knowledge.


title: Products of snowflaked euclidean lines are not minimal for looking down

abstract: We show that products of snowflaked Euclidean lines are not minimal for looking down. This question was raised in Fractured fractals and broken dreams, Problem 11.17, by David and Semmes. The proof uses arguments developed by Le Donne, Li and Rajala to prove that the Heisenberg group is not minimal for looking down. By a method of shortcuts, we define a new distance $d$ such that the product of snowflaked Euclidean lines looks down on $(\mathbb R^N,d)$, but not vice versa.


title: Speaker Diarization using Deep Recurrent Convolutional Neural Networks for Speaker Embeddings

abstract: In this paper we propose a new method of speaker diarization that employs a deep learning architecture to learn speaker embeddings. In contrast to the traditional approaches that build their speaker embeddings using manually hand-crafted spectral features, we propose to train for this purpose a recurrent convolutional neural network applied directly on magnitude spectrograms. To compare our approach with the state of the art, we collect and release for the public an additional dataset of over 6 hours of fully annotated broadcast material. The results of our evaluation on the new dataset and three other benchmark datasets show that our proposed method significantly outperforms the competitors and reduces diarization error rate by a large margin of over 30% with respect to the baseline.


title: N-doped surfaces of superconducting niobium cavities as a disordered composite

abstract: The Q-factor of superconducting accelerating cavities can be substantially improved by a special heat treatment under N2 atmosphere (N-doping). Recent experiments at Fermi National Laboratory investigated the dependence of Q on the RF frequency and showed, unexpectedly, both an increase and a decrease with the RF field amplitude. This paper shall explain this finding by extending a previously proposed model founded on the two fluid model of RF losses, percolation and the proximity effect in a disordered composite.


title: Edge-dependent electronic and magnetic characteristics of freestanding \beta_12-Borophene Nanoribbons

abstract: Nanoribbons produced from cutting {\beta}_12-Borophene sheet is investigated by density functional theory. The electronic and magnetic properties of Borophene nanoribbons are studied and found that all considered ribbons are metal which is in good agreement with recent experimental results. {\beta}_12-Borophene nanoribbons have a lot of diversity due to existence of 5 Boron atoms in a unit cell of the sheet. The magnetic properties of ribbons are strongly dependent on the cutting direction and the edge profile. It is interesting that a ribbon with a specific width can be a normal or ferromagnetic metal with magnetization in just one edge or two edges. The spin anisotropy is observed in some ribbons so that magnetic moment is not the same in both edges in antiferromagnetic configuration. The effect comes from the edge asymmetry of the ribbons and results in the breaking of spin degeneracy in the bandstructure. Our findings show that {\beta}_12 nanoribbons are potential candidates for next-generation spintronic devices.


title: Online Multi-Object Tracking Using CNN-based Single Object Tracker with Spatial-Temporal Attention Mechanism

abstract: In this paper, we propose a CNN-based framework for online MOT. This framework utilizes the merits of single object trackers in adapting appearance models and searching for target in the next frame. Simply applying single object tracker for MOT will encounter the problem in computational efficiency and drifted results caused by occlusion. Our framework achieves computational efficiency by sharing features and using ROI-Pooling to obtain individual features for each target. Some online learned target-specific CNN layers are used for adapting the appearance model for each target. In the framework, we introduce spatial-temporal attention mechanism (STAM) to handle the drift caused by occlusion and interaction among targets. The visibility map of the target is learned and used for inferring the spatial attention map. The spatial attention map is then applied to weight the features. Besides, the occlusion status can be estimated from the visibility map, which controls the online updating process via weighted loss on training samples with different occlusion statuses in different frames. It can be considered as temporal attention mechanism. The proposed algorithm achieves 34.3% and 46.0% in MOTA on challenging MOT15 and MOT16 benchmark dataset respectively.


title: A simple way to reduce factorization problems to SAT

abstract: As Cook-Levin theorem showed, every NP problem can be reduced to SAT in polynomial time. In this paper I show a simpler and more efficent method to reduce some factorization problems to the satisfability of a boolean formula.


title: Path Planning with Divergence-Based Distance Functions

abstract: Distance functions between points in a domain are sometimes used to automatically plan a gradient-descent path towards a given target point in the domain, avoiding obstacles that may be present. A key requirement from such distance functions is the absence of spurious local minima, which may foil such an approach, and this has led to the common use of harmonic potential functions. Based on the planar Laplace operator, the potential function guarantees the absence of spurious minima, but is well known to be slow to numerically compute and prone to numerical precision issues. To alleviate the first of these problems, we propose a family of novel divergence distances. These are based on f-divergence of the Poisson kernel of the domain. We define the divergence distances and compare them to the harmonic potential function and other related distance functions. Our first result is theoretical: We show that the family of divergence distances are equivalent to the harmonic potential function on simply-connected domains, namely generate paths which are identical to those generated by the potential function. The proof is based on the concept of conformal invariance. Our other results are more practical and relate to two special cases of divergence distances, one based on the Kullback-Leibler divergence and one based on the total variation divergence. We show that using divergence distances instead of the potential function and other distances has a significant computational advantage, as, following a pre-processing stage, they may be computed up to an order of magnitude faster than the others when taking advantage of certain sparsity properties of the Poisson kernel. Furthermore, the computation is "embarrassingly parallel", so may be implemented on a GPU with up to three orders of magnitude speedup.


title: Recent results of charmed baryon decays at Belle

abstract: We report the recent results of charmed baryon decays, based on the data collected by the Belle experiment at the KEKB collider. This includes the observation of the doubly Cabibbo-suppressed decay $\Lambda_c^+\to\pi^-K^+p$, search for the decay $\Lambda_c^+\to\phi p \pi^0$, and the branching fraction measurement of $\Lambda_c^+\to\pi^+K^-p\pi^0$.


title: On non-abelian extensions of 3-Lie algebras

abstract: In this paper, we study non-abelian extensions of 3-Lie algebras through Maurer-Cartan elements. We show that there is a one-to-one correspondence between isomorphism classes of non-abelian extensions of 3-Lie algebras and equivalence classes of Maurer-Cartan elements in a DGLA. The structure of the Leibniz algebra on the space of fundamental objects is also analyzed.


title: On a gesture-computing technique using electromagnetic waves

abstract: This paper is concerned with a conceptual gesture-based instruction/input technique using electromagnetic wave detection. The gestures are modelled as the shapes of some impenetrable or penetrable scatterers from a certain admissible class, called a dictionary. The gesture-computing device generates time-harmonic electromagnetic point signals for the gesture recognition and detection. It then collects the scattered wave in a relatively small backscattering aperture on a bounded surface containing the point sources. The recognition algorithm consists of two stages and requires only two incident waves of different wavenumbers. The location of the scatterer is first determined approximately by using the measured data at a small wavenumber and the shape of the scatterer is then identified using the computed location of the scatterer and the measured data at a regular wavenumber. We provide the corresponding mathematical principle with rigorous analysis. Numerical experiments show that the proposed device works effectively and efficiently.


title: Mirrors, Functoriality, and Derived Geometry

abstract: In this survey, I suggest to approach the problem of functorial properties of quantum cohomology by drawing lessons from several versions of Mirror duality involving deformation spaces.


title: The Pan-STARRS1 Medium-deep Survey: Star Formation Quenching in Group and Cluster Environments

abstract: We make use of a catalog of 1600 Pan-STARRS1 groups produced by the probability friends-of-friends algorithm to explore how the galaxy properties, i.e. the specific star formation rate (SSFR) and quiescent fraction, depend on stellar mass and group-centric radius. The work is the extension of Lin et al. (2014). In this work, powered by a stacking technique plus a background subtraction for contamination removal, a finer correction and more precise results are obtained than in our previous work. We find that while the quiescent fraction increases with decreasing group-centric radius the median SSFRs of star-forming galaxies in groups at fixed stellar mass drop slightly from the field toward the group center. This suggests that the major quenching process in groups is likely a fast mechanism. On the other hand, a reduction in SSFRs by ~0.2 dex is seen inside clusters as opposed to the field galaxies. If the reduction is attributed to the slow quenching effect, the slow quenching process acts dominantly in clusters. In addition, we also examine the density-color relation, where the density is defined by using a sixth-nearest neighbor approach. Comparing the quiescent fractions contributed from the density and radial effect, we find that the density effect dominates over the massive group or cluster galaxies, and the radial effect becomes more effective in less massive galaxies. The results support mergers and/or starvation as the main quenching mechanisms in the group environment, while harassment and/or starvation dominate in clusters.


title: Measuring Inconsistency in Argument Graphs

abstract: There have been a number of developments in measuring inconsistency in logic-based representations of knowledge. In contrast, the development of inconsistency measures for computational models of argument has been limited. To address this shortcoming, this paper provides a general framework for measuring inconsistency in abstract argumentation, together with some proposals for specific measures, and a consideration of measuring inconsistency in logic-based instantiations of argument graphs, including a review of some existing proposals and a consideration of how existing logic-based measures of inconsistency can be applied.


title: Repulsive baryonic interactions and lattice QCD observables at imaginary chemical potential

abstract: The first principle lattice QCD methods allow to calculate the thermodynamic observables at finite temperature and imaginary chemical potential. These can be compared to the predictions of various phenomenological models. We argue that Fourier coefficients with respect to imaginary baryochemical potential are sensitive to modeling of baryonic interactions. As a first application of this sensitivity, we consider the hadron resonance gas (HRG) model with repulsive baryonic interactions, which are modeled by means of the excluded volume correction. The Fourier coefficients of the imaginary part of the net-baryon density at imaginary baryochemical potential -- corresponding to the fugacity or virial expansion at real chemical potential -- are calculated within this model, and compared with the $N_t = 12$ lattice data. The lattice QCD behavior of the first four Fourier coefficients up to $T \simeq 185$ MeV is described fairly well by an interacting HRG with a single baryon-baryon eigenvolume interaction parameter $b \simeq 1$ fm$^3$, while the available lattice data on the difference $\chi_2^B - \chi_4^B$ of baryon number susceptibilities is reproduced up to $T \simeq 175$ MeV.


title: Sheaf lines of Yang-Mills Instanton Sheaves

abstract: We calculate a sheaf line in CP^3 which is the real line supporting sheaf points on CP^3 of SL(2,C) Yang-Mills instanton (or SU(2) complex Yang-Mills instanton) sheaves for some given ADHM data we obtained previously. We found that this sheaf line is indeed a special jumping line over S^4 spacetime. In addition, we calculate the singularity structure of the connection A and the field strength F at the corresponding singular point on S^4 of this sheaf line. We found that the order of singularity at the singular point on S^4 associated with the sheaf line in CP^3 is higher than those of other singular points associated with normal jumping lines. We conjecture that this is a general feature for sheaf lines among jumping lines.


title: Functional estimation and hypothesis testing in nonparametric boundary models

abstract: Consider a Poisson point process with unknown support boundary curve $g$, which forms a prototype of an irregular statistical model. We address the problem of estimating non-linear functionals of the form $\int \Phi(g(x))\,dx$. Following a nonparametric maximum-likelihood approach, we construct an estimator which is UMVU over H\"older balls and achieves the (local) minimax rate of convergence. These results hold under weak assumptions on $\Phi$ which are satisfied for $\Phi(u)=|u|^p$, $p\ge 1$. As an application, we consider the problem of estimating the $L^p$-norm and derive the minimax separation rates in the corresponding nonparametric hypothesis testing problem. Structural differences to results for regular nonparametric models are discussed.


title: Local cut points and splittings of relatively hyperbolic groups

abstract: In this paper we show that the existence of a non-parabolic local cut point in the Bowditch boundary $\partial(G,\mathbb{P})$ of a relatively hyperbolic group $(G,\mathbb{P})$ implies that $G$ splits over a $2$-ended subgroup. This theorem generalizes a theorem of Bowditch from the setting of hyperbolic groups to relatively hyperbolic groups. As a consequence we are able to generalize a theorem of Kapovich and Kleiner by classifying the homeomorphism type of $1$-dimensional Bowditch boundaries of relatively hyperbolic groups which satisfy certain properties, such as no splittings over $2$-ended subgroups and no peripheral splittings. In order to prove the boundary classification result we require a notion of ends of a group which is more general than the standard notion. We show that if a finitely generated discrete group acts properly and cocompactly on two generalized Peano continua $X$ and $Y$, then $Ends(X)$ is homeomorphic to $Ends(Y)$. Thus we propose an alternate definition of $Ends(G)$ which increases the class of spaces on which $G$ can act.


title: Probing the energy reactance with adiabatically driven quantum dots

abstract: The tunneling Hamiltonian describes a particle transfer from one region to the other. While there is no particle storage in the tunneling region itself, it has associated certain amount of energy. We name the corresponding flux energy reactance since, like an electrical reactance, it manifests itself in time-dependent transport only. Noticeably, this quantity is crucial to reproduce the universal charge relaxation resistance for a single-channel quantum capacitor at low temperatures. We show that a conceptually simple experiment is capable of demonstrating the existence of the energy reactance.


title: On Borwein's conjectures for planar uniform random walks

abstract: Let $ p_n(x)=\int_0^\infty J_0(xt)[J_0(t)]^n xt\,\mathrm{d}\, t$ be Kluyver's probability density for $n$-step uniform random walks in the Euclidean plane. Through connection to a similar problem in 2-dimensional quantum field theory, we evaluate the third-order derivative $ p_5'''(0^{+})$ in closed form, thereby giving a new proof for a conjecture of J. M. Borwein. By further analogies to Feynman diagrams in quantum field theory, we demonstrate that $ p_n(x),0\leq x\leq 1$ admits a uniformly convergent Maclaurin expansion for all odd integers $ n\geq5$, thus settling another conjecture of Borwein.


title: On manifolds with infinitely many fillable contact structures

abstract: We introduce the notion of asymptotically finitely generated contact structures, which states essentially that the Symplectic Homology in a certain degree of any filling of such contact manifolds is uniformly generated by only finitely many Reeb orbits. This property is used to generalize a famous result by Ustilovsky: We show that in a large class of manifolds (including all unit cotangent bundles and all Weinstein fillable contact manifolds with torsion first Chern class) each carries infinitely many exactly fillable contact structures. These are all different from the ones constructed recently by Lazarev. Along the way, the construction of Symplectic Homology is made more general. Moreover, we give a detailed exposition of Cieliebak's Invariance Theorem for subcritical handle attaching, where we provide explicit Hamiltonians for the squeezing on the handle.


title: Joint Optimization of QoE and Fairness Through Network Assisted Adaptive Mobile Video Streaming

abstract: MPEG has recently proposed Server and Network Assisted Dynamic Adaptive Streaming over HTTP (SAND-DASH) for video streaming over the Internet. In contrast to the purely client-based video streaming in which each client makes its own decision to adjust its bitrate, SAND-DASH enables a group of simultaneous clients to select their bitrates in a coordinated fashion in order to improve resource utilization and quality of experience. In this paper, we study the performance of such an adaptation strategy compared to the traditional approach with large number of clients having mobile Internet access. We propose a multi-servers multi-coordinators (MSs-MCs) framework to model groups of remote clients accessing video content replicated to spatially distributed edge servers. We then formulate an optimization problem to maximize jointly the QoE of individual clients, proportional fairness in allocating the limited resources of base stations as well as balancing the utilized resources among multiple serves. We then present an efficient heuristic-based solution to the problem and perform simulations in order to explore parameter space of the scheme as well as to compare the performance to purely client-based DASH.


title: Full modelling of high-intensity focused ultrasound and thermal heating in the kidney using realistic patient models

abstract: Objective: High-intensity focused ultrasound (HIFU) therapy can be used for non-invasive treatment of kidney (renal) cancer, but the clinical outcomes have been variable. In this study, the efficacy of renal HIFU therapy was studied using nonlinear acoustic and thermal simulations in three patients. Methods: The acoustic simulations were conducted with and without refraction in order to investigate its effect on the shape, size and pressure distribution at the focus. The values for the attenuation, sound speed, perfusion and thermal conductivity of the kidney were varied over the reported ranges to determine the effect of variability on heating. Furthermore, the phase aberration was studied in order to quantify the underlying phase shifts using a second order polynomial function. Results: The ultrasound field intensity was found to drop on average 11.1 dB with refraction and 6.4 dB without refraction. Reflection at tissue interfaces was found to result in a loss less than 0.1 dB. Focal point splitting due to refraction significantly reduced the heating efficacy. Perfusion did not have a large effect on heating during short sonication durations. Small changes in temperature were seen with varying attenuation and thermal conductivity, but no visible changes were present with sound speed variations. The aberration study revealed an underlying trend in the spatial distribution of the phase shifts. Conclusion: The results show that the efficacy of HIFU therapy in the kidney could be improved with aberration correction. Significance: A method is proposed by which patient specific pre-treatment calculations could be used to overcome the aberration and therefore make ultrasound treatment possible.


title: Interference-Aware Opportunistic Random Access in Dense IoT Networks

abstract: It is a challenging task to design a random access protocol that achieves the optimal throughput in multi-cell random access with decentralized transmission due to the difficulty of coordination. In this paper, we present a decentralized interference-aware opportunistic random access (IA-ORA) protocol that enables us to obtain the optimal throughput scaling in an ultra-dense multi-cell random access network with one access point (AP) and a number of users. In sharp contrast to opportunistic scheduling for cellular multiple access where users are selected by base stations, under the IA-ORA protocol, each user opportunistically transmits with a predefined physical layer (PHY) data rate in a decentralized manner if not only the desired signal power to the serving AP is sufficiently large but also the generating interference leakage power to the other APs is sufficiently small (i.e., two threshold conditions are fulfilled). As a main result, it is shown that the optimal aggregate throughput scaling (i.e., the MAC throughput of $\frac{1}{e}$ in a cell and the power gain) is achieved in a high signal-to-noise ratio regime if the number of per-cell users exceeds some level. Additionally, it is numerically demonstrated via computer simulations that under practical settings, the proposed IA-ORA protocol outperforms conventional opportunistic random access protocols in terms of aggregate throughput.


title: WebVision Database: Visual Learning and Understanding from Web Data

abstract: In this paper, we present a study on learning visual recognition models from large scale noisy web data. We build a new database called WebVision, which contains more than $2.4$ million web images crawled from the Internet by using queries generated from the 1,000 semantic concepts of the benchmark ILSVRC 2012 dataset. Meta information along with those web images (e.g., title, description, tags, etc.) are also crawled. A validation set and test set containing human annotated images are also provided to facilitate algorithmic development. Based on our new database, we obtain a few interesting observations: 1) the noisy web images are sufficient for training a good deep CNN model for visual recognition; 2) the model learnt from our WebVision database exhibits comparable or even better generalization ability than the one trained from the ILSVRC 2012 dataset when being transferred to new datasets and tasks; 3) a domain adaptation issue (a.k.a., dataset bias) is observed, which means the dataset can be used as the largest benchmark dataset for visual domain adaptation. Our new WebVision database and relevant studies in this work would benefit the advance of learning state-of-the-art visual models with minimum supervision based on web data.


title: CoupleNet: Coupling Global Structure with Local Parts for Object Detection

abstract: The region-based Convolutional Neural Network (CNN) detectors such as Faster R-CNN or R-FCN have already shown promising results for object detection by combining the region proposal subnetwork and the classification subnetwork together. Although R-FCN has achieved higher detection speed while keeping the detection performance, the global structure information is ignored by the position-sensitive score maps. To fully explore the local and global properties, in this paper, we propose a novel fully convolutional network, named as CoupleNet, to couple the global structure with local parts for object detection. Specifically, the object proposals obtained by the Region Proposal Network (RPN) are fed into the the coupling module which consists of two branches. One branch adopts the position-sensitive RoI (PSRoI) pooling to capture the local part information of the object, while the other employs the RoI pooling to encode the global and context information. Next, we design different coupling strategies and normalization ways to make full use of the complementary advantages between the global and local branches. Extensive experiments demonstrate the effectiveness of our approach. We achieve state-of-the-art results on all three challenging datasets, i.e. a mAP of 82.7% on VOC07, 80.4% on VOC12, and 34.4% on COCO. Codes will be made publicly available.


title: The Carina Nebula and Gum 31 molecular complex: II. The distribution of the atomic gas revealed in unprecedented detail

abstract: We report high spatial resolution observations of the HI 21cm line in the Carina Nebula and the Gum 31 region obtained with the Australia Telescope Compact Array. The observations covered $\sim$ 12 deg$^2$ centred on $l= 287.5\deg,b = -1\deg$, achieving an angular resolution of $\sim $ 35 arcseconds. The HI map revealed complex filamentary structures across a wide range of velocities. Several "bubbles" are clearly identified in the Carina Nebula Complex, produced by the impact of the massive star clusters located in this region. An HI absorption profile obtained towards the strong extragalactic radio source PMN J1032--5917 showed the distribution of the cold component of the atomic gas along the Galactic disk, with the Sagittarius-Carina and Perseus spiral arms clearly distinguishable. Preliminary calculations of the optical depth and spin temperatures of the cold atomic gas show that the HI line is opaque ($\tau \gtrsim$ 2) at several velocities in the Sagittarius-Carina spiral arm. The spin temperature is $\sim100$ K in the regions with the highest optical depth, although this value might be lower for the saturated components. The atomic mass budget of Gum 31 is $\sim35 \%$ of the total gas mass. HI self absorption features have molecular counterparts and good spatial correlation with the regions of cold dust as traced by the infrared maps. We suggest that in Gum 31 regions of cold temperature and high density are where the atomic to molecular gas phase transition is likely to be occurring.


title: Validation of Radiative Transfer Computation with Monte Carlo Method for Ultra-Relativistic Background Flow

abstract: We developed a three-dimensional radiative transfer code for an ultra-relativistic background flow-field by using the Monte Carlo (MC) method in the context of gamma-ray burst (GRB) emission. For obtaining reliable simulation results in the coupled computation of MC radiation transport with relativistic hydrodynamics which can reproduce GRB emission, we validated radiative transfer computation in the ultra-relativistic regime and assessed the appropriate simulation conditions. The radiative transfer code was validated through two test calculations: (1) computing in different inertial frames and (2) computing in flow-fields with discontinuous and smeared shock fronts. The simulation results of the angular distribution and spectrum were compared among three different inertial frames and in good agreement with each other. If the time duration for updating the flow-field was sufficiently small to resolve a mean free path of a photon into ten steps, the results were thoroughly converged. The spectrum computed in the flow-field with a discontinuous shock front obeyed a power-law in frequency whose index was positive in the range from 1 to 10 MeV. The number of photons in the high-energy side decreased with the smeared shock front because the photons were less scattered immediately behind the shock wave due to the small electron number density. The large optical depth near the shock front was needed for obtaining high-energy photons through bulk Compton scattering. Even one-dimensional structure of the shock wave could affect the results of radiation transport computation.


title: On negativity of total $k$-jet curvature and ampleness of the canonical bundle

abstract: A celebrated conjecture of Kobayashi and Lang says that the canonical line bundle $K_X$ of a Kobayashi hyperbolic compact complex manifold $X$ is ample. In this note we prove that $K_X$ is ample if $X$ is projective and satisfies a stronger condition of nondegenerate negative total $k$-jet curvature. We use positivity of direct image sheaves and decomposition of jets in order to produce pluridifferentials on $X$.


title: Simulated Annealing with Levy Distribution for Fast Matrix Factorization-Based Collaborative Filtering

abstract: Matrix factorization is one of the best approaches for collaborative filtering, because of its high accuracy in presenting users and items latent factors. The main disadvantages of matrix factorization are its complexity, and being very hard to be parallelized, specially with very large matrices. In this paper, we introduce a new method for collaborative filtering based on Matrix Factorization by combining simulated annealing with levy distribution. By using this method, good solutions are achieved in acceptable time with low computations, compared to other methods like stochastic gradient descent, alternating least squares, and weighted non-negative matrix factorization.


title: Explicit asymptotics for certain single and double exponential sums

abstract: By combining classical techniques together with two novel asymptotic identities contained in [FL], we analyse certain single sums of Riemann-zeta type. In addition, we analyse Euler-Zagier double exponential sums for particular values of $Re\{u\}$ and $Re\{v\}$ and for a variety of sets of summation, as well as particular cases of Mordell-Tornheim double sums. Some of these results are used in [F] where a novel approach to the Lindel\"of hypothesis is presented.


title: Quasi-two-body decays $B \to \eta_c {(1S ,2S)}\;[\rho(770),\rho(1450),\rho(1700) \to ]\; \pi\pi$ in the perturbative QCD approach

abstract: In this paper, we calculated the branching ratios of the quasi-two-body decays $B \to \eta_c (1S ,2S)$ $[\rho(770), \rho(1450),\rho(1700)\to ] \pi\pi$ by employing the perturbative QCD (PQCD) approach. The contributions from the $P$-wave resonances $\rho(770)$, $\rho(1450)$ and $\rho(1700)$ were taken into account. The two-pion distribution amplitude $\Phi_{\pi\pi}^{\rm P}$ is parameterized by the vector current time-like form factor $F_{\pi}$ to study the considered decay modes. We found that (a) the PQCD predictions for the branching ratios of the considered quasi-two-body decays are in the order of $10^{-7} \sim 10^{-6}$, while the two-body decay rates ${\cal B}(B \to \eta_c{(1S,2S)} (\rho(1450),\rho(1700)))$ are extracted from those for the corresponding quasi-two-body decays; (b) the whole pattern of the pion form factor-squared $|F_\pi|^2$ measured by the BABAR Collaboration could be understood based on our theoretical results; (c) the general expectation based on the similarity between $B \to \eta_c \pi\pi$ and $B \to J/\psi \pi\pi$ decays are confirmed: $R_2(\eta_c)\approx 0.45$ is consistent with the measured $R_2(J/\psi)\approx 0.56\pm 0.09$ within errors; and (d) new ratios $R_3(\eta_c(1S))$ and $R_4(\eta_c(2S))$ among the branching ratios of the considered decay modes are defined and could be tested by future experiments.


title: Control and characterization of the preferential crystalline orientation of MoS2 2D flakes in printed layers

abstract: The recent development of Liquid Phase Exfoliation (LPE) of 2D materials has enabled the formulation of inks with rheological properties adapted to numerous liquid deposition methods. This has allowed the fabrication of various types of printed devices with unique features stemming from the nano-structure of the printed 2D layers. In this short communication, we demonstrate that the preferred crystalline orientation of printed MoS2 flakes depends drastically upon the printing method employed to deposit the layers. Using angle resolved X-Ray Diffraction (XRD) to measure Pole Figure and subsequently calculate Orientation Distribution Functions (ODF), we show that the spin-coating method yields the best basal fiber texture, most likely because of the shear force at work on the flakes during the deposition process. This interim report thereby paves the way to further investigations and fine control of the preferred crystalline orientation of printed 2D flakes for the development of dedicated devices.


title: Chaotic Communication with Robust Hyperbolic Transmitter and Receiver

abstract: New chaos-based communication schemes for transmission of analog and digital information are suggested. The carrier signal is produced by chaotic generator having well-defined oscillation phases at least on short time intervals. For data extraction, a special procedure of phase detection for chaotic signals is developed. An efficiency of the scheme is demonstrated by examples of coupled generators of structurally stable (robust) chaos with hyperbolic attractors of Smale-Williams and Arnold's "cat map" types. Robustness of the transmitter and the receiver makes it possible to transmit information in presence of parameter mismatch or additive noise in the communication channel.


title: Privacy Preserving Face Retrieval in the Cloud for Mobile Users

abstract: Recently, cloud storage and processing have been widely adopted. Mobile users in one family or one team may automatically backup their photos to the same shared cloud storage space. The powerful face detector trained and provided by a 3rd party may be used to retrieve the photo collection which contains a specific group of persons from the cloud storage server. However, the privacy of the mobile users may be leaked to the cloud server providers. In the meanwhile, the copyright of the face detector should be protected. Thus, in this paper, we propose a protocol of privacy preserving face retrieval in the cloud for mobile users, which protects the user photos and the face detector simultaneously. The cloud server only provides the resources of storage and computing and can not learn anything of the user photos and the face detector. We test our protocol inside several families and classes. The experimental results reveal that our protocol can successfully retrieve the proper photos from the cloud server and protect the user photos and the face detector.


title: Enhancement of bulk second-harmonic generation from silicon nitride films by material composition

abstract: We present a comprehensive tensorial characterization of second-harmonic generation from silicon nitride films with varying composition. The samples were fabricated using plasma-enhanced chemical vapor deposition, and the material composition was varied by the reactive gas mixture in the process. We found a six-fold enhancement between the lowest and highest second-order susceptibility, with the highest value of approximately 5 pm/V from the most silicon-rich sample. Moreover, the optical losses were found to be sufficiently small (below 6 dB/cm) for applications. The tensorial results show that all samples retain in-plane isotropy independent of silicon content, highlighting the controllability of the fabrication process.


title: Khintchine's Theorem with random fractions

abstract: We prove versions of Khintchine's Theorem (1924) for approximations by rational numbers whose numerators lie in randomly chosen sets of integers, and we explore the extent to which the monotonicity assumption can be removed. Roughly speaking, we show that if the number of available fractions for each denominator grows too fast, then the monotonicity assumption cannot be removed. There are questions in this random setting which may be seen as cognates of the Duffin-Schaeffer Conjecture (1941), and are likely to be more accessible. We point out that the direct random analogue of the Duffin-Schaeffer Conjecture, like the Duffin-Schaeffer Conjecture itself, implies Catlin's Conjecture (1976). It is not obvious whether the Duffin-Schaeffer Conjecture and its random version imply one another, and it is not known whether Catlin's Conjecture implies either of them. The question of whether Catlin implies Duffin-Schaeffer has been unsettled for decades.


title: Can Nitric Oxide be Evaporatively Cooled in its Ground State?

abstract: Cold collisions of $^{14}$N$^{16}$O molecules in the $^{2}\Pi_{1/2}$ ground state, subject to electric and magnetic fields, are investigated. It is found that elastic collision rates significantly exceed state-changing inelastic rates only at temperatures above 0.5 K at laboratory strength fields. It is found, however, that in very large fields $> 10^{4}$ V/cm, inelastic rates can be somewhat suppressed. Magnetic fields have negligible influence on scattering for this nearly non-magnetic state.


title: Elucidating distinct ion channel populations on the surface of hippocampal neurons via single-particle tracking recurrence analysis

abstract: Protein and lipid nanodomains are prevalent on the surface of mammalian cells. In particular, it has been recently recognized that ion channels assemble into surface nanoclusters in the soma of cultured neurons. However, the interactions of these molecules with surface nanodomains display a considerable degree of heterogeneity. Here, we investigate this heterogeneity and develop statistical tools based on the recurrence of individual trajectories to identify subpopulations within ion channels in the neuronal surface. We specifically study the dynamics of the K$^+$ channel Kv1.4 and the Na$^+$ channel Nav1.6 on the surface of cultured hippocampal neurons at the single-molecule level. We find that both these molecules are expressed in two different forms with distinct kinetics with regards to surface interactions, emphasizing the complex proteomic landscape of the neuronal surface. Further, the tools presented in this work provide new methods for the analysis of membrane nanodomains, transient confinement, and identification of populations within single-particle trajectories.


title: Two-way coupling of magnetohydrodynamic simulations with embedded particle-in-cell simulations

abstract: We describe a method for coupling an embedded domain in a magnetohydrodynamic (MHD) simulation with a particle-in-cell (PIC) method. In this two-way coupling we follow the work of Daldorff et al. in which the PIC domain receives its initial and boundary conditions from MHD variables (MHD to PIC coupling) while the MHD simulation is updated based on the PIC variables (PIC to MHD coupling). This method can be useful for simulating large plasma systems, where kinetic effects captured by particle-in-cell simulations are localized but affect global dynamics. We describe the numerical implementation of this coupling, its time-stepping algorithm, and its parallelization strategy, emphasizing the novel aspects of it. We test the stability and energy/momentum conservation of this method by simulating a steady-state plasma. We test the dynamics of this coupling by propagating plasma waves through the embedded PIC domain. Coupling with MHD shows satisfactory results for the fast magnetosonic wave, but significant distortion for the circularly polarized Alfv\'en wave. Coupling with Hall-MHD shows excellent coupling for the whistler wave. We also apply this methodology to simulate a Geospace Environmental Modeling (GEM) challenge type of reconnection with the diffusion region simulated by PIC coupled to larger scales with MHD and Hall-MHD. In both these cases we see the expected signatures of kinetic reconnection in the PIC domain, implying that this method can be used for reconnection studies.


title: Non-singular spacetimes with a negative cosmological constant: V. Boson stars

abstract: We prove existence of large families of solutions of Einstein-complex scalar field equations with a negative cosmological constant, with a stationary or static metric and a time-periodic complex scalar field.


title: The Stationary Points and Structure of High-Energy Scattering Amplitude

abstract: The ISR and the 7 TeV LHC data indicate that the differential cross-section of elastic proton-proton scattering remains almost energy-independent at the transferred momentum $t\approx - 0.21\, \mathrm{GeV}^{2}$ at the level of $\approx 7.5 \mathrm{\ mb}/\mathrm{GeV}^{2}$. This property of $ d\sigma/dt$ (the "first" stationary point) appears due to the correlated growth of the total cross-section and the local slope parameter and can be expressed as a relation between the latter quantities. We anticipate that this property will be true up to 13 TeV. This enables us to normalize the preliminary TOTEM data for $ d\sigma/dt$ at 13 TeV and $ 0.05 < |t| < 3.4\, \mathrm{GeV}^{2}$ and predict the values of $ d\sigma/dt$ at this energy. These data give an evidence of the second stationary point at $t\approx - 2.3\,\mathrm{GeV}^{2}$ at the level of $\approx 33 \mathrm{\ nb}/\mathrm{GeV}^{2}$. The energy evolution of $ d\sigma/dt$ looks as if the high energy elastic scattering amplitude is a sum of two similar terms. We argue that the existence of the two stationary points and the two-component structure of the high energy elastic scattering amplitude are general properties for all elastic processes.


title: Data driven problems in elasticity

abstract: We consider a new class of problems in elasticity, referred to as Data-Driven problems, defined on the space of strain-stress field pairs, or phase space. The problem consists of minimizing the distance between a given material data set and the subspace of compatible strain fields and stress fields in equilibrium. We find that the classical solutions are recovered in the case of linear elasticity. We identify conditions for convergence of Data-Driven solutions corresponding to sequences of ap- proximating material data sets. Specialization to constant material data set sequences in turn establishes an appropriate notion of relaxation. We find that relaxation within this Data-Driven framework is fundamentally different from the classical relaxation of energy functions. For instance, we show that in the Data-Driven framework the relaxation of a bistable material leads to material data sets that are not graphs.


title: Degenerate observables and the many Eigenstate Thermalization Hypotheses

abstract: Under unitary time evolution, expectation values of physically reasonable observables often evolve towards the predictions of equilibrium statistical mechanics. The eigenstate thermalization hypothesis (ETH) states that this is also true already for individual energy eigenstates. Here we aim at elucidating the emergence of ETH for observables that can realistically be measured due to their high degeneracy, such as local, extensive or macroscopic observables. We bisect this problem into two parts, a condition on the relative overlaps and one on the relative phases between the eigenbases of the observable and Hamiltonian.


title: Probing the CP-Violation effects in the $h\tau\tau$ coupling at the LHC

abstract: A new method used to calculate the neutrino for all major tau hadronic decay event by event at the LHC is presented. It is possible because nowadays better detector description is available. With the neutrino fully reconstructed, matrix element for each event can be calculated, the mass of the Higgs particle can also be calculated event by event with high precision. Based on these, the prospect of measuring the Higgs CP mixing angle with $h\to\tau\tau$ decays at the LHC is analyzed. It is predicted that, with a detailed detector simulation, with 3 ab$^{-1}$ of data at $\sqrt{s}=13$ TeV, a significant improvement of the measurement of the CP mixing angle to a precision of $5.2^\circ$ can be achieved at the LHC, which outperforms the sensitivity from lepton EDM searches up to date in the $h\tau\tau$ coupling.


title: Maximum Volume Inscribed Ellipsoid: A New Simplex-Structured Matrix Factorization Framework via Facet Enumeration and Convex Optimization

abstract: Consider a structured matrix factorization model where one factor is restricted to have its columns lying in the unit simplex. This simplex-structured matrix factorization (SSMF) model and the associated factorization techniques have spurred much interest in research topics over different areas, such as hyperspectral unmixing in remote sensing, topic discovery in machine learning, to name a few. In this paper we develop a new theoretical SSMF framework whose idea is to study a maximum volume ellipsoid inscribed in the convex hull of the data points. This maximum volume inscribed ellipsoid (MVIE) idea has not been attempted in prior literature, and we show a sufficient condition under which the MVIE framework guarantees exact recovery of the factors. The sufficient recovery condition we show for MVIE is much more relaxed than that of separable non-negative matrix factorization (or pure-pixel search); coincidentally it is also identical to that of minimum volume enclosing simplex, which is known to be a powerful SSMF framework for non-separable problem instances. We also show that MVIE can be practically implemented by performing facet enumeration and then by solving a convex optimization problem. The potential of the MVIE framework is illustrated by numerical results.


title: Predicting and Evaluating Software Model Growth in the Automotive Industry

abstract: The size of a software artifact influences the software quality and impacts the development process. In industry, when software size exceeds certain thresholds, memory errors accumulate and development tools might not be able to cope anymore, resulting in a lengthy program start up times, failing builds, or memory problems at unpredictable times. Thus, foreseeing critical growth in software modules meets a high demand in industrial practice. Predicting the time when the size grows to the level where maintenance is needed prevents unexpected efforts and helps to spot problematic artifacts before they become critical. Although the amount of prediction approaches in literature is vast, it is unclear how well they fit with prerequisites and expectations from practice. In this paper, we perform an industrial case study at an automotive manufacturer to explore applicability and usability of prediction approaches in practice. In a first step, we collect the most relevant prediction approaches from literature, including both, approaches using statistics and machine learning. Furthermore, we elicit expectations towards predictions from practitioners using a survey and stakeholder workshops. At the same time, we measure software size of 48 software artifacts by mining four years of revision history, resulting in 4,547 data points. In the last step, we assess the applicability of state-of-the-art prediction approaches using the collected data by systematically analyzing how well they fulfill the practitioners' expectations. Our main contribution is a comparison of commonly used prediction approaches in a real world industrial setting while considering stakeholder expectations. We show that the approaches provide significantly different results regarding prediction accuracy and that the statistical approaches fit our data best.


title: Enhanced nucleon transfer in tip collisions of $^{238}$U+$^{124}$Sn

abstract: Multinucleon transfer processes in low-energy heavy ion reactions have attracted increasing interest in recent years aiming at production of new neutron-rich isotopes. Clearly, it is an imperative task to further develop understanding of underlying reaction mechanisms to lead experiments to success. In this paper, from systematic time-dependent Hartree-Fock calculations for the $^{238}$U+$^{124}$Sn reaction, it is demonstrated that transfer dynamics depend strongly on the orientations of $^{238}$U, quantum shells, and collision energies. Two important conclusions are obtained: (i) Experimentally observed many-proton transfer from $^{238}$U to $^{124}$Sn can be explained by a multinucleon transfer mechanism governed by enhanced neck evolution in tip collisions; (ii) Novel reaction dynamics are observed in tip collisions at energies substantially above the Coulomb barrier, where a number of nucleons are transferred from $^{124}$Sn to $^{238}$U, producing transuranium nuclei as primary reaction products, that could be a means to synthesize superheavy nuclei. Both results indicate the importance of the neck (shape) evolution dynamics, which are sensitive to the orientations, shell effects and collision energies, for exploring possible pathways to produce new unstable nuclei.


title: Coherence properties of the 0-$\pi$ qubit

abstract: Superconducting circuits rank among the most interesting architectures for the implementation of quantum information processing devices. The recently proposed 0-$\pi$ qubit [Brooks et al., Phys. Rev. A ${\bf 87}$, 52306 (2013)] promises increased protection from spontaneous relaxation and dephasing. In practice, this ideal behavior is only realized if the parameter dispersion among nominally identical circuit elements vanishes. In this paper we present a theoretical study of the more realistic scenario of slight variations in circuit elements. We discuss how the coupling to a spurious, low-energy mode affects the coherence properties of the 0-$\pi$ device, investigate the relevant decoherence channels, and present estimates for achievable coherence times in multiple parameter regimes.


title: Glitches: the exact quantum signatures of pulsars metamorphosis

abstract: The observed recurrence of glitches in pulsars and neutron stars carry rich information about the evolution of their internal structures. In this article I show that the glitch-events observed in pulsars are exact quantum signatures for their metamorphosis into dark super-baryons (SBs), whose interiors are made of purely incompressible superconducting gluon-quark superfluids. Here the quantum nuclear shell model is adopted to describe the permitted energy levels of the SB, which are assumed to be identical to the discrete spinning rates $\Omega_{SB},$ that SBs are allowed to rotate with. Accordingly, a glitch-event corresponds to a prompt spin-down of the superconducting SB from one energy level to the next, thereby expelling a certain number of vortices, which in turn spins-up the ambient medium. The process is provoked mainly by the negative torque of the ambient dissipative nuclear fluid and by a universal scalar field $\phi$ at the background of a supranuclear dense matter. As dictated by the Onsager-Feynman equation, the prompt spin-down must be associated with increase of the dimensions of the embryonic SB to finally convert the entire pulsar into SB-Objects on the scale of Gyrs. Based on our calculations, a Vela-like pulsar should display billions of glitches during its lifetime, before it metamorphoses entirely into a maximally compact SB-object and disappears from our observational windows. The present model predicts the mass of SBs and $\Delta \Omega/\Omega$ in young pulsars to be relatively lower than their older counterparts.


title: Multi-message Authentication over Noisy Channel with Secure Channel Codes

abstract: In this paper, we investigate multi-message authentication to combat adversaries with infinite computational capacity. An authentication framework over a wiretap channel $(W_1,W_2)$ is proposed to achieve information-theoretic security with the same key. The proposed framework bridges the two research areas in physical (PHY) layer security: secure transmission and message authentication. Specifically, the sender Alice first transmits message $M$ to the receiver Bob over $(W_1,W_2)$ with an error correction code; then Alice employs a hash function (i.e., $\varepsilon$-AWU$_2$ hash functions) to generate a message tag $S$ of message $M$ using key $K$, and encodes $S$ to a codeword $X^n$ by leveraging an existing strongly secure channel coding with exponentially small (in code length $n$) average probability of error; finally, Alice sends $X^n$ over $(W_1,W_2)$ to Bob who authenticates the received messages. We develop a theorem regarding the requirements/conditions for the authentication framework to be information-theoretic secure for authenticating a polynomial number of messages in terms of $n$. Based on this theorem, we propose an authentication protocol that can guarantee the security requirements, and prove its authentication rate can approach infinity when $n$ goes to infinity. Furthermore, we design and implement an efficient and feasible authentication protocol over binary symmetric wiretap channel (BSWC) by using \emph{Linear Feedback Shifting Register} based (LFSR-based) hash functions and strong secure polar code. Through extensive experiments, it is demonstrated that the proposed protocol can achieve low time cost, high authentication rate, and low authentication error rate.


title: Metasurface-assisted phase-matching-free second harmonic generation in lithium niobate waveguides

abstract: The phase-matching condition is a key aspect in nonlinear wavelength conversion processes, which requires the momenta of the photons involved in the processes to be conserved. Conventionally, nonlinear phase matching is achieved using either birefringent or periodically poled nonlinear crystals, which requires careful dispersion engineering and are usually narrowband. In recent years, metasurfaces consisting of densely packed arrays of optical antennas have been demonstrated to provide an effective optical momentum to bend light in arbitrary ways. Here, we demonstrate that gradient metasurface structures consisting of phased array antennas are able to circumvent the phase-matching requirement in on-chip nonlinear wavelength conversion. We experimentally demonstrate phase-matching-free second harmonic generation over many coherent lengths in thin film lithium niobate waveguides patterned with the gradient metasurfaces. Efficient second-harmonic generation (1660% W-1cm-2) in the metasurface-based devices was observed over a wide range of pump wavelengths (1580-1650 nm).


title: Asymptotic equivalence of probability measures and stochastic processes

abstract: Let $P_n$ and $Q_n$ be two probability measures representing two different probabilistic models of some system (e.g., an $n$-particle equilibrium system, a set of random graphs with $n$ vertices, or a stochastic process evolving over a time $n$) and let $M_n$ be a random variable representing a 'macrostate' or 'global observable' of that system. We provide sufficient conditions, based on the Radon-Nikodym derivative of $P_n$ and $Q_n$, for the set of typical values of $M_n$ obtained relative to $P_n$ to be the same as the set of typical values obtained relative to $Q_n$ in the limit $n\rightarrow\infty$. This extends to general probability measures and stochastic processes the well-known thermodynamic-limit equivalence of the microcanonical and canonical ensembles, related mathematically to the asymptotic equivalence of conditional and exponentially-tilted measures. In this more general sense, two probability measures that are asymptotically equivalent predict the same typical or macroscopic properties of the system they are meant to model.


title: Area difference bounds for dissections of a square into an odd number of triangles

abstract: Monsky's theorem from 1970 states that a square cannot be dissected into an odd number of triangles of the same area, but it does not give a lower bound for the area differences that must occur. We extend Monsky's theorem to "constrained framed maps"; based on this we can apply a gap theorem from semi-algebraic geometry to a polynomial area difference measure and thus get a lower bound for the area differences that decreases doubly-exponentially with the number of triangles. On the other hand, we obtain the first superpolynomial upper bounds for this problem, derived from an explicit construction that uses the Thue-Morse sequence.


title: Proximity-induced superconductivity in Landau-quantized graphene monolayers

abstract: We consider massless Dirac fermions in a graphene monolayer subject to both a perpendicular magnetic field $B$ and a proximity-induced pairing gap $\Delta$. When the chemical potential is at the Dirac point, our exact solution of the Bogoliubov-de Gennes equation yields $\Delta$-independent relativistic Landau levels. Since eigenstates depend on $\Delta$, many observables nevertheless are sensitive to pairing, e.g., the local density of states or the edge state spectrum. By solving the problem with an additional in-plane electric field, we also discuss how snake states are influenced by a pairing gap.


title: Client-Side Routing-Agnostic Gateway Selection for heterogeneous Wireless Mesh Networks

abstract: Citizens develop Wireless Mesh Networks (WMN) in many areas as an alternative or their only way for local interconnection and access to the Internet. This access is often achieved through the use of several shared web proxy gateways. These network infrastructures consist of heterogeneous technologies and combine diverse routing protocols. Network-aware state-of-art proxy selection schemes for WMNs do not work in this heterogeneous environment. We developed a client-side gateway selection mechanism that optimizes the client-gateway selection, agnostic to underlying infrastructure and protocols, requiring no modification of proxies nor the underlying network. The choice is sensitive to network congestion and proxy load, without requiring a minimum number of participating nodes. Extended Vivaldi network coordinates are used to estimate client-proxy network performance. The load of each proxy is estimated passively by collecting the Time-to-First-Byte of HTTP requests, and shared across clients. Our proposal was evaluated experimentally with clients and proxies deployed in guifi.net, the largest community wireless network in the world. Our selection mechanism avoids proxies with heavy load and slow internal network paths, with overhead linear to the number of clients and proxies.


title: Quantum Spectral Curve for the eta-deformed AdS_5xS^5 superstring

abstract: The spectral problem for the ${\rm AdS}_5\times {\rm S}^5$ superstring and its dual planar maximally supersymmetric Yang-Mills theory can be efficiently solved through a set of functional equations known as the quantum spectral curve. We discuss how the same concepts apply to the $\eta$-deformed ${\rm AdS}_5\times {\rm S}^5$ superstring, an integrable deformation of the ${\rm AdS}_5\times {\rm S}^5$ superstring with quantum group symmetry. This model can be viewed as a trigonometric version of the ${\rm AdS}_5\times {\rm S}^5$ superstring, like the relation between the XXZ and XXX spin chains, or the sausage and the ${\rm S}^2$ sigma models for instance. We derive the quantum spectral curve for the $\eta$-deformed string by reformulating the corresponding ground-state thermodynamic Bethe ansatz equations as an analytic $Y$ system, and map this to an analytic $T$ system which upon suitable gauge fixing leads to a $\mathbf{P} \mu$ system -- the quantum spectral curve. We then discuss constraints on the asymptotics of this system to single out particular excited states. At the spectral level the $\eta$-deformed string and its quantum spectral curve interpolate between the ${\rm AdS}_5\times {\rm S}^5$ superstring and a superstring on "mirror" ${\rm AdS}_5\times {\rm S}^5$, reflecting a more general relationship between the spectral and thermodynamic data of the $\eta$-deformed string. In particular, the spectral problem of the mirror ${\rm AdS}_5\times {\rm S}^5$ string, and the thermodynamics of the undeformed ${\rm AdS}_5\times {\rm S}^5$ string, are described by a second rational limit of our trigonometric quantum spectral curve, distinct from the regular undeformed limit.


title: Interacting with Acoustic Simulation and Fabrication

abstract: Incorporating accurate physics-based simulation into interactive design tools is challenging. However, adding the physics accurately becomes crucial to several emerging technologies. For example, in virtual/augmented reality (VR/AR) videos, the faithful reproduction of surrounding audios is required to bring the immersion to the next level. Similarly, as personal fabrication is made possible with accessible 3D printers, more intuitive tools that respect the physical constraints can help artists to prototype designs. One main hurdle is the sheer amount of computation complexity to accurately reproduce the real-world phenomena through physics-based simulation. In my thesis research, I develop interactive tools that implement efficient physics-based simulation algorithms for automatic optimization and intuitive user interaction.


title: Quantum state engineering via coherent-state superpositions in traveling optical fields

abstract: We propose two experimental schemes for producing coherent-state superpositions which approximate different nonclassical states conditionally in traveling optical fields. Although these setups are constructed of a small number of linear optical elements and homodyne measurements, they can be used to generate various photon number superpositions in which the number of constituent states can be higher than the number of measurements in the schemes. We determine numerically the parameters to achieve maximal fidelity of the preparation for a large variety of nonclassical states, such as amplitude squeezed states, squeezed number states, binomial states and various photon number superpositions. The proposed setups can generate these states with high fidelities and with success probabilities that can be promising for practical applications.


title: 2-local standard isometries on vector-valued Lipschitz function spaces

abstract: Under the right conditions on a compact metric space $X$ and on a Banach space $E$, we give a description of the $2$-local (standard) isometries on the Banach space $\hbox{Lip}(X,E)$ of vector-valued Lipschitz functions from $X$ to $E$ in terms of a generalized composition operator, and we study when every $2$-local (standard) isometry on $\hbox{Lip}(X,E)$ is both linear and surjective.