arrow
Return

VC-dimensions Between Partially Ordered Sets and Totally Ordered Sets

delete2026-01-22
delete0
PRE
AI
B
Boyan Duan
M
Minghui Ouyang *
Z
Zheng Wang
DOI:10.1007/s11083-025-09724-xdelete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
We say that two partial orders on [n]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{[n]}$$\end{document} are compatible if there exists a partial order that refines both of them. This compatibility relation induces a natural set system structure between the collection F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{\mathcal {F}}$$\end{document} of all partial orders and the collection G\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{\mathcal {G}}$$\end{document} of all total orders on [n]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{[n]}$$\end{document}, where each order is identified with the set of orders compatible with it. In this note, we determine the VC-dimension of F\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{\mathcal {F}}$$\end{document} with respect to G\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{\mathcal {G}}$$\end{document}, proving that VCG(F)=& LeftFloor;n24 & RightFloor;\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{VC}}_{\varvec{\mathcal {G}}(\mathcal {F}) = \lfloor \frac{n<^>2}{4}\rfloor }$$\end{document} for n >= 4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{n \geqslant 4}$$\end{document}. We also establish bounds on the dual VC-dimension, showing that 2(n-3)<= VCF(G)<= nlog2n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{2}\varvec{(n-3)} \leqslant {\varvec{VC}}_{\varvec{\mathcal {F}}}(\varvec{\mathcal {G}}) \leqslant n \log _2 \varvec{n}$$\end{document} for all n >= 1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varvec{n \geqslant 1}$$\end{document}.
Keywords:
Compatible posets
VC-dimension

Journal

O
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS
IF:
0.3
Papers:
25
Citations:
0

Organization

E
eth zurich
Scholars:
2.3K
Papers: 1.1K
Citations: 0
S
swiss federal institutes of technology domain
Scholars:
9.0W
Papers: 8.0W
Citations: 163