English
Related papers

Related papers: A partition theorem for scattered order types

200 papers

The purpose of this article is to give new constructions of linear orders which are minimal with respect to being non-$\sigma$-scattered. Specifically, we will show that Jensen's principle $\diamondsuit$ implies that there is a minimal…

Logic · Mathematics 2023-11-07 Todd Eisworth , James Cummings , Justin Tatch Moore

Two structures $A$ and $B$ are $n$-equivalent if player II has a winning strategy in the $n$-move Ehrenfeucht-Fra\"iss\'e game on $A$ and $B$. In earlier papers we studied $n$-equivalence classes of ordinals and coloured ordinals. In this…

Logic · Mathematics 2018-01-03 Feresiano Mwesigye , John K. Truss

We show that the order dimension of the partial order of all finite subsets of $\kappa$ under set inclusion is ${\log}_{2}({\log}_{2}(\kappa))$ whenever $\kappa$ is an infinite cardinal. We also show that the order dimension of any locally…

Logic · Mathematics 2019-02-19 Kojiro Higuchi , Steffen Lempp , Diip Raghavan , Frank Stephan

Introduced by Sheekey in 2016, the study of scattered polynomials over a finite field $\mathbb{F}_{q^n}$ has been increasing regarding the classification of those that are exceptional, i.e., polynomials which are scattered over infinite…

Number Theory · Mathematics 2025-10-24 Suman Mondal

An order-preserving Freiman 2-isomorphism is a map $\phi:X \rightarrow \mathbb{R}$ such that $\phi(a) < \phi(b)$ if and only if $a < b$ and $\phi(a)+\phi(b) = \phi(c)+\phi(d)$ if and only if $a+b=c+d$ for any $a,b,c,d \in X$. We show that…

Combinatorics · Mathematics 2016-11-28 Gagik Amirkhanyan , Albert Bush , Ernie Croot

In \cite{Lusztig}, Lusztig gives an explicit formula for the bijection between the set of bipartitions and the set $\mathcal{N}$ of unipotent classes in a spin group which carry irreducible local systems equivariant for the spin group but…

Representation Theory · Mathematics 2018-10-24 Jianqiao Xia

We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a unique linear order on the antecedent formulas of a sequent…

Logic in Computer Science · Computer Science 2020-08-17 Richard Moot

Usual separability criteria applicable to distinguishable particles are not applicable to identical particles. Here we show that Partial transposition and symmetrization (or anti symmetrization) of density matrix of bipartite boson systems…

Quantum Physics · Physics 2015-01-26 Pranav P. , M. Ravendranadhan

We propose a simple model for periodic clustering of particles under forced oscillation. Effective viscosity is assumed to increase owing to neighboring particles by analogy with the Einstein viscosity law. The linear stability analysis and…

Pattern Formation and Solitons · Physics 2026-02-12 Hidetsugu Sakaguchi

Let $\varphi$ and $\psi$ be quadratic forms over a field $K$ of characteristic different from 2. In this paper, we give a criterion for isotropy of $\varphi$ over the function field of $\psi$ in terms of representations and we apply it to…

Number Theory · Mathematics 2022-11-22 Roussey Sylvain

A class of increasing sequences of natural numbers $(n_k)$ is found for which there exists a function $f\in L[0,1)$ such that the subsequence of partial Walsh-Fourier sums $(S_{n_k}(f))$ diverge everywhere. A condition for the growth order…

Analysis of PDEs · Mathematics 2019-12-11 Ushangi Goginava , Giorgi Oniani

In the first part we associate a periodic sequence to a partition and study the connection the distribution of elements of uniform limit of the sequences. Then some facts of statistical independence of these limits are proved

Number Theory · Mathematics 2018-05-01 Milan Pasteka

We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.

Logic · Mathematics 2018-04-18 Lars Kristiansen , Juvenal Murwanashyaka

A partially ordered set P is representable if there is a bounded distributive lattice such that its ordered set of prime ideals is order-isomorphic to P. We show that if the order components of a poset P are representable, then so is P.…

Logic · Mathematics 2007-05-30 Michael E. Adams , Dominic van der Zypen

This paper classifies the blocks of the truncated $q$-Schur algebras of type $A$ which have as weight poset an arbitrary cosaturated set of partitions.

Representation Theory · Mathematics 2013-04-17 Andrew Mathas , Marcos Soriano

We give a new characterization of $SOP$ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a…

Logic · Mathematics 2022-03-23 Karim Khanaki

The following pcf results are proved: 1. Assume that kappa > aleph_0 is a weakly compact cardinal. Let mu > 2^kappa be a singular cardinal of cofinality kappa. Then for every regular lambda < pp^+_{Gamma(kappa)} (mu) there is an increasing…

Logic · Mathematics 2013-07-24 Moti Gitik , Saharon Shelah

Recently, Xia introduced a deterministic variation $\phi_{\sigma}$ of Defant and Kravitz's stack-sorting maps for set partitions and showed that any set partition $p$ is sorted by $\phi^{N(p)}_{aba}$, where $N(p)$ is the number of distinct…

Combinatorics · Mathematics 2024-03-11 Yunseo Choi , Katelyn Gan , Andrew Li , Tiffany Zhu

We study the problem of recognizing the cluster structure of a graph in the framework of property testing in the bounded degree model. Given a parameter $\varepsilon$, a $d$-bounded degree graph is defined to be $(k, \phi)$-clusterable, if…

Data Structures and Algorithms · Computer Science 2015-04-14 Artur Czumaj , Pan Peng , Christian Sohler

Consider an ordered point set $P = (p_1,\ldots,p_n)$, its order type (denoted by $\chi_P$) is a map which assigns to every triple of points a value in $\{+,-,0\}$ based on whether the points are collinear(0), oriented clockwise(-) or…

Computational Geometry · Computer Science 2019-07-11 Ivor van der Hoog , Tillmann Miltzow , Martijn van Schaik
‹ Prev 1 8 9 10 Next ›