Related papers: Model theory and combinatorics of banned sequences

We construct N-complexes of non completely antisymmetric irreducible tensor fields on $\mathbb R^D$ generalizing thereby the usual complex (N=2) of differential forms. These complexes arise naturally in the description of higher spin gauge…

In a recent letter, new representations were proposed for the pair of sequences ($\gamma,\delta$), as defined formally by Bailey in his famous lemma. Here we extend and prove this result, providing pairs ($\gamma,\delta$) labelled by the…

This is the first of a series of papers, where we investigate hierarchies of generalized {L}\"{u}roth problems on the hierarchy of rationality, starting with the obvious hierarchy between the rationality and the ruledness. Our primary goal…

We survey current developments in the approximation theory of sequence modelling in machine learning. Particular emphasis is placed on classifying existing results for various model architectures through the lens of classical approximation…

The solution of Shareshian-Wachs conjecture by Brosnan-Chow and Guay-Paquet tied the graded chromatic symmetric functions on indifference graphs (or unit interval graphs) and the cohomology of regular semisimple Hessenberg varieties with…

We study the combinatorics of hyperplane arrangements over arbitrary fields. Specifically, we determine in which situation an arrangement and its reduction modulo a prime number have isomorphic lattices via the use of minimal strong…

We re-examine some topics in representation theory of Lie algebras and Springer theory in a more general context, viewing the universal enveloping algebra as an example of the section ring of a quantization of a conical symplectic…

Basic results in combinatorial mathematics provide the foundation for a theory and calculus for reasoning about sequential behavior. A key concept of the theory is a generalization of Boolean implicant which deals with statements of the…

We formulate a number of related generalisations of the weight part of Serre's conjecture to the case of GL(n) over an arbitrary number field, motivated by the formalism of the Breuil-M\'ezard conjecture. We give evidence for these…

Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought…

Clozel, Harris, and Taylor proposed a conjectural generalized Ihara's lemma for definite unitary groups. In this paper, we prove their conjecture with banal coefficients under some conditions. As an application, we prove a level-raising…

Many binary classification problems minimize misclassification above (or below) a threshold. We show that instances of ranking problems, accuracy at the top or hypothesis testing may be written in this form. We propose a general framework…

We fix $\ell$ a prime and let $M$ be an integer such that $\ell\not|M$; let $f\in S_2(\Gamma_1(M\ell^2))$ be a newform supercuspidal of fixed type related to the nebentypus, at $\ell$ and special at a finite set of primes. Let $\TT^\psi$ be…

In this article, we prove a generalization of a theorem (Ogg's conjecture) due to Bary Mazur for arbitrary $N\in \N$ and for {\it number fields}. The main new observation is a modification of a theorem due to Glenn Stevens for the…

The survey is devoted to the combinatorial and metric theory of filtrations, i.\,e., decreasing sequences of $\sigma$-algebras in measure spaces or decreasing sequences of subalgebras of certain algebras. One of the key notions, that of…

We give a general exposition of model theoretic connected components of groups. We show that if a group G has NIP, then there exists the smallest invariant (over some small set) subgroup of G with bounded index (Theorem 5.3). This result…

We introduce a novel, logic-independent framework for the study of sequent-style proof systems, which covers a number of proof-theoretic formalisms and concrete proof systems that appear in the literature. In particular, we introduce a…

We prove a theorem of Hinich type on existence of a model structure on a category related by an adjunction to the category of differential graded modules over a graded commutative ring.

It is shown that the restrictions of what can be inferred from classically-recorded observational outcomes that are imposed by the no-cloning theorem, the Kochen-Specker theorem and Bell's theorem also follow from restrictions on inferences…

A construction of new sequences of generalized Bernoulli polynomials of first and second kind is proposed. These sequences share with the classical Bernoulli polynomials many algebraic and number--theoretical properties. A new class of…