Concentrated sets and $γ$-sets in the Miller model

Valentin Haberl,Piotr Szewczak,Lyubomyr Zdomskyy

2024-06-21

Abstract:Using combinatorial covering properties, we show that there is no concentrated set of reals of size $\omega_2$ in the Miller model. The main result refutes a conjecture of Bartoszyński and Halbeisen. We also prove that there are no $\gamma$-set of reals of size $\omega_2$ in the Miller model.

General Topology

What problem does this paper attempt to address?

Conjugacy in Miller's Groups

Conan Gillis

DOI: https://doi.org/10.1142/S0218196724500346

2024-10-11

Abstract:In 1971 C.F.\ Miller associated to every finitely presented group $G$ a free-by-free group $M(G)$ known as the Miller Machine, whose conjugacy problem is closely related to the conjugacy and word problems of $G$. We quantify this relationship, and look to fully understand the conjugacy problem of $M(G)$; namely, we reduce the conjugacy problem in $M(G)$ to a strong form of list conjugacy in $G$, which we term iso-computational list conjugacy. As an application, we show that if $G$ is finite, the conjugacy problem for $M(G)$ is in $\mathsf{PSPACE}$.

Group Theory
Small Hurewicz and Menger sets which have large continuous images

Piotr Szewczak,Tomasz Weiss,Lyubomyr Zdomskyy

2024-06-18

Abstract:We provide new techniques to construct sets of reals without perfect subsets and with the Hurewicz or Menger covering properties. In particular, we show that if the Continuum Hypothesis holds, then there are such sets which can be mapped continuously onto the Cantor space. These results allow to separate the properties of Menger and $\mathsf{S}_1(\Gamma,\mathrm{O})$ in the realm of sets of reals without perfect subsets and solve a problem of Nowik and Tsaban concerning perfectly meager subsets in the transitive sense. We present also some other applications of the mentioned above methods.

General Topology
On the number of sets with small sumset

Dingyuan Liu,Letícia Mattos,Tibor Szabó

2024-07-05

Abstract:We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and $|A + A| \leq m$ is at most \[2^{o(s)}\binom{\frac{m+\beta}{2}}{s},\] where $\beta$ is the size of the largest subgroup of $G$ of size at most $\left(1+o(1)\right)m$. This bound is sharp for $\mathbb{Z}$ and many other groups. Our result improves the one of Campos and nearly bridges the remaining gap in a conjecture of Alon, Balogh, Morris, and Samotij. We also explore the behaviour of uniformly chosen random sets $A \subseteq \{1,\ldots,n\}$ with $|A| = s$ and $|A + A| \leq m$. Under the same assumption that $m \ll s^2/(\log n)^2$, we show that with high probability there exists an arithmetic progression $P \subseteq \mathbb{Z}$ of size at most $m/2 + o(m)$ containing all but $o(s)$ elements of $A$. Analogous results are obtained for asymmetric sumsets, improving results by Campos, Coulson, Serra, and Wötzel. The main tool behind our proofs is a graph container theorem combined with a variant of an asymmetric hypergraph container theorem.

Combinatorics,Number Theory
On ideals related to Laver and Miller trees

Aleksander Cieślak,Arturo Martínez-Celis

2024-05-22

Abstract:In this work we consider the ideals $m^0(\mathcal{I})$ and $\ell^0(\mathcal{I})$, ideals generated by the $\mathcal{I}$-positive Miller trees and $\mathcal{I}$-positive Laver trees, respectively. We investigate in which cases these ideals have cofinality larger than $\mathfrak{c}$ and we calculate some cardinal invariants closely related to these ideals.

Logic
Generalized Silver and Miller measurability

Giorgio Laguzzi

DOI: https://doi.org/10.1002/malq.201400020

2020-08-07

Abstract:We present some results about the burgeoning research area concerning set theory of the kappa-reals. We focus on some notions of measurability coming from generalizations of Silver and Miller trees. We present analogies and mostly differences from the classical setting.

Logic
On Generalized Wilf Conjectures

Mahir Bilen Can,Naufil Sakran

2023-06-09

Abstract:We investigate complement-finite submonoids of the monoid of nonnegative integer points of a unipotent linear algebraic group $G$. These monoids are in general noncommutative but they specialize to the generalized numerical monoids of Cistco et al. We show that every unipotent numerical monoid has a unique finite minimal generating set. We propose a generalization of the Wilf conjecture in our setting. We contrast our Wilf conjecture against the Generalized Wilf Conjecture. Then we isolate two new families of unipotent numerical monoids called the {\em thick} and the {\em thin} unipotent numerical monoids. We prove that our Wilf conjecture holds for every thick (commutative) unipotent numerical monoid. Under additional assumptions on the conductors, we prove that our Wilf conjecture holds for every thin (commutative) unipotent numerical monoid.

Group Theory,Algebraic Geometry,Combinatorics
The 0-concordance monoid admits an infinite linearly independent set

Irving Dai,Maggie Miller

2023-09-04

Abstract:Under the relation of $0$-concordance, the set of knotted 2-spheres in $S^4$ forms a commutative monoid $\mathcal{M}_0$ with the operation of connected sum. Sunukjian has recently shown that $\mathcal{M}_0$ contains a submonoid isomorphic to $\mathbb{Z}^{\ge 0}$. In this note, we show that $\mathcal{M}_0$ contains a submonoid isomorphic to $(\mathbb{Z}^{\ge 0})^\infty$. Our argument relates the $0$-concordance monoid to linear independence of certain Seifert solids in the (spin) rational homology cobordism group.

Geometric Topology
On dynamical $C^{\star}$-set and its combinatorial consequences

Pintu Debnath,Sayan Goswami

2024-10-24

Abstract:Using the methods from topological dynamics, H. Furstenberg introduced the notion of a central set and proved the famous Central Sets Theorem. Later D. De, Neil Hindman, and D. Strauss [Fund. Math.199 (2008), 155-175.] established a stronger version of the Central Sets Theorem and then introduced the notion of $C$-sets satisfying the Central Sets Theorem and studied the properties of these sets. For any weak mixing system $\left(X, \mathcal{B},\mu, T\right),$ and $A_{0},A_{1}\in\mathcal{B}$, with $\mu\left(A_{0}\right)\mu\left(A_{1}\right)>0$, R. Kung and <a class="link-external link-http" href="http://X.Ye" rel="external noopener nofollow">this http URL</a> [Disc. Cont. Dyn. sys., 18 (2007) 817-827.] proved that the set $N\left(A,B\right)= \left\{n:\mu\left(A_{0}\cap T^{-n}A_{1}\right)>0\right\}$ intersects all sets of positive upper Banach density. However, later N. Hindman and D. Strauss [New York J. Math. 26 (2020) 230-260.] proved that there exist $C$-sets having zero upper Banach density. Inspired by this result, in this article, we prove that $N\left(A, B \right)$ intersects with all $C$-sets. Then we introduce the notion of a dynamical $C^{\star}$-set and then we study their combinatorial properties.

Dynamical Systems,Combinatorics
Unreachability of $\bf{Γ_{2n+1,m}}$

Derek Levinson

2023-12-01

Abstract:We find bounds for the maximal length of a sequence of distinct $\bf{\Gamma_{2n+1,m}}$-sets under $AD$ and show there is no sequence of distinct $\bf{\Gamma_{2n+1}}$-sets of length $\bf{\delta^1_{2n+3}}$. As a special case, there is no sequence of distinct $\bf{\Gamma_{1,m}}$-sets of length $\aleph_{m+2}$. These are the optimal results for the pointclasses $\bf{\Gamma_{2n+1}}$ and $\bf{\Gamma_{1,m}}$.

Logic
Two conjectures on coarse conjugacy by Geller and Misiurewicz

Damian Sawicki

DOI: https://doi.org/10.3934/dcds.2024111

2024-09-11

Discrete and Continuous Dynamical Systems

Abstract:In their study of coarse entropy, W. Geller and M. Misiurewicz introduced the notion of coarse conjugacy: a version of conjugacy appropriate for dynamics on metric spaces observed from afar. They made two conjectures on coarse conjugacy generalising their results. We disprove both of these conjectures. We investigate the impact of extra assumptions on the validity of the conjectures: We show that the result of Geller and Misiurewicz towards one of the conjectures can be considered optimal, and we prove the other conjecture under an assumption complementary to that from the referenced work.

mathematics, applied
Restricted Sumsets and A Conjecture of Lev

Hao Pan,Zhi-Wei Sun

DOI: https://doi.org/10.1007/bf02773597

2006-01-01

Israel Journal of Mathematics

Abstract:LetA, B, S be finite subsets of an abelian groupG. Suppose that the restricted sumsetC={α+b: α ∈A, b ∈B, and α − b ∉S} is nonempty and somec∈C can be written asa+b witha∈A andb∈B in at mostm ways. We show that ifG is torsion-free or elementary abelian, then |C|≥|A|+|B|−|S|−m. We also prove that |C|≥|A|+|B|−2|S|−m if the torsion subgroup ofG is cyclic. In the caseS={0} this provides an advance on a conjecture of Lev.
Divsets, numerical semigroups and Wilf's conjecture

Shalom Eliahou

DOI: https://doi.org/10.1080/00927872.2024.2428807

2024-12-04

Communications in Algebra

Abstract:Let S⊆N be a numerical semigroup with multiplicity m=min(S∖{0}) and conductor c=max(Z∖S)+1 . Let P be the set of primitive elements, i.e. minimal generators, of S, and let L be the set of elements of S which are smaller than c. Wilf's conjecture (1978) states that the inequality |P||L|≥c must hold. The conjecture has been shown to hold in case |P|≥m/2 by Sammartano in 2012, and subsequently in case |P|≥m/3 by the author in 2020. The main result in this paper is that Wilf's conjecture holds in case |P|≥m/4 when m divides c. The proof uses divsets X, i.e. finite divisor-closed sets of monomials, as abstract models of numerical semigroups, and proceeds with estimates of the vertex-maximal matching number of the associated graph G(X) .

mathematics
On sets with missing differences in compact abelian groups

Pablo Candela,Fernando Chamizo,Antonio Córdoba

2024-09-15

Abstract:A much-studied problem posed by Motzkin asks to determine, given a finite set $D$ of integers, the so-called Motzkin density of $D$, i.e., the supremum of upper densities of sets of integers whose difference set avoids $D$. We study the natural analogue of this problem in compact abelian groups. Using ergodic-theoretic tools, this is shown to be equivalent to the following discrete problem: given a lattice $\Lambda\subset \mathbb{Z}^r$, letting $D$ be the image in $\mathbb{Z}^r/\Lambda$ of the standard basis, determine the Motzkin density of $D$ in $\mathbb{Z}^r/\Lambda$. We study in particular the periodicity question: is there a periodic $D$-avoiding set of maximal density in $\mathbb{Z}^r/\Lambda$? The Greenfeld--Tao counterexample to the periodic tiling conjecture implies that the answer can be negative. On the other hand, we prove that the answer is positive in several cases, including the case rank$(\Lambda)=1$ (in which we give a formula for the Motzkin density), the case rank$(\Lambda)=r-1$, and hence also the case $r\leq 3$. It follows that, for up to three missing differences, the Motzkin density in a compact abelian group is always a rational number.

Combinatorics,Number Theory
Median Sets of Isometries in CAT(0) Cube Complexes and Some Applications

Anthony Genevois

DOI: https://doi.org/10.1307/mmj/20195823

2021-01-01

Abstract:In this paper, we associate with isometries of CAT(0) cube complexes specific subspaces, referred to as median sets, which play a similar role as minimizing sets of semisimple isometries in CAT(0) spaces. Various applications are deduced, including a cubulation of centralizers, a splitting theorem, a proof that Dehn twists in mapping class groups must be elliptic for every action on a CAT(0) cube complex, a cubical version of the flat torus theorem, and a structural theorem about polycyclic groups acting on CAT(0) cube complexes.

mathematics
Coideals as remainders of groups distinguishing between combinatorial covering properties

Giovanni Molica Bisci,Dušan Repovš,Lyubomyr Zdomskyy

DOI: https://doi.org/10.1016/j.topol.2023.108725

2023-09-24

Abstract:In this paper we construct consistent examples of subgroups of $2^\omega$ with Menger remainders which fail to have other stronger combinatorial covering properties. This answers several open questions asked by Bella, Tokgoz and Zdomskyy (Arch. Math. Logic 55 (2016), 767-784).

Logic,General Topology
Height bounds and the Siegel property

Martin Orr

DOI: https://doi.org/10.2140/ant.2018.12.455

2023-07-19

Abstract:Let $\mathbf{G}$ be a reductive group defined over $\mathbb{Q}$ and let $\mathfrak{S}$ be a Siegel set in $\mathbf{G}(\mathbb{R})$. The Siegel property tells us that there are only finitely many $\gamma \in \mathbf{G}(\mathbb{Q})$ of bounded determinant and denominator for which the translate $\gamma.\mathfrak{S}$ intersects $\mathfrak{S}$. We prove a bound for the height of these $\gamma$ which is polynomial with respect to the determinant and denominator. The bound generalises a result of Habegger and Pila dealing with the case of $\mathbf{GL}_2$, and has applications to the Zilber--Pink conjecture on unlikely intersections in Shimura varieties. In addition we prove that if $\mathbf{H}$ is a subgroup of $\mathbf{G}$, then every Siegel set for $\mathbf{H}$ is contained in a finite union of $\mathbf{G}(\mathbb{Q})$-translates of a Siegel set for $\mathbf{G}$).

Number Theory
Simultaneous extension of the polynomial Central Sets Theorem and the polynomial Milliken-Taylor theorem

Sayan Goswami,Sourav Kanti Patra

2024-05-18

Abstract:In this article, we prove twofold polynomial extension of Beigelböck's \cite{b} multidimensional Central Sets Theorem (which was a common extension of Furstenberg's Central Sets Theorem, and Milliken-Taylor theorem). We also find the complete ultrafilter characterization of the multidimensional Central Sets Theorems. Then we prove twofold common extension of Bergelson, Hindman, and William's \cite{bhw} polynomial Milliken-Taylor theorem, and the multidimensional polynomial Central Sets Theorems. We also find a sufficient condition over two distinct multidimensional polynomials for which their Milliken-Taylor image lie in the same color. This result gives a partial polynomial extension of Deuber, Hindman, Leader, and Lefmann's \cite{d} result on the separating Milliken-Taylor system.

Combinatorics
On universal sets and sumsets

Ilya D. Shkredov

2024-04-02

Abstract:We study the concept of universal sets from the additive--combinatorial point of view. Among other results we obtain some applications of this type of uniformity to sets avoiding solutions to linear equations, and get an optimal upper bound for the covering number of general sumsets.

Combinatorics,Number Theory
Concentration for the zero set of large random polynomial systems

Eliran Subag

2024-05-18

Abstract:For random systems of $K$ polynomials in $N + 1$ real variables which include the models of Kostlan (1987) and Shub and Smale (1993), we prove that the number of zeros on the unit sphere for $K = N$ or the Hausdorff measure of the zero set for $K < N$ concentrates around its mean as $N\to\infty$. To prove concentration we show that the variance of the latter random variable normalized by its mean goes to zero. The polynomial systems we consider depend on a set of parameters which determine the variance of their Gaussian coefficients. We prove that the convergence is uniform in those parameters and $K$.

Probability

Concentrated sets and $γ$-sets in the Miller model

Conjugacy in Miller's Groups

Small Hurewicz and Menger sets which have large continuous images

On the number of sets with small sumset

On ideals related to Laver and Miller trees

Generalized Silver and Miller measurability

On Generalized Wilf Conjectures

The 0-concordance monoid admits an infinite linearly independent set

On dynamical $C^{\star}$-set and its combinatorial consequences

Unreachability of $\bf{Γ_{2n+1,m}}$

Two conjectures on coarse conjugacy by Geller and Misiurewicz

Restricted Sumsets and A Conjecture of Lev

Divsets, numerical semigroups and Wilf's conjecture

On sets with missing differences in compact abelian groups

Median Sets of Isometries in CAT(0) Cube Complexes and Some Applications

Coideals as remainders of groups distinguishing between combinatorial covering properties

Height bounds and the Siegel property

Simultaneous extension of the polynomial Central Sets Theorem and the polynomial Milliken-Taylor theorem

On universal sets and sumsets

Concentration for the zero set of large random polynomial systems