9,242 research outputs found
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Integer octagonal constraints (a.k.a. ``Unit Two Variables Per Inequality''
or ``UTVPI integer constraints'') constitute an interesting class of
constraints for the representation and solution of integer problems in the
fields of constraint programming and formal analysis and verification of
software and hardware systems, since they couple algorithms having polynomial
complexity with a relatively good expressive power. The main algorithms
required for the manipulation of such constraints are the satisfiability check
and the computation of the inferential closure of a set of constraints. The
latter is called `tight' closure to mark the difference with the (incomplete)
closure algorithm that does not exploit the integrality of the variables. In
this paper we present and fully justify an O(n^3) algorithm to compute the
tight closure of a set of UTVPI integer constraints.Comment: 15 pages, 2 figure
Computation of distances for regular and context-free probabilistic languages
Several mathematical distances between probabilistic languages have been investigated in the literature, motivated by applications in language modeling, computational biology, syntactic pattern matching and machine learning. In most cases, only pairs of probabilistic regular languages were considered. In this paper we extend the previous results to pairs of languages generated by a probabilistic context-free grammar and a probabilistic finite automaton.PostprintPeer reviewe
Decoupled and unidirectional asymptotic models for the propagation of internal waves
We study the relevance of various scalar equations, such as inviscid
Burgers', Korteweg-de Vries (KdV), extended KdV, and higher order equations (of
Camassa-Holm type), as asymptotic models for the propagation of internal waves
in a two-fluid system. These scalar evolution equations may be justified with
two approaches. The first method consists in approximating the flow with two
decoupled, counterpropagating waves, each one satisfying such an equation. One
also recovers homologous equations when focusing on a given direction of
propagation, and seeking unidirectional approximate solutions. This second
justification is more restrictive as for the admissible initial data, but
yields greater accuracy. Additionally, we present several new coupled
asymptotic models: a Green-Naghdi type model, its simplified version in the
so-called Camassa-Holm regime, and a weakly decoupled model. All of the models
are rigorously justified in the sense of consistency
Numerical integration for high order pyramidal finite elements
We examine the effect of numerical integration on the convergence of high
order pyramidal finite element methods. Rational functions are indispensable to
the construction of pyramidal interpolants so the conventional treatment of
numerical integration, which requires that the finite element approximation
space is piecewise polynomial, cannot be applied. We develop an analysis that
allows the finite element approximation space to include rational functions and
show that despite this complication, conventional rules of thumb can still be
used to select appropriate quadrature methods on pyramids. Along the way, we
present a new family of high order pyramidal finite elements for each of the
spaces of the de Rham complex.Comment: 28 page
Bayesian Dropout
Dropout has recently emerged as a powerful and simple method for training
neural networks preventing co-adaptation by stochastically omitting neurons.
Dropout is currently not grounded in explicit modelling assumptions which so
far has precluded its adoption in Bayesian modelling. Using Bayesian entropic
reasoning we show that dropout can be interpreted as optimal inference under
constraints. We demonstrate this on an analytically tractable regression model
providing a Bayesian interpretation of its mechanism for regularizing and
preventing co-adaptation as well as its connection to other Bayesian
techniques. We also discuss two general approximate techniques for applying
Bayesian dropout for general models, one based on an analytical approximation
and the other on stochastic variational techniques. These techniques are then
applied to a Baysian logistic regression problem and are shown to improve
performance as the model become more misspecified. Our framework roots dropout
as a theoretically justified and practical tool for statistical modelling
allowing Bayesians to tap into the benefits of dropout training.Comment: 21 pages, 3 figures. Manuscript prepared 2014 and awaiting submissio
D3-instantons, Mock Theta Series and Twistors
The D-instanton corrected hypermultiplet moduli space of type II string
theory compactified on a Calabi-Yau threefold is known in the type IIA picture
to be determined in terms of the generalized Donaldson-Thomas invariants,
through a twistorial construction. At the same time, in the mirror type IIB
picture, and in the limit where only D3-D1-D(-1)-instanton corrections are
retained, it should carry an isometric action of the S-duality group SL(2,Z).
We prove that this is the case in the one-instanton approximation, by
constructing a holomorphic action of SL(2,Z) on the linearized twistor space.
Using the modular invariance of the D4-D2-D0 black hole partition function, we
show that the standard Darboux coordinates in twistor space have modular
anomalies controlled by period integrals of a Siegel-Narain theta series, which
can be canceled by a contact transformation generated by a holomorphic mock
theta series.Comment: 42 pages; discussion of isometries is amended; misprints correcte
Likelihood Analysis of Power Spectra and Generalized Moment Problems
We develop an approach to spectral estimation that has been advocated by
Ferrante, Masiero and Pavon and, in the context of the scalar-valued covariance
extension problem, by Enqvist and Karlsson. The aim is to determine the power
spectrum that is consistent with given moments and minimizes the relative
entropy between the probability law of the underlying Gaussian stochastic
process to that of a prior. The approach is analogous to the framework of
earlier work by Byrnes, Georgiou and Lindquist and can also be viewed as a
generalization of the classical work by Burg and Jaynes on the maximum entropy
method. In the present paper we present a new fast algorithm in the general
case (i.e., for general Gaussian priors) and show that for priors with a
specific structure the solution can be given in closed form.Comment: 17 pages, 4 figure
- âŠ