Showing 1–50 of 52 results for author: Kaplan, I

High-Rate Nested-Lattice Quantized Matrix Multiplication with Small Lookup Tables

Authors: Iris Kaplan, Or Ordentlich

Abstract: Recent work have shown that the quantization for matrix multiplication problem can be optimally solved by quantizing each column in each matrix using a nested lattice code, and then multiplying the de-quantized matrices. It was further demonstrated that when product codes of sub-dimension $d$ and rate $R$ are used, the de-quantization and inner product operations can be implemented with querying a… ▽ More Recent work have shown that the quantization for matrix multiplication problem can be optimally solved by quantizing each column in each matrix using a nested lattice code, and then multiplying the de-quantized matrices. It was further demonstrated that when product codes of sub-dimension $d$ and rate $R$ are used, the de-quantization and inner product operations can be implemented with querying a lookup table (LUT) of size $2^{2dR}$, but this is only useful when $dR$ is sufficiently small. This in turn limits LUT-based inner product decoding to low-rate quantizers. In this work, we develop a rate $R$ hierarchical nested lattice quantization framework, which quantizes each vector to $M$ layers, and admits LUT-based inner product decoding using an LUT of size $2^{2d\frac{R}{M}}$, allowing for high-rate quantization. We provide analytic bounds on the loss of the developed scheme compared to standard nested lattice quantizers, and also numerically illustrate that this loss is negligible. Thus, our scheme enables to use small LUTs without compromising the overall distortion. △ Less

Submitted 19 May, 2025; originally announced May 2025.

Comments: To be presented in ISIT 2025

AIDE: AI-Driven Exploration in the Space of Code

Authors: Zhengyao Jiang, Dominik Schmidt, Dhruv Srikanth, Dixing Xu, Ian Kaplan, Deniss Jacenko, Yuxiang Wu

Abstract: Machine learning, the foundation of modern artificial intelligence, has driven innovations that have fundamentally transformed the world. Yet, behind advancements lies a complex and often tedious process requiring labor and compute intensive iteration and experimentation. Engineers and scientists developing machine learning models spend much of their time on trial-and-error tasks instead of concep… ▽ More Machine learning, the foundation of modern artificial intelligence, has driven innovations that have fundamentally transformed the world. Yet, behind advancements lies a complex and often tedious process requiring labor and compute intensive iteration and experimentation. Engineers and scientists developing machine learning models spend much of their time on trial-and-error tasks instead of conceptualizing innovative solutions or research hypotheses. To address this challenge, we introduce AI-Driven Exploration (AIDE), a machine learning engineering agent powered by large language models (LLMs). AIDE frames machine learning engineering as a code optimization problem, and formulates trial-and-error as a tree search in the space of potential solutions. By strategically reusing and refining promising solutions, AIDE effectively trades computational resources for enhanced performance, achieving state-of-the-art results on multiple machine learning engineering benchmarks, including our Kaggle evaluations, OpenAI MLE-Bench and METRs RE-Bench. △ Less

Submitted 18 February, 2025; originally announced February 2025.

Stable reducts of elementary extensions of Presburger arithmetic

Authors: Eran Alouf, Antongiulio Fornasiero, Itay Kaplan

Abstract: Suppose $N$ is elementarily equivalent to an archimedean ordered abelian group $(G,+,<)$ with small quotients (for all $1 \leq n < ω$, $[G: nG]$ is finite). Then every stable reduct of $N$ which expands $(G,+)$ (equivalently every reduct that does not add new unary definable sets) is interdefinable with $(G,+)$. This extends previous results on stable reducts of $(\mathbb{Z}, +, <)$ to (stable) re… ▽ More Suppose $N$ is elementarily equivalent to an archimedean ordered abelian group $(G,+,<)$ with small quotients (for all $1 \leq n < ω$, $[G: nG]$ is finite). Then every stable reduct of $N$ which expands $(G,+)$ (equivalently every reduct that does not add new unary definable sets) is interdefinable with $(G,+)$. This extends previous results on stable reducts of $(\mathbb{Z}, +, <)$ to (stable) reducts of elementary extensions of $\mathbb{Z}$. In particular this holds for $G = \mathbb{Z}$ and $G = \mathbb{Q}$. As a result we answer a question of Conant from 2018. This result is a corollary of a more general statement about expansions of weakly-minimal 1-based expansions of abelian groups with small quotients preserving the algebraic closure operator. △ Less

Submitted 20 April, 2025; v1 submitted 13 December, 2024; originally announced December 2024.

MSC Class: 03C45; 03C64 (Primary) 03C07; 06F20 (Secondary)

Infinite Cliques in Simple and Stable Graphs

Authors: Yatir Halevi, Itay Kaplan, Saharon Shelah

Abstract: Suppose that $G$ is a graph of cardinality $μ^+$ with chromatic number $χ(G)\geq μ^+$. One possible reason that this could happen is if $G$ contains a clique of size $μ^+$. We prove that this is indeed the case when the edge relation is stable. When $G$ is a random graph (which is simple but not stable), this is not true. But still if in general the complete theory of $G$ is simple, $G$ must conta… ▽ More Suppose that $G$ is a graph of cardinality $μ^+$ with chromatic number $χ(G)\geq μ^+$. One possible reason that this could happen is if $G$ contains a clique of size $μ^+$. We prove that this is indeed the case when the edge relation is stable. When $G$ is a random graph (which is simple but not stable), this is not true. But still if in general the complete theory of $G$ is simple, $G$ must contain finite cliques of unbounded sizes. △ Less

Submitted 10 August, 2024; originally announced August 2024.

Automorphisms of the Rado meet-tree

Authors: Itay Kaplan, Binyamin Riahi, Arturo Rodriguez Fanlo

Abstract: We prove that the group of automorphisms of the generic meet-tree expansion of an infinite non-unary free Fraïssé limit over a finite relational language is simple. As a prototypical case, the group of automorphism of the Rado meet-tree (i.e. the Fraïssé limit of finite graphs which are also meet-trees) is simple. We prove that the group of automorphisms of the generic meet-tree expansion of an infinite non-unary free Fraïssé limit over a finite relational language is simple. As a prototypical case, the group of automorphism of the Rado meet-tree (i.e. the Fraïssé limit of finite graphs which are also meet-trees) is simple. △ Less

Submitted 11 October, 2023; originally announced October 2023.

MSC Class: 03C98; 03C15; 20B27

Correlation thresholds for effective composite pulse quantum error mitigation

Authors: Ido Kaplan, Haim Suchowski, Yaron Oz

Abstract: Composite pulse segmentation has emerged as a promising error mitigation technique for a wide range of physical systems. In recent years, composite schemes were applied as mitigation strategies for quantum information processing and quantum computing. However, most of these strategies assume full error correlation between segments, which can result in gates with worse fidelity performance compared… ▽ More Composite pulse segmentation has emerged as a promising error mitigation technique for a wide range of physical systems. In recent years, composite schemes were applied as mitigation strategies for quantum information processing and quantum computing. However, most of these strategies assume full error correlation between segments, which can result in gates with worse fidelity performance compared to non-composite gates. In our research, we investigate how error correlations impact the fidelity of quantum gates within the composite segmentation framework. In our study, we prove the existence of a critical correlation threshold, above which the composite pulse method significantly enhances both the mean value and variance of the fidelity. To gain deeper insights, we analyze various properties of the threshold in the realm of integrated photonics, including the effects of geometrical variations and the limit where the number of segments approaches infinity. We numerically explore diverse scenarios, showcasing different aspects of the critical threshold within the photonic quantum gates framework. These findings contribute open new pathways of error mitigation strategies and their implications in quantum information processing. △ Less

Submitted 16 August, 2023; originally announced August 2023.

Generic Stability Independence and Treeless theories

Authors: Itay Kaplan, Nicholas Ramsey, Pierre Simon

Abstract: We initiate a systematic study of \emph{generic stability independence} and introduce the class of \emph{treeless theories} in which this notion of independence is particularly well-behaved. We show that the class of treeless theories contains both binary theories and stable theories and give several applications of the theory of independence for treeless theories. As a corollary, we show that eve… ▽ More We initiate a systematic study of \emph{generic stability independence} and introduce the class of \emph{treeless theories} in which this notion of independence is particularly well-behaved. We show that the class of treeless theories contains both binary theories and stable theories and give several applications of the theory of independence for treeless theories. As a corollary, we show that every binary NSOP$_{3}$ theory is simple. △ Less

Submitted 29 May, 2023; v1 submitted 2 May, 2023; originally announced May 2023.

The model theory of geometric random graphs

Authors: Omer Ben-Neria, Itay Kaplan, Tingxiang Zou

Abstract: We study the logical properties of infinite geometric random graphs, introduced by Bonato and Janssen. These are graphs whose vertex set is a dense ``generic'' subset of a metric space, where two vertices are adjacent with probability $p>0$ provided the distance between them is bounded by some constant number. We prove that for a large class of metric spaces, including circles, spheres and the com… ▽ More We study the logical properties of infinite geometric random graphs, introduced by Bonato and Janssen. These are graphs whose vertex set is a dense ``generic'' subset of a metric space, where two vertices are adjacent with probability $p>0$ provided the distance between them is bounded by some constant number. We prove that for a large class of metric spaces, including circles, spheres and the complete Urysohn space, almost all geometric random graphs on a given space are elementary equivalent. Moreover, their first-order theory can reveal geometric properties of the underlying metric space. △ Less

Submitted 20 April, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: Fixed some typos, added reference to previous work by Ackerman, Freer, Kruckman and Patel

MSC Class: 05C80; 03C64; 03C52; 03C45

Segmented Composite Design of Robust Single-Qubit Quantum Gates

Authors: Ido Kaplan, Muhammad Erew, Yonatan Piasetzky, Moshe Goldstein, Yaron Oz, Haim Suchowski

Abstract: Error mitigation schemes and error-correcting codes have been the center of much effort in quantum information processing research over the last few decades. While most of the successful proposed schemes for error mitigation are perturbative in the noise and assume deterministic systematic errors, studies of the problem considering the full noise and errors distribution are still scarce. In this w… ▽ More Error mitigation schemes and error-correcting codes have been the center of much effort in quantum information processing research over the last few decades. While most of the successful proposed schemes for error mitigation are perturbative in the noise and assume deterministic systematic errors, studies of the problem considering the full noise and errors distribution are still scarce. In this work, we introduce an error mitigation scheme for robust single-qubit unitary gates based on composite segmented design, which accounts for the full distribution of the physical noise and errors in the system. We provide two optimization approaches to construct these robust segmented gates: perturbative and non-perturbative, that addresses all orders of errors. We demonstrate our scheme in the photonics realm for the dual-rail directional couplers realization. We show that the 3-segmented composite design for the fundamental single-qubits unitary operations reduces the error by an order of magnitude for a realistic distribution of errors, and that the two approaches are compatible for small errors. This is shown to significantly reduce the overhead of modern error correction codes. Our methods are rather general and can be applied to other realizations of quantum information processing units. △ Less

Submitted 21 October, 2023; v1 submitted 31 December, 2022; originally announced January 2023.

Journal ref: Phys. Rev. A 108, 042401 (2023)

A definable $(p,q)$-theorem for NIP theories

Authors: Itay Kaplan

Abstract: We prove a definable version of Matoušek's $(p,q)$-theorem in NIP theories. This answers a question of Chernikov and Simon. We also prove a uniform version. The proof builds on a proof of Boxall and Kestner who proved this theorem in the distal case, utilizing the notion of locally compressible types which appeared in the work of the author with Bays and Simon. We prove a definable version of Matoušek's $(p,q)$-theorem in NIP theories. This answers a question of Chernikov and Simon. We also prove a uniform version. The proof builds on a proof of Boxall and Kestner who proved this theorem in the distal case, utilizing the notion of locally compressible types which appeared in the work of the author with Bays and Simon. △ Less

Submitted 24 December, 2022; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: Added section 4.1 about VC-density

On large externally definable sets in NIP

Authors: Martin Bays, Omer Ben-Neria, Itay Kaplan, Pierre Simon

Abstract: We study cofinal systems of finite subsets of $ω_1$. We show that while such systems can be NIP, they cannot be defined in an NIP structure. We deduce a positive answer to a question of Chernikov and Simon from 2013: in an NIP theory, any uncountable externally definable set contains an infinite definable subset. A similar result holds for larger cardinals. We study cofinal systems of finite subsets of $ω_1$. We show that while such systems can be NIP, they cannot be defined in an NIP structure. We deduce a positive answer to a question of Chernikov and Simon from 2013: in an NIP theory, any uncountable externally definable set contains an infinite definable subset. A similar result holds for larger cardinals. △ Less

Submitted 20 July, 2023; v1 submitted 24 May, 2022; originally announced May 2022.

Comments: v2: Corollary 3.11 in v1 had an erroneous proof; it now appears as Theorem 3.8 with a new proof, and part of section 3 has been moved to an appendix v3: Small local improvements

MSC Class: 03C45

Journal ref: J. Inst. Math. Jussieu 23 (2024) 2159-2173

Saturated Models for the Working Model Theorist

Authors: Yatir Halevi, Itay Kaplan

Abstract: We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory. We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory. △ Less

Submitted 5 December, 2021; originally announced December 2021.

Existentially closed models of fields with a distinguished submodule

Authors: Christian d'Elbée, Itay Kaplan, Leor Neuhauser

Abstract: This paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author. Here we study this class in Robinson's logic, meaning the category of existentially closed models with embeddings following Haykazyan and Kirby, and prove that in… ▽ More This paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author. Here we study this class in Robinson's logic, meaning the category of existentially closed models with embeddings following Haykazyan and Kirby, and prove that in this context this class is NSOP$_1$ and TP$_2$. △ Less

Submitted 18 September, 2022; v1 submitted 5 October, 2021; originally announced October 2021.

MSC Class: 03C45; 03C10; 03C60

On algebraically closed fields with a distinguished subfield

Authors: Christian d'Elbée, Itay Kaplan, Leor Neuhauser

Abstract: This paper is concerned with the model-theoretic study of pairs $(K,F)$ where $K$ is an algebraically closed field and $F$ is a distinguished subfield of $K$ allowing extra structure. We study the basic model-theoretic properties of those pairs, such as quantifier elimination, model-completeness and saturated models. We also prove some preservation results of classification-theoretic notions such… ▽ More This paper is concerned with the model-theoretic study of pairs $(K,F)$ where $K$ is an algebraically closed field and $F$ is a distinguished subfield of $K$ allowing extra structure. We study the basic model-theoretic properties of those pairs, such as quantifier elimination, model-completeness and saturated models. We also prove some preservation results of classification-theoretic notions such as stability, simplicity, NSOP$_1$, and NIP. As an application, we conclude that a PAC field is NSOP$_1$ iff its absolute Galois group is (as a profinite group). △ Less

Submitted 24 August, 2022; v1 submitted 9 August, 2021; originally announced August 2021.

MSC Class: 03C45; 03C10; 03C60

Density of compressible types and some consequences

Authors: Martin Bays, Itay Kaplan, Pierre Simon

Abstract: We study compressible types in the context of (local and global) NIP. By extending a result in machine learning theory (the existence of a bound on the recursive teaching dimension), we prove density of compressible types. Using this, we obtain explicit uniform honest definitions for NIP formulas (answering a question of Eshel and the second author), and build compressible models in countable NIP… ▽ More We study compressible types in the context of (local and global) NIP. By extending a result in machine learning theory (the existence of a bound on the recursive teaching dimension), we prove density of compressible types. Using this, we obtain explicit uniform honest definitions for NIP formulas (answering a question of Eshel and the second author), and build compressible models in countable NIP theories. △ Less

Submitted 4 October, 2022; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: v2: New corollary 6.34 on stable reducts; minor fixes elsewhere; numbering changed in section 6. v3: Minor revisions; numbering changed in section 6; accepted for publication in JEMS

MSC Class: 03C45 (Primary) 03C95; 03C50 (Secondary)

Infinite Stable Graphs With Large Chromatic Number II

Authors: Yatir Halevi, Itay Kaplan, Saharon Shelah

Abstract: We prove a version of the strong Taylor's conjecture for stable graphs: if $G$ is a stable graph whose chromatic number is strictly greater than $\beth_2(\aleph_0)$ then $G$ contains all finite subgraphs of Sh$_n(ω)$ and thus has elementary extensions of unbounded chromatic number. This completes the picture from our previous work. The main new model theoretic ingredient is a generalization of the… ▽ More We prove a version of the strong Taylor's conjecture for stable graphs: if $G$ is a stable graph whose chromatic number is strictly greater than $\beth_2(\aleph_0)$ then $G$ contains all finite subgraphs of Sh$_n(ω)$ and thus has elementary extensions of unbounded chromatic number. This completes the picture from our previous work. The main new model theoretic ingredient is a generalization of the classical construction of Ehrenfeucht-Mostowski models to an infinitary setting, giving a new characterization of stability. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Exact saturation in pseudo-elementary classes for simple and stable theories

Authors: Itay Kaplan, Nicholas Ramsey, Saharon Shelah

Abstract: We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals, satisfying mild set-theoretic hypotheses, which had previously been open even for the random g… ▽ More We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals, satisfying mild set-theoretic hypotheses, which had previously been open even for the random graph. We characterize supersimplicity of countable theories in terms of having PC-exact saturation at singular cardinals of countable cofinality. We also consider the local analogue of PC-exact saturation, showing that local PC-exact saturation for singular cardinals of countable cofinality characterizes supershort theories. △ Less

Submitted 9 May, 2022; v1 submitted 17 September, 2020; originally announced September 2020.

Boolean Types in Dependent Theories

Authors: Itay Kaplan, Ori Segel, Saharon Shelah

Abstract: The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of such types, and show they are particularity well behaved in the case of NIP theories. In particular, we generalize the third author's result about counting types,… ▽ More The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of such types, and show they are particularity well behaved in the case of NIP theories. In particular, we generalize the third author's result about counting types, as well as the notion of a smooth type and extending a type to a smooth one. We then show that Keisler measures are tied to certain Boolean types and show that some of the results can thus be transferred to measures - in particular, giving an alternative proof of the fact that every measure in a dependent theory can be extended to a smooth one. We also study the stable case. We consider this paper as an invitation for more research into the topic of Boolean types. △ Less

Submitted 16 January, 2022; v1 submitted 7 August, 2020; originally announced August 2020.

Comments: 32 pages, no figures

MSC Class: 03C95 (Primary) 03C45; 03G05; 28A60 (Secondary)

Infinite Stable Graphs With Large Chromatic Number

Authors: Yatir Halevi, Itay Kaplan, Saharon Shelah

Abstract: We prove that if $G=(V,E)$ is an $ω$-stable (respectively, superstable) graph with $χ(G)>\aleph_0$ (respectively, $2^{\aleph_0}$) then $G$ contains all the finite subgraphs of the shift graph $\text{Sh}_n(ω)$ for some $n$. We prove a variant of this theorem for graphs interpretable in stationary stable theories. Furthermore, if $G$ is $ω$-stable with $\mathrm{U}(G)\leq 2$ we prove that $n\leq 2$ s… ▽ More We prove that if $G=(V,E)$ is an $ω$-stable (respectively, superstable) graph with $χ(G)>\aleph_0$ (respectively, $2^{\aleph_0}$) then $G$ contains all the finite subgraphs of the shift graph $\text{Sh}_n(ω)$ for some $n$. We prove a variant of this theorem for graphs interpretable in stationary stable theories. Furthermore, if $G$ is $ω$-stable with $\mathrm{U}(G)\leq 2$ we prove that $n\leq 2$ suffices. △ Less

Submitted 20 March, 2021; v1 submitted 23 July, 2020; originally announced July 2020.

Criteria for exact saturation and singular compactness

Authors: Itay Kaplan, Nicholas Ramsey, Saharon Shelah

Abstract: We introduce the class of unshreddable theories, which contains the simple and NIP theories, and prove that such theories have exactly saturated models in singular cardinals, satisfying certain set-theoretic hypotheses. We also give criteria for a theory to have singular compactness. We introduce the class of unshreddable theories, which contains the simple and NIP theories, and prove that such theories have exactly saturated models in singular cardinals, satisfying certain set-theoretic hypotheses. We also give criteria for a theory to have singular compactness. △ Less

Submitted 15 April, 2021; v1 submitted 1 March, 2020; originally announced March 2020.

Non-forking and preservation of NIP and dp-rank

Authors: Pedro Andrés Estevan, Itay Kaplan

Abstract: We investigate the question of whether the restriction of a NIP type $p\in S(B)$ which does not fork over $A\subseteq B$ to $A$ is also NIP, and the analogous question for dp-rank. We show that if $B$ contains a Morley sequence $I$ generated by $p$ over $A$, then $p\restriction AI$ is NIP and similarly preserves the dp-rank. This yields positive answers for generically stable NIP types and the ana… ▽ More We investigate the question of whether the restriction of a NIP type $p\in S(B)$ which does not fork over $A\subseteq B$ to $A$ is also NIP, and the analogous question for dp-rank. We show that if $B$ contains a Morley sequence $I$ generated by $p$ over $A$, then $p\restriction AI$ is NIP and similarly preserves the dp-rank. This yields positive answers for generically stable NIP types and the analogous case of stable types. With similar techniques we also provide a new more direct proof for the latter. Moreover, we introduce a general construction of "trees whose open cones are models of some theory" and in particular an inp-minimal theory DTR of dense trees with random graphs on open cones, which exemplifies a negative answer to the question. △ Less

Submitted 14 December, 2019; v1 submitted 10 September, 2019; originally announced September 2019.

On uniform definability of types over finite sets for NIP formulas

Authors: Shlomo Eshel, Itay Kaplan

Abstract: Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets (UDTFS). This settles a conjecture of Laskowski. Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets (UDTFS). This settles a conjecture of Laskowski. △ Less

Submitted 27 November, 2020; v1 submitted 23 April, 2019; originally announced April 2019.

MSC Class: 03C45; 03C40; 68R05

On the automorphism group of the universal homogeneous meet-tree

Authors: Itay Kaplan, Tomasz Rzepecki, Daoud Siniora

Abstract: We show that the countable universal homogeneous meet-tree has a generic automorphism, but it does not have a generic pair of automorphisms. We show that the countable universal homogeneous meet-tree has a generic automorphism, but it does not have a generic pair of automorphisms. △ Less

Submitted 15 December, 2020; v1 submitted 10 April, 2019; originally announced April 2019.

Comments: 33 pages (incl. references); very minor corrections, references and MSC update

MSC Class: 03C15; 03E15; 06A12; 20E08; 54H11; 20B27

Journal ref: The Journal of Symbolic Logic 86.4 (December 2021), pp. 1508-1540

Pauli Exclusion Principle and its theoretical foundation

Authors: I. G. Kaplan

Abstract: The modern state of the Pauli Exclusion Principle (PEP) is discussed. PEP can be considered from two viewpoints. On the one hand, it asserts that particles with half-integer spin (fermions) are described by antisymmetric wave functions, and particles with integer spin (bosons) are described by symmetric wave functions. This is the so-called spin-statistics connection (SSC). As we will discuss, the… ▽ More The modern state of the Pauli Exclusion Principle (PEP) is discussed. PEP can be considered from two viewpoints. On the one hand, it asserts that particles with half-integer spin (fermions) are described by antisymmetric wave functions, and particles with integer spin (bosons) are described by symmetric wave functions. This is the so-called spin-statistics connection (SSC). As we will discuss, the physical reasons why SSC exists are still unknown. On the other hand, according to PEP, the permutation symmetry of the total wave functions can be only of two types: symmetric or antisymmetric, both belong to one-dimensional representations of the permutation group, all other types of permutation symmetry are forbidden; whereas the solution of the Schrödinger equation may have any permutation symmetry. It is demonstrated that the proof in some widespread textbooks on quantum mechanics that only symmetric and antisymmetric states (one-dimensional representations of the permutation group) can exist is wrong. However, the scenarios, in which an arbitrary permutation symmetry (degenerate permutation states) is permitted lead to contradictions with the concepts of particle identity and their independence. Thus, the existence in our nature particles only in nondegenerate permutation states (symmetric and antisymmetric) is not accidental and so-called symmetrization postulate may not be considered as a postulate, since all other symmetry options for the total wave function may not be realized. From this an important conclusion follows: we may not expect that in future some unknown elementary particles can be discovered that are not fermions or bosons. △ Less

Submitted 25 April, 2019; v1 submitted 29 January, 2019; originally announced February 2019.

Comments: 24 pages, 2 figures, The Pauli exclusion principle is theoretically subtantiated. From the presented proof it follows that we may not expect that in future some unknown elementary particles that are not fermions or bosons can be discovered

Transitivity of Kim-independence

Authors: Itay Kaplan, Nicholas Ramsey

Abstract: We prove several results on the behavior of Kim-independence upon changing the base in NSOP$_{1}$ theories. As a consequence, we prove that Kim-independence satisfies transitivity and that this characterizes NSOP$_{1}$. Moreover, we characterize witnesses to Kim-dividing as exactly the $\ind^{K}$-Morley sequences. We give several applications, answering a number of open questions concerning transi… ▽ More We prove several results on the behavior of Kim-independence upon changing the base in NSOP$_{1}$ theories. As a consequence, we prove that Kim-independence satisfies transitivity and that this characterizes NSOP$_{1}$. Moreover, we characterize witnesses to Kim-dividing as exactly the $\ind^{K}$-Morley sequences. We give several applications, answering a number of open questions concerning transitivity, Morley sequences, and local character in NSOP$_{1}$ theories. △ Less

Submitted 4 December, 2020; v1 submitted 21 January, 2019; originally announced January 2019.

A Generalization of von Staudt's Theorem on Cross-Ratios

Authors: Yatir Halevi, Itay Kaplan

Abstract: A generalization of von Staudt's theorem that every permutation of the projective line that preserves harmonic quadruples is a projective semilinear map is given. It is then concluded that any proper supergroup of permutations of the projective semilinear group over an algebraically closed field of transcendence degree at least 1 is 4-transitive. A generalization of von Staudt's theorem that every permutation of the projective line that preserves harmonic quadruples is a projective semilinear map is given. It is then concluded that any proper supergroup of permutations of the projective semilinear group over an algebraically closed field of transcendence degree at least 1 is 4-transitive. △ Less

Submitted 30 July, 2018; v1 submitted 22 March, 2018; originally announced March 2018.

Automorphism groups of finite topological rank

Authors: Itay Kaplan, Pierre Simon

Abstract: We offer a criterion for showing that the automorphism group of an ultrahomogeneous structure is topologically 2-generated and even has a cyclically dense conjugacy class. We then show how finite topological rank of the automorphism group of an $ω$-categorical structure can go down to reducts. Together, those results prove that a large number of $ω$-categorical structures that appear in the litera… ▽ More We offer a criterion for showing that the automorphism group of an ultrahomogeneous structure is topologically 2-generated and even has a cyclically dense conjugacy class. We then show how finite topological rank of the automorphism group of an $ω$-categorical structure can go down to reducts. Together, those results prove that a large number of $ω$-categorical structures that appear in the literature have an automorphism group of finite topological rank. In fact, we are not aware of any $ω$-categorical structure to which they do not apply (assuming the automorphism group has no compact quotients). We end with a few questions and conjectures. △ Less

Submitted 23 August, 2019; v1 submitted 6 September, 2017; originally announced September 2017.

MSC Class: 20B27; 03C15

Some NIP-like phenomena in NTP$_{2}$

Authors: Itay Kaplan, Pierre Simon

Abstract: We introduce the notion of an NTP$_{2}$-smooth measure and prove that they exist assuming NTP$_{2}$. Using this, we propose a notion of distality in NTP$_{2}$ that unfortunately does not intersect simple theories trivially. We then prove a finite alternation theorem for a subclass of NTP$_{2}$ that contains resilient theories. In the last section we prove that under NIP, any type over a model of s… ▽ More We introduce the notion of an NTP$_{2}$-smooth measure and prove that they exist assuming NTP$_{2}$. Using this, we propose a notion of distality in NTP$_{2}$ that unfortunately does not intersect simple theories trivially. We then prove a finite alternation theorem for a subclass of NTP$_{2}$ that contains resilient theories. In the last section we prove that under NIP, any type over a model of singular size is finitely satisfiable in a smaller model, and ask if a parallel result (with non-forking replacing finite satisfiability) holds in NTP$_{2}$. △ Less

Submitted 17 July, 2017; originally announced July 2017.

MSC Class: 03C45; 03C95; 03C55

Local character of Kim-independence

Authors: Itay Kaplan, Nicholas Ramsey, Saharon Shelah

Abstract: We show that NSOP$_{1}$ theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if $T$ is NSOP$_{1}$, $M\models T$, and $p$ is a type over $M$, then the collection of elementary substructures of size $\left|T\right|$ over which $p$ does not Kim-fork is a club of $\left[M\right]^{\left|T\right|}$ and that this characterizes NSOP… ▽ More We show that NSOP$_{1}$ theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if $T$ is NSOP$_{1}$, $M\models T$, and $p$ is a type over $M$, then the collection of elementary substructures of size $\left|T\right|$ over which $p$ does not Kim-fork is a club of $\left[M\right]^{\left|T\right|}$ and that this characterizes NSOP$_{1}$. We also present a new phenomenon we call dual local-character for Kim-independence in NSOP$_{1}$-theories. △ Less

Submitted 12 February, 2018; v1 submitted 10 July, 2017; originally announced July 2017.

On Kim-Independence

Authors: Itay Kaplan, Nicholas Ramsey

Abstract: We study NSOP$_{1}$ theories. We define Kim-independence, which generalizes non-forking independence in simple theories and corresponds to non-forking at a generic scale. We show that Kim-independence satisfies a version of Kim's lemma, local character, symmetry, and an independence theorem and that, moreover, these properties individually characterize NSOP$_{1}$ theories. We describe Kim-independ… ▽ More We study NSOP$_{1}$ theories. We define Kim-independence, which generalizes non-forking independence in simple theories and corresponds to non-forking at a generic scale. We show that Kim-independence satisfies a version of Kim's lemma, local character, symmetry, and an independence theorem and that, moreover, these properties individually characterize NSOP$_{1}$ theories. We describe Kim-independence in several concrete theories and observe that it corresponds to previously studied notions of independence in Frobenius fields and vector spaces with a generic bilinear form. △ Less

Submitted 8 January, 2019; v1 submitted 13 February, 2017; originally announced February 2017.

MSC Class: 03C45; 03C55; 03C60

Some remarks on dp-minimal groups

Authors: Elad Levi, Itay Kaplan, Pierre Simon

Abstract: We prove that $\ omega $-categorical dp-minimal groups are nilpotent-by-finite. We also show that in dp-minimal definably amenable groups, f-generic global types are strongly f-generic. We prove that $\ omega $-categorical dp-minimal groups are nilpotent-by-finite. We also show that in dp-minimal definably amenable groups, f-generic global types are strongly f-generic. △ Less

Submitted 5 May, 2017; v1 submitted 25 May, 2016; originally announced May 2016.

Decidability and classification of the theory of integers with primes

Authors: Itay Kaplan, Saharon Shelah

Abstract: We show that under Dickson's conjecture about the distribution of primes in the natural numbers, the theory Th(Z,+,1,0,Pr) where Pr is a predicate for the prime numbers and their negations is decidable, unstable and supersimple. This is in contrast with Th(Z,+,0,Pr,<) which is known to be undecidable by the works of Jockusch, Bateman and Woods. We show that under Dickson's conjecture about the distribution of primes in the natural numbers, the theory Th(Z,+,1,0,Pr) where Pr is a predicate for the prime numbers and their negations is decidable, unstable and supersimple. This is in contrast with Th(Z,+,0,Pr,<) which is known to be undecidable by the works of Jockusch, Bateman and Woods. △ Less

Submitted 14 February, 2016; v1 submitted 26 January, 2016; originally announced January 2016.

MSC Class: 03C45; 03F30; 03B25; 11A41

Exact saturation in simple and NIP theories

Authors: Itay Kaplan, Saharon Shelah, Pierre Simon

Abstract: A theory $T$ is said to have exact saturation at a singular cardinal $κ$ if it has a $κ$-saturated model which is not $κ^{+}$-saturated. We show, under some set-theoretic assumptions, that any simple theory has exact saturation. Also, an NIP theory has exact saturation if and only if it is not distal. This gives a new characterization of distality. A theory $T$ is said to have exact saturation at a singular cardinal $κ$ if it has a $κ$-saturated model which is not $κ^{+}$-saturated. We show, under some set-theoretic assumptions, that any simple theory has exact saturation. Also, an NIP theory has exact saturation if and only if it is not distal. This gives a new characterization of distality. △ Less

Submitted 9 October, 2015; originally announced October 2015.

MSC Class: 03C45; 03C95; 03C55

The generic pair conjecture for dependent finite diagrams

Authors: Itay Kaplan, Noa Lavi, Saharon Shelah

Abstract: This paper generalizes Shelah's generic pair conjecture (now theorem) for the measurable cardinal case from first order theories to finite diagrams. We use homogeneous models in the place of saturated models. This paper generalizes Shelah's generic pair conjecture (now theorem) for the measurable cardinal case from first order theories to finite diagrams. We use homogeneous models in the place of saturated models. △ Less

Submitted 4 December, 2014; v1 submitted 9 October, 2014; originally announced October 2014.

Comments: Accepted for publication in the Israel Journal of Mathematics

MSC Class: 03C45; 03C95; 03C48

Forcing a countable structure to belong to the ground model

Authors: Itay Kaplan, Saharon Shelah

Abstract: Suppose that $P$ is a forcing notion, $L$ is a language (in $V$), $\dotτ$ a $P$-name such that $P\Vdash$ "$\dotτ$ is a countable $L$-structure". In the product $P\times P$, there are names $\dot{τ_{1}},\dot{τ_{2}}$ such that for any generic filter $G=G_{1}\times G_{2}$ over $P\times P$, $\dotτ_{1}[G]=\dotτ[G_{1}]$ and $\dotτ_{2}[G]=\dotτ[G_{2}]$. Zapletal asked whether or not… ▽ More Suppose that $P$ is a forcing notion, $L$ is a language (in $V$), $\dotτ$ a $P$-name such that $P\Vdash$ "$\dotτ$ is a countable $L$-structure". In the product $P\times P$, there are names $\dot{τ_{1}},\dot{τ_{2}}$ such that for any generic filter $G=G_{1}\times G_{2}$ over $P\times P$, $\dotτ_{1}[G]=\dotτ[G_{1}]$ and $\dotτ_{2}[G]=\dotτ[G_{2}]$. Zapletal asked whether or not $P \times P \Vdash \dotτ_{1}\cong\dotτ_{2}$ implies that there is some $M\in V$ such that $P \Vdash \dotτ\cong\check{M}$. We answer this negatively and discuss related issues. △ Less

Submitted 1 April, 2015; v1 submitted 5 October, 2014; originally announced October 2014.

MSC Class: 03C95; 03C55; 03C45

The affine and projective groups are maximal

Authors: Itay Kaplan, Pierre Simon

Abstract: We show that the groups AGL_n(Q) and PGL_n(Q), seen as closed subgroups of S_{\infty}, are maximal-closed. We show that the groups AGL_n(Q) and PGL_n(Q), seen as closed subgroups of S_{\infty}, are maximal-closed. △ Less

Submitted 8 August, 2015; v1 submitted 30 October, 2013; originally announced October 2013.

An embedding theorem of $\mathbb{E}_{0}$ with model theoretic applications

Authors: Itay Kaplan, Benjamin D. Miller

Abstract: We provide a new criterion for embedding $\mathbb{E}_{0}$, and apply it to equivalence relations in model theory. This generalize the results of the authors and Pierre Simon on the Borel cardinality of Lascar strong types equality, and Newelski's results about pseudo $F_σ$ groups. We provide a new criterion for embedding $\mathbb{E}_{0}$, and apply it to equivalence relations in model theory. This generalize the results of the authors and Pierre Simon on the Borel cardinality of Lascar strong types equality, and Newelski's results about pseudo $F_σ$ groups. △ Less

Submitted 26 August, 2013; originally announced August 2013.

MSC Class: 03C45; 03E15

The Borel cardinality of Lascar strong types

Authors: Itay Kaplan, Benjamin Miller, Pierre Simon

Abstract: We show that if the restriction of the Lascar equivalence relation to a KP-strong type is non-trivial, then it is non-smooth (when viewed as a Borel equivalence relation on an appropriate space of types). We show that if the restriction of the Lascar equivalence relation to a KP-strong type is non-trivial, then it is non-smooth (when viewed as a Borel equivalence relation on an appropriate space of types). △ Less

Submitted 7 January, 2013; originally announced January 2013.

Groups and fields with NTP2

Authors: Artem Chernikov, Itay Kaplan, Pierre Simon

Abstract: NTP2 is a large class of first-order theories defined by Shelah and generalizing simple and NIP theories. Algebraic examples of NTP2 structures are given by ultra-products of p-adics and certain valued difference fields (such as a non-standard Frobenius automorphism living on an algebraically closed valued field of characteristic 0). In this note we present some results on groups and fields defina… ▽ More NTP2 is a large class of first-order theories defined by Shelah and generalizing simple and NIP theories. Algebraic examples of NTP2 structures are given by ultra-products of p-adics and certain valued difference fields (such as a non-standard Frobenius automorphism living on an algebraically closed valued field of characteristic 0). In this note we present some results on groups and fields definable in NTP2 structures. Most importantly, we isolate a chain condition for definable normal subgroups and use it to show that any NTP2 field has only finitely many Artin-Schreier extensions. We also discuss a stronger chain condition coming from imposing bounds on burden of the theory (an appropriate analogue of weight), and show that every strongly dependent valued field is Kaplansky. △ Less

Submitted 17 April, 2013; v1 submitted 26 December, 2012; originally announced December 2012.

Comments: Presentation is improved, some minor mistakes are corrected. Example 5.6 and a new observation concerning Conjecture 5.1 are added. Accepted for publication in the Proceedings of the AMS

Strict independence

Authors: Itay Kaplan, Alexander Usvyatsov

Abstract: We investigate the notions of strict independence and strict non-forking, and establish basic properties and connections between the two. In particular it follows from our investigation that in resilient theories strict non-forking is symmetric. Based on this study, we develop notions of weight which characterize NTP2, dependence and strong dependence. Many of our proofs rely on careful analysis o… ▽ More We investigate the notions of strict independence and strict non-forking, and establish basic properties and connections between the two. In particular it follows from our investigation that in resilient theories strict non-forking is symmetric. Based on this study, we develop notions of weight which characterize NTP2, dependence and strong dependence. Many of our proofs rely on careful analysis of sequences that witness dividing. We prove simple characterizations of such sequences in resilient theories, as well as of Morley sequences which are witnesses. As a by-product we obtain information on types co-dominated by generically stable types in dependent theories. For example, we prove that every Morley sequence in such a type is a witness. △ Less

Submitted 30 September, 2014; v1 submitted 20 August, 2012; originally announced August 2012.

MSC Class: 03C95; 03C45

On non-forking spectra

Authors: Artem Chernikov, Itay Kaplan, Saharon Shelah

Abstract: Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order theory we associate its non-forking spectrum - a function of two cardinals kappa and lambda giving the supremum of the possible number of types over a model of… ▽ More Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order theory we associate its non-forking spectrum - a function of two cardinals kappa and lambda giving the supremum of the possible number of types over a model of size lambda that do not fork over a sub-model of size kappa. This is a natural generalization of the stability function of a theory. We make progress towards classifying the non-forking spectra. On the one hand, we show that the possible values a non-forking spectrum may take are quite limited. On the other hand, we develop a general technique for constructing theories with a prescribed non-forking spectrum, thus giving a number of examples. In particular, we answer negatively a question of Adler whether NIP is equivalent to bounded non-forking. In addition, we answer a question of Keisler regarding the number of cuts a linear order may have. Namely, we show that it is possible that ded(kappa) < ded(kappa)^omega. △ Less

Submitted 13 August, 2015; v1 submitted 14 May, 2012; originally announced May 2012.

Comments: Version 1 - 30 pages. Version 2 - 31 pages; some minor corrections were made; accepted for publication to the Journal of the European Mathematical Society

MSC Class: 03C45; 03E04; 03E35

Witnessing dp-rank

Authors: Itay Kaplan, Pierre Simon

Abstract: We prove that in NTP_2 theories if p is a dependent type with dp-rank >= κ, then this can be witnessed by indiscernible sequences of tuples satisfying p. If p has dp-rank infinity, then this can be witnessed by singletons (in any theory). We prove that in NTP_2 theories if p is a dependent type with dp-rank >= κ, then this can be witnessed by indiscernible sequences of tuples satisfying p. If p has dp-rank infinity, then this can be witnessed by singletons (in any theory). △ Less

Submitted 28 August, 2013; v1 submitted 27 January, 2012; originally announced January 2012.

Journal ref: Notre Dame J. Formal Logic 55, no. 3 (2014), 419-429

Chain conditions in dependent groups

Authors: Itay Kaplan, Saharon Shelah

Abstract: In this note we prove and disprove some chain conditions in type definable and definable groups in dependent, strongly dependent and strongly^{2} dependent theories. In this note we prove and disprove some chain conditions in type definable and definable groups in dependent, strongly dependent and strongly^{2} dependent theories. △ Less

Submitted 9 February, 2012; v1 submitted 4 December, 2011; originally announced December 2011.

The univalence axiom in posetal model categories

Authors: Misha Gavrilovich, Assaf Hasson, Itay Kaplan

Abstract: In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category $Qt$ in which the mapping $Hom^{(w)}(Z\times B,C):Qt\longrightarrow Sets$ is functorial in $Z$ and represented in $Qt$ satisfies our homotopy version of the Univalence Axiom, albeit in a rather trivial way. This work was motiva… ▽ More In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category $Qt$ in which the mapping $Hom^{(w)}(Z\times B,C):Qt\longrightarrow Sets$ is functorial in $Z$ and represented in $Qt$ satisfies our homotopy version of the Univalence Axiom, albeit in a rather trivial way. This work was motivated by a question reported in [Ob], asking for a model of the Univalence Axiom not equivalent to the standard one. △ Less

Submitted 15 November, 2011; originally announced November 2011.

Additivity of the dp-rank

Authors: Itay Kaplan, Alf Onshuus, Alexander Usvyatsov

Abstract: The main result of this article is sub-additivity of the dp-rank. We also show that the study of theories of finite dp-rank can not be reduced to the study of its dp-minimal types, and discuss the possible relations between dp-rank and VC-density. The main result of this article is sub-additivity of the dp-rank. We also show that the study of theories of finite dp-rank can not be reduced to the study of its dp-minimal types, and discuss the possible relations between dp-rank and VC-density. △ Less

Submitted 29 December, 2011; v1 submitted 7 September, 2011; originally announced September 2011.

A dependent theory with few indiscernibles

Authors: Itay Kaplan, Saharon Shelah

Abstract: We give a full solution to the question of existence of indiscernibles in dependent theories by proving the following theorem: for every $θ$ there is a dependent theory $T$ of size $θ$ such that for all $κ$ and $δ$, $κ\to\left(δ\right)_{T,1}$ iff $κ\to\left(δ\right)_θ^{<ω}$. This means that unless there are good set theoretical reasons, there are large sets with no indiscernible sequences. We give a full solution to the question of existence of indiscernibles in dependent theories by proving the following theorem: for every $θ$ there is a dependent theory $T$ of size $θ$ such that for all $κ$ and $δ$, $κ\to\left(δ\right)_{T,1}$ iff $κ\to\left(δ\right)_θ^{<ω}$. This means that unless there are good set theoretical reasons, there are large sets with no indiscernible sequences. △ Less

Submitted 28 August, 2013; v1 submitted 3 October, 2010; originally announced October 2010.

Artin-Schreier extensions in NIP and simple fields

Authors: Itay Kaplan, Thomas Scanlon, Frank O. Wagner

Abstract: We show that NIP fields have no Artin-Schreier extension, and that simple fields have only a finite number of them. We show that NIP fields have no Artin-Schreier extension, and that simple fields have only a finite number of them. △ Less

Submitted 27 September, 2010; originally announced September 2010.

Examples in dependent theories

Authors: Itay Kaplan, Saharon Shelah

Abstract: In the first part we show a counterexample to a conjecture by Shelah regarding the existence of indiscernible sequences in dependent theories (up to the first inaccessible cardinal). In the second part we discuss generic pairs, and give an example where the pair is not dependent. Then we define the notion of directionality which deals with counting the number of coheirs of a type and we give examp… ▽ More In the first part we show a counterexample to a conjecture by Shelah regarding the existence of indiscernible sequences in dependent theories (up to the first inaccessible cardinal). In the second part we discuss generic pairs, and give an example where the pair is not dependent. Then we define the notion of directionality which deals with counting the number of coheirs of a type and we give examples of the different possibilities. Then we discuss non-splintering, an interesting notion that appears in the work of Rami Grossberg, Andrés Villaveces and Monica VanDieren, and we show that it is not trivial (in the sense that it can be different than splitting) whenever the directionality of the theory is not small. In the appendix we study dense types in RCF. △ Less

Submitted 28 August, 2013; v1 submitted 27 September, 2010; originally announced September 2010.

MSC Class: 03C95; 03C45

Automorphism towers and automorphism groups of fields without Choice

Authors: Itay Kaplan, Saharon Shelah

Abstract: This paper can be viewed as a continuation of [KS09] that dealt with the automorphism tower problem without Choice. Here we deal with the inequation which connects the automorphism tower and the normalizer tower without Choice and introduce a new proof to a theorem of Fried and Kollár that any group can be represented as an automorphism group of a field. The proof uses a simple construction: worki… ▽ More This paper can be viewed as a continuation of [KS09] that dealt with the automorphism tower problem without Choice. Here we deal with the inequation which connects the automorphism tower and the normalizer tower without Choice and introduce a new proof to a theorem of Fried and Kollár that any group can be represented as an automorphism group of a field. The proof uses a simple construction: working more in graph theory, and less in algebra. △ Less

Submitted 17 November, 2011; v1 submitted 11 April, 2010; originally announced April 2010.

Forking in NTP_2 theories

Authors: Artem Chernikov, Itay Kaplan

Abstract: We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded non-forking assuming NTP_2. We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded non-forking assuming NTP_2. △ Less

Submitted 21 March, 2011; v1 submitted 15 June, 2009; originally announced June 2009.

Comments: 21 pages, presentation improved

MSC Class: 03CXX