title: Likely chirality of stochastic anisotropic hyperelastic tubes

abstract: When an elastic tube reinforced with helical fibres is inflated, its ends rotate. In large deformations, the amount and chirality of rotation is highly non-trivial, as it depends on the choice of strain-energy density and the arrangements of the fibres. For anisotropic hyperelastic tubes where the material parameters are single-valued constants, the problem has been satisfactorily addressed. However, in many systems, the material parameters are not precisely known, and it is therefore more appropriate to treat them as random variables. The problem is then to understand chirality in a probabilistic framework. Here, we develop a procedure for examining the elastic responses of a hyperelastic cylindrical tube of stochastic anisotropic material, where the material parameters are spatially-independent random variables defined by probability density functions. The tube is subjected to uniform dead loading consisting of internal pressure, axial tension and torque. Assuming that the tube wall is thin and that the resulting deformation is the combined inflation, extension and torsion from the reference circular cylindrical configuration to a deformed circular cylindrical state, we derive the probabilities of radial expansion or contraction, and of right-handed or left-handed torsion. We refer to these stochastic behaviours as `likely inflation' and `likely chirality', respectively.


title: Introducing a Relativistic Nonlinear Field System With a Single Stable Non-Topological Soliton Solution in 1+1 Dimensions

abstract: In this paper we present a new extended complex nonlinear Klein-Gordon Lagrangian density, which bears a single non-topological soliton solution with a specific rest frequency $\omega_{s}$ in $1+1$ dimensions. There is a proper term in the new Lagrangian density, which behaves like a massless spook that surrounds the single soliton solution and opposes any internal changes. In other words, any arbitrary variation in the single soliton solution leads to an increase in the total energy. Moreover, just for the single soliton solution, the general dynamical equations are reduced to those versions of a special type of the standard well-known complex nonlinear Klein-Gordon systems, as its dominant dynamical equations.


title: A Tale of Two Scales: Screening in Large Scale Structure

abstract: The perturbative treatment of dark matter in structure formation relies on the existence of a well-defined expansion parameter, $k/k_{\rm NL}$, with $k_{\rm NL}$ signalling the onset and ultimately the leading role of non-linearities in the system. Cosmologies beyond the {\Lambda}CDM model often come with additional degree(s) of freedom. The scale $k_{\rm V}$ at which non-linearities become important in the additional sector(s) can be rather different from $k_{\rm NL}$. For theories endowed with a Vainshtein-type screening mechanism, $k_{\rm V}$ sets the scale where screening becomes efficient and restores continuity with the predictions of general relativity. This is precisely the dynamics that allows such theories to pass existing observational tests at scales where general relativity has been tested with exquisite precision (e.g. solar system scales). We consider here the mildly-non-linear scales of a dark matter component coupled to a galileon-type field and focus in particular on the case of a $k_{\rm V}$ < $k_{\rm NL}$ hierarchy. We put forward a phenomenological framework that describes the effects of screening dynamics on large scale structure observables.


title: ReSIFT: Reliability-Weighted SIFT-based Image Quality Assessment

abstract: This paper presents a full-reference image quality estimator based on SIFT descriptor matching over reliability-weighted feature maps. Reliability assignment includes a smoothing operation, a transformation to perceptual color domain, a local normalization stage, and a spectral residual computation with global normalization. The proposed method ReSIFT is tested on the LIVE and the LIVE Multiply Distorted databases and compared with 11 state-of-the-art full-reference quality estimators. In terms of the Pearson and the Spearman correlation, ReSIFT is the best performing quality estimator in the overall databases. Moreover, ReSIFT is the best performing quality estimator in at least one distortion group in compression, noise, and blur category.


title: Density Wave States in the Presence of an External Magnetic Field

abstract: We investigate the effect that density-wave states have on the Hofstadter Butterfly. We first review the problem of the $d$-density wave on a square lattice and then numerically solve the $d$-density wave problem when an external magnetic field is introduced. As the $d$-density wave condensation strength is tuned the spectrum evolves through three topologically distinct butterflies, and an unusual quantum Hall effect is observed. The chiral $p+ip$-density wave state demonstrates drastically different Hofstadter physics--inducing a destruction of the gaps in the butterfly which causes electrons' cyclotron orbits to not obey any type of Landau quantization, and the creation of a large gap in the spectrum with Hall conductance $\sigma_{xy}$=0. To investigate the quantum phases in the system we perform a multifractal analysis of the single particle wavefunctions. We find that tuning the $d$-density wave strength at a generic value of magnetic flux controls a metal-metal transition at charge neutrality where the wavefunction multifractality occurs near band touching events. In the $p+ip$ case we observe another metal-metal transition near a band touching event which is seperated by a quasi-insulating island state occuring at charge neutrality near strip dimerization of the lattice.


title: Massively parallel computations in algebraic geometry - not a contradiction

abstract: The design and implementation of parallel algorithms is a fundamental task in computer algebra. Combining the computer algebra system Singular and the workflow management system GPI-Space, we have developed an infrastructure for massively parallel computations in commutative algebra and algebraic geometry. In this note, we give an overview on the current capabilities of this framework by looking into three sample applications: determining smoothness of algebraic varieties, computing GIT-fans in geometric invariant theory, and determining tropicalizations. These applications employ algorithmic methods originating from commutative algebra, sheaf structures on manifolds, local geometry, convex geometry, group theory, and combinatorics, illustrating the potential of the framework in further problems in computer algebra.


title: Computeralgebra - vom Vorlesungsthema zum Forschungsthema

abstract: In this note for the joint meeting of DMV and GDM we illustrate with examples the role of computer algebra in university mathematics education. We discuss its potential in teaching algebra, but also computer algebra as a subject in its own right, its value in the context of practical programming projects and its role as a research topic in student papers.


title: Unsupervised learning with contrastive latent variable models

abstract: In unsupervised learning, dimensionality reduction is an important tool for data exploration and visualization. Because these aims are typically open-ended, it can be useful to frame the problem as looking for patterns that are enriched in one dataset relative to another. These pairs of datasets occur commonly, for instance a population of interest vs. control or signal vs. signal free recordings.However, there are few methods that work on sets of data as opposed to data points or sequences. Here, we present a probabilistic model for dimensionality reduction to discover signal that is enriched in the target dataset relative to the background dataset. The data in these sets do not need to be paired or grouped beyond set membership. By using a probabilistic model where some structure is shared amongst the two datasets and some is unique to the target dataset, we are able to recover interesting structure in the latent space of the target dataset. The method also has the advantages of a probabilistic model, namely that it allows for the incorporation of prior information, handles missing data, and can be generalized to different distributional assumptions. We describe several possible variations of the model and demonstrate the application of the technique to de-noising, feature selection, and subgroup discovery settings.


title: Acceleration of the precession frequency for optically-oriented electron spins in ferromagnetic/semiconductor hybrids

abstract: Time-resolved Kerr rotation measurements were performed in InGaAs/GaAs quantum wells nearby a doped Mn delta layer. Our magneto-optical results show a typical time evolution of the optically-oriented electron spin in the quantum well. Surprisingly, this is strongly affected by the Mn spins, resulting in an increase of the spin precession frequency in time. This increase is attributed to the variation in the effective magnetic field induced by the dynamical relaxation of the Mn spins. Two processes are observed during electron spin precession: a quasi-instantaneous alignment of the Mn spins with photo-excited holes, followed by a slow alignment of Mn spins with the external transverse magnetic field. The first process leads to an equilibrium state imprinted in the initial precession frequency, which depends on pump power, while the second process promotes a linear frequency increase, with acceleration depending on temperature and external magnetic field. This observation yields new information about exchange process dynamics and on the possibility of constructing spin memories, which can rapidly respond to light while retaining information for a longer period.


title: Automatic Grammar Augmentation for Robust Voice Command Recognition

abstract: This paper proposes a novel pipeline for automatic grammar augmentation that provides a significant improvement in the voice command recognition accuracy for systems with small footprint acoustic model (AM). The improvement is achieved by augmenting the user-defined voice command set, also called grammar set, with alternate grammar expressions. For a given grammar set, a set of potential grammar expressions (candidate set) for augmentation is constructed from an AM-specific statistical pronunciation dictionary that captures the consistent patterns and errors in the decoding of AM induced by variations in pronunciation, pitch, tempo, accent, ambiguous spellings, and noise conditions. Using this candidate set, greedy optimization based and cross-entropy-method (CEM) based algorithms are considered to search for an augmented grammar set with improved recognition accuracy utilizing a command-specific dataset. Our experiments show that the proposed pipeline along with algorithms considered in this paper significantly reduce the mis-detection and mis-classification rate without increasing the false-alarm rate. Experiments also demonstrate the consistent superior performance of CEM method over greedy-based algorithms.


title: On the Causal and Topological Structure of the $2$-Dimensional Minkowski Space

abstract: A list of all possible causal relations in the $2$-dimensional Minkowski space $M$ is exhausted, based on the duality between timelike and spacelike in this particular case, and thirty topologies are introduced, all of them encapsulating the causal structure of $M$. Generalisations of these results are discussed, as well as their significance in a discussion on spacetime singularities.


title: Point-Pattern Matching Technique for Local Structural Analysis in Condensed Matter

abstract: The local arrangement of atoms is one of the most important predictors of mechanical and functional properties of materials. However, algorithms for identifying the geometrical arrangements of atoms in complex materials systems are lacking. To address this challenge, we present a point-pattern matching algorithm that can detect instances of a `template' structure in a given set of atom coordinates. To our knowledge this is the first geometrical comparison technique for atomistic configurations with very different number of atoms, and when the optimal rotations and translations required to align the configurations are unknown. The pattern matching algorithm can be combined with an appropriate set of metrics to quantify the similarity or dissimilarity between configurations of atoms. We demonstrate the unique capabilities of the point-pattern matching algorithm using two examples where the automated analysis of local atomistic structure can help advance the understanding of structure-property relationships in material science: (a) identifying local three-dimensional polyhedral units along interfacial defects, and (b) the analysis of quasi-icosahedral topologies in the atomistic structure of metallic glasses. We anticipate that the pattern matching algorithm will be applicable in the analysis of atomistic structures in broad areas of condensed matter systems, including biological molecules, polymers and disordered metallic systems. An online implementation of the algorithm is provided via the open source code hosted on GitHub (https://github.com/spatala/ppm3d).


title: On the specification and verification of atomic swap smart contracts

abstract: Blockchain systems and smart contracts provide ways to securely implement multi-party transactions without the use of trusted intermediaries, which currently underpin many commercial transactions. However, they do so by transferring trust to computer systems, raising the question of whether code can be trusted. Experience with high value losses resulting from incorrect code has already shown that formal verification of smart contracts is likely to be beneficial. This note investigates the specification and verification of a simple form of multi-party transaction, atomic swaps. It is argued that logics with the ability to express properties of strategies of players in a multi-agent setting are conceptually useful for this purpose, although ultimately, for our specific examples, the less expressive setting of temporal logic suffices for verification of concrete implementations. This is illustrated through a number of examples of the use of a model checker to verify atomic swap smart contracts in on-chain and cross-chain settings.


title: Newton Methods for Convolutional Neural Networks

abstract: Deep learning involves a difficult non-convex optimization problem, which is often solved by stochastic gradient (SG) methods. While SG is usually effective, it may not be robust in some situations. Recently, Newton methods have been investigated as an alternative optimization technique, but nearly all existing studies consider only fully-connected feedforward neural networks. They do not investigate other types of networks such as Convolutional Neural Networks (CNN), which are more commonly used in deep-learning applications. One reason is that Newton methods for CNN involve complicated operations, and so far no works have conducted a thorough investigation. In this work, we give details of all building blocks including function, gradient, and Jacobian evaluation, and Gauss-Newton matrix-vector products. These basic components are very important because with them further developments of Newton methods for CNN become possible. We show that an efficient MATLAB implementation can be done in just several hundred lines of code and demonstrate that the Newton method gives competitive test accuracy.


title: The Geometry of Exceptional Super Yang-Mills Theories

abstract: Some time ago, Sezgin, Bars and Nishino have proposed super Yang-Mills theories (SYM's) in $D=11+3$ and beyond. Using the "Magic Star" projection of $\mathfrak{e}_{8(-24)}$, we show that the geometric structure of SYM's in $11+3$ and $12+4$ space-time dimensions is recovered from the affine symmetry of the space $AdS_{4}\otimes S^{8}$, with the $8$-sphere being a line in the Cayley plane. By reducing to transverse transformations, along maximal embeddings, the near horizon geometries of the M2-brane ($AdS_{4}\otimes S^{7}$) and M5-brane ($AdS_{7}\otimes S^{4}$) are recovered. Generalizing the construction to higher, generic levels of the recently introduced "Exceptional Periodicity" (EP) and exploiting the embedding of semi-simple rank-3 Jordan algebras into rank-3 T-algebras of special type, yields the spaces $AdS_{4}\otimes S^{8n}$ and $AdS_{7}\otimes S^{8n-3}$, with reduced subspaces $AdS_{4}\otimes S^{8n-1}$ and $AdS_{7}\otimes S^{8n-4}$, respectively. Within EP, this suggests generalizations of the near horizon geometry of the M2-brane and its Hodge (magnetic) duals, related to $(1,0)$ SYM's in $(8n+3)+3$ dimensions, constituting a particular class of novel higher-dimensional SYM's, which we name exceptional SYM's. Remarkably, the $n=3$ level gives $AdS_{4}\otimes S^{23}$, hinting at M2 and M21 branes as solutions of bosonic M-theory, and reduction to $AdS_{3}\otimes S^{23}$ gives support for Witten's monstrous $AdS$/CFT construction.


title: CHL Calabi-Yau threefolds: Curve counting, Mathieu moonshine and Siegel modular forms

abstract: A CHL model is the quotient of $\mathrm{K3} \times E$ by an order $N$ automorphism which acts symplectically on the K3 surface and acts by shifting by an $N$-torsion point on the elliptic curve $E$. We conjecture that the primitive Donaldson-Thomas partition function of elliptic CHL models is a Siegel modular form, namely the Borcherds lift of the corresponding twisted-twined elliptic genera which appear in Mathieu moonshine. The conjecture matches predictions of string theory by David, Jatkar and Sen. We use the topological vertex to prove several base cases of the conjecture. Via a degeneration to $\mathrm{K3} \times \mathbb{P}^1$ we also express the DT partition functions as a twisted trace of an operator on Fock space. This yields further computational evidence. An extension of the conjecture to non-geometric CHL models is discussed. We consider CHL models of order $N=2$ in detail. We conjecture a formula for the Donaldson-Thomas invariants of all order two CHL models in all curve classes. The conjecture is formulated in terms of two Siegel modular forms. One of them, a Siegel form for the Iwahori subgroup, has to our knowledge not yet appeared in physics. This discrepancy is discussed in an appendix with Sheldon Katz.


title: Deep Neural Networks based Modrec: Some Results with Inter-Symbol Interference and Adversarial Examples

abstract: Recent successes and advances in Deep Neural Networks (DNN) in machine vision and Natural Language Processing (NLP) have motivated their use in traditional signal processing and communications systems. In this paper, we present results of such applications to the problem of automatic modulation recognition. Variations in wireless communication channels are represented by statistical channel models and their parameterization will increase with the advent of 5G. In this paper, we report effect of simple two path channel model on our naive deep neural network based implementation. We also report impact of adversarial perturbation to the input signal.


title: Supersymmetry in an interacting Majorana model on the kagome lattice

abstract: We construct a supersymmetric model of interacting Majorana fermions on the kagome lattice. In the infinite-coupling limit, the model exhibits an extensively degenerate ground state manifold separated in two topological sectors, in addition to two parity supersectors. An exact solution for thin-torus geometries allows us to analytically construct the entire zero-energy ground state manifold. Upon inclusion of hopping terms with energy scale $g$, the supersymmetry is spontaneously broken with the ground state energy density scaling as $g^4$. We also briefly discuss the non-interacting limit of the model, which exhibits a zero-energy flat band and Majorana Chern bands.


title: Small Landau-Ginzburg theories

abstract: We classify (0,2) Landau-Ginzburg theories that can flow to compact IR fixed points with equal left and right central charges strictly bounded by 3. Our result is a (0,2) generalization of the ADE classification of (2,2) Landau-Ginzburg theories that flow to N=2 minimal models. Unitarity requires the right-moving supersymmetric sector to fall into the standard N=2 minimal model representations, but the left-moving sector need not have supersymmetry. The Landau-Ginzburg realizations provide a simple way to compute the chiral algebra and other characteristics of these fixed points. While our results pertain to isolated superconformal theories, tensor products lead to (0,2) superconformal theories with higher central charge, and the Landau-Ginzburg realization provides a model for a class of marginal and relevant deformations of such theories.


title: Multivariate Time-series Similarity Assessment via Unsupervised Representation Learning and Stratified Locality Sensitive Hashing: Application to Early Acute Hypotensive Episode Detection

abstract: Timely prediction of clinically critical events in Intensive Care Unit (ICU) is important for improving care and survival rate. Most of the existing approaches are based on the application of various classification methods on explicitly extracted statistical features from vital signals. In this work, we propose to eliminate the high cost of engineering hand-crafted features from multivariate time-series of physiologic signals by learning their representation with a sequence-to-sequence auto-encoder. We then propose to hash the learned representations to enable signal similarity assessment for the prediction of critical events. We apply this methodological framework to predict Acute Hypotensive Episodes (AHE) on a large and diverse dataset of vital signal recordings. Experiments demonstrate the ability of the presented framework in accurately predicting an upcoming AHE.


title: Operator-Theoretical Treatment of Ergodic Theorem and Its Application to Dynamic Models in Economics

abstract: The purpose of this paper is to study the time average behavior of Markov chains with transition probabilities being kernels of completely continuous operators, and therefore to provide a sufficient condition for a class of Markov chains that are frequently used in dynamic economic models to be ergodic. The paper reviews the time average convergence of the quasi-weakly complete continuity Markov operators to a unique projection operator. Also, it shows that a further assumption of quasi-strongly complete continuity reduces the dependence of the unique invariant measure on its corresponding initial distribution through ergodic decomposition, and therefore guarantees the Markov chain to be ergodic up to multiplication of constant coefficients. Moreover, a sufficient and practical condition is provided for the ergodicity in economic state Markov chains that are induced by exogenous random shocks and a correspondence between the exogenous space and the state space.


title: Interpolative Fusions I

abstract: We define the interpolative fusion $T^*_\cup$ of a family $(T_i)_{i \in I}$ of first-order theories over a common reduct $T_\cap$, a notion that generalizes many examples of random or generic structures in the model-theoretic literature. When each $T_i$ is model-complete, $T^*_\cup$ coincides with the model companion of $T_\cup = \bigcup_{i \in I} T_i$. By obtaining sufficient conditions for the existence of $T^*_\cup$, we develop new tools to show that theories of interest have model companions.


title: Predictive Modeling with Delayed Information: a Case Study in E-commerce Transaction Fraud Control

abstract: In Business Intelligence, accurate predictive modeling is the key for providing adaptive decisions. We studied predictive modeling problems in this research which was motivated by real-world cases that Microsoft data scientists encountered while dealing with e-commerce transaction fraud control decisions using transaction streaming data in an uncertain probabilistic decision environment. The values of most online transactions related features can return instantly, while the true fraud labels only return after a stochastic delay. Using partially mature data directly for predictive modeling in an uncertain probabilistic decision environment would lead to significant inaccuracy on risk decision-making. To improve accurate estimation of the probabilistic prediction environment, which leads to more accurate predictive modeling, two frameworks, Current Environment Inference (CEI) and Future Environment Inference (FEI), are proposed. These frameworks generated decision environment related features using long-term fully mature and short-term partially mature data, and the values of those features were estimated using varies of learning methods, including linear regression, random forest, gradient boosted tree, artificial neural network, and recurrent neural network. Performance tests were conducted using some e-commerce transaction data from Microsoft. Testing results suggested that proposed frameworks significantly improved the accuracy of decision environment estimation.


title: Layered Belief Propagation for Low-complexity Large MIMO Detection Based on Statistical Beams

abstract: This paper proposes a novel layered belief propagation (BP) detector with a concatenated structure of two different BP layers for low-complexity large multi-user multi-input multi-output (MU-MIMO) detection based on statistical beams. To reduce the computational burden and the circuit scale on the base station (BS) side, the two-stage signal processing consisting of slow varying outer beamformer (OBF) and group-specific MU detection (MUD) for fast channel variations is effective. However, the dimensionality reduction of the equivalent channel based on the OBF results in significant performance degradation in subsequent spatial filtering detection. To compensate for the drawback, the proposed layered BP detector, which is designed for improving the detection capability by suppressing the intra- and inter-group interference in stages, is introduced as the post-stage processing of the OBF. Finally, we demonstrate the validity of our proposed method in terms of the bit error rate (BER) performance and the computational complexity.


title: Intercalated Rare-Earth Metals under Graphene on SiC

abstract: Intercalation of rare earth metals ($RE$ = Eu, Dy, and Gd) is achieved by depositing the $RE$ metal on graphene that is grown on silicon-carbide (SiC) and by subsequent annealing at high temperatures to promote intercalation. STM images of the films reveal that the graphene layer is defect free and that each of the intercalated metals has a distinct nucleation pattern. Intercalated Eu forms nano-clusters that are situated on the vertices of a Moir{\`e} pattern, while Dy and Gd form randomly distributed nano-clusters. X-ray magnetic circular dichroism (XMCD) measurements of intercalated films reveal the magnetic properties of these $RE$'s nano-clusters. Furthermore, field dependence and temperature dependence of the magnetic moments extracted from the XMCD show paramagnetic-like behaviors with moments that are generally smaller than those predicted by the Brillouin function. XMCD measurements of $RE$-oxides compared with those of the intercalated $RE$'s under graphene after exposure to air for months indicate that the graphene membranes protect these intercalants against oxidation.


title: Spin-dependent Seebeck effect in non-local spin valve devices

abstract: We performed measurements of Py/Cu and Py/Ag lateral spin valves as function of injection current direction and magnitude. Above a 'critical' current, there is an unexpected dependence of spin injection on current direction. Positive currents show higher polarization of spin injection than negative. This implies that in addition to current-induced spin injection, there is a thermally induced injection from a spin-dependent Seebeck effect. A temperature gradient in the Py electrode, caused by Joule heating, is responsible for injecting excess spins into the non-magnetic channel. This effect has important consequences for understanding high-current spin-based devices, such as spin transfer torque devices.


title: Learning from Past Bids to Participate Strategically in Day-Ahead Electricity Markets

abstract: We consider the process of bidding by electricity suppliers in a day-ahead market context where each supplier bids a linear non-decreasing function of her generating capacity with the goal of maximizing her individual profit given other competing suppliers' bids. Based on the submitted bids, the market operator schedules suppliers to meet demand during each hour and determines hourly market clearing prices. Eventually, this game-theoretic process reaches a Nash equilibrium when no supplier is motivated to modify her bid. However, solving the individual profit maximization problem requires information of rivals' bids, which are typically not available. To address this issue, we develop an inverse optimization approach for estimating rivals' production cost functions given historical market clearing prices and production levels. We then use these functions to bid strategically and compute Nash equilibrium bids. We present numerical experiments illustrating our methodology, showing good agreement between bids based on the estimated production cost functions with the bids based on the true cost functions. We discuss an extension of our approach that takes into account network congestion resulting in location-dependent prices.


title: Prophet Inequalities for I.I.D. Random Variables from an Unknown Distribution

abstract: A central object in optimal stopping theory is the single-choice prophet inequality for independent, identically distributed random variables: Given a sequence of random variables $X_1,\dots,X_n$ drawn independently from a distribution $F$, the goal is to choose a stopping time $\tau$ so as to maximize $\alpha$ such that for all distributions $F$ we have $\mathbb{E}[X_\tau] \geq \alpha \cdot \mathbb{E}[\max_tX_t]$. What makes this problem challenging is that the decision whether $\tau=t$ may only depend on the values of the random variables $X_1,\dots,X_t$ and on the distribution $F$. For quite some time the best known bound for the problem was $\alpha\geq1-1/e\approx0.632$ [Hill and Kertz, 1982]. Only recently this bound was improved by Abolhassani et al. [2017], and a tight bound of $\alpha\approx0.745$ was obtained by Correa et al. [2017]. The case where $F$ is unknown, such that the decision whether $\tau=t$ may depend only on the values of the first $t$ random variables but not on $F$, is equally well motivated (e.g., [Azar et al., 2014]) but has received much less attention. A straightforward guarantee for this case of $\alpha\geq1/e\approx0.368$ can be derived from the solution to the secretary problem. Our main result is that this bound is tight. Motivated by this impossibility result we investigate the case where the stopping time may additionally depend on a limited number of samples from~$F$. An extension of our main result shows that even with $o(n)$ samples $\alpha\leq 1/e$, so that the interesting case is the one with $\Omega(n)$ samples. Here we show that $n$ samples allow for a significant improvement over the secretary problem, while $O(n^2)$ samples are equivalent to knowledge of the distribution: specifically, with $n$ samples $\alpha\geq1-1/e\approx0.632$ and $\alpha\leq\ln(2)\approx0.693$, and with $O(n^2)$ samples $\alpha\geq0.745-\epsilon$ for any $\epsilon>0$.


title: Deep Learning in the Wavelet Domain

abstract: This paper examines the possibility of, and the possible advantages to learning the filters of convolutional neural networks (CNNs) for image analysis in the wavelet domain. We are stimulated by both Mallat's scattering transform and the idea of filtering in the Fourier domain. It is important to explore new spaces in which to learn, as these may provide inherent advantages that are not available in the pixel space. However, the scattering transform is limited by its inability to learn in between scattering orders, and any Fourier domain filtering is limited by the large number of filter parameters needed to get localized filters. Instead we consider filtering in the wavelet domain with learnable filters. The wavelet space allows us to have local, smooth filters with far fewer parameters, and learnability can give us flexibility. We present a novel layer which takes CNN activations into the wavelet space, learns parameters and returns to the pixel space. This allows it to be easily dropped in to any neural network without affecting the structure. As part of this work, we show how to pass gradients through a multirate system and give preliminary results.


title: Green's functions for even order boundary value problems

abstract: In this paper we will show several properties of the Green's functions related to various boundary value problems of arbitrary even order. In particular, we will write the expression of the Green's functions related to the general differential operator of order 2n coupled to Neumann, Dirichlet and mixed boundary conditions, as a linear combination of the Green's functions corresponding to periodic conditions on a different interval. This will allow us to ensure the constant sign of various Green's functions and to deduce spectral results.


title: On multi-point resonant problems on the half-line

abstract: In this work we obtain sufficient conditions for the existence of bounded solutions of a resonant multi-point second-order boundary value problem, with a fully differential equation. The noninvertibility of the linear part is overcome by a new perturbation technique, which allows to obtain an existence result and a localization theorem. Our hypotheses are clearly much less restrictive than the ones existent in the literature and, moreover, they can be applied to higher order, resonant or non-resonant, boundary value problems defined on the half-line or even on the real line.


title: Existence and multiplicity results for some generalized Hammerstein equations with a parameter

abstract: This paper considers the existence and multiplicity of fixed points for the integral operator \begin{equation*} {\mathcal{T}}u(t)=\lambda \,\int_{0}^{T}k(t,s)\,f(s,u(s),u^{\prime }(s),\dots ,u^{(m)}(s))\,\dif s,\quad t\in \lbrack 0,T]\equiv I, \end{equation*} where $\lambda >0$ is a positive parameter, $k:I\times I\rightarrow \mathbb{R% }$ is a kernel function such that $k\in W^{m,1}\left( I\times I\right) $, $m$ is a positive integer with $m\geq 1$, and $f:I\times \mathbb{R}^{m+1}\rightarrow \lbrack 0,+\infty \lbrack $ is a $L^{1}$-Carath\'{e}odory function. The existence of solutions for these Hammerstein equations is obtained by fixed point index theory on new type of cones. Therefore some assumptions must hold only for, at least, one of the derivatives of the kernel or, even, for the kernel, on a subset of the domain. Assuming some asymptotic conditions on the nonlinearity $f$, we get sufficient conditions for multiplicity of solutions. Two examples will illustrate the potentialities of the main results, namely the fact that the kernel function and/or some derivatives may only be positive on some subintervals, which can degenerate to a point. Moreover, an application of our method to general Lidstone problems improves the existent results on the literature in this field.


title: Uniform vapor pressure based CVD growth of MoS2 using MoO3 thin film as a precursor for co-evaporation

abstract: Chemical vapor deposition (CVD) is a powerful method employed for high quality monolayer crystal growth of 2D transition metal dichalcogenides with much effort invested toward improving the growth process. Here, we report a novel method for CVD based growth of monolayer molybdenum disulfide (MoS2) by using thermally evaporated thin films of molybdenum trioxide (MoO3) as the molybdenum (Mo) source for co-evaporation. Uniform evaporation rate of the MoO3 thin films provides uniform Mo vapor which promotes highly reproducible single crystal growth of MoS2 throughout the substrate. These high-quality crystals are as large as 95 um and were characterized by scanning electron microscopy, Raman spectroscopy, photoluminescence spectroscopy, atomic force microscopy and transmission electron microscopy. The bottom gated field effect transistors fabricated using the as grown single crystals show n-type transistor behavior with a good on/off ratio of 10^6 under ambient condition. Our results presented here addresses the precursor vapor control during the CVD process and is a major step forward toward reproducible growth of MoS2 for future semiconductor device applications.


title: Localization in a $t$-$J$ type ladder with translational symmetry

abstract: An explicit $\textit{spatial}$ localization of a hole is shown in a two-leg $t$-$J$ ladder in the presence of a staggered chemical potential, which still retains a translational symmetry, by density matrix renormalization group method. Delocalization can be recovered in the following cases, where either the hidden phase string effect is turned off or a finite next-nearest-neighbor hopping $t'$ is added to sufficiently weaken the phase string effect. In addition, two holes are always delocalized by forming a mobile bound pair, in contrast to the localized single holes, which points to a novel pairing mechanism as one of the essential properties of a doped Mott insulator.


title: Existence of solutions of integral equations defined in unbounded domains via spectral theory

abstract: In this work we study integral equations defined on the whole real line. Using a suitable Banach space, we look for solutions which satisfy some certain kind of asymptotic behavior. We will consider spectral theory in order to find fixed points of the integral operator.


title: The case for shifting the Renyi Entropy

abstract: We introduce a variant of the R\'enyi entropy definition that aligns it with the well-known H\"older mean: in the new formulation, the r-th order R\'enyi Entropy is the logarithm of the inverse of the r-th order H\"older mean. This brings about new insights into the relationship of the R\'enyi entropy to quantities close to it, like the information potential and the partition function of statistical mechanics. We also provide expressions that allow us to calculate the R\'enyi entropies from the Shannon cross-entropy and the escort probabilities. Finally, we discuss why shifting the R\'enyi entropy is fruitful in some applications.


title: Some Moderate Deviations for Ewens-Pitman Sampling Model

abstract: Ewens-Pitman model has been successfully applied to various fields including Bayesian statistics. There are four important estimators $K_{n},M_{l,n}$,$K_{m}^{(n)},M_{l,m}^{(n)}$. In particular, $M_{1,n}, M_{1,m}^{(n)}$ are related to discovery probability. Their asymptotic behavior, such as large deviation principle, has already been discussed in [4],[1] and [2]. Moderate deviation principle is also discussed in [3] with some speed restriction. In this article, we will apply complex asymptotic analysis to show that this speed restriction is unnecessary.


title: The C-Band All-Sky Survey (C-BASS): Digital backend for the northern survey

abstract: The C-Band All-Sky Survey (C-BASS) is an all-sky full-polarization survey at a frequency of 5 GHz, designed to provide data complementary to the all-sky surveys of WMAP and Planck and future CMB B-mode polarization imaging surveys. We describe the design and performance of the digital backend used for the northern part of the survey. In particular we describe the features that efficiently implement the demodulation and filtering required to suppress contaminating signals in the time-ordered data, and the capability for real-time correction of detector non-linearity and receiver balance.


title: On Galois categories and perfectly reduced schemes

abstract: It turns out that one can read off facts about schemes up to universal homeomorphism from their Galois categories. Here we propose a first modest slate of entries in a dictionary between the geometric features of a perfectly reduced scheme (or morphism of such) and the categorical properties of its Galois category (or functor of such). The main thing that makes this possible is Schr\"oer's total separable closure.


title: Cooperation Enforcement and Collusion Resistance in Repeated Public Goods Games

abstract: Enforcing cooperation among substantial agents is one of the main objectives for multi-agent systems. However, due to the existence of inherent social dilemmas in many scenarios, the free-rider problem may arise during agents' long-run interactions and things become even severer when self-interested agents work in collusion with each other to get extra benefits. It is commonly accepted that in such social dilemmas, there exists no simple strategy for an agent whereby she can simultaneously manipulate on the utility of each of her opponents and further promote mutual cooperation among all agents. Here, we show that such strategies do exist. Under the conventional repeated public goods game, we novelly identify them and find that, when confronted with such strategies, a single opponent can maximize his utility only via global cooperation and any colluding alliance cannot get the upper hand. Since a full cooperation is individually optimal for any single opponent, a stable cooperation among all players can be achieved. Moreover, we experimentally show that these strategies can still promote cooperation even when the opponents are both self-learning and collusive.


title: Vectorized Character Counting for Faster Pattern Matching

abstract: Many modern sequence alignment tools implement fast string matching using the space efficient data structure called FM-index. The succinct nature of this data structure presents unique challenges for the algorithm designers. In this paper, we explore the opportunities for parallelization of the exact and inexact matches and present an efficient SIMD solution for the Occ portion of the algorithm. Our implementation computes all eight Occ values required for the inexact match algorithm step in a single pass. We showcase the algorithm performance in a multi-core genome aligner and discuss effects of the memory prefetch.


title: Machine Learning for Combinatorial Optimization: a Methodological Tour d'Horizon

abstract: This paper surveys the recent attempts, both from the machine learning and operations research communities, at leveraging machine learning to solve combinatorial optimization problems. Given the hard nature of these problems, state-of-the-art algorithms rely on handcrafted heuristics for making decisions that are otherwise too expensive to compute or mathematically not well defined. Thus, machine learning looks like a natural candidate to make such decisions in a more principled and optimized way. We advocate for pushing further the integration of machine learning and combinatorial optimization and detail a methodology to do so. A main point of the paper is seeing generic optimization problems as data points and inquiring what is the relevant distribution of problems to use for learning on a given task.


title: Charged scalar fields in a Kerr-Sen black hole: exact solutions, Hawking radiation, and resonant frequencies

abstract: In this study, we consider charged massive scalar fields around a Kerr-Sen spacetime. The radial and angular parts of the covariant Klein-Gordon equation are solved in terms of the confluent Heun function. From the exact radial solution, we obtain the Hawking radiation spectrum and discuss its resonant frequencies. The massless case of the resonant frequencies is also examined.


title: Non-Gaussian behavior of reflected fractional Brownian motion

abstract: A possible mechanism leading to anomalous diffusion is the presence of long-range correlations in time between the displacements of the particles. Fractional Brownian motion, a non-Markovian self-similar Gaussian process with stationary increments, is a prototypical model for this situation. Here, we extend the previous results found for unbiased reflected fractional Brownian motion [Phys. Rev. E 97, 020102(R) (2018)] to the biased case by means of Monte Carlo simulations and scaling arguments. We demonstrate that the interplay between the reflecting wall and the correlations leads to highly non-Gaussian probability densities of the particle position $x$ close to the reflecting wall. Specifically, the probability density $P(x)$ develops a power-law singularity $P \sim x^\kappa$ with $\kappa < 0$ if the correlations are positive (persistent) and $\kappa > 0$ if the correlations are negative (antipersistent). We also analyze the behavior of the large-$x$ tail of the stationary probability density reached for bias towards the wall, the average displacements of the walker, and the first-passage time, i.e., the time it takes for the walker reach position $x$ for the first time.


title: Application of machine learning techniques at BESIII experiment

abstract: BESIII is a currently running tau-charm factory with the largest samples of on threshold charm meson pairs, directly produced charmonia and some other unique datasets at BEPCII collider. Machine learning techniques have been employed to improve the performance of BESIII software. The studies for reweighing MC, particle identification and cluster reconstruction for the CGEM (Cylindrical Gas Electron Multiplier) inner tracker are presented.


title: On certain subclasses of analytic functions associated with Poisson distribution series

abstract: In this paper, we find the necessary and sufficient conditions, inclusion relations for Poisson distribution series $\mathcal{K}(m,z)=z+\sum_{n=2}^\infty \frac{m^{n-1}}{(n-1)!}e^{-m}z^{n}$ belonging to the subclasses $\mathcal{S}(k,\lambda )$ and $\mathcal{C}(k,\lambda )$ of analytic functions with negative coefficients. Further, we consider the integral operator $\mathcal{G}(m,z) = \int_0^z \frac{\mathcal{F}(m,\zeta)}{\zeta} d\zeta$ belonging to the above classes.


title: Observation of sub-kelvin superconductivity in Cd$_3$As$_2$ thin films

abstract: We report the first experimental observation of superconductivity in Cd$_3$As$_2$ thin films without application of external pressure. Surface studies suggest that the observed transport characteristics are related to the polycrystalline continuous part of investigated films with homogeneous distribution of elements and the Cd-to-As ratio close to stoichiometric Cd$_3$As$_2$. The latter is also supported by Raman spectra of the studied films, which are similar to those of Cd$_3$As$_2$ single crystals. The formation of superconducting phase in films under study is confirmed by the characteristic behavior of temperature and magnetic field dependence of samples resistances, as well as by the presence of pronounced zero-resistance plateaux in $dV/dI$ characteristics. The corresponding $H_c-T_c$ plots reveal a clearly pronounced linear behavior within the intermediate temperature range, similar to that observed for bulk Cd$_3$As$_2$ and Bi$_2$Se$_3$ films under pressure, suggesting the possibility of nontrivial pairing in the films under investigation. We discuss a possible role of sample inhomogeneities and crystal strains in the observed phenomena.


title: Gallai-Ramsey numbers for a class of graphs with five vertices

abstract: Given two graphs $G$ and $H$, the $k$-colored Gallai-Ramsey number $gr_k(G : H)$ is defined to be the minimum integer $n$ such that every $k$-coloring of the complete graph on $n$ vertices contains either a rainbow copy of $G$ or a monochromatic copy of $H$. In this paper, we consider $gr_k(K_3 : H)$ where $H$ is a connected graph with five vertices and at most six edges. There are in total thirteen graphs in this graph class, and the Gallai-Ramsey numbers for some of them have been studied step by step in several papers. We determine all the Gallai-Ramsey numbers for the remaining graphs, and we also obtain some related results for a class of unicyclic graphs.


title: Measuring Knowledge for Recognition and Knowledge Entropy

abstract: People employ their knowledge to recognize things. This paper is concerned with how to measure people's knowledge for recognition and how it changes. The discussion is based on three assumptions. Firstly, we construct two evolution process equations, of which one is for uncertainty and knowledge, and the other for uncertainty and ignorance. Secondly, by solving the equations, formulas for measuring the levels of knowledge and the levels of ignorance are obtained in two particular cases. Thirdly, a new concept of knowledge entropy is introduced. Its similarity with Boltzmann's entropy and its difference with Shannon's Entropy are examined. Finally, it is pointed out that the obtained formulas of knowledge and knowledge entropy reflect two fundamental principles: (1) The knowledge level of a group is not necessarily a simple sum of the individuals' knowledge levels; and (2) An individual's knowledge entropy never increases if the individual's thirst for knowledge never decreases.


title: Decays of Majorana or Andreev oscillations induced by steplike spin-orbit coupling

abstract: The Majorana zero mode in the semiconductor-superconductor nanowire is one of the promising candidates for topological quantum computing. Recently, in islands of nanowires, subgap-state energies have been experimentally observed to oscillate as a function of the magnetic field, showing a signature of overlapped Majorana bound states. However, the oscillation amplitude either dies away after an overshoot or decays, sharply opposite to the theoretically predicted enhanced oscillations for Majorana bound states. We reveal that a steplike distribution of spin-orbit coupling in realistic devices can induce the decaying Majorana oscillations, resulting from the coupling-induced energy repulsion between the quasiparticle spectra on the two sides of the step. This steplike spin-orbit coupling can also lead to decaying oscillations in the spectrum of the Andreev bound states. For Coulomb-blockade peaks mediated by the Majorana bound states, the peak spacings have been predicted to correlate with peak heights by a $\pi/2$ phase shift, which was ambiguous in recent experiments and may be explained by the steplike spin-orbit coupling. Our work will inspire more works to reexamine effects of the nonuniform spin-orbit coupling, which is generally present in experimental devices.


title: Forbidden rainbow subgraphs that force large monochromatic or multicolored k-connected subgraphs

abstract: Let $n, k, m$ be positive integers with $n\gg m\gg k$, and let $\mathcal{A}$ be the set of graphs $G$ of order at least 3 such that there is a $k$-connected monochromatic subgraph of order at least $n-f(G,k,m)$ in any rainbow $G$-free coloring of $K_n$ using all the $m$ colors. In this paper, we prove that the set $\mathcal{A}$ consists of precisely $P_6$, $P_3\cup P_4$, $K_2\cup P_5$, $K_2\cup 2P_3$, $2K_2\cup K_3$, $2K_2\cup P^{+}_4$, $3K_2\cup K_{1,3}$ and their subgraphs of order at least 3. Moreover, we show that for any graph $H\in \mathcal{A}$, if $n$ sufficiently larger than $m$ and $k$, then any rainbow $(P_3\cup H)$-free coloring of $K_n$ using all the $m$ colors contains a $k$-connected monochromatic subgraph of order at least $cn$, where $c=c(H)$ is a constant, not depending on $n$, $m$ or $k$. Furthermore, we consider a parallel problem in complete bipartite graphs. Let $s, t, k, m$ be positive integers with ${\rm min}\left\{s, t\right\}\gg m\gg k$ and $m\geq |E(H)|$, and let $\mathcal{B}$ be the set of bipartite graphs $H$ of order at least 3 such that there is a $k$-connected monochromatic subgraph of order at least $s+t-f(H,k,m)$ in any rainbow $H$-free coloring of $K_{s,t}$ using all the $m$ colors, where $f(H,k,m)$ is not depending on $s$ or $t$. We prove that the set $\mathcal{B}$ consists of precisely $2P_3$, $2K_2\cup K_{1,3}$ and their subgraphs of order at least 3. Finally, we consider the large $k$-connected multicolored subgraph instead of monochromatic subgraph. We show that for $1\leq k \leq 3$ and $n$ sufficiently large, every Gallai-3-coloring of $K_n$ contains a $k$-connected subgraph of order at least $n-\left\lfloor\frac{k-1}{2}\right\rfloor$ using at most two colors. We also show that the above statement is false for $k=4t$, where $t$ is an positive integer.


title: It Does Not Follow. Response to "Yes They Can! ..."

abstract: This a response to "Yes They Can! ..." (a comment on [5]) by J.S. Shaari et al. [9]. We show that the claims in the comment do not hold up and that all the conclusions obtained in [5] are correct. In particular, the two considered kinds of two-way communication protocols (ping-pong and LM05) under a quantum-man-in-the-middle (QMM) attack have neither a critical disturbance (D), nor a valid privacy amplification (PA) procedure, nor an unconditional security proof. However, we point out that there is another two-way protocol which does have a critical D and a valid PA and which is resistant to a QMM attack.


title: Empirical Effects of Dynamic Human-Body Blockage in 60 GHz Communications

abstract: The millimeter wave (mmWave) bands and other high frequencies above 6~GHz have emerged as a central component of Fifth-Generation (5G) cellular standards to deliver high data rates and ultra-low latency. A key challenge in these bands is blockage from obstacles, including the human body. In addition to the reduced coverage, blockage can result in highly intermittent links where the signal quality varies significantly with motion of obstacles in the environment. The blockages have widespread consequences throughout the protocol stack including beam tracking, link adaptation, cell selection, handover and congestion control. Accurately modeling these blockage dynamics is therefore critical for the development and evaluation of potential mmWave systems. In this work, we present a novel spatial dynamic channel sounding system based on phased array transmitters and receivers operating at 60 GHz. Importantly, the sounder can measure multiple directions rapidly at high speed to provide detailed spatial dynamic measurements of complex scenarios. The system is demonstrated in an indoor home-entertainment type setting with multiple moving blockers. Preliminary results are presented on analyzing this data with a discussion of the open issues towards developing statistical dynamic models.


title: Itinerant antiferromagnetic BaMn$_2$Pn$_2$'s showing both negative and positive magnetoresistances

abstract: We report the discovery of a novel giant magnetoresistance (GMR) phenomenon in a family of BaMn$_{2}$Pn$_{2}$ antiferromagnets (Pn stands for P, As, Sb, and Bi) with a parity-time symmetry. The resistivities of these materials are reduced by $60$ times in magnetic fields ($\vec{H}$'s), thus yielding the GMR of about $-98\%$. The GMR changes systematically along with the Pn elements, hinting that its origin is the spin orbit coupling (SOC) and/or $d$-$p$ orbital hybridization. A positive MR component emerging on top of the negative GMR at low temperatures suggests an orbital-sensitive magnetotransport as $\vec{H}$ suppresses the conduction of the electron-like carriers in the $d$-like band but enhances those of hole-like ones in the $d$-$p$ hybridized band. The anisotropy of the GMR reveals that the electrical conductivity is extremely sensitive to the minute changes in the direction of the antiferromagnetic moments induced by the parity-time breaking $\vec{H}$, which seems to be associated with a magnetoelectric effect in the dynamic regime of conduction electrons. We attribute the observed GMR to the non-trivial low energy band of BMPn's, which is governed by the parity-time symmetry and an magnetic hexadecapole ordering.


title: Self-similar solutions to the derivative nonlinear Schr\"odinger equation

abstract: A class of self-similar solutions to the derivative nonlinear Schr\"odinger equations is studied. Especially, the asymptotics of profile functions are shown to posses a logarithmic phase correction. This logarithmic phase correction is obtained from the nonlinear interaction of profile functions. This is a remarkable difference from the pseudo-conformally invariant case, where the logarithmic correction comes from the linear part of the equations of the profile functions.


title: Second-order cosmological perturbations. III. Produced by scalar-scalar coupling during radiation-dominated stage

abstract: We study the 2nd-order scalar, vector and tensor metric perturbations in Robertson-Walker (RW) spacetime in synchronous coordinates during the radiation dominated (RD) stage. The dominant radiation is modeled by a relativistic fluid described by a stress tensor $T_{\mu\nu}=(\rho+p)U_\mu U_\nu+g_{\mu\nu}p$ with $p= c^2_s \rho$, and the 1st-order velocity is assumed to be curlless. We analyze the solutions of 1st-order perturbations, upon which the solutions of 2nd-order perturbation are based. We show that the 1st-order tensor modes propagate at the speed of light and are truly radiative, but the scalar and vector modes do not. The 2nd-order perturbed Einstein equation contains various couplings of 1st-order metric perturbations, and the scalar-scalar coupling is considered in this paper. We decompose the 2nd-order Einstein equation into the evolution equations of 2nd-order scalar, vector, and tensor perturbations, and the energy and momentum constraints. The coupling terms and the stress tensor of the fluid together serve as the effective source for the 2nd-order metric perturbations. The equation of covariant conservation of stress tensor is also needed to determine $\rho$ and $U^\mu$. By solving this set of equations up to 2nd order analytically, we obtain the 2nd-order integral solutions of all the metric perturbations, density contrast and velocity. To use these solutions in applications, one needs to carry out seven types of the numerical integrals. We perform the residual gauge transformations between synchronous coordinates up to 2nd order, and identify the gauge-invariant modes of 2nd-order solutions.


title: Provenance-enabled Packet Path Tracing in the RPL-based Internet of Things

abstract: The interconnection of resource-constrained and globally accessible things with untrusted and unreliable Internet make them vulnerable to attacks including data forging, false data injection, and packet drop that affects applications with critical decision-making processes. For data trustworthiness, reliance on provenance is considered to be an effective mechanism that tracks both data acquisition and data transmission. However, provenance management for sensor networks introduces several challenges, such as low energy, bandwidth consumption, and efficient storage. This paper attempts to identify packet drop (either maliciously or due to network disruptions) and detect faulty or misbehaving nodes in the Routing Protocol for Low-Power and Lossy Networks (RPL) by following a bi-fold provenance-enabled packed path tracing (PPPT) approach. Firstly, a system-level ordered-provenance information encapsulates the data generating nodes and the forwarding nodes in the data packet. Secondly, to closely monitor the dropped packets, a node-level provenance in the form of the packet sequence number is enclosed as a routing entry in the routing table of each participating node. Lossless in nature, both approaches conserve the provenance size satisfying processing and storage requirements of IoT devices. Finally, we evaluate the efficacy of the proposed scheme with respect to provenance size, provenance generation time, and energy consumption.


title: Adaptive Full-Duplex Jamming Receiver for Secure D2D Links in Random Networks

abstract: Device-to-device (D2D) communication raises new transmission secrecy protection challenges, since conventional physical layer security approaches, such as multiple antennas and cooperation techniques, are invalid due to its resource/size constraints. The full-duplex (FD) jamming receiver, which radiates jamming signals to confuse eavesdroppers when receiving the desired signal simultaneously, is a promising candidate. Unlike existing endeavors that assume the FD jamming receiver always improves the secrecy performance compared with the half-duplex (HD) receiver, we show that this assumption highly depends on the instantaneous residual self-interference cancellation level and may be invalid. We propose an adaptive jamming receiver operating in a switched FD/HD mode for a D2D link in random networks. Subject to the secrecy outage probability constraint, we optimize the transceiver parameters, such as signal/jamming powers, secrecy rates and mode switch criteria, to maximize the secrecy throughput. Most of the optimization operations are taken off-line and only very limited on-line calculations are required to make the scheme with low complexity. Furthermore, some interesting insights are provided, such as the secrecy throughput is a quasi-concave function. Numerical results are demonstrated to verify our theoretical findings, and to show its superiority compared with the receiver operating in the FD or HD mode only.


title: Concept Learning through Deep Reinforcement Learning with Memory-Augmented Neural Networks

abstract: Deep neural networks have shown superior performance in many regimes to remember familiar patterns with large amounts of data. However, the standard supervised deep learning paradigm is still limited when facing the need to learn new concepts efficiently from scarce data. In this paper, we present a memory-augmented neural network which is motivated by the process of human concept learning. The training procedure, imitating the concept formation course of human, learns how to distinguish samples from different classes and aggregate samples of the same kind. In order to better utilize the advantages originated from the human behavior, we propose a sequential process, during which the network should decide how to remember each sample at every step. In this sequential process, a stable and interactive memory serves as an important module. We validate our model in some typical one-shot learning tasks and also an exploratory outlier detection problem. In all the experiments, our model gets highly competitive to reach or outperform those strong baselines.


title: Real-time Power System State Estimation and Forecasting via Deep Neural Networks

abstract: Contemporary power grids are being challenged by rapid voltage fluctuations that are caused by large-scale deployment of renewable generation, electric vehicles, and demand response programs. In this context, monitoring the grid's operating conditions in real time becomes increasingly critical. With the emergent large scale and nonconvexity however, the existing power system state estimation (PSSE) schemes become computationally expensive or yield suboptimal performance. To bypass these hurdles, this paper advocates deep neural networks (DNNs) for real-time power system monitoring. By unrolling an iterative physics-based prox-linear solver, a novel model-specific DNN is developed for real-time PSSE with affordable training and minimal tuning effort. To further enable system awareness even ahead of the time horizon, as well as to endow the DNN-based estimator with resilience, deep recurrent neural networks (RNNs) are also pursued for power system state forecasting. Deep RNNs leverage the long-term nonlinear dependencies present in the historical voltage time series to enable forecasting, and they are easy to implement. Numerical tests showcase improved performance of the proposed DNN-based estimation and forecasting approaches compared with existing alternatives. In real load data experiments on the IEEE 118-bus benchmark system, the novel model-specific DNN-based PSSE scheme outperforms nearly by an order-of-magnitude the competing alternatives, including the widely adopted Gauss-Newton PSSE solver.


title: Boosting Search Performance Using Query Variations

abstract: Rank fusion is a powerful technique that allows multiple sources of information to be combined into a single result set. However, to date fusion has not been regarded as being cost-effective in cases where strict per-query efficiency guarantees are required, such as in web search. In this work we propose a novel solution to rank fusion by splitting the computation into two parts -- one phase that is carried out offline to generate pre-computed centroid answers for queries with broadly similar information needs, and then a second online phase that uses the corresponding topic centroid to compute a result page for each query. We explore efficiency improvements to classic fusion algorithms whose costs can be amortized as a pre-processing step, and can then be combined with re-ranking approaches to dramatically improve effectiveness in multi-stage retrieval systems with little efficiency overhead at query time. Experimental results using the ClueWeb12B collection and the UQV100 query variations demonstrate that centroid-based approaches allow improved retrieval effectiveness at little or no loss in query throughput or latency, and with reasonable pre-processing requirements. We additionally show that queries that do not match any of the pre-computed clusters can be accurately identified and efficiently processed in our proposed ranking pipeline.


title: A numerical twist on the observational spin parameter, $\lambda_R$

abstract: A primary goal of integral field spectroscopic (IFS) surveys is to provide a statistical census of galaxies classified by their internal kinematics. As a result, the observational spin parameter, $\lambda_R$, has become one of the most popular methods of quantifying the relative importance of velocity dispersion and rotation in supporting a galaxy's inner structure. The goal of this paper is to examine the relationship between the observationally deduced $\lambda_R$ and one of the most commonly used theoretical spin parameters in the literature, the Bullock et al. (2001) $\lambda'$. Using a set of $N$-body realisations of galaxies from which we construct mock IFS observations, we measure $\lambda_R$ as an observer would, incorporating the effects of beam smearing and seeing conditions. Assuming parameters typical of current IFS surveys, we confirm that there are strong positive correlations between $\lambda_R$ and measurement radius, and strong negative correlations between $\lambda_R$ and size of the PSF, for late-type galaxies; these biases can be reduced using a recently proposed empirical correction. Once observational biases are corrected for, we find that $\lambda_R$ provides a good approximation to $\sim \sqrt{3}/2 \; \lambda'(\rm R_{\rm eff})$, where $\lambda'$ is evaluated for the galactic stellar component within 1 R$_{\rm eff}$.


title: Pure-Exploration for Infinite-Armed Bandits with General Arm Reservoirs

abstract: This paper considers a multi-armed bandit game where the number of arms is much larger than the maximum budget and is effectively infinite. We characterize necessary and sufficient conditions on the total budget for an algorithm to return an {\epsilon}-good arm with probability at least 1 - {\delta}. In such situations, the sample complexity depends on {\epsilon}, {\delta} and the so-called reservoir distribution {\nu} from which the means of the arms are drawn iid. While a substantial literature has developed around analyzing specific cases of {\nu} such as the beta distribution, our analysis makes no assumption about the form of {\nu}. Our algorithm is based on successive halving with the surprising exception that arms start to be discarded after just a single pull, requiring an analysis that goes beyond concentration alone. The provable correctness of this algorithm also provides an explanation for the empirical observation that the most aggressive bracket of the Hyperband algorithm of Li et al. (2017) for hyperparameter tuning is almost always best.


title: Effect Handling for Composable Program Transformations in Edward2

abstract: Algebraic effects and handlers have emerged in the programming languages community as a convenient, modular abstraction for controlling computational effects. They have found several applications including concurrent programming, meta programming, and more recently, probabilistic programming, as part of Pyro's Poutines library. We investigate the use of effect handlers as a lightweight abstraction for implementing probabilistic programming languages (PPLs). We interpret the existing design of Edward2 as an accidental implementation of an effect-handling mechanism, and extend that design to support nested, composable transformations. We demonstrate that this enables straightforward implementation of sophisticated model transformations and inference algorithms.


title: Orthogonal Policy Gradient and Autonomous Driving Application

abstract: One less addressed issue of deep reinforcement learning is the lack of generalization capability based on new state and new target, for complex tasks, it is necessary to give the correct strategy and evaluate all possible actions for current state. Fortunately, deep reinforcement learning has enabled enormous progress in both subproblems: giving the correct strategy and evaluating all actions based on the state. In this paper we present an approach called orthogonal policy gradient descent(OPGD) that can make agent learn the policy gradient based on the current state and the actions set, by which the agent can learn a policy network with generalization capability. we evaluate the proposed method on the 3D autonomous driving enviroment TORCS compared with the baseline model, detailed analyses of experimental results and proofs are also given.


title: Depth Prediction Without the Sensors: Leveraging Structure for Unsupervised Learning from Monocular Videos

abstract: Learning to predict scene depth from RGB inputs is a challenging task both for indoor and outdoor robot navigation. In this work we address unsupervised learning of scene depth and robot ego-motion where supervision is provided by monocular videos, as cameras are the cheapest, least restrictive and most ubiquitous sensor for robotics. Previous work in unsupervised image-to-depth learning has established strong baselines in the domain. We propose a novel approach which produces higher quality results, is able to model moving objects and is shown to transfer across data domains, e.g. from outdoors to indoor scenes. The main idea is to introduce geometric structure in the learning process, by modeling the scene and the individual objects; camera ego-motion and object motions are learned from monocular videos as input. Furthermore an online refinement method is introduced to adapt learning on the fly to unknown domains. The proposed approach outperforms all state-of-the-art approaches, including those that handle motion e.g. through learned flow. Our results are comparable in quality to the ones which used stereo as supervision and significantly improve depth prediction on scenes and datasets which contain a lot of object motion. The approach is of practical relevance, as it allows transfer across environments, by transferring models trained on data collected for robot navigation in urban scenes to indoor navigation settings. The code associated with this paper can be found at https://sites.google.com/view/struct2depth.


title: Global Stability of Boltzmann Equation with Large External Potential for a Class of Large Oscillation Data

abstract: In this paper, we investigate the stability of Boltzmann equation with large external potential in $\mathbb{T}^3$. For a class of initial data with large oscillations in $L^\infty_{x,v}$ around the local Maxwellian, we prove the existence of a global solution to the Boltzmann equation provided the initial perturbation is suitably small in $L^2$-norm. The large time behavior of the Boltzmann solution with exponential decay rate is also obtained. This seems to be the first result on the perturbation theory of large-amplitude non-constant equilibriums for large-amplitude initial data.


title: On the breakdown of solutions to the incompressible Euler equations with free surface boundary

abstract: We prove a continuation critereon for incompressible liquids with free surface boundary. We combine the energy estimates of Christodoulou and Lindblad with an analog of the estimate due to Beale, Kato, and Majda for the gradient of the velocity in terms of the vorticity, and use this to show solution can be continued so long as the second fundamental form and injectivity radius of the free boundary, the vorticity, and one derivative of the velocity on the free boundary remain bounded, assuming that the Taylor sign condition holds.


title: A study of cops and robbers in oriented graphs

abstract: We consider the well-studied cops and robbers game in the context of oriented graphs, which has received surprisingly little attention to date. We examine the relationship between the cop numbers of an oriented graph and its underlying undirected graph, giving a surprising result that there exists at least one graph $G$ for which every strongly connected orientation of $G$ has cop number strictly less than that of $G$. We also refute a conjecture on the structure of cop-win digraphs, study orientations of outerplanar graphs, and study the cop number of line digraphs. Finally, we consider some the aspects of optimal play, in particular the capture time of cop-win digraphs and properties of the relative positions of the cop(s) and robber.


title: Exploiting Sentence Embedding for Medical Question Answering

abstract: Despite the great success of word embedding, sentence embedding remains a not-well-solved problem. In this paper, we present a supervised learning framework to exploit sentence embedding for the medical question answering task. The learning framework consists of two main parts: 1) a sentence embedding producing module, and 2) a scoring module. The former is developed with contextual self-attention and multi-scale techniques to encode a sentence into an embedding tensor. This module is shortly called Contextual self-Attention Multi-scale Sentence Embedding (CAMSE). The latter employs two scoring strategies: Semantic Matching Scoring (SMS) and Semantic Association Scoring (SAS). SMS measures similarity while SAS captures association between sentence pairs: a medical question concatenated with a candidate choice, and a piece of corresponding supportive evidence. The proposed framework is examined by two Medical Question Answering(MedicalQA) datasets which are collected from real-world applications: medical exam and clinical diagnosis based on electronic medical records (EMR). The comparison results show that our proposed framework achieved significant improvements compared to competitive baseline approaches. Additionally, a series of controlled experiments are also conducted to illustrate that the multi-scale strategy and the contextual self-attention layer play important roles for producing effective sentence embedding, and the two kinds of scoring strategies are highly complementary to each other for question answering problems.


title: Perspectives on Astrophysics Based on Atomic, Molecular, and Optical (AMO) Techniques

abstract: About two generations ago, a large part of AMO science was dominated by experimental high energy collision studies and perturbative theoretical methods. Since then, AMO science has undergone a transition and is now dominated by quantum, ultracold, and ultrafast studies. But in the process, the field has passed over the complexity that lies between these two extremes. Most of the Universe resides in this intermediate region. We put forward that the next frontier for AMO science is to explore the AMO complexity that describes most of the Cosmos.

categories: physics.atom-ph astro-ph.IM physics.app-ph physics.chem-ph physics.comp-ph


title: Regularity of inverse mean curvature flow in asymptotically hyperbolic manifolds with dimension $3$

abstract: By making use of the nice behavior of Hawking masses of slices of a weak solution of inverse mean curvature flow in three dimensional asymptotically hyperbolic manifolds, we are able to show that each slice of the flow is star-shaped after a long time, and then we get the regularity of the weak solution of inverse mean curvature flow in asymptotically hyperbolic manifolds. As an application, we prove that the limit of Hawking mass of the slices of a weak solution of inverse mean curvature flow with any connected $C^2$-smooth surface as initial data in asymptotically ADS-Schwarzschild manifolds with positive mass is bigger than or equal to the total mass, which is completely different from the situation in asymptotically flat case.


title: Understanding the energy resolution of liquid argon neutrino detectors

abstract: Available estimates for the energy resolution of DUNE vary by as much as a factor of four. To address this controversy, and to connect the resolution to the underlying physical processes, we build an independent simulation pipeline for neutrino events in liquid argon, combining the public tools GENIE and FLUKA. Using this pipeline, we first characterize the channels of non-hermeticity of DUNE, including subthreshold particles, charge recombination, and nuclear breakup. Particular attention is paid to the role of neutrons, which are responsible for a large fraction of missing energy in all channels. Next, we determine energy resolution, by quantifying event-to-event stochastic fluctuations in missing energy. This is done for several sets of assumptions about the reconstruction performance, including those available in the literature. The resulting migration matrices, connecting true and reconstructed neutrino energies, are presented. Finally, we quantify the impact of different improvements on the experimental performance. For example, we show that dropping particle identification information degrades the resolution by a factor of two, while omitting charge deposits from de-excitation gammas worsens it by about 25%. In the future, this framework can be used to assess the impact of cross section uncertainties on the oscillation sensitivity.


title: Intersecting Families of Perfect Matchings

abstract: A family of perfect matchings of $K_{2n}$ is $t$-$intersecting$ if any two members share $t$ or more edges. We prove for any $t \in \mathbb{N}$ that every $t$-intersecting family of perfect matchings has size no greater than $(2(n-t) - 1)!!$ for sufficiently large $n$, and that equality holds if and only if the family is composed of all perfect matchings that contain a fixed set of $t$ disjoint edges. This is an asymptotic version of a conjecture of Godsil and Meagher that can be seen as the non-bipartite analogue of the Deza-Frankl conjecture proven by Ellis, Friedgut, and Pilpel.


title: Existence of mass-conserving weak solutions to the singular coagulation equation with multiple fragmentation

abstract: In this paper we study the continuous coagulation and multiple fragmentation equation for the mean-field description of a system of particles taking into account the combined effect of the coagulation and the fragmentation processes in which a system of particles growing by successive mergers to form a bigger one and a larger particle splits into a finite number of smaller pieces. We demonstrate the global existence of mass-conserving weak solutions for a wide class of coagulation rate, selection rate and breakage function. Here, both the breakage function and the coagulation rate may have algebraic singularity on both the coordinate axes. The proof of the existence result is based on a weak L^1 compactness method for two different suitable approximations to the original problem, i.e. the conservative and non-conservative approximations. Moreover, the mass-conservation property of solutions is established for both approximations.


title: Plan Interdiction Games

abstract: We propose a framework for cyber risk assessment and mitigation which models attackers as formal planners and defenders as interdicting such plans. We illustrate the value of plan interdiction problems by first modeling network cyber risk through the use of formal planning, and subsequently formalizing an important question of prioritizing vulnerabilities for patching in the plan interdiction framework. In particular, we show that selectively patching relatively few vulnerabilities allows a network administrator to significantly reduce exposure to cyber risk. More broadly, we have developed a number of scalable approaches for plan interdiction problems, making especially significant advances when attack plans involve uncertainty about system dynamics. However, important open problems remain, including how to effectively capture information asymmetry between the attacker and defender, how to best model dynamics in the attacker-defender interaction, and how to develop scalable algorithms for solving associated plan interdiction games.


title: Recurrent approach to effective material properties with application to anisotropic binarized random fields

abstract: Building on the foundation work of Brown, Milton and Torquato, we present a tractable approach to analyse the effective permittivity of anisotropic two-phase structures. This methodology accounts for successive dipolar interactions, providing a recurrent series expansion of the effective permittivity to arbitrary order. Within this framework, we also demonstrate a progressive method to determine tight bounds that converge towards the exact solution. We illustrate the utility of these methods by using ensemble averaging to determine the micro-structural parameters of anisotropic level-cut Gaussian fields. We find that the depolarization factor of these structures is equivalent to that of an isolated ellipse with the same stretchingratio, and discuss the contribution of the fourth order term to the exact anisotropy.


title: Pauli rearrangement potential for a scattering state with the interaction in chiral effective field theory

abstract: The Pauli rearrangement potential given by the second-order diagram is evaluated for a nucleon optical model potential (OMP) with $G$ matrices of the nucleon-nucleon interaction in chiral effective field theory. The results obtained in nuclear matter are applied for $^{40}$Ca in a local-density approximation. The repulsive effect is of the order of 5MeV at the normal density. The density dependence indicates that the real part of the microscopic OMP becomes shallower in a central region, but is barely affected in a surface area. This improves the overall resemblance of the microscopic OMP to the empirical one.


title: Improving Skin Condition Classification with a Question Answering Model

abstract: We present a skin condition classification methodology based on a sequential pipeline of a pre-trained Convolutional Neural Network (CNN) and a Question Answering (QA) model. This method enables us to not only increase the classification confidence and accuracy of the deployed CNN system, but also enables the emulation of the conventional approach of doctors asking the relevant questions in refining the ultimate diagnosis and differential. By combining the CNN output in the form of classification probabilities as a prior to the QA model and the image textual description, we greedily ask the best symptom that maximizes the information gain over symptoms. We demonstrate that combining the QA model with the CNN increases the accuracy up to 10% as compared to the CNN alone, and more than 30% as compared to the QA model alone.


title: Tiyuntsong: A Self-Play Reinforcement Learning Approach for ABR Video Streaming

abstract: Existing reinforcement learning~(RL)-based adaptive bitrate~(ABR) approaches outperform the previous fixed control rules based methods by improving the Quality of Experience~(QoE) score, as the QoE metric can hardly provide clear guidance for optimization, finally resulting in the unexpected strategies. In this paper, we propose \emph{Tiyuntsong}, a self-play reinforcement learning approach with generative adversarial network~(GAN)-based method for ABR video streaming. Tiyuntsong learns strategies automatically by training two agents who are competing against each other. Note that the competition results are determined by a set of rules rather than a numerical QoE score that allows clearer optimization objectives. Meanwhile, we propose GAN Enhancement Module to extract hidden features from the past status for preserving the information without the limitations of sequence lengths. Using testbed experiments, we show that the utilization of GAN significantly improves the Tiyuntsong's performance. By comparing the performance of ABRs, we observe that Tiyuntsong also betters existing ABR algorithms in the underlying metrics.


title: Simulating Z_2 topological insulators via a one-dimensional cavity optomechanical cells array

abstract: We propose a novel scheme to simulate Z_2 topological insulators via one-dimensional (1D) cavity optomechanical cells array. The direct mapping between 1D cavity optomechanical cells array and 2D quantum spin Hall (QSH) system can be achieved by using diagonalization and dimensional reduction methods. We show that the topological features of the present model can be captured using a 1D generalized Harper equation with an additional SU(2) guage structure. Interestingly, spin pumping of effective photon-phonon bosons can be naturally derived after scanning the additional periodic parameter, which means that we can realize the transition between different QSH edge states.


title: Two quasi-local masses evaluated on surfaces with boundary

abstract: We study Hawking mass and the Huisken's isoperimetric mass evaluated on surfaces with boundary. The convergence to an ADM mass defined on asymptotically flat manifold with a non-compact boundary are proved.


title: Lackadaisical quantum walk for spatial search

abstract: Lackadaisical quantum walk(LQW) has been an efficient technique in searching a target state from a database which is distributed on a two-dimensional lattice. We numerically study the quantum search algorithm based on the lackadaisical quantum walk on one- and two-dimensions. It is observed that specific values of the self-loop weight at each vertex of the graph is responsible for such speedup of the algorithm. Searching for a target state on one-dimensional lattice with periodic boundary conditions is possible using lackadaisical quantum walk, which can find a target state with $\mathcal{O}(1)$ success probability after $\mathcal{O} \left( N \right)$ time steps. In two-dimensions, our numerical simulation upto $M=6$ suggests that lackadaisical quantum walk can search one of the $M$ target states in $\mathcal{O}\left(\sqrt{\frac{N}{M}\log \frac{N}{M}}\right)$ time steps.


title: Scheme and Experimental Demonstration of Fully Atomic Weak Value Amplification

abstract: In this paper, we explore the possibilities of realizing weak value amplification (WVA) using purely atomic degrees of freedom. Our scheme identifies the internal electronic states and external motional states of a single trapped $^{40}$Ca$^+$ ion as the system degree and pointer degree respectively, and their controllable weak coupling is provided by a bichromatic light field. In our experimental demonstration, by performing appropriate postselection on the internal states, a position displacement of 4 angstroms (in phase space) of the trapped ion is amplified to 10 nanometers. The sensitivity of the amplification effect to the relative phase of the quantum state is also demonstrated. The high operational flexibility of this procedure allows fully exploration of the peculiarities of WVA.


title: Amplitude-modulation-based atom-mirror entanglement and mechanical squeezing in a hybrid optomechanical system

abstract: We consider a hybrid optomechanical system which is composed of the atomic ensemble and a standard optomechanical cavity driven by the periodically modulated external laser field. We investigate the asymptotic behaviors of Heisenberg operator first moments and clearly show the approaching process between the exact numerical results and analytical solutions. Based on the specific modulation forms of external driving and effective optomechanical coupling, we discuss in detail the atom-mirror entanglement enhancement, respectively. Compared with the constant driving regime, the entanglement can be greatly enhanced with more loose cavity decay rate and is more resistant to the thermal fluctuations of the mechanical bath. The desired form of periodically modulated effective optomechanical coupling can be precisely engineered by the external driving modulation components which can be derived analytically via Laplace transform. Meanwhile, resorting to the quantum interference mechanism caused by atomic ensemble and modulating the external driving appropriately, the mechanical squeezing induced by the periodic modulation can be generated successfully in the unresolved regime.


title: The autoregression bootstrap for kernel estimates of smooth nonlinear functional time series

abstract: Functional times series have become an integral part of both functional data and time series analysis. This paper deals with the functional autoregressive model of order 1 and the autoregression bootstrap for smooth functions. The regression operator is estimated in the framework developed by Ferraty and Vieu [2004] and Ferraty et al. [2007] which is here extended to the double functional case under an assumption of stationary ergodic data which dates back to Laib and Louani [2010]. The main result of this article is the characterization of the asymptotic consistency of the bootstrapped regression operator.


title: Leveraging Financial News for Stock Trend Prediction with Attention-Based Recurrent Neural Network

abstract: Stock market prediction is one of the most attractive research topic since the successful prediction on the market's future movement leads to significant profit. Traditional short term stock market predictions are usually based on the analysis of historical market data, such as stock prices, moving averages or daily returns. However, financial news also contains useful information on public companies and the market. Existing methods in finance literature exploit sentiment signal features, which are limited by not considering factors such as events and the news context. We address this issue by leveraging deep neural models to extract rich semantic features from news text. In particular, a Bidirectional-LSTM are used to encode the news text and capture the context information, self attention mechanism are applied to distribute attention on most relative words, news and days. In terms of predicting directional changes in both Standard & Poor's 500 index and individual companies stock price, we show that this technique is competitive with other state of the art approaches, demonstrating the effectiveness of recent NLP technology advances for computational finance.


title: On Central Binomial Series Related to Zeta(4)

abstract: In this paper, we prove two related central binomial series identities: $B(4)=\sum_{n \geq 0} \frac{\binom{2n}n}{2^{4n}(2n+1)^3}=\frac{7 \pi^3}{216}$ and $C(4)=\sum_{n \in \mathbb{N}} \frac{1}{n^4 \binom{2n}n}=\frac{17 \pi^4}{3240}.$ Both series resist all the standard approaches used to evaluate other well-known series. To prove the first series identity, we will evaluate a log-sine integral that is equal to $B(4).$ Evaluating this log-sine integral will lead us to computing closed forms of polylogarithms evaluated at certain complex exponentials. To prove the second identity, we will evaluate a double integral that is equal to $C(4).$ Evaluating this double integral will lead us to computing several polylogarithmic integrals, one of which has a closed form that is a linear combination of $B(4)$ and $C(4).$ After proving these series identities, we evaluate several challenging logarithmic and polylogarithmic integrals, whose evaluations involve surprising appearances of integral representations of $B(4)$ and $C(4).$ We also provide an insight into the generalization of a modern double integral proof of Euler's celebrated identity $\sum_{n \in \mathbb{N}} \frac{1}{n^2}=\frac{\pi^2}{6},$ in which we encounter an integral representation of $C(4).$


title: Homotopy structures of smooth CW complexes

abstract: In this paper we present the notion of smooth CW complexes given by attaching cubes on the category of diffeological spaces, and we study their smooth homotopy structures related to the homotopy extension property.


title: Atomic Bell measurement via two-photon interactions

abstract: We introduce a complete Bell measurement on atomic qubits based on two photon interactions with optical cavities and discrimination of coherent states of light. The dynamical system is described by the Dicke model for two three-level atoms interacting in two-photon resonance with a single-mode of the radiation field, which is known to effectively generate a non-linear two-photon interaction between the field and two states of each atom. For initial coherent states with large mean photon number, the field state is well represented by two coherent states at half revival time. For certain product states of the atoms, we prove the coherent generation of GHZ states with two atomic qubits and two orthogonal Schr\"odinger cat states as a third qubit. For arbitrary atomic states, we show that discriminating the two states of the field corresponds to different operations in the Bell basis of the atoms. By repeating this process with a second cavity with a dephased coherent state, we demonstrate the implementation of a complete Bell measurement. Experimental feasibility of our protocols is discussed for cavity-QED, circuit-QED and trapped ions setups.


title: FermiSurfer: Fermi-surface viewer providing multiple representation schemes

abstract: FermiSurfer is a newly developed Fermi-surface viewer designed to facilitate the understanding of the physical properties of metals. It can display the Fermi surfaces of a material, color plots of arbitrary $k$-dependent quantities, the Fermi surface at arbitrary cross sections (Fermi lines), cross- or parallel- eye three-dimensional stereogram views, nodal lines, extremal orbits, and highlight the occupied or empty side of the Fermi surface. In addition, various first-principles software packages can produce input for FermiSurfer. This paper explains how to use FermiSurfer and demonstrates its usefulness by investigating the origin of the anisotropic superconductivity of YNi$_2$B$_2$C.


title: Monochromatic Schur triples in randomly perturbed dense sets of integers

abstract: Given a dense subset $A$ of the first $n$ positive integers, we provide a short proof showing that for $p=\omega(n^{-2/3})$ the so-called {\sl randomly perturbed} set $A \cup [n]_p$ a.a.s. has the property that any $2$-colouring of it has a monochromatic Schur triple, i.e.\ a triple of the form $(a,b,a+b)$. This result is optimal since there are dense sets $A$, for which $A\cup [n]_p$ does not possess this property for $p=o(n^{-2/3})$.


title: Implementing a Portable Clinical NLP System with a Common Data Model - a Lisp Perspective

abstract: This paper presents a Lisp architecture for a portable NLP system, termed LAPNLP, for processing clinical notes. LAPNLP integrates multiple standard, customized and in-house developed NLP tools. Our system facilitates portability across different institutions and data systems by incorporating an enriched Common Data Model (CDM) to standardize necessary data elements. It utilizes UMLS to perform domain adaptation when integrating generic domain NLP tools. It also features stand-off annotations that are specified by positional reference to the original document. We built an interval tree based search engine to efficiently query and retrieve the stand-off annotations by specifying positional requirements. We also developed a utility to convert an inline annotation format to stand-off annotations to enable the reuse of clinical text datasets with inline annotations. We experimented with our system on several NLP facilitated tasks including computational phenotyping for lymphoma patients and semantic relation extraction for clinical notes. These experiments showcased the broader applicability and utility of LAPNLP.


title: A q-analogue and a symmetric function analogue of a result by Carlitz, Scoville and Vaughan

abstract: We derive an equation that is analogous to a well-known symmetric function identity: $\sum_{i=0}^n(-1)^ie_ih_{n-i}=0$. Here the elementary symmetric function $e_i$ is the Frobenius characteristic of the representation of $\mathcal{S}_i$ on the top homology of the subset lattice $B_i$, whereas our identity involves the representation of $\mathcal{S}_n\times \mathcal{S}_n$ on the Segre product of $B_n$ with itself. We then obtain a q-analogue of a polynomial identity given by Carlitz, Scoville and Vaughan through examining the Segre product of the subspace lattice $B_n(q)$ with itself. We recognize the connection between the Euler characteristic of the Segre product of $B_n(q)$ with itself and the representation on the Segre product of $B_n$ with itself by recovering our polynomial identity from specializing the identity on the representation of $\mathcal{S}_i\times \mathcal{S}_i$.


title: Phase retrieval for Bragg coherent diffraction imaging at high X-ray energies

abstract: Coherent X-ray beams with energies $\geq 50$ keV can potentially enable three-dimensional imaging of atomic lattice distortion fields within individual crystallites in bulk polycrystalline materials through Bragg coherent diffraction imaging (BCDI). However, the undersampling of the diffraction signal due to Fourier space compression at high X-ray energies renders conventional phase retrieval algorithms unsuitable for three-dimensional reconstruction. To address this problem we utilize a phase retrieval method with a Fourier constraint specifically tailored for undersampled diffraction data measured with coarse-pitched detector pixels that bin the underlying signal. With our approach, we show that it is possible to reconstruct three-dimensional strained crystallites from an undersampled Bragg diffraction data set subject to pixel-area integration without having to physically upsample the diffraction signal. Using simulations and experimental results, we demonstrate that explicit modeling of Fourier space compression during phase retrieval provides a viable means by which to invert high-energy BCDI data, which is otherwise intractable.