title: Is the free energy landscape informative about transition rates? Lessons from the kinetic Ising model

abstract: An oft-used concept in modeling macromolecules is the free energy landscape, obtained by coarse-graining a vast number of microstates into a low-dimensional mesh of mesostates. If the landscape contains two or more local minima (macrostates),one can compute global rate constants provided the dynamics of the dividing barrier regions are known. Here we compared experimental rate constants between ordered states in a kinetic Ising model with rates calculated from a coarse-grained master equation derived from the microcanonical ensemble. The coarse-grained macroscopic rate constants were roughly 50 % larger than experiment across a range of environmental constraints, suggesting a systematic impediment of configurational progress on the microscopic scale that is specific to the structure of the Ising model. The error in coarse-graining lay with the calculation of the diffusion coefficient rather than with the shape of the free energy landscape, as ensemble- and time-averaged estimates of the latter were indistinguishable. Fluctuation analysis in the form of Nyquist theorem also failed to substantially improve the value of the effective diffusion coefficient, suggesting a failure of the fluctuation-dissipation theorem. These findings from the Ising model raises doubts over the validity of the free energy landscape approach in calculating absolute transition rates for more complex systems such as proteins.


title: Cosheaves

abstract: The categories pCS(X,Pro(k)) of precosheaves and CS(X,Pro(k)) of cosheaves on a small Grothendieck site X, with values in the category Pro(k) of pro-k-modules, are constructed. It is proved that pCS(X,Pro(k)) satisfies the AB4 and AB5* axioms, while CS(X,Pro(k)) satisfies AB3 and AB5*. Homology theories for cosheaves and precosheaves, based on quasi-projective resolutions, are constructed and investigated.


title: Elliptic multiple zeta values, modular graph functions and genus 1 superstring scattering amplitudes

abstract: In this PhD thesis we study holomorphic and non-holomorphic elliptic analogues of multiple zeta values, namely elliptic multiple zeta values and modular graph functions. Both classes of functions have been discovered very recently, and are involved in the computation of genus one superstring amplitudes. In particular, we obtain new results on the asymptotic expansion of these functions that allow us to perform explicit computations and point out analogies between genus zero and genus one amplitudes.


title: Ghost-free theories with arbitrary higher-order time derivatives

abstract: We construct no-ghost theories of analytic mechanics involving arbitrary higher-order derivatives in Lagrangian. It has been known that for theories involving at most second-order time derivatives in the Lagrangian, eliminating linear dependence of canonical momenta in the Hamiltonian is necessary and sufficient condition to eliminate Ostrogradsky ghost. In the previous work we showed for the specific quadratic model involving third-order derivatives that the condition is necessary but not sufficient, and linear dependence of canonical coordinates corresponding to higher time-derivatives also need to be removed appropriately. In this paper, we generalize the previous analysis and establish how to eliminate all the ghost degrees of freedom for general theories involving arbitrary higher-order derivatives in the Lagrangian. We clarify a set of degeneracy conditions to eliminate all the ghost degrees of freedom, under which we also show that the Euler-Lagrange equations are reducible to a second-order system.


title: Modeling electromagnetics on cylindrical meshes with applications to steel-cased wells

abstract: Simulating direct current resistivity, frequency domain electromagnetics and time domain electromagnetics in settings where steel cased boreholes are present is of interest across a range of applications including well-logging, monitoring subsurface injections such as hydraulic fracturing or carbon capture and storage. In some surveys, well-casings have been used as "extended electrodes" for near surface environmental or geotechnical applications. Wells are often cased with steel, which has both a high conductivity and a significant magnetic permeability. The large physical property contrasts as well as the large disparity in length-scales, which are introduced when a steel-cased well is in a modeling domain, makes performing an electromagnetic forward simulation challenging. Using this setting as motivation, we present a finite volume approach for modeling electromagnetic problems on cylindrically symmetric and 3D cylindrical meshes which include an azimuthal discretization. The associated software implementation includes modeling capabilities for direct current resistivity, time domain electromagnetics, and frequency domain electromagnetics for models that include variable electrical conductivity and magnetic permeability. Electric and magnetic fields, fluxes, and charges are readily accessible in any simulation so that they can be visualized and interrogated. We demonstrate the value of being able to explore the behaviour of electromagnetic fields and fluxes through examples which revisit a number of foundational papers on direct current resistivity and electromagnetics in steel-cased wells. The software implementation is open source and included as a part of the SimPEG software ecosystem for simulation and parameter estimation in geophysics.


title: Pullback dynamics of 2D incompressible non-autonomous Navier-Stokes equation on Lipschitz-like domain

abstract: This paper concerns the tempered pullback dynamics of 2D incompressible non-autonomous Navier-Stokes equation with non-homogeneous boundary condition on Lipschitz-like domain. With the presence of a time-dependent external force f(t) which only needs to be pullback translation bounded, we establish the existence of a minimal pullback attractor with respect to a universe of tempered sets for the corresponding non-autonomous dynamical system. We then give estimate on the finite fractal dimension of the attractor based on trace formula. Under the additional assumption that the external force is the sum of a stationary force and a non-autonomous perturbation, we also prove the upper semi-continuity of the attractors as the non-autonomous perturbation vanishes. Lastly, we also investigate the regularity of these attractors when smoother initial data is given. Our results are new even in the case of smooth domains.


title: Dipole Anisotropy as an Essential Qualifier for the Monopole Component of the Cosmic-Dawn Spectral Signature, and the Potential of Diurnal Pattern for Foreground Estimation

abstract: While the importance of detecting the Global spectral signatures of the red-shifted 21-cm line of atomic hydrogen from the very early epochs cannot be overstated, the associated challenges primarily include isolating the weak signal of interest from the orders of magnitude brighter foregrounds, and extend equally to reliably establishing the origin of the {\it apparent} global signal to the very early epochs. This letter proposes a critical dipole test that the measurements of the monopole component of the spectrum of interest should necessarily pass. Our criterion is based on a unique correspondence between the intrinsic monopole spectrum and the differential spectrum as an imprint of dipole anisotropy resulting from motion of observer with respect to the rest frame of our source (such as that of our Solar system, interpreted from the dipole anisotropy in CMBR). More importantly, the spectral manifestation of the dipole anisotropy gets {\it amplified} by a significant factor, depending on the monopole spectral slopes, rendering it feasible to measure. We describe details of such a test, and illustrate its application with the help of simulations. The letter also alludes to a novel model-independent path toward isolating the foreground contribution, using the diurnal pattern readily apparent in drift-scan observations. Such dipole qualifier for the monopole spectrum, when combined with reliable foreground estimation, is expected to pave way for in situ validation of spectral signatures from early epochs, important to presently reported and future detections of EoR signal.


title: Macdonald denominators for affine root systems, orthogonal theta functions, and elliptic determinantal point processes

abstract: Rosengren and Schlosser introduced notions of ${\it R}_N$-theta functions for the seven types of irreducible reduced affine root systems, ${\it R}_N={\it A}_{N-1}$, ${\it B}_{N}$, ${\it B}^{\vee}_N$, ${\it C}_{N}$, ${\it C}^{\vee}_N$, ${\it BC}_{N}$, ${\it D}_{N}$, $N \in \mathbb{N}$, and gave the Macdonald denominator formulas. We prove that, if the variables of the ${\it R}_N$-theta functions are properly scaled with $N$, they construct seven sets of biorthogonal functions, each of which has a continuous parameter $t \in (0, t_{\ast})$ with given $0< t_{\ast} < \infty$. Following the standard method in random matrix theory, we introduce seven types of one-parameter ($t \in (0, t_{\ast})$) families of determinantal point processes in one dimension, in which the correlation kernels are expressed by the biorthogonal theta functions. We demonstrate that they are elliptic extensions of the classical determinantal point processes whose correlation kernels are expressed by trigonometric and rational functions. In the scaling limits associated with $N \to \infty$, we obtain four types of elliptic determinantal point processes with an infinite number of points and parameter $t \in (0, t_{\ast})$. We give new expressions for the Macdonald denominators using the Karlin--McGregor--Lindstr\"om--Gessel--Viennot determinants for noncolliding Brownian paths, and show the realization of the associated elliptic determinantal point processes as noncolliding Brownian brides with a time duration $t_{\ast}$, which are specified by the pinned configurations at time $t=0$ and $t=t_{\ast}$.

categories: math.PR cond-mat.stat-mech math-ph math.CA math.MP nlin.SI


title: Global Convergence Analysis of the Flower Pollination Algorithm: A Discrete-Time Markov Chain Approach

abstract: Flower pollination algorithm is a recent metaheuristic algorithm for solving nonlinear global optimization problems. The algorithm has also been extended to solve multiobjective optimization with promising results. In this work, we analyze this algorithm mathematically and prove its convergence properties by using Markov chain theory. By constructing the appropriate transition probability for a population of flower pollen and using the homogeneity property, it can be shown that the constructed stochastic sequences can converge to the optimal set. Under the two proper conditions for convergence, it is proved that the simplified flower pollination algorithm can indeed satisfy these convergence conditions and thus the global convergence of this algorithm can be guaranteed. Numerical experiments are used to demonstrate that the flower pollination algorithm can converge quickly in practice and can thus achieve global optimality efficiently.


title: Additive Number Theory via Approximation by Regular Languages

abstract: We prove some new theorems in additive number theory, using novel techniques from automata theory and formal languages. As an example of our method, we prove that every natural number > 25 is the sum of at most three natural numbers whose base-2 representation has an equal number of 0's and 1's.


title: Valuation of contingent convertible catastrophe bonds - the case for equity conversion

abstract: Within the context of the banking-related literature on contingent convertible bonds, we comprehensively formalise the design and features of a relatively new type of insurance-linked security, called a contingent convertible catastrophe bond (CocoCat). We begin with a discussion of its design and compare its relative merits to catastrophe bonds and catastrophe-equity puts. Subsequently, we derive analytical valuation formulae for index-linked CocoCats under the assumption of independence between natural catastrophe and financial markets risks. We model natural catastrophe losses by a time-inhomogeneous compound Poisson process, with the interest-rate process governed by the Longstaff model. By using an exponential change of measure on the loss process, as well as a Girsanov-like transformation to synthetically remove the correlation between the share and interest-rate processes, we obtain these analytical formulae. Using selected parameter values in line with earlier research, we empirically analyse our valuation formulae for index-linked CocoCats. An analysis of the results reveals that the CocoCat prices are most sensitive to changing interest-rates, conversion fractions and the threshold levels defining the trigger times.


title: Generating Natural Language Adversarial Examples

abstract: Deep neural networks (DNNs) are vulnerable to adversarial examples, perturbations to correctly classified examples which can cause the model to misclassify. In the image domain, these perturbations are often virtually indistinguishable to human perception, causing humans and state-of-the-art models to disagree. However, in the natural language domain, small perturbations are clearly perceptible, and the replacement of a single word can drastically alter the semantics of the document. Given these challenges, we use a black-box population-based optimization algorithm to generate semantically and syntactically similar adversarial examples that fool well-trained sentiment analysis and textual entailment models with success rates of 97% and 70%, respectively. We additionally demonstrate that 92.3% of the successful sentiment analysis adversarial examples are classified to their original label by 20 human annotators, and that the examples are perceptibly quite similar. Finally, we discuss an attempt to use adversarial training as a defense, but fail to yield improvement, demonstrating the strength and diversity of our adversarial examples. We hope our findings encourage researchers to pursue improving the robustness of DNNs in the natural language domain.


title: Swarm Intelligence: Past, Present and Future

abstract: Many optimization problems in science and engineering are challenging to solve, and the current trend is to use swarm intelligence (SI) and SI-based algorithms to tackle such challenging problems. Some significant developments have been made in recent years, though there are still many open problems in this area. This paper provides a short but timely analysis about SI-based algorithms and their links with self-organization. Different characteristics and properties are analyzed here from both mathematical and qualitative perspectives. Future research directions are outlined and open questions are also highlighted.


title: Fine-grained Entity Typing through Increased Discourse Context and Adaptive Classification Thresholds

abstract: Fine-grained entity typing is the task of assigning fine-grained semantic types to entity mentions. We propose a neural architecture which learns a distributional semantic representation that leverages a greater amount of semantic context -- both document and sentence level information -- than prior work. We find that additional context improves performance, with further improvements gained by utilizing adaptive classification thresholds. Experiments show that our approach without reliance on hand-crafted features achieves the state-of-the-art results on three benchmark datasets.


title: Differentially Private k-Means with Constant Multiplicative Error

abstract: We design new differentially private algorithms for the Euclidean k-means problem, both in the centralized model and in the local model of differential privacy. In both models, our algorithms achieve significantly improved error guarantees than the previous state-of-the-art. In addition, in the local model, our algorithm significantly reduces the number of interaction rounds. Although the problem has been widely studied in the context of differential privacy, all of the existing constructions achieve only super constant approximation factors. We present, for the first time, efficient private algorithms for the problem with constant multiplicative error. Furthermore, we show how to modify our algorithms so they compute private corsets for k-means clustering in both models.


title: Explicit estimates on positive supersolutions of nonlinear elliptic equations and applications

abstract: In this paper we consider positive supersolutions of the nonlinear elliptic equation \[- \Delta u = \rho(x) f(u)|\nabla u|^p, \qquad \hfill \mbox{ in } \Omega,\] where $0\le p<1$, $ \Omega$ is an arbitrary domain (bounded or unbounded) in $ \IR^N$ ($N\ge 2$), $f: [0,a_{f}) \rightarrow \Bbb{R}_{+}$ $(0 < a_{f} \leqslant +\infty)$ is a non-decreasing continuous function and $\rho: \Omega \rightarrow \IR$ is a positive function. Using the maximum principle we give explicit estimates on positive supersolutions $u$ at each point $x\in\Omega$ where $\nabla u\not\equiv0$ in a neighborhood of $x$. As consequences, we discuss the dead core set of supersolutions on bounded domains, and also obtain Liouville type results in unbounded domains $\Omega$ with the property that $\sup_{x\in\Omega}dist (x,\partial\Omega)=\infty$.


title: Stability of the Stochastic Gradient Method for an Approximated Large Scale Kernel Machine

abstract: In this paper we measured the stability of stochastic gradient method (SGM) for learning an approximated Fourier primal support vector machine. The stability of an algorithm is considered by measuring the generalization error in terms of the absolute difference between the test and the training error. Our problem is to learn an approximated kernel function using random Fourier features for a binary classification problem via online convex optimization settings. For a convex, Lipschitz continuous and smooth loss function, given reasonable number of iterations stochastic gradient method is stable. We showed that with a high probability SGM generalizes well for an approximated kernel under given assumptions.We empirically verified the theoretical findings for different parameters using several data sets.


title: Profinite topologies

abstract: Profinite semigroups are a generalization of finite semigroups that come about naturally when one is interested in considering free structures with respect to classes of finite semigroups. They also appear naturally through dualization of Boolean algebras of regular languages. The additional structure is given by a compact zero-dimensional topology. Profinite topologies may also be considered on arbitrary abstract semigroups by taking the initial topology for homomorphisms into finite semigroups. This text is the proposed chapter of the Handdbook of Automata Theory dedicated to these topics. The general theory is formulated in the setting of universal algebra because it is mostly independent of specific properties of semigroups and more general algebras naturally appear in this context. In the case of semigroups, particular attention is devoted to solvability of systems of equations with respect to a pseudovariety, which is relevant for solving membership problems for pseudovarieties. Focus is also given to relatively free profinite semigroups per se, specially "large" ones, stressing connections with symbolic dynamics that bring light to their structure.


title: Learning in Games with Cumulative Prospect Theoretic Preferences

abstract: We consider repeated games where the players behave according to cumulative prospect theory (CPT). We show that, when the players have calibrated strategies and behave according to CPT, the natural analog of the notion of correlated equilibrium in the CPT case, as defined by Keskin, is not enough to capture all subsequential limits of the empirical distribution of action play. We define the notion of a mediated CPT correlated equilibrium via an extension of the stage game to a so-called mediated game. We then show, along the lines of the result of Foster and Vohra about convergence to the set of correlated equilibria when the players behave according to expected utility theory that, in the CPT case, under calibrated learning the empirical distribution of action play converges to the set of all mediated CPT correlated equilibria. We also show that, in general, the set of CPT correlated equilibria is not approachable in the Blackwell approachability sense. We observe that a mediated game is a specific type of a game with communication, as introduced by Myerson, and as a consequence we get that the revelation principle does not hold under CPT.


title: Higher equivariant and invariant topological complexity

abstract: In this paper we introduce the concepts of higher equivariant and invariant topological complexity; and study their properties. Then we compare them with equivariant LS-category. We give lower and upper bounds for these new invariants. We compute some of these invariants for moment angle complexes.


title: A Multilayer Comparative Study of XG-PON and 10G-EPON Standards

abstract: The purpose of this paper is to provide a multilayer review of the two major standards in next generation Passive Optical Networks (PONs) and technologies, the ITU-T 10-Gigabit-capable PON (XG-PON) and the IEEE 10 Gigabit Ethernet PON (10G-EPON). A study and a discussion on the standards are performed. The main intention of this paper is to compare XG-PON and 10G-EPON, mainly in terms of physical and data link layers. The paper answers the question of what are the common elements and the basic execution differences of the two standards. Moreover, critical points are raised regarding the Dynamic Bandwidth Allocation (DBA) schemes of both standards. Special focus is also pointed in the coexistence of XG-PON and 10G-EPON. Finally, the paper includes a discussion of open issues and continuing research regarding the two standards.


title: Sufficient conditions for the global rigidity of periodic graphs

abstract: Tanigawa (2016) showed that vertex-redundant rigidity of a graph implies its global rigidity in arbitrary dimension. We extend this result to periodic graphs under fixed lattice representations. A periodic graph is vertex-redundantly rigid if the deletion of a single vertex orbit under the periodicity results in a periodically rigid graph. Our proof is similar to the one of Tanigawa, but there are some added difficulties. First, it is not known whether periodic global rigidity is a generic property. This issue is resolved via a slight modification of a recent result of Kaszanitzy, Schulze and Tanigawa (2016). Secondly, while the rigidity of finite graphs in $\mathbb{R}^d$ on at most $d$ vertices obviously implies their global rigidity, it is non-trivial to prove a similar result for periodic graphs. This is accomplished by extending a result of Bezdek and Connelly (2002) on the existence of a continuous movement between two equivalent $d$-dimensional realisations of a single graph in $\mathbb{R}^{2d}$ to periodic frameworks. As an application of our result, we give a necessary and sufficient condition for the global rigidity of generic periodic body-bar frameworks in arbitrary dimension. This provides a periodic counterpart to a result of Connelly, Jordan and Whiteley (2013) regarding the global rigidity of generic finite body-bar frameworks.


title: Electronic structure and rovibrational predissociation of the 2sPi state in KLi

abstract: Adiabatic potential energy curves of the 3sSigma+, 3tSigma+, 2sPi and 2tPi states correlating for large internuclear distance with the K(4s) + Li(2p) atomic asymptote were calculated. Very good agreement between the calculated and the experimental curve of the 2sPi state allowed for a reliable description of the dissociation process through a small (20 cm-1 for J = 0) potential energy barrier. The barrier supports several rovibrational quasi-bound states and explicit time evolution of these states via the time-dependent nuclear Schroedinger equation, showed that the state populations decay exponentially in time. We were able to precisely describe the time-dependent dissociation process of several rovibrational levels and found that our calculated spectrum match very well with the assigned experimental spectrum. Moreover, our approach is able to predict the positions of previously unassigned lines despite their low intensity


title: Multi-Modal Coreference Resolution with the Correlation between Space Structures

abstract: Multi-modal data is becoming more common in big data background. Finding the semantically similar objects from different modality is one of the heart problems of multi-modal learning. Most of the current methods try to learn the inter-modal correlation with extrinsic supervised information, while intrinsic structural information of each modality is neglected. The performance of these methods heavily depends on the richness of training samples. However, obtaining the multi-modal training samples is still a labor and cost intensive work. In this paper, we bring a extrinsic correlation between the space structures of each modalities in coreference resolution. With this correlation, a semi-supervised learning model for multi-modal coreference resolution is proposed. We firstly extract high-level features of images and text, then compute the distances of each object from some reference points to build the space structure of each modality. With a shared reference point set, the space structures of each modality are correlated. We employ the correlation to build a commonly shared space that the semantic distance between multi-modal objects can be computed directly. The experiments on two multi-modal datasets show that our model performs better than the existing methods with insufficient training data.


title: Equations and Syzygies of K3 Carpets and Unions of Scrolls

abstract: We describe the equations and Gr\"obner bases of some degenerate K3 surfaces associated to rational normal scrolls. These K3 surfaces are members of a class of interesting singular projective varieties we call correspondence scrolls. The ideals of these surfaces are nested in a simple way that allows us to analyze them inductively. We describe explicit Gr\"obner bases and syzygies for these objects over the integers and this lets us treat them in all characteristics simultaneously.


title: Integrating Stance Detection and Fact Checking in a Unified Corpus

abstract: A reasonable approach for fact checking a claim involves retrieving potentially relevant documents from different sources (e.g., news websites, social media, etc.), determining the stance of each document with respect to the claim, and finally making a prediction about the claim's factuality by aggregating the strength of the stances, while taking the reliability of the source into account. Moreover, a fact checking system should be able to explain its decision by providing relevant extracts (rationales) from the documents. Yet, this setup is not directly supported by existing datasets, which treat fact checking, document retrieval, source credibility, stance detection and rationale extraction as independent tasks. In this paper, we support the interdependencies between these tasks as annotations in the same corpus. We implement this setup on an Arabic fact checking corpus, the first of its kind.


title: Morse-Bott Split Symplectic Homology

abstract: We introduce a chain complex associated to a Liouville domain $(\overline{W}, d\lambda)$ whose boundary $Y$ admits a Boothby--Wang contact form (i.e. is a prequantization space). The differential counts cascades of Floer solutions in the completion $W$ of $\overline{W}$, in the spirit of Morse--Bott homology (as in work of Bourgeois, Frauenfelder arXiv:math/0309373 and Bourgeois-Oancea arXiv:0704.1039). The homology of this complex is the symplectic homology of the completion $W$. We identify a class of simple cascades and show that their moduli spaces are cut out transversely for generic choice of auxiliary data. If $X$ is obtained by collapsing the boundary along Reeb orbits and $\Sigma$ is the quotient of $Y$ by the $S^1$-action induced by the Reeb flow, we also establish transversality for certain moduli spaces of holomorphic spheres in $X$ and in $\Sigma$. Finally, under monotonicity assumptions on $X$ and $\Sigma$, we show that for generic data, the differential in our chain complex counts elements of moduli spaces that are transverse. Furthermore, by some index estimates, we show that very few combinatorial types of cascades can appear in the differential.


title: Symplectic Homology of complements of smooth divisors

abstract: If $(X, \omega)$ is a symplectic manifold, and $\Sigma$ is a smooth symplectic submanifold Poincar\'e dual to a positive multiple of $\omega$, $X \setminus \Sigma$ admits a compactification as a Liouville domain, which we then complete to $(W, d\lambda)$. Under monotonicity assumptions on $X$ and on $\Sigma$, we construct a chain complex whose homology computes the Symplectic Homology of $W$. We show the differential is given in terms of Morse contributions, terms computed from Gromov-Witten invariants of $X$ relative to $\Sigma$ and terms computed from the Gromov-Witten invariants of $\Sigma$. We use a Morse-Bott model for symplectic homology. Our proof involves comparing Floer cylinders with punctures to pseudoholomorphic curves in in the symplectization of the unit normal bundle to $\Sigma$.


title: Bundles of Generalized Fixed-Point Algebras for Proper Groupoid Dynamical Systems

abstract: In this paper, we show that the generalized fixed-point algebra of a proper groupoid dynamical system, under certain assumptions, may be fibered over any locally compact Hausdorff space to which a continuous map exists from the unit space of the underlying groupoid. We will also provide some important examples.


title: A 2/3-Approximation Algorithm for Vertex-weighted Matching in Bipartite Graphs

abstract: We consider the maximum vertex-weighted matching problem (MVM), in which non-negative weights are assigned to the vertices of a graph, the weight of a matching is the sum of the weights of the matched vertices, and we are required to compute a matching of maximum weight. We describe an exact algorithm for MVM with $O(|V|\, |E|)$ time complexity, and then we design a $2/3$-approximation algorithm for MVM on bipartite graphs by restricting the length of augmenting paths to at most three. The latter algorithm has time complexity $O(|E| + |V| \log |V|)$. The approximation algorithm solves two MVM problems on bipartite graphs, each with weights only on one vertex part, and then finds a matching from these two matchings using the Mendelsohn-Dulmage Theorem. The approximation ratio of the algorithm is obtained by considering failed vertices, i.e., vertices that the approximation algorithm fails to match but the exact algorithm does. We show that at every step of the algorithm there are two distinct heavier vertices that we can charge each failed vertex to. We have implemented the $2/3$-approximation algorithm for MVM and compare it with four other algorithms: an exact MEM algorithm, the exact MVM algorithm, a $1/2$-approximation algorithm for MVM, and a scaling-based $(1-\epsilon)$-approximation algorithm for MEM. We also show that MVM problems should not be first transformed to MEM problems and solved using exact algorithms for the latter, since this transformation can increase runtimes by several orders of magnitude.


title: Tracing Equilibrium in Dynamic Markets via Distributed Adaptation

abstract: Competitive equilibrium is a central concept in economics with numerous applications beyond markets, such as scheduling, fair allocation of goods, or bandwidth distribution in networks. Computation of competitive equilibria has received a significant amount of interest in algorithmic game theory, mainly for the prominent case of Fisher markets. Natural and decentralized processes like tatonnement and proportional response dynamics (PRD) converge quickly towards equilibrium in large classes of Fisher markets. Almost all of the literature assumes that the market is a static environment and that the parameters of agents and goods do not change over time. In contrast, many large real-world markets are subject to frequent and dynamic changes. In this paper, we provide the first provable performance guarantees of discrete-time tatonnement and PRD in markets that are subject to perturbation over time. We analyze the prominent class of Fisher markets with CES utilities and quantify the impact of changes in supplies of goods, budgets of agents, and utility functions of agents on the convergence of tatonnement to market equilibrium. Since the equilibrium becomes a dynamic object and will rarely be reached, our analysis provides bounds expressing the distance to equilibrium that will be maintained via tatonnement and PRD updates. Our results indicate that in many cases, tatonnement and PRD follow the equilibrium rather closely and quickly recover conditions of approximate market clearing. Our approach can be generalized to analyzing a general class of Lyapunov dynamical systems with changing system parameters, which might be of independent interest.


title: ShapeStacks: Learning Vision-Based Physical Intuition for Generalised Object Stacking

abstract: Physical intuition is pivotal for intelligent agents to perform complex tasks. In this paper we investigate the passive acquisition of an intuitive understanding of physical principles as well as the active utilisation of this intuition in the context of generalised object stacking. To this end, we provide: a simulation-based dataset featuring 20,000 stack configurations composed of a variety of elementary geometric primitives richly annotated regarding semantics and structural stability. We train visual classifiers for binary stability prediction on the ShapeStacks data and scrutinise their learned physical intuition. Due to the richness of the training data our approach also generalises favourably to real-world scenarios achieving state-of-the-art stability prediction on a publicly available benchmark of block towers. We then leverage the physical intuition learned by our model to actively construct stable stacks and observe the emergence of an intuitive notion of stackability - an inherent object affordance - induced by the active stacking task. Our approach performs well even in challenging conditions where it considerably exceeds the stack height observed during training or in cases where initially unstable structures must be stabilised via counterbalancing.


title: Three-Dimensional Fermi Surface of Overdoped La-Based Cuprates

abstract: We present a soft x-ray angle-resolved photoemission spectroscopy study of the overdoped high-temperature superconductors La$_{2-x}$Sr$_x$CuO$_4$ and La$_{1.8-x}$Eu$_{0.2}$Sr$_x$CuO$_4$. In-plane and out-of-plane components of the Fermi surface are mapped by varying the photoemission angle and the incident photon energy. No $k_z$ dispersion is observed along the nodal direction, whereas a significant antinodal $k_z$ dispersion is identified. Based on a tight-binding parametrization, we discuss the implications for the density of states near the van-Hove singularity. Our results suggest that the large electronic specific heat found in overdoped La$_{2-x}$Sr$_x$CuO$_4$ can not be assigned to the van-Hove singularity alone. We therefore propose quantum criticality induced by a collapsing pseudogap phase as a plausible explanation for observed enhancement of electronic specific heat.


title: Synthesized Texture Quality Assessment via Multi-scale Spatial and Statistical Texture Attributes of Image and Gradient Magnitude Coefficients

abstract: Perceptual quality assessment for synthesized textures is a challenging task. In this paper, we propose a training-free reduced-reference (RR) objective quality assessment method that quantifies the perceived quality of synthesized textures. The proposed reduced-reference synthesized texture quality assessment metric is based on measuring the spatial and statistical attributes of the texture image using both image- and gradient-based wavelet coefficients at multiple scales. Performance evaluations on two synthesized texture databases demonstrate that our proposed RR synthesized texture quality metric significantly outperforms both full-reference and RR state-of-the-art quality metrics in predicting the perceived visual quality of the synthesized textures.


title: Planetary boundaries of consumption growth: Declining social discount rates

abstract: We introduce the logistic model of consumption growth, which captures a negative feedback loop preventing an unlimited growth of consumption due to finite biophysical resources of our planet. This simple dynamic model allows for derivation of the expression describing the declining long-term tail of a social discount curve. The latter plays a critical role in, e.g., climate finance with benefits on current investments deferred to centuries from now. The growth rate of consumption is irregularly evolving in time, which makes estimation of an expected term-structure of consumption growth and associated social discount rates a challenging task. Nonetheless, observations show that the problem at hand is perturbative with the small parameter being the product of an average strength of fluctuations in the growth rate and its autocorrelation time. This fact permits utilization of the cumulant expansion method to derive remarkably simple expressions for the term-structure of expected consumption growth and associated discount rates in the bounded economy. Comparison with empirical data shows that the dynamic effect related to the planetary resource constrains could become a dominant mechanism responsible for a declining long-term tail of a social discount curve at the time horizon estimated here as about100 years from now (the lower boundary). The derived results can help to shape a more realistic long-term social discounting policy. Furthermore, with the obvious redefinition of the key parameters of the model, obtained results are directly applicable for description of expected long-term population growth in stochastic environments.


title: Modeling and Experimental Verification of Adaptive 100% Stator Ground Fault Protection Schemes for Synchronous Generators

abstract: Salient pole synchronous generators as the main component of an electricity generation station should be carefully maintained and their operation has to be monitored such that any damage on them is avoided. Otherwise, the generating station might experience frequent shut downs which results in electricity generation interruptions and high costs associated with repairing and compensation of lack of energy. In this sense, many protective schemes focusing on a variety of synchronous generator faults have already been proposed and are still modified and developed to further enhance the quality of protection. In this thesis, synchronous generator stator windings to ground fault is studied as one of the most common and crucial faults in these machines. Numerous methods of stator winding to ground fault protection schemes are also reported in the literature. Third harmonic differential voltage and sub-harmonic schemes are studied in this research. A novel adaptive scheme for both methods is modelled and implemented in a comprehensive lab scale set-up where a real generation unit is scaled down including all different components and apparatus. The simulation model is also established based on simultaneous finite element analysis (FEA) and coupled magnetic circuit to assist with system configuration design and parameter selections. The adaptive scheme is proved to be capable of detecting stator windings to ground faults based on actual experimental data. Finally, the proposed adaptive scheme is compared against other available non-adaptive protection schemes currently used in industrial relays. Several important performance evaluation criteria in protection schemes such as sensitivity and security of operation referred to as reliability are considered. It is shown that the adaptive scheme offers higher reliability than other schemes which emphasizes its credibility and applicability.


title: Self-similar dynamics of air film entrained by a solid disk in confined space: a simple prototype of topological transitions

abstract: In hydrodynamic topological transitions, one mass of fluid breaks into two or two merge into one. For example, in the honey-drop formation when honey dripping from a spoon, honey is extended to separate into two as the liquid neck bridging them thins down to micron scales. At the moment when topology changes due to the breakup, physical observables such as surface curvature locally diverges. Such singular dynamics have widely attracted physicists, revealing universality in their self-similar dynamics, which share much in common with critical phenomena in thermodynamics. Many experimental examples have been found, which include electric spout and vibration-induced jet eruption. However, only a few cases have been physically understood on the basis of equations that govern the singular dynamics and even in such a case the physical understanding is mathematically complicated inevitably involving delicate numerical calculations. Here, we study breakup of air film entrained by a solid disk into viscous liquid in a confined space, which leads to formation, thinning and breakup of the neck of air. As a result, we unexpectedly find that equations governing the neck dynamics can be solved analytically by virtue of two remarkable experimental features: only a single length scale linearly dependent on time remains near the singularity and universal scaling functions describing singular neck shape and velocity field are both analytic. The present solvable case would be essential for our better understanding of the singular dynamics and will help unveil the physics of unresolved examples intimately related to daily-life phenomena and diverse practical applications.


title: Angiodysplasia Detection and Localization Using Deep Convolutional Neural Networks

abstract: Accurate detection and localization for angiodysplasia lesions is an important problem in early stage diagnostics of gastrointestinal bleeding and anemia. Gold-standard for angiodysplasia detection and localization is performed using wireless capsule endoscopy. This pill-like device is able to produce thousand of high enough resolution images during one passage through gastrointestinal tract. In this paper we present our winning solution for MICCAI 2017 Endoscopic Vision SubChallenge: Angiodysplasia Detection and Localization its further improvements over the state-of-the-art results using several novel deep neural network architectures. It address the binary segmentation problem, where every pixel in an image is labeled as an angiodysplasia lesions or background. Then, we analyze connected component of each predicted mask. Based on the analysis we developed a classifier that predict angiodysplasia lesions (binary variable) and a detector for their localization (center of a component). In this setting, our approach outperforms other methods in every task subcategory for angiodysplasia detection and localization thereby providing state-of-the-art results for these problems. The source code for our solution is made publicly available at https://github.com/ternaus/angiodysplasia-segmentatio


title: The geometry of the flex locus of a hypersurface

abstract: We give a formula in terms of multidimensional resultants for an equation for the flex locus of a projective hypersurface, generalizing a classical result of Salmon for surfaces. Using this formula, we compute the dimension of this flex locus, and an upper bound for the degree of its defining equations. We also show that, when the hypersurface is generic, this bound is reached, and that the generic flex line is unique and has the expected order of contact with the hypersurface.


title: Constraining black hole mimickers with gravitational wave observations

abstract: LIGO and Virgo have recently observed a number of gravitational wave (GW) signals that are fully consistent with being emitted by binary black holes described by general relativity. However, there are theoretical proposals of exotic objects that can be massive and compact enough to be easily confused with black holes. Nevertheless, these objects differ from black holes in having nonzero tidal deformabilities, which can allow one to distinguish binaries containing such objects from binary black holes using GW observations. Using full Bayesian parameter estimation, we investigate the possibility of constraining the parameter space of such "black hole mimickers" with upcoming GW observations. Employing perfect fluid stars with a polytropic equation of state as a simple model that can encompass a variety of possible black hole mimickers, we show how the observed masses and tidal deformabilities of a binary constrain the equation of state. We also show how such constraints can be used to rule out some simple models of boson stars.


title: Single- and two-nucleon momentum distributions for local chiral interactions

abstract: We present quantum Monte Carlo calculations of the single- and two-nucleon momentum distributions in selected nuclei for $A\le16$. We employ local chiral interactions at next-to-next-to-leading order. We find good agreement at low momentum with the single-nucleon momentum distributions derived for phenomenological potentials. The same agreement is found for the integrated two-nucleon momentum distributions at low relative momentum $q$ and low center-of-mass momentum $Q$. We provide results for the two-nucleon momentum distributions as a function of both $q$ and $Q$. The large ratio of $pn$ to $pp$ pairs around $q=2\,\rm fm^{-1}$ for back-to-back $(Q=0)$ pairs is confirmed up to $^{16}$O, and results are compatible with those extracted from available experimental data.


title: Ramanujan Graphs and Digraphs

abstract: Ramanujan graphs have fascinating properties and history. In this paper we explore a parallel notion of Ramanujan digraphs, collecting relevant results from old and recent papers, and proving some new ones. Almost-normal Ramanujan digraphs are shown to be of special interest, as they are extreme in the sense of an Alon-Boppana theorem, and they have remarkable combinatorial features, such as small diameter, Chernoff bound for sampling, optimal covering time and sharp cutoff. Other topics explored are the connection to Cayley graphs and digraphs, the spectral radius of universal covers, Alon's conjecture for random digraphs, and explicit constructions of almost-normal Ramanujan digraphs.


title: New counts for the number of triangulations of cyclic polytopes

abstract: We report on enumerating the triangulations of cyclic polytopes with the new software mptopcom. This is relevant for its connection with higher Stasheff-Tamari orders, which occur in category theory and algebraic combinatorics.


title: Event horizon image within black hole shadow

abstract: We argue that a genuine image of the black hole viewed by a distant observer is not its shadow, but a more compact event horizon image probed by the luminous matter plunging into black hole. The external border of the black hole shadow is washed out by radiation from matter plunging into black hole and approaching the event horizon. This effect will crucially influence the results of future observations by the Event Horizon Telescope. We show that gravitational lensing of the luminous matter plunging into black hole provides the possibility for visualization of the event horizon. The lensed image of the event horizon is formed by the highly red-shifted photons emitted by the plunging matter very near the black hole event horizon and detected by a distant observer. The resulting event horizon image is a gravitationally lensed projection on the celestial sphere of the whole black hole event horizon sphere. Seemingly, black holes are the unique objects in the Universe which may be viewed by distant observers at once from both the front and back sides.


title: A combinatorial matrix approach for the generation of vacuum Feynman graphs multiplicities in $\phi^4$ theory

abstract: From the standard procedure for constructing Feynman vacuum graphs in $\phi^4$ theory from the generating functional $Z$, we find a relation with sets of certain combinatorial matrices, which allows us to generate the set of all Feynman graphs and the respective multiplicities in an equivalent combinatoric way. These combinatorial matrices are explicitly related with the permutation group, which facilitates the construction of the vacuum Feynman graphs. Various insights in this combinatoric problem are proposed, which in principle provide an efficient way to compute the Feynman vacuum graphs and its multiplicities.


title: A Channel-based Exact Inference Algorithm for Bayesian Networks

abstract: This paper describes a new algorithm for exact Bayesian inference that is based on a recently proposed compositional semantics of Bayesian networks in terms of channels. The paper concentrates on the ideas behind this algorithm, involving a linearisation (`stretching') of the Bayesian network, followed by a combination of forward state transformation and backward predicate transformation, while evidence is accumulated along the way. The performance of a prototype implementation of the algorithm in Python is briefly compared to a standard implementation (pgmpy): first results show competitive performance.


title: Learning from the experts: From expert systems to machine-learned diagnosis models

abstract: Expert diagnostic support systems have been extensively studied. The practical applications of these systems in real-world scenarios have been somewhat limited due to well-understood shortcomings, such as lack of extensibility. More recently, machine-learned models for medical diagnosis have gained momentum, since they can learn and generalize patterns found in very large datasets like electronic health records. These models also have shortcomings - in particular, there is no easy way to incorporate prior knowledge from existing literature or experts. In this paper, we present a method to merge both approaches by using expert systems as generative models that create simulated data on which models can be learned. We demonstrate that such a learned model not only preserves the original properties of the expert systems but also addresses some of their limitations. Furthermore, we show how this approach can also be used as the starting point to combine expert knowledge with knowledge extracted from other data sources, such as electronic health records.


title: A General Per-Flow Service Curve for GPS

abstract: Generalized Processor Sharing (GPS), which provides the theoretical underpinnings for fair packet scheduling algorithms, has been studied extensively. However, a tight formulation of the available service of a flow only exists for traffic that is regulated by affine arrival envelopes and constant-rate links. In this paper, we show that the universal service curve by Parekh and Gallager can be extended to concave arrival envelopes and links with time-variable capacity. We also dispense with the previously existing assumption of a stable system.


title: Search for Spatial Extension in High-Latitude Sources Detected by the Fermi Large Area Telescope

abstract: We present a search for spatial extension in high-latitude ($|b|>5^\circ$) sources in recent Fermi point source catalogs. The result is the Fermi High-Latitude Extended Sources Catalog, which provides source extensions (or upper limits thereof) and likelihood profiles for a suite of tested source morphologies. We find 24 extended sources, 19 of which were not previously characterized as extended. These include sources that are potentially associated with supernova remnants and star forming regions. We also found extended $\gamma$-ray emission in the vicinity of the Cen A radio lobes and - at GeV energies for the first time - spatially coincident with the radio emission of the SNR CTA 1, as well as from the Crab Nebula. We also searched for halos around active galactic nuclei, which are predicted from electromagnetic cascades that are induced by the $e^+e^-$ pairs that are deflected in intergalactic magnetic fields. These are produced when $\gamma$-rays interact with background radiation fields. We do not find evidence for extension in individual sources or in stacked source samples. This enables us to place limits on the flux of the extended source components, which are then used to constrain the intergalactic magnetic field a coherence length $\lambda \gtrsim 10\,$kpc, even when conservative assumptions on the source duty cycle are made. This improves previous limits by several orders of magnitude.


title: Symmetric drainage flow of a compressible fluid from a fracture: analytical solution and slip-like flow rate

abstract: Symmetric drainage flow of a compressible fluid from a fracture modeled as a long narrow channel is studied on the basis of linearized compressible Navier-Stokes equations with no-slip condition. The Helmholtz decomposition theorem is used to decompose the velocity field into an irrotational part and a solenoidal part. The irrotational velocity is driven by the fluid's volumetric expansion whilst the role of the solenoidal velocity is to enforce the no-slip condition for the overall velocity and it does not contribute to the mass flow rate. It is found that at large times this no-slip flow exhibits a time-dependent slip-like mass flow rate linearly proportional to the channel gap instead of the cubic power of the gap from the Poiseuille-type of flow. The drainage rate is also proportional to the kinematic viscosity, opposite to Poiseuille-type of flow which has a drainage rate proportional to the inverse of the kinematic viscosity. The same drainage rate formula also applies to drainage flow from a semi-sealed microchannel.


title: Cross-lingual Semantic Parsing

abstract: We introduce the task of cross-lingual semantic parsing: mapping content provided in a source language into a meaning representation based on a target language. We present: (1) a meaning representation designed to allow systems to target varying levels of structural complexity (shallow to deep analysis), (2) an evaluation metric to measure the similarity between system output and reference meaning representations, (3) an end-to-end model with a novel copy mechanism that supports intrasentential coreference, and (4) an evaluation dataset where experiments show our model outperforms strong baselines by at least 1.18 F1 score.


title: Homogeneous continua that are not separated by arcs

abstract: We prove that if $X$ is a strongly locally homogeneous and locally compact separable metric space and $G$ is a region in $X$ with $\dim G=2$, then $G$ is not separated by any arc in $G$.


title: Learning Myelin Content in Multiple Sclerosis from Multimodal MRI through Adversarial Training

abstract: Multiple sclerosis (MS) is a demyelinating disease of the central nervous system (CNS). A reliable measure of the tissue myelin content is therefore essential for the understanding of the physiopathology of MS, tracking progression and assessing treatment efficacy. Positron emission tomography (PET) with $[^{11} \mbox{C}] \mbox{PIB}$ has been proposed as a promising biomarker for measuring myelin content changes in-vivo in MS. However, PET imaging is expensive and invasive due to the injection of a radioactive tracer. On the contrary, magnetic resonance imaging (MRI) is a non-invasive, widely available technique, but existing MRI sequences do not provide, to date, a reliable, specific, or direct marker of either demyelination or remyelination. In this work, we therefore propose Sketcher-Refiner Generative Adversarial Networks (GANs) with specifically designed adversarial loss functions to predict the PET-derived myelin content map from a combination of MRI modalities. The prediction problem is solved by a sketch-refinement process in which the sketcher generates the preliminary anatomical and physiological information and the refiner refines and generates images reflecting the tissue myelin content in the human brain. We evaluated the ability of our method to predict myelin content at both global and voxel-wise levels. The evaluation results show that the demyelination in lesion regions and myelin content in normal-appearing white matter (NAWM) can be well predicted by our method. The method has the potential to become a useful tool for clinical management of patients with MS.


title: A Fluid-Flow Interpretation of SCED Scheduling

abstract: We show that a fluid-flow interpretation of Service Curve Earliest Deadline First (SCED) scheduling simplifies deadline derivations for this scheduler. By exploiting the recently reported isomorphism between min-plus and max-plus network calculus, and expressing deadlines in a max-plus algebra, deadline computations no longer require pseudo-inverse computations. SCED deadlines are provided for general convex or concave piecewise linear service curves.


title: Asymptotically Equivalent Functions and Ultrafilters applied to Noncommutative Quantum Cosmology

abstract: Using the semi-classical approximation to the Wheeler-DeWitt equation obtained via Arnowitt-Deser-Misner (ADM) formalism in the Friedmann-Lemaitre-Robertson-Walker (FLRW) model coupled to a scalar field and positive cosmological constant, and in the Kantowski-Sachs (KS) Universe, we introduced a deformation on the commutation relation for the minisuperspace variables and find an explicit semiclassical expression equivalent, in an adequate limit, to the solution with the aid of asymptotically equal functions and the theory of Ultrafilters, offering a suggestive alternative to sketch the behavior of the dynamical system involved without the need to solve it numerically.


title: Bridgeout: stochastic bridge regularization for deep neural networks

abstract: A major challenge in training deep neural networks is overfitting, i.e. inferior performance on unseen test examples compared to performance on training examples. To reduce overfitting, stochastic regularization methods have shown superior performance compared to deterministic weight penalties on a number of image recognition tasks. Stochastic methods such as Dropout and Shakeout, in expectation, are equivalent to imposing a ridge and elastic-net penalty on the model parameters, respectively. However, the choice of the norm of weight penalty is problem dependent and is not restricted to $\{L_1,L_2\}$. Therefore, in this paper we propose the Bridgeout stochastic regularization technique and prove that it is equivalent to an $L_q$ penalty on the weights, where the norm $q$ can be learned as a hyperparameter from data. Experimental results show that Bridgeout results in sparse model weights, improved gradients and superior classification performance compared to Dropout and Shakeout on synthetic and real datasets.


title: Halogen in Materials Design: Revealing the Nature of Hydrogen Bonding and Other Non-Covalent Interactions in the Polymorphic Transformations of Methylammonium Lead Tribromide Perovskite

abstract: Methylammonium lead tribromide perovskite (CH3NH3PbBr3, or MAPbBr3) as a photovoltaic material has attracted a great deal of recent interest. Factors that are important in their application in optoelectronic devices include their fractional contribution of the composition of the materials as well as their microscopic arrangement that is responsible for the formation of well-defined macroscopic structures. CH3NH3PbBr3 assumes different polymorphs (orthorhombic, tetragonal and cubic) depending on the evolution temperature of the bulk material. Density functional theory calculations have been performed on polymorphs of CH3NH3PbBr3 to demonstrate that the H atoms on C of the methyl group in MA entrapped within a MAPbBr3 perovskite cage are not electronically innocent, as is often contended. We show here that these H atoms are involved in attractive interactions with the surrounding bromides of corner-sharing octahedra of the CH3NH3PbBr3 cage to form Br...H(-C) hydrogen bonding interactions. This is analogous to the way the H atoms on N of the ammonium group in MA form Br...H(-N) hydrogen bonding interactions to stabilize the structure of CH3NH3PbBr3. Both these hydrogen bonding interactions are shown to persist regardless of the nature of the three polymorphic forms of CH3NH3PbBr3. These, together with the Br...C(-N) carbon bonding, the Br...N(-C) pnictogen bonding, and the Br...Br lump-hole type intermolecular non-covalent interactions identified for the first time in this study, are shown to be collectively responsible for the eventual emergence of the orthorhombic geometry of the CH3NH3PbBr3 system. These conclusions are arrived at from a systematic analysis of the results obtained from combined DFT, Quantum Theory of Atoms in Molecules, and Reduced Density Gradient Non-Covalent Interaction calculations carried out on the three temperature-dependent polymorphic geometries of CH3NH3PbBr3.


title: Predicting User Performance and Bitcoin Price Using Block Chain Transaction Network

abstract: This work is organized as follows. In the first section we review the prior work and we have obtained our data. Next, we will look at address reuse in the Bitcoin network. We show that a great portion of users reuse their addresses which could enable us to cluster the addresses and attribute them to single users. Next, we will categorize the nodes based on their role in the network as a customer or seller. Finally, we do a study of nodes and network performance.


title: The Advantage of Foraging Myopically

abstract: We study the dynamics of a \emph{myopic} forager that randomly wanders on a lattice in which each site contains one unit of food. Upon encountering a food-containing site, the forager eats all the food at this site with probability $p<1$; otherwise, the food is left undisturbed. When the forager eats, it can wander $\mathcal{S}$ additional steps without food before starving to death. When the forager does not eat, either by not detecting food on a full site or by encountering an empty site, the forager goes hungry and comes one time unit closer to starvation. As the forager wanders, a multiply connected spatial region where food has been consumed---a desert---is created. The forager lifetime depends non-monotonically on its degree of myopia $p$, and at the optimal myopia $p=p^*(\mathcal{S})$, the forager lives much longer than a normal forager that always eats when it encounters food. This optimal lifetime grows as $\mathcal{S}^2/\ln\mathcal{S}$ in one dimension and faster than a power law in $\mathcal{S}$ in two and higher dimensions.


title: First Impressions: A Survey on Vision-Based Apparent Personality Trait Analysis

abstract: Personality analysis has been widely studied in psychology, neuropsychology, and signal processing fields, among others. From the past few years, it also became an attractive research area in visual computing. From the computational point of view, by far speech and text have been the most considered cues of information for analyzing personality. However, recently there has been an increasing interest from the computer vision community in analyzing personality from visual data. Recent computer vision approaches are able to accurately analyze human faces, body postures and behaviors, and use these information to infer apparent personality traits. Because of the overwhelming research interest in this topic, and of the potential impact that this sort of methods could have in society, we present in this paper an up-to-date review of existing vision-based approaches for apparent personality trait recognition. We describe seminal and cutting edge works on the subject, discussing and comparing their distinctive features and limitations. Future venues of research in the field are identified and discussed. Furthermore, aspects on the subjectivity in data labeling/evaluation, as well as current datasets and challenges organized to push the research on the field are reviewed.


title: Magnetic Droplet Soliton Nucleation in Oblique Fields

abstract: We study the auto-oscillating magnetodynamics in orthogonal spin torque nano-oscillators (STNOs) as a function of the out-of-plane (OOP) magnetic field angle. In perpendicular fields and at OOP field angles down to approximately 50 degrees we observe the nucleation of a droplet. However, for field angles below 50 degrees, experiments indicate that the droplet gives way to propagating spin waves, in agreement with our micromagnetic simulations. Theoretical calculations show that the physical mechanism behind these observations is the sign changing of spin-wave nonlinearity (SWN) by angle. In addition, we show that the presence of a strong perpendicular magnetic anisotropy (PMA) free layer in the system reverses the angular dependence of the SWN and dynamics in STNOs with respect to the known behavior determined for the in-plane magnetic anisotropy free layer. Our results are of fundamental interest in understanding the rich dynamics of nanoscale solitons and spin-wave dynamics in STNOs.


title: Accurate determination of the absolute 3He/4He ratio of a synthesized helium standard gas (Helium Standard of Japan, HESJ): Towards revision of the atmospheric 3He/4He ratio

abstract: The helium standard of Japan, referred to as HESJ, is an inter-laboratory standard for the 3He/4He ratio. While the ratio of 3He and 4He of the HESJ was previously determined by a relative comparison to atmospheric helium, the absolute value of the 3He/4He ratio of the HESJ has not been directly determined yet. Therefore, it relies on the early measurements of that of atmospheric helium. The accuracy of the absolute 3He/4He ratios of the atmosphere and other working standards including HESJ is crucial in some applications of helium isotopes, such as tritium-3He dating, surface-exposure age determination based on cosmogenic 3He, and the accurate measurement of the neutron lifetime. In this work, new control samples of helium gases with 3He/4He ratios of 14, 28, and 42 ppm were fabricated with accuracy of 0.25-0.38% using a gas-handling system for a neutron lifetime experiment at Japan Proton Accelerator Research Complex (J-PARC). The relative 3He/4He ratios of these samples and the HESJ were measured using a magnetic-sector-type, single-focusing, noble gas mass spectrometer with a double collector system. As a result, the absolute 3He/4He ratio of the HESJ was determined as 27.36 +/- 0.11 ppm. The atmospheric 3He/4He ratio was determined as 1.340 +/- 0.006 ppm, based on this work.


title: Semi-supervised User Geolocation via Graph Convolutional Networks

abstract: Social media user geolocation is vital to many applications such as event detection. In this paper, we propose GCN, a multiview geolocation model based on Graph Convolutional Networks, that uses both text and network context. We compare GCN to the state-of-the-art, and to two baselines we propose, and show that our model achieves or is competitive with the state- of-the-art over three benchmark geolocation datasets when sufficient supervision is available. We also evaluate GCN under a minimal supervision scenario, and show it outperforms baselines. We find that highway network gates are essential for controlling the amount of useful neighbourhood expansion in GCN.


title: Multi-Head Decoder for End-to-End Speech Recognition

abstract: This paper presents a new network architecture called multi-head decoder for end-to-end speech recognition as an extension of a multi-head attention model. In the multi-head attention model, multiple attentions are calculated, and then, they are integrated into a single attention. On the other hand, instead of the integration in the attention level, our proposed method uses multiple decoders for each attention and integrates their outputs to generate a final output. Furthermore, in order to make each head to capture the different modalities, different attention functions are used for each head, leading to the improvement of the recognition performance with an ensemble effect. To evaluate the effectiveness of our proposed method, we conduct an experimental evaluation using Corpus of Spontaneous Japanese. Experimental results demonstrate that our proposed method outperforms the conventional methods such as location-based and multi-head attention models, and that it can capture different speech/linguistic contexts within the attention-based encoder-decoder framework.


title: Non-Abelian vortex in lattice gauge theory

abstract: We perform the Monte Carlo study of the SU(3) non-Abelian Higgs model. We discuss phase structure and non-Abelian vortices by gauge invariant operators. External magnetic fields induce non-Abelian vortices in the color-flavor locked phase. The spatial distribution of non-Abelian vortices suggests the repulsive vortex-vortex interaction.


title: HeteroMed: Heterogeneous Information Network for Medical Diagnosis

abstract: With the recent availability of Electronic Health Records (EHR) and great opportunities they offer for advancing medical informatics, there has been growing interest in mining EHR for improving quality of care. Disease diagnosis due to its sensitive nature, huge costs of error, and complexity has become an increasingly important focus of research in past years. Existing studies model EHR by capturing co-occurrence of clinical events to learn their latent embeddings. However, relations among clinical events carry various semantics and contribute differently to disease diagnosis which gives precedence to a more advanced modeling of heterogeneous data types and relations in EHR data than existing solutions. To address these issues, we represent how high-dimensional EHR data and its rich relationships can be suitably translated into HeteroMed, a heterogeneous information network for robust medical diagnosis. Our modeling approach allows for straightforward handling of missing values and heterogeneity of data. HeteroMed exploits metapaths to capture higher level and semantically important relations contributing to disease diagnosis. Furthermore, it employs a joint embedding framework to tailor clinical event representations to the disease diagnosis goal. To the best of our knowledge, this is the first study to use Heterogeneous Information Network for modeling clinical data and disease diagnosis. Experimental results of our study show superior performance of HeteroMed compared to prior methods in prediction of exact diagnosis codes and general disease cohorts. Moreover, HeteroMed outperforms baseline models in capturing similarities of clinical events which are examined qualitatively through case studies.


title: Learning Sentence Embeddings for Coherence Modelling and Beyond

abstract: We present a novel and effective technique for performing text coherence tasks while facilitating deeper insights into the data. Despite obtaining ever-increasing task performance, modern deep-learning approaches to NLP tasks often only provide users with the final network decision and no additional understanding of the data. In this work, we show that a new type of sentence embedding learned through self-supervision can be applied effectively to text coherence tasks while serving as a window through which deeper understanding of the data can be obtained. To produce these sentence embeddings, we train a recurrent neural network to take individual sentences and predict their location in a document in the form of a distribution over locations. We demonstrate that these embeddings, combined with simple visual heuristics, can be used to achieve performance competitive with state-of-the-art on multiple text coherence tasks, outperforming more complex and specialized approaches. Additionally, we demonstrate that these embeddings can provide insights useful to writers for improving writing quality and informing document structuring, and assisting readers in summarizing and locating information.


title: Jamming of packings of frictionless particles with and without shear

abstract: By minimizing the enthalpy of packings of frictionless particles, we obtain jammed solids at desired pressures and hence investigate the jamming transition with and without shear. Typical scaling relations of the jamming transition are recovered in both cases. In contrast to systems without shear, shear-driven jamming transition occurs at a higher packing fraction and the jammed solids are more rigid with an anisotropic force network. Furthermore, by introducing the macro-friction coefficient, we propose an explanation of the packing fraction gap between sheared and non-sheared systems at fixed pressure.


title: Nonparametric Bayesian Instrumental Variable Analysis: Evaluating Heterogeneous Effects of Coronary Arterial Access Site Strategies

abstract: Percutaneous coronary interventions (PCIs) are nonsurgical procedures to open blocked blood vessels to the heart, frequently using a catheter to place a stent. The catheter can be inserted into the blood vessels using an artery in the groin or an artery in the wrist. Because clinical trials have indicated that access via the wrist may result in fewer post procedure complications, shortening the length of stay, and ultimately cost less than groin access, adoption of access via the wrist has been encouraged. However, patients treated in usual care are likely to differ from those participating in clinical trials, and there is reason to believe that the effectiveness of wrist access may differ between males and females. Moreover, the choice of artery access strategy is likely to be influenced by patient or physician unmeasured factors. To study the effectiveness of the two artery access site strategies on hospitalization charges, we use data from a state-mandated clinical registry including 7,963 patients undergoing PCI. A hierarchical Bayesian likelihood-based instrumental variable analysis under a latent index modeling framework is introduced to jointly model outcomes and treatment status. Our approach accounts for unobserved heterogeneity via a latent factor structure, and permits nonparametric error distributions with Dirichlet process mixture models. Our results demonstrate that artery access in the wrist reduces hospitalization charges compared to access in the groin, with higher mean reduction for male patients.


title: Classification of Symmetry Derived Pairing at M Point in FeSe

abstract: Using the constraints imposed by the crystalline symmetry of FeSe and the experimentally observed phenomenology, we analyze the possible pairing symmetry of the superconducting order parameter focusing on intercalated and monolayer FeSe compounds. Such analysis leads to three possible pairing symmetry states -- s-wave, d-wave, and helical p-wave. Despite the differences in the pairing symmetry, each of these states is fully gapped with gap minimum centered above the normal state Fermi surface, in agreement with photoemission data of Y. Zhang et al. The analysis provides additional insights into the possible pairing mechanism for each of these states, highlighting the detrimental role of the renormalized repulsive intra-orbital Hubbard $U$ and inter-orbital $U'$ , and the beneficial role of the pair hopping $J'$ and the Hunds $J$ terms, as well as the spin-orbit coupling in the effective low-energy Hamiltonian.


title: A Study on Passage Re-ranking in Embedding based Unsupervised Semantic Search

abstract: State of the art approaches for (embedding based) unsupervised semantic search exploits either compositional similarity (of a query and a passage) or pair-wise word (or term) similarity (from the query and the passage). By design, word based approaches do not incorporate similarity in the larger context (query/passage), while compositional similarity based approaches are usually unable to take advantage of the most important cues in the context. In this paper we propose a new compositional similarity based approach, called variable centroid vector (VCVB), that tries to address both of these limitations. We also presents results using a different type of compositional similarity based approach by exploiting universal sentence embedding. We provide empirical evaluation on two different benchmarks.


title: Adversarial Training for Community Question Answer Selection Based on Multi-scale Matching

abstract: Community-based question answering (CQA) websites represent an important source of information. As a result, the problem of matching the most valuable answers to their corresponding questions has become an increasingly popular research topic. We frame this task as a binary (relevant/irrelevant) classification problem, and present an adversarial training framework to alleviate label imbalance issue. We employ a generative model to iteratively sample a subset of challenging negative samples to fool our classification model. Both models are alternatively optimized using REINFORCE algorithm. The proposed method is completely different from previous ones, where negative samples in training set are directly used or uniformly down-sampled. Further, we propose using Multi-scale Matching which explicitly inspects the correlation between words and ngrams of different levels of granularity. We evaluate the proposed method on SemEval 2016 and SemEval 2017 datasets and achieves state-of-the-art or similar performance.


title: Spatial analysis of U.S. Supreme Court 5-to-4 decisions

abstract: While the U.S. Supreme Court is commonly viewed as comprising a liberal bloc and a conservative bloc, with a possible swing vote or median justice between them, surprisingly many case decisions are not explained by this simple model. We introduce a pair of spatial methods for conceptualizing many 5-to-4 voting alignments that have occurred on the Court and which defy the usual liberal/conservative dichotomy. These methods, utilizing higher order Voronoi diagrams and halving lines (k-sets), are based on the geometry of the two-dimensional ideal space locations obtained from applying multidimensional scaling to voting data. We also introduce a two-dimensional metric method for determining the crucial fifth vote in each 5-to-4 ruling and for determining the median justice in any collection of terms within a natural court.


title: Topology of tensor ranks

abstract: We study path-connectedness and homotopy groups of sets of tensors defined by tensor rank, border rank, multilinear rank, as well as their symmetric counterparts for symmetric tensors. We show that over $\mathbb{C}$, the set of rank-$r$ tensors and the set of symmetric rank-$r$ symmetric tensors are both path-connected if $r$ is not more than the complex generic rank; these results also extend to border rank and symmetric border rank over $\mathbb{C}$. Over $\mathbb{R}$, the set of rank-$r$ tensors is path-connected if it has the expected dimension but the corresponding result for symmetric rank-$r$ symmetric $d$-tensors depends on the order $d$: connected when $d$ is odd but not when $d$ is even. Border rank and symmetric border rank over $\mathbb{R}$ have essentially the same path-connectedness properties as rank and symmetric rank over $\mathbb{R}$. When $r$ is greater than the complex generic rank, we are unable to discern any general pattern: For example, we show that border-rank-three tensors in $\mathbb{R}^2 \otimes \mathbb{R}^2 \otimes \mathbb{R}^2$ fall into four connected components. For multilinear rank, the manifold of $d$-tensors of multilinear rank $(r_1,\dots,r_d)$ in $\mathbb{C}^{n_1} \otimes \cdots \otimes \mathbb{C}^{n_d}$ is always path-connected, and the same is true in $\mathbb{R}^{n_1} \otimes \cdots \otimes \mathbb{R}^{n_d}$ unless $n_i = r_i = \prod_{j \ne i} r_j$ for some $i\in\{1, \dots, d\}$. Beyond path-connectedness, we determine, over both $\mathbb{R}$ and $\mathbb{C}$, the fundamental and higher homotopy groups of the set of tensors of a fixed small rank, and, taking advantage of Bott periodicity, those of the manifold of tensors of a fixed multilinear rank. We also obtain analogues of these results for symmetric tensors of a fixed symmetric rank or a fixed symmetric multilinear rank.


title: Effects of NII and H$\alpha$ Line Blending on the WFIRST Galaxy Redshift Survey

abstract: The Wide Field Infrared Survey Telescope (WFIRST) will conduct a galaxy redshift survey using the H$\alpha$ emission line primarily for spectroscopic redshift determination. Due to the modest spectroscopic resolution of the grism, the H$\alpha$ and the neighboring [NII] lines are blended, leading to a redshift bias that depends on the [NII]/H$\alpha$ ratio, which is correlated with a galaxy's metallicity, hence mass and ultimately environment. We investigate how this bias propagates into the galaxy clustering and cosmological parameters obtained from the WFIRST. Using simulation, we explore the effect of line blending on redshift-space distortion and baryon acoustic oscillation (BAO) measurements. We measure the BAO parameters $\alpha_{\parallel}$, $\alpha_{\perp}$, the logarithmic growth factor $f_{v}$, and calculate their errors based on the correlations between the line ratio and large-scale structure. We find $\Delta\alpha_{\parallel} = 0.31 \pm 0.23 \%$ ($0.26\pm0.17\%$), $\Delta\alpha_{\perp} = -0.10\pm0.10\%$ ($-0.12 \pm 0.11 \%$), and $\Delta f_{v} = 0.17\pm0.33\%$ ($-0.20 \pm 0.30\%$) for redshift 1.355--1.994 (0.700--1.345), which use approximately 18$\%$, 9$\%$, and 7$\%$ of the systematic error budget in a root-sum-square sense. These errors may already be tolerable but further mitigations are discussed. Biases due to the environment-independent redshift error can be mitigated by measuring the redshift error probability distribution function. High-spectral-resolution re-observation of a few thousand galaxies would be required (if by direct approach) to reduce them to below 25$\%$ of the error budget. Finally, we outline the next steps to improve the modeling of [NII]-induced blending biases and their interaction with other redshift error sources.


title: Attenuate Locally, Win Globally: An Attenuation-based Framework for Online Stochastic Matching with Timeouts

abstract: Online matching problems have garnered significant attention in recent years due to numerous applications in e-commerce, online advertisements, ride-sharing, etc. Many of them capture the uncertainty in the real world by including stochasticity in both the arrival process and the matching process. The Online Stochastic Matching with Timeouts problem introduced by Bansal, et al., (Algorithmica, 2012) models matching markets (e.g., E-Bay, Amazon). Buyers arrive from an independent and identically distributed (i.i.d.) known distribution on buyer profiles and can be shown a list of items one at a time. Each buyer has some probability of purchasing each item and a limit (timeout) on the number of items they can be shown. Bansal et al., (Algorithmica, 2012) gave a 0.12-competitive algorithm which was improved by Adamczyk, et al., (ESA, 2015) to 0.24. We present an online attenuation framework that uses an algorithm for offline stochastic matching as a black box. On the upper bound side, we show that this framework, combined with a black-box adapted from Bansal et al., (Algorithmica, 2012), yields an online algorithm which nearly doubles the ratio to 0.46. On the lower bound side, we show that no algorithm can achieve a ratio better than 0.632 using the standard LP for this problem. This framework has a high potential for further improvements since new algorithms for offline stochastic matching can directly improve the ratio for the online problem. Our online framework also has the potential for a variety of extensions. For example, we introduce a natural generalization: Online Stochastic Matching with Two-sided Timeouts in which both online and offline vertices have timeouts. Our framework provides the first algorithm for this problem achieving a ratio of 0.30. We once again use the algorithm of Adamczyk et al., (ESA, 2015) as a black-box and plug-it into our framework.


title: Adhesion-assisted nanoscale rotary locomotor in non-liquid environments

abstract: Rotation in micro/nanoscale provides extensive applications in mechanical actuation$^{1, 2}$, cargo delivery$^{3, 4}$, and biomolecule manipulation$^{5, 6}$. Light can be used to induce a mechanical rotation remotely, instantly and precisely$^{7-13}$, where liquid throughout serves as a must-have enabler to suspend objects and remove impact of adhesion. Achieving light-driven motion in non-liquid environments faces formidable challenges, since micro-sized objects experience strong adhesion and intend to be stuck to contact surfaces. Adhesion force for a usual micron-sized object could reach a high value$^{14, 15}$ (nN - {\mu}N) which is several orders of magnitude higher than both its gravity (~ pN) and typical value of optical force (~ pN) in experiments$^{16}$. Here, in air and vacuum, we show counter-intuitive adhesion-assisted rotary locomotion of a micron-sized metal nanoplate with ~30 nm-thickness, revolving around a microfiber. This locomotor is powered by pulsed light guided into the fiber, as a coordinated consequence of photothermally induced surface acoustic wave on the nanoplate and favorable configuration of plate-fiber geometry. The locomotor crawls stepwise with sub-nanometer locomotion resolution actuated by designed light pulses. Furthermore, we can control the rotation velocity and step resolution by varying the repetition rate and pulse power, respectively. A light-actuated micromirror scanning with 0.001{\deg} resolution is then demonstrated based on this rotary locomotor. It unfolds unprecedented application potential for integrated micro-opto-electromechanical systems, outer-space all-optical precision mechanics and controls, laser scanning for miniature lidar systems, etc.


title: A Scalable Neural Shortlisting-Reranking Approach for Large-Scale Domain Classification in Natural Language Understanding

abstract: Intelligent personal digital assistants (IPDAs), a popular real-life application with spoken language understanding capabilities, can cover potentially thousands of overlapping domains for natural language understanding, and the task of finding the best domain to handle an utterance becomes a challenging problem on a large scale. In this paper, we propose a set of efficient and scalable neural shortlisting-reranking models for large-scale domain classification in IPDAs. The shortlisting stage focuses on efficiently trimming all domains down to a list of k-best candidate domains, and the reranking stage performs a list-wise reranking of the initial k-best domains with additional contextual information. We show the effectiveness of our approach with extensive experiments on 1,500 IPDA domains.


title: Efficient Large-Scale Domain Classification with Personalized Attention

abstract: In this paper, we explore the task of mapping spoken language utterances to one of thousands of natural language understanding domains in intelligent personal digital assistants (IPDAs). This scenario is observed for many mainstream IPDAs in industry that allow third parties to develop thousands of new domains to augment built-in ones to rapidly increase domain coverage and overall IPDA capabilities. We propose a scalable neural model architecture with a shared encoder, a novel attention mechanism that incorporates personalization information and domain-specific classifiers that solves the problem efficiently. Our architecture is designed to efficiently accommodate new domains that appear in-between full model retraining cycles with a rapid bootstrapping mechanism two orders of magnitude faster than retraining. We account for practical constraints in real-time production systems, and design to minimize memory footprint and runtime latency. We demonstrate that incorporating personalization results in significantly more accurate domain classification in the setting with thousands of overlapping domains.


title: MQGrad: Reinforcement Learning of Gradient Quantization in Parameter Server

abstract: One of the most significant bottleneck in training large scale machine learning models on parameter server (PS) is the communication overhead, because it needs to frequently exchange the model gradients between the workers and servers during the training iterations. Gradient quantization has been proposed as an effective approach to reducing the communication volume. One key issue in gradient quantization is setting the number of bits for quantizing the gradients. Small number of bits can significantly reduce the communication overhead while hurts the gradient accuracies, and vise versa. An ideal quantization method would dynamically balance the communication overhead and model accuracy, through adjusting the number bits according to the knowledge learned from the immediate past training iterations. Existing methods, however, quantize the gradients either with fixed number of bits, or with predefined heuristic rules. In this paper we propose a novel adaptive quantization method within the framework of reinforcement learning. The method, referred to as MQGrad, formalizes the selection of quantization bits as actions in a Markov decision process (MDP) where the MDP states records the information collected from the past optimization iterations (e.g., the sequence of the loss function values). During the training iterations of a machine learning algorithm, MQGrad continuously updates the MDP state according to the changes of the loss function. Based on the information, MDP learns to select the optimal actions (number of bits) to quantize the gradients. Experimental results based on a benchmark dataset showed that MQGrad can accelerate the learning of a large scale deep neural network while keeping its prediction accuracies.


title: Difference Tones in "Non-Pythagorean" Scales Based on Logarithms

abstract: In order to explore tonality outside of the `Pythagorean' paradigm of integer ratios, Robert Schneider introduced a musical scale based on the logarithm function. We seek to refine Schneider's scale so that the difference tones generated by different degrees of the scale are themselves octave equivalents of notes in the scale. In doing so, we prove that a scale which contains all its difference tones in this way must consist solely of integer ratios. With this in mind, we present some methods for producing logarithmic scales which contain many, but not all, of the difference tones they generate.


title: On Fractionally Dense Sets

abstract: In this article, we prove some subsets of the set of natural numbers $\mathbb{N}$ and any non-zero ideals of an order of imaginary quadratic fields are fractionally dense in $\mathbb{R}_{>0}$ and $\mathbb{C}$ respectively.


title: Unsupervised Discrete Sentence Representation Learning for Interpretable Neural Dialog Generation

abstract: The encoder-decoder dialog model is one of the most prominent methods used to build dialog systems in complex domains. Yet it is limited because it cannot output interpretable actions as in traditional systems, which hinders humans from understanding its generation process. We present an unsupervised discrete sentence representation learning method that can integrate with any existing encoder-decoder dialog models for interpretable response generation. Building upon variational autoencoders (VAEs), we present two novel models, DI-VAE and DI-VST that improve VAEs and can discover interpretable semantics via either auto encoding or context predicting. Our methods have been validated on real-world dialog datasets to discover semantic representations and enhance encoder-decoder models with interpretable generation.


title: On a positivity preserving numerical scheme for jump-extended CIR process: the alpha-stable case

abstract: We propose a positivity preserving implicit Euler-Maruyama scheme for a jump-extended Cox-Ingersoll-Ross (CIR) process where the jumps are governed by a compensated spectrally positive $\alpha$-stable process for $\alpha \in (1,2)$. Different to the existing positivity preserving numerical schemes for jump-extended CIR or CEV (Constant Elasticity Variance) process, the model considered here has infinite activity jumps. We calculate, in this specific model, the strong rate of convergence and give some numerical illustrations. Jump extended models of this type were initially studied in the context of branching processes and was recently introduced to the financial mathematics literature to model sovereign interest rates, power and energy markets.


title: Decoupled Networks

abstract: Inner product-based convolution has been a central component of convolutional neural networks (CNNs) and the key to learning visual representations. Inspired by the observation that CNN-learned features are naturally decoupled with the norm of features corresponding to the intra-class variation and the angle corresponding to the semantic difference, we propose a generic decoupled learning framework which models the intra-class variation and semantic difference independently. Specifically, we first reparametrize the inner product to a decoupled form and then generalize it to the decoupled convolution operator which serves as the building block of our decoupled networks. We present several effective instances of the decoupled convolution operator. Each decoupled operator is well motivated and has an intuitive geometric interpretation. Based on these decoupled operators, we further propose to directly learn the operator from data. Extensive experiments show that such decoupled reparameterization renders significant performance gain with easier convergence and stronger robustness.


title: Modified Augmented Lagrangian Method for the minimization of functions with quadratic penalty terms

abstract: The Augmented Lagrangian Method (ALM) is an iterative method for the solution of equality-constrained non-linear programming problems. In contrast to the quadratic penalty method, the ALM can satisfy equality constraints in an exact way. Further, ALM is claimed to converge in less iterations, indicating that it is superior in approach to a quadratic penalty method. It is referred to as an advantage that the ALM solves equality constraints in an exact way, meaning that the penalty parameter does not need to go to infinity in order to yield accurate feasibility for the constraints. However, we sometimes actually want to minimize an unconstrained problem that has large quadratic penalty terms. In these situations it is unclear how the ALM could be utilized in the correct way. This paper presents the answer: We derive a modified version of the ALM that is also suitable for solving functions with large quadratic penalty terms.


title: Ricci flow under local almost non-negative curvature conditions

abstract: We find a local solution to the Ricci flow equation under a negative lower bound for many known curvature conditions. The flow exists for a uniform amount of time, during which the curvature stays bounded below by a controllable negative number. The curvature conditions we consider include 2-non-negative and weakly $\textnormal{PIC}_1$ cases, of which the results are new. We complete the discussion of the almost preservation problem by Bamler-Cabezas-Rivas-Wilking, and the 2-non-negative case generalizes a result in 3D by Simon-Topping to higher dimensions. As an application, we use the local Ricci flow to smooth a metric space which is the limit of a sequence of manifolds with the almost non-negative curvature conditions, and show that this limit space is bi-H$\ddot{\textnormal{o}}$lder homeomorphic to a smooth manifold.


title: Cluster-induced deagglomeration in dilute gravity-driven gas-solid flows of cohesive grains

abstract: Clustering is often presumed to lead to enhanced agglomeration between cohesive grains due to the reduced relative velocities of particles within a cluster. Our discrete-particle simulations on gravity-driven, gas-solid flows of cohesive grains exhibit the opposite trend, revealing a new mechanism we coin "cluster-induced deagglomeration." Specifically, we examine relatively dilute gas-solid flows and isolate agglomerates of cohesive origin from overall heterogeneities in the system, i.e., agglomerates of cohesive origin and clusters of hydrodynamic origin. We observe enhanced clustering with an increasing system size (as is the norm for noncohesive systems) as well as reduced agglomeration. The reduced agglomeration is traced to the increased collisional impact velocities of particles at the surface of a cluster; i.e., higher levels of clustering lead to larger relative velocities between the clustered and nonclustered regions, thereby serving as an additional source of granular temperature. This physical picture is further evidenced by a theoretical model based on a balance between the generation and breakage rates of agglomerates. Finally, cluster-induced deagglomeration also provides an explanation for a surprising saturation of agglomeration levels in gravity-driven, gas-solid systems with increasing levels of cohesion, as opposed to the monotonically increasing behavior seen in free-evolving or driven granular systems in the absence of gravity. Namely, higher cohesion leads to more energy dissipation, which is associated with competing effects: enhanced agglomeration and enhanced clustering, the latter of which results in more cluster-induced deagglomeration.


title: On magnetized anisotropic stars

abstract: We extend a known solution generating technique for isotropic fluids in order to construct more general models of anisotropic stars with poloidal magnetic fields. In particular, we discuss the magnetized versions of some well-known exact solutions describing anisotropic stars and dark energy stars and we describe some of their properties.