Related papers: (Extra)ordinary equivalences with the ascending/de…
The celebrated theorem of Kechris, Pestov and Todor\v{c}evi\'c connecting structural Ramsey theory with topological dynamics has as a consequence that the Fra\"{\i}ss\'e limit of a Ramsey class of non-trivial finite relational structures…
We show that the sequence of dimensions of the linear spaces, generated by a given rank-metric code together with itself under several applications of a field automorphism, is an invariant for the whole equivalence class of the code. The…
Let $N$ be a nilpotent normal subgroup of the finite group $G$. Assume that $u$ is a unit of finite order in the integral group ring $\mathbb{Z} G$ of $G$ which maps to the identity under the linear extension of the natural homomorphism $G…
The first-order part of the Ramsey's Theorem for pairs with an arbitrary number of colors is known to be precisely BSigma03. We compare this to the known division of Ramsey's Theorem for pairs into the weaker principles, EM (the…
In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In…
Let $G$ be an additive finite abelian group. A sequence over $G$ is called a minimal zero-sum sequence if the sum of its terms is zero and no proper subsequence has this property. Davenport's constant of $G$ is the maximum of the lengths of…
This paper examines the completion of an w-ordered sequence of recursive definitions which on the one hand defines an increasing sequence of nested set and on the other redefines successively a numeric variable as the cardinal of the…
We introduce a new concept of rank - relative rank associated to a filtered collection of polynomials. When the filtration is trivial our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of…
We provide an existence and uniqueness theory for an extension of backward SDEs to the second order. While standard Backward SDEs are naturally connected to semilinear PDEs, our second order extension is connected to fully nonlinear PDEs,…
We show that at the level of BCS mean-field theory, the superconducting $T_c$ is always increased in the presence of disorder, regardless of order parameter symmetry, disorder strength, and spatial dimension. This result reflects the…
A causal set is a partially ordered set on a countably infinite ground-set such that each element is above finitely many others. A natural extension of a causal set is an enumeration of its elements which respects the order. We bring…
We consider a category of all finite partial orderings with quotient maps as arrows and construct a Fra\"iss\'e sequence in this category. Then we use commonly known relations between partial orders and lattices to construct a sequence of…
The aim of the article is to show that there are many finite extensions of arithmetic groups which are not residually finite. Suppose $G$ is a simple algebraic group over the rational numbers satisfying both strong approximation, and the…
In this paper, we shall compare two metrics in terms of orderly dependence, a notion developed in exponential vector space in the article 'Basis and Dimension of Exponential Vector Space' by Jayeeta Saha and Sandip Jana in Transactions of…
The well-known Asplund theorem states that the inverse of a (possibly one-sided) band matrix $A$ is a Green matrix. In accordance with quasiseparable theory, such a matrix admits a quasiseparable representation in its rank-structured part.…
We show that over the weak base theory $\mathrm{RCA}_0^*$, cohesive Ramsey's theorem for pairs $\mathrm{CRT}^2_2$ implies exponential closure of the definable cut $\mathrm{I}^0_1$, which is the intersection of all $\Sigma^0_1$-definable…
Determining the precise rank is an important problem in many large-scale applications with matrix data exploiting low-rank plus noise models. In this paper, we suggest a universal approach to rank inference via residual subsampling (RIRS)…
For each $\alpha \in \{0,1,-1 \}$, we count diagonally and antidiagonally symmetric alternating sign matrices (DASASMs) of fixed odd order with a maximal number of $\alpha$'s along the diagonal and the antidiagonal, as well as DASASMs of…
We consider the Sherali-Adams (SA) refutation system together with the unusual binary encoding of certain combinatorial principles. For the unary encoding of the Pigeonhole Principle and the Least Number Principle, it is known that linear…
According to the AdS/CFT correspondence, the maximally supersymmetric SU(N) Yang-Mills theory in 4 dimensions is dual to the type IIB string theory compactified on AdS_5 x S^5. Most of the tests performed so far are confined to the leading…