More Like this

1. Misiurewicz polynomials and dynamical units, part I

   https://doi.org/10.1142/S1793042123500616  

   Benedetto, Robert L; Goksel, Vefa (July 2023, International Journal of Number Theory)

   We study the dynamics of the unicritical polynomial family [Formula: see text]. The [Formula: see text]-values for which [Formula: see text] has a strictly preperiodic postcritical orbit are called Misiurewicz parameters, and they are the roots of Misiurewicz polynomials. The arithmetic properties of these special parameters have found applications in both arithmetic and complex dynamics. In this paper, we investigate some new such properties. In particular, when [Formula: see text] is a prime power and [Formula: see text] is a Misiurewicz parameter, we prove certain arithmetic relations between the points in the postcritical orbit of [Formula: see text]. We also consider the algebraic integers obtained by evaluating a Misiurewicz polynomial at a different Misiurewicz parameter, and we ask when these algebraic integers are algebraic units. This question naturally arises from some results recently proven by Buff, Epstein, and Koch and by the second author. We propose a conjectural answer to this question, which we prove in many cases. 

   more » « less
2. Some remarks on the Erdős Distinct subset sums problem

   https://doi.org/10.1142/S1793042123500860  

   Steinerberger, Stefan (September 2023, International Journal of Number Theory)

   Let [Formula: see text] be a set of positive integers, [Formula: see text] denoting the largest element, so that for any two of the [Formula: see text] subsets the sum of all elements is distinct. Erdős asked whether this implies [Formula: see text] for some universal [Formula: see text]. We prove, slightly extending a result of Elkies, that for any [Formula: see text], [Formula: see text] with equality if and only if all subset sums are [Formula: see text]-separated. This leads to a new proof of the currently best lower bound [Formula: see text]. The main new insight is that having distinct subset sums and [Formula: see text] small requires the random variable [Formula: see text] to be close to Gaussian in a precise sense. 

   more » « less
3. Fractional Hardy-type and trace theorems for nonlocal function spaces with heterogeneous localization

   https://doi.org/10.1142/S0219530521500329  

   Du, Qiang; Mengesha, Tadele; Tian, Xiaochuan (May 2022, Analysis and Applications)

   This work aims to prove a Hardy-type inequality and a trace theorem for a class of function spaces on smooth domains with a nonlocal character. Functions in these spaces are allowed to be as rough as an [Formula: see text]-function inside the domain of definition but as smooth as a [Formula: see text]-function near the boundary. This feature is captured by a norm that is characterized by a nonlocal interaction kernel defined heterogeneously with a special localization feature on the boundary. Thus, the trace theorem we obtain here can be viewed as an improvement and refinement of the classical trace theorem for fractional Sobolev spaces [Formula: see text]. Similarly, the Hardy-type inequalities we establish for functions that vanish on the boundary show that functions in this generalized space have the same decay rate to the boundary as functions in the smaller space [Formula: see text]. The results we prove extend existing results shown in the Hilbert space setting with p = 2. A Poincaré-type inequality we establish for the function space under consideration together with the new trace theorem allows formulating and proving well-posedness of a nonlinear nonlocal variational problem with conventional local boundary condition. 

   more » « less
4. A Shuffle Theorem for Paths Under Any Line

   https://doi.org/10.1017/fmp.2023.4  

   Blasiak, Jonah; Haiman, Mark; Morse, Jennifer; Pun, Anna; Seelinger, George H. (January 2023, Forum of Mathematics, Pi)

   Abstract We generalize the shuffle theorem and its $(km,kn)$ version, as conjectured by Haglund et al. and Bergeron et al. and proven by Carlsson and Mellit, and Mellit, respectively. In our version the $(km,kn)$ Dyck paths on the combinatorial side are replaced by lattice paths lying under a line segment whose x and y intercepts need not be integers, and the algebraic side is given either by a Schiffmann algebra operator formula or an equivalent explicit raising operator formula. We derive our combinatorial identity as the polynomial truncation of an identity of infinite series of $$\operatorname {\mathrm {GL}}_{l}$$ characters, expressed in terms of infinite series versions of LLT polynomials. The series identity in question follows from a Cauchy identity for nonsymmetric Hall–Littlewood polynomials. 

   more » « less
5. Inhomogeneous Diophantine approximation for generic homogeneous functions

   https://doi.org/10.1142/S1793042123500628  

   Kleinbock, Dmitry; Skenderi, Mishel (July 2023, International Journal of Number Theory)

   This paper is a sequel to [Monatsh. Math. 194 (2021) 523–554] in which results of that paper are generalized so that they hold in the setting of inhomogeneous Diophantine approximation. Given any integers [Formula: see text] and [Formula: see text], any [Formula: see text], and any homogeneous function [Formula: see text] that satisfies a certain nonsingularity assumption, we obtain a biconditional criterion on the approximating function [Formula: see text] for a generic element [Formula: see text] in the [Formula: see text]-orbit of [Formula: see text] to be (respectively, not to be) [Formula: see text]-approximable at [Formula: see text]: that is, for there to exist infinitely many (respectively, only finitely many) [Formula: see text] such that [Formula: see text] for each [Formula: see text]. In this setting, we also obtain a sufficient condition for uniform approximation. We also consider some examples of [Formula: see text] that do not satisfy our nonsingularity assumptions and prove similar results for these examples. Moreover, one can replace [Formula: see text] above by any closed subgroup of [Formula: see text] that satisfies certain integrability axioms (being of Siegel and Rogers type) introduced by the authors in the aforementioned previous paper. 

   more » « less