Related papers: Stratified formulas are equivalent to Acyclic form…
New types of symmetry for the Rayleigh equation are found. For small Atwood number, an analytic solution is obtained for a smoothly varying density profile. It is shown that a transition layer with a finite width can undergo some kind of…
The main purpose of this paper is to provide a comprehensive convergence analysis of nonlinear AMLI-cycle multigrid method for symmetric positive definite problems. Based on classical assumptions for approximation and smoothing properties,…
We derive and prove an explicit formula for the sum of the fractional parts of certain geometric series. Although the proof is straightforward, we have been unable to locate any reference to this result. This summation formula allows us to…
This work unifies the analysis of various randomized methods for solving linear and nonlinear inverse problems by framing the problem in a stochastic optimization setting. By doing so, we show that many randomized methods are variants of a…
We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified complete lattices, and weakly monotone functions over them,…
Typed feature structures are used extensively for the specification of linguistic information in many formalisms. The subsumption relation orders TFSs by their information content. We prove that subsumption of acyclic TFSs is well-founded,…
We state and prove several characterizations of Thom's regularity condition for stratified maps. In particular we extend to stratified maps some characterizations of Whitney (a) regularity, due to the second author.
Let G be a reductive p-adic group, H(G) its Hecke algebra and S(G) its Schwartz algebra. We will show that these algebras have the same periodic cyclic homology. This might be used to provide an alternative proof of the Baum-Connes…
A formula for the irregularity of a cyclic multiple plane associated to a branch curve that has arbitrary singularities and is transverse to the line at infinity is established. The irregularity is expressed as a sum of superabundances of…
We show that any second order linear ordinary diffrential equation with constant coefficients (including the damped and undumped harmonic oscillator equation) admits an exact discretization, i.e., there exists a difference equation whose…
A relativistic fluid ball with an inhomogeneous static stratified matter configuration is considered. A model of an astrophysical object with this structure of matter is constructed.
In a Comment [Phys. Rev. Lett. 113, 029801 (2014)] on our Letter on self-propelled asymmetric particles [Phys. Rev. Lett. 110, 198302 (2013); arXiv:1302.5787], Felderhof claims that our theory based on Langevin equations would be…
A group is boundedly acyclic if its bounded cohomology with trivial real coefficients vanishes in all positive degrees. Amenable groups are boundedly acyclic, while the first non-amenable examples were the group of compactly supported…
The concept of the cyclic averages are introduced for a regular polygon $P_n$ and a Platonic solid $T_n$. It is shown that cyclic averages of equal powers are the same for various $P_n(T_n)$, but their number is characteristic of…
We prove that every polycyclic group of nonlinear growth admits a strongly aperiodic SFT and has an undecidable domino problem. This answers a question of [4] and generalizes the result of [2].
Formation control is concerned with the design of control laws that stabilize agents at given distances from each other, with the constraint that an agent's dynamics can depend only on a subset of other agents. When the information flow…
On the basis of analysis on the adele ring of any algebraic numbers field (Tate's formula) a regularization for divergent adelic products of gamma- and beta-functions for all completions of this field are proposed, and corresponding…
Drawing appropriate defeasible inferences has been proven to be one of the most pervasive puzzles of natural language processing and a recurrent problem in pragmatics. This paper provides a theoretical framework, called ``stratified…
Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding -- to the…
In previous work, the first author defined homotopy theories for stratified spaces from a simplicial and a topological perspective. In both frameworks stratified weak-equivalences are detected by suitable generalizations of homotopy links.…