1,326 research outputs found
Comparison of Channels: Criteria for Domination by a Symmetric Channel
This paper studies the basic question of whether a given channel can be
dominated (in the precise sense of being more noisy) by a -ary symmetric
channel. The concept of "less noisy" relation between channels originated in
network information theory (broadcast channels) and is defined in terms of
mutual information or Kullback-Leibler divergence. We provide an equivalent
characterization in terms of -divergence. Furthermore, we develop a
simple criterion for domination by a -ary symmetric channel in terms of the
minimum entry of the stochastic matrix defining the channel . The criterion
is strengthened for the special case of additive noise channels over finite
Abelian groups. Finally, it is shown that domination by a symmetric channel
implies (via comparison of Dirichlet forms) a logarithmic Sobolev inequality
for the original channel.Comment: 31 pages, 2 figures. Presented at 2017 IEEE International Symposium
on Information Theory (ISIT
Negative curvature in graphical small cancellation groups
We use the interplay between combinatorial and coarse geometric versions of
negative curvature to investigate the geometry of infinitely presented
graphical small cancellation groups. In particular, we characterize
their 'contracting geodesics', which should be thought of as the geodesics that
behave hyperbolically.
We show that every degree of contraction can be achieved by a geodesic in a
finitely generated group. We construct the first example of a finitely
generated group containing an element that is strongly contracting with
respect to one finite generating set of and not strongly contracting with
respect to another. In the case of classical small cancellation
groups we give complete characterizations of geodesics that are Morse and that
are strongly contracting.
We show that many graphical small cancellation groups contain
strongly contracting elements and, in particular, are growth tight. We
construct uncountably many quasi-isometry classes of finitely generated,
torsion-free groups in which every maximal cyclic subgroup is hyperbolically
embedded. These are the first examples of this kind that are not subgroups of
hyperbolic groups.
In the course of our analysis we show that if the defining graph of a
graphical small cancellation group has finite components, then the
elements of the group have translation lengths that are rational and bounded
away from zero.Comment: 40 pages, 14 figures, v2: improved introduction, updated statement of
Theorem 4.4, v3: new title (previously: "Contracting geodesics in infinitely
presented graphical small cancellation groups"), minor changes, to appear in
Groups, Geometry, and Dynamic
Hitting time for the continuous quantum walk
We define the hitting (or absorbing) time for the case of continuous quantum
walks by measuring the walk at random times, according to a Poisson process
with measurement rate . From this definition we derive an explicit
formula for the hitting time, and explore its dependence on the measurement
rate. As the measurement rate goes to either 0 or infinity the hitting time
diverges; the first divergence reflects the weakness of the measurement, while
the second limit results from the Quantum Zeno effect. Continuous-time quantum
walks, like discrete-time quantum walks but unlike classical random walks, can
have infinite hitting times. We present several conditions for existence of
infinite hitting times, and discuss the connection between infinite hitting
times and graph symmetry.Comment: 12 pages, 1figur
Methodological Fundamentalism: or why Battermanâs Different Notions of âFundamentalismâ may not make a Difference
I argue that the distinctions Robert Batterman (2004) presents between âepistemically fundamentalâ versus âontologically fundamentalâ theoretical approaches can be subsumed by methodologically fundamental procedures. I characterize precisely what is meant by a methodologically fundamental procedure, which involves, among other things, the use of multilinear graded algebras in a theoryâs formalism. For example, one such class of algebras I discuss are the Clifford (or Geometric) algebras. Aside from their being touted by many as a âunified mathematical language for physics,â (Hestenes (1984, 1986) Lasenby, et. al. (2000)) Finkelstein (2001, 2004) and others have demonstrated that the techniques of multilinear algebraic âexpansion and contractionâ exhibit a robust regularizablilty. That is to say, such regularization has been demonstrated to remove singularities, which would otherwise appear in standard field-theoretic, mathematical characterizations of a physical theory. I claim that the existence of such methodologically fundamental procedures calls into question one of Battermanâs central points, that âour explanatory physical practice demands that we appeal essentially to (infinite) idealizationsâ (2003, 7) exhibited, for example, by singularities in the case of modeling critical phenomena, like fluid droplet formation. By way of counterexample, in the field of computational fluid dynamics (CFD), I discuss the work of Mann & Rockwood (2003) and Gerik Scheuermann, (2002). In the concluding section, I sketch a methodologically fundamental procedure potentially applicable to more general classes of critical phenomena appearing in fluid dynamics
Aspects of Unstructured Grids and Finite-Volume Solvers for the Euler and Navier-Stokes Equations
One of the major achievements in engineering science has been the development of computer algorithms for solving nonlinear differential equations such as the Navier-Stokes equations. In the past, limited computer resources have motivated the development of efficient numerical schemes in computational fluid dynamics (CFD) utilizing structured meshes. The use of structured meshes greatly simplifies the implementation of CFD algorithms on conventional computers. Unstructured grids on the other hand offer an alternative to modeling complex geometries. Unstructured meshes have irregular connectivity and usually contain combinations of triangles, quadrilaterals, tetrahedra, and hexahedra. The generation and use of unstructured grids poses new challenges in CFD. The purpose of this note is to present recent developments in the unstructured grid generation and flow solution technology
Boolean Dynamics with Random Couplings
This paper reviews a class of generic dissipative dynamical systems called
N-K models. In these models, the dynamics of N elements, defined as Boolean
variables, develop step by step, clocked by a discrete time variable. Each of
the N Boolean elements at a given time is given a value which depends upon K
elements in the previous time step.
We review the work of many authors on the behavior of the models, looking
particularly at the structure and lengths of their cycles, the sizes of their
basins of attraction, and the flow of information through the systems. In the
limit of infinite N, there is a phase transition between a chaotic and an
ordered phase, with a critical phase in between.
We argue that the behavior of this system depends significantly on the
topology of the network connections. If the elements are placed upon a lattice
with dimension d, the system shows correlations related to the standard
percolation or directed percolation phase transition on such a lattice. On the
other hand, a very different behavior is seen in the Kauffman net in which all
spins are equally likely to be coupled to a given spin. In this situation,
coupling loops are mostly suppressed, and the behavior of the system is much
more like that of a mean field theory.
We also describe possible applications of the models to, for example, genetic
networks, cell differentiation, evolution, democracy in social systems and
neural networks.Comment: 69 pages, 16 figures, Submitted to Springer Applied Mathematical
Sciences Serie
- âŚ