相关论文: IPr* recurrence and nilsystems

The principal results proved in this expository thesis are the IP polynomial Szemer\'edi theorem for nilpotent groups and the multiple term return times theorem with nilsequence weights. It also contains extensions of the convergence…

V. Bergelson and N. Hindman proved that $IP^{*}$ sets contain all possible finite sum and product of a sum subsystem of any sequence in $\mathbb{N}$. In this article, we will prove this result using Nonstandard analysis.

The aim of our paper is to formulate and solve problems concerning multitime multiple recurrence equations. We discuss in detail the generic properties and the existence and uniqueness of solutions. Among the general things, we discuss in…

We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of nil, action prefix, choice, and the recursion construct.

We characterize the reproducing kernel Hilbert spaces whose elements are $p$-integrable functions in terms of the boundedness of the integral operator whose kernel is the reproducing kernel. Moreover, for $p=2$ we show that the spectral…

We establish the validity of a strong unique continuation property for weakly coupled elliptic systems, including competitive ones. Our proof exploits the system structure and uses Carleman estimates. We apply this result to obtain some…

We apply proof-theoretic techniques in answer Set Programming. The main results include: 1. A characterization of continuity properties of Gelfond-Lifschitz operator for logic program. 2. A propositional characterization of stable models of…

We prove linearly repetitive Delone systems have finitely many Delone system factors up to conjugacy. This result is also applicable to linearly repetitive tiling systems.

We characterize inverse limits of nilsystems in topological dynamics, via a structure theorem for topological dynamical systems that is an analog of the structure theorem for measure preserving systems. We provide two applications of the…

We prove a stronger version of Jarden's Theorem for recurrence of powers of recursive functions

In this paper we prove that a matrix property of nettedness (all 2x2 cells satisfy a recurrence) is preserved for powers of such a matrix, where the coefficients are all instances of the same sequence. Also, we find an n-dimensional analog…

Let $R$ be an iterable weak coarse premouse and let $N$ be a premouse with Mitchell-Steel indexing, produced by a fully backgrounded $L[\mathbb{E}]$-construction of $R$. We identify and correct a problem with the process of resurrection…

We study recurrence, and multiple recurrence, properties along the $k$-th powers of a given set of integers. We show that the property of recurrence for some given values of $k$ does not give any constraint on the recurrence for the other…

We consider mutually disjoint family of measure preserving transformations $T_1, \cdots, T_k$ on a probability space $(X, \mathcal{B}, \mu)$. We obtain the multiple recurrence property of $T_1, \cdots, T_k$ and this result is utilized to…

In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular, we look at automated methods for proving confluence and…

We prove an irreducibility criterion for polynomials with power series coefficients generalizing previous known results concerning quasi-ordinary polynomials.

An integro-differential Dirac system with an integral term in the form of convolution is considered. We suppose that the convolution kernel is known a priori on a part of the interval, and recover it on the remaining part, using a part of…

We consider linear recurrences with polynomial coefficients of Poincar\'e type and with a unique simple dominant eigenvalue. We give an algorithm that proves or disproves positivity of solutions provided the initial conditions satisfy a…

In this note we give a simple unifying proof of the undecidability of several diagrammatic properties of term rewriting systems that include: local confluence, strong confluence, diamond property, subcommutative property, and the existence…

Consider a system $(X, \mathcal{F}, \mu, T)$, bounded functions $f_1, f_2 \in L^\infty(\mu)$ and $a,b \in \ZZ.$ We show that there exists a set of full measure $X_{f_1, f_2}$ in $X$ such that for all $x \in X_{f_1, f_2}$ and for every…