-
On lattice tilings of $\mathbb{Z}^n$ by limited magnitude error balls $\mathcal{B}(n,2,k_{1},k_{2})$ with $k_1>k_2$
Authors:
Ka Hin Leung,
Ran Tao,
Daohua Wang,
Tao Zhang
Abstract:
Lattice tilings of $\mathbb{Z}^n$ by limited-magnitude error balls correspond to linear perfect codes under such error models and play a crucial role in flash memory applications. In this work, we establish three main results. First, we fully determine the existence of lattice tilings by $\mathcal{B}(n,2,3,0)$ in all dimensions $n$. Second, we completely resolve the case $k_1=k_2+1$. Finally, we p…
▽ More
Lattice tilings of $\mathbb{Z}^n$ by limited-magnitude error balls correspond to linear perfect codes under such error models and play a crucial role in flash memory applications. In this work, we establish three main results. First, we fully determine the existence of lattice tilings by $\mathcal{B}(n,2,3,0)$ in all dimensions $n$. Second, we completely resolve the case $k_1=k_2+1$. Finally, we prove that for any integers $k_1>k_2\ge0$ where $k_1+k_2+1$ is composite, no lattice tiling of $\mathbb{Z}^n$ by the error ball $\mathcal{B}(n,2,k_1,k_2)$ exists for sufficiently large $n$.
△ Less
Submitted 13 May, 2025;
originally announced May 2025.
-
Level aspect subconvexity for $\textrm{GL(2)}\times \textrm{GL(2)}$ $\textrm{L}$-functions
Authors:
Keshav Aggarwal,
Sumit Kumar,
Chung-Hang Kwan,
Wing Hong Leung,
Junxian Li,
Matthew P. Young
Abstract:
Let $f$ be a newform of prime level $p$ with any central character $χ\, (\bmod\, p)$, and let $g$ be a fixed cusp form or Eisenstein series for $\hbox{SL}_{2}(\mathbb{Z})$. We prove the subconvexity bound: for any $\varepsilon>0$, \begin{align*} L(1/2, \, f \otimes g) \ll p^{1/2-1/524+\varepsilon}, \end{align*} where the implied constant depends on $g$, $\varepsilon$, and the archimedean parameter…
▽ More
Let $f$ be a newform of prime level $p$ with any central character $χ\, (\bmod\, p)$, and let $g$ be a fixed cusp form or Eisenstein series for $\hbox{SL}_{2}(\mathbb{Z})$. We prove the subconvexity bound: for any $\varepsilon>0$, \begin{align*} L(1/2, \, f \otimes g) \ll p^{1/2-1/524+\varepsilon}, \end{align*} where the implied constant depends on $g$, $\varepsilon$, and the archimedean parameter of $f$. This improves upon the previously best-known result by Harcos and Michel. Our method ultimately relies on non-trivial bounds for bilinear forms in Kloosterman fractions pioneered by Duke, Friedlander, and Iwaniec, with later innovations by Bettin and Chandee.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
-
Trace formula and functional equation
Authors:
Chung-Hang Kwan,
Wing Hong Leung
Abstract:
We present a "beyond-endoscopic" treatment of the functional equation for the standard $L$-function of a holomorphic cusp form with level and nebentypus. We use Petersson's formula and methods from Venkatesh's thesis and "spectral reciprocity".
We present a "beyond-endoscopic" treatment of the functional equation for the standard $L$-function of a holomorphic cusp form with level and nebentypus. We use Petersson's formula and methods from Venkatesh's thesis and "spectral reciprocity".
△ Less
Submitted 8 January, 2025; v1 submitted 22 October, 2024;
originally announced October 2024.
-
Character sum, reciprocity and Voronoi formula
Authors:
Chung-Hang Kwan,
Wing Hong Leung
Abstract:
We prove a novel four-variable character sum identity which serves as a twisted, non-archimedean counterpart to Weber's integrals for Bessel functions. Using this identity and ideas from Venkatesh's thesis, we present a new, spectral proof of the Voronoi formula for classical modular forms.
We prove a novel four-variable character sum identity which serves as a twisted, non-archimedean counterpart to Weber's integrals for Bessel functions. Using this identity and ideas from Venkatesh's thesis, we present a new, spectral proof of the Voronoi formula for classical modular forms.
△ Less
Submitted 18 January, 2025; v1 submitted 14 October, 2024;
originally announced October 2024.
-
Collaborative Safety-Critical Formation Control with Obstacle Avoidance
Authors:
Brooks A. Butler,
Chi Ho Leung,
Philip E. Paré
Abstract:
This work explores a collaborative method for ensuring safety in multi-agent formation control problems. We formulate a control barrier function (CBF) based safety filter control law for a generic distributed formation controller and extend our previously developed collaborative safety framework to an obstacle avoidance problem for agents with acceleration control inputs. We then incorporate multi…
▽ More
This work explores a collaborative method for ensuring safety in multi-agent formation control problems. We formulate a control barrier function (CBF) based safety filter control law for a generic distributed formation controller and extend our previously developed collaborative safety framework to an obstacle avoidance problem for agents with acceleration control inputs. We then incorporate multi-obstacle collision avoidance into the collaborative safety framework. This framework includes a method for computing the maximum capability of agents to satisfy their individual safety requirements. We analyze the convergence rate of our collaborative safety algorithm, and prove the linear-time convergence of cooperating agents to a jointly feasible safe action for all agents under the special case of a tree-structured communication network with a single obstacle for each agent. We illustrate the analytical results via simulation on a mass-spring kinematics-based formation controller and demonstrate the finite-time convergence of the collaborative safety algorithm in the simple proven case, the more general case of a fully-connected system with multiple static obstacles, and with dynamic obstacles.
△ Less
Submitted 4 October, 2024;
originally announced October 2024.
-
The second moment of the $GL_3$ standard $L$-function on the critical line
Authors:
Agniva Dasgupta,
Wing Hong Leung,
Matthew P. Young
Abstract:
We obtain a strong bound on the second moment of the $GL_3$ standard $L$-function on the critical line. The method builds on the recent work of Aggarwal, Leung, and Munshi which treated shorter intervals. We deduce some corollaries including an improvement on the error term in the Rankin-Selberg problem, and on certain subconvexity bounds for $GL_3 \times GL_2$ and $GL_3$ $L$-functions. As a bypro…
▽ More
We obtain a strong bound on the second moment of the $GL_3$ standard $L$-function on the critical line. The method builds on the recent work of Aggarwal, Leung, and Munshi which treated shorter intervals. We deduce some corollaries including an improvement on the error term in the Rankin-Selberg problem, and on certain subconvexity bounds for $GL_3 \times GL_2$ and $GL_3$ $L$-functions. As a byproduct of the method of proof, we also obtain an estimate for an average of shifted convolution sums of $GL_3$ Fourier coefficients.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Banach lattices with upper $p$-estimates: free and injective objects
Authors:
E. García-Sánchez,
D. H. Leung,
M. A. Taylor,
P. Tradacete
Abstract:
We study the free Banach lattice $FBL^{(p,\infty)}[E]$ with upper $p$-estimates generated by a Banach space $E$. Using a classical result of Pisier on factorization through $L^{p,\infty}(μ)$ together with a finite dimensional reduction, it is shown that the spaces $\ell^{p,\infty}(n)$ witness the universal property of $FBL^{(p,\infty)}[E]$ isomorphically. As a consequence, we obtain a functional r…
▽ More
We study the free Banach lattice $FBL^{(p,\infty)}[E]$ with upper $p$-estimates generated by a Banach space $E$. Using a classical result of Pisier on factorization through $L^{p,\infty}(μ)$ together with a finite dimensional reduction, it is shown that the spaces $\ell^{p,\infty}(n)$ witness the universal property of $FBL^{(p,\infty)}[E]$ isomorphically. As a consequence, we obtain a functional representation for $FBL^{(p,\infty)}[E]$. More generally, our proof allows us to identify the norm of any free Banach lattice over $E$ associated with a rearrangement invariant function space.
After obtaining the above functional representation, we take the first steps towards analyzing the fine structure of $FBL^{(p,\infty)}[E]$. Notably, we prove that the norm for $FBL^{(p,\infty)}[E]$ cannot be isometrically witnessed by $L^{p,\infty}(μ)$ and settle the question of characterizing when an embedding between Banach spaces extends to a lattice embedding between the corresponding free Banach lattices with upper $p$-estimates. To prove this latter result, we introduce a novel push-out argument, which when combined with the injectivity of $\ell^p$ allows us to give an alternative proof of the subspace problem for free $p$-convex Banach lattices. On the other hand, we prove that $\ell^{p,\infty}$ is not injective in the class of Banach lattices with upper $p$-estimates, elucidating one of many difficulties arising in the study of $FBL^{(p,\infty)}[E]$.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
A GL(3) converse theorem via a "beyond endoscopy'' approach
Authors:
Valentin Blomer,
Wing Hong Leung
Abstract:
We give a new proof of the converse theorem for Maass forms on ${\rm GL}(3)$ using a technique that is inspired by Langlands' philosophy of "beyond endoscopy", thereby implementing these ideas for the first time in a higher rank setting.
We give a new proof of the converse theorem for Maass forms on ${\rm GL}(3)$ using a technique that is inspired by Langlands' philosophy of "beyond endoscopy", thereby implementing these ideas for the first time in a higher rank setting.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Non-Linear Additive Twists of $\mathrm{GL}_{3}$ Hecke Eigenvalues
Authors:
Ikuya Kaneko,
Wing Hong Leung
Abstract:
We bound non-linear additive twists of $\mathrm{GL}_{3}$ Hecke eigenvalues, improving upon the work of Kumar-Mallesham-Singh (2022). The proof employs the DFI circle method with standard manipulations (Voronoi, Cauchy-Schwarz, lengthening, and additive reciprocity). The main novelty includes the conductor lowering mechanism, albeit sacrificing some savings to remove an analytic oscillation, follow…
▽ More
We bound non-linear additive twists of $\mathrm{GL}_{3}$ Hecke eigenvalues, improving upon the work of Kumar-Mallesham-Singh (2022). The proof employs the DFI circle method with standard manipulations (Voronoi, Cauchy-Schwarz, lengthening, and additive reciprocity). The main novelty includes the conductor lowering mechanism, albeit sacrificing some savings to remove an analytic oscillation, followed by the iteration ad infinitum of Cauchy-Schwarz and Poisson. The resulting character sums are estimated via the work of Adolphson-Sperber (1993). As an application, we prove nontrivial bounds for the first moment of $\mathrm{GL}_{3}$ Hardy's function, which corresponds to the cubic moment of Hardy's function studied by Ivić (2012).
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Collaborative Safe Formation Control for Coupled Multi-Agent Systems
Authors:
Brooks A. Butler,
Chi Ho Leung,
Philip E. Paré
Abstract:
The safe control of multi-robot swarms is a challenging and active field of research, where common goals include maintaining group cohesion while simultaneously avoiding obstacles and inter-agent collision. Building off our previously developed theory for distributed collaborative safety-critical control for networked dynamic systems, we propose a distributed algorithm for the formation control of…
▽ More
The safe control of multi-robot swarms is a challenging and active field of research, where common goals include maintaining group cohesion while simultaneously avoiding obstacles and inter-agent collision. Building off our previously developed theory for distributed collaborative safety-critical control for networked dynamic systems, we propose a distributed algorithm for the formation control of robot swarms given individual agent dynamics, induced formation dynamics, and local neighborhood position and velocity information within a defined sensing radius for each agent. Individual safety guarantees for each agent are obtained using rounds of communication between neighbors to restrict unsafe control actions among cooperating agents through safety conditions derived from high-order control barrier functions. We provide conditions under which a swarm is guaranteed to achieve collective safety with respect to multiple obstacles using a modified collaborative safety algorithm. We demonstrate the performance of our distributed algorithm via simulation in a simplified physics-based environment.
△ Less
Submitted 2 April, 2024; v1 submitted 18 November, 2023;
originally announced November 2023.
-
Fixed Point Theory: A Review
Authors:
Firuz Kamalov,
Ho Hon Leung
Abstract:
Fixed points represent equilibrium states, stability, and solutions to a range of problems. It has been an active field of research. In this paper, we provide an overview of the main branches of fixed point theory. We discuss the key results and applications.
Fixed points represent equilibrium states, stability, and solutions to a range of problems. It has been an active field of research. In this paper, we provide an overview of the main branches of fixed point theory. We discuss the key results and applications.
△ Less
Submitted 3 September, 2023;
originally announced September 2023.
-
Basic Non-Archimedean Jørgensen Theory
Authors:
Matthew Conder,
Harris Pok Hei Leung,
Jeroen Schillewaert
Abstract:
We prove a non-archimedean analogue of Jørgensen's inequality, and use it to deduce several algebraic convergence results. As an application we show that every dense subgroup of $\mathrm{SL}(\mathbb{Q}_p)$ contains two elements which generate a dense subgroup of $\mathrm{SL}(\mathbb{Q}_p)$, which is a special case of a result by Breuillard and Gelander. We also list several other related results,…
▽ More
We prove a non-archimedean analogue of Jørgensen's inequality, and use it to deduce several algebraic convergence results. As an application we show that every dense subgroup of $\mathrm{SL}(\mathbb{Q}_p)$ contains two elements which generate a dense subgroup of $\mathrm{SL}(\mathbb{Q}_p)$, which is a special case of a result by Breuillard and Gelander. We also list several other related results, which are well-known to experts, but not easy to locate in the literature; for example, we show that a non-elementary subgroup of $\mathrm{SL}(K)$ over a non-archimedean local field $K$ is discrete if and only if each of its two-generator subgroups is discrete.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Graphs with queue number three and unbounded stack number
Authors:
Yui Hin Arvin Leung
Abstract:
We prove that the graphs $T\boxslash P$ have unbounded stack number and queue number $3$, where $T$ is a tree and $P$ is a path, and $\boxslash$ denotes the graph strong product but with one of the directions removed. The previous best known results is that graphs with queue number $4$ can have unbounded stack number.
We prove that the graphs $T\boxslash P$ have unbounded stack number and queue number $3$, where $T$ is a tree and $P$ is a path, and $\boxslash$ denotes the graph strong product but with one of the directions removed. The previous best known results is that graphs with queue number $4$ can have unbounded stack number.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Shifted Convolution Sums for $GL(3)\times GL(2)$ Averaged over weighted sets
Authors:
Wing Hong Leung
Abstract:
Let $A(1,m)$ be the Fourier coefficients of a $SL(3,\mathbb{Z})$ Hecke-Maass cusp form $π_1$ and $λ(m)$ be those of a $SL(2,\mathbb{Z})$ Hecke holomorphic or Hecke-Mass cusp form $π_2$. Let $\mathcal{H}\subset[\![ -X^{1-\varepsilon},X^{1+\varepsilon}]\!]$ and $\{a(h)\}_{h\in\mathcal{H}}\subset\mathbb{C}$ be a sequence. We show that if $\mathcal{H}\subset \ell+[\![ 0,X^{1/2+\varepsilon}]\!] $ for s…
▽ More
Let $A(1,m)$ be the Fourier coefficients of a $SL(3,\mathbb{Z})$ Hecke-Maass cusp form $π_1$ and $λ(m)$ be those of a $SL(2,\mathbb{Z})$ Hecke holomorphic or Hecke-Mass cusp form $π_2$. Let $\mathcal{H}\subset[\![ -X^{1-\varepsilon},X^{1+\varepsilon}]\!]$ and $\{a(h)\}_{h\in\mathcal{H}}\subset\mathbb{C}$ be a sequence. We show that if $\mathcal{H}\subset \ell+[\![ 0,X^{1/2+\varepsilon}]\!] $ for some $\ell\geq0$, \begin{align*}
D_{a,\mathcal{H}}(X):=\frac{1}{|\mathcal{H}|}\sum_{h\in\mathcal{H}}a(h)\sum_{m=1}^\infty A(1,m)λ(rm+h)V\left(\frac{m}{X}\right)\ll_{π_1,π_2,\varepsilon} \frac{X^{1+\varepsilon}}{|\mathcal{H}|}\|a\|_2
\end{align*}
for any $\varepsilon>0$, and a similar bound when $|\mathcal{H}|$ is big. This improves Sun's bound and generalizes it to an average with arbitrary weights. Moreover, we demonstrate how one can recover the factorizable moduli structure given by the Jutila's circle method via studying a shifted sum with weighted average. This allows us to recover Munshi's bound on the shifted sum with a fixed shift without using the Jutila's circle method.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
Distances between fixed-point sets in 2-dimensional Euclidean buildings are realised
Authors:
Harris Leung,
Jeroen Schillewaert,
Anne Thomas
Abstract:
We prove that if two finitely generated groups act on a metrically complete 2-dimensional Euclidean building, then the distance between their fixed-point sets is realised. Our proof uses the geometry of Euclidean buildings, which we view as CAT(0) spaces, and properties of ultrapowers of Euclidean buildings.
We prove that if two finitely generated groups act on a metrically complete 2-dimensional Euclidean building, then the distance between their fixed-point sets is realised. Our proof uses the geometry of Euclidean buildings, which we view as CAT(0) spaces, and properties of ultrapowers of Euclidean buildings.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
Numerical computing in engineering mathematics
Authors:
Firuz Kamalov,
Ho-Hon Leung
Abstract:
The rapid advances in technology over the last decade have significantly altered the nature of engineering knowledge and skills required in the modern industries. In response to the changing professional requirements, engineering institutions have updated their curriculum and pedagogical practices. However, most of the changes in the curriculum have been focused on the core engineering courses wit…
▽ More
The rapid advances in technology over the last decade have significantly altered the nature of engineering knowledge and skills required in the modern industries. In response to the changing professional requirements, engineering institutions have updated their curriculum and pedagogical practices. However, most of the changes in the curriculum have been focused on the core engineering courses without much consideration for the auxiliary courses in mathematics and sciences. In this paper, we aim to propose a new, augmented mathematics curriculum aimed at meeting the requirements of the modern, technology-based engineering workplace. The proposed updates require minimal resources and can be seamlessly integrated into the existing curriculum.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Short second moment bound and Subconvexity for GL(3) $L$-functions
Authors:
Keshav Aggarwal,
Wing Hong Leung,
Ritabrata Munshi
Abstract:
Let $π$ be a Hecke cusp form for $\mathrm{SL}_3(\mathbb{Z})$. We bound the second moment average of $L(s,π)$ over a short interval to obtain the subconvexity estimate $$ L(1/2+it, π) \ll_{π, \varepsilon} (1+|t|)^{3/4-1/8+\varepsilon}. $$
Let $π$ be a Hecke cusp form for $\mathrm{SL}_3(\mathbb{Z})$. We bound the second moment average of $L(s,π)$ over a short interval to obtain the subconvexity estimate $$ L(1/2+it, π) \ll_{π, \varepsilon} (1+|t|)^{3/4-1/8+\varepsilon}. $$
△ Less
Submitted 15 June, 2022; v1 submitted 13 June, 2022;
originally announced June 2022.
-
The Impact of Vaccine Hesitancy on Epidemic Spreading
Authors:
C. H. Leung,
María E. Gibbs,
Philip E. Paré
Abstract:
The COVID-19 pandemic has devastated the world in an unprecedented way, causing enormous loss of life. Time and again, public health authorities have urged people to become vaccinated to protect themselves and mitigate the spread of the disease. However, vaccine hesitancy has stalled vaccination levels in the United States. This study explores the effect of vaccine hesitancy on the spread of disea…
▽ More
The COVID-19 pandemic has devastated the world in an unprecedented way, causing enormous loss of life. Time and again, public health authorities have urged people to become vaccinated to protect themselves and mitigate the spread of the disease. However, vaccine hesitancy has stalled vaccination levels in the United States. This study explores the effect of vaccine hesitancy on the spread of disease by introducing an SIRS-V$_κ$ model, with compartments of susceptible (S), infected (I), recovered (R), and vaccinated (V). We leverage the concept of carrying capacity to account for vaccine hesitancy by defining a vaccine confidence level $κ$, which is the maximum number of people that will become vaccinated during the course of a disease. The inverse of vaccine confidence is vaccine hesitance, $(\frac{1}κ)$. We explore the equilibria of the SIRS-V$_κ$ model and their stability, and illustrate the impact of vaccine hesitance on epidemic spread analytically and via simulations.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Do law-invariant linear functionals collapse to the mean?
Authors:
Shengzhong Chen,
Niushan Gao,
Denny H. Leung,
Lei Li
Abstract:
In this note, we show that, on a wide range of rearrangement-invariant spaces, a law-invariant bounded linear functional is a scalar multiple of the expectation. We also construct a rearrangement-invariant space on which this property fails.
In this note, we show that, on a wide range of rearrangement-invariant spaces, a law-invariant bounded linear functional is a scalar multiple of the expectation. We also construct a rearrangement-invariant space on which this property fails.
△ Less
Submitted 12 November, 2021; v1 submitted 23 July, 2021;
originally announced July 2021.
-
Automatic Fatou Property of Law-invariant Risk Measures
Authors:
Shengzhong Chen,
Niushan Gao,
Denny Leung,
Lei Li
Abstract:
In the paper we investigate automatic Fatou property of law-invariant risk measures on a rearrangement-invariant function space $\mathcal{X}$ other than $L^\infty$. The main result is the following characterization: Every real-valued, law-invariant, coherent risk measure on $\mathcal{X}$ has the Fatou property at every random variable $X\in \mathcal{X}$ whose negative tails have vanishing norm (i.…
▽ More
In the paper we investigate automatic Fatou property of law-invariant risk measures on a rearrangement-invariant function space $\mathcal{X}$ other than $L^\infty$. The main result is the following characterization: Every real-valued, law-invariant, coherent risk measure on $\mathcal{X}$ has the Fatou property at every random variable $X\in \mathcal{X}$ whose negative tails have vanishing norm (i.e., $\lim_n\|X\mathbf{1}_{\{X\leq -n\}}\|=0$) if and only if $\mathcal{X}$ satisfies the Almost Order Continuous Equidistributional Average (AOCEA) property, namely, $\mathrm{d}(\mathcal{CL}(X),\mathcal{X}_a) =0$ for any $X\in \mathcal{X}_+$, where $ \mathcal{CL}(X)$ is the convex hull of all random variables having the same distribution as $X$ and $\mathcal{X}_a=\{X\in\mathcal{X}:\lim_n \|X\mathbf{1}_{ \{|X|\geq n\} }\| =0\}$. As a consequence, we show that under the AOCEA property, every real-valued, law-invariant, coherent risk measure on $\mathcal{X}$ admits a tractable dual representation at every $X\in \mathcal{X}$ whose negative tails have vanishing norm. Furthermore, we show that the AOCEA property is satisfied by most classical model spaces, including Orlicz spaces, and therefore the foregoing results have wide applications.
△ Less
Submitted 25 January, 2022; v1 submitted 16 July, 2021;
originally announced July 2021.
-
Hybrid Subconvexity Bound for $L\left(\frac{1}{2},\mathrm{Sym}^2 f\otimesρ\right)$ via the Delta Method
Authors:
Wing Hong Leung
Abstract:
Let $P$ be a prime and $k$ be an even integer. Let $f$ be a full level holomorphic cusp form of weight $k$ and $ρ$ be a primitive level $P$ holomorphic cusp form with arbitrary nebentypus and fixed weight $κ$. We prove a hybrid subconvexity bound for $L\left(\frac{1}{2},\mathrm{Sym}^2 f\otimes ρ\right)$ when $P^{\frac{1}{4}+η}<k<P^{\frac{21}{17}-η}$ for any $0<η<\frac{67}{136}$. This extends the r…
▽ More
Let $P$ be a prime and $k$ be an even integer. Let $f$ be a full level holomorphic cusp form of weight $k$ and $ρ$ be a primitive level $P$ holomorphic cusp form with arbitrary nebentypus and fixed weight $κ$. We prove a hybrid subconvexity bound for $L\left(\frac{1}{2},\mathrm{Sym}^2 f\otimes ρ\right)$ when $P^{\frac{1}{4}+η}<k<P^{\frac{21}{17}-η}$ for any $0<η<\frac{67}{136}$. This extends the range of $P$ and $k$ achieved by Holowinsky, Munshi and Qi. The result is established using a new variant of the delta method.
△ Less
Submitted 25 December, 2022; v1 submitted 20 March, 2021;
originally announced March 2021.
-
GL(2) Weyl Bound via a multiplicative character delta method
Authors:
Wing Hong Leung
Abstract:
We use a trivial delta method with multiplicative characters for congruence detection to prove the Weyl bound for GL(2) in $t$-aspect for a holomorphic or Hecke-Maass cusp form of arbitrary level and nebentypus. This parallels the work of Aggarwal in 2018, with the difference being multiplicative character has a more natural connection to the twisted $L$-function. This provides another view point…
▽ More
We use a trivial delta method with multiplicative characters for congruence detection to prove the Weyl bound for GL(2) in $t$-aspect for a holomorphic or Hecke-Maass cusp form of arbitrary level and nebentypus. This parallels the work of Aggarwal in 2018, with the difference being multiplicative character has a more natural connection to the twisted $L$-function. This provides another view point to understand and explore the trivial and other delta methods.
△ Less
Submitted 21 February, 2021; v1 submitted 10 February, 2021;
originally announced February 2021.
-
The order-type Banach-Saks properties
Authors:
Made Tantrawan,
Denny H. Leung,
Niushan Gao
Abstract:
The study of the Banach-Saks property in Banach spaces has a long and illustrious history. Of late, motivated by applications in financial mathematics, interest has arisen in the Banach-Saks type properties with respect to order convergence. This paper presents a study of order Banach-Saks properties in Banach function spaces, and in particular in rearrangement invariant spaces. Among the results…
▽ More
The study of the Banach-Saks property in Banach spaces has a long and illustrious history. Of late, motivated by applications in financial mathematics, interest has arisen in the Banach-Saks type properties with respect to order convergence. This paper presents a study of order Banach-Saks properties in Banach function spaces, and in particular in rearrangement invariant spaces. Among the results obtained, we provide some sufficient conditions for the (weak) order Banach-Saks property. We also characterize the (weak) order Banach-Saks property in Orlicz spaces. It is also shown that the (weak) order Banach-Saks property is equivalent to its hereditary version.
△ Less
Submitted 16 May, 2022; v1 submitted 11 October, 2020;
originally announced October 2020.
-
Nonlinear biseparating maps
Authors:
Xianzhe Feng,
Denny H. Leung
Abstract:
An additive map $T$ acting between spaces of vector-valued functions is said to be biseparating if $T$ is a bijection so that $f$ and $g$ are disjoint if and only if $Tf$ and $Tg$ are disjoint. Note that an additive bijection retains $\mathbb{Q}$-linearity. For a general nonlinear map $T$, the definition of biseparating given above turns out to be too weak to determine the structure of $T$. In thi…
▽ More
An additive map $T$ acting between spaces of vector-valued functions is said to be biseparating if $T$ is a bijection so that $f$ and $g$ are disjoint if and only if $Tf$ and $Tg$ are disjoint. Note that an additive bijection retains $\mathbb{Q}$-linearity. For a general nonlinear map $T$, the definition of biseparating given above turns out to be too weak to determine the structure of $T$. In this paper, we propose a revised definition of biseparating maps for general nonlinear operators acting between spaces of vector-valued functions, which coincides with the previous definition for additive maps. Under some mild assumptions on the function spaces involved, it turns out that a map is biseparating if and only if it is locally determined. We then delve deeply into some specific function spaces -- spaces of continuous functions, uniformly continuous functions and Lipschitz functions -- and characterize the biseparating maps acting on them. As a by-product, certain forms of automatic continuity are obtained. We also prove some finer properties of biseparating maps in the cases of uniformly continuous and Lipschitz functions.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
Game of Pure Chance with Restricted Boundary
Authors:
Ho-Hon Leung,
Thotsaporn "Aek'' Thanatipanonda
Abstract:
We consider various probabilistic games with piles for one player or two players. In each round of the game, a player randomly chooses to add $a$ or $b$ chips to his pile under the condition that $a$ and $b$ are not necessarily positive. If a player has a negative number of chips after making his play, then the number of chips he collects will stay at $0$ and the game will continue. All the games…
▽ More
We consider various probabilistic games with piles for one player or two players. In each round of the game, a player randomly chooses to add $a$ or $b$ chips to his pile under the condition that $a$ and $b$ are not necessarily positive. If a player has a negative number of chips after making his play, then the number of chips he collects will stay at $0$ and the game will continue. All the games we considered satisfy these rules. The game ends when one collects $n$ chips for the first time. Each player is allowed to start with $s$ chips where $s\geq 0$. We consider various cases of $(a,b)$ including the pairs $(1,-1)$ and $(2,-1)$ in particular. We investigate the probability generating functions of the number of turns required to end the games. We derive interesting recurrence relations for the sequences of such functions in $n$ and write these generating functions as rational functions. As an application, we derive other statistics for the games which include the average number of turns required to end the game and other higher moments.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
On Horadam quaternions by using matrix method
Authors:
Elif Tan,
Ho-Hon Leung
Abstract:
In this paper, we give several matrix representations for the Horadam quaternions. We derive several identities related to these quaternions by using the matrix method. Since quaternion multiplication is not commutative, some of our results are non-commutative analogues of the well known identities for the Fibonacci-like integer sequences. Lastly, we derive some binomial-sum identities for the Hor…
▽ More
In this paper, we give several matrix representations for the Horadam quaternions. We derive several identities related to these quaternions by using the matrix method. Since quaternion multiplication is not commutative, some of our results are non-commutative analogues of the well known identities for the Fibonacci-like integer sequences. Lastly, we derive some binomial-sum identities for the Horadam quaternions as an application of the matrix method.
△ Less
Submitted 9 October, 2019;
originally announced October 2019.
-
Some basic properties of the generalized bi-periodic Fibonacci and Lucas sequences
Authors:
Elif Tan,
Ho-hon Leung
Abstract:
In this paper, we consider a generalization of Horadam sequence fwng which is defined by the recurrence relation wn = x(n)wn-1+ cwn-2; where x(n) = a if n is even, x(n) = b if n is odd with arbitrary initial conditions w0;w1 and nonzero real numbers a, b and c. As a special case, by taking initial conditions 0, 1 and 2, b we define the sequences {un} and {vn}, respectively. The main purpose of thi…
▽ More
In this paper, we consider a generalization of Horadam sequence fwng which is defined by the recurrence relation wn = x(n)wn-1+ cwn-2; where x(n) = a if n is even, x(n) = b if n is odd with arbitrary initial conditions w0;w1 and nonzero real numbers a, b and c. As a special case, by taking initial conditions 0, 1 and 2, b we define the sequences {un} and {vn}, respectively. The main purpose of this study is to derive some basic properties of the sequences {un}, {vn} and {wn} by using matrix approach.
△ Less
Submitted 9 October, 2019;
originally announced October 2019.
-
Nonexistence of Strong External Difference Families in Abelian Groups of Order Being Product of At Most Three Primes
Authors:
Ka Hin Leung,
Shuxing Li,
Theo Fanuela Prabowo
Abstract:
Let $v$ be a product of at most three not necessarily distinct primes. We prove that there exists no strong external difference family with more than two subsets in abelian group $G$ of order $v$, except possibly when $G=C_p^3$ and $p$ is a prime greater than $3 \times 10^{12}$.
Let $v$ be a product of at most three not necessarily distinct primes. We prove that there exists no strong external difference family with more than two subsets in abelian group $G$ of order $v$, except possibly when $G=C_p^3$ and $p$ is a prime greater than $3 \times 10^{12}$.
△ Less
Submitted 3 June, 2020; v1 submitted 8 October, 2019;
originally announced October 2019.
-
New nonexistence results on $(m,n)$-generalized bent functions
Authors:
Ka Hin Leung,
Qi Wang
Abstract:
In this paper, we present some new nonexistence results on $(m,n)$-generalized bent functions, which improved recent results. More precisely, we derive new nonexistence results for general $n$ and $m$ odd or $m \equiv 2 \pmod{4}$, and further explicitly prove nonexistence of $(m,3)$-generalized bent functions for all integers $m$ odd or $m \equiv 2 \pmod{4}$. The main tools we utilized are certain…
▽ More
In this paper, we present some new nonexistence results on $(m,n)$-generalized bent functions, which improved recent results. More precisely, we derive new nonexistence results for general $n$ and $m$ odd or $m \equiv 2 \pmod{4}$, and further explicitly prove nonexistence of $(m,3)$-generalized bent functions for all integers $m$ odd or $m \equiv 2 \pmod{4}$. The main tools we utilized are certain exponents of minimal vanishing sums from applying characters to group ring equations that characterize $(m,n)$-generalized bent functions.
△ Less
Submitted 2 August, 2019;
originally announced August 2019.
-
A new family of Hadamard matrices of order $4(2q^2+1)$
Authors:
Ka Hin Leung,
Koji Momihara,
Qing Xiang
Abstract:
Let $q$ be a prime power of the form $q=12c^2+4c+3$ with $c$ an arbitrary integer. In this paper we construct a difference family with parameters $(2q^2;q^2,q^2,q^2,q^2-1;2q^2-2)$ in ${\mathbb Z}_2\times ({\mathbb F}_{q^2},+)$. As a consequence, by applying the Wallis-Whiteman array, we obtain Hadamard matrices of order $4(2q^2+1)$ for the aforementioned $q$'s.
Let $q$ be a prime power of the form $q=12c^2+4c+3$ with $c$ an arbitrary integer. In this paper we construct a difference family with parameters $(2q^2;q^2,q^2,q^2,q^2-1;2q^2-2)$ in ${\mathbb Z}_2\times ({\mathbb F}_{q^2},+)$. As a consequence, by applying the Wallis-Whiteman array, we obtain Hadamard matrices of order $4(2q^2+1)$ for the aforementioned $q$'s.
△ Less
Submitted 4 July, 2019;
originally announced July 2019.
-
Understanding Distributional Ambiguity via Non-robust Chance Constraint
Authors:
Qi Wu,
Shumin Ma,
Cheuk Hang Leung,
Wei Liu,
Nanbo Peng
Abstract:
This paper provides a non-robust interpretation of the distributionally robust optimization (DRO) problem by relating the distributional uncertainties to the chance probabilities. Our analysis allows a decision-maker to interpret the size of the ambiguity set, which is often lack of business meaning, through the chance parameters constraining the objective function. We first show that, for general…
▽ More
This paper provides a non-robust interpretation of the distributionally robust optimization (DRO) problem by relating the distributional uncertainties to the chance probabilities. Our analysis allows a decision-maker to interpret the size of the ambiguity set, which is often lack of business meaning, through the chance parameters constraining the objective function. We first show that, for general $φ$-divergences, a DRO problem is asymptotically equivalent to a class of mean-deviation problems. These mean-deviation problems are not subject to uncertain distributions, and the ambiguity radius in the original DRO problem now plays the role of controlling the risk preference of the decision-maker. We then demonstrate that a DRO problem can be cast as a chance-constrained optimization (CCO) problem when a boundedness constraint is added to the decision variables. Without the boundedness constraint, the CCO problem is shown to perform uniformly better than the DRO problem, irrespective of the radius of the ambiguity set, the choice of the divergence measure, or the tail heaviness of the center distribution. Thanks to our high-order expansion result, a notable feature of our analysis is that it applies to divergence measures that accommodate well heavy tail distributions such as the student $t$-distribution and the lognormal distribution, besides the widely-used Kullback-Leibler (KL) divergence, which requires the distribution of the objective function to be exponentially bounded. Using the portfolio selection problem as an example, our comprehensive testings on multivariate heavy-tail datasets, both synthetic and real-world, shows that this business-interpretation approach is indeed useful and insightful.
△ Less
Submitted 21 September, 2020; v1 submitted 3 June, 2019;
originally announced June 2019.
-
On the Weakly Prime-Additive Numbers with Length 4
Authors:
Wing Hong Leung
Abstract:
In 1992, Erd$ő$s and Hegyv$á$ri showed that for any prime p, there exist infinitely many length 3 weakly prime-additive numbers divisible by p. In 2018, Fang and Chen showed that for any positive integer m, there exists infinitely many length 3 weakly prime-additive numbers divisible by m if and only if 8 does not divide m. Under the assumption (*) of existence of a prime in certain arithmetic pro…
▽ More
In 1992, Erd$ő$s and Hegyv$á$ri showed that for any prime p, there exist infinitely many length 3 weakly prime-additive numbers divisible by p. In 2018, Fang and Chen showed that for any positive integer m, there exists infinitely many length 3 weakly prime-additive numbers divisible by m if and only if 8 does not divide m. Under the assumption (*) of existence of a prime in certain arithmetic progression with prescribed primitive root, which is true under the Generalized Riemann Hypothesis (GRH), we show for any positive integer m, there exists infinitely many length 4 weakly prime-additive numbers divisible by m. We also present another related result analogous to the length 3 case shown by Fang and Chen.
△ Less
Submitted 25 March, 2019;
originally announced March 2019.
-
Upper Bounds for Cyclotomic Numbers
Authors:
Tai Do Duc,
Ka Hin Leung,
Bernhard Schmidt
Abstract:
Let $q$ be a power of a prime $p$, let $k$ be a nontrivial divisor of $q-1$ and write $e=(q-1)/k$. We study upper bounds for cyclotomic numbers $(a,b)$ of order $e$ over the finite field $\mathbb{F}_q$. A general result of our study is that $(a,b)\leq 3$ for all $a,b \in \mathbb{Z}$ if $p> (\sqrt{14})^{k/ord_k(p)}$. More conclusive results will be obtained through separate investigation of the fiv…
▽ More
Let $q$ be a power of a prime $p$, let $k$ be a nontrivial divisor of $q-1$ and write $e=(q-1)/k$. We study upper bounds for cyclotomic numbers $(a,b)$ of order $e$ over the finite field $\mathbb{F}_q$. A general result of our study is that $(a,b)\leq 3$ for all $a,b \in \mathbb{Z}$ if $p> (\sqrt{14})^{k/ord_k(p)}$. More conclusive results will be obtained through separate investigation of the five types of cyclotomic numbers: $(0,0), (0,a), (a,0), (a,a)$ and $(a,b)$, where $a\neq b$ and $a,b \in \{1,\dots,e-1\}$. The main idea we use is to transform equations over $\mathbb{F}_q$ into equations over the field of complex numbers on which we have more information. A major tool for the improvements we obtain over known results is new upper bounds on the norm of cyclotomic integers.
△ Less
Submitted 18 March, 2019;
originally announced March 2019.
-
A Probabilistic Two-Pile Game
Authors:
Ho-Hon Leung,
Thotsaporn "Aek'' Thanatipanonda
Abstract:
We consider a game with two piles, in which two players take turn to add $a$ or $b$ chips ($a$, $b$ are not necessarily positive) randomly and independently to their respective piles. The player who collects $n$ chips first wins the game. We derive general formulas for $p_n$, the probability of the second player winning the game by collecting $n$ chips first and show the calculation for the cases…
▽ More
We consider a game with two piles, in which two players take turn to add $a$ or $b$ chips ($a$, $b$ are not necessarily positive) randomly and independently to their respective piles. The player who collects $n$ chips first wins the game. We derive general formulas for $p_n$, the probability of the second player winning the game by collecting $n$ chips first and show the calculation for the cases $\{a,b\}$ = $\{-1,1\}$ and $\{-1,2\}$. The latter case was asked by Wong and Xu \cite{WX}. At the end, we derive the general formula for $p_{n_1,n_2}$, the probability of the second player winning the game by collecting $n_2$ chips before the first player collects $n_1$ chips.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
A note on congruence properties of the generalized bi-periodic Horadam sequence
Authors:
Elif Tan,
Ho-Hon Leung
Abstract:
In this paper, we consider a generalization of Horadam sequence {w_n} which is defined by the recurrence w_n = aw_n-1 + cw_n-2; if n is even, w_n = bw_n-1 + cw_n-2; if n is odd with arbitrary initial conditions w_0, w_1 and nonzero real numbers a, b, and c. We investigate some congruence properties of the generalized Horadam sequence {w_n}.
In this paper, we consider a generalization of Horadam sequence {w_n} which is defined by the recurrence w_n = aw_n-1 + cw_n-2; if n is even, w_n = bw_n-1 + cw_n-2; if n is odd with arbitrary initial conditions w_0, w_1 and nonzero real numbers a, b, and c. We investigate some congruence properties of the generalized Horadam sequence {w_n}.
△ Less
Submitted 1 March, 2019;
originally announced March 2019.
-
On local convexity in $\mathbb{L}^0$ and switching probability measures
Authors:
Niushan Gao,
Denny H. Leung,
Foivos Xanthos
Abstract:
In the paper, we investigate the following fundamental question. For a set $\mathcal{K}$ in $\mathbb{L}^0(\mathbb{P})$, when does there exist an equivalent probability measure $\mathbb{Q}$ such that $\mathcal{K}$ is uniformly integrable in $\mathbb{L}^1(\mathbb{Q})$. Specifically, let $\mathcal{K}$ be a convex bounded positive set in $\mathbb{L}^1(\mathbb{P})$. Kardaras [6] asked the following two…
▽ More
In the paper, we investigate the following fundamental question. For a set $\mathcal{K}$ in $\mathbb{L}^0(\mathbb{P})$, when does there exist an equivalent probability measure $\mathbb{Q}$ such that $\mathcal{K}$ is uniformly integrable in $\mathbb{L}^1(\mathbb{Q})$. Specifically, let $\mathcal{K}$ be a convex bounded positive set in $\mathbb{L}^1(\mathbb{P})$. Kardaras [6] asked the following two questions: (1) If the relative $\mathbb{L}^0(\mathbb{P})$-topology is locally convex on $\mathcal{K}$, does there exist $\mathbb{Q}\sim \mathbb{P}$ such that the $\mathbb{L}^0(\mathbb{Q})$- and $\mathbb{L}^1(\mathbb{Q})$-topologies agree on ${\mathcal{K}}$? (2) If $\mathcal{K}$ is closed in the $\mathbb{L}^0(\mathbb{P})$-topology and there exists $\mathbb{Q}\sim \mathbb{P}$ such that the $\mathbb{L}^0(\mathbb{Q})$- and $\mathbb{L}^1(\mathbb{Q})$-topologies agree on $\mathcal{K}$, does there exist $\mathbb{Q}'\sim \mathbb{P}$ such that $\mathcal{K}$ is $\mathbb{Q}'$-uniformly integrable? In the paper, we show that, no matter $\mathcal{K}$ is positive or not, the first question has a negative answer in general and the second one has a positive answer. In addition to answering these questions, we establish probabilistic and topological characterizations of existence of $\mathbb{Q}\sim\mathbb{P}$ satisfying these desired properties. We also investigate the peculiar effects of $\mathcal{K}$ being positive.
△ Less
Submitted 19 August, 2019; v1 submitted 3 February, 2019;
originally announced February 2019.
-
On closedness of law-invariant convex sets in rearrangement invariant spaces
Authors:
Made Tantrawan,
Denny H. Leung
Abstract:
This paper presents relations between several types of closedness of a law-invariant convex set in a rearrangement invariant space $\mathcal{X}$. In particular, we show that order closedness, $σ(\mathcal{X},\mathcal{X}_n^\sim)$-closedness and $σ(\mathcal{X},L^\infty)$-closedness of a law-invariant convex set in $\mathcal{X}$ are equivalent, where $\mathcal{X}_n^\sim$ is the order continuous dual o…
▽ More
This paper presents relations between several types of closedness of a law-invariant convex set in a rearrangement invariant space $\mathcal{X}$. In particular, we show that order closedness, $σ(\mathcal{X},\mathcal{X}_n^\sim)$-closedness and $σ(\mathcal{X},L^\infty)$-closedness of a law-invariant convex set in $\mathcal{X}$ are equivalent, where $\mathcal{X}_n^\sim$ is the order continuous dual of $\mathcal{X}$. We also provide some application to proper quasiconvex law-invariant functionals with the Fatou property.
△ Less
Submitted 19 December, 2019; v1 submitted 24 October, 2018;
originally announced October 2018.
-
A remark on commutative subalgebras of Grassmann algebra
Authors:
Ho-Hon Leung
Abstract:
Let $n=4k+1$ and $k\geq 4$. We show that there exists maximal commutative subalgebras (with respect to inclusion) of dimension less that $3\cdot 2^{n-2}$.
Let $n=4k+1$ and $k\geq 4$. We show that there exists maximal commutative subalgebras (with respect to inclusion) of dimension less that $3\cdot 2^{n-2}$.
△ Less
Submitted 20 October, 2018;
originally announced October 2018.
-
New constructions of Hadamard matrices
Authors:
Ka Hin Leung,
Koji Momihara
Abstract:
In this paper, we obtain a number of new infinite families of Hadamard matrices. Our constructions are based on four new constructions of difference families with four or eight blocks. By applying the Wallis-Whiteman array or the Kharaghani array to the difference families constructed, we obtain new Hadamard matrices of order $4(uv+1)$ for $u=2$ and $v\in Φ_1\cup Φ_2 \cup Φ_3 \cup Φ_4$; and for…
▽ More
In this paper, we obtain a number of new infinite families of Hadamard matrices. Our constructions are based on four new constructions of difference families with four or eight blocks. By applying the Wallis-Whiteman array or the Kharaghani array to the difference families constructed, we obtain new Hadamard matrices of order $4(uv+1)$ for $u=2$ and $v\in Φ_1\cup Φ_2 \cup Φ_3 \cup Φ_4$; and for $u\in \{3,5\}$ and $v\in Φ_1\cup Φ_2 \cup Φ_3$. Here, $Φ_1=\{q^2:q\equiv 1\pmod{4}\mbox{ is a prime power}\}$, $Φ_2=\{n^4\in \mathbb{N}:n\equiv 1\pmod{2}\} \cup \{9n^4\in \mathbb{N}:n\equiv 1\pmod{2}\}$, $Φ_3=\{5\}$ and $Φ_4=\{13,37\}$. Moreover, our construction also yields new Hadamard matrices of order $8(uv+1)$ for any $u\in Φ_1\cup Φ_2$ and $v\in Φ_1\cup Φ_2 \cup Φ_3$.
△ Less
Submitted 12 July, 2019; v1 submitted 14 September, 2018;
originally announced September 2018.
-
A Local Hahn-Banach Theorem and Its Applications
Authors:
Niushan Gao,
Denny H. Leung,
Foivos Xanthos
Abstract:
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local' version of this theorem. The result is applied to study the uo-dual of a Banach lattice that was recently introduced in [3]. We also provide a simplified approac…
▽ More
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local' version of this theorem. The result is applied to study the uo-dual of a Banach lattice that was recently introduced in [3]. We also provide a simplified approach to the measure-free characterization of uniform integrability established in [8].
△ Less
Submitted 5 September, 2018;
originally announced September 2018.
-
On a generalization of the Pentagonal Number Theorem
Authors:
Ho-Hon Leung
Abstract:
We study a generalization of the classical Pentagonal Number Theorem and its applications. We derive new identities for certain infinite series, recurrence relations and convolution sums for certain restricted partitions and divisor sums. We also derive new identities for Bell polynomials.
We study a generalization of the classical Pentagonal Number Theorem and its applications. We derive new identities for certain infinite series, recurrence relations and convolution sums for certain restricted partitions and divisor sums. We also derive new identities for Bell polynomials.
△ Less
Submitted 2 September, 2018;
originally announced September 2018.
-
No lattice tiling of $\mathbb{Z}^n$ by Lee Sphere of radius 2
Authors:
Ka Hin Leung,
Yue Zhou
Abstract:
We prove the nonexistence of lattice tilings of $\mathbb{Z}^n$ by Lee spheres of radius $2$ for all dimensions $n\geq 3$. This implies that the Golomb-Welch conjecture is true when the common radius of the Lee spheres equals $2$ and $2n^2+2n+1$ is a prime. As a direct consequence, we also answer an open question in the degree-diameter problem of graph theory: the order of any abelian Cayley graph…
▽ More
We prove the nonexistence of lattice tilings of $\mathbb{Z}^n$ by Lee spheres of radius $2$ for all dimensions $n\geq 3$. This implies that the Golomb-Welch conjecture is true when the common radius of the Lee spheres equals $2$ and $2n^2+2n+1$ is a prime. As a direct consequence, we also answer an open question in the degree-diameter problem of graph theory: the order of any abelian Cayley graph of diameter $2$ and degree larger than $5$ cannot meet the abelian Cayley Moore bound.
△ Less
Submitted 21 October, 2019; v1 submitted 26 August, 2018;
originally announced August 2018.
-
On closedness of convex sets in Banach lattices
Authors:
Made Tantrawan,
Denny H. Leung
Abstract:
Let $X$ be a Banach lattice. A well-known problem arising from the theory of risk measures asks when order closedness of a convex set in $X$ implies closedness with respect to the topology $σ(X,X_n^\sim)$, where $X_n^\sim$ is the order continuous dual of $X$. Motivated by the solution in the Orlicz space case, we introduce two relevant properties: the disjoint order continuity property ($DOCP$) an…
▽ More
Let $X$ be a Banach lattice. A well-known problem arising from the theory of risk measures asks when order closedness of a convex set in $X$ implies closedness with respect to the topology $σ(X,X_n^\sim)$, where $X_n^\sim$ is the order continuous dual of $X$. Motivated by the solution in the Orlicz space case, we introduce two relevant properties: the disjoint order continuity property ($DOCP$) and the order subsequence splitting property ($OSSP$). We show that when $X$ is monotonically complete with $OSSP$ and $X_n^\sim$ contains a strictly positive element, every order closed convex set in $X$ is $σ(X,X_n^\sim)$-closed if and only if $X$ has $DOCP$ and either $X$ or $X_n^\sim$ is order continuous. This in turn occurs if and only if either $X$ or the norm dual $X^*$ of $X$ is order continuous. We also give a modular condition under which a Banach lattice has $OSSP$. In addition, we also give a characterization of $X$ for which order closedness of a convex set in $X$ is equivalent to closedness with respect to the topology $σ(X,X_{uo}^\sim)$, where $X_{uo}^\sim$ is the unbounded order continuous dual of $X$.
△ Less
Submitted 24 October, 2018; v1 submitted 20 August, 2018;
originally announced August 2018.
-
Determinants containing powers of polynomial sequences
Authors:
Ho-Hon Leung
Abstract:
We derive identities for the determinants of matrices whose entries are (rising) powers of (products of) polynomials that satisfy a recurrence relation. In particular, these results cover the cases for Fibonacci polynomials, Lucas polynomials and certain orthogonal polynomials. These identities naturally generalize the determinant identities obtained by Alfred, Carlitz, Prodinger, Tangboonduangjit…
▽ More
We derive identities for the determinants of matrices whose entries are (rising) powers of (products of) polynomials that satisfy a recurrence relation. In particular, these results cover the cases for Fibonacci polynomials, Lucas polynomials and certain orthogonal polynomials. These identities naturally generalize the determinant identities obtained by Alfred, Carlitz, Prodinger, Tangboonduangjit and Thanatipanonda.
△ Less
Submitted 27 June, 2018;
originally announced June 2018.
-
Maximal commutative subalgebras of a Grassmann algebra
Authors:
Victor A. Bovdi,
Ho-Hon Leung
Abstract:
We investigate the structure of maximal commutative subalgebras of the finite dimensional Grassmann algebra over a field of characteristic different from two.
We investigate the structure of maximal commutative subalgebras of the finite dimensional Grassmann algebra over a field of characteristic different from two.
△ Less
Submitted 9 March, 2018;
originally announced March 2018.
-
Another Identity for Complete Bell Polynomials based on Ramanujan's Congruences
Authors:
Ho-Hon Leung
Abstract:
Let $p(n)$ be the number of partition of a positive integer $n$. We derive a new identity for complete Bell polynomials based on a generating function of $p(7n+5)$ given by Ramanujan.
Let $p(n)$ be the number of partition of a positive integer $n$. We derive a new identity for complete Bell polynomials based on a generating function of $p(7n+5)$ given by Ramanujan.
△ Less
Submitted 12 September, 2018; v1 submitted 23 February, 2018;
originally announced February 2018.
-
Derivations on four dimensional genetic Volterra algebra
Authors:
Ho-Hon Leung
Abstract:
In this paper, we describe all derivations on four dimensional genetic Volterra algebras. We show that any local derivation is a derivation of the algebra. It is a positive answer to a conjecture made by Ganikhodzhaev, Mukhamedov, Pirnapasov and Qaralleh.
In this paper, we describe all derivations on four dimensional genetic Volterra algebras. We show that any local derivation is a derivation of the algebra. It is a positive answer to a conjecture made by Ganikhodzhaev, Mukhamedov, Pirnapasov and Qaralleh.
△ Less
Submitted 26 December, 2017;
originally announced December 2017.
-
Duality for unbounded order convergence and applications
Authors:
Niushan Gao,
Denny H. Leung,
Foivos Xanthos
Abstract:
Unbounded order convergence has lately been systematically studied as a generalization of almost everywhere convergence to the abstract setting of vector and Banach lattices. This paper presents a duality theory for unbounded order convergence. We define the unbounded order dual (or uo-dual) $X_{uo}^\sim$ of a Banach lattice $X$ and identify it as the order continuous part of the order continuous…
▽ More
Unbounded order convergence has lately been systematically studied as a generalization of almost everywhere convergence to the abstract setting of vector and Banach lattices. This paper presents a duality theory for unbounded order convergence. We define the unbounded order dual (or uo-dual) $X_{uo}^\sim$ of a Banach lattice $X$ and identify it as the order continuous part of the order continuous dual $X_n^\sim$. The result allows us to characterize the Banach lattices that have order continuous preduals and to show that an order continuous predual is unique when it exists. Applications to the Fenchel-Moreau duality theory of convex functionals are given. The applications are of interest in the theory of risk measures in Mathematical Finance.
△ Less
Submitted 15 May, 2017;
originally announced May 2017.
-
Smallest order closed sublattices and option spanning
Authors:
Niushan Gao,
Denny H. Leung
Abstract:
Let $Y$ be a sublattice of a vector lattice $X$. We consider the problem of identifying the smallest order closed sublattice of $X$ containing $Y$. It is known that the analogy with topological closure fails. Let $\overline{Y}^o$ be the order closure of $Y$ consisting of all order limits of nets of elements from $Y$. Then $\overline{Y}^o$ need not be order closed. We show that in many cases the sm…
▽ More
Let $Y$ be a sublattice of a vector lattice $X$. We consider the problem of identifying the smallest order closed sublattice of $X$ containing $Y$. It is known that the analogy with topological closure fails. Let $\overline{Y}^o$ be the order closure of $Y$ consisting of all order limits of nets of elements from $Y$. Then $\overline{Y}^o$ need not be order closed. We show that in many cases the smallest order closed sublattice containing $Y$ is in fact the second order closure $\overline{\overline{Y}^o}^o$. Moreover, if $X$ is a $σ$-order complete Banach lattice, then the condition that $\overline{Y}^o$ is order closed for every sublattice $Y$ characterizes order continuity of the norm of $X$. The present paper provides a general approach to a fundamental result in financial economics concerning the spanning power of options written on a financial asset.
△ Less
Submitted 28 March, 2017;
originally announced March 2017.
-
On ordinal ranks of Baire class functions
Authors:
Denny H. Leung,
Hong-Wai Ng,
Wee-Kee Tang
Abstract:
The theory of ordinal ranks on Baire class 1 functions developed by Kechris and Loveau was recently extended by Elekes, Kiss and Vidnyánszky to Baire class $ξ$ functions for any countable ordinal $ξ\geq1$. In this paper, we answer two of the questions raised by them in their paper (Ranks on the Baire class $ξ$ functions, Trans. Amer. Math. Soc. 368(2016), 8111-8143). Specifically, we show that for…
▽ More
The theory of ordinal ranks on Baire class 1 functions developed by Kechris and Loveau was recently extended by Elekes, Kiss and Vidnyánszky to Baire class $ξ$ functions for any countable ordinal $ξ\geq1$. In this paper, we answer two of the questions raised by them in their paper (Ranks on the Baire class $ξ$ functions, Trans. Amer. Math. Soc. 368(2016), 8111-8143). Specifically, we show that for any countable ordinal $ξ\geq1,$ the ranks $β_ξ^{\ast}$ and $γ_ξ^{\ast}$ are essentially equivalent, and that neither of them is essentially multiplicative. Since the rank $β$ is not essentially multiplicative, we investigate further the behavior of this rank with respect to products. We characterize the functions $f$ so that $β(fg)\leq ω^ξ$ whenever $β(g)\leqω^ξ$ for any countable ordinal $ξ.$
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
