Related papers: A short proof that adding some permutation rules t…

A famous theorem by R. Brauer shows how to modify a single eigenvalue of a matrix by a rank-one update without changing the remaining eigenvalues. A generalization of this theorem (due to R. Rado) is used to change a pair of eigenvalues of…

A sum rule is an identity connecting the entropy of a measure with coefficients involved in the construction of its orthogonal polynomials (Jacobi coefficients). Our paper is an extension of Gamboa, Nagel and Rouault (2016), where we have…

The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an operon by a term, and we give a probabilistic term rewriting system…

We put forward a proof of Solomon's rule, in terms of matrices, for multiplication in the descent algebra of the symmetric group. Our proof exploits the graphs that we can obtain from all the subsets of the set of transpositions,…

Unfortunately the proof of the main result of [1], Theorem 1, has a flaw. Namely, Lemma 13 used in the proof of Proposition 11 is correct only under an additional assumption that the operator $A$ is normal (adjoint for the one-sided shift…

Segre sets are superfluous to verify that quotients of formal holomorphic maps that are real on a minimal generic submanifold of positive CR dimension must necessarily be constant.

We show that assuming $\mathsf{ZF}+\mathsf{AD}^+ +$ "$V = \mathrm{L} \bigl(\wp (\mathbb{R})\bigr)$", any poset which increases $\Theta$ does not preserve the truth of $\mathsf{AD}$. We also show that in $\mathsf{ZF} + \mathsf{AD}$, any…

This document presents an alternative proof of Sylvester's theorem stating that "the product of $n$ consecutive numbers strictly greater than $n$ is divisible by a prime strictly greater than $n$". In addition, the paper proposes stronger…

We prove that it is decidable if a finitely based permutation class contains infinitely many simple permutations, and establish an unavoidable substructure result for simple permutations: every sufficiently long simple permutation contains…

We use representation theory of the symmetric group S_n to prove Poisson limit theorems for the distribution of fixed points for three types of non-uniform permutations. First, we give results for the commutator of g and x where g and x are…

Rules in logic programming encode information about mutual interdependencies between literals that is not captured by any of the commonly used semantics. This information becomes essential as soon as a program needs to be modified or…

Additive CA on a cylinder of size $n$ can be represented by 01-string $V$ of length $n$ which is its rule. We study a problem: a class $S$ of rules given, for any $V\in S$ describe all sizes $n', n'>n,$ of cylinders such that extension of…

We show that for some constant $\beta > 0$, any subset $A$ of integers $\{1,\ldots,N\}$ of size at least $2^{-O((\log N)^\beta)} \cdot N$ contains a non-trivial three-term arithmetic progression. Previously, three-term arithmetic…

We revisit the well known Bohr-Sommerfeld quantization rule (BS) for a 1-D Pseudo-differential self-adjoint Hamiltonian within the algebraic and microlocal framework of Helffer and Sj\"ostrand; BS holds precisely when the Gram matrix…

We will remark an extension of a linear functional on subalgebra of algebra of continuous functions on subset of $\mathbb{R}^n$ which preserves positivity.

This paper studies permutation tests for regression parameters in a time series setting, where the time series is assumed stationary but may exhibit an arbitrary (but weak) dependence structure. In such a setting, it is perhaps surprising…

A {\it superpattern} is a string of characters of length $n$ that contains as a subsequence, and in a sense that depends on the context, all the smaller strings of length $k$ in a certain class. We prove structural and probabilistic results…

Let $\mathfrak{S}_n$ and $\mathfrak{B}_n$ denote the respective sets of ordinary and bigrassmannian (BG) permutations of order $n$, and let $(\mathfrak{S}_n,\leq)$ denote the Bruhat ordering permutation poset. We study the restricted poset…

Permissive-Nominal Logic (PNL) is an extension of first-order predicate logic in which term-formers can bind names in their arguments. This allows for direct axiomatisations with binders, such as of the lambda-binder of the lambda-calculus…

In this paper we provide a (negative) solution to a problem posed by Stanis{\l}aw Krajewski. Consider a recursively enumerable theory U and a finite expansion of the signature of U that contains at least one predicate symbol of arity $\ge$…