相关论文: Spectra of Monadic Second-Order Formulas with One …

The modern definition of optical coherence highlights a frequency dependent function based on a matrix of spectra and cross-spectra. Due to general properties of matrices, such a function is invariant in changes of basis. In this article,…

These notes present the essentials of first- and second-order monadic logics on strings with introductory purposes. We discuss Monadic First-Order logic and show that it is strictly less expressive than Finite-State Automata, in that it…

In this paper, we study the existence and uniqueness of periodic solutions of the differential equation of the form . Here, we obtain some sufficient conditions which guarantee the existence of periodic solutions. This equation is a quite…

We consider the stability of periodic map with period-$2$ in linear fractional difference equations where the function is $f(x)=ax$ at even times and $f(x)=bx$ at odd times. The stability of such a map for an integer order map depends on…

We study monoids equipped with a second binary operation that captures the structure of the endomorphisms of an object $X$ such that $X=X\times X$. We construct a universal monoid of this type and examine some of its rich combinatorial…

A monotone function interval is the set of monotone functions that lie pointwise between two fixed monotone functions. We characterize the set of extreme points of monotone function intervals and apply this to a number of economic settings.…

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

We show that the finite satisfiability problem for the unary negation fragment with arbitrary number of transitive relations is decidable and 2-ExpTime-complete. Our result actually holds for a more general setting in which one can require…

We describe some monotone properties of solutions to second order linear difference equations with real constant coefficients. As an application, we give a characterization of the Fibonacci numbers.

A comparison is made between bispectral operator pairs and dual pairs of isomonodromic deformation equations. Through examples, it is shown how operators belonging to rank one bispectral algebras may be viewed equivalently as defining…

We present a formula for the regular part of a sectorial form that represents a general linear second-order differential expression that may include lower-order terms. The formula is given in terms of the original coefficients. It shows…

We prove that the category of rational SO(2)-equivariant spectra has a simple algebraic model. Furthermore, all of our model categories and Quillen equivalences are monoidal, so we can use this classification to understand ring spectra and…

We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property.…

We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of…

We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…

We introduce a notion of strong periodicity of a module over a finite-dimensional algebra over a field. We prove that the existence of such modules over certain idempotent algebras is both a necessary and sufficient condition for the…

Let $\Omega \subset \mathbb{R}$ be a compact set with measure $1$. If there exists a subset $\Lambda \subset \mathbb{R}$ such that the set of exponential functions $E_{\Lambda}:=\{e_\lambda(x) = e^{2\pi i \lambda x}|_\Omega :\lambda \in…

This paper aims to study the periodicity of a transcendental entire function of hyper-order less than one. For a transcendental entire function of hyper order less than one and a non-zero complex constant $c$, $\mathfrak{f} (z) \equiv…

In the paper the conditions are obtained providing existence and uniqueness of the regular solution of the boundary problem for class of the second order homogeneous operator-differential equation with singular coefficients. High term of…

We study the Schr\"odinger operator on $L_2(\mathbb R^3)$ with periodic variable metric, and periodic electric and magnetic fields. It is assumed that the operator is reflection symmetric and the (appropriately defined) flux of the magnetic…