Chains in the Rudin-Frolík order

Joanna Jureczko

DOI: https://doi.org/10.1515/ms-2024-0112

2024-12-08

Mathematica Slovaca

Abstract:The aim of this paper is to construct chains of length (2 κ ) + in the Rudin-Frolík order of β κ for every infinite κ .

mathematics

What problem does this paper attempt to address?

Chains in Rudin-Frolik order for regulars

Joanna Jureczko

2023-04-11

Abstract:The aim of this paper is to construct chains of length $(2^\kappa)^+$ in the sense of Rudin-Frolík order in $\beta \kappa$ for $\kappa$ regular.

Logic
Decreasing chains without lower bounds in Rudin-Frolík order for regulars

Joanna Jureczko

2023-03-28

Abstract:The aim of this paper is to prove that for there exist a chain in the Rudin-Frolík order of $\beta\kappa\setminus \kappa$ of length $\mu$ with $\kappa \leqslant \mu \leqslant 2^\kappa$ for regular $\kappa> \omega$ without a lower bound.

Logic
Surjectively rigid chains

Mayra Montalvo-Ballesteros John Truss

DOI: https://doi.org/10.48550/arXiv.1812.09155

2018-12-21

Abstract:We study rigidity properties of linearly ordered sets (chains) under automorphisms, order-embeddings, epimorphisms, and endomorphisms. We focus on two main cases, dense subchains of the real numbers, and uncountable dense chains of higher (regular) cardinalities. We also give a Fraenkel-Mostowski model which illustrates the role of the axiom of choice in one of the key proofs.

Logic
A note on special subsets of the Rudin-Frolík order for regulars

Joanna Jureczko

2023-03-28

Abstract:We show that there is a set of $2^{2^{\kappa}}$ ultrafilters incomparable in Rudin-Frolík order of $\beta \kappa \setminus \kappa$, where $\kappa$ is regular, for which no subset with more than one element has an infimum.

Logic
On Maximum Chains in the Bruhat Order of A(n,2)

Mohammad Ghebleh

DOI: https://doi.org/10.1016/j.laa.2014.01.002

2024-01-27

Abstract:Let $\mathcal{A}(R,S)$ denote the class of all matrices of zeros and ones with row sum vector $R$ and column sum vector~$S$. We introduce the notion of an inversion in a $(0,1)$--matrix. This definition extends the standard notion of an inversion of a permutation, in the sense that both notions agree on the class of permutation matrices. We prove that the number of inversions in a $(0,1)$--matrix is monotonic with respect to the secondary Bruhat order of the class $\mathcal{A}(R,S)$. We apply this result in establishing the maximum length of a chain in the Bruhat order of the class $\mathcal{A}(n,2)$ of $(0,1)$--matrices of order $n$ in which every row and every column has a sum of~$2$. We give algorithmic constructions of chains of maximum length in the Bruhat order of $\mathcal{A}(n,2)$.

Combinatorics
Chains and antichains in the Weihrauch lattice

Steffen Lempp,Alberto Marcone,Manlio Valenti

2024-11-12

Abstract:We study the existence and the distribution of "long" chains in the Weihrauch degrees, mostly focusing on chains with uncountable cofinality. We characterize when such chains have an upper bound and prove that there are no cofinal chains (of any order type) in the Weihrauch degrees. Furthermore, we show that the existence of coinitial sequences of non-zero degrees is equivalent to $\mathrm{CH}$. Finally, we explore the extendibility of antichains, providing some necessary conditions for maximality.

Logic
Ultrafilters without immediate predecessors in Rudin-Frolik order for regulars

Joanna Jureczko

2023-03-28

Abstract:The aim of this paper is to construct ultrafilters without immediate predecessors in the Rudin-Frolik order in $\beta \kappa\setminus \kappa$, where $\kappa$ is a regular cardinal. This generalizes the problem posed by Peter Simon more than 40 years ago.

Logic
On Bruen chains

John Bamberg,Jesse Lansdown,Geertrui Van de Voorde

2023-05-02

Abstract:It is known that a Bruen chain of the three-dimensional projective space $\mathrm{PG}(3,q)$ exists for every odd prime power $q$ at most $37$, except for $q=29$. It was shown by Cardinali et. al (2005) that Bruen chains do not exist for $41\le q\leq 49$. We develop a model, based on finite fields, which allows us to extend this result to $41\leqslant q \leqslant 97$, thereby adding more evidence to the conjecture that Bruen chains do not exist for $q>37$. Furthermore, we show that Bruen chains can be realised precisely as the $(q+1)/2$-cliques of a two related, yet distinct, undirected simple graphs.

Combinatorics
Tracking chains revisited

Gunnar Wilken

DOI: https://doi.org/10.1142/9789813223523_0008

2017-10-05

Abstract:The structure ${\cal C}_2:=(1^\infty,\le,\le_1,\le_2)$, introduced and first analyzed in Carlson and Wilken 2012 (APAL), is shown to be elementary recursive. Here, $1^\infty$ denotes the proof-theoretic ordinal of the fragment $\Pi^1_1$-$\mathrm{CA}_0$ of second order number theory, or equivalently the set theory $\mathrm{KPl}_0$, which axiomatizes limits of models of Kripke-Platek set theory with infinity. The partial orderings $\le_1$ and $\le_2$ denote the relations of $\Sigma_1$- and $\Sigma_2$-elementary substructure, respectively. In a subsequent article we will show that the structure ${\cal C}_2$ comprises the core of the structure ${\cal R}_2$ of pure elementary patterns of resemblance of order $2$. In Carlson and Wilken 2012 (APAL) the stage has been set by showing that the least ordinal containing a cover of each pure pattern of order $2$ is $1^\infty$. However, it is not obvious from Carlson and Wilken 2012 (APAL) that ${\cal C}_2$ is an elementary recursive structure. This is shown here through a considerable disentanglement in the description of connectivity components of $\le_1$ and $\le_2$. The key to and starting point of our analysis is the apparatus of ordinal arithmetic developed in Wilken 2007 (APAL) and in Section 5 of Carlson and Wilken 2012 (JSL), which was enhanced in Carlson and Wilken 2012 (APAL) specifically for the analysis of ${\cal C}_2$.

Logic
Extremal Kirchhoff index in polycyclic chains

Hechao Liu,Lihua You

DOI: https://doi.org/10.1016/j.dam.2024.01.046

IF: 1.254

2024-05-01

Discrete Applied Mathematics

Abstract:The Kirchhoff index of a graph G is defined as K f ( G ) = ∑ { u , v } ⊆ V ( G ) Ω G ( u , v ) , where Ω G ( u , v ) denotes the resistance distance between u and v in G . In this paper, we determine the maximum (resp. minimum) k -polycyclic chains with respect to Kirchhoff index for k ≥ 5 , which extends the results of Yang and Klein (2014), Yang and Sun (2022), Sun and Yang (2023) and Ma (2022).

mathematics, applied
On addition chains and progress on the Scholz conjecture

Theophilus Agama

2024-07-24

Abstract:In this paper, we develop some new classes of methods to study the Scholz conjecture on addition chains. It turns out that the exponents of numbers of the form $2^n-1$ largely determine the length of the shortest addition chain for number producing $2^n-1$. Exploiting the notion of carries, we obtain improved upper bounds for the length of the shortest addition chains $\iota(2^n-1)$ producing $2^n-1$. Most notably, we show that if $2^n-1$ has carries of degree at most $$\kappa(2^n-1)=\frac{1}{2}(\iota(n)-\lfloor \frac{\log n}{\log 2}\rfloor+\sum \limits_{j=1}^{\lfloor \frac{\log n}{\log 2}\rfloor}\{\frac{n}{2^j}\})$$ then the inequality $$\iota(2^n-1)\leq n+1+\sum \limits_{j=1}^{\lfloor \frac{\log n}{\log 2}\rfloor}\bigg(\{\frac{n}{2^j}\}-\xi(n,j)\bigg)+\iota(n)$$ holds for all $n\in \mathbb{N}$ with $n\geq 4$, where $\iota(\cdot)$ denotes the length of the shortest addition chain producing $\cdot$, $\{\cdot\}$ denotes the fractional part of $\cdot$ and where $\xi(n,1):=\{\frac{n}{2}\}$ with $\xi(n,2)=\{\frac{1}{2}\lfloor \frac{n}{2}\rfloor\}$ and so on.

General Mathematics
The chain algebra of a pure poset

Dancheng Lu

2024-10-23

Abstract:We extend the chain algebra, originally defined in \cite{GN} for finite distributive lattices to that of finite pure posets. We show this algebra corresponds to the Ehrhart ring of a (0,1)-polytope, termed the chain polytope, and characterize the indecomposability of this polytope. Furthermore, we prove the normality of the chain algebra, describe its canonical module, and extend one of main results from \cite{GN} by computing its Krull dimension. For width-2 pure posets, we determine the algebra's regularity and conditions for it to be Gorenstein or nearly Gorenstein.

Combinatorics,Commutative Algebra
On Relative Ranks of the Semigroup of Orientation-Preserving Transformations on Infinite Chains

Ilinka Dimitrova,Jörg Koppitz

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

2020-11-21

Abstract:Asian-European Journal of Mathematics, Ahead of Print. In this paper, we determine the relative rank of the semigroup [math] of all orientation-preserving transformations on infinite chains modulo the semigroup [math] of all order-preserving transformations.
A real chain condition for groups

Ulderico Dardano,Fausto De Mari

2023-07-15

Abstract:We consider a very weak chain condition for a poset, that is the absence of subsets which are order isomorphic to the set of real numbers in their natural ordering; we study generalised radical groups in which this finiteness condition is set on the poset of subgroups which do not have certain properties which are generalizations of normality. This completes many previous results which considered (apparently) stronger chain conditions.

Group Theory
Chains, Koch Chains, and Point Sets with many Triangulations

Daniel Rutschmann,Manuel Wettstein

DOI: https://doi.org/10.48550/arXiv.2203.07584

2023-03-22

Abstract:We introduce the abstract notion of a chain, which is a sequence of $n$ points in the plane, ordered by $x$-coordinates, so that the edge between any two consecutive points is unavoidable as far as triangulations are concerned. A general theory of the structural properties of chains is developed, alongside a general understanding of their number of triangulations. We also describe an intriguing new and concrete configuration, which we call the Koch chain due to its similarities to the Koch curve. A specific construction based on Koch chains is then shown to have $\Omega(9.08^n)$ triangulations. This is a significant improvement over the previous and long-standing lower bound of $\Omega(8.65^n)$ for the maximum number of triangulations of planar point sets.

Computational Geometry
Kirchhoff index, multiplicative degree-Kirchhoff index and spanning trees of the linear crossed polyomino chains

Yingui Pan,Jianping Li

DOI: https://doi.org/10.48550/arXiv.1905.06565

2019-05-16

Combinatorics

Abstract:Let $G_n$ be a linear crossed polyomino chain with $n$ four-order complete graphs. In this paper, explicit formulas for the Kirchhoff index, the multiplicative degree-Kirchhoff index and the number of spanning trees of $G_n$ are determined, respectively. It is interesting to find that the Kirchhoff (resp. multiplicative degree-Kirchhoff) index of $G_n$ is approximately one quarter of its Wiener (resp. Gutman) index. More generally, let $\mathcal{G}^r_n$ be the set of subgraphs obtained by deleting $r$ vertical edges of $G_n$, where $0\leqslant r\leqslant n+1$. For any graph $G^r_n\in \mathcal{G}^r_{n}$, its Kirchhoff index and number of spanning trees are completely determined, respectively. Finally, we show that the Kirchhoff index of $G^r_n$ is approximately one quarter of its Wiener index.
Maximal chains in lattices from graph associahedra: Tamari to the weak order

Samantha Dahlberg,Susanna Fishel

2024-09-21

Abstract:In this paper, we study the maximal chains of lattices which generalizes both the weak order and the Tamari lattice: certain lattices of maximal tubings. A maximal tubing poset $\mathfrak{L}(G)$ is defined for any graph $G$, but for the graphs we consider in this paper, the poset is a lattice. Just as the weak order is an orientation of the $1$-skeleton of the permutahedron and the Tamari of the associahedron, each tubing lattice is an orientation of the $1$-skeleton of a graph associahedron. The partial order on $\mathfrak{L}(G)$ is given by a projection from $\mathfrak{S}_n$ to $\mathfrak{L}(G)$. In particular, when the graph is the complete graph, the graph associahedron is the the permutahedron, and when it is the path graph, it is the Stasheff associahedron. Our main results are for lollipop graphs, graphs that ``interpolate'' between the path and the complete graphs. For lollipop graphs, the lattices consist of permutations which satisfy a generalization of $312$-avoiding. The maximum length chains correspond to partially shiftable tableaux under the Edelman-Greene's Coxeter-Knuth bijection. We also consider functions defined analogously to Stanley's symmetric function for the maximum length chains and find their expansion in terms of Young quasisymmetric Schur functions.

Combinatorics
Independent sets in chain cacti

Jelena Sedlar

DOI: https://doi.org/10.48550/arXiv.1105.1940

2011-05-10

Abstract:In this paper chain cacti are considered. First, for two specific classes of chain cacti (orto-chains and meta-chains of cycles with h vertices) the recurrence relation for independence polynomial is derived. That recurrence relation is then used in deriving explicit expressions for independence number and number of maximum independent sets for such chains. Also, the recurrence relation for total number of independent sets for such graphs is derived. Finaly, the proof is provided that orto-chains and meta-chains are the only extremal chain cacti with respect to total number of independent sets (orto-chains minimal and meta-chains maximal).

Combinatorics
On minimal non-$σ$-scattered linear orders

Todd Eisworth,James Cummings,Justin Tatch Moore

2023-11-06

Abstract: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 Countryman line, answering a question of Baumgartner. We also produce the first consistent examples of minimal non-$\sigma$-scattered linear orders of cardinality greater than $\aleph_1$, as given a successor cardinal $\kappa^+$, we obtain such linear orderings of cardinality $\kappa^+$ with the additional property that their square is the union of $\kappa$-many chains. We give two constructions: directly building such examples using forcing, and also deriving their existence from combinatorial principles. The latter approach shows that such minimal non-$\sigma$-scattered linear orders of cardinality $\kappa^+$ exist for every cardinal $\kappa$ in Gödel's constructible universe, and also (using work of Rinot) that examples must exist at successors of singular strong limit cardinals in the absence of inner models satisfying the existence of a measurable cardinal $\mu$ of Mitchell order $\mu^{++}$.

Logic
The structure of interval orders with no infinite antichain

Maurice Pouzet,Imed Zaguia

2024-11-11

Abstract:We prove that every interval order $P$ with no infinite antichain has a Gallai decomposition. That is, $P$ is a lexicographical sum of proper interval orders over a chain, an antichain or a prime interval order. This is a consequence of the fact that the tree decomposition of a graph into robust modules, as introduced by Courcelle and Delhommé (Theoretical Computer Science \textbf{394} (2008) 1--38), is chain finite whenever the graph has no infinite independent sets. Next, we prove that every prime interval order with no infinite antichain is at most countable and scattered. Furthermore, for each countable ordinal $\alpha$ we exhibit an example of a well-quasi-ordered prime interval order $P_\alpha$ whose chain of maximal antichains has Hausdorff rank $\alpha$.

Combinatorics

Chains in the Rudin-Frolík order

Chains in Rudin-Frolik order for regulars

Decreasing chains without lower bounds in Rudin-Frolík order for regulars

Surjectively rigid chains

A note on special subsets of the Rudin-Frolík order for regulars

On Maximum Chains in the Bruhat Order of A(n,2)

Chains and antichains in the Weihrauch lattice

Ultrafilters without immediate predecessors in Rudin-Frolik order for regulars

On Bruen chains

Tracking chains revisited

Extremal Kirchhoff index in polycyclic chains

On addition chains and progress on the Scholz conjecture

The chain algebra of a pure poset

On Relative Ranks of the Semigroup of Orientation-Preserving Transformations on Infinite Chains

A real chain condition for groups

Chains, Koch Chains, and Point Sets with many Triangulations

Kirchhoff index, multiplicative degree-Kirchhoff index and spanning trees of the linear crossed polyomino chains

Maximal chains in lattices from graph associahedra: Tamari to the weak order

Independent sets in chain cacti

On minimal non-$σ$-scattered linear orders

The structure of interval orders with no infinite antichain