Related papers: Model theory and combinatorics of banned sequences

This paper is devoted to derivations in bimodules over group rings using previously proposed methods which are related to character spaces over groupoids. The theorem describing the arising spaces of derivations is proved. We consider some…

This note serves to provide additional details for the proof of Lemma 3.6 in our paper [Liu, Zhang and Zhang, Comm. Math. Sci., 3(2005), pp.201-218]. Moreover, we will also present an alternative, yet simpler, proof based on arguments in…

We provide a new version of the Wiener-Ikehara theorem where one deduces bounds $$ 0< \liminf_{x\to\infty} \frac{S(x)}{e^{x}}\leq \limsup_{x\to\infty} \frac{S(x)}{e^{x}} <\infty $$ for (in particular) a non-decreasing function $S$ from a…

In this note, by counting some colored plane trees we obtain several binomial identities. These identities can be viewed as specific evaluations of certain generalizations of the Narayana polynomials. As consequences, it provides…

In the first part we show a counterexample to a conjecture by Shelah regarding the existence of indiscernible sequences in dependent theories (up to the first inaccessible cardinal). In the second part we discuss generic pairs, and give an…

We prove the Ramsey property for classes of ordered structures with closures and given local properties. This generalises earlier results: the Ne\v{s}et\v{r}il-R\"odl Theorem, the Ramsey property of partial orders and metric spaces as well…

Based upon new global class field concepts leading to Langlands two-dimensional global correspondences,a modular representation of cusp forms is proposed in terms of global elliptic (bisemi)modules which are (truncated) Fourier series over…

We study the conditions under which N=(1,1) generalized sigma models support an extension to N=(2,2). The enhanced supersymmetry is related to the target space complex geometry. Concentrating on a simple situation, related to Poisson sigma…

The theory of {\Gamma}-species is developed to allow species-theoretic study of quotient structures in a categorically rigorous fashion. This new approach is then applied to two graph-enumeration problems which were previously unsolved in…

We introduce `canonical' classes in the Selmer groups of certain Galois representations with a conjugate-symplectic symmetry. They are images of special cycles in unitary Shimura varieties, and defined uniquely up to a scalar. The…

In this paper we extend the notion of Melham sum to the Pell and Pell-Lucas sequences. While the proofs of general statements rely on the binomial theorem, we prove some spacial cases by the known Pell identities. We also give extensions of…

We overview the logic of Bunched Implications (BI) and Separation Logic (SL) from a perspective inspired by Hiroakira Ono's algebraic approach to substructural logics. We propose generalized BI algebras (GBI-algebras) as a common framework…

This paper has two parts. First, we complete the proof of the Kolmogorov extension theorem for unbounded random variables using compactness theorem of integral logic which was proved for bounded case in [8]. Second, we give a proof of the…

This paper introduces a class of objects called decision rules that map infinite sequences of alternatives to a decision space. These objects can be used to model situations where a decision maker encounters alternatives in a sequence such…

We study the nonresonance phenomenon for complex rank-one local systems on complements of hyperplane arrangements. We refine the method of Cohen, Dimca, and Orlik and obtain a combinatorial sufficient condition for nonresonance. As an…

Szemer\'edi's regularity lemma is a fundamental tool in extremal combinatorics. However, the original version is only helpful in studying dense graphs. In the 1990s, Kohayakawa and R\"odl proved an analogue of Szemer\'edi's regularity lemma…

We show the existence of and explicitly construct generic polynomials for various groups, over fields of positive characteristic. The methods we develop apply to a broad class of connected linear algebraic groups defined over finite fields…

We introduce a generalization of Selman's P-selectivity that yields a more flexible notion of selectivity, called (polynomial-time) multi-selectivity, in which the selector is allowed to operate on multiple input strings. Since our…

The general prescription for constructing the continuum limit of a field theory is introduced. We then apply the prescription to construct the O(N) non-linear sigma model and the Gross-Neveu model in three dimensions using the large N…

We prove multiplier theorems on rank one noncompact symmetric spaces which improve aspects of existing results. A common theme of our main results is that we partially drop specific assumptions on the multiplier function such as a…