Abstract A classical parking function of lengthnis a list of positive integers$$(a_1, a_2, \ldots , a_n)$$ whose nondecreasing rearrangement$$b_1 \le b_2 \le \cdots \le b_n$$ satisfies$$b_i \le i$$ . The convex hull of all parking functions of lengthnis ann-dimensional polytope in$${\mathbb {R}}^n$$ , which we refer to as the classical parking function polytope. Its geometric properties have been explored in Amanbayeva and Wang (Enumer Combin Appl 2(2):Paper No. S2R10, 10, 2022) in response to a question posed by Stanley (Amer Math Mon 127(6):563–571, 2020). We generalize this family of polytopes by studying the geometric properties of the convex hull of$${\textbf{x}}$$ -parking functions for$${\textbf{x}}=(a,b,\dots ,b)$$ , which we refer to as$${\textbf{x}}$$ -parking function polytopes. We explore connections between these$${\textbf{x}}$$ -parking function polytopes, the Pitman–Stanley polytope, and the partial permutahedra of Heuer and Striker (SIAM J Discrete Math 36(4):2863–2888, 2022). In particular, we establish a closed-form expression for the volume of$${\textbf{x}}$$ -parking function polytopes. This allows us to answer a conjecture of Behrend et al. (2022) and also obtain a new closed-form expression for the volume of the convex hull of classical parking functions as a corollary.
more »
« less
Open, Closed, and Non-Degenerate Embedding Dimensions of Neural Codes
Abstract We study the open, closed, and non-degenerate embedding dimensions of neural codes, which are the smallest respective dimensions in which one can find a realization of a code consisting of convex sets that are open, closed, or non-degenerate in a sense defined by Cruz, Giusti, Itskov, and Kronholm. For a given code$$\mathcal {C}$$ we define the embedding dimension vector to be the triple (a, b, c) consisting of these embedding dimensions. Existing results guarantee that$$\max {\{a,b\}}\le c$$ , and we show that when any of these dimensions is at least 2 this is the only restriction on such vectors. Specifically, for every triple (a, b, c) with$$2\le \min {\{a,b\}}$$ and$$\max {\{a,b\}}\le c\le \infty $$ we construct a code$$\mathcal {C}_{(a,b,c)}$$ whose embedding dimension vector is exactly (a, b, c) (where an embedding dimension is$$\infty $$ if there is no realization of the corresponding type). Our constructions combine two existing tools in the convex neural codes literature: sunflowers of convex open sets, and rigid structures, the latter of which was recently defined in work of Chan, Johnston, Lent, Ruys de Perez, and Shiu. Our constructions provide the first examples of codes whose closed embedding dimension is larger than their open embedding dimension, but still finite.
more »
« less
- Award ID(s):
- 2103206
- PAR ID:
- 10542976
- Publisher / Repository:
- Springer
- Date Published:
- Journal Name:
- Discrete & Computational Geometry
- Volume:
- 71
- Issue:
- 2
- ISSN:
- 0179-5376
- Page Range / eLocation ID:
- 764 to 786
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Given$$g \in \mathbb N \cup \{0, \infty \}$$ , let$$\Sigma _g$$ denote the closed surface of genusgwith a Cantor set removed, if$$g<\infty $$ ; or the blooming Cantor tree, when$$g= \infty $$ . We construct a family$$\mathfrak B(H)$$ of subgroups of$${{\,\textrm{Map}\,}}(\Sigma _g)$$ whose elements preserve ablock decompositionof$$\Sigma _g$$ , andeventually like actlike an element ofH, whereHis a prescribed subgroup of the mapping class group of the block. The group$$\mathfrak B(H)$$ surjects onto an appropriate symmetric Thompson group of Farley–Hughes; in particular, it answers positively. Our main result asserts that$$\mathfrak B(H)$$ is of type$$F_n$$ if and only ifHis. As a consequence, for every$$g\in \mathbb N \cup \{0, \infty \}$$ and every$$n\ge 1$$ , we construct a subgroup$$G <{{\,\textrm{Map}\,}}(\Sigma _g)$$ that is of type$$F_n$$ but not of type$$F_{n+1}$$ , and which contains the mapping class group of every compact surface of genus$$\le g$$ and with non-empty boundary.more » « less
-
Abstract We introduce partitioned matching games as a suitable model for international kidney exchange programmes, where in each round the total number of available kidney transplants needs to be distributed amongst the participating countries in a “fair” way. A partitioned matching game (N, v) is defined on a graph$$G=(V,E)$$ with an edge weightingwand a partition$$V=V_1 \cup \dots \cup V_n$$ . The player set is$$N = \{ 1, \dots , n\}$$ , and player$$p \in N$$ owns the vertices in$$V_p$$ . The valuev(S) of a coalition $$S \subseteq N$$ is the maximum weight of a matching in the subgraph ofGinduced by the vertices owned by the players in S. If$$|V_p|=1$$ for all$$p\in N$$ , then we obtain the classical matching game. Let$$c=\max \{|V_p| \; |\; 1\le p\le n\}$$ be the width of (N, v). We prove that checking core non-emptiness is polynomial-time solvable if$$c\le 2$$ but co--hard if$$c\le 3$$ . We do this via pinpointing a relationship with the known class ofb-matching games and completing the complexity classification on testing core non-emptiness forb-matching games. With respect to our application, we prove a number of complexity results on choosing, out of possibly many optimal solutions, one that leads to a kidney transplant distribution that is as close as possible to some prescribed fair distribution.more » « less
-
Abstract We define the half-volume spectrum$$\{{\tilde{\omega }_p\}_{p\in \mathbb {N}}}$$ of a closed manifold$$(M^{n+1},g)$$ . This is analogous to the usual volume spectrum ofM, except that we restrict top-sweepouts whose slices each enclose half the volume ofM. We prove that the Weyl law continues to hold for the half-volume spectrum. We define an analogous half-volume spectrum$$\tilde{c}(p)$$ in the phase transition setting. Moreover, for$$3 \le n+1 \le 7$$ , we use the Allen–Cahn min-max theory to show that each$$\tilde{c}(p)$$ is achieved by a constant mean curvature surface enclosing half the volume ofMplus a (possibly empty) collection of minimal surfaces with even multiplicities.more » « less
-
Abstract Let$$f$$ be an analytic polynomial of degree at most$$K-1$$ . A classical inequality of Bernstein compares the supremum norm of$$f$$ over the unit circle to its supremum norm over the sampling set of the$$K$$ -th roots of unity. Many extensions of this inequality exist, often understood under the umbrella of Marcinkiewicz–Zygmund-type inequalities for$$L^{p},1\le p\leq \infty $$ norms. We study dimension-free extensions of these discretization inequalities in the high-dimension regime, where existing results construct sampling sets with cardinality growing with the total degree of the polynomial. In this work we show that dimension-free discretizations are possible with sampling sets whose cardinality is independent of$$\deg (f)$$ and is instead governed by the maximumindividualdegree of$$f$$ ;i.e., the largest degree of$$f$$ when viewed as a univariate polynomial in any coordinate. For example, we find that for$$n$$ -variate analytic polynomials$$f$$ of degree at most$$d$$ and individual degree at most$$K-1$$ ,$$\|f\|_{L^{\infty }(\mathbf{D}^{n})}\leq C(X)^{d}\|f\|_{L^{\infty }(X^{n})}$$ for any fixed$$X$$ in the unit disc$$\mathbf{D}$$ with$$|X|=K$$ . The dependence on$$d$$ in the constant is tight for such small sampling sets, which arise naturally for example when studying polynomials of bounded degree coming from functions on products of cyclic groups. As an application we obtain a proof of the cyclic group Bohnenblust–Hille inequality with an explicit constant$$\mathcal{O}(\log K)^{2d}$$ .more » « less
An official website of the United States government

