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 (April 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. 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
3. Calderón–Zygmund theory for strongly coupled linear system of nonlocal equations with Hölder-regular coefficient

   https://doi.org/10.1515/acv-2024-0005  

   Mengesha, Tadele; Schikorra, Armin; Seesanea, Adisak; Yeepo, Sasikarn (November 2024, Advances in Calculus of Variations)

   Abstract We extend the Calderón–Zygmund theory for nonlocal equations tostrongly coupled system of linear nonlocal equations ${\mathcal{ℒ}}_A^{s}u=f${\mathcal{L}^{s}_{A}u=f}, where the operator ${\mathcal{ℒ}}_A^s${\mathcal{L}^{s}_{A}}is formally given by ${\mathcal{ℒ}}_A^{s}u={\int }_{{ℝ}^n}\frac{A(x,y)}{{\left|x-y\right|}^{n+2s}}\frac{\left(x-y\right)\otimes \left(x-y\right)}{{\left|x-y\right|}^2}\left(u\left(x\right)-u\left(y\right)\right)𝑑y.$\mathcal{L}^{s}_{A}u=\int_{\mathbb{R}^{n}}\frac{A(x,y)}{|x-y|^{n+2s}}\frac{(x-%y)\otimes(x-y)}{|x-y|^{2}}(u(x)-u(y))\,dy. For $0<s<1${0<1}and $A:{ℝ}^n\times {ℝ}^n\to ℝ${A:\mathbb{R}^{n}\times\mathbb{R}^{n}\to\mathbb{R}}taken to be symmetric and serving asa variable coefficient for the operator, the system under consideration is the fractional version of the classical Navier–Lamé linearized elasticity system. The study of the coupled system of nonlocal equations is motivated by its appearance in nonlocal mechanics, primarily in peridynamics. Our regularity result states that if $A(\cdot ,y)${A(\,\cdot\,,y)}is uniformly Holder continuous and ${inf}_{x\in {ℝ}^n}A(x,x)>0${\inf_{x\in\mathbb{R}^{n}}A(x,x)>0}, then for $f\in L_{\mathrm{loc}}^p${f\in L^{p}_{\rm loc}}, for $p\ge 2${p\geq 2}, the solution vector $u\in H_{\mathrm{loc}}^{2s-\delta ,p}${u\in H^{2s-\delta,p}_{\rm loc}}for some $\delta \in (0,s)${\delta\in(0,s)}. 

   more » « less
4. Negative moments of the Riemann zeta-function

   https://doi.org/10.1515/crelle-2023-0091  

   Bui, Hung M; Florea, Alexandra (January 2024, Journal für die reine und angewandte Mathematik (Crelles Journal))

   Abstract Assuming the Riemann Hypothesis, we study negative moments of the Riemann zeta-function and obtain asymptotic formulas in certain ranges of the shift in $\zeta \left(s\right)${\zeta(s)}. For example, integrating ${\left|\zeta \left(\frac{1}{2}+\alpha +it\right)\right|}^{-2k}${|\zeta(\frac{1}{2}+\alpha+it)|^{-2k}}with respect totfromTto $2T${2T}, we obtain an asymptotic formula when the shift α is roughly bigger than $\frac{1}{\log T}${\frac{1}{\log T}}and $k<\frac{1}{2}${k<\frac{1}{2}}. We also obtain non-trivial upper bounds for much smaller shifts, as long as $\log \frac{1}{\alpha }\ll \log \log T${\log\frac{1}{\alpha}\ll\log\log T}. This provides partial progress towards a conjecture of Gonek on negative moments of the Riemann zeta-function, and settles the conjecture in certain ranges. As an application, we also obtain an upper bound for the average of the generalized Möbius function. 

   more » « less
5. On a Traveling Salesman Problem for Points in the Unit Cube

   https://doi.org/10.1007/s00453-024-01257-w  

   Balogh, József; Clemen, Felix Christian; Dumitrescu, Adrian (September 2024, Algorithmica)

   Abstract LetXbe ann-element point set in thek-dimensional unit cube$$[0,1]^k$$ ${[0,1]}^k$where$$k \ge 2$$ $k\ge 2$. According to an old result of Bollobás and Meir (Oper Res Lett 11:19–21, 1992) , there exists a cycle (tour)$$x_1, x_2, \ldots , x_n$$ $x_1,x_2,\dots ,x_n$through thenpoints, such that$$\left( \sum _{i=1}^n |x_i - x_{i+1}|^k \right) ^{1/k} \le c_k$$ ${\left({\sum }_{i=1}^n,{|x_i-x_{i+1}|}^k\right)}^{1/k}\le c_k$, where$$|x-y|$$ $|x-y|$is the Euclidean distance betweenxandy, and$$c_k$$ $c_k$is an absolute constant that depends only onk, where$$x_{n+1} \equiv x_1$$ $x_{n+1}\equiv x_1$. From the other direction, for every$$k \ge 2$$ $k\ge 2$and$$n \ge 2$$ $n\ge 2$, there existnpoints in$$[0,1]^k$$ ${[0,1]}^k$, such that their shortest tour satisfies$$\left( \sum _{i=1}^n |x_i - x_{i+1}|^k \right) ^{1/k} = 2^{1/k} \cdot \sqrt{k}$$ ${\left({\sum }_{i=1}^n,{|x_i-x_{i+1}|}^k\right)}^{1/k}=2^{1/k}·\sqrt{k}$. For the plane, the best constant is$$c_2=2$$ $c_2=2$and this is the only exact value known. Bollobás and Meir showed that one can take$$c_k = 9 \left( \frac{2}{3} \right) ^{1/k} \cdot \sqrt{k}$$ $c_k=9{\left(\frac{2}{3}\right)}^{1/k}·\sqrt{k}$for every$$k \ge 3$$ $k\ge 3$and conjectured that the best constant is$$c_k = 2^{1/k} \cdot \sqrt{k}$$ $c_k=2^{1/k}·\sqrt{k}$, for every$$k \ge 2$$ $k\ge 2$. Here we significantly improve the upper bound and show that one can take$$c_k = 3 \sqrt{5} \left( \frac{2}{3} \right) ^{1/k} \cdot \sqrt{k}$$ $c_k=3\sqrt{5}{\left(\frac{2}{3}\right)}^{1/k}·\sqrt{k}$or$$c_k = 2.91 \sqrt{k} \ (1+o_k(1))$$ $c_k=2.91\sqrt{k}(1+o_k\left(1\right))$. Our bounds are constructive. We also show that$$c_3 \ge 2^{7/6}$$ $c_3\ge 2^{7/6}$, which disproves the conjecture for$$k=3$$ $k=3$. Connections to matching problems, power assignment problems, related problems, including algorithms, are discussed in this context. A slightly revised version of the Bollobás–Meir conjecture is proposed. 

   more » « less