Related papers: Spectra and Systems of Equations
We establish the eventual periodicity of the spectrum of any monadic second-order formula where: (i) all relation symbols, except equality, are unary, and (ii) there is only one function symbol and that symbol is unary.
The monadic second-order theory of trees allows quantification over elements and over arbitrary subsets. We classify the class of trees with respect to the question: does a tree T have definable Skolem functions (by a monadic formula with…
For a monadic sentence psi in the finite vocabulary we show that the spectra, the set of cardinalities of models of psi is almost periodic under reasonable conditions. The first is that every model is so called ``weakly k-decomposable''.…
The monadic second-order theory of trees allows quantification over elements and over arbitrary subsets. We classify the class of trees with respect to the question: does a tree T have a definable choice function (by a monadic formula with…
We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal…
The genus spectrum of a finite group $G$ is the set of all $g\geq 2$ such that $G$ acts faithfully and orientation-preserving on a closed compact orientable surface of genus $g$. This article is an overview of some results relating the…
We study the question of whether, for a given class of finite graphs, one can define, for each graph of the class, a linear ordering in monadic second-order logic, possibly with the help of monadic parameters. We consider two variants of…
The meromorphic functional calculus developed in Part I overcomes the nondiagonalizability of linear operators that arises often in the temporal evolution of complex systems and is generic to the metadynamics of predicting their behavior.…
(This is an updated version; following an idea of Voevodsky, we have strengthened our results so all of them apply to one form of motivic homotopy theory). We give two general constructions for the passage from unstable to stable homotopy…
Stanley introduced the concept of chromatic symmetric functions of graphs which extends and refines the notion of chromatic polynomials of graphs, and asked whether trees are determined up to isomorphism by their chromatic symmetric…
We prove that the basis and the generating function of a geometric grid class of permutations Geom$(M)$ are computable from the matrix $M$, as well as some variations on this result. Our main tool is monadic second-order logic on…
In this paper we study spectral sets which are unions of finitely many intervals in R. We show that any spectrum associated with such a spectral set is periodic, with the period an integral multiple of the measure of the set. As a…
This paper is devoted to a systematic study of a class of binary trees encoding the structure of rational numbers both from arithmetic and dynamical point of view. The paper is divided into two parts. The first one is a critical review of…
Two graphs are co-spectral if their respective adjacency matrices have the same multi-set of eigenvalues. A graph is said to be determined by its spectrum if all graphs that are co-spectral with it are isomorphic to it. We consider these…
We study Jacobi matrices on trees whose coefficients are generated by multiple orthogonal polynomials. Hilbert space decomposition into an orthogonal sum of cyclic subspaces is obtained. For each subspace, we find generators and the…
We consider the extension of two variable logic with quantifiers that state that the number of elements where a formula holds should belong to a given ultimately periodic set. We show that both satisfiability and finite satisfiability of…
A bounded measurable set $\Omega$, of Lebesgue measure 1, in the real line is called spectral if there is a set $\Lambda$ of real numbers ("frequencies") such that the exponential functions $e_\lambda(x) = \exp(2\pi i \lambda x)$,…
In this work a spectral theory for 2-dimensional, simply periodic, complex-valued solutions u of the sinh-Gordon equation is developed. Spectral data for such solutions are defined (following Hitchin and Bobenko) and the space of spectral…
In a compact topological dynamical system $(X,f)$, we associate to every pair $(x,y)$ a canonical order-theoretic invariant, its emergent order spectrum $\Omega(x,y)$. We first prove that, if $x$ and $y$ are chain-related, one can always…
We study semantic and syntactic properties of spherical orders and their elementary theories, including finite and dense orders and their theories. It is shown that theories of dense $n$-spherical orders are countably categorical and…