title: The Lattice of One-Sided Congruences on an Inverse Semigroup

abstract: We build on the description of left congruences on an inverse semigroup in terms of the kernel and trace due to Petrich and Rankin. The notion of an inverse kernel for a left congruence is developed. Various properties of both the trace and inverse-kernel are discussed, in particular that both the trace and inverse-kernel maps are onto $\cap$-homomorphisms. The lattice of left congruences is identified as a subset of the direct product of the lattice of congruences on the idempotents and the lattice of full inverse subsemigroups. We use this to describe the lattice of left congruences on the bicyclic monoid. It is shown that that every finitely generated left congruence is the join of a finitely generated trace minimal left congruence and a finitely generated idempotent separating left congruence. Characterisations of inverse semigroups that are left Noetherian, or such that the universal congruence is finitely generated, are given.


title: Theoretical justification and error analysis for slender body theory with free ends

abstract: Slender body theory is a commonly used approximation in computational models of thin fibers in viscous fluids, especially in simulating the motion of cilia or flagella in swimming microorganisms. In [23], we developed a PDE framework for analyzing the error introduced by the slender body approximation for closed-loop fibers with constant radius $\epsilon$, and showed that the difference between our closed-loop PDE solution and the slender body approximation is bounded by an expression proportional to $\epsilon|\log\epsilon|$. Here we extend the slender body PDE framework to the free endpoint setting, which is more physically relevant from a modeling standpoint but more technically demanding than the closed loop analysis. The main new difficulties arising in the free endpoint setting are defining the endpoint geometry, identifying the extent of the 1D slender body force density, and determining how the well-posedness constants depend on the non-constant fiber radius. Given a slender fiber satisfying certain geometric constraints at the filament endpoints and a one-dimensional force density satisfying an endpoint decay condition, we show a bound for the difference between the solution to the slender body PDE and the slender body approximation in the free endpoint setting. The bound is a sum of the same $\epsilon|\log\epsilon|$ term appearing in the closed loop setting and an endpoint term proportional to $\epsilon$, where $\epsilon$ is now the maximum fiber radius.


title: Improving SGD convergence by online linear regression of gradients in multiple statistically relevant directions

abstract: Deep neural networks are usually trained with stochastic gradient descent (SGD), which minimizes objective function using very rough approximations of gradient, only averaging to the real gradient. Standard approaches like momentum or ADAM only consider a single direction, and do not try to model distance from extremum - neglecting valuable information from calculated sequence of gradients, often stagnating in some suboptimal plateau. Second order methods could exploit these missed opportunities, however, beside suffering from very large cost and numerical instabilities, many of them attract to suboptimal points like saddles due to negligence of signs of curvatures (as eigenvalues of Hessian). Saddle-free Newton method is a rare example of addressing this issue - changes saddle attraction into repulsion, and was shown to provide essential improvement for final value this way. However, it neglects noise while modelling second order behavior, focuses on Krylov subspace for numerical reasons, and requires costly eigendecomposion. Maintaining SFN advantages, there are proposed inexpensive ways for exploiting these opportunities. Second order behavior is linear dependence of first derivative - we can optimally estimate it from sequence of noisy gradients with least square linear regression, in online setting here: with weakening weights of old gradients. Statistically relevant subspace is suggested by PCA of recent noisy gradients - in online setting it can be made by slowly rotating considered directions toward new gradients, gradually replacing old directions with recent statistically relevant. Eigendecomposition can be also performed online: with regularly performed step of QR method to maintain diagonal Hessian. Outside the second order modeled subspace we can simultaneously perform gradient descent.


title: Effect of Various Regularizers on Model Complexities of Neural Networks in Presence of Input Noise

abstract: Deep neural networks are over-parameterized, which implies that the number of parameters are much larger than the number of samples used to train the network. Even in such a regime deep architectures do not overfit. This phenomenon is an active area of research and many theories have been proposed trying to understand this peculiar observation. These include the Vapnik Chervonenkis (VC) dimension bounds and Rademacher complexity bounds which show that the capacity of the network is characterized by the norm of weights rather than the number of parameters. However, the effect of input noise on these measures for shallow and deep architectures has not been studied. In this paper, we analyze the effects of various regularization schemes on the complexity of a neural network which we characterize with the loss, $L_2$ norm of the weights, Rademacher complexities (Directly Approximately Regularizing Complexity-DARC1), VC dimension based Low Complexity Neural Network (LCNN) when subject to varying degrees of Gaussian input noise. We show that $L_2$ regularization leads to a simpler hypothesis class and better generalization followed by DARC1 regularizer, both for shallow as well as deeper architectures. Jacobian regularizer works well for shallow architectures with high level of input noises. Spectral normalization attains highest test set accuracies both for shallow and deeper architectures. We also show that Dropout alone does not perform well in presence of input noise. Finally, we show that deeper architectures are robust to input noise as opposed to their shallow counterparts.


title: Funnelling: A New Ensemble Method for Heterogeneous Transfer Learning and its Application to Cross-Lingual Text Classification

abstract: Cross-lingual Text Classification (CLC) consists of automatically classifying, according to a common set C of classes, documents each written in one of a set of languages L, and doing so more accurately than when naively classifying each document via its corresponding language-specific classifier. In order to obtain an increase in the classification accuracy for a given language, the system thus needs to also leverage the training examples written in the other languages. We tackle multilabel CLC via funnelling, a new ensemble learning method that we propose here. Funnelling consists of generating a two-tier classification system where all documents, irrespectively of language, are classified by the same (2nd-tier) classifier. For this classifier all documents are represented in a common, language-independent feature space consisting of the posterior probabilities generated by 1st-tier, language-dependent classifiers. This allows the classification of all test documents, of any language, to benefit from the information present in all training documents, of any language. We present substantial experiments, run on publicly available multilingual text collections, in which funnelling is shown to significantly outperform a number of state-of-the-art baselines. All code and datasets (in vector form) are made publicly available.


title: Some new Stein operators for product distributions

abstract: We provide a general result for finding Stein operators for the product of two independent random variables whose Stein operators satisfy a certain assumption, extending a recent result of Gaunt, Mijoule and Swan \cite{gms18}. This framework applies to non-centered normal and non-centered gamma random variables, as well as a general sub-family of the variance-gamma distributions. Curiously, there is an increase in complexity in the Stein operators for products of independent normals as one moves, for example, from centered to non-centered normals. As applications, we give a simple derivation of the characteristic function of the product of independent normals, and provide insight into why the probability density function of this distribution is much more complicated in the non-centered case than the centered case.


title: GEOMetrics: Exploiting Geometric Structure for Graph-Encoded Objects

abstract: Mesh models are a promising approach for encoding the structure of 3D objects. Current mesh reconstruction systems predict uniformly distributed vertex locations of a predetermined graph through a series of graph convolutions, leading to compromises with respect to performance or resolution. In this paper, we argue that the graph representation of geometric objects allows for additional structure, which should be leveraged for enhanced reconstruction. Thus, we propose a system which properly benefits from the advantages of the geometric structure of graph encoded objects by introducing (1) a graph convolutional update preserving vertex information; (2) an adaptive splitting heuristic allowing detail to emerge; and (3) a training objective operating both on the local surfaces defined by vertices as well as the global structure defined by the mesh. Our proposed method is evaluated on the task of 3D object reconstruction from images with the ShapeNet dataset, where we demonstrate state of the art performance, both visually and numerically, while having far smaller space requirements by generating adaptive meshes


title: Exploring the context of recurrent neural network based conversational agents

abstract: Conversational agents have begun to rise both in the academic (in terms of research) and commercial (in terms of applications) world. This paper investigates the task of building a non-goal driven conversational agent, using neural network generative models and analyzes how the conversation context is handled. It compares a simpler Encoder-Decoder with a Hierarchical Recurrent Encoder-Decoder architecture, which includes an additional module to model the context of the conversation using previous utterances information. We found that the hierarchical model was able to extract relevant context information and include them in the generation of the output. However, it performed worse (35-40%) than the simple Encoder-Decoder model regarding both grammatically correct output and meaningful response. Despite these results, experiments demonstrate how conversations about similar topics appear close to each other in the context space due to the increased frequency of specific topic-related words, thus leaving promising directions for future research and how the context of a conversation can be exploited.


title: Distributionally Robust Removal of Malicious Nodes from Networks

abstract: An important problem in networked systems is detection and removal of suspected malicious nodes. A crucial consideration in such settings is the uncertainty endemic in detection, coupled with considerations of network connectivity, which impose indirect costs from mistakely removing benign nodes as well as failing to remove malicious nodes. A recent approach proposed to address this problem directly tackles these considerations, but has a significant limitation: it assumes that the decision maker has accurate knowledge of the joint maliciousness probability of the nodes on the network. This is clearly not the case in practice, where such a distribution is at best an estimate from limited evidence. To address this problem, we propose a distributionally robust framework for optimal node removal. While the problem is NP-Hard, we propose a principled algorithmic technique for solving it approximately based on duality combined with Semidefinite Programming relaxation. A combination of both theoretical and empirical analysis, the latter using both synthetic and real data, provide strong evidence that our algorithmic approach is highly effective and, in particular, is significantly more robust than the state of the art.


title: New insights on Multi-Solution Distribution of the P3P Problem

abstract: Traditionally, the P3P problem is solved by firstly transforming its 3 quadratic equations into a quartic one, then by locating the roots of the resulting quartic equation and verifying whether a root does really correspond to a true solution of the P3P problem itself. However, a root of the quartic equation does not always correspond to a solution of the P3P problem. In this work, we show that when the optical center is outside of all the 6 toroids defined by the control point triangle, each positive root of the Grunert's quartic equation must correspond to a true solution of the P3P problem, and the corresponding P3P problem cannot have a unique solution, it must have either 2 positive solutions or 4 positive solutions. In addition, we show that when the optical center passes through any one of the 3 toroids among these 6 toroids ( except possibly for two concentric circles) , the number of the solutions of the corresponding P3P problem always changes by 1, either increased by 1 or decreased by 1.Furthermore we show that such changed solutions always locate in a small neighborhood of control points, hence the 3 toroids are critical surfaces of the P3P problem and the 3 control points are 3 singular points of solutions. A notable example is that when the optical center passes through the outer surface of the union of the 6 toroids from the outside to inside, the number of the solutions must always decrease by 1. Our results are the first to give an explicit and geometrically intuitive relationship between the P3P solutions and the roots of its quartic equation. It could act as some theoretical guidance for P3P practitioners to properly arrange their control points to avoid undesirable solutions.


title: The Erd\H{o}s-Selfridge problem with square-free moduli

abstract: A covering system is a finite collection of arithmetic progressions whose union is the set of integers. The study of covering systems with distinct moduli was initiated by Erd\H{o}s in 1950, and over the following decades numerous problems were posed regarding their properties. One particularly notorious question, due to Erd\H{o}s, asks whether there exist covering systems whose moduli are distinct and all odd. We show that if in addition one assumes the moduli are square-free, then there must be an even modulus.


title: Terahertz continuum generation in the LCS lattice

abstract: Rabi oscillations in two-level Dirac systems have been shown to alter the frequency content of the system's nonlinear response. In particular, when considering Rabi oscillations in a quantum model beyond the semiclassical Boltzmann theory, even harmonics may be generated despite the centrosymmetric nature of these systems. This effect magnifies with increasing excitation intensity. In this work, we extend the Rabi theory to a three-level Dirac system arising from a line-centered-square optical lattice. In this case, the Dirac cones are bisected at the Dirac point by a flat band that persists throughout the Brillioun zone. Due to the presence of this flat band, we expect a significant enhancement of the coupling between Dirac states, resulting in a large increase of the Rabi effects and the associated nonlinearities, leading to continuum generation of terahertz radiation.


title: Towards Controlled Transformation of Sentiment in Sentences

abstract: An obstacle to the development of many natural language processing products is the vast amount of training examples necessary to get satisfactory results. The generation of these examples is often a tedious and time-consuming task. This paper this paper proposes a method to transform the sentiment of sentences in order to limit the work necessary to generate more training data. This means that one sentence can be transformed to an opposite sentiment sentence and should reduce by half the work required in the generation of text. The proposed pipeline consists of a sentiment classifier with an attention mechanism to highlight the short phrases that determine the sentiment of a sentence. Then, these phrases are changed to phrases of the opposite sentiment using a baseline model and an autoencoder approach. Experiments are run on both the separate parts of the pipeline as well as on the end-to-end model. The sentiment classifier is tested on its accuracy and is found to perform adequately. The autoencoder is tested on how well it is able to change the sentiment of an encoded phrase and it was found that such a task is possible. We use human evaluation to judge the performance of the full (end-to-end) pipeline and that reveals that a model using word vectors outperforms the encoder model. Numerical evaluation shows that a success rate of 54.7% is achieved on the sentiment change.


title: Universality classes of topological phase transitions with higher-order band crossing

abstract: In topological insulators and topological superconductors, the discrete jump of the topological invariant upon tuning a certain system parameter defines a topological phase transition. A unified framework is employed to address the quantum criticality of the topological phase transitions in one to three spatial dimensions, which simultaneously incorporates the symmetry classification, order of band crossing, $m$-fold rotational symmetry, correlation functions, critical exponents, scaling laws, and renormalization group approach. We first classify higher-order Dirac models according to the time-reversal, particle-hole, and chiral symmetries, and determine the even-oddness of the order of band crossing in each symmetry class. The even-oddness further constrains the rotational symmetry $m$ permitted in a symmetry class. Expressing the topological invariant in terms of a momentum space integration over a curvature function, the order of band crossing determines the critical exponent of the curvature function, as well as that of the Wannier state correlation function introduced through the Fourier transform of the curvature function. The conservation of topological invariant further yields a scaling law between critical exponents. In addition, a renormalization group approach based on deforming the curvature function is demonstrated for all dimensions and symmetry classes. Through clarification of how the critical quantities, including the jump of the topological invariant and critical exponents, depend on the nonspatial and the rotational symmetry, our work introduces the notion of universality class into the description of topological phase transitions.


title: Non-local signatures of the chiral magnetic effect in Dirac semimetal Bi$_{0.97}$Sb$_{0.03}$

abstract: The field of topological materials science has recently been focussing on three-dimensional Dirac semimetals, which exhibit robust Dirac phases in the bulk. However, the absence of characteristic surface states in accidental Dirac semimetals (DSM) makes it difficult to experimentally verify claims about the topological nature using commonly used surface-sensitive techniques. The chiral magnetic effect (CME), which originates from the Weyl nodes, causes an $\textbf{E}\cdot\textbf{B}$-dependent chiral charge polarization, which manifests itself as negative magnetoresistance. We exploit the extended lifetime of the chirally polarized charge and study the CME through both local and non-local measurements in Hall bar structures fabricated from single crystalline flakes of the DSM Bi$_{0.97}$Sb$_{0.03}$. From the non-local measurement results we find a chiral charge relaxation time which is over one order of magnitude larger than the Drude transport lifetime, underlining the topological nature of Bi$_{0.97}$Sb$_{0.03}$.


title: Boundary conditions at the interface of finite thickness between ferromagnetic and antiferromagnetic materials

abstract: Systematic approach has been applied to obtain the boundary conditions for magnetization at an interface between ferromagnetic (FM) and antiferromagnetic (AFM) materials in the continuous medium approximation. Three order parameters are considered inside an interface of finite thickness magnetization $\mathbf{\text{M}}$ of FM, magnetizations of both sublattices $\mathbf{\text{M}}_{1}$ and $\mathbf{\text{M}}_{2}$ of AFM. The boundary conditions are defined in terms of some average properties of the FM/AFM interface. The interface has a finite thickness which is much less than spin wave length. This approach allowed to take into account the interface anisotropy, interface symmetric exchange coupling and interface coupling resulting from inversion symmetry breaking in the vicinity of the interface.


title: Improved strong-coupling perturbation theory of the symmetric Anderson impurity model

abstract: In a previous work (N. H. Tong, Phys. Rev. B 92, 165126 (2015)), an equation-of-motion based series expansion formalism was used to do the second-order strong-coupling expansion for the single-particle Green function of the Anderson impurity model. In this paper, we improve this theory in two aspects. We first use a more accurate scheme to self-consistently calculate the averages that appear in G1. In the resummation process, we use updated coefficients for the continued fraction, guided by the formally exact continued fraction from the Mori-Zwanzig theory. These changes lead to more accurate impurity spin response to the magnetic bias of the bath. Combined with the dynamical mean-field theory, our theory gives improved description for the antiferromagnetism of Hubbard model at half filling.


title: Beyond basis invariants

abstract: Physical observables cannot depend on the basis one chooses to describe fields. Therefore, all physically relevant properties of a model are, in principle, expressible in terms of basis-invariant combinations of the parameters. However, in many cases it becomes prohibitively difficult to establish key physical features exclusively in terms of basis invariants. Here, we advocate an alternative route in such cases: the formulation of basis-invariant statements in terms of basis-covariant objects. We give several examples where the basis-covariant path is superior to the traditional approach in terms of basis invariants. In particular, this includes the formulation of necessary and sufficient basis-invariant conditions for various physically distinct forms of CP conservation in two- and three-Higgs-doublet models.


title: The Mikheyev-Smirnov-Wolfenstein (MSW) Effect

abstract: Developments of main notions and concepts behind the MSW effect (1978 - 1985) are described. They include (i) neutrino refraction, matter potential, and evolution equation in matter, (ii) mixing in matter, resonance and level crossing; (iii) adiabaticity condition and adiabatic propagation in matter with varying density. They are in the basis of the resonance enhancement of oscillations in matter with constant (nearly constant) density, and the adiabatic flavor conversion in matter with slowly changing density. The former is realized in matter of the Earth and can be used to establish neutrino mass hierarchy. The latter provides solution to the solar neutrino problem and play the key role in transformations of the supernova neutrinos.


title: Sparse Array DFT Beamformers for Wideband Sources

abstract: Sparse arrays are popular for performance optimization while keeping the hardware and computational costs down. In this paper, we consider sparse arrays design method for wideband source operating in a wideband jamming environment. Maximizing the signal-to-interference plus noise ratio (MaxSINR) is adopted as an optimization objective for wideband beamforming. Sparse array design problem is formulated in the DFT domain to process the source as parallel narrowband sources. The problem is formulated as quadratically constraint quadratic program (QCQP) alongside the weighted mixed $l_{1-\infty}$-norm squared penalization of the beamformer weight vector. The semidefinite relaxation (SDR) of QCQP promotes sparse solutions by iteratively re-weighting beamformer based on previous iteration. It is shown that the DFT approach reduces the computational cost considerably as compared to the delay line approach, while efficiently utilizing the degrees of freedom to harness the maximum output SINR offered by the given array aperture.


title: On the index of harmonic maps from surfaces to complex projective spaces

abstract: We estimate the dimensions of the spaces of holomorphic sections of certain line bundles to give improved lower bounds on the index of complex isotropic harmonic maps to complex projective space from the sphere and torus, and in some cases from higher genus surfaces.


title: User Interface as a Thinging Machine

abstract: The availability of interaction devices has raised interest in techniques to support the user interface (UI). A UI specification describes the functions that a system provides to its users by capturing the interface details and includes possible actions through interaction elements. UI developers of interactive systems have to address multiple sources of heterogeneity, including end users heterogeneity and variability of the context of use. This paper contributes to the notion of interactivity and interfacing by proposing a methodology for producing engineering-type diagrams of (abstract) machine processes that can specify uniform structure and behavior of systems through a synchronic order of states (stages): creation, release, transfer, receive, and process. As an example, the diagrammatic methodology is applied to conceptualizing space as a machine. The resulting depiction seems suitable for use in designing UIs in certain environments.


title: Text line Segmentation in Compressed Representation of Handwritten Document using Tunneling Algorithm

abstract: In this research work, we perform text line segmentation directly in compressed representation of an unconstrained handwritten document image. In this relation, we make use of text line terminal points which is the current state-of-the-art. The terminal points spotted along both margins (left and right) of a document image for every text line are considered as source and target respectively. The tunneling algorithm uses a single agent (or robot) to identify the coordinate positions in the compressed representation to perform text-line segmentation of the document. The agent starts at a source point and progressively tunnels a path routing in between two adjacent text lines and reaches the probable target. The agent's navigation path from source to the target bypassing obstacles, if any, results in segregating the two adjacent text lines. However, the target point would be known only when the agent reaches the destination; this is applicable for all source points and henceforth we could analyze the correspondence between source and target nodes. Artificial Intelligence in Expert systems, dynamic programming and greedy strategies are employed for every search space while tunneling. An exhaustive experimentation is carried out on various benchmark datasets including ICDAR13 and the performances are reported.


title: An Optimization Framework for Task Sequencing in Curriculum Learning

abstract: Curriculum learning in reinforcement learning is used to shape exploration by presenting the agent with increasingly complex tasks. The idea of curriculum learning has been largely applied in both animal training and pedagogy. In reinforcement learning, all previous task sequencing methods have shaped exploration with the objective of reducing the time to reach a given performance level. We propose novel uses of curriculum learning, which arise from choosing different objective functions. Furthermore, we define a general optimization framework for task sequencing and evaluate the performance of popular metaheuristic search methods on several tasks. We show that curriculum learning can be successfully used to: improve the initial performance, take fewer suboptimal actions during exploration, and discover better policies.


title: LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program Metrics

abstract: Identifying potentially vulnerable locations in a code base is critical as a pre-step for effective vulnerability assessment; i.e., it can greatly help security experts put their time and effort to where it is needed most. Metric-based and pattern-based methods have been presented for identifying vulnerable code. The former relies on machine learning and cannot work well due to the severe imbalance between non-vulnerable and vulnerable code or lack of features to characterize vulnerabilities. The latter needs the prior knowledge of known vulnerabilities and can only identify similar but not new types of vulnerabilities. In this paper, we propose and implement a generic, lightweight and extensible framework, LEOPARD, to identify potentially vulnerable functions through program metrics. LEOPARD requires no prior knowledge about known vulnerabilities. It has two steps by combining two sets of systematically derived metrics. First, it uses complexity metrics to group the functions in a target application into a set of bins. Then, it uses vulnerability metrics to rank the functions in each bin and identifies the top ones as potentially vulnerable. Our experimental results on 11 real-world projects have demonstrated that, LEOPARD can cover 74.0% of vulnerable functions by identifying 20% of functions as vulnerable and outperform machine learning-based and static analysis-based techniques. We further propose three applications of LEOPARD for manual code review and fuzzing, through which we discovered 22 new bugs in real applications like PHP, radare2 and FFmpeg, and eight of them are new vulnerabilities.


title: Unitarity bounds on charged/neutral state mass ratio

abstract: In this letter, we study the implications of unitary completion of quantum gravity on the low energy spectrums, through an infinite set of unitarity bounds on the forward-limit scattering amplitudes. In three dimensions, we find that light states with charge-to-mass ratio $z$ greater than $1$ can only be consistent if there exists other light states, preferably neutral. Applied to the compactification of the Standard Model, where the low energy couplings are dominated by the electron with $|z|\sim 10^{22}$, this provides a novel understanding of the need for light neutrinos.

categories: hep-th gr-qc hep-ex hep-ph math-ph math.MP


title: New representations of Poincar\'e group for consistent Relativistic Particle Theories

abstract: Though the irreducible representations of the Poincare' group form the groundwork for the formulation of relativistic quantum theories of a particle, robust classes of such representations are missed in current formulations of these theories. In this work the extended class of irreducible representations with positive `mass' parameter is explicitly determined. Several new representations in such extension, so far excluded, give rise to consistent theories for Klein-Gordon particles and also to new species of particle theories.


title: Turbulence-driven ion beams in the magnetospheric Kelvin-Helmholtz instability

abstract: The description of the local turbulent energy transfer, and the high-resolution ion distributions measured by the Magnetospheric Multiscale mission, together provide a formidable tool to explore the cross-scale connection between the fluid-scale energy cascade and plasma processes at sub-ion scales. When the small-scale energy transfer is dominated by Alfv\'enic, correlated velocity and magnetic field fluctuations, beams of accelerated particles are more likely observed. Here, for the first time we report observations suggesting the nonlinear wave-particle interaction as one possible mechanism for the energy dissipation in space plasmas.


title: Perturbed Markov Chains and Information Networks

abstract: The paper is devoted to studies of perturbed Markov chains commonly used for description of information networks. In such models, the matrix of transition probabilities for the corresponding Markov chain is usually regularised by adding a special damping matrix multiplied by a small damping (perturbation) parameter $\varepsilon$. We give effective upper bounds for the rate of approximation for stationary distributions of unperturbed Markov chains by stationary distributions of perturbed Markov chains with regularised matrices of transition probabilities, asymptotic expansions for approximating stationary distributions with respect to damping parameter, as well as explicit upper bounds for the rate of convergence in ergodic theorems for $n$-step transition probabilities in triangular array mode, where perturbation parameter $\varepsilon \to 0$ and $n \to \infty$, simultaneously. The results of numerical experiments are also presented


title: Krein parameters of fiber-commutative coherent configurations

abstract: For fiber-commutative coherent configurations, we show that Krein parameters can be defined essentially uniquely. As a consequence, the general Krein condition reduces to positive semidefiniteness of finitely many matrices determined by the parameters of a coherent configuration. We mention its implications in the coherent configuration defined by a generalized quadrangle. We also simplify the absolute bound using the matrices of Krein parameters.


title: Efficient and secure modular operations using the Adapted Modular Number System

abstract: The Adapted Modular Number System (AMNS) is a sytem of representation of integers to speed up arithmetic operations modulo a prime p. Such a system can be defined by a tuple (p, n, {\gamma}, {\rho}, E) where E is in Z[X]. In [13] conditions are given to build AMNS with E(X) = {X^n +1}. In this paper, we generalize their results and show how to generate multiple AMNS for a given prime p with E(X)={X^n-\lambda} and {\lambda} in Z. Moreover, we propose a complete set of algorithms without conditional branching to perform arithmetic and conversion operations in the AMNS, using a Montgomery-like method described in [15].


title: A test bed for measuring UAV servo reliability

abstract: Extant literature suggests minimal research in the area of system reliability of components used in the design of these UAS (Unmanned Air Systems), thus, subjecting UAS to critical failures that may pose a safety hazard to flight operations. The purpose of the study was to critically assess the reliability of a laboratory designed UAS component test-bed operated using real-world data collected from a Boeing Scan Eagle UAS aileron servo unit via a flight data recorder. The study hypothesized that the test-bed unit's replicating a UAS aileron servo motor's reliability, in terms of a base-line measured encoder output of commanded servo positions, will not be significantly different after double and triple periods of time for continuous operating cycles. Study adds to paucity of extant research on UAS reliability and recommends further studies on commercial UAS components reliability and time to failure.


title: Optically-Induced Highly-Efficient Detection and Separation of Chiral Molecules through Shortcuts to Adiabaticity

abstract: A highly-efficient method for optical detection and separation of left- and right-handed chiral molecules is presented. The method utilizes a closed-loop three-state system in which the population dynamics depends on the phases of the three couplings. Due to the different signs of the coupling between two of the states for the opposite chiralities and the phase sensitivity of the scheme, the population dynamics is chirality-dependent. By using concepts from the `shortcuts to adiabaticity' approach, one can achieve 100\% contrast in state population transfer between the two enantiomers, which can be probed by light-induced fluorescence in the case of large ensembles or through resonantly-enhanced multiphoton ionization at the single molecular level.


title: Weak Gibbs and Equilibrium Measures for Shift Spaces

abstract: For a large class of irreducible shift spaces $X\subset\tA^{\Z^d}$, with $\tA$ a finite alphabet, and for absolutely summable potentials $\Phi$, we prove that equilibrium measures for $\Phi$ are weak Gibbs measures. In particular, for $d=1$, the result holds for irreducible sofic shifts.


title: Pathologist-level classification of histologic patterns on resected lung adenocarcinoma slides with deep neural networks

abstract: Classification of histologic patterns in lung adenocarcinoma is critical for determining tumor grade and treatment for patients. However, this task is often challenging due to the heterogeneous nature of lung adenocarcinoma and the subjective criteria for evaluation. In this study, we propose a deep learning model that automatically classifies the histologic patterns of lung adenocarcinoma on surgical resection slides. Our model uses a convolutional neural network to identify regions of neoplastic cells, then aggregates those classifications to infer predominant and minor histologic patterns for any given whole-slide image. We evaluated our model on an independent set of 143 whole-slide images. It achieved a kappa score of 0.525 and an agreement of 66.6% with three pathologists for classifying the predominant patterns, slightly higher than the inter-pathologist kappa score of 0.485 and agreement of 62.7% on this test set. All evaluation metrics for our model and the three pathologists were within 95% confidence intervals of agreement. If confirmed in clinical practice, our model can assist pathologists in improving classification of lung adenocarcinoma patterns by automatically pre-screening and highlighting cancerous regions prior to review. Our approach can be generalized to any whole-slide image classification task, and code is made publicly available at https://github.com/BMIRDS/deepslide.


title: Central exclusive diffractive production of $K^{+} K^{-} K^{+} K^{-}$ via the intermediate $\phi \phi$ state in proton-proton collisions

abstract: We present a study of the exclusive $pp \to pp K^{+} K^{-} K^{+} K^{-}$ reaction at high energies. We consider diffractive mechanisms with the intermediate $\phi \phi$ state with its decay into the $K^{+} K^{-} K^{+} K^{-}$ system. We include the $\phi(1020)$ $\hat{t}/\hat{u}$-channel exchanges and the $f_{2}(2340)$ $s$-channel exchange mechanism. This $f_{2}$ state is a candidate for a tensor glueball. We discuss the possibility to use the $pp \to pp \phi \phi$ process in identifying the odderon exchange. An upper limit for the $\mathbb{P} \mathbb{O} \phi$ coupling is extracted from the WA102 experimental data. The amplitudes for the processes are formulated within the tensor-pomeron and vector-odderon approach. We adjust parameters of our model to the WA102 data and present several predictions for the ALICE, ATLAS, CMS and LHCb experiments. Integrated cross sections of order of a few nb are obtained including the experimental cuts relevant for the LHC experiments. The distributions in the four-kaon invariant mass, rapidity distance between the two $\phi$ mesons, special ``glueball filter variable'', proton-proton relative azimuthal angle are presented. The distribution in rapidity difference of both $\phi$-mesons could shed light on the $f_{2}(2340) \to \phi \phi$ coupling, not known at present. We discuss the possible role of the $f_{0}(2100)$, $\eta(2225)$, and $X(2500)$ resonances observed in the $\phi \phi$ channel in radiative decays of $J/\psi$. Using typical kinematic cuts for LHC experiments we find from our model that the odderon-exchange contribution should be distinguishable from other contributions for large rapidity distance between the $\phi$ mesons and in the region of large four-kaon invariant masses. At least, it should be possible to derive an upper limit on the odderon contribution in this reaction.


title: Approaches Toward the Bayesian Estimation of the Stochastic Volatility Model with Leverage

abstract: The sampling efficiency of MCMC methods in Bayesian inference for stochastic volatility (SV) models is known to highly depend on the actual parameter values, and the effectiveness of samplers based on different parameterizations varies significantly. We derive novel algorithms for the centered and the non-centered parameterizations of the practically highly relevant SV model with leverage, where the return process and innovations of the volatility process are allowed to correlate. Moreover, based on the idea of ancillarity-sufficiency interweaving (ASIS), we combine the resulting samplers in order to guarantee stable sampling efficiency irrespective of the baseline parameterization.We carry out an extensive comparison to already existing sampling methods for this model using simulated as well as real world data.


title: Improving generation quality of pointer networks via guided attention

abstract: Pointer generator networks have been used successfully for abstractive summarization. Along with the capability to generate novel words, it also allows the model to copy from the input text to handle out-of-vocabulary words. In this paper, we point out two key shortcomings of the summaries generated with this framework via manual inspection, statistical analysis and human evaluation. The first shortcoming is the extractive nature of the generated summaries, since the network eventually learns to copy from the input article most of the times, affecting the abstractive nature of the generated summaries. The second shortcoming is the factual inaccuracies in the generated text despite grammatical correctness. Our analysis indicates that this arises due to incorrect attention transition between different parts of the article. We propose an initial attempt towards addressing both these shortcomings by externally appending traditional linguistic information parsed from the input text, thereby teaching networks on the structure of the underlying text. Results indicate feasibility and potential of such additional cues for improved generation.


title: Deep Recurrent Factor Model: Interpretable Non-Linear and Time-Varying Multi-Factor Model

abstract: A linear multi-factor model is one of the most important tools in equity portfolio management. The linear multi-factor models are widely used because they can be easily interpreted. However, financial markets are not linear and their accuracy is limited. Recently, deep learning methods were proposed to predict stock return in terms of the multi-factor model. Although these methods perform quite well, they have significant disadvantages such as a lack of transparency and limitations in the interpretability of the prediction. It is thus difficult for institutional investors to use black-box-type machine learning techniques in actual investment practice because they should show accountability to their customers. Consequently, the solution we propose is based on LSTM with LRP. Specifically, we extend the linear multi-factor model to be non-linear and time-varying with LSTM. Then, we approximate and linearize the learned LSTM models by LRP. We call this LSTM+LRP model a deep recurrent factor model. Finally, we perform an empirical analysis of the Japanese stock market and show that our recurrent model has better predictive capability than the traditional linear model and fully-connected deep learning methods.


title: Inducing Sparse Coding and And-Or Grammar from Generator Network

abstract: We introduce an explainable generative model by applying sparse operation on the feature maps of the generator network. Meaningful hierarchical representations are obtained using the proposed generative model with sparse activations. The convolutional kernels from the bottom layer to the top layer of the generator network can learn primitives such as edges and colors, object parts, and whole objects layer by layer. From the perspective of the generator network, we propose a method for inducing both sparse coding and the AND-OR grammar for images. Experiments show that our method is capable of learning meaningful and explainable hierarchical representations.


title: Modelling microgels with controlled structure across the volume phase transition

abstract: Thermoresponsive microgels are soft colloids that find widespread use as model systems for soft matter physics. Their complex internal architecture, made of a disordered and heterogeneous polymer network, has been so far a major challenge for computer simulations. In this work we put forward a coarse-grained model of microgels whose structural properties are in quantitative agreement with results obtained with small-angle X-ray scattering experiments across a wide range of temperatures, encompassing the volume phase transition. These results bridge the gap between experiments and simulations of individual microgel particles, paving the way to theoretically address open questions about their bulk properties with unprecedented nano and microscale resolution.


title: Ginzburg-Landau patterns in circular and spherical geometries: vortices, spirals and attractors

abstract: This paper consists of three results on pattern formation of Ginzburg-Landau $m$-armed vortex solutions and spiral waves in circular and spherical geometries. First, we completely describe the global bifurcation diagram of vortex equilibria. Second, we prove persistence of all bifurcation curves under perturbations of parameters, which yields the existence of spiral waves for the complex Ginzburg-Landau equation. Third, we explicitly construct the global attractor of $m$-armed vortex solutions. Our main tool is a new shooting method that allows us to prove hyperbolicity of vortex equilibria in the invariant subspace of vortex solutions.


title: Topological transformations of speckles

abstract: Deterministic control of coherent random light is highly important for information transmission through complex media. However, only a few simple speckle transformations can be achieved through diffusers without prior characterization. As recently shown, spiral wavefront modulation of the impinging beam allows permuting intensity maxima and intrinsic $\pm 1$-charged optical vortices. Here, we study this cyclic-group algebra when combining spiral phase transforms of charge $n$, with $D_3$- and $D_4$-point-group symmetry star-like amplitude modulations. This combination allows statistical strengthening of permutations and controlling the period to be 3 and 4, respectively. Phase saddle-points are shown to complete the cycle. These results offer new tools to manipulate critical points in speckles.


title: Anisotropic ferromagnetism and structure stability in $4f$-$3d$ intermetallics: ab initio structure optimization and magnetic anisotropy for RCo$_5$ (R=Ce, La, and Y)

abstract: Electronic mechanism in the interplay between ferromagnetism and structure stability of $4f$-$3d$ intermetallics in the main phase of rare-earth permanent magnets is investigated from first principles. We present a case study with an archetypical materials family RCo$_5$ (R=Ce, La, Y), which was a part of the earliest rare-earth permanent magnets and from which other representative main-phase compounds can be regarded as a derived type. Comparison with the champion magnet materials family R$_2$T$_{14}$B and recently revisited materials family RT$_{12}$ (T=Co and Fe) points to a direction leading to a mid-class magnet for the possible next generation materials.


title: Relating Voluntary Turnover with Job Characteristics, Satisfaction and Work Exhaustion - An Initial Study with Brazilian Developers

abstract: High rates of turnover among software developers remain, involving additional costs of hiring and training. Voluntary turnover may be due to workplace issues or personal career decisions, but it might as well relate to Job Characteristics, or even Job Satisfaction and Work Exhaustion. This paper reports on an initial study which quantitatively measured those constructs among 78 software developers working in Brazil who left their jobs voluntarily. For this, we adapted well-known survey instruments, namely the JDS from Hackman and Oldham's Job Characteristics Model, and Maslach et al.'s Burnout Measurement. In average, developers demonstrated low to moderate autonomy (3.75, on a 1-7 scale) and satisfaction (4.08), in addition to moderate exhaustion (4.2) before leaving their jobs, while experiencing high task significance (5.15). Also, testers reported significantly lower job satisfaction than programmers. These results allow us to raise interesting hypotheses to be addressed by future studies.


title: Prediction in Online Convex Optimization for Parametrizable Objective Functions

abstract: Many techniques for online optimization problems involve making decisions based solely on presently available information: fewer works take advantage of potential predictions. In this paper, we discuss the problem of online convex optimization for parametrizable objectives, i.e. optimization problems that depend solely on the value of a parameter at a given time. We introduce a new regularity for dynamic regret based on the accuracy of predicted values of the parameters and show that, under mild assumptions, accurate prediction can yield tighter bounds on dynamic regret. Inspired by recent advances on learning how to optimize, we also propose a novel algorithm to simultaneously predict and optimize for parametrizable objectives and study its performance using simulated and real data.


title: The product of lattice covolume and discrete series formal dimension: p-adic GL(2)

abstract: Let $F$ be a nonarchimedean local field of characteristic $0$ and residue field of order not divisible by $2$. We show how to calculate the product of the covolume of a torsion-free lattice in $PGL(2,F)$ and the formal dimension of a discrete series representation of $GL(2,F)$. The covolume comes from a theorem of Ihara, and the formal dimensions are contained in results of Corwin, Moy, and Sally. By a theorem going back to Atiyah, and by triviality of the second cohomology group of a free group, the resulting product is the von Neumann dimension of a discrete series representation considered as a representation of a free group factor.


title: FSK-based Simultaneous Wireless Information and Power Transfer in Inductively Coupled Resonant Circuits Exploiting Frequency Splitting

abstract: Inductively coupled resonant circuits are affected by the so-called frequency splitting phenomenon at short distances. In the area of power electronics, tracking of one of the peak frequencies is state-of-the-art. In the data transmission community, however, the frequency splitting effect is often ignored. Particularly, modulation schemes have not yet been adapted to the bifurcation phenomenon. We argue that binary frequency shift keying (2-ary FSK) is a low-cost modulation scheme which well matches the double-peak voltage transfer function $H(s)$, particularly when the quality factor $Q$ is large, whereas most other modulation schemes suffer from the small bandwidths of the peaks. Additionally we show that a rectified version of 2-ary FSK, coined rectified FSK (RFSK), is even more attractive from output power and implementation points of view. Analytical and numerical contributions include the efficiency factor, the impulse response, and the bit error performance. A low-cost incoherent receiver is proposed. Theoretical examinations are supported by an experimental prototype.


title: Contrasting Exploration in Parameter and Action Space: A Zeroth-Order Optimization Perspective

abstract: Black-box optimizers that explore in parameter space have often been shown to outperform more sophisticated action space exploration methods developed specifically for the reinforcement learning problem. We examine these black-box methods closely to identify situations in which they are worse than action space exploration methods and those in which they are superior. Through simple theoretical analyses, we prove that complexity of exploration in parameter space depends on the dimensionality of parameter space, while complexity of exploration in action space depends on both the dimensionality of action space and horizon length. This is also demonstrated empirically by comparing simple exploration methods on several model problems, including Contextual Bandit, Linear Regression and Reinforcement Learning in continuous control.


title: Multi-Task Deep Neural Networks for Natural Language Understanding

abstract: In this paper, we present a Multi-Task Deep Neural Network (MT-DNN) for learning representations across multiple natural language understanding (NLU) tasks. MT-DNN not only leverages large amounts of cross-task data, but also benefits from a regularization effect that leads to more general representations in order to adapt to new tasks and domains. MT-DNN extends the model proposed in Liu et al. (2015) by incorporating a pre-trained bidirectional transformer language model, known as BERT (Devlin et al., 2018). MT-DNN obtains new state-of-the-art results on ten NLU tasks, including SNLI, SciTail, and eight out of nine GLUE tasks, pushing the GLUE benchmark to 82.7% (2.2% absolute improvement). We also demonstrate using the SNLI and SciTail datasets that the representations learned by MT-DNN allow domain adaptation with substantially fewer in-domain labels than the pre-trained BERT representations. The code and pre-trained models are publicly available at https://github.com/namisan/mt-dnn.


title: Investigating the normal and tangential peeling behaviour of gecko spatulae using a coupled adhesion-friction model

abstract: The present work investigates the normal and tangential peeling behaviour of a gecko spatula using a coupled adhesion-friction model. The objective is to explain the strong attachment and easy detachment behaviour of the spatulae as well as to understand the principles behind their optimum design. Using nonlinear finite element computations, it is shown that during tangentially-constrained peeling the partial sliding of the spatula pad near the peeling front stretches the spatula, thus increasing the strain energy and leading to high pull-off forces. The model is used to investigate the influence of various parameters on the pull-off forces -- such as the peeling angle, spatula shaft angle, strip thickness, and material stiffness. The model shows that increasing the spatula pad thickness beyond a certain level does not lead to a significant increase in the attachment forces. Further, the easy detachment behaviour of geckos is studied under tangentially-free peeling conditions. It is found that the spatulae readily detach from the substrate by changing their shaft angle and eventually peel vertically like a tape. Since the present computational model is not limited by the geometrical, kinematical, and material restrictions of theoretical models, it can be employed to analyse similar biological adhesive systems.


title: Geodesic dual spacetime

abstract: A duality between spacetime manifolds, the geodesic duality, is introduced. Two manifolds are geodesic dual, if the transformation between their metrics is also the transformation between their geodesics. That is, the transformation that transforms the metric to the metric of the dual manifold is also the transformation that transforms the geodesic to the geodesic of the dual manifold. On the contrary, for nondual spacetime manifolds, a geodesic is no longer a geodesic after the transformation between the metrics. We give a general result of the duality between spacetime manifolds with diagonal metrics. The geodesic duality of spherically symmetric spacetime are discussed for illustrating the concept. The geodesic dual spacetime of the Schwarzschild spacetime and the geodesic dual spacetime of the Reissner-Nordstr\"om spacetime are presented.


title: The Frozen Core Approximation and Nuclear Screening Effects in Single Electron Capture Collisions

abstract: Fully Differential Cross Sections (FDCS) for single electron capture from helium by heavy ion impact are calculated using a frozen core 3-Body model and an active electron 4-Body model within the first Born approximation. FDCS are presented for H+, He2+, Li3+, and C6+ projectiles with velocities of 100 keV/amu, 1 MeV/amu, and 10 MeV/amu. In general, the FDCS from the two models are found to differ by about one order of magnitude with the active electron 4-Body model showing better agreement with experiment. Comparison of the models reveals two possible sources of the magnitude difference: the inactive electron's change of state and the projectile-target Coulomb interaction used in the different models. Detailed analysis indicates that the uncaptured electron's change of state can safely be neglected in the frozen core approximation, but that care must be used in modeling the projectile-target interaction.


title: Measuring the Formation Energy Barrier of Skyrmions in Zinc Substituted Cu$_2$OSeO$_3$

abstract: We report small angle neutron scattering (SANS) measurements of the skyrmion lattice in (Cu$_{0.976}$Zn$_{0.024}$)$_2$OSeO$_3$ under the application of an electric field. These measurements show an expansion of the skyrmion lattice stability region with electric field similar to that seen in pristine Cu$_2$OSeO$_3$. Furthermore, using time-resolved SANS, we observe the slow formation of skyrmions after an electric or magnetic field is applied, which has not been observed in pristine Cu$_2$OSeO$_3$ crystals. The measured formation times are dramatically longer than the corresponding skyrmion destruction times after the external field is removed, and increase exponentially from 100~s at 52.5~K to 10,000~s at 51.5~K. This thermally activated behaviour indicates an energy barrier for skyrmion formation of 1.57(2)~eV, the size of which demonstrates the huge cost for creating these complex chiral objects.


title: Performance Evaluation of Communication Technologies and Network Structure for Smart Grid Applications

abstract: Design of an effective and reliable communication network supporting smart grid applications requires a selection of appropriate communication technologies and protocols. The objective of this paper is to study and quantify the capabilities of an Advanced Metering Infrastructure (AMI) to support the simultaneous operation of major smart grid functions. These include smart metering, price-induced controls, distribution automation, demand response and electric vehicle charging/discharging applications in terms of throughput and latency. OPNET is used to simulate the performance of selected communication technologies and protocols. Research findings indicate that smart grid applications can operate simultaneously by piggybacking on an existing AMI infrastructure and still achieve their latency requirements.


title: Decomposition of Feynman Integrals on the Maximal Cut by Intersection Numbers

abstract: We elaborate on the recent idea of a direct decomposition of Feynman integrals onto a basis of master integrals on maximal cuts using intersection numbers. We begin by showing an application of the method to the derivation of contiguity relations for special functions, such as the Euler beta function, the Gauss ${}_2F_1$ hypergeometric function, and the Appell $F_1$ function. Then, we apply the new method to decompose Feynman integrals whose maximal cuts admit 1-form integral representations, including examples that have from two to an arbitrary number of loops, and/or from zero to an arbitrary number of legs. Direct constructions of differential equations and dimensional recurrence relations for Feynman integrals are also discussed. We present two novel approaches to decomposition-by-intersections in cases where the maximal cuts admit a 2-form integral representation, with a view towards the extension of the formalism to $n$-form representations. The decomposition formulae computed through the use of intersection numbers are directly verified to agree with the ones obtained using integration-by-parts identities.


title: On the necessity of phantom fields for solving the horizon problem in scalar cosmologies

abstract: We discuss the particle horizon problem in the framework of spatially homogeneous and isotropic scalar cosmologies. To this purpose we consider a Friedmann-Lemaitre-Robertson-Walker (FLRW) spacetime with possibly non-zero spatial sectional curvature (and arbitrary dimension), and assume that the content of the universe is a family of perfect fluids, plus a scalar field that can be a quintessence or a phantom (depending on the sign of the kinetic part in its action functional). We show that the occurrence of a particle horizon is unavoidable if the field is a quintessence, the spatial curvature is non-positive and the usual energy conditions are fulfilled by the perfect fluids. As a partial converse, we present three solvable models where a phantom is present in addition to a perfect fluid, and no particle horizon~appears.


title: Minimizing Negative Transfer of Knowledge in Multivariate Gaussian Processes: A Scalable and Regularized Approach

abstract: Recently there has been an increasing interest in the multivariate Gaussian process (MGP) which extends the Gaussian process (GP) to deal with multiple outputs. One approach to construct the MGP and account for non-trivial commonalities amongst outputs employs a convolution process (CP). The CP is based on the idea of sharing latent functions across several convolutions. Despite the elegance of the CP construction, it provides new challenges that need yet to be tackled. First, even with a moderate number of outputs, model building is extremely prohibitive due to the huge increase in computational demands and number of parameters to be estimated. Second, the negative transfer of knowledge may occur when some outputs do not share commonalities. In this paper we address these issues. We propose a regularized pairwise modeling approach for the MGP established using CP. The key feature of our approach is to distribute the estimation of the full multivariate model into a group of bivariate GPs which are individually built. Interestingly pairwise modeling turns out to possess unique characteristics, which allows us to tackle the challenge of negative transfer through penalizing the latent function that facilitates information sharing in each bivariate model. Predictions are then made through combining predictions from the bivariate models within a Bayesian framework. The proposed method has excellent scalability when the number of outputs is large and minimizes the negative transfer of knowledge between uncorrelated outputs. Statistical guarantees for the proposed method are studied and its advantageous features are demonstrated through numerical studies.


title: Dynamics of optical excitations in a Fe/MgO(001) heterostructure from time-dependent density functional theory

abstract: In the framework of real-time time-dependent density functional theory (RT-TDDFT) we unravel the layer-resolved dynamics of the electronic structure of a (Fe)$_1$/(MgO)$_3$(001) multilayer system after an optical excitation with a frequency below the band gap of bulk MgO. Substantial transient changes to the electronic structure, which persist after the duration of the pulse, are mainly observed for in-plane polarized electric fields, corresponding to a laser pulse arriving perpendicular to the interface. While the strongest charge redistribution takes place in the Fe layer, a time-dependent change in the occupation numbers is visible in all layers, mediated by the presence of interface states. The time evolution of the layer-resolved time-dependent occupation numbers indicates a strong orbital dependence with the depletion from in-plane orbitals (e. g., $d_{x^2-y^2}$ of Fe) and accumulation in out-of-plane orbitals ($d_{3z^2-r^2}$ of Fe and $p_z$ of apical oxygen). We also observe a small net charge transfer away from oxygen towards the Mg sites even for MgO layers which are not directly in contact with the metallic Fe.


title: How to observe and quantify quantum-discorded states

abstract: Quantum correlations between parts of a composite system most clearly reveal themselves through entanglement. Designing, maintaining, and controlling entangled systems is very demanding, which raises the stakes for understanding the efficacy of entanglement-free, yet quantum, correlations, exemplified by quantum discord. Discord is defined via conditional mutual entropies of parts of a composite system, and its direct measurement is hardly possible even via full tomographic characterization of the system state. Here we design a simple protocol to detect quantum discord and characterize a discorded state in an unentangled bipartite system. Our protocol is based on an electronic setup and relies on a characteristic of discord that can be extracted from repeated direct measurements of current correlations between subsystems. The proposed protocol opens a way of extending experimental studies of discord to many-body condensed matter systems.


title: ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language

abstract: Optimizing an expensive-to-query function is a common task in science and engineering, where it is beneficial to keep the number of queries to a minimum. A popular strategy is Bayesian optimization (BO), which leverages probabilistic models for this task. Most BO today uses Gaussian processes (GPs), or a few other surrogate models. However, there is a broad set of Bayesian modeling techniques that could be used to capture complex systems and reduce the number of queries in BO. Probabilistic programming languages (PPLs) are modern tools that allow for flexible model definition, prior specification, model composition, and automatic inference. In this paper, we develop ProBO, a BO procedure that uses only standard operations common to most PPLs. This allows a user to drop in a model built with an arbitrary PPL and use it directly in BO. We describe acquisition functions for ProBO, and strategies for efficiently optimizing these functions given complex models or costly inference procedures. Using existing PPLs, we implement new models to aid in a few challenging optimization settings, and demonstrate these on model hyperparameter and architecture search tasks.


title: Top2018: Experimental Summary

abstract: Top quark physics continues to be an exciting and fast moving research area. The large statistics provided by the LHC are allowing us to measure processes never observed before and to develop new methods to improve the precision for the "bread-and-butter" measurements. Summarising more than thirty talks in a concise way is something of a challenge and hence this document is my own personal biased selection of the many interesting results that were discussed at the workshop.


title: Homogenization in $BV$ of a model for layered composites in finite crystal plasticity

abstract: In this work, we study the effective behavior of a two-dimensional variational model within finite crystal plasticity for high-contrast bilayered composites. Precisely, we consider materials arranged into periodically alternating thin horizontal strips of an elastically rigid component and a softer one with one active slip system. The energies arising from these modeling assumptions are of integral form, featuring linear growth and non-convex differential constraints. We approach this non-standard homogenization problem via Gamma-convergence. A crucial first step in the asymptotic analysis is the characterization of rigidity properties of limits of admissible deformations in the space $BV$ of functions of bounded variation. In particular, we prove that, under suitable assumptions, the two-dimensional body may split horizontally into finitely many pieces, each of which undergoes shear deformation and global rotation. This allows us to identify a potential candidate for the homogenized limit energy, which we show to be a lower bound on the Gamma-limit. In the framework of non-simple materials, we present a complete Gamma-convergence result, including an explicit homogenization formula, for a regularized model with an anisotropic penalization in the layer direction.


title: Stochastic Recursive Variance-Reduced Cubic Regularization Methods

abstract: Stochastic Variance-Reduced Cubic regularization (SVRC) algorithms have received increasing attention due to its improved gradient/Hessian complexities (i.e., number of queries to stochastic gradient/Hessian oracles) to find local minima for nonconvex finite-sum optimization. However, it is unclear whether existing SVRC algorithms can be further improved. Moreover, the semi-stochastic Hessian estimator adopted in existing SVRC algorithms prevents the use of Hessian-vector product-based fast cubic subproblem solvers, which makes SVRC algorithms computationally intractable for high-dimensional problems. In this paper, we first present a Stochastic Recursive Variance-Reduced Cubic regularization method (SRVRC) using a recursively updated semi-stochastic gradient and Hessian estimators. It enjoys improved gradient and Hessian complexities to find an $(\epsilon, \sqrt{\epsilon})$-approximate local minimum, and outperforms the state-of-the-art SVRC algorithms. Built upon SRVRC, we further propose a Hessian-free SRVRC algorithm, namely SRVRC$_{\text{free}}$, which only requires stochastic gradient and Hessian-vector product computations, and achieves $\tilde O(dn\epsilon^{-2} \land d\epsilon^{-3})$ runtime complexity, where $n$ is the number of component functions in the finite-sum structure, $d$ is the problem dimension, and $\epsilon$ is the optimization precision. This outperforms the best-known runtime complexity $\tilde O(d\epsilon^{-3.5})$ achieved by stochastic cubic regularization algorithm proposed in Tripuraneni et al. 2018.


title: Optimizing the formation of depth-confined nitrogen vacancy center spin ensembles in diamond for quantum sensing

abstract: Spin ensembles of nitrogen vacancy (NV) centers in diamond are emerging as powerful spin-based sensors for magnetic, electric and thermal field imaging with high spatial and temporal resolution. Here we characterize the formation of depth-confined NV center ensembles, activated by electron irradiation in diamond layers grown by plasma enhanced chemical vapor deposition with nitrogen co-doping. To do so, we exploit the high magnetic sensitivity of ensembles of NV centers to probe their spin environment as a function of growth and irradiation parameters. We engineer an NV ensemble whose magnetic sensitivity is within a factor of two of the static NV-NV dipolar interaction limit, thus demonstrating a powerful platform for quantum sensing.


title: An Extensive Formal Security Analysis of the OpenID Financial-grade API

abstract: Forced by regulations and industry demand, banks worldwide are working to open their customers' online banking accounts to third-party services via web-based APIs. By using these so-called Open Banking APIs, third-party companies, such as FinTechs, are able to read information about and initiate payments from their users' bank accounts. One of the most promising standards in this segment is the OpenID Financial-grade API (FAPI), currently under development in an open process by the OpenID Foundation and backed by large industry partners. The FAPI is a profile of OAuth 2.0 designed for high-risk scenarios and aiming to be secure against very strong attackers. To achieve this level of security, the FAPI employs a range of mechanisms that have been developed to harden OAuth 2.0. In this paper, we perform a rigorous, systematic formal analysis of the security of the FAPI, based on the Web Infrastructure Model (WIM) proposed by Fett, Kuesters, and Schmitz. To this end, we first develop a precise model of the FAPI in the WIM, including different profiles and combinations of security features. We then use our model of the FAPI to precisely define central security properties. In an attempt to prove these properties, we uncover partly severe attacks, breaking authentication, authorization, and session integrity properties. We develop mitigations against these attacks and finally are able to formally prove the security of a fixed version of the FAPI. This analysis is an important contribution to the development of the FAPI since it helps to define exact security properties and attacker models, and to avoid severe security risks. Of independent interest, we also uncover weaknesses in the aforementioned security mechanisms for hardening OAuth 2.0. We illustrate that these mechanisms do not necessarily achieve the security properties they have been designed for.


title: A nested Schur complement solver with mesh-independent convergence for the time domain photonics modeling

abstract: A nested Schur complement solver is proposed for iterative solution of linear systems arising in exponential and implicit time integration of the Maxwell equations with perfectly matched layer (PML) nonreflecting boundary conditions. These linear systems are the so-called double saddle point systems whose structure is handled by the Schur complement solver in a nested, two-level fashion. The solver is demonstrated to have a mesh-independent convergence at the outer level, whereas the inner level system is of elliptic type and thus can be treated efficiently by a variety of solvers.


title: On the Structure of Rotating Charged Boson Stars

abstract: In this work we present full sets of solutions for rotating charged boson stars with different coupling values. By adopting local comoving coordinates, we are able to find expressions for the effective hydrodynamic quantities of the fluids as seen by this class of observers. We show that not only is the energy density non zero at the center, for the uncharged case it has a local maximum at the core from which it decreases until the point of local minimum where its variation is discontinuous. For the first time, it is reported how rotating boson stars, charged and uncharged, are completely anisotropic fluids featuring three different pressures. Furthermore, the character of the electromagnetic fields is analyzed.


title: ExPRES: a Tool to Simulate Exoplanetary and Planetary Radio Emissions

abstract: All magnetized planets are known to produce intense non thermal radio emissions through a mechanism known as Cyclotron Maser Instability (CMI), requiring the presence of accelerated electrons generally arising from magnetospheric current systems. In return, radio emissions are a good probe of these current systems and acceleration processes. The CMI generates highly anisotropic emissions and leads to important visibility effects, which have to be taken into account when interpreting the data. Several studies showed that modeling the radio source anisotropic beaming pattern can reveal a wealth of physical information about the planetary or exoplanetary magnetospheres that produce these emissions. We present a numerical tool, called ExPRES (Exoplanetary and Planetary Radio Emission Simulator), which is able to reproduce the occurrence in time-frequency plane of CMI-generated radio emissions from planetary magnetospheres, exoplanets or star-planet interacting systems. Special attention is given to the computation of the radio emission beaming at and near its source. We explain what physical information about the system can be drawn from such radio observations, and how it is obtained. These information may include the location and dynamics of the radio sources, the type of current system leading to electron acceleration and their energy and, for exoplanetary systems, the magnetic field strength, the orbital period of the emitting body and the rotation period, tilt and offset of the planetary magnetic field. Most of these parameters can be remotely measured only via radio observations. The ExPRES code provides the proper framework of analysis and interpretation for past (Cassini, Voyager, Galileo), current (Juno, groundbased radiotelescopes) and future (BepiColombo, Juice) observations of planetary radio emissions, as well as for future detection of radio emissions from exoplanetary systems.


title: The Value Function Polytope in Reinforcement Learning

abstract: We establish geometric and topological properties of the space of value functions in finite state-action Markov decision processes. Our main contribution is the characterization of the nature of its shape: a general polytope (Aigner et al., 2010). To demonstrate this result, we exhibit several properties of the structural relationship between policies and value functions including the line theorem, which shows that the value functions of policies constrained on all but one state describe a line segment. Finally, we use this novel perspective to introduce visualizations to enhance the understanding of the dynamics of reinforcement learning algorithms.


title: Wave-vortex interactions, remote recoil, the Aharonov-Bohm effect and the Craik-Leibovich equation

abstract: Three examples of non-dissipative yet cumulative interaction between a single wavetrain and a single vortex are analysed, with a focus on effective recoil forces, local and remote. Local recoil occurs when the wavetrain overlaps the vortex core. All three examples comply with the pseudomomentum rule. The first two examples are two-dimensional and non-rotating (shallow water or gas dynamical). The third is rotating, with deep-water gravity waves inducing an Ursell `anti-Stokes flow'. The Froude or Mach number, and the Rossby number in the third example, are assumed small. Remote recoil is all or part of the interaction in all three examples, except in one special limiting case. That case is found only within a severely restricted parameter regime and is the only case in which, exceptionally, the effective recoil force can be regarded as purely local and identifiable with the celebrated Craik-Leibovich vortex force -- which corresponds, in the quantum fluids literature, to the Iordanskii force due to a phonon current incident on a vortex. Another peculiarity of that exceptional case is that the only significant wave refraction effect is the Aharonov-Bohm topological phase jump.


title: A class of abstract delay differential equations in the light of suns and stars

abstract: Using dual perturbation theory in a non-sun-reflexive context, we establish a correspondence between 1. a class of nonlinear abstract delay differential equations (DDEs) with unbounded linear part and an unknown taking values in an arbitrary Banach space and 2. a class of abstract weak* integral equations of convolution type involving the sun-star adjoint of a translation-like strongly continuous semigroup. For this purpose we also characterize the sun dual of the underlying state space. More generally we consider bounded linear perturbations of an arbitrary strongly continuous semigroup and we comment on some implications for the particular case of abstract DDEs.


title: Optimal power generation using dark states in dimers strongly coupled to their environment

abstract: Dark state protection has been proposed as a mechanism to increase the power output of light harvesting devices by reducing the rate of radiative recombination. Indeed many theoretical studies have reported increased power outputs in dimer systems which use quantum interference to generate dark states. These models have typically been restricted to particular geometries and to weakly coupled vibrational baths. Here we consider the experimentally-relevant strong vibrational coupling regime with no geometric restrictions on the dimer. We analyze how dark states can be formed in the dimer by numerically minimizing the emission rate of the lowest energy excited eigenstate, and then calculate the power output of the molecules with these dark states. We find that there are two distinct types of dark states depending on whether the monomers form homodimers, where energy splittings and dipole strengths are identical, or heterodimers, where there is some difference. Homodimers, which exploit destructive quantum interference, produce high power outputs but strong phonon couplings and perturbations from ideal geometries are extremely detrimental. Heterodimers, which are closer to the classical picture of a distinct donor and acceptor molecule, produce an intermediate power output that is relatively stable to these changes. The strong vibrational couplings typically found in organic molecules will suppress destructive interference and thus favour the dark-state enhancement offered by heterodimers.


title: Shaping the Narrative Arc: An Information-Theoretic Approach to Collaborative Dialogue

abstract: We consider the problem of designing an artificial agent capable of interacting with humans in collaborative dialogue to produce creative, engaging narratives. In this task, the goal is to establish universe details, and to collaborate on an interesting story in that universe, through a series of natural dialogue exchanges. Our model can augment any probabilistic conversational agent by allowing it to reason about universe information established and what potential next utterances might reveal. Ideally, with each utterance, agents would reveal just enough information to add specificity and reduce ambiguity without limiting the conversation. We empirically show that our model allows control over the rate at which the agent reveals information and that doing so significantly improves accuracy in predicting the next line of dialogues from movies. We close with a case-study with four professional theatre performers, who preferred interactions with our model-augmented agent over an unaugmented agent.


title: Addressing Sample Complexity in Visual Tasks Using HER and Hallucinatory GANs

abstract: Reinforcement Learning (RL) algorithms typically require millions of environment interactions to learn successful policies in sparse reward settings. Hindsight Experience Replay (HER) was introduced as a technique to increase sample efficiency by reimagining unsuccessful trajectories as successful ones by altering the originally intended goals. However, it cannot be directly applied to visual environments where goal states are often characterized by the presence of distinct visual features. In this work, we show how visual trajectories can be hallucinated to appear successful by altering agent observations using a generative model trained on relatively few snapshots of the goal. We then use this model in combination with HER to train RL agents in visual settings. We validate our approach on 3D navigation tasks and a simulated robotics application and show marked improvement over baselines derived from previous work.


title: A Geometric Perspective on Optimal Representations for Reinforcement Learning

abstract: We propose a new perspective on representation learning in reinforcement learning based on geometric properties of the space of value functions. We leverage this perspective to provide formal evidence regarding the usefulness of value functions as auxiliary tasks. Our formulation considers adapting the representation to minimize the (linear) approximation of the value function of all stationary policies for a given environment. We show that this optimization reduces to making accurate predictions regarding a special class of value functions which we call adversarial value functions (AVFs). We demonstrate that using value functions as auxiliary tasks corresponds to an expected-error relaxation of our formulation, with AVFs a natural candidate, and identify a close relationship with proto-value functions (Mahadevan, 2005). We highlight characteristics of AVFs and their usefulness as auxiliary tasks in a series of experiments on the four-room domain.


title: JIMWLK evolution and small-x asymptotics of 2n-tuple Wilson line correlators

abstract: JIMWLK equation tells how gauge invariant higher order Wilson line correlators would evolve at high energy. In this article we present a convenient integro-differential form of this equation, for 2n-tuple correlator, where all real and virtual terms are explicit. The `real' terms correspond to splitting (say at position z) of this 2n-tuple correlator to various pairs of 2m-tuple and (2n+2-2m)-tuple correlators whereas `virtual' terms correspond to splitting into pairs of 2m-tuple and (2n-2m)-tuple correlators. Kernels of virtual terms with m=0 (no splitting) and of real terms with m=1 (splitting with atleast one dipole) have poles and when integrated over z they do generate ultraviolet logarithmic divergences, separately for real and virtual terms. Except these two cases in all other terms the corresponding kernels, separately for real and virtual terms, have rather soften ultraviolet singularity and when integrated over z do not generate ultraviolet logarithmic divergences. We went on to study the solution of the JIMWLK equation for the 2n-tuple Wilson line correlator in the strong scattering regime where all transverse distances are much larger than inverse saturation momentum and shown that it also exhibits geometric scaling like color dipole deep inside saturation region.


title: Polysymplectic formulation for BF gravity with Immirzi parameter

abstract: The polysymplectic formulation of the CMPR action, which is a BF-type formulation of General Relativity that involves an arbitrary Immirzi parameter, is performed. We implement a particular scheme within this covariant Hamiltonian approach to analyze the constraints that characterize the CMPR model. By means of the privileged $(n-1)$-forms and the Poisson-Gerstenhaber bracket, inherent to the polysymplectic framework, the BF field equations associated to the CMPR action are obtained and, in consequence, the Einstein equations naturally emerge by solving the simplicity constraints of the theory. Further, from the polysymplectic analysis of the CMPR action the De Donder-Weyl Hamiltonian formulation of the Holst action is recovered, which is consistent with the Lagrangian analysis of this model as reported in the literature.


title: Reed-Muller codes polarize

abstract: Reed-Muller (RM) codes and polar codes are generated by the same matrix $G_m= \bigl[\begin{smallmatrix}1 & 0 \\ 1 & 1 \\ \end{smallmatrix}\bigr]^{\otimes m}$ but using different subset of rows. RM codes select simply rows having largest weights. Polar codes select instead rows having the largest conditional mutual information proceeding top to down in $G_m$; while this is a more elaborate and channel-dependent rule, the top-to-down ordering has the advantage of making the conditional mutual information polarize, giving directly a capacity-achieving code on any binary memoryless symmetric channel (BMSC). RM codes are yet to be proved to have such property. In this paper, we reconnect RM codes to polarization theory. It is shown that proceeding in the RM code ordering, i.e., not top-to-down but from the lightest to the heaviest rows in $G_m$, the conditional mutual information again polarizes. We further demonstrate that it does so faster than for polar codes. This implies that $G_m$ contains another code, different than the polar code and called here the twin code, that is provably capacity-achieving on any BMSC. This proves a necessary condition for RM codes to achieve capacity on BMSCs. It further gives a sufficient condition if the rows with the largest conditional mutual information correspond to the heaviest rows, i.e., if the twin code is the RM code. We show here that the two codes bare similarity with each other and give further evidence that they are likely the same.


title: Spectral analysis of the spin-boson Hamiltonian with two bosons for arbitrary coupling and bounded dispersion relation

abstract: We study the spectrum of the spin-boson Hamiltonian with two bosons for arbitrary coupling $\alpha>0$ in the case when the dispersion relation of the free field is a bounded function. We derive an explicit description of the essential spectrum which consists of the so-called two and three-particle branches that can be separated by a gap if the coupling is sufficiently large. It turns out, that depending on the location of the coupling constant and the energy level of the atom (with respect to certain constants depending on the maximal and the minimal values of the boson energy) as well as the validity or the violation of the infrared regularity type conditions, the essential spectrum is either a single finite interval or a disjoint union of at most six finite intervals. The corresponding critical values of the coupling constant are determined explicitly and the asymptotic lengths of the possible gaps are given when $\alpha$ approaches to the respective critical value. Under minimal smoothness and regularity conditions on the boson dispersion relation and the coupling function, we show that discrete eigenvalues can never accumulate at the edges of the two-particle branch. Moreover, we show the absence of the discrete eigenvalue accumulation at the edges of the three-particle branch in the infrared regular case.


title: Higher derivative corrections to Kerr black hole thermodynamics

abstract: In an effective field theory approach to gravity, the Einstein-Hilbert action is supplemented by higher derivative terms. In the absence of matter, four derivative terms can be eliminated by a field redefinition. We use the Euclidean action to calculate analytically the corrections to thermodynamic quantities of the Kerr solution arising from terms with six or eight derivatives. The eight derivative terms make a non-negative correction to the entropy (at fixed mass and angular momentum) if their coefficients have appropriate signs. The correction from the six derivative terms does not have a definite sign.


title: Stochastic tidal heating by random interactions with extended substructures

abstract: Gravitating systems surrounded by a dynamic sea of substructures experience fluctuations of the local tidal field which inject kinetic energy into the internal motions. This paper uses stochastic calculus techniques to describe `tidal heating' as a random walk of orbital velocities that leads to diffusion in a 4-dimensional energy--angular momentum space. In spherical, static potentials we derive analytical solutions for the Green's propagators directly from the number density and velocity distribution of substructures with known mass & size functions without arbitrary cuts in forces or impact parameters. Furthermore, a Monte-Carlo method is presented, which samples velocity 'kicks' from a probability function and can be used to model orbital scattering in fully generic potentials. For illustration, we follow the evolution of planetary orbits in a clumpy environment. We show that stochastic heating of (mass-less) discs in a Keplerian potential leads to the formation, and subsequent `evaporation' of Oort-like clouds, and derive analytical expressions for the escape rate and the fraction of comets on retrograde orbits as a function of time. Extrapolation of the subhalo mass function of Milky Way-like haloes down to the WIMP free-streaming length suggests that objects in the outer Solar system experience repeated interactions with dark microhaloes on dynamical time-scales.


title: Quantum Statistics and Spacetime Topology: Quantum Surgery Formulas

abstract: To formulate the universal constraints of quantum statistics data of generic long-range entangled quantum systems, we introduce the geometric-topology surgery theory on spacetime manifolds where quantum systems reside, cutting and gluing the associated quantum amplitudes, specifically in 2+1 and 3+1 spacetime dimensions. First, we introduce the fusion data for worldline and worldsheet operators capable of creating anyonic excitations of particles and strings, well-defined in gapped states of matter with intrinsic topological orders. Second, we introduce the braiding statistics data of particles and strings, such as the geometric Berry matrices for particle-string Aharonov-Bohm, 3-string, 4-string, or multi-string adiabatic loop braiding process, encoded by submanifold linkings, in the closed spacetime 3-manifolds and 4-manifolds. Third, we derive new `quantum surgery' formulas and constraints, analogous to Verlinde formula associating fusion and braiding statistics data via spacetime surgery, essential for defining the theory of topological orders, 3d and 4d TQFTs and potentially correlated to bootstrap boundary physics such as gapless modes, extended defects, 2d and 3d conformal field theories or quantum anomalies. This article is meant to be an extended and further detailed elaboration of our previous work [arXiv:1602.05951] and Chapter 6 of [arXiv:1602.05569]. Our theory applies to general quantum theories and quantum mechanical systems, also applicable to, but not necessarily requiring the quantum field theory description.

categories: quant-ph cond-mat.str-el hep-th math-ph math.GT math.MP


title: Hot Exoplanet Atmospheres Resolved with Transit Spectroscopy (HEARTS) - II. A broadened sodium feature on the ultra-hot giant WASP-76b

abstract: High-resolution optical spectroscopy is a powerful tool to characterise exoplanetary atmospheres from the ground. The sodium D lines, with their large cross sections, are especially suited to study the upper layers of atmospheres in this context. We report on the results from HEARTS, a spectroscopic survey of exoplanet atmospheres, performing a comparative study of hot gas giants to determine the effects of stellar irradiation. In this second installation of the series, we highlight the detection of neutral sodium on the ultra-hot giant WASP-76b. We observed three transits of the planet using the HARPS high-resolution spectrograph at the ESO 3.6m telescope and collected 175 spectra of WASP-76. We repeatedly detect the absorption signature of neutral sodium in the planet atmosphere ($0.371\pm0.034\%$; $10.75 \sigma$ in a $0.75$ \r{A} passband). The sodium lines have a Gaussian profile with full width at half maximum (FWHM) of $27.6\pm2.8$ km s$^{-1}$. This is significantly broader than the line spread function of HARPS ($2.7$ km s$^{-1}$). We surmise that the observed broadening could trace the super-rotation in the upper atmosphere of this ultra-hot gas giant.


title: Uncertainty Quantification in Molecular Signals using Polynomial Chaos Expansion

abstract: Molecular signals are abundant in engineering and biological contexts, and undergo stochastic propagation in fluid dynamic channels. The received signal is sensitive to a variety of input and channel parameter variations. Currently we do not understand how uncertainty or noise in a variety of parameters affect the received signal concentration, and nor do we have an analytical framework to tackle this challenge. In this paper, we utilize Polynomial Chaos Expansion (PCE) to show to uncertainty in parameters propagates to uncertainty in the received signal. In demonstrating its applicability, we consider a Turbulent Diffusion Molecular Communication (TDMC) channel and highlight which parameters affect the received signals. This can pave the way for future information theoretic insights, as well as guide experimental design.


title: Stable pairs and Gopakumar-Vafa type invariants for Calabi-Yau 4-folds

abstract: As an analogy to Gopakumar-Vafa conjecture on CY 3-folds, Klemm-Pandharipande defined GV type invariants on CY 4-folds using GW theory and conjectured their integrality. In this paper, we define stable pair type invariants on CY 4-folds and use them to interpret these GV type invariants. Examples are computed for both compact and non-compact CY 4-folds to support our conjectures.


title: High-Dimensional Uncertainty Quantification of Electronic and Photonic IC with Non-Gaussian Correlated Process Variations

abstract: Uncertainty quantification based on generalized polynomial chaos has been used in many applications. It has also achieved great success in variation-aware design automation. However, almost all existing techniques assume that the parameters are mutually independent or Gaussian correlated, which is rarely true in real applications. For instance, in chip manufacturing, many process variations are actually correlated. Recently, some techniques have been developed to handle non-Gaussian correlated random parameters, but they are time-consuming for high-dimensional problems. We present a new framework to solve uncertainty quantification problems with many non-Gaussian correlated uncertainties. Firstly, we propose a set of smooth basis functions to well capture the impact of non-Gaussian correlated process variations. We develop a tensor approach to compute these basis functions in a high-dimension setting. Secondly, we investigate the theoretical aspect and practical implementation of a sparse solver to compute the coefficients of all basis functions. We provide some theoretical analysis for the exact recovery condition and error bound of this sparse solver in the context of uncertainty quantification. We present three adaptive sampling approaches to improve the performance of the sparse solver. Finally, we validate our methods by synthetic and practical electronic/photonic ICs with 19 to 57 non-Gaussian correlated variation parameters. Our approach outperforms Monte Carlo by thousands of times in terms of efficiency. It can also accurately predict the output density functions with multiple peaks caused by non-Gaussian correlations, which are hard to capture by existing methods.


title: Dust trapping in protoplanetary disks

abstract: Planet formation is thought to begin with the growth of dust particles in protoplanetary disks from micrometer to millimeter and centimeter sizes. Dust growth is hindered by a number of growth barriers, according to dust evolution theory, while observational evidence indicates that somehow these barriers must have been overcome. The observational evidence of dust traps, in particular the Oph IRS 48 disk, with the Atacama Large Millimeter/submillimeter Array (ALMA) has changed our view of the dust growth process. In this article I review the history of dust trapping in models and observations.