Relocation without preference: A destination-agnostic Schelling-type metapopulation model

2026-04-27T20:59:51Z

In this work, we propose and analyze a novel Schelling-type metapopulation model that examines how random relocations of families between neighborhoods can lead to segregation. The model consists of a large number of houses organized into $N$ neighborhoods with $L$ houses each, without any spatial structure. Houses can be occupied by either a blue or a red family, and families relocate -- to an empty house selected uniformly at random -- at a rate that depends only on the number of families of the other type within the same neighborhood. We study two mean-field regimes: the large $N$ limit with fixed $L$, and the large $L$ limit with fixed $N$. The associated mean-field systems of ODEs are derived, and their long-time behavior is investigated. As is often the case with Schelling-type models, we find a rich interplay between the model parameters and the social structure of the equilibrium distribution, which exhibits segregation in some parameter ranges. Our work demonstrates that segregation patterns can emerge even when the relocation mechanism is destination-agnostic.

Fun With Fourier Series

2026-04-27T19:06:44Z

By using computers to do experimental manipulations on Fourier series, we construct additional series with interesting properties. We construct several series whose sums remain unchanged when the $n^{th}$ term is multiplied by $\sin(n)/n$. One example is this classic series for $π/4$: \[ \fracπ{4} = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \dots = 1 \cdot \frac{\sin(1)}{1} - \frac{1}{3} \cdot \frac{\sin(3)}{3} + \frac{1}{5} \cdot \frac{\sin(5)}{5} - \frac{1}{7} \cdot \frac{\sin(7)}{7} + \dots . \] Another example is \[ \sum_{n=1}^{\infty} \frac{\sin(n)}{n} = \sum_{n=1}^{\infty} \left(\frac{\sin(n)}{n}\right)^2 = \frac{π-1}{2}. \] This paper also discusses an included Mathematica package that makes it easy to calculate and graph the Fourier series of many types of functions.

The Uncertainty Principle in Harmonic Analysis -- Lecture Notes on Selected Topics

2026-04-27T18:26:59Z

These lecture notes are devoted to selected topics related to the uncertainty principle in harmonic analysis. Rather than attempting a systematic treatment, we emphasize only a number of both classical and deep manifestations of this principle, mainly from the perspective of Fourier analysis on the unit circle and on the real line. We consider problems of uniqueness and reconstruction for Fourier series and Fourier transforms, the influence of spectral gaps, and the role of logarithmic integrability in questions of approximation and quasi-analyticity. Central results discussed include the Paley--Wiener theorem, the Beurling--Malliavin multiplier theorem, and the Ivashev--Musatov theorem. These notes are intended as an entry point toward the research literature, with several sections pointing in the direction of more recent developments.

A determinant identity for the sum of contour integral matrices

2026-04-27T17:49:29Z

We derive an identity for the determinant of the sum of two $n\times n$ matrices, $A$ and $B$, whose entries are defined via contour integrals. Specifically, we consider $A(i,j)=\frac{1}{2π\mathrm{i}}\oint_0 z^{i-j-1}p_i(z)f_j(z)\mathrm{d} z$ and $B(i,j)= \frac{1}{2π\mathrm{i}}\int_Γ q_i(z)g_j(z) \mathrm{d} z$. Under suitable assumptions on the functions $p,q,f,g$, we show that $\det(A+B)$ can be expressed as a Fredholm determinant $\det(\mathrm{I} +K)$, where $K$ is an integral kernel acting on the contour $Γ$. This result generalizes a recent identity obtained in \cite{Baik-Liao-Liu26}.

Parallelepipeds of maximal facet area and total edge length in ellipsoids, through prescribed boundary points

2026-04-27T16:17:52Z

Let \[ \mathcal{E}_A=\{x\in\mathbb{R}^n:x^{\top}A^{-1}x\le 1\},\qquad n\ge2, \] where $A$ is real symmetric positive definite. We study full-dimensional parallelepipeds whose $2^n$ vertices lie on $\partial\mathcal{E}_A$. First we show that such parallelepipeds are necessarily centred at the origin and are precisely the images, under $A^{1/2}$, of orthotopes inscribed in the Euclidean unit sphere. This reduces the extremal questions to finite-dimensional linear algebra. For the total length $L$ of the one-skeleton we prove \[ L_{\max}(\mathcal{E}_A)=2^n\sqrt{\operatorname{tr} A}. \] Moreover, the prescribed-vertex problem for $L$ has the same answer in every dimension: for every $x_0\in\partial\mathcal{E}_A$ there is an inscribed parallelepiped with vertex $x_0$ and total edge length $2^n\sqrt{\operatorname{tr} A}$. The proof uses the Schur--Horn theorem applied to the trace-zero matrix $A-\operatorname{tr}(A)y_0y_0^{\top}$, where $y_0=A^{-1/2}x_0$. For the total $(n-1)$-dimensional measure $S$ of the facets we prove \[ S_{\max}(\mathcal{E}_A)=2^n n^{-(n-2)/2}\sqrt{\det A}\,\sqrt{\operatorname{tr}(A^{-1})}. \] For $n\ge3$ the maximisers are more rigid: on the sphere they are orthotopes with all edge lengths equal and with a Schur--Horn equal diagonal condition for $A^{-1}$. The prescribed-vertex facet-area problem is therefore equivalent to a restricted Schur--Horn problem with a prescribed barycentric basis. In dimension two this recovers the Connes--Zagier property for ellipses. In dimension three, however, the direct higher-dimensional analogue fails for triaxial ellipsoids at principal-axis vertices; an exact obstruction is given.

On a family of strong fractional maximal operators

2026-04-27T09:47:13Z

We study a parametrized family of strong maximal fractional operators. We prove their $L^p$ to $L^q$ boundedness for $1

The Boolean surface area of polynomial threshold functions

2026-04-27T06:28:32Z

Polynomial threshold functions (PTFs) are an important low-complexity class of Boolean functions, with strong connections to learning theory and approximation theory. Recent work on learning and testing PTFs has exploited structural and isoperimetric properties of the class, especially bounds on average sensitivity, one of the central themes in the study of PTFs since the Gotsman--Linial conjecture. In this work we study PTFs through the lens of the Boolean surface area (or Talagrand boundary) \[ \mathbf{BSA}[f]=\mathbb{E}|\nabla f|=\mathbb{E}\sqrt{s_{f}(x)}, \] a natural measure of vertex-boundary complexity on the discrete cube. Our main result is that every degree-$d$ PTF has polylogarithmic Boolean surface area: \[ \mathbf{BSA}[f]\le C_d(\log(en))^{C_d}. \] The proof is based on the PTF Restriction Lemma of Kabanets, Kane, and Lu \cite{KKL2017} and proceeds through a tail bound for the pointwise sensitivity. In particular, it controls all subcritical fractional moments of the sensitivity. We also record a random block partition principle for Boolean surface area and an alternative recursive argument following Kane's work \cite{DK} on average sensitivity, which independently yields the weaker bound \[ \mathbf{BSA}[f]\le \exp(C_d\sqrt{\log n}). \]

On the asymptotic behaviour of the Fourier transform of the Mittag-Leffler function

2026-04-26T22:02:07Z

Let $α\in (0,2)$ and let $β>0$. Fix $-π<\varphi\leq π$ such that $|\varphi|>απ/2$. We obtain asymptotic upper bounds on the Fourier transform of the radially symmetric tempered distribution \begin{equation*} \mathbb{R}^n\ni x\mapsto E_{α,β}(e^{\dot{\imath} \varphi} |x|^σ), \end{equation*} for $σ>(n-1)/2$, where $E_{α,β}$ is the two-parameter Mittag-Leffler function. As an application, we obtain some values of the Lebesgue exponent $p=p(σ)$, $σ>(n-1)/2$, for which the Fourier transform is in $L^{p}(\mathbb{R}^{n})$. Such values cannot be obtained via the well-known $L^{p}(\mathbb{R}^{n})$ properties of $E_{α,β}$ and the Hausdorff-Young inequality, when $σ\leq n/2$.

Reformulation of $q$-Middle Convolution and Applications

2026-04-26T18:52:10Z

We reformulate the $q$-convolution and the $q$-middle convolution introduced by Sakai and Yamaguchi, and we introduce $q$-analogues of the addition which is related to the gauge-transformation. A merit of the reformulation is the additivity on composition of two $q$-middle convolutions. We obtain sufficient conditions that the Jackson integrals associated with the $q$-convolution converge and satisfy the $q$-difference equation associated with the $q$-convolution. We present several third-order linear $q$-difference equations and solutions of them by using the $q$-middle convolution and the $q$-analogues of the addition.

The $L^p$ regularity problem for parabolic operators

2026-04-25T16:49:00Z

In this paper, we fully resolve the question of whether the Regularity problem for the parabolic PDE $-\partial_tu + \mbox{div}(A\nabla u)=0$ on a Lipschitz cylinder $\mathcal O\times\mathbb R$ is solvable for some $p\in (1,\infty)$ under the assumption that the matrix $A$ is elliptic, has bounded and measurable coefficients and its coefficients satisfy a natural Carleson condition (a parabolic analog of the so-called DKP-condition). We prove that for some $p_0>1$ the Regularity problem is solvable in the range $(1,p_0)$. We note that answer to this question was not known even in the small Carleson case, that is, when the Carleson norm of coefficients is sufficiently small. In the elliptic case the analogous question was only fully resolved recently independently by two groups, with two very different methods: one involving two of the authors and S. Hofmann, the second by M. Mourgoglou, B. Poggi and X. Tolsa. Our approach in the parabolic case is motivated by that of the first group, but in the parabolic setting there are significant new challenges.

Lebesgue measure of distance sets with regular pins and multi-scale Mizohata-Takeuchi-type estimates

2026-04-25T04:33:03Z

Suppose $E, F$ are Borel sets in the plane, $\dim_{\mathcal{H}} E>1$, $\dim_{\mathcal{H}} E+\dim_{\mathcal{H}} F>2$, and $F$ has equal Hausdorff and packing dimension. We prove that there exists $y\in F$ such that the pinned distance set $$Δ_y(E):=\{|x-y|:x\in E\}$$ has positive Lebesgue measure. In particular, it settles the regular case of the distance set problem in the plane. The main ingredients of the proof consist of a multi-scale Good-Bad decomposition and a multi-scale Mizohata-Takeuchi-type estimate with arbitrary small power-loss.

Algebraization of infinite summation

2026-04-24T21:50:25Z

An algebraic framework in which to study infinite sums is proposed, complementing and augmenting the usual topological tools. The framework subsumes numerous examples in the literature. It is developed using many varied examples, with a particular emphasis on infinitizing the usual group and ring axioms. Comparing these examples reveals that a few key algebraic properties play a crucial role in the behaviors of different forms of infinite summation. Special attention is given to associativity, which is particularly difficult to properly infinitize. In that context, there is an important technique called the Eilenberg-Mazur swindle that is studied and greatly generalized. Some special properties are singled out as potential axioms. Interactions between these potential axioms are analyzed, and numerous results explore how to impose new axioms while retaining old ones. In some cases the axioms classify or categorize a given example. Surprisingly, such axiomatizations are very concise, relying on only a handful of natural conditions. These investigations reveal more precisely the part that topology plays in the formation of infinite sums. Special attention is given to the methods of partial summation and unconditional summation. In the opposite direction, it is proved that from the infinite sums alone one can create a refined topology, lying between the original topology and its sequential coreflection. Another especially interesting application of these ideas is the construction of new algebraic quotient structures that retain the ability to handle infinite summation.

Single-Point Higher-Order Szegő Sum Rules in OPUC: Necessity for $m=1,2,3$

2026-04-24T21:42:57Z

We give a direct algebraic proof of the necessity direction in the single-point higher-order Szegő sum rules on the unit circle for $m=1,2,3$. More precisely, for $H_m(e^{iθ})=(1-\cosθ)^m$, we show that $\int_0^{2π}H_m(e^{iθ})\log w(θ)\frac{dθ}{2π}>-\infty$ implies $(S-1)^mα\in\ell^2,\qquad α\in\ell^{2m+2}.$ The proof is carried out within Yan's algebraic model for higher-order sum rules. The main point is to obtain coercive lower bounds for the nonlogarithmic part of the truncated sum rule: the quadratic component yields the principal finite-difference energy, while the higher-order correction terms are controlled by telescoping cancellations and relative bounds. The logarithmic remainder then gives the required $\ell^{2m+2}$-summability. The purpose is to isolate explicit low-order necessity arguments within the algebraic framework.

Existence of a periodic solution for superquadratic Hamiltonian systems with possible finite-time blow-up

2026-04-24T16:40:29Z

We prove a sufficient condition for the existence of a $T$-periodic solution for the planar system $\dot z=F(t,z)$, characterized by the growth to infinity of the rotations made in one period by solutions starting at increasingly large initial values. Our result applies in particular to superquadratic Hamiltonian systems satisfying the Ambrosetti--Rabinowitz condition. The key novelty of the paper is that we do not require any growth condition on the flow to ensure global existence of solutions, allowing finite-time blow-up. Our method is based on a fixed-point theorem which exploits the rotational properties of the dynamics. To conclude, we discuss a family of examples of Hamiltonian systems showing finite-time blow-up.

Continuity properties of strongly singular integral operators for extreme values of $p$

2026-04-24T16:25:28Z

In this work, we establish continuity properties of strongly singular integral operators for extreme values of $p$. Particularly, weighted $L^\infty$-$BMO$ boundedness is obtained, generalizing Miyachi's result to the context of Muckenhoupt weights. As an application, we get an alternative proof of Chanillo's weighted $L^p$ estimates via extrapolation techniques.