Related papers: Substitutions and M\"obius disjointness
We use Cramer's formula for the inverse of a matrix and a combinatorial expression for the determinant in terms of paths of an associated digraph (which can be traced back to Coates) to give a combinatorial interpretation of M\"obius…
Starting from a finite family of continuously differentiable positive definite functions, we study conditions under which a function obtained by max-min combinations is a Lyapunov function, establishing stability for two kinds of nonlinear…
A pitchfork bifurcation of an $(m-1)$-dimensional invariant submanifold of a dynamical system in $\mathbb{R}^m$ is defined analogous to that in $\mathbb{R}$. Sufficient conditions for such a bifurcation to occur are stated and existence of…
We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of…
In this paper, we consider different classes of subshifts and study their perturbations obtained by forbidding sequences that contain a given word as a subword. We show that the perturbations of sofic shifts are sofic. Though not true for…
We study some basic properties of sofic-Dyck shifts and finite-type-Dyck shifts. We prove that the class of sofic-Dyck shifts is stable under proper conjugacies. We prove a Decomposition Theorem of a proper conjugacy between edge-Dyck…
The stability problem of a class of nonlinear switched systems defined on compact sets with state-dependent switching is considered. Instead of the Caratheodory solutions, the general Filippov solutions are studied. This encapsulates…
We say that two arithmetic functions f and g form a Mobius pair if f(n) = \sum_{d \mid n} g(d) for all natural numbers n. In that case, g can be expressed in terms of f by the familiar Mobius inversion formula of elementary number theory.…
In this paper we attack the Erdos-Straus conjecture by means of the structure of its solutions, extending and improving the results of a previous paper. Using previous results and supported by the works of Elsholtz and Tao and Monks and…
Subshifts with property $(A)$ are constructed from a class of directed graphs. As special cases the Markov-Dyck shifts are shown to have property $(A)$. The semigroups, that are associated to $\mathcal R$-graph shifts with Property (A), are…
In this paper, we give two precise definitions of a higher order oscillating sequence and show the importance of this concept in the study of Sarnak's conjecture. We prove that any higher order oscillating sequence of order $d$ is linearly…
We prove the Banach strong Novikov conjecture for groups having polynomially bounded higher-order combinatorial functions. This includes all automatic groups.
We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type Theory. The conjecture says that in the presence of inductive types, coinductive types are derivable.…
We show that there exists a class of symbolic subshifts which realizes all Choquet simplices as simplices of invariant measures and the conjugacy relation on that class is hyperfinite.
We extend a previous conjecture [cond-mat/0407477] relating the Perron-Frobenius eigenvector of the monodromy matrix of the O(1) loop model to refined numbers of alternating sign matrices. By considering the O(1) loop model on a…
The existence and uniqueness of the mild solutions for a class of degenerate functional SPDEs are obtained, where the drift is assumed to be H\"{o}lder-Dini continuous. Moreover, the non-explosion of the solution is proved under some…
We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules,…
Under the assumption of mass-action kinetics, a dynamical system may be induced by several different reaction networks and/or parameters. It is therefore possible for a mass-action system to exhibit complex-balancing dynamics without being…
This is a companion note to our paper 'Some advances on Sidorenko's conjecture', elaborating on a remark in that paper that the approach which proves Sidorenko's conjecture for strongly tree-decomposable graphs may be extended to a broader…
We use Polyak's skein relation to give a new proof that Milnor's string link homotopy invariants are finite type invariants, and to develop a recursive relation for their associated weight systems. We show that the obstruction to the…