Search results for "Dean"
showing 10 items of 278 documents
Topological Logics with Connectedness over Euclidean Spaces
2013
We consider the quantifier-free languages, Bc and Bc °, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of R n ( n ≥ 2) and, additionally, over the regular closed semilinear sets of R n . The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric Qualitative Spatial Reasoning. We prove that the satisfiability problem for Bc is undecidable over the regular closed semilinear sets in all dimensions greater than 1,…
On the Structure of Bispecial Sturmian Words
2013
A balanced word is one in which any two factors of the same length contain the same number of each letter of the alphabet up to one. Finite binary balanced words are called Sturmian words. A Sturmian word is bispecial if it can be extended to the left and to the right with both letters remaining a Sturmian word. There is a deep relation between bispecial Sturmian words and Christoffel words, that are the digital approximations of Euclidean segments in the plane. In 1997, J. Berstel and A. de Luca proved that \emph{palindromic} bispecial Sturmian words are precisely the maximal internal factors of \emph{primitive} Christoffel words. We extend this result by showing that bispecial Sturmian wo…
Lower Bashkirian fusulinoideans from the upper part of the Tagnana Formation (Carboniferous, NW Algeria)
2021
The upper member of the Tagnana Formation of the Djebel Bechar Group (informally the Tagnana-3 or Tagnana Ill member) yielded fusulinoideans and other related foraminifera of the genera Pseudoendothyra (rare), Pseudostajfella (Semistaffella) (rare), Millerella, Pseudonovel/a, Plectostaffella, Eostaffella and Mediocris. The presence of Eostaffellina (rare) and Endostaffella is doubtful. The difference between Millerella and Eostaffella cannot be adequately defined by evolute versus involute coiling. Pseudonovella Kireeva, 1949 is redefined to include Seminovella Rauzer-Chernousova, 1951. The foraminifera are from two samples, one from close to the top and the other from near the base of the …
Solution for the fragment-size distribution in a crack-branching model of fragmentation
2007
It is well established that rapidly propagating cracks in brittle material are unstable such that they generate side branches. It is also known that cracks are attracted by free surfaces, which means that they attract each other. This information is used here to formulate a generic model of fragmentation in which the small-size part of the fragment-size distribution results from merged crack branches in the damage zones along the paths of the propagating cracks. This model is solved under rather general assumptions for the fragment-size distribution. The model leads to a generic distribution S(-gamma) exp(-S/S(0)) for fragment sizes S, where gamma = 2d-1/d with d the Euclidean dimension, an…
On the fusion problem for degenerate elliptic equations
1995
Let F be a relatively closed subset of a Euclidean domain Ω. We investigate when solutions u to certain elliptic equations on Ω/F are restrictions of solutions on all of Ω. Specifically, we show that if ∂F is not too large, and u has a suitable decay rate near F, then u can be so extended.
Quantitative lower bounds to the Euclidean and the Gaussian Cheeger constants
2020
We provide a quantitative lower bound to the Cheeger constant of a set $\Omega$ in both the Euclidean and the Gaussian settings in terms of suitable asymmetry indexes. We provide examples which show that these quantitative estimates are sharp.
Geometry and quasisymmetric parametrization of Semmes spaces
2014
We consider decomposition spaces R/G that are manifold factors and admit defining sequences consisting of cubes-with-handles. Metrics on R/G constructed via modular embeddings of R/G into Euclidean spaces promote the controlled topology to a controlled geometry. The quasisymmetric parametrizability of the metric space R/G×R by R for any m ≥ 0 imposes quantitative topological constraints, in terms of the circulation and the growth of the cubes-with-handles, to the defining sequences for R/G. We give a necessary condition and a sufficient condition for the existence of parametrization. The necessary condition answers negatively a question of Heinonen and Semmes on quasisymmetric parametrizabi…
The Calm Before the Storm: Hilbert’s Early Views on Foundations
2000
In recent years there has been a growing interest among historians and philosophers of mathematics in the history of logic, set theory, and foundations.1 This trend has led to a major reassessment of early work undertaken in these fields, particularly when seen in the light of motivations that animated the leading actors. The present volume may thus be seen as a reflection of this renewed fascination with the work of Hilbert, Brouwer, Weyl, Bernays, and others, an interest that stems in part from the desire to understand the historical and intellectual context that inspired their investigations. With regard to Hilbert, it has been my contention for some time that his stance in the acrimonio…
A variational method for spectral functions
2016
The Generalized Eigenvalue Problem (GEVP) has been used extensively in the past in order to reliably extract energy levels from time-dependent Euclidean correlators calculated in Lattice QCD. We propose a formulation of the GEVP in frequency space. Our approach consists of applying the model-independent Backus-Gilbert method to a set of Euclidean two-point functions with common quantum numbers. A GEVP analysis in frequency space is then applied to a matrix of estimators that allows us, among other things, to obtain particular linear combinations of the initial set of operators that optimally overlap to different local regions in frequency. We apply this method to lattice data from NRQCD. Th…
Wilson Loop Form Factors: A New Duality
2017
We find a new duality for form factors of lightlike Wilson loops in planar $\mathcal N=4$ super-Yang-Mills theory. The duality maps a form factor involving an $n$-sided lightlike polygonal super-Wilson loop together with $m$ external on-shell states, to the same type of object but with the edges of the Wilson loop and the external states swapping roles. This relation can essentially be seen graphically in Lorentz harmonic chiral (LHC) superspace where it is equivalent to planar graph duality. However there are some crucial subtleties with the cancellation of spurious poles due to the gauge fixing. They are resolved by finding the correct formulation of the Wilson loop and by careful analyti…