Abstract:We introduce some properties describing dependence in indiscernible sequences: $F_{ind}$ and its dual $F_{Mb}$, the definable Morley property, and $n$-resolvability. Applying these properties, we establish the following results: We show that the degree of nonminimality introduced by Freitag and Moosa, which is closely related to $F_{ind}$ (equal in $\mathrm{DCF}_{0}$), may take on any positive integer value in an $\omega$-stable theory, answering a question of Freitag, Jaoui, and Moosa. Proving a conjecture of Koponen, we show that every simple theory with quantifier elimination in a finite relational language has finite rank and is one-based. The arguments closely rely on finding types $q$ with $F_{Mb}(q) = \infty$, and on $n$-resolvability. We prove some variants of the simple Kim-forking conjecture, a generalization of the stable forking conjecture to $\mathrm{NSOP}_{1}$ theories. We show a global analogue of the simple Kim-forking conjecture with infinitely many variables holds in every $\mathrm{NSOP}_{1}$ theory, and show that Kim-forking with a realization of a type $p$ with $\mathrm{F}_{Mb}(p) < \infty$ satisfies a finite-variable version of this result. We then show, in a low $\mathrm{NSOP}_{1}$ theory or when $p$ is isolated, if $p \in S(C)$ has the definable Morley property for Kim-independence, Kim-forking with realizations of $p$ gives a nontrivial instance of the simple Kim-forking conjecture itself. In particular, when $F_{Mb}(p) < \infty$ and $|S^{F_{Mb}(p) + 1}(C)| < \infty$, Kim-forking with realizations of $p$ gives us a nontrivial instance of the simple Kim-forking conjecture. We show that the quantity $F_{Mb}$, motivated in simple and $\mathrm{NSOP}_{1}$ theories by the above results, is in fact nontrivial even in stable theories.

On the sequential indifferentiability of the Lai–Massey construction

Remarks on the Sequential Effect Algebras

Separating Invertible Key Derivations from Non-Invertible Ones: Sequential Indifferentiability of 3-Round Even–Mansour

A Synthetic Indifferentiability Analysis ofźInterleaved Double-Key Even-Mansour Ciphers

A Synthetic Indifferentiability Analysis of Interleaved Double-Key Even-Mansour Ciphers.

Pseudorandomness Analysis of the Lai-Massey Scheme.

The Pseudorandomness of Many-Round Lai-Massey Scheme.

On the Indifferentiability of Key-Alternating Feistel Ciphers with No Key Derivation.

Pseudorandomness analysis of the (extended) Lai–Massey scheme

Secrecy Gain of Formally Unimodular Lattices from Codes over the Integers Modulo 4

Enumeration Results on the Joint Linear Complexity of Multisequences

Impossibility of Indifferentiable Iterated Blockciphers from 3 or Less Primitive Calls.

Unbounded sequential multipartite nonlocality via violation of Mermin inequality

A Fully Secure Lattice-Based Signcryption with Designated Equality Test in Standard Model

A versatile construction of Bell inequalities for the multipartite scenario

M-description lattice vector quantization: index assignment and analysis

Simple Homogeneous Structures and Indiscernible Sequence Invariants

Lattice-based Concurrent Signatures in the Standard Model

LWE from non-commutative group rings

Dual-Mode Encryption for UC-Secure String OT from Learning with Errors