More Like this

1. VC-Dimension of Hyperplanes Over Finite Fields

   https://doi.org/10.1007/s00373-025-02909-6  

   Ascoli, Ruben; Betti, Livia; Cheigh, Justin; Iosevich, Alex; Jeong, Ryan; Liu, Xuyan; McDonald, Brian; Milgrim, Wyatt; Miller, Steven_J; Romero_Acosta, Francisco; et al (March 2025, Graphs and Combinatorics)

   Abstract Let$$\mathbb {F}_q^d$$ $F_q^d$be thed-dimensional vector space over the finite field withqelements. For a subset$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$and a fixed nonzero$$t\in \mathbb {F}_q$$ $t\in F_q$, let$$\mathcal {H}_t(E)=\{h_y: y\in E\}$$ $H_t\left(E\right)=\{h_y:y\in E\}$, where$$h_y:E\rightarrow \{0,1\}$$ $h_y:E\to \{0,1\}$is the indicator function of the set$$\{x\in E: x\cdot y=t\}$$ $\{x\in E:x·y=t\}$. Two of the authors, with Maxwell Sun, showed in the case$$d=3$$ $d=3$that if$$|E|\ge Cq^{\frac{11}{4}}$$ $\left|E\right|\ge C{q}^{\frac{11}{4}}$andqis sufficiently large, then the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$is 3. In this paper, we generalize the result to arbitrary dimension by showing that the VC-dimension of$$\mathcal {H}_t(E)$$ $H_t\left(E\right)$isdwhenever$$E\subseteq \mathbb {F}_q^d$$ $E\subseteq F_q^d$with$$|E|\ge C_d q^{d-\frac{1}{d-1}}$$ $\left|E\right|\ge C_d{q}^{d-\frac{1}{d-1}}$. 

   more » « less
2. Spherical convex hull of random points on a wedge

   https://doi.org/10.1007/s00208-023-02704-9  

   Besau, Florian; Gusakova, Anna; Reitzner, Matthias; Schütt, Carsten; Thäle, Christoph; Werner, Elisabeth_M (August 2023, Mathematische Annalen)

   Abstract Consider two half-spaces$$H_1^+$$ $H_1^{+}$and$$H_2^+$$ $H_2^{+}$in$${\mathbb {R}}^{d+1}$$ $R^{d+1}$whose bounding hyperplanes$$H_1$$ $H_1$and$$H_2$$ $H_2$are orthogonal and pass through the origin. The intersection$${\mathbb {S}}_{2,+}^d:={\mathbb {S}}^d\cap H_1^+\cap H_2^+$$ $S_{2,+}^d:=S^d\cap H_1^{+}\cap H_2^{+}$is a spherical convex subset of thed-dimensional unit sphere$${\mathbb {S}}^d$$ $S^d$, which contains a great subsphere of dimension$$d-2$$ $d-2$and is called a spherical wedge. Choosenindependent random points uniformly at random on$${\mathbb {S}}_{2,+}^d$$ $S_{2,+}^d$and consider the expected facet number of the spherical convex hull of these points. It is shown that, up to terms of lower order, this expectation grows like a constant multiple of$$\log n$$ $logn$. A similar behaviour is obtained for the expected facet number of a homogeneous Poisson point process on$${\mathbb {S}}_{2,+}^d$$ $S_{2,+}^d$. The result is compared to the corresponding behaviour of classical Euclidean random polytopes and of spherical random polytopes on a half-sphere. 

   more » « less
3. Connection probabilities of multiple FK-Ising interfaces

   https://doi.org/10.1007/s00440-024-01269-1  

   Feng, Yu; Peltola, Eveliina; Wu, Hao (June 2024, Probability Theory and Related Fields)

   Abstract We find the scaling limits of a general class of boundary-to-boundary connection probabilities and multiple interfaces in the critical planar FK-Ising model, thus verifying predictions from the physics literature. We also discuss conjectural formulas using Coulomb gas integrals for the corresponding quantities in general critical planar random-cluster models with cluster-weight$${q \in [1,4)}$$ $q\in [1,4)$. Thus far, proofs for convergence, including ours, rely on discrete complex analysis techniques and are beyond reach for other values ofqthan the FK-Ising model ($$q=2$$ $q=2$). Given the convergence of interfaces, the conjectural formulas for other values ofqcould be verified similarly with relatively minor technical work. The limit interfaces are variants of$$\text {SLE}_\kappa $$ ${\text{SLE}}_{\kappa }$curves (with$$\kappa = 16/3$$ $\kappa =16/3$for$$q=2$$ $q=2$). Their partition functions, that give the connection probabilities, also satisfy properties predicted for correlation functions in conformal field theory (CFT), expected to describe scaling limits of critical random-cluster models. We verify these properties for all$$q \in [1,4)$$ $q\in [1,4)$, thus providing further evidence of the expected CFT description of these models. 

   more » « less
4. Evaluation codes arising from symmetric polynomials

   https://doi.org/10.1007/s10623-025-01637-5  

   Gatti, Barbara; Korchmáros, Gábor; Nagy, Gábor P; Pallozzi_Lavorante, Vincenzo; Schulte, Gioia (May 2025, Designs, Codes and Cryptography)

   Abstract Datta and Johnsen (Des Codes Cryptogr 91:747–761, 2023) introduced a new family of evaluation codes in an affine space of dimension$$\ge 2$$ $\ge 2$over a finite field$${\mathbb {F}}_q$$ $F_q$where linear combinations of elementary symmetric polynomials are evaluated on the set of all points with pairwise distinct coordinates. In this paper, we propose a generalization by taking low dimensional linear systems of symmetric polynomials. Computation for small values of$$q=7,9$$ $q=7,9$shows that carefully chosen generalized Datta–Johnsen codes$$\left[ \frac{1}{2}q(q-1),3,d\right] $$ $\left(\frac{1}{2},q,(q-1),,,3,,,d\right)$have minimum distancedequal to the optimal value minus 1. 

   more » « less
5. An Allard-type boundary regularity theorem for $2d$ minimizing currents at smooth curves with arbitrary multiplicity

   https://doi.org/10.1007/s10240-024-00144-y  

   De Lellis, Camillo; Nardulli, Stefano; Steinbrüchel, Simone (February 2024, Publications mathématiques de l'IHÉS)

   Abstract We consider integral area-minimizing 2-dimensional currents$$T$$ $T$in$$U\subset \mathbf {R}^{2+n}$$ $U\subset R^{2+n}$with$$\partial T = Q\left [\!\![{\Gamma }\right ]\!\!]$$ $\partial T=Q〚\Gamma 〛$, where$$Q\in \mathbf {N} \setminus \{0\}$$ $Q\in N\setminus \left\{0\right\}$and$$\Gamma $$ $\Gamma$is sufficiently smooth. We prove that, if$$q\in \Gamma $$ $q\in \Gamma$is a point where the density of$$T$$ $T$is strictly below$$\frac{Q+1}{2}$$ $\frac{Q+1}{2}$, then the current is regular at$$q$$ $q$. The regularity is understood in the following sense: there is a neighborhood of$$q$$ $q$in which$$T$$ $T$consists of a finite number of regular minimal submanifolds meeting transversally at$$\Gamma $$ $\Gamma$(and counted with the appropriate integer multiplicity). In view of well-known examples, our result is optimal, and it is the first nontrivial generalization of a classical theorem of Allard for$$Q=1$$ $Q=1$. As a corollary, if$$\Omega \subset \mathbf {R}^{2+n}$$ $\Omega \subset R^{2+n}$is a bounded uniformly convex set and$$\Gamma \subset \partial \Omega $$ $\Gamma \subset \partial \Omega$a smooth 1-dimensional closed submanifold, then any area-minimizing current$$T$$ $T$with$$\partial T = Q \left [\!\![{\Gamma }\right ]\!\!]$$ $\partial T=Q〚\Gamma 〛$is regular in a neighborhood of $$\Gamma $$ $\Gamma$. 

   more » « less