title: Elastic strain field due to an inclusion of a polyhedral shape with a non-uniform lattice misfit

abstract: An analytical solution in a closed form is obtained for the three-dimensional elastic strain distribution in an unlimited medium containing an inclusion with a coordinate-dependent lattice mismatch (an eigenstrain). Quantum dots consisting of a solid solution with a spatially varying composition are examples of such inclusions. It is assumed that both the inclusion and the surrounding medium (the matrix) are elastically isotropic and have the same Young modulus and Poisson ratio. The inclusion shape is supposed to be an arbitrary polyhedron, and the coordinate dependence of the lattice misfit, with respect to the matrix, is assumed to be a polynomial of any degree. It is shown that, both inside and outside the inclusion, the strain tensor is expressed as a sum of contributions of all faces, edges and vertices of the inclusion. Each of these contributions, as a function of the observation point's coordinates, is a product of some polynomial and a simple analytical function, which is the solid angle subtended by the face from the observation point (for a contribution of a face), or the potential of the uniformly charged edge (for a contribution of an edge), or the distance from the vertex to the observation point (for a contribution of a vertex). The method of constructing the relevant polynomial functions is suggested. We also found out that similar expressions describe an electrostatic or gravitational potential, as well as its first and second derivatives, of a polyhedral body with a charge/mass density that depends on coordinates polynomially.


title: Hasse-Minkowski theorem for quadratic forms on groups

abstract: Consider groups such as Mordell-Weil groups of abelian varieties over number fields, odd algebraic $K$-theory groups of number fields, or finitely generated subgroups of the multiplicative groups of number fields. They are all equipped with systems of reduction maps; thus, one can investigate the Hasse-Minkowski theorem for quadratic forms with coefficients in such groups. In this paper, we prove that the theorem holds for the forms whose rank equals $2$ or $3$, and we demonstrate that it does not hold for higher ranks by providing a counterexample. We also show that our results constitute a generalization of the classic Hasse-Minkowski theorem for binary and ternary integral forms.


title: On the size of the block of 1 for $\varXi$-coalescents with dust

abstract: We study the frequency process $f_1$ of the block of 1 for a $\varXi$-coalescent $\varPi$ with dust. If $\varPi$ stays infinite, $f_1$ is a jump-hold process which can be expressed as a sum of broken parts from a stick-breaking procedure with uncorrelated, but in general non-independent, stick lengths with common mean. For Dirac-$\varLambda$-coalescents with $\varLambda=\delta_p$, $p\in[\frac{1}{2},1)$, $f_1$ is not Markovian, whereas its jump chain is Markovian. For simple $\varLambda$-coalescents the distribution of $f_1$ at its first jump, the asymptotic frequency of the minimal clade of 1, is expressed via conditionally independent shifted geometric distributions.


title: Frequency-based brain networks: From a multiplex framework to a full multilayer description

abstract: We explore how to study dynamical interactions between brain regions using functional multilayer networks whose layers represent the different frequency bands at which a brain operates. Specifically, we investigate the consequences of considering the brain as a multilayer network in which all brain regions can interact with each other at different frequency bands, instead of as a multiplex network, in which interactions between different frequency bands are only allowed within each brain region and not between them. We study the second smallest eigenvalue of the combinatorial supra-Laplacian matrix of the multilayer network in detail, and we thereby show that the heterogeneity of interlayer edges and, especially, the fraction of missing edges crucially modify the spectral properties of the multilayer network. We illustrate our results with both synthetic network models and real data sets obtained from resting state magnetoencephalography. Our work demonstrates an important issue in the construction of frequency-based multilayer brain networks.


title: Some remarks on finitarily approximable groups

abstract: The concept of a C-approximable group, for a class of finite groups C, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite solvable groups with arbitrary invariant length function. We answer this question by showing that any non-trivial finitely generated perfect group does not have this property, generalizing a counterexample of Howie. Moreover, we discuss the question which connected Lie groups can be embedded into a metric ultraproduct of finite groups with invariant length function. We prove that these are precisely the abelian ones, providing a negative answer to a question of Doucha. Referring to a problem of Zilber, we show that a the identity component of a Lie group, whose topology is generated by an invariant length function and which is an abstract quotient of a product of finite groups, has to be abelian. Both of these last two facts give an alternative proof of a result of Turing. Finally, we solve a conjecture of Pillay by proving that the identity component of a compactification of a pseudofinite group must be abelian as well. All results of this article are applications of theorems on generators and commutators in finite groups by the first author and Segal.


title: The homotopy theory of operad subcategories

abstract: We study the subcategory of topological operads $P$ such that $P(0) = *$ (the category of unitary operads in our terminology). We use that this category inherits a model structure, like the category of all operads in topological spaces, and that the embedding functor of this subcategory of unitary operads into the category of all operads admits a left Quillen adjoint. We prove that the derived functor of this left Quillen adjoint functor induces a left inverse of the derived functor of our category embedding at the homotopy category level. We deduce from this result that the derived mapping spaces associated to our model category of unitary operads are homotopy equivalent to the standard derived operad mapping spaces, which we form in the model category of all operads in topological spaces. We prove that analogous statements hold for the subcategory of $k$-truncated unitary operads within the model category of all $k$-truncated operads, for any fixed arity bound $k\geq 1$, where a $k$-truncated operad denotes an operad that is defined up to arity $k$.


title: Regularity results and parametrices of semi-linear boundary problems of product type

abstract: This short note describes the benefit one obtains from a specific construction of a family of parametrices for a class of elliptic boundary value problems perturbed by non-linear terms of product type. The construction is based on the Boutet de Monvel calculus of pseudo-differential boundary operators for the linear elliptic parts, and on paradifferential operators for the product terms.


title: Search for anomalous couplings in boosted WW/WZ to l nu q q-bar production in proton-proton collisions at sqrt(s) = 8 TeV

abstract: This Letter presents a search for new physics manifested as anomalous triple gauge boson couplings in WW and WZ diboson production in proton-proton collisions. The search is performed using events containing a W boson that decays leptonically and a W or Z boson whose decay products are merged into a single reconstructed jet. The data, collected at sqrt(s) = 8 TeV with the CMS detector at the LHC, correspond to an integrated luminosity of 19 inverse femtobarns. No evidence for anomalous triple gauge couplings is found and the following 95% confidence level limits are set on their values: lambda ([-0.011, 0.011]), Delta kappa[gamma] ([-0.044, 0.063]), and Delta g[1,Z] ([-0.0087, 0.024]). These limits are also translated into their effective field theory equivalents: c[WWW] / Lambda^2 ([-2.7, 2.7] TeV^{-2}), c[B] / Lambda^2 ([-14, 17] TeV^{-2}), and c[W] / Lambda^2 ([-2.0, 5.7] TeV^{-2}).


title: A minimally invasive neurostimulation method for controlling epilepsy seizures

abstract: Many coordination phenomena in Nature are grounded on a synchronisation regime. In the case of brain dynamics, such self-organised process allows the neurons of particular brain regions to behave as a whole and thus directly controlling the neural activity, the muscles and finally the whole human body. However, not always such synchronised collective behaviour is the desired one, this is the case of neurodegenerative diseases such as Parkinson's or epilepsy where abnormal synchronisation induces undesired effects such as tremors and epileptic seizures. In this paper we propose an innovative, minimally invasive, control method able to effectively desynchronise the interested brain zones and thus to reduce the onset of undesired behaviour.


title: Solving optimal control problems governed by random Navier-Stokes equations using low-rank methods

abstract: Many problems in computational science and engineering are simultaneously characterized by the following challenging issues: uncertainty, nonlinearity, nonstationarity and high dimensionality. Existing numerical techniques for such models would typically require considerable computational and storage resources. This is the case, for instance, for an optimization problem governed by time-dependent Navier-Stokes equations with uncertain inputs. In particular, the stochastic Galerkin finite element method often leads to a prohibitively high dimensional saddle-point system with tensor product structure. In this paper, we approximate the solution by the low-rank Tensor Train decomposition, and present a numerically efficient algorithm to solve the optimality equations directly in the low-rank representation. We show that the solution of the vorticity minimization problem with a distributed control admits a representation with ranks that depend modestly on model and discretization parameters even for high Reynolds numbers. For lower Reynolds numbers this is also the case for a boundary control. This opens the way for a reduced-order modeling of the stochastic optimal flow control with a moderate cost at all stages.


title: Multilevel linear models, Gibbs samplers and multigrid decompositions

abstract: We study the convergence properties of the Gibbs Sampler in the context of posterior distributions arising from Bayesian analysis of conditionally Gaussian hierarchical models. We develop a multigrid approach to derive analytic expressions for the convergence rates of the algorithm for various widely used model structures, including nested and crossed random effects. Our results apply to multilevel models with an arbitrary number of layers in the hierarchy, while most previous work was limited to the two-level nested case. The theoretical results provide explicit and easy-to-implement guidelines to optimize practical implementations of the Gibbs Sampler, such as indications on which parametrization to choose (e.g. centred and non-centred), which constraint to impose to guarantee statistical identifiability, and which parameters to monitor in the diagnostic process. Simulations suggest that the results are informative also in the context of non-Gaussian distributions and more general MCMC schemes, such as gradient-based ones.implementation of Gibbs samplers on conditionally Gaussian hierarchical models.


title: Double quantum dots defined in bilayer graphene

abstract: Artificial molecular states of double quantum dots defined in bilayer graphene are studied with the atomistic tight-binding and its low-energy continuum approximation. We indicate that the extended electron wave functions have opposite parities on each of the sublattices at both graphene layers and that the ground-state wave function components change from bonding to antibonding with the interdot distance. In the weak coupling limit -- the most relevant for the quantum dots defined electrostatically -- the signatures of the interdot coupling include -- for the two-electron ground state -- formation of states with symmetric or antisymmetric spatial wave functions split by the exchange energy. In the high energy part of the spectrum the states with both electrons in the same dot are found with the splitting of energy levels corresponding to simultaneous tunneling of the electron pair from one dot to the other.


title: Fermi surface topology and signature of surface Dirac nodes in LaBi

abstract: Novel topological state of matter is one of the rapidly growing fields in condensed matter physics research in recent times. While these materials are fascinating from the aspect of fundamental physics of relativistic particles, their exotic transport properties are equally compelling due to the potential technological applications. Extreme magnetoresistance and ultrahigh carrier mobility are two such major hallmarks of topological materials and often used as primary criteria for identifying new compounds belonging to this class. Recently, LaBi has emerged as a new system, which exhibits the above mentioned properties. However, the topological nature of its band structure remains unresolved. Here, using the magnetotransport and magnetization measurements, we have probed the bulk and surface states of LaBi. Similar to earlier reports, extremely large magnetoresistance and high carrier mobility have been observed with compensated electron and hole density. The Fermi surface properties have been analyzed from both Shubnikov-de Haas and de Haas-van Alphen oscillation techniques. In the magnetization measurement, a prominent paramagnetic singularity has been observed, which demonstrates the non-trivial nature of the surface states in LaBi. Our study unambiguously confirms that LaBi is a three-dimensional topological insulator with possible linear dispersion in the gapped bulk band structure.


title: Modelling politics in requirements engineering: adding emoji to existing notations

abstract: Notwithstanding several authors have recognised the conceptual key of "politics" as an important component in any Require-ments Engineering (RE) process, practitioners still lack a prag-matic answer on how to deal with the political dimension: such an ability has become a mostly desirable but totally undetailed part of what we usually and vaguely refer to as "professional experience". Nor were practitioners given any suitable tool or method to easily detect, represent, control and if possible leverage politics. Authors argue that this issue could be successfully ad-dressed and resolved if, when we map organisations against the system to be developed, we include power and politics in their "too human" and even emotional dimension. A simple way to do so is to use emoji pictograms: most of them are part of a universal language, which requirements engineers could easily adopt and exploit to assess and produce models that include an extra layer of "political" information, without the need to actually introduce any new notation. A few examples of emoji-aware UML and organisational charts are hereby proposed, more as a platform to support communication and share reflections on how to deal with politics than as an actual technology to be adopted.


title: Majorana representation, qutrit Hilbert space and NMR implementation of qutrit gates

abstract: We report a study of the Majorana geometrical representation of a qutrit, where a pair of points on a unit sphere represents its quantum states. A canonical form for qutrit states is presented, where every state can be obtained from a one-parameter family of states via $SO(3)$ action. The notion of spin-1 magnetization which is invariant under $SO(3)$ is geometrically interpreted on the Majorana sphere. Furthermore, we describe the action of several quantum gates in the Majorana picture and experimentally implement these gates on a spin-1 system (an NMR qutrit) oriented in a liquid crystalline environment. We study the dynamics of the pair of points representing a qutrit state under various useful quantum operations and connect them to different NMR operations. Finally, using the Gell Mann matrix picture we experimentally implement a scheme for complete qutrit state tomography.


title: Modeling Relational Data with Graph Convolutional Networks

abstract: Knowledge graphs enable a wide variety of applications, including question answering and information retrieval. Despite the great effort invested in their creation and maintenance, even the largest (e.g., Yago, DBPedia or Wikidata) remain incomplete. We introduce Relational Graph Convolutional Networks (R-GCNs) and apply them to two standard knowledge base completion tasks: Link prediction (recovery of missing facts, i.e. subject-predicate-object triples) and entity classification (recovery of missing entity attributes). R-GCNs are related to a recent class of neural networks operating on graphs, and are developed specifically to deal with the highly multi-relational data characteristic of realistic knowledge bases. We demonstrate the effectiveness of R-GCNs as a stand-alone model for entity classification. We further show that factorization models for link prediction such as DistMult can be significantly improved by enriching them with an encoder model to accumulate evidence over multiple inference steps in the relational graph, demonstrating a large improvement of 29.8% on FB15k-237 over a decoder-only baseline.


title: Nonconvex One-bit Single-label Multi-label Learning

abstract: We study an extreme scenario in multi-label learning where each training instance is endowed with a single one-bit label out of multiple labels. We formulate this problem as a non-trivial special case of one-bit rank-one matrix sensing and develop an efficient non-convex algorithm based on alternating power iteration. The proposed algorithm is able to recover the underlying low-rank matrix model with linear convergence. For a rank-$k$ model with $d_1$ features and $d_2$ classes, the proposed algorithm achieves $O(\epsilon)$ recovery error after retrieving $O(k^{1.5}d_1 d_2/\epsilon)$ one-bit labels within $O(kd)$ memory. Our bound is nearly optimal in the order of $O(1/\epsilon)$. This significantly improves the state-of-the-art sampling complexity of one-bit multi-label learning. We perform experiments to verify our theory and evaluate the performance of the proposed algorithm.


title: Self-adjoint local boundary problems on compact surfaces. I. Spectral flow

abstract: The paper deals with first order self-adjoint elliptic differential operators on a smooth compact oriented surface with non-empty boundary. We consider such operators with self-adjoint local boundary conditions. The paper is focused on paths in the space of such operators connecting two operators conjugated by a unitary automorphism. The first result is the computation of the spectral flow for such paths in terms of the topological data over the boundary. The second result is the universality of the spectral flow: we show that the spectral flow is a universal additive invariant for such paths, if the vanishing on paths of invertible operators is required. In the next paper of the series we generalize these results to families of such operators parametrized by points of an arbitrary compact space instead of an interval. The integer-valued spectral flow is replaced then by the family index taking values in the $K^1$-group of the base space.


title: T-branes and Matrix Models

abstract: We find that the equations describing T-branes with constant worldvolume fields are identical to the equations found by Banks, Seiberg and Shenker twenty years ago to describe longitudinal five-branes in the BFSS matrix model. Besides giving new ways to construct T-brane solutions, this connection also helps elucidate the physics of T-branes in the regime of parameters where their worldvolume fields are larger than the string scale. We construct explicit solutions to the Banks-Seiberg-Shenker equations and show that the corresponding T-branes admit an alternative description as Abelian branes at angles.


title: Self-approaching paths in simple polygons

abstract: We study self-approaching paths that are contained in a simple polygon. A self-approaching path is a directed curve connecting two points such that the Euclidean distance between a point moving along the path and any future position does not increase, that is, for all points $a$, $b$, and $c$ that appear in that order along the curve, $|ac| \ge |bc|$. We analyze the properties, and present a characterization of shortest self-approaching paths. In particular, we show that a shortest self-approaching path connecting two points inside a polygon can be forced to use a general class of non-algebraic curves. While this makes it difficult to design an exact algorithm, we show how to find a self-approaching path inside a polygon connecting two points under a model of computation which assumes that we can calculate involute curves of high order. Lastly, we provide an algorithm to test if a given simple polygon is self-approaching, that is, if there exists a self-approaching path for any two points inside the polygon.


title: Global Entity Ranking Across Multiple Languages

abstract: We present work on building a global long-tailed ranking of entities across multiple languages using Wikipedia and Freebase knowledge bases. We identify multiple features and build a model to rank entities using a ground-truth dataset of more than 10 thousand labels. The final system ranks 27 million entities with 75% precision and 48% F1 score. We provide performance evaluation and empirical evidence of the quality of ranking across languages, and open the final ranked lists for future research.


title: Generalised Reichenbachian Common Cause Systems

abstract: The principle of the common cause claims that if an improbable coincidence has occurred, there must exist a common cause. This is generally taken to mean that positive correlations between non-causally related events should disappear when conditioning on the action of some underlying common cause. The extended interpretation of the principle, by contrast, urges that common causes should be called for in order to explain positive deviations between the estimated correlation of two events and the expected value of their correlation. The aim of this paper is to provide the extended reading of the principle with a general probabilistic model, capturing the simultaneous action of a system of multiple common causes. To this end, two distinct models are elaborated, and the necessary and sufficient conditions for their existence are determined.


title: High-redshift rotation curves and MOND

abstract: Genzel et al. have recently published the rotation curves of six high-redshift disc galaxies ($z\sim 0.9-2.4$), which they find to be `baryon dominated' within the studies radii. While not up to the standard afforded by data available for analysis in the nearby Universe, these data are valuable in constraining cosmological evolution of either DM scenarios, or -- as I discuss here -- $z$-dependence of MOND. Indeed, these results, if taken at face value, teach us useful lessons in connection with MOND. a. The dynamical accelerations at the half-light radii, found by Genzel et al., are rather high compared with the MOND acceleration constant, as measured in the nearby Universe: $g(R_{1/2})= (3-11)a_0$. MOND then predicts fractions of `phantom matter' at $R_{1/2}$ of at most a few tens of percents, which, galaxy by galaxy, agree well with what Genzel et al. find. b. The asymptotic rotational speeds predicted by MOND from the baryonic-mass estimates of Genzel et al. are substantially lower ($0.55-0.75$) than the maximal speeds of the RCs. MOND thus predicts a substantial decline of the RCs beyond the maximum. This too is in line with what Genzel et al. find. c. Arguably, the most important lesson is that the findings of Genzel et al. cast very meaningful constraints on possible variation of $a_0$ with cosmic time. For example, they all but exclude a value of the MOND constant of $\sim 4a_0$ at $z\sim 2$, excluding, e.g., $a_0\propto (1+z)^{3/2}$.


title: A complete classification of which $(n,k)$-star graphs are Cayley graphs

abstract: The $(n,k)$-star graphs are an important class of interconnection networks that generalize star graphs, which are superior to hypercubes. In this paper, we continue the work begun by Cheng et al.~(Graphs and Combinatorics 2017) and complete the classification of all the $(n,k)$-star graphs that are Cayley.


title: Clustering-based collocation for uncertainty propagation with multivariate dependent inputs

abstract: In this article, we propose the use of partitioning and clustering methods as an alternative to Gaussian quadrature for stochastic collocation. The key idea is to use cluster centers as the nodes for collocation. In this way, we can extend the use of collocation methods to uncertainty propagation with multivariate, dependent input, in which the output approximation is piecewise constant on the clusters. The approach is particularly useful in situations where the probability distribution of the input is unknown, and only a sample from the input distribution is available. We examine several clustering methods and assess the convergence of collocation based on these methods both theoretically and numerically. We demonstrate good performance of the proposed methods, most notably for the challenging case of nonlinearly dependent inputs in higher dimensions. Numerical tests with input dimension up to 16 are included, using as benchmarks the Genz test functions and a test case from computational fluid dynamics (lid-driven cavity flow).


title: Toward an enumeration of unlabeled trees

abstract: We present an algorithm that, on input $n$, lists every unlabeled tree of order $n$.


title: Deep Sets

abstract: We study the problem of designing models for machine learning tasks defined on \emph{sets}. In contrast to traditional approach of operating on fixed dimensional vectors, we consider objective functions defined on sets that are invariant to permutations. Such problems are widespread, ranging from estimation of population statistics \cite{poczos13aistats}, to anomaly detection in piezometer data of embankment dams \cite{Jung15Exploration}, to cosmology \cite{Ntampaka16Dynamical,Ravanbakhsh16ICML1}. Our main theorem characterizes the permutation invariant functions and provides a family of functions to which any permutation invariant objective function must belong. This family of functions has a special structure which enables us to design a deep network architecture that can operate on sets and which can be deployed on a variety of scenarios including both unsupervised and supervised learning tasks. We also derive the necessary and sufficient conditions for permutation equivariance in deep models. We demonstrate the applicability of our method on population statistic estimation, point cloud classification, set expansion, and outlier detection.


title: Weak Nonmild Solution of Stochastic Fractional Porous Medium Equation

abstract: Consider the non-linear stochastic fractional-diffusion equation \begin{eqnarray*} \left \{\begin{array}{lll} \frac{\partial}{\partial t}u(x,t)= -( \Delta)^{\alpha/2} u^m(x,t) + \sigma(u(x,t)) \dot{W}(x,t),\, x\in \mathbb{R}^d,t>0, u(x,0)= u_0(x),\,\,\, x\in\mathbb{R}^d \end{array}\right. \end{eqnarray*} with initial data $u_0(x)$ an $L^1(\mathbb{R}^d)$ function, $0<\alpha<2$, and $m>0$. There is no mild solution defined for the above equation because its corresponding heat kernel representation does not exist. We attempt to make sense of the above equation by establishing the existence and uniqueness result via the reproducing kernel Hilbert space (RKHS) of the space-time noise. Our result shows the effect of a space-time white noise on the interaction of fractional operators with porous medium type propagation and consequently studies how the anomalous diffusion parameters influence the energy moment growth behaviour of the system.


title: A Surface Hopping Gaussian Beam Method for High-Dimensional Transport Systems

abstract: We propose a surface hopping Gaussian beam method to numerically solve a class of high frequency linear transport systems in high spatial dimensions, based on asymptotic analysis. The stochastic surface hopping is combined with Gaussian beam method to deal with the multiple characteristic directions of the transport system in high dimensions. The Monte Carlo nature of the proposed algorithm makes it easy for parallel implementations. We validate the performance of the algorithms for applications on the quantum-classical Liouville equations.


title: Unpacking Blockchains

abstract: The Bitcoin digital currency appeared in 2009. Since this time, researchers and practitioners have looked under the hood of the open source Bitcoin currency, and discovered that Bitcoins Blockchain software architecture is useful for non-monetary purposes too. By coalescing the research and practice on Blockchains, this work begins to unpack Blockchains as a general phenomenon, therein, arguing that all Blockchain phenomena can be conceived as being comprised of transaction platforms and digital ledgers, and illustrating where public key encryption plays a differential role in facilitating these features of Blockchains.


title: A Review on Flight Delay Prediction

abstract: Flight delays hurt airlines, airports, and passengers. Their prediction is crucial during the decision-making process for all players of commercial aviation. Moreover, the development of accurate prediction models for flight delays became cumbersome due to the complexity of air transportation system, the number of methods for prediction, and the deluge of flight data. In this context, this paper presents a thorough literature review of approaches used to build flight delay prediction models from the Data Science perspective. We propose a taxonomy and summarize the initiatives used to address the flight delay prediction problem, according to scope, data, and computational methods, giving particular attention to an increased usage of machine learning methods. Besides, we also present a timeline of significant works that depicts relationships between flight delay prediction problems and research trends to address them. The published version of this paper is made available at \url{https://doi.org/10.1080/01441647.2020.1861123}. Please cite as: L. Carvalho, A. Sternberg, L. Maia Gon\c{c}alves, A. Beatriz Cruz, J.A. Soares, D. Brand\~ao, D. Carvalho, e E. Ogasawara, 2020, On the relevance of data science for flight delay research: a systematic review, Transport Reviews


title: An Exact Model of the Power/Efficiency Trade-Off While Approaching the Carnot Limit

abstract: The Carnot heat engine sets an upper bound on the efficiency of a heat engine. As an ideal, reversible engine, a single cycle must be performed in infinite time, and so the Carnot engine has zero power. However, there is nothing in principle forbidding the existence of a heat engine whose efficiency approaches that of Carnot while maintaining finite power. Such an engine must have very special properties, some of which have been discussed in the literature, in various limits. While recent theorems rule out a large class of engines from maintaining finite power at exactly the Carnot efficiency, the approach to the limit still merits close study. Presented here is an exactly solvable model of such an approach that may serve as a laboratory for exploration of the underlying mechanisms. The equations of state have their origins in the extended thermodynamics of electrically charged black holes.


title: Roots multiplicity without companion matrices

abstract: We show a method for constructing a polynomial interpolating roots' multiplicities of another polynomial, that does not use companion matrices. This leads to a modification to Guersenzvaig--Szechtman square-free decomposition algorithm that is more efficient both in theory and in practice.


title: Mixing time of Markov chains for the 1-2 model

abstract: A 1-2 model configuration is a subset of edges of a hexagonal lattice satisfying the constraint that each vertex is incident to 1 or 2 edges. We introduce Markov chains to sample the 1-2 model configurations on 2D hexagonal lattice and prove that the mixing time of these chains is polynomial in the sizes of the graphs for a large class of probability measures.


title: The joint influence of competition and mutualism on the biodiversity of mutualistic ecosystems

abstract: Relations among species in ecosystems can be represented by complex networks where both negative (competition) and positive (mutualism) interactions are concurrently present. Recently, it has been shown that many ecosystems can be cast into mutualistic networks, and that nestedness reduces effective inter-species competition, thus facilitating mutually beneficial interactions and increasing the number of coexisting species or the biodiversity. However, current approaches neglect the structure of inter-species competition by adopting a mean-field perspective that does not deal with competitive interactions properly. Here, we introduce a framework based on the concept of multilayer networks, which naturally accounts for both mutualism and competition. Hence, we abandon the mean field hypothesis and show, through a dynamical population model and numerical simulations, that there is an intricate relation between competition and mutualism. Specifically, we show that when all interactions are taken into account, mutualism does not have the same consequences on the evolution of specialist and generalist species. This leads to a non-trivial profile of biodiversity in the parameter space of competition and mutualism. Our findings emphasize how the simultaneous consideration of positive and negative interactions can contribute to our understanding of the delicate trade-offs between topology and biodiversity in ecosystems and call for a reconsideration of previous findings in theoretical ecology, as they may affect the structural and dynamical stability of mutualistic systems.


title: The rational homotopy of mapping spaces of E${}_n$ operads

abstract: We express the rational homotopy type of the mapping spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ of the little discs operads in terms of graph complexes. Using known facts about the graph homology this allows us to compute the rational homotopy groups in low degrees, and construct infinite series of non-trivial homotopy classes in higher degrees. Furthermore we show that for $n-m>2$, the spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ and $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n)$ are simply connected and rationally equivalent. As application we determine the rational homotopy type of the deloopings of spaces of long embeddings. Some of the results hold also for mapping spaces $\mathrm{Map}_{\leq k}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$, $\mathrm{Map}_{\leq k}^h(\mathsf D_m,\mathsf D_n)$, $n-m\geq 2$, of the truncated little discs operads, which allows one to determine rationally the delooping of the Goodwillie-Weiss tower for the spaces of long embeddings.


title: A fresh look at the determination of |V_cb| from B-> D^* l nu

abstract: We use recent Belle results on $\bar{B}^0\rightarrow D^{*+}l^-\bar{\nu}_l$ decays to extract the CKM element $|V_{cb}|$ with two different but well-founded parameterizations of the form factors. We show that the CLN and BGL parameterizations lead to quite different results for $|V_{cb}|$ and provide a simple explanation of this unexpected behaviour. A long lasting discrepancy between the inclusive and exclusive determinations of $|V_{cb}|$ may have to be thoroughly reconsidered.


title: Learning Hybrid Process Models From Events: Process Discovery Without Faking Confidence

abstract: Process discovery techniques return process models that are either formal (precisely describing the possible behaviors) or informal (merely a "picture" not allowing for any form of formal reasoning). Formal models are able to classify traces (i.e., sequences of events) as fitting or non-fitting. Most process mining approaches described in the literature produce such models. This is in stark contrast with the over 25 available commercial process mining tools that only discover informal process models that remain deliberately vague on the precise set of possible traces. There are two main reasons why vendors resort to such models: scalability and simplicity. In this paper, we propose to combine the best of both worlds: discovering hybrid process models that have formal and informal elements. As a proof of concept we present a discovery technique based on hybrid Petri nets. These models allow for formal reasoning, but also reveal information that cannot be captured in mainstream formal models. A novel discovery algorithm returning hybrid Petri nets has been implemented in ProM and has been applied to several real-life event logs. The results clearly demonstrate the advantages of remaining "vague" when there is not enough "evidence" in the data or standard modeling constructs do not "fit". Moreover, the approach is scalable enough to be incorporated in industrial-strength process mining tools.


title: Correlation Inequalities and Monotonicity Properties of the Ruelle Operator

abstract: Let $X = \{1,-1\}^\mathbb{N}$ be the symbolic space endowed with the product order. A Borel probability measure $\mu$ over $X$ is said to satisfy the FKG inequality if for any pair of continuous increasing functions $f$ and $g$ we have $\mu(fg)-\mu(f)\mu(g)\geq 0$. In the first part of the paper we prove the validity of the FKG inequality on Thermodynamic Formalism setting for a class of eigenmeasures of the dual of the Ruelle operator, including several examples of interest in Statistical Mechanics. In addition to deducing this inequality in cases not covered by classical results about attractive specifications our proof has advantage of to be easily adapted for suitable subshifts. We review (and provide proofs in our setting) some classical results about the long-range Ising model on the lattice $\mathbb{N}$ and use them to deduce some monotonicity properties of the associated Ruelle operator and their relations with phase transitions. As is widely known, for some continuous potentials does not exists a positive continuous eigenfunction associated to the spectral radius of the Ruelle operator acting on $C(X)$. Here we employed some ideas related to the involution kernel in order to solve the main eigenvalue problem in a suitable sense - for a class of potentials having low regularity. From this we obtain an explicit tight upper bound for the main eigenvalue (consequently for the pressure) of the Ruelle operator associated to Ising models with $1/r^{2+\varepsilon}$ interaction energy. Extensions of the Ruelle operator to suitable Hilbert Spaces are considered and a theorem solving to the main eigenvalue problem (in a weak sense) is obtained by using the Lions-Lax-Milgram theorem.


title: Tusn\'ady's problem, the transference principle, and non-uniform QMC sampling

abstract: It is well-known that for every $N \geq 1$ and $d \geq 1$ there exist point sets $x_1, \dots, x_N \in [0,1]^d$ whose discrepancy with respect to the Lebesgue measure is of order at most $(\log N)^{d-1} N^{-1}$. In a more general setting, the first author proved together with Josef Dick that for any normalized measure $\mu$ on $[0,1]^d$ there exist points $x_1, \dots, x_N$ whose discrepancy with respect to $\mu$ is of order at most $(\log N)^{(3d+1)/2} N^{-1}$. The proof used methods from combinatorial mathematics, and in particular a result of Banaszczyk on balancings of vectors. In the present note we use a version of the so-called transference principle together with recent results on the discrepancy of red-blue colorings to show that for any $\mu$ there even exist points having discrepancy of order at most $(\log N)^{d-\frac12} N^{-1}$, which is almost as good as the discrepancy bound in the case of the Lebesgue measure.


title: On the Minimization of Convex Functionals of Probability Distributions Under Band Constraints

abstract: The problem of minimizing convex functionals of probability distributions is solved under the assumption that the density of every distribution is bounded from above and below. A system of sufficient and necessary first-order optimality conditions as well as a bound on the optimality gap of feasible candidate solutions are derived. Based on these results, two numerical algorithms are proposed that iteratively solve the system of optimality conditions on a grid of discrete points. Both algorithms use a block coordinate descent strategy and terminate once the optimality gap falls below the desired tolerance. While the first algorithm is conceptually simpler and more efficient, it is not guaranteed to converge for objective functions that are not strictly convex. This shortcoming is overcome in the second algorithm, which uses an additional outer proximal iteration, and, which is proven to converge under mild assumptions. Two examples are given to demonstrate the theoretical usefulness of the optimality conditions as well as the high efficiency and accuracy of the proposed numerical algorithms.


title: Rotation and Neoclassical Ripple Transport in ITER

abstract: Neoclassical transport in the presence of non-axisymmetric magnetic fields causes a toroidal torque known as neoclassical toroidal viscosity (NTV). The toroidal symmetry of ITER will be broken by the finite number of toroidal field coils and by test blanket modules (TBMs). The addition of ferritic inserts (FIs) will decrease the magnitude of the toroidal field ripple. 3D magnetic equilibria with toroidal field ripple and ferromagnetic structures are calculated for an ITER steady-state scenario using the Variational Moments Equilibrium Code (VMEC). Neoclassical transport quantities in the presence of these error fields are calculated using the Stellarator Fokker-Planck Iterative Neoclassical Conservative Solver (SFINCS). These calculations fully account for $E_r$, flux surface shaping, multiple species, magnitude of ripple, and collisionality rather than applying approximate analytic NTV formulae. As NTV is a complicated nonlinear function of $E_r$, we study its behavior over a plausible range of $E_r$. We estimate the toroidal flow, and hence $E_r$, using a semi-analytic turbulent intrinsic rotation model and NUBEAM calculations of neutral beam torque. The NTV from the $\rvert n \rvert = 18$ ripple dominates that from lower $n$ perturbations of the TBMs. With the inclusion of FIs, the magnitude of NTV torque is reduced by about 75% near the edge. We present comparisons of several models of tangential magnetic drifts, finding appreciable differences only for superbanana-plateau transport at small $E_r$. We find the scaling of calculated NTV torque with ripple magnitude to indicate that ripple-trapping may be a significant mechanism for NTV in ITER. The computed NTV torque without ferritic components is comparable in magnitude to the NBI and intrinsic turbulent torques and will likely damp rotation, but the NTV torque is significantly reduced by the planned ferritic inserts.


title: Communication Primitives in Cognitive Radio Networks

abstract: Cognitive radio networks are a new type of multi-channel wireless network in which different nodes can have access to different sets of channels. By providing multiple channels, they improve the efficiency and reliability of wireless communication. However, the heterogeneous nature of cognitive radio networks also brings new challenges to the design and analysis of distributed algorithms. In this paper, we focus on two fundamental problems in cognitive radio networks: neighbor discovery, and global broadcast. We consider a network containing $n$ nodes, each of which has access to $c$ channels. We assume the network has diameter $D$, and each pair of neighbors have at least $k\geq 1$, and at most $k_{max}\leq c$, shared channels. We also assume each node has at most $\Delta$ neighbors. For the neighbor discovery problem, we design a randomized algorithm CSeek which has time complexity $\tilde{O}((c^2/k)+(k_{max}/k)\cdot\Delta)$. CSeek is flexible and robust, which allows us to use it as a generic "filter" to find "well-connected" neighbors with an even shorter running time. We then move on to the global broadcast problem, and propose CGCast, a randomized algorithm which takes $\tilde{O}((c^2/k)+(k_{max}/k)\cdot\Delta+D\cdot\Delta)$ time. CGCast uses CSeek to achieve communication among neighbors, and uses edge coloring to establish an efficient schedule for fast message dissemination. Towards the end of the paper, we give lower bounds for solving the two problems. These lower bounds demonstrate that in many situations, CSeek and CGCast are near optimal.


title: Inference via low-dimensional couplings

abstract: We investigate the low-dimensional structure of deterministic transformations between random variables, i.e., transport maps between probability measures. In the context of statistics and machine learning, these transformations can be used to couple a tractable "reference" measure (e.g., a standard Gaussian) with a target measure of interest. Direct simulation from the desired measure can then be achieved by pushing forward reference samples through the map. Yet characterizing such a map---e.g., representing and evaluating it---grows challenging in high dimensions. The central contribution of this paper is to establish a link between the Markov properties of the target measure and the existence of low-dimensional couplings, induced by transport maps that are sparse and/or decomposable. Our analysis not only facilitates the construction of transformations in high-dimensional settings, but also suggests new inference methodologies for continuous non-Gaussian graphical models. For instance, in the context of nonlinear state-space models, we describe new variational algorithms for filtering, smoothing, and sequential parameter inference. These algorithms can be understood as the natural generalization---to the non-Gaussian case---of the square-root Rauch-Tung-Striebel Gaussian smoother.


title: Implications of the AdS/CFT Correspondence on Spacetime and Worldsheet OPE Coefficients

abstract: We explore the connection between the operator product expansion (OPE) in the boundary and worldsheet conformal field theories in the context of AdS$_{d+1}$/CFT$_d$ correspondence. Considering single trace scalar operators in the boundary theory and using the saddle point analysis of the worldsheet OPE [1], we derive an explicit relation between OPE coefficients in the boundary and worldsheet theories for the contribution of single trace spin $\ell$ operators to the OPE. We also consider external vector operators and obtain the relation between OPE coefficients for the exchange of single trace scalar operators in the OPE. We revisit the relationship between the bulk cubic couplings in the Supergravity approximation and the OPE coefficients in the dual boundary theory. Our results match with the known examples from the case of AdS$_3$/CFT$_2$. For the operators whose two and three point correlators enjoy a non renormalization theorem, this gives a set of three way relations between the bulk cubic couplings in supergravity and the OPE coefficients in the boundary and worldsheet theories.


title: Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem

abstract: We present two fully mechanized proofs of Dilworths and Mirskys theorems in the Coq proof assistant. Dilworths Theorem states that in any finite partially ordered set (poset), the size of a smallest chain cover and a largest antichain are the same. Mirskys Theorem is a dual of Dilworths Theorem. We formalize the proofs by Perles [2] (for Dilworths Theorem) and by Mirsky [5] (for the dual theorem). We also come up with a library of definitions and facts that can be used as a framework for formalizing other theorems on finite posets.


title: Vector-like Fermions and Higgs Effective Field Theory Revisited

abstract: Heavy vector-like quarks (VLQs) appear in many models of beyond the Standard Model physics. Direct experimental searches require these new quarks to be heavy, $\gsim$ 800-1000 GeV. We perform a global fit of the parameters of simple VLQ models in minimal representations of $SU(2)_L$ to precision data and Higgs rates. An interesting connection between anomalous $Z b {\overline {b}}$ interactions and Higgs physics in VLQ models is discussed. Finally, we present our analysis in an effective field theory (EFT) framework and show that the parameters of VLQ models are already highly constrained. Exact and approximate analytical formulas for the $S$ and $T$ parameters in the VLQ models we consider are posted at https://quark.phy.bnl.gov/Digital_Data_Archive/dawson/vlq_17/ as Mathematica files.


title: Scaling of Relativistic Shear Flows with Bulk Lorentz Factor

abstract: We compare Particle-in-Cell simulation results of relativistic electron-ion shear flows with different bulk Lorentz factors, and discuss their implications for spine-sheath models of blazar versus gamma-ray burst (GRB) jets. Specifically, we find that most properties of the shear boundary layer scale with the bulk Lorentz factor: the lower the Lorentz factor, the thinner the boundary layer, and the weaker the self-generated fields. Similarly, the energized electron spectrum peaks at an energy near the ion drift energy, which increases with bulk Lorentz factor, and the beaming of the accelerated electrons gets narrower with increasing Lorentz factor. This predicts a strong correlation between emitted photon energy, angular beaming and temporal variability with the bulk Lorentz factor. Observationally, we expect systematic differences between the high-energy emissions of blazars and GRB jets.


title: Reassessment of the Null Result of the HST Search for Planets in 47 Tucanae

abstract: We revisit the null result of the Hubble Space Telescope search for transiting planets in the globular cluster 47 Tucanae, in the light of improved knowledge of planet occurrence from the Kepler mission. Gilliland and co-workers expected to find 17 planets, assuming the 47 Tuc stars have close-in giant planets with the same characteristics and occurrence rate as those of the nearby stars that had been surveyed up until 1999. We update this result by assuming that 47 Tuc and Kepler stars have identical planet populations. The revised number of expected detections is $4.0^{+1.7}_{-1.4}$. When we restrict the Kepler stars to the same range of masses as the stars that were searched in 47 Tuc, the number of expected detections is reduced to $2.2^{+1.6}_{-1.1}$. Thus, the null result of the HST search is less statistically significant than it originally seemed. We cannot reject even the extreme hypothesis that 47 Tuc and Kepler stars have the same planet populations, with more than 2-3$\sigma$ significance. More sensitive searches are needed to allow comparisons between the planet populations of globular clusters and field stars.


title: Chaotic-Based Processor for Communication and Multimedia Applications

abstract: Chaos is a phenomenon that attracted much attention in the past ten years. In this paper, we analyze chaos-based signal processing, and proposed a chaos processor to take advantage of chaos phenomenon. We also analyzed and demonstrated two of its practical applications in communication and sound synthesis.


title: Stochastic Tools Hidden Behind the Empirical Dielectric Relaxation Laws

abstract: The paper is devoted to recent advances in stochastic modeling of anomalous kinetic processes observed in dielectric materials which are prominent examples of disordered (complex) systems. Theoretical studies of dynamical properties of those "structures with variations" [Goldenfield and Kadanoff 1999 Science 284 87--9] require application of such mathematical tools by means of which their random nature can be analyzed and, independently of the details differing various systems (dipolar materials, glasses, semiconductors, liquid crystals, polymers, etc.), the empirical universal kinetic patterns can be derived. We begin with a brief survey of the historical background of the dielectric relaxation study. After a short outline of the theoretical ideas providing the random tools applicable to modeling of relaxation phenomena, we present probabilistic implications for the study of the relaxation-rate distribution models. In the framework of the probability distribution of relaxation rates we consider description of complex systems, in which relaxing entities form random clusters interacting with each other and single entities. Then we focus on stochastic mechanisms of the relaxation phenomenon. We discuss the diffusion approach and its usefulness for understanding of anomalous dynamics of the relaxing systems. We also discuss extensions of the diffusive approach to the systems under tempered random processes. Useful relationships among different stochastic approaches to the anomalous dynamics of complex systems allow us to get a fresh look on this subject. The paper closes with a final discussion on achievements of stochastic tools describing the anomalous time evolution of the complex systems.


title: Fast radio burst source properties and curvature radiation model

abstract: We use the observed properties of fast radio bursts (FRBs) and a number of general physical considerations to provide a broad-brush model for the physical properties of FRB sources and the radiation mechanism. We show that the magnetic field in the source region should be at least 10^{14} Gauss. This strong field is required to ensure that the electrons have sufficiently high ground state Landau energy so that particle collisions, instabilities, and strong electric and magnetic fields associated with the FRB radiation do not perturb electrons' motion in the direction transverse to the magnetic field and destroy their coherent motion; coherence is required by the high observed brightness temperature of FRB radiation. The electric field in the source region required to sustain particle motion for a wave period is estimated to be of order 10^{11} esu. These requirements suggest that FRBs are produced near the surface of magnetars perhaps via forced reconnection of magnetic fields to produce episodic, repeated, outbursts. The beaming-corrected energy release in these bursts is estimated to be ~10^{36} ergs, whereas the total energy in the magnetic field is at least ~10^{45} ergs. We provide a number of predictions for this model which can be tested by future observations. One of which is that short duration FRB-like bursts should exist at much higher frequencies, possibly up to optical.


title: Reionization of the Milky Way, M31, and their satellites I: reionization history and star formation

abstract: Observations of the Milky Way (MW), M31, and their vicinity, known as the Local Group (LG), can provide clues about the sources of reionization. We present a suite of radiative transfer simulations based on initial conditions provided by the Constrained Local UniversE Simulations (CLUES) project that are designed to recreate the Local Universe, including a realistic MW-M31 pair and a nearby Virgo. Our box size (91 Mpc) is large enough to incorporate the relevant sources of ionizing photons for the LG. We employ a range of source models, mimicking the potential effects of radiative feedback for dark matter haloes between $10^{8}-10^{9}$ M$_{\odot}$. Although the LG mostly reionizes in an inside-out fashion, the final 40 per cent of its ionization shows some outside influence. For the LG satellites, we find no evidence that their redshift of reionization is related to the present-day mass of the satellite or the distance from the central galaxy. We find that less than 20 per cent of present-day satellites for MW and M31 have undergone any star formation prior to the end of global reionization. Approximately five per cent of these satellites could be classified as fossils, meaning the majority of star formation occurred at these early times. The more massive satellites have more cumulative star formation prior to the end of global reionization, but the scatter is significant, especially at the low-mass end. Present-day mass and distance from the central galaxy are poor predictors for the presence of ancient stellar populations in satellite galaxies.


title: Comparison of the X-ray emission from Tidal Disruption Events with those of Active Galactic Nuclei

abstract: One of the main challenges of current tidal disruption events (TDEs) studies is that emission arising from AGN activity may potentially mimic the expected X-ray emission of a TDE. Here we compare the X-ray properties of TDEs and AGN to determine a set of characteristics which would allow us to discriminate between flares arising from these two objects. We find that at peak, TDEs are brighter than AGN found at similar redshifts. However, compared to preflare upperlimits, highly variable AGN can produce flares of a similar order of magnitude as those seen from X-ray TDEs. Nevertheless, TDEs decay significantly more monotonically, and their emission exhibits little variation in spectral hardness as a function of time. We also find that X-ray TDEs are less absorbed, and their emission is much softer than the emission detected from AGN found at similar redshifts. We derive the X-ray luminosity function (LF) for X-ray TDEs using the events from Auchettl et al. (2017). Interestingly, our X-ray LF matches closely the theoretically derived LF by Milosavljevi\'c et al. (2006). which assumes a higher TDE rate currently estimated from observations. Using our results and the results of Stone & Metzger (2016), we estimate a TDE rate of $(0.7-4.7)\times10^{-4}$ yr$^{-1}$ per galaxy, higher than current observational estimates. We find that TDEs can contribute significantly to the LF of AGN for $z\lesssim0.4$, while there is no evidence that TDEs influence the growth of $10^{6-7}M_{\odot}$ BHs. However, BHs $<10^{6}M_{\odot}$ can grow from TDEs arising from super-Eddington accretion without contributing significantly to the observed AGN LF at $z=0$.


title: Berry Phases on Virasoro Orbits

abstract: We point out that unitary representations of the Virasoro algebra contain Berry phases obtained by acting on a primary state with conformal transformations that trace a closed path on a Virasoro coadjoint orbit. These phases can be computed exactly thanks to the Maurer-Cartan form on the Virasoro group, and they persist after combining left- and right-moving sectors. Thinking of Virasoro representations as particles in AdS_3 dressed with boundary gravitons, the Berry phases associated with Brown-Henneaux diffeomorphisms provide a gravitational extension of Thomas precession.

categories: hep-th cond-mat.str-el gr-qc math.RT quant-ph


title: Spatially Offset Active Galactic Nuclei. II: Triggering in Galaxy Mergers

abstract: Galaxy mergers are likely to play a role in triggering active galactic nuclei (AGN), but the conditions under which this process occurs are poorly understood. In Paper I, we constructed a sample of spatially offset X-ray AGN that represent galaxy mergers hosting a single AGN. In this paper, we use our offset AGN sample to constrain the parameters that affect AGN observability in galaxy mergers. We also construct dual AGN samples with similar selection properties for comparison. We find that the offset AGN fraction shows no evidence for a dependence on AGN luminosity, while the dual AGN fractions show stronger evidence for a positive dependence, suggesting that the merger events forming dual AGN are more efficient at instigating accretion onto supermassive black holes than those forming offset AGN. We also find that the offset and dual AGN fractions both have a negative dependence on nuclear separation and are similar in value at small physical scales. This dependence may become stronger when restricted to high AGN luminosities, though a larger sample is needed for confirmation. These results indicate that the probability of AGN triggering increases at later merger stages. This study is the first to systematically probe down to nuclear separations of <1 kpc (~0.8 kpc) and is consistent with predictions from simulations that AGN observability peaks in this regime. We also find that the offset AGN are not preferentially obscured compared to the parent AGN sample, suggesting that our selection may be targeting galaxy mergers with relatively dust-free nuclear regions.


title: Cosmic Information, the Cosmological Constant and the Amplitude of primordial perturbations

abstract: A unique feature of gravity is its ability to control the information accessible to any specific observer. We quantify the notion of cosmic information ('CosmIn') for an eternal observer in the universe. Demanding the finiteness of CosmIn requires the universe to have a late-time accelerated expansion. Combining the introduction of CosmIn with generic features of the quantum structure of spacetime (e.g., the holographic principle), we present a holistic model for cosmology. We show that (i) the numerical value of the cosmological constant, as well as (ii) the amplitude of the primordial, scale invariant, perturbation spectrum can be determined in terms of a single free parameter, which specifies the energy scale at which the universe makes a transition from a pre-geometric phase to the classical phase. For a specific value of the parameter, we obtain the correct results for both (i) and (ii). This formalism also shows that the quantum gravitational information content of spacetime can be tested using precision cosmology.


title: Revisiting the bulge-halo conspiracy I: Dependence on galaxy properties and halo mass

abstract: We carry out a systematic investigation of the total mass density profile of massive (Mstar>2e11 Msun) early-type galaxies and its dependence on galactic properties and host halo mass with the aid of a variety of lensing/dynamical data and large mock galaxy catalogs. The latter are produced via semi-empirical models that, by design, are based on just a few basic input assumptions. Galaxies, with measured stellar masses, effective radii and S\'{e}rsic indices, are assigned, via abundance matching relations, host dark matter halos characterized by a typical LCDM profile. Our main results are as follows: (i) In line with observational evidence, our semi-empirical models naturally predict that the total, mass-weighted density slope at the effective radius gamma' is not universal, steepening for more compact and/or massive galaxies, but flattening with increasing host halo mass. (ii) Models characterized by a Salpeter or variable initial mass function and uncontracted dark matter profiles are in good agreement with the data, while a Chabrier initial mass function and/or adiabatic contractions/expansions of the dark matter halos are highly disfavored. (iii) Currently available data on the mass density profiles of very massive galaxies (Mstar>1e12 Msun), with Mhalo>3e14 Msun, favor instead models with a stellar profile flatter than a S\'{e}rsic one in the very inner regions (r<3-5 kpc), and a cored NFW or Einasto dark matter profile with median halo concentration a factor of ~2 or <1.3, respectively, higher than those typically predicted by N-body numerical simulations.


title: The halo of M49 and its environment as traced by planetary nebulae

abstract: The galaxy M49 (NGC 4472) is the brightest early-type galaxy in the Virgo Cluster. It is located in Subcluster B and has an unusually blue, metal-poor outer halo. Planetary nebulae (PNe) are excellent tracers of diffuse galaxy and intragroup light. We present a photometric survey of PNe in the galaxy's extended halo to characterise its PN population, as well as the surrounding intragroup light (IGL) of the Subcluster B. PNe were identified based on their bright [OIII]5007 \AA\ emission and absence of a broad-band continuum. We identify 738 PNe out to a radius of 155 kpc from M49's centre from which we define a complete sample of 624 PNe within a limiting magnitude of m_5007=28.8. Comparing the PN number density to the broad-band stellar surface brightness profile, we find a variation of the PN-specific frequency (alpha-parameter) with radius. The outer halo beyond 60 kpc has a 3.2 times higher alpha-parameter compared to the main galaxy halo, which is likely due to contribution from the surrounding blue IGL. We use the Planetary Nebulae Luminosity Function (PNLF) as an indicator of distance and stellar population. Its slope, which correlates empirically with galaxy type, varies within the inner halo. In the eastern quadrant of M49, the PNLF slope is shallower, indicating an additional localised, bright PN population following an accretion event, likely that of the dwarf irregular galaxy VCC1249. We also determined a distance modulus of mu = 31.29+/-0.08 for M49, corresponding to a physical distance of 18.1+/-0.6 Mpc, which agrees with a recent surface-brightness fluctuations distance. The PN populations in the outer halo of M49 are consistent with the presence of a main Sersic galaxy halo with a slight (B-V) colour gradient of 10${}^{-4}$ mag/arcsec surrounded by intragroup light with a very blue colour of (B-V)=0.25 and a constant surface brightness mu_V=28.0 mag/arcsec${}^2$.


title: A Universe of Ultra-Diffuse Galaxies: Theoretical Predictions from $\Lambda$CDM Simulations

abstract: A particular population of galaxies have drawn much interest recently, which are as faint as typical dwarf galaxies but have the sizes as large as $L^*$ galaxies, the so called "ultra-diffuse galaxie" (UDGs). The lack of tidal features of UDGs in dense environments suggests that their host halos are perhaps as massive as that of the Milky Way. On the other hand, galaxy formation efficiency should be much higher in the halos of such masses. Here we use the model galaxy catalog generated by populating two large simulations: the Millennium-II cosmological simulation and Phoenix simulations of 9 big clusters with the semi-analytic galaxy formation model. This model reproduces remarkably well the observed properties of UDGs in the nearby clusters, including the abundance, profile, color, and morphology, etc. We search for UDG candidates using the public data and find 2 UDG candidates in our Local Group and 23 in our Local Volume, in excellent agreement with the model predictions. We demonstrate that UDGs are genuine dwarf galaxies, formed in the halos of $\sim 10^{10}M_{\odot}$. It is the combination of the late formation time and high-spins of the host halos that results in the spatially extended feature of this particular population. The lack of tidal disruption features of UDGs in clusters can also be explained by their late infall-time.


title: Manin's conjecture for a class of singular cubic hypersurfaces

abstract: Let $n$ be a positive multiple of $4$. We establish an asymptotic formula for the number of rational points of bounded height on singular cubic hypersurfaces $S_n$ defined by $$ x^3=(y_1^2 + \cdots + y_n^2)z . $$ This result is new in two aspects: first, it can be viewed as a modest start on the study of density of rational points on those singular cubic hypersurfaces which are not covered by the classical theorems of Davenport or Heath-Brown; second, it proves Manin's conjecture for singular cubic hypersurfaces $S_n$ defined above.


title: From log-determinant inequalities to Gaussian entanglement via recoverability theory

abstract: Many determinantal inequalities for positive definite block matrices are consequences of general entropy inequalities, specialised to Gaussian distributed vectors with prescribed covariances. In particular, strong subadditivity (SSA) yields \begin{equation*} \ln\det V_{AC} + \ln\det V_{BC} - \ln\det V_{ABC} - \ln\det V_C \geq 0 \end{equation*} for all $3\times 3$-block matrices $V_{ABC}$, where subscripts identify principal submatrices. We shall refer to the above inequality as SSA of log-det entropy. In this paper we develop further insights on the properties of the above inequality and its applications to classical and quantum information theory. In the first part of the paper, we show how to find known and new necessary and sufficient conditions under which saturation with equality occurs. Subsequently, we discuss the role of the classical transpose channel (also known as Petz recovery map) in this problem and find its action explicitly. We then prove some extensions of the saturation theorem, by finding faithful lower bounds on a log-det conditional mutual information. In the second part, we focus on quantum Gaussian states, whose covariance matrices are not only positive but obey additional constraints due to the uncertainty relation. For Gaussian states, the log-det entropy is equivalent to the R\'enyi entropy of order $2$. We provide a strengthening of log-det SSA for quantum covariance matrices that involves the so-called Gaussian R\'enyi-$2$ entanglement of formation, a well-behaved entanglement measure defined via a Gaussian convex roof construction. We then employ this result to define a log-det entropy equivalent of the squashed entanglement, which is remarkably shown to coincide with the Gaussian R\'enyi-$2$ entanglement of formation. This allows us to establish useful properties of such measure(s), like monogamy, faithfulness, and additivity on Gaussian states.


title: Well-posedness of the non-local conservation law by stochastic perturbation

abstract: Stochastic non-local conservation law equation in the presence of discontinuous flux functions is considered in an $L^{1}\cap L^{2}$ setting. The flux function is assumed bounded and integrable (spatial variable). Our result is to prove existence and uniqueness of weak solutions. The solution is strong solution in the probabilistic sense. The proofs are constructive and based on the method of characteristics (in the presence of noise), It\^o-Wentzell-Kunita formula and commutators. Our results are new , to the best of our knowledge, and are the first nonlinear extension of the seminar paper [20] where the linear case was addressed.


title: Hyperspectral Unmixing with Endmember Variability using Semi-supervised Partial Membership Latent Dirichlet Allocation

abstract: A semi-supervised Partial Membership Latent Dirichlet Allocation approach is developed for hyperspectral unmixing and endmember estimation while accounting for spectral variability and spatial information. Partial Membership Latent Dirichlet Allocation is an effective approach for spectral unmixing while representing spectral variability and leveraging spatial information. In this work, we extend Partial Membership Latent Dirichlet Allocation to incorporate any available (imprecise) label information to help guide unmixing. Experimental results on two hyperspectral datasets show that the proposed semi-supervised PM-LDA can yield improved hyperspectral unmixing and endmember estimation results.


title: WKB solutions of difference equations and reconstruction by the topological recursion

abstract: The purpose of this article is to analyze the connection between Eynard-Orantin topological recursion and formal WKB solutions of a $\hbar$-difference equation: $\Psi(x+\hbar)=\left(e^{\hbar\frac{d}{dx}}\right) \Psi(x)=L(x;\hbar)\Psi(x)$ with $L(x;\hbar)\in GL_2( (\mathbb{C}(x))[\hbar])$. In particular, we extend the notion of determinantal formulas and topological type property proposed for formal WKB solutions of $\hbar$-differential systems to this setting. We apply our results to a specific $\hbar$-difference system associated to the quantum curve of the Gromov-Witten invariants of $\mathbb{P}^1$ for which we are able to prove that the correlation functions are reconstructed from the Eynard-Orantin differentials computed from the topological recursion applied to the spectral curve $y=\cosh^{-1}\frac{x}{2}$. Finally, identifying the large $x$ expansion of the correlation functions, proves a recent conjecture made by B. Dubrovin and D. Yang regarding a new generating series for Gromov-Witten invariants of $\mathbb{P}^1$.


title: Profile of multiboson signals

abstract: We investigate the visibility of signals characterised by wide bumps over a smoothly falling background that cannot be accurately predicted by Monte Carlo calculations. Examples of such are the wide bumps that triboson and quadriboson resonance cascade decays would yield in diboson resonance searches in fully hadronic final states. We find that the sensitivity to triboson bumps is rather small: signals of a moderate size could be present in current data and yet remain unnoticed. For quadriboson cascade decays the signals can hardly be distinguished from the background in the current searches.


title: An MCMC-free approach to post-selective inference

abstract: We develop a Monte Carlo-free approach to inference post output from randomized algorithms with a convex loss and a convex penalty. The pivotal statistic based on a truncated law, called the selective pivot, usually lacks closed form expressions. Inference in these settings relies upon standard Monte Carlo sampling techniques at a reference parameter followed by an exponential tilting at the reference. Tilting can however be unstable for parameters that are far off from the reference parameter. We offer in this paper an alternative approach to construction of intervals and point estimates by proposing an approximation to the intractable selective pivot. Such an approximation solves a convex optimization problem in |E| dimensions, where |E| is the size of the active set observed from selection. We empirically show that the confidence intervals obtained by inverting the approximate pivot have valid coverage.


title: Accuracy Directly Controlled Fast Direct Solutions of General ${\cal H}^2$-Matrices and Its Application to Electrically Large Integral-Equation-Based Electromagnetic Analysis

abstract: The dense matrix resulting from an integral equation (IE) based solution of Maxwell's equations can be compactly represented by an ${\cal H}^2$-matrix. Given a general dense ${\cal H}^2$-matrix, prevailing fast direct solutions involve approximations whose accuracy can only be indirectly controlled. In this work, we propose new accuracy-controlled direct solution algorithms, including both factorization and inversion, for solving general ${\cal H}^2$-matrices, which does not exist prior to this work. Different from existing direct solutions, where the cluster bases are kept unchanged in the solution procedure thus lacking explicit accuracy control, the proposed new algorithms update the cluster bases and their rank level by level based on prescribed accuracy, without increasing computational complexity. Zeros are also introduced level by level such that the size of the matrix blocks computed at each tree level is the rank at that level, and hence being small. The proposed new direct solution has been applied to solve electrically large volume IEs whose rank linearly grows with electric size. A complexity of $O(NlogN)$ in factorization and inversion time, and a complexity of $O(N)$ in storage and solution time are both theoretically proven and numerically demonstrated. For constant-rank cases, the proposed direct solution has a strict $O(N)$ complexity in both time and memory. Rapid direct solutions of millions of unknowns can be obtained on a single CPU core with directly controlled accuracy.


title: Stochastic Flow Models with Delays and Applications to Multi-Intersection Traffic Light Control

abstract: We extend Stochastic Flow Models (SFMs), used for a large class of discrete event and hybrid systems, by including the delays which typically arise in flow movement. We apply this framework to the multi-intersection traffic light control problem by including transit delays for vehicles moving from one intersection to the next. Using Infinitesimal Perturbation Analysis (IPA) for this SFM with delays, we derive new on-line gradient estimates of several congestion cost metrics with respect to the controllable green and red cycle lengths. The IPA estimators are used to iteratively adjust light cycle lengths to improve performance and, in conjunction with a standard gradient-based algorithm, to obtain optimal values which adapt to changing traffic conditions. We introduce two new cost metrics to better capture congestion and show that the inclusion of delays in our analysis leads to improved performance relative to models that ignore delays.


title: ($\varepsilon$, T )-Chains and Chain Recurrence in Graph Determined Hybrid Dynamical Systems

abstract: This paper examines a continuous time dynamical system that is an extension of a discrete time dynamical system previously examined, and considers this system together in a product space with a compact subset of Euclidean space. Together, the two systems give a skew product flow. We first examine limit behavior and recurrence in our continuous time extension. We then consider analogous limit and recurrence concepts for a skew product flow, and the behavior on the Euclidean space that results.


title: de Broglie's double solution program: 90 years later

abstract: Since de Broglie's pilot wave theory was revived by David Bohm in the 1950's, the overwhelming majority of researchers involved in the field have focused on what is nowadays called de Broglie-Bohm dynamics and de Broglie's original double solution program was gradually forgotten. As a result, several of the key concepts in the theory are still rather vague and ill-understood. In the light of the progress achieved over the course of the 90 years that have passed since de Broglie's presentation of his ideas at the Solvay conference of 1927, we reconsider in the present paper the status of the double solution program. More than a somewhat dusty archaeological piece of history of science, we believe it should be considered as a legitimate attempt to reconcile quantum theory with realism.


title: An exact result in strong wave turbulence of thin elastic plates

abstract: An exact result concerning the energy transfers between non-linear waves of thin elastic plate is derived. Following Kolmogorov's original ideas in hydrodynamical turbulence, but applied to the F\"oppl-von K\'arm\'an equation for thin plates, the corresponding K\'arm\'an-Howarth-Monin relation and an equivalent of the $\frac{4}{5}$-Kolmogorov's law is derived. A third-order structure function involving increments of the amplitude, velocity and the Airy stress function of a plate, is proven to be equal to $-\varepsilon\, \ell$, where $\ell$ is a length scale in the inertial range at which the increments are evaluated and $\varepsilon$ the energy dissipation rate. Numerical data confirm this law. In addition, a useful definition of the energy fluxes in Fourier space is introduced and proven numerically to be flat in the inertial range. The exact results derived in this Letter are valid for both, weak and strong wave-turbulence. They could be used as a theoretical benchmark of new wave-turbulence theories and to develop further analogies with hydrodynamical turbulence.


title: On the vanishing of self extensions over Cohen-Macaulay local rings

abstract: The celebrated Auslander-Reiten Conjecture, on the vanishing of self extensions of a module, is one of the long-standing conjectures in ring theory. Although it is still open, there are several results in the literature that establish the conjecture over Gorenstein rings under certain conditions. The purpose of this article is to obtain extensions of such results over Cohen-Macaulay local rings that admit canonical modules. In particular, our main result recovers theorems of Araya, and Ono and Yoshino simultaneously.


title: Risk Proneness Estimation Method Developed in Relation to the Decision Taker that Controls the Robotic System

abstract: This work suggests the estimation method developed in relation to the position of the robotic system (RS) operator, showing his degree of risk proneness. The base models are: Hurwitz pessimism/optimism criterion and decision trees. The problem is solved using the reverse setting: we estimate pessimism/optimism parameter of the operator (decision taker) by observing what decisions he makes when controlling the RS. The solution context of such decision taker position estimation problems can be: using RS in emergency situations, in military actions and other situations connected with the uncertainty of the situation.


title: Wetting and layering for Solid-on-Solid I: Identification of the wetting point and critical behavior

abstract: We provide a complete description of the low temperature wetting transition for the two dimensional Solid-On-Solid model. More precisely we study the integer-valued field $(\phi(x))_{x\in \mathbb Z^2}$, associated associated to the energy functional $$V(\phi)=\beta \sum_{x\sim y}|\phi(x)-\phi(y)|-\sum_{x}\left(h{\bf 1}_{\{\phi(x)=0\}}-\infty{\bf 1}_{\{\phi(x)<0\}} \right).$$ It is known since the pioneering work of Chalker (J. Phys. A {\bf 15} (1982) 481-485) that for every $\beta$, there exists $h_{w}(\beta)>0$ delimiting a transition between a delocalized phase ($h<h_{w}(\beta)$) where the proportion of points at level zero vanishes, and a localized phase ($h>h_{w}(\beta)$) where this proportion is positive. We prove in the present paper that for $\beta$ sufficiently large we have $$h_w(\beta)= \log \left(\frac{e^{4\beta}}{e^{4\beta}-1}\right).$$ Furthermore we provide a sharp asymptotic for the free energy at the vicinity of the critical point: We show that close to $h_w(\beta)$, the free energy is approximately piecewise affine and that the points of discontinuity for the derivative of the affine approximation forms a geometric sequence accumulating on the right of $h_w(\beta)$. This asymptotic behavior provides a strong evidence for the conjectured existence of countably many "layering transitions" at the vicinity of the critical point, corresponding to jumps for the typical height of the field.


title: Transverse Momentum Dependent Parton Distributions at Small-x

abstract: We study the transverse momentum dependent (TMD) parton distributions at small-x in a consistent framework that takes into account the TMD evolution and small-x evolution simultaneously. The small-x evolution effects are included by computing the TMDs at appropriate scales in terms of the dipole scattering amplitudes, which obey the relevant Balitsky-Kovchegov equation. Meanwhile, the TMD evolution is obtained by resumming the Collins-Soper type large logarithms emerged from the calculations in small-x formalism into Sudakov factors.


title: Dilepton radiation and bulk viscosity in heavy-ion collisions

abstract: Starting from IP-Glasma initial conditions, we investigate the effects of bulk pressure on thermal dilepton production at the Relativistic Heavy Ion Collider (RHIC) and the Large Hadron Collider (LHC) energies. Though results of the thermal dilepton $v_2$ under the influence of both bulk and shear viscosity is presented for top RHIC energy, more emphasis is put on LHC energy where such a calculation is computed for the first time. The effects of the bulk pressure on thermal dilepton $v_2$ at the LHC are explored through bulk-induced modifications on the dilepton yield.


title: Polarized fusion, its Implications and plans for Direct Measurements in a Tokamak

abstract: A long-term energy option that is just approaching the horizon after decades of struggle, is fusion. Recent developments allow us to apply techniques from spin physics to advance its viability. The cross section for the primary fusion fuel in a tokamak reactor, D+T=>alpha+n, would be increased by a factor of 1.5 if the fuels were polarized. Simulations predict further non-linear power gains in large-scale machines such as ITER, due to increased alpha heating. These are significant enhancements that could lower the requirements needed to reach ignition and could be used to extend useful reactor life by compensating for neutron degradation. The potential realization rests on the survival of spin polarization for periods comparable to the energy containment time. Interest in polarized fuel options had an initial peak of activity in the 1980s, where calculations predicted that polarizations could in fact survive a plasma. However, concerns were raised regarding the cumulative impacts of fuel recycling from the reactor walls. In addition, the technical challenges of preparing and handling polarized materials prevented direct tests. Over the last several decades, this situation has changed dramatically. Detailed simulations of the ITER plasma have projected negligible wall recycling in a high power reactor. In addition, a combination of advances in three areas - polarized material technologies, polymer pellets developed for Inertial Confinement, and cryogenic injection guns developed for delivering fuel into the core of tokamaks - have matured to the point where a direct it in situ measurement is possible. A Jefferson Lab - DIII-D/General Atomics - University of Virginia collaboration is developing designs for a proof-of-principle polarization survival experiment using the isospin mirror reaction, D+3He=>alpha+p, at the DIII-D tokamak in San Diego.


title: Existence of Propagators for Time Dependent Coulomb-like Potentials

abstract: We prove existence of propagators for a time dependent Schr\"odinger equation with a new class of softened Coulomb potentials, which we allow to be time dependent, in the context of time dependent density functional theory. We compute explicitly the Fourier transform of these new potentials, and provide an alternative proof for the Fourier transform of the Coulomb potential using distribution theory. Finally we show the new potentials are dilatation analytic, and so the spectrum of the corresponding Hamiltonian can be fully characterized.


title: TraceFEM for the membrane problem using distance functions on $P_{1}$ and $P_{2}$ tetrahedra

abstract: We consider Trace finite element methods for the linear membrane problem on second order tetrahedral elements. To accomplish this, zero-level set reconstruction methods for second order tetrahedra are considered. For the higher order membrane model a corresponding stabilization is proposed and numerically evaluated. We compare combinations of background- and surface element order and provide numerical convergence results. The impact of the stabilization on the resulting solution is numerically analyzed. We also compare the choice of level set function with respect to the geometrical distance and normal errors.


title: Irreducibility of moduli of semistable Chains and applications to U(p,q)-Higgs bundles

abstract: We give necessary and sufficient conditions for moduli spaces of semistable chains on a curve to be irreducible and non-empty. This gives information on the irreducible components of the nilpotent cone of GL_n-Higgs bundles and the irreducible components of moduli of systems of Hodge bundles on curves. As we do not impose coprimality restrictions, we can apply this to prove connectedness for moduli spaces of U(p,q)-Higgs bundles.


title: Improving Assessment on MOOCs Through Peer Identification and Aligned Incentives

abstract: Massive Open Online Courses (MOOCs) use peer assessment to grade open ended questions at scale, allowing students to provide feedback. Relative to teacher based grading, peer assessment on MOOCs traditionally delivers lower quality feedback and fewer learner interactions. We present the identified peer review (IPR) framework, which provides non-blind peer assessment and incentives driving high quality feedback. We show that, compared to traditional peer assessment methods, IPR leads to significantly longer and more useful feedback as well as more discussion between peers.


title: Absence of a large superconductivity-induced gap in magnetic fluctuations of Sr2RuO4

abstract: Inelastic neutron scattering experiments on Sr2RuO4 determine the spectral weight of the nesting induced magnetic fluctuations across the superconducting transition. There is no observable change at the superconducting transition down to an energy of ~0.35 meV, which is well below the 2 delta values reported in several tunneling experiments. At this and higher energies magnetic fluctuations clearly persist in the superconducting state. Only at energies below ~0.3 meV evidence for partial suppression of spectral weight in the superconducting state can be observed. This strongly suggests that the one-dimensional bands with the associated nesting fluctuations do not form the active, highly gapped bands in the superconducting pairing in Sr2RuO4.


title: X-ray Emissions from Accreting White Dwarfs: a Review

abstract: Interacting binaries in which a white dwarf accretes material from a companion - cataclysmic variables (CVs) in which the mass donor is a Roche-lobe filling star on or near the main sequence, and symbiotic stars in which the mass donor is a late type giant - are relatively commonplace. They display a wide range of behaviors in the optical, X-rays, and other wavelengths, which still often baffle observers and theorists alike. Here I review the existing body of research on X-ray emissions from these objects for the benefits of both experts and newcomers to the field. I provide introductions to the past and current X-ray observatories, the types of known X-ray emissions from these objects, and the data analysis techniques relevant to this field. I then summarize of our knowledge regarding the X-ray emissions from magnetic CVs, non-magnetic CVs and symbiotic stars, and novae in eruption. I also discuss space density and the X-ray luminosity functions of these binaries and their contribution to the integrated X-ray emission from the Galaxy. I then discuss open questions and future prospects.


title: qGaussian: Tools to Explore Applications of Tsallis Statistics

abstract: q-Gaussian distribution appear in many science areas where we can find systems that could be described within a nonextensive framework. Usually, a way to assert that these systems belongs to nonextensive framework is by means of numerical data analysis. To this end, we implement random number generator for q-Gaussian distribution, while we present how to computing its probability density function, cumulative density function and quantile function besides a tail weight measurement using robust statistics.


title: Systems of conservation laws with third-order Hamiltonian structures

abstract: We investigate $n$-component systems of conservation laws that possess third-order Hamiltonian structures of differential-geometric type. The classification of such systems is reduced to the projective classification of linear congruences of lines in $\mathbb{P}^{n+2}$ satisfying additional geometric constraints. Algebraically, the problem can be reformulated as follows: for a vector space $W$ of dimension $n+2$, classify $n$-tuples of skew-symmetric 2-forms $A^{\alpha} \in \Lambda^2(W)$ such that \[ \phi_{\beta \gamma}A^{\beta}\wedge A^{\gamma}=0, \] for some non-degenerate symmetric $\phi$.


title: Group actions on cluster algebras and cluster categories

abstract: We introduce admissible group actions on cluster algebras, cluster categories and quivers with potential and study the resulting orbit spaces. The orbit space of the cluster algebra has the structure of a generalized cluster algebra. This generalized cluster structure is different from those introduced by Chekhov-Shapiro and Lam-Pylyavskyy. For group actions on cluster algebras from surfaces, we describe the generalized cluster structure of the orbit space in terms of a triangulated orbifold. In this case, we give a complete list of exchange polynomials, and we classify the algebras of rank 1 and 2. We also show that every admissible group action on a cluster category induces a precovering from the cluster category to the cluster category of orbits. Moreover this precovering is dense if the categories are of finite type.


title: QHWM of the orthogonal and symplectic types Lie subalgebras of the Lie algebra of the matrix quantum pseudo differential operators

abstract: In this paper we classify the irreducible quasifinite highest weight modules over the orthogonal and symplectic types Lie subalgebras of the Lie algebra of the matrix quantum pseudo differential operators. We also realize them in terms of the irreducible quasifinite highest weight modules of the Lie algebras of infinite matrices with finitely many nonzero diagonals and its classical Lie subalgebras of types B, C and D.


title: Scalable methods for Bayesian selective inference

abstract: Modeled along the truncated approach in Panigrahi (2016), selection-adjusted inference in a Bayesian regime is based on a selective posterior. Such a posterior is determined together by a generative model imposed on data and the selection event that enforces a truncation on the assumed law. The effective difference between the selective posterior and the usual Bayesian framework is reflected in the use of a truncated likelihood. The normalizer of the truncated law in the adjusted framework is the probability of the selection event; this is typically intractable and it leads to the computational bottleneck in sampling from such a posterior. The current work lays out a primal-dual approach of solving an approximating optimization problem to provide valid post-selective Bayesian inference. The selection procedures are posed as data-queries that solve a randomized version of a convex learning program which have the advantage of preserving more left-over information for inference. We propose a randomization scheme under which the optimization has separable constraints that result in a partially separable objective in lower dimensions for many commonly used selective queries to approximate the otherwise intractable selective posterior. We show that the approximating optimization under a Gaussian randomization gives a valid exponential rate of decay for the selection probability on a large deviation scale. We offer a primal-dual method to solve the optimization problem leading to an approximate posterior; this allows us to exploit the usual merits of a Bayesian machinery in both low and high dimensional regimes where the underlying signal is effectively sparse. We show that the adjusted estimates empirically demonstrate better frequentist properties in comparison to the unadjusted estimates based on the usual posterior, when applied to a wide range of constrained, convex data queries.


title: On Consistency of Graph-based Semi-supervised Learning

abstract: Graph-based semi-supervised learning is one of the most popular methods in machine learning. Some of its theoretical properties such as bounds for the generalization error and the convergence of the graph Laplacian regularizer have been studied in computer science and statistics literatures. However, a fundamental statistical property, the consistency of the estimator from this method has not been proved. In this article, we study the consistency problem under a non-parametric framework. We prove the consistency of graph-based learning in the case that the estimated scores are enforced to be equal to the observed responses for the labeled data. The sample sizes of both labeled and unlabeled data are allowed to grow in this result. When the estimated scores are not required to be equal to the observed responses, a tuning parameter is used to balance the loss function and the graph Laplacian regularizer. We give a counterexample demonstrating that the estimator for this case can be inconsistent. The theoretical findings are supported by numerical studies.


title: Optimal stopping of one-dimensional diffusions with integral criteria

abstract: This paper provides a full characterization of the value function and solution(s) of an optimal stopping problem for a one-dimensional diffusion with an integral criterion. The results hold under very weak assumptions, namely, the diffusion is assumed to be a weak solution of stochastic differential equation satisfying the Engelbert-Schmidt conditions, while the (stochastic) discount rate and the integrand are required to satisfy only general integrability conditions.


title: Impossibility of Three Pass Protocol using Public Abelian Groups

abstract: Key transport protocols are designed to transfer a secret key from an initiating principal to other entities in a network. The three-pass protocol is a key transport protocol developed by Adi Shamir in 1980 where Alice wants to transport a secret message to Bob over an insecure channel, and they do not have any pre-shared secret information. In this paper, we prove the impossibility of secret key transportation from a principal to another entity in a network by using the three pass protocol over public Abelian groups. If it were possible to employ public Abelian groups to implement the three-pass protocol, we could use it in post-quantum cryptography for transporting keys providing information theoretic security without relying on any computationally difficult problem.


title: Effective Evaluation using Logged Bandit Feedback from Multiple Loggers

abstract: Accurately evaluating new policies (e.g. ad-placement models, ranking functions, recommendation functions) is one of the key prerequisites for improving interactive systems. While the conventional approach to evaluation relies on online A/B tests, recent work has shown that counterfactual estimators can provide an inexpensive and fast alternative, since they can be applied offline using log data that was collected from a different policy fielded in the past. In this paper, we address the question of how to estimate the performance of a new target policy when we have log data from multiple historic policies. This question is of great relevance in practice, since policies get updated frequently in most online systems. We show that naively combining data from multiple logging policies can be highly suboptimal. In particular, we find that the standard Inverse Propensity Score (IPS) estimator suffers especially when logging and target policies diverge -- to a point where throwing away data improves the variance of the estimator. We therefore propose two alternative estimators which we characterize theoretically and compare experimentally. We find that the new estimators can provide substantially improved estimation accuracy.