-
On the Springer correspondence for wreath products
Authors:
You-Hung Hsu,
Chun-Ju Lai
Abstract:
We first show that the wreath product $Σ_m\wr Σ_d$ between two symmetric groups appears as the generalized Weyl group of an Iwahori's generalized Tits system. We then introduce a certain subvariety of the flag variety of type A, and then give a geometric proof of its Bruhat decomposition indexed by $Σ_m\wr Σ_d$, via the Bialynicki-Birula decomposition. Furthermore, we realize the group algebra…
▽ More
We first show that the wreath product $Σ_m\wr Σ_d$ between two symmetric groups appears as the generalized Weyl group of an Iwahori's generalized Tits system. We then introduce a certain subvariety of the flag variety of type A, and then give a geometric proof of its Bruhat decomposition indexed by $Σ_m\wr Σ_d$, via the Bialynicki-Birula decomposition. Furthermore, we realize the group algebra $\mathbb{Q}[Σ_m\wr Σ_d]$ as the top Borel-Moore homology of a Steinberg variety. Such a geometric realization leads to a Springer correspondence for the irreducible representations over $\mathbb{C}[Σ_m\wr Σ_d]$, which can be regarded as a counterpart of the Clifford theory for wreath products. Consequently, we have obtained a new Springer correspondence of type B/C/D using essentially type A geometry.
△ Less
Submitted 18 April, 2024; v1 submitted 3 April, 2024;
originally announced April 2024.
-
Erdős similarity problem via bi-Lipschitz embedding
Authors:
De-jun Feng,
Chun-Kit Lai,
Ying Xiong
Abstract:
The Erdős similarity conjecture asserted that an infinite set of real numbers cannot be affinely embedded into every measurable set of positive Lebesgue measure. The problem is still open, in particular for all fast decaying sequences. In this paper, we relax the problem to the bi-Lipschitz embedding and obtain some sharp criteria about the bi-Lipschitz Erdős similarity problem for strictly decrea…
▽ More
The Erdős similarity conjecture asserted that an infinite set of real numbers cannot be affinely embedded into every measurable set of positive Lebesgue measure. The problem is still open, in particular for all fast decaying sequences. In this paper, we relax the problem to the bi-Lipschitz embedding and obtain some sharp criteria about the bi-Lipschitz Erdős similarity problem for strictly decreasing sequences.
△ Less
Submitted 3 December, 2023;
originally announced December 2023.
-
On character table of Clifford groups
Authors:
Chin-Yen Lee,
Wei-Hsuan Yu,
Yung-Ning Peng,
Ching-Jui Lai
Abstract:
Based on a presentation of $\mathcal{C}_n$ and the help of [GAP], we construct the character table of the Clifford group $\mathcal{C}_n$ for $n=1,2,3$. As an application, we can efficiently decompose the (higher power of) tensor product of the matrix representation in those cases. Our results recover some known results in [HWW, WF] and reveal some new phenomena. We prove that when $n \geq 3$, (1)…
▽ More
Based on a presentation of $\mathcal{C}_n$ and the help of [GAP], we construct the character table of the Clifford group $\mathcal{C}_n$ for $n=1,2,3$. As an application, we can efficiently decompose the (higher power of) tensor product of the matrix representation in those cases. Our results recover some known results in [HWW, WF] and reveal some new phenomena. We prove that when $n \geq 3$, (1) the trivial character is the only linear character for $\mathcal{C}_n$ and hence $\mathcal{C}_n$ equals to its commutator subgroup, (2) the $n$-qubit Pauli group $\mathcal{P}_n$ is the only proper non-trivial normal subgroup of $\mathcal{C}_n$, (3) the matrix representation $\mathcal{M}_{2^n}$ is a faithful representation for $\mathcal{C}_n$. As a byproduct, we give a presentation of the finite symplectic group $Sp(2n,2)$ in terms of generators and relations.
△ Less
Submitted 25 October, 2023; v1 submitted 26 September, 2023;
originally announced September 2023.
-
Riesz bases of exponentials for multi-tiling measures
Authors:
Chun-Kit Lai,
Alexander Sheynis
Abstract:
Let $G$ be a closed subgroup of ${\mathbb R}^d$ and let $ν$ be a Borel probability measure admitting a Riesz basis of exponentials with frequency sets in the dual group $G^{\perp}$. We form a multi-tiling measure $μ= μ_1+...+μ_N$ where $μ_i$ is translationally equivalent to $ν$ and different $μ_i$ and $μ_j$ have essentially disjoint support. We obtain some necessary and sufficient conditions for…
▽ More
Let $G$ be a closed subgroup of ${\mathbb R}^d$ and let $ν$ be a Borel probability measure admitting a Riesz basis of exponentials with frequency sets in the dual group $G^{\perp}$. We form a multi-tiling measure $μ= μ_1+...+μ_N$ where $μ_i$ is translationally equivalent to $ν$ and different $μ_i$ and $μ_j$ have essentially disjoint support. We obtain some necessary and sufficient conditions for $μ$ to admit a Riesz basis of exponentials . As an application, the square boundary, after a rotation, is a union of two fundamental domains of $G = {\mathbb Z}\times {\mathbb R}$ and can be regarded as a multi-tiling measure. We show that, unfortunately, the square boundary does not admit a Riesz basis of exponentials of the form as a union of translate of discrete subgroups ${\mathbb Z}\times \{0\}$. This rules out a natural candidate of potential Riesz basis for the square boundary.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Projections of totally disconnected thin fractals with very thick shadows on ${\mathbb R}^d$
Authors:
Chun-Kit Lai,
Lekha Priya Patil
Abstract:
We study an extreme scenario of the Mastrand projection theorem for which a fractal has the property that its orthogonal projection is the same as the orthogonal projection of its convex hull. We extend results in current literature and establish checkable criteria for self-affine sets to have such property. Using this, we show that every convex polytope on $\R^d$ contains a totally disconnected c…
▽ More
We study an extreme scenario of the Mastrand projection theorem for which a fractal has the property that its orthogonal projection is the same as the orthogonal projection of its convex hull. We extend results in current literature and establish checkable criteria for self-affine sets to have such property. Using this, we show that every convex polytope on $\R^d$ contains a totally disconnected compact set, which is a union of self-affine sets, of dimension as close to 1 as possible, as well as a rectifiable 1-set, such that the fractal projects to an interval in every 1-dimensional subspace and its convex hull is the given polytope. Other convex sets and projections onto higher dimensional subspaces will also be discussed.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Multi-stage Neural Networks: Function Approximator of Machine Precision
Authors:
Yongji Wang,
Ching-Yao Lai
Abstract:
Deep learning techniques are increasingly applied to scientific problems, where the precision of networks is crucial. Despite being deemed as universal function approximators, neural networks, in practice, struggle to reduce the prediction errors below $O(10^{-5})$ even with large network size and extended training iterations. To address this issue, we developed the multi-stage neural networks tha…
▽ More
Deep learning techniques are increasingly applied to scientific problems, where the precision of networks is crucial. Despite being deemed as universal function approximators, neural networks, in practice, struggle to reduce the prediction errors below $O(10^{-5})$ even with large network size and extended training iterations. To address this issue, we developed the multi-stage neural networks that divides the training process into different stages, with each stage using a new network that is optimized to fit the residue from the previous stage. Across successive stages, the residue magnitudes decreases substantially and follows an inverse power-law relationship with the residue frequencies. The multi-stage neural networks effectively mitigate the spectral biases associated with regular neural networks, enabling them to capture the high frequency feature of target functions. We demonstrate that the prediction error from the multi-stage training for both regression problems and physics-informed neural networks can nearly reach the machine-precision $O(10^{-16})$ of double-floating point within a finite number of iterations. Such levels of accuracy are rarely attainable using single neural networks alone.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Global Existence and Aggregation of Chemotaxis-fluid Systems in Dimension Two
Authors:
Fanze Kong,
Chen-Chih Lai,
Juncheng Wei
Abstract:
To describe the cellular self-aggregation phenomenon, some strongly coupled PDEs named as Keller-Segel (KS) and Patlak-Keller-Segel (PKS) systems were proposed in 1970s. Since KS and PKS systems possess relatively simple structures but admit rich dynamics, plenty of scholars have studied them and obtained many significant results. However, the cells in general direct their movement in liquid. As a…
▽ More
To describe the cellular self-aggregation phenomenon, some strongly coupled PDEs named as Keller-Segel (KS) and Patlak-Keller-Segel (PKS) systems were proposed in 1970s. Since KS and PKS systems possess relatively simple structures but admit rich dynamics, plenty of scholars have studied them and obtained many significant results. However, the cells in general direct their movement in liquid. As a consequence, it seems more realistic to consider the influence of ambient fluid flow on the chemotactic mechanism.
Motivated by this, He et al. (SIAM J. Math. Anal., Vol. 53, No. 3, 2021) proposed a coupled Patlak-Keller-Segel-Navier-Stokes system that features the effect of the friction induced by the cells on the ambient fluid flow. In their pioneer work, the global existence of solutions of such system in 2D was established when the initial mass is strictly less than a threshold, which is referred to as the subcritical case. The last two authors and Zhou (Indiana Univ. Math. J., Vol. 72, No. 1, 2023) extended their result to the critical case. To our best knowledge, this system has only been studied in either the whole space or periodic domains.
In this paper, we consider the chemotaxis-fluid system in two-dimensional bounded domains, in which the boundary conditions are Neumann conditions for the cell density and the chemical concentration, and the Navier slip boundary condition with zero friction for the fluid velocity. We prove that the solution of the system exists globally in time with the subcritical mass. Concerning the critical mass case, we construct the boundary spot equilibrium rigorously via the inner-outer gluing method.
In particular, we develop the global $W^{2,p}$ theory for the 2D stationary Stokes system subject to Navier boundary conditions and further establish semigroup estimates of the nonstationary counterpart by analyzing the Stokes eigenvalue problem.
△ Less
Submitted 1 August, 2023; v1 submitted 17 July, 2023;
originally announced July 2023.
-
On the Equivalence of Consistency-Type Models: Consistency Models, Consistent Diffusion Models, and Fokker-Planck Regularization
Authors:
Chieh-Hsin Lai,
Yuhta Takida,
Toshimitsu Uesaka,
Naoki Murata,
Yuki Mitsufuji,
Stefano Ermon
Abstract:
The emergence of various notions of ``consistency'' in diffusion models has garnered considerable attention and helped achieve improved sample quality, likelihood estimation, and accelerated sampling. Although similar concepts have been proposed in the literature, the precise relationships among them remain unclear. In this study, we establish theoretical connections between three recent ``consist…
▽ More
The emergence of various notions of ``consistency'' in diffusion models has garnered considerable attention and helped achieve improved sample quality, likelihood estimation, and accelerated sampling. Although similar concepts have been proposed in the literature, the precise relationships among them remain unclear. In this study, we establish theoretical connections between three recent ``consistency'' notions designed to enhance diffusion models for distinct objectives. Our insights offer the potential for a more comprehensive and encompassing framework for consistency-type models.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
A converse Lyapunov-type theorem for control systems with regulated cost
Authors:
Anna Chiara Lai,
Monica Motta
Abstract:
Given a nonlinear control system, a target set, a nonnegative integral cost, and a continuous function $W$, we say that the system is globally asymptotically controllable to the target with W-regulated cost, whenever, starting from any point z, among the strategies that achieve classical asymptotic controllability we can select one that also keeps the cost less than W(z). In this paper, assuming m…
▽ More
Given a nonlinear control system, a target set, a nonnegative integral cost, and a continuous function $W$, we say that the system is globally asymptotically controllable to the target with W-regulated cost, whenever, starting from any point z, among the strategies that achieve classical asymptotic controllability we can select one that also keeps the cost less than W(z). In this paper, assuming mild regularity hypotheses on the data, we prove that a necessary and sufficient condition for global asymptotic controllability with regulated cost is the existence of a special, continuous Control Lyapunov function, called a Minimum Restraint function. The main novelty is the necessity implication, obtained here for the first time. Nevertheless, the sufficiency condition extends previous results based on semiconcavity of the Minimum Restraint function, while we require mere continuity.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
Thermal relaxation toward equilibrium and periodically pulsating spherical bubbles in an incompressible liquid
Authors:
Chen-Chih Lai,
Michael I. Weinstein
Abstract:
We study the radial relaxation dynamics toward equilibrium and time-periodic pulsating spherically symmetric gas bubbles in an incompressible liquid due to thermal effects. The asymptotic model ([A. Prosperetti, J. Fluid Mech., 1991] and [Z. Biro and J. J. L. Velazquez, SIAM J. Math. Anal., 2000]) is one where the pressure within the gas bubble is spatially uniform and satisfies an ideal gas law,…
▽ More
We study the radial relaxation dynamics toward equilibrium and time-periodic pulsating spherically symmetric gas bubbles in an incompressible liquid due to thermal effects. The asymptotic model ([A. Prosperetti, J. Fluid Mech., 1991] and [Z. Biro and J. J. L. Velazquez, SIAM J. Math. Anal., 2000]) is one where the pressure within the gas bubble is spatially uniform and satisfies an ideal gas law, relating the pressure, density and temperature of the gas. The temperature of the surrounding liquid is taken to be constant and the behavior of the liquid pressure at infinity is prescribed to be constant or periodic in time. In arXiv:2207.04079, for the case where the liquid pressure at infinity is a positive constant, we proved the existence of a one-parameter manifold of spherical equilibria, parameterized by the bubble mass, and further proved that it is a nonlinearly and exponentially asymptotically stable center manifold.
In the present article, we first refine the exponential time-decay estimates, via a study of the linearized dynamics subject to the constraint of fixed mass. We obtain, in particular, estimates for the exponential decay rate constant, which highlight the interplay between the effects of thermal diffusivity and the liquid viscosity.
We then study the nonlinear radial dynamics of the bubble-fluid system subject to a pressure field at infinity which is a small-amplitude and time-periodic perturbation about a positive constant. We prove that nonlinearly and exponentially asymptotically stable time-periodically pulsating solutions of the nonlinear (asymptotic) model exist for all sufficiently small forcing amplitudes. The existence of such states is formulated as a fixed point problem for the Poincaré return map, and the existence of a fixed point makes use of our (constant mass constrained) exponential time-decay estimates of the linearized problem.
△ Less
Submitted 14 May, 2023; v1 submitted 5 May, 2023;
originally announced May 2023.
-
Quantum wreath products and Schur-Weyl duality I
Authors:
Chun-Ju Lai,
Daniel K. Nakano,
Ziqing Xiang
Abstract:
In this paper the authors introduce a new notion called the quantum wreath product, which is the algebra $B \wr_Q \mathcal{H}(d)$ produced from a given algebra $B$, a positive integer $d$, and a choice $Q=(R,S,ρ,σ)$ of parameters. Important examples {that arise from our construction} include many variants of the Hecke algebras, such as the Ariki-Koike algebras, the affine Hecke algebras and their…
▽ More
In this paper the authors introduce a new notion called the quantum wreath product, which is the algebra $B \wr_Q \mathcal{H}(d)$ produced from a given algebra $B$, a positive integer $d$, and a choice $Q=(R,S,ρ,σ)$ of parameters. Important examples {that arise from our construction} include many variants of the Hecke algebras, such as the Ariki-Koike algebras, the affine Hecke algebras and their degenerate version, Wan-Wang's wreath Hecke algebras, Rosso-Savage's (affine) Frobenius Hecke algebras, Kleshchev-Muth's affine zigzag algebras, and the Hu algebra that quantizes the wreath product $Σ_m \wr Σ_2$ between symmetric groups.
In the first part of the paper, the authors develop a structure theory for the quantum wreath products. Necessary and sufficient conditions for these algebras to afford a basis of suitable size are obtained. Furthermore, a Schur-Weyl duality is established via a splitting lemma and mild assumptions on the base algebra $B$. Our uniform approach encompasses many known results which were proved in a case by case manner. The second part of the paper involves the problem of constructing natural subalgebras of Hecke algebras that arise from wreath products. Moreover, a bar-invariant basis of the Hu algebra via an explicit formula for its extra generator is also described.
△ Less
Submitted 16 February, 2024; v1 submitted 27 April, 2023;
originally announced April 2023.
-
Optimal expansions of Kakeya sequences
Authors:
Anna Chiara Lai,
Paola Loreti
Abstract:
We investigate optimal expansions of Kakeya sequences for the representation of real numbers. Expansions of Kakeya sequences generalize the expansions in non-integer bases and they display analogous redundancy phenomena. In this paper, we characterize optimal expansions of Kakeya sequences, and we provide conditions for the existence of unique expansions with respect to Kakeya sequences.
We investigate optimal expansions of Kakeya sequences for the representation of real numbers. Expansions of Kakeya sequences generalize the expansions in non-integer bases and they display analogous redundancy phenomena. In this paper, we characterize optimal expansions of Kakeya sequences, and we provide conditions for the existence of unique expansions with respect to Kakeya sequences.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
-
On the size of maximal binary codes with 2, 3, and 4 distances
Authors:
Alexander Barg,
Alexey Glazyrin,
Wei-Jiun Kao,
Ching-Yi Lai,
Pin-Chieh Tseng,
Wei-Hsuan Yu
Abstract:
We address the maximum size of binary codes and binary constant weight codes with few distances. Previous works established a number of bounds for these quantities as well as the exact values for a range of small code lengths. As our main results, we determine the exact size of maximal binary codes with two distances for all lengths $n\ge 6$ as well as the exact size of maximal binary constant wei…
▽ More
We address the maximum size of binary codes and binary constant weight codes with few distances. Previous works established a number of bounds for these quantities as well as the exact values for a range of small code lengths. As our main results, we determine the exact size of maximal binary codes with two distances for all lengths $n\ge 6$ as well as the exact size of maximal binary constant weight codes with 2,3, and 4 distances for several values of the weight and for all but small lengths.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
Classification of spectral self-similar measures with four-digit elements
Authors:
Li-Xiang An,
Xinggang He,
Chun-Kit Lai
Abstract:
Let $μ$ be a self-similar measure generated by iterated function system of four maps of equal contraction ratio $0<ρ<1$. We study when $μ$ is a spectral measure which means that it admits an exponential orthonormal basis $\{e^{2πi λx}\}_{λ\inΛ}$ in $L^2(μ)$. By combining previous results of many authors and a careful study of some new cases, we completely classify all spectral self-similar measure…
▽ More
Let $μ$ be a self-similar measure generated by iterated function system of four maps of equal contraction ratio $0<ρ<1$. We study when $μ$ is a spectral measure which means that it admits an exponential orthonormal basis $\{e^{2πi λx}\}_{λ\inΛ}$ in $L^2(μ)$. By combining previous results of many authors and a careful study of some new cases, we completely classify all spectral self-similar measures with four maps. Moreover, the case allows us to propose a modified Łaba-Wang conjecture concerning when the self-similar measures are spectral in general cases.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Product-form Hadamard triples and its spectral self-similar measures
Authors:
Li-Xiang An,
Chun-Kit Lai
Abstract:
In a previous work by Łaba and Wang, it was proved that whenever there is a Hadamard triple $(N,{\mathcal D},{\mathcal L})$, then the associated one-dimensional self-similar measure $μ_{N,{\mathcal D}}$ generated by maps $N^{-1}(x+d)$ with $d\in{\mathcal D}$, is a spectral measure. In this paper, we introduce product-form digit sets for finitely many Hadamard triples…
▽ More
In a previous work by Łaba and Wang, it was proved that whenever there is a Hadamard triple $(N,{\mathcal D},{\mathcal L})$, then the associated one-dimensional self-similar measure $μ_{N,{\mathcal D}}$ generated by maps $N^{-1}(x+d)$ with $d\in{\mathcal D}$, is a spectral measure. In this paper, we introduce product-form digit sets for finitely many Hadamard triples $(N, {\mathcal A}_k, {\mathcal L}_k)$ by putting each triple into different scales of $N$. Our main result is to prove that the associated self-similar measure $μ_{N,{\mathcal D}}$ is a spectral measure. This result allows us to show that product-form self-similar tiles are spectral sets as long as the tiles in the group ${\mathbb Z}_N$ obey the Coven-Meyerowitz $(T1)$, $(T2)$ tiling condition. Moreover, we show that all self-similar tiles with $N = p^αq$ are spectral sets, answering a question by Fu, He and Lau in 2015. Finally, our results allow us to offer new singular spectral measures not generated by a single Hadamard triple. Such new examples allow us to classify all spectral self-similar measures generated by four equi-contraction maps, which will appear in a forthcoming paper.
△ Less
Submitted 7 August, 2023; v1 submitted 12 September, 2022;
originally announced September 2022.
-
Syndrome decoding by quantum approximate optimization
Authors:
Ching-Yi Lai,
Kao-Yueh Kuo,
Bo-Jyun Liao
Abstract:
The syndrome decoding problem is known to be NP-hard. We use the quantum approximate optimization algorithm (QAOA) to solve the syndrome decoding problem with elegantly-designed generator- and check-based cost Hamiltonians for classical and quantum codes. Simulations of the level-4 check-based QAOA decoding of the [7,4,3] Hamming code, as well as the level-4 generator-based QAOA decoding of the [[…
▽ More
The syndrome decoding problem is known to be NP-hard. We use the quantum approximate optimization algorithm (QAOA) to solve the syndrome decoding problem with elegantly-designed generator- and check-based cost Hamiltonians for classical and quantum codes. Simulations of the level-4 check-based QAOA decoding of the [7,4,3] Hamming code, as well as the level-4 generator-based QAOA decoding of the [[5,1,3]] quantum code, demonstrate decoding performances that match the maximum likelihood decoding. In addition, we show that a combinatorial optimization problem with additional redundant clauses may be more suitable for QAOA, while the number of qubits remains the same. Furthermore, we show that the QAOA decoding of a quantum code is inherently degenerate. That is, degenerate errors of comparable weight will be returned by QAOA with comparable probability. This is supported by simulations of the generator-based QAOA decoding of the [[9,1,3]] Shor code.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
Mild solutions and spacetime integral bounds for Stokes and Navier-Stokes flows in Wiener amalgam spaces
Authors:
Zachary Bradshaw,
Chen-Chih Lai,
Tai-Peng Tsai
Abstract:
We first prove decay estimates and spacetime integral bounds for Stokes flows in amalgam spaces $E^r_q$ which connect the classical Lebesgue spaces to the spaces of uniformly locally $r$-integrable functions. Using these estimates, we construct mild solutions of the Navier-Stokes equations in the amalgam spaces satisfying the corresponding spacetime integral bounds. Time-global solutions are const…
▽ More
We first prove decay estimates and spacetime integral bounds for Stokes flows in amalgam spaces $E^r_q$ which connect the classical Lebesgue spaces to the spaces of uniformly locally $r$-integrable functions. Using these estimates, we construct mild solutions of the Navier-Stokes equations in the amalgam spaces satisfying the corresponding spacetime integral bounds. Time-global solutions are constructed for small data in $E^3_q$, $1\le q \le 3$. Our results provide new bounds for the strong solutions classically constructed by Kato and the more recent solutions in uniformly local spaces constructed by Maekawa and Terasawa. As an application we obtain a result on the stability of suitability for weak solutions to the perturbed Navier-Stokes equation where the drift velocity solves the Navier-Stokes equations and has small data in a local $L^3$ class. Extending an earlier result, we also construct global-in-time local energy weak solutions in $E^2_q$, $1\le q <2$.
△ Less
Submitted 30 November, 2022; v1 submitted 9 July, 2022;
originally announced July 2022.
-
Free boundary problem for a gas bubble in a liquid, and exponential stability of the manifold of spherically symmetric equilibria
Authors:
Chen-Chih Lai,
Michael I. Weinstein
Abstract:
We consider the dynamics of a gas bubble immersed in an incompressible fluid of fixed temperature, and focus on the relaxation of an expanding and contracting spherically symmetric bubble due to thermal effects. We study two models, both systems of PDEs with an evolving free boundary: the full mathematical model as well as an approximate model, arising for example in the study of sonoluminescence.…
▽ More
We consider the dynamics of a gas bubble immersed in an incompressible fluid of fixed temperature, and focus on the relaxation of an expanding and contracting spherically symmetric bubble due to thermal effects. We study two models, both systems of PDEs with an evolving free boundary: the full mathematical model as well as an approximate model, arising for example in the study of sonoluminescence. For fixed physical parameters (surface tension of the gas-liquid interface, liquid viscosity, thermal conductivity of the gas, etc.), both models share a family of spherically symmetric equilibria, smoothly parametrized by the mass of the gas bubble. Our main result concerns the approximate model. We prove the nonlinear asymptotic stability of the manifold of equilibria with respect to small spherically symmetric perturbations. The rate of convergence is exponential in time. To prove this result we first prove a weak form of nonlinear asymptotic stability -- with no explicit rate of time-decay -- using the energy dissipation law, and then, via a center manifold analysis, bootstrap the weak time-decay to exponential time-decay.
We also study the uniqueness of the family of spherically symmetric equilibria within each model. The family of spherically symmetric equilibria captures all regular spherically symmetric equilibria of the approximate system. However within the full model, this family is embedded in a larger family of spherically symmetric solutions. For the approximate system, we prove that all equilibrium bubbles are spherically symmetric, by an application of Alexandrov's theorem on closed surfaces of constant mean curvature.
△ Less
Submitted 3 October, 2023; v1 submitted 8 July, 2022;
originally announced July 2022.
-
On a topological Erdős similarity problem
Authors:
John Gallagher,
Chun-Kit Lai,
Eric Weber
Abstract:
A pattern is called universal in another collection of sets, when every set in the collection contains some linear and translated copy of the original pattern. Paul Erdős proposed a conjecture that no infinite set is universal in the collection of sets with positive measure. This paper explores an analogous problem in the topological setting. Instead of sets with positive measure, we investigate t…
▽ More
A pattern is called universal in another collection of sets, when every set in the collection contains some linear and translated copy of the original pattern. Paul Erdős proposed a conjecture that no infinite set is universal in the collection of sets with positive measure. This paper explores an analogous problem in the topological setting. Instead of sets with positive measure, we investigate the collection of dense $G_δ$ sets and in the collection of generic sets (dense $G_δ$ and complement has Lebesgue measure zero). We refer to such pattern as topologically universal and generically universal respectively. It is easy to show that any countable set is topologically universal, while any set containing an interior cannot be topologically universal. In this paper, we will show that Cantor sets on ${\mathbb R}^d$ are not topologically universal and Cantor sets with positive Newhouse thickness on ${\mathbb R}^1$ are not generically universal. This gives a positive partial answer to a question by Svetic concerning the Erdős similarity problem on Cantor sets. Moreover, we also obtain a higher dimensional generalization of the generic universality problem.
△ Less
Submitted 31 October, 2022; v1 submitted 7 July, 2022;
originally announced July 2022.
-
Semidefinite programming bounds for few-distance sets in the Hamming and Johnson spaces
Authors:
Alexander Barg,
Ching-Yi Lai,
Pin-Chieh Tseng,
Wei-Hsuan Yu
Abstract:
We study the maximum cardinality problem of a set of few distances in the Hamming and Johnson spaces. We formulate semidefinite programs for this problem and extend the 2011 works by Barg-Musin and Musin-Nozaki. As our main result, we find new parameters for which the maximum size of two- and three-distance sets is known exactly.
We study the maximum cardinality problem of a set of few distances in the Hamming and Johnson spaces. We formulate semidefinite programs for this problem and extend the 2011 works by Barg-Musin and Musin-Nozaki. As our main result, we find new parameters for which the maximum size of two- and three-distance sets is known exactly.
△ Less
Submitted 7 July, 2022; v1 submitted 27 June, 2022;
originally announced June 2022.
-
The movable cone of Calabi--Yau threefolds in ruled Fano manifolds
Authors:
Atsushi Ito,
Ching-Jui Lai,
Sz-Sheng Wang
Abstract:
We describe explicitly the chamber structure of the movable cone for a general complete intersection Calabi--Yau threefold in a non-split $(n + 4)$-dimensional $\mathbb{P}^{n}$-ruled Fano manifold of index $n + 1$ and Picard number two. Moreover, all birational minimal models of such Calabi--Yau threefolds are found whose number is finite.
We describe explicitly the chamber structure of the movable cone for a general complete intersection Calabi--Yau threefold in a non-split $(n + 4)$-dimensional $\mathbb{P}^{n}$-ruled Fano manifold of index $n + 1$ and Picard number two. Moreover, all birational minimal models of such Calabi--Yau threefolds are found whose number is finite.
△ Less
Submitted 16 November, 2023; v1 submitted 31 May, 2022;
originally announced May 2022.
-
Large sets avoiding affine copies of infinite sequences
Authors:
Angel Cruz,
Chun-Kit Lai,
Malabika Pramanik
Abstract:
A conjecture of Erdős states that for any infinite set $A \subseteq \mathbb R$, there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$. The conjecture remains open for most fast-decaying sequences, including the geometric sequence $A = \{2^{-k} : k \geq 1\}$. In this article, we consider infinite decreasing sequences…
▽ More
A conjecture of Erdős states that for any infinite set $A \subseteq \mathbb R$, there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$. The conjecture remains open for most fast-decaying sequences, including the geometric sequence $A = \{2^{-k} : k \geq 1\}$. In this article, we consider infinite decreasing sequences $A = \{a_k: k \geq 1\}$ in ${\mathbb R}$ that converge to zero at a prescribed rate; namely $\log (a_n/a_{n+1}) = e^{\varphi(n)} $, where $\varphi(n)/n\to 0$ as $n\to\infty$. This condition is satisfied by sequences whose logarithm has polynomial decay, and in particular by the geometric sequence. For any such sequence $A$, we construct a Borel set ${\mathcal O}\subseteq \mathbb R$ of Hausdorff dimension 1, but Lebesgue measure zero, that avoids all nontrivial affine copies of $A\cup\{0\}$.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
Semidefinite programming bounds for binary codes from a split Terwilliger algebra
Authors:
Pin-Chieh Tseng,
Ching-Yi Lai,
Wei-Hsuan Yu
Abstract:
We study the upper bounds for $A(n,d)$, the maximum size of codewords with length $n$ and Hamming distance at least $d$. Schrijver studied the Terwilliger algebra of the Hamming scheme and proposed a semidefinite program to bound $A(n, d)$. We derive more sophisticated matrix inequalities based on a split Terwilliger algebra to improve Schrijver's semidefinite programming bounds on $A(n, d)$. In p…
▽ More
We study the upper bounds for $A(n,d)$, the maximum size of codewords with length $n$ and Hamming distance at least $d$. Schrijver studied the Terwilliger algebra of the Hamming scheme and proposed a semidefinite program to bound $A(n, d)$. We derive more sophisticated matrix inequalities based on a split Terwilliger algebra to improve Schrijver's semidefinite programming bounds on $A(n, d)$. In particular, we improve the semidefinite programming bounds on $A(18,4)$ to $6551$.
△ Less
Submitted 10 June, 2023; v1 submitted 13 March, 2022;
originally announced March 2022.
-
Asymptotic self-similar blow-up profile for three-dimensional axisymmetric Euler equations using neural networks
Authors:
Yongji Wang,
Ching-Yao Lai,
Javier Gómez-Serrano,
Tristan Buckmaster
Abstract:
Whether there exist finite time blow-up solutions for the 2-D Boussinesq and the 3-D Euler equations are of fundamental importance to the field of fluid mechanics. We develop a new numerical framework, employing physics-informed neural networks (PINNs), that discover, for the first time, a smooth self-similar blow-up profile for both equations. The solution itself could form the basis of a future…
▽ More
Whether there exist finite time blow-up solutions for the 2-D Boussinesq and the 3-D Euler equations are of fundamental importance to the field of fluid mechanics. We develop a new numerical framework, employing physics-informed neural networks (PINNs), that discover, for the first time, a smooth self-similar blow-up profile for both equations. The solution itself could form the basis of a future computer-assisted proof of blow-up for both equations. In addition, we demonstrate PINNs could be successfully applied to find unstable self-similar solutions to fluid equations by constructing the first example of an unstable self-similar solution to the Córdoba-Córdoba-Fontelos equation. We show that our numerical framework is both robust and adaptable to various other equations.
△ Less
Submitted 7 May, 2023; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Coupling and Simulation of Fluid-Structure Interaction Problems for Automotive Sun-roof on Graphics Processing Unit
Authors:
Liang S. Lai,
Choi-Hong Lai,
Abal-Kassim Cheik Ahamed,
Frederic Magoules
Abstract:
In this paper, the authors propose an analysis of the frequency response function in a car compartment, subject to some fluctuating pressure distribution along the open cavity of the sun-roof at the top of a car. Coupling of a computational fluid dynamics and of a computational acoustics code is considered to simulate the acoustic fluid-structure interaction problem. Iterative Krylov methods and d…
▽ More
In this paper, the authors propose an analysis of the frequency response function in a car compartment, subject to some fluctuating pressure distribution along the open cavity of the sun-roof at the top of a car. Coupling of a computational fluid dynamics and of a computational acoustics code is considered to simulate the acoustic fluid-structure interaction problem. Iterative Krylov methods and domain decomposition methods, tuned on Graphic Processing Unit (GPU), are considered to solve the acoustic problem with complex number arithmetics with double precision. Numerical simulations illustrate the efficiency, robustness and accuracy of the proposed approaches.
△ Less
Submitted 30 November, 2021;
originally announced December 2021.
-
An old problem of Erdős: a graph without two cycles of the same length
Authors:
Chunhui Lai
Abstract:
In 1975, P. Erdős proposed the problem of determining the maximum number $f(n)$ of edges in a graph on $n$ vertices in which any two cycles are of different lengths. Let $f^{\ast}(n)$ be the maximum number of edges in a simple graph on $n$ vertices in which any two cycles are of different lengths. Let $M_n$ be the set of simple graphs on $n$ vertices in which any two cycles are of different length…
▽ More
In 1975, P. Erdős proposed the problem of determining the maximum number $f(n)$ of edges in a graph on $n$ vertices in which any two cycles are of different lengths. Let $f^{\ast}(n)$ be the maximum number of edges in a simple graph on $n$ vertices in which any two cycles are of different lengths. Let $M_n$ be the set of simple graphs on $n$ vertices in which any two cycles are of different lengths and with the edges of $f^{\ast}(n)$. Let $mc(n)$ be the maximum cycle length for all $G \in M_n$. In this paper, it is proved that for $n$ sufficiently large, $mc(n)\leq \frac{15}{16}n$. We make the following conjecture:
$$\lim_{n \rightarrow \infty} {mc(n)\over n}= 0.$$
△ Less
Submitted 29 November, 2022; v1 submitted 9 October, 2021;
originally announced October 2021.
-
Converse Lyapunov theorems for control systems with unbounded controls
Authors:
Anna Chiara Lai,
Monica Motta
Abstract:
In this paper, we extend well-known relationships between global asymptotic controllability, sample stabilizability, and the existence of a control Lyapunov function to a wide class of control systems with unbounded controls, which includes control-polynomial systems. In particular, we consider open loop controls and discontinuous stabilizing feedbacks, which may be unbounded approaching the targe…
▽ More
In this paper, we extend well-known relationships between global asymptotic controllability, sample stabilizability, and the existence of a control Lyapunov function to a wide class of control systems with unbounded controls, which includes control-polynomial systems. In particular, we consider open loop controls and discontinuous stabilizing feedbacks, which may be unbounded approaching the target, so that the corresponding trajectories may present a chattering behavior. A key point of our results is to prove that global asymptotic controllability, sample stabilizability, and existence of a control Lyapunov function for these systems or for an {\em impulsive extension} of them are equivalent.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Exceptional collection of objects on some fake projective planes
Authors:
Ching-Jui Lai,
Sai-Kee Yeung
Abstract:
The purpose of the article is to explain a new method to establish the existence of an exceptional collection of length three for a fake projective plane M with non-trivial automorphism group, related to a conjecture of Galkin-Katzarkov-Mellit-Shinder in 2015. Our method shows that 30 fake projective planes support such a sequence, most of which are new. In particular, this provides many new H-pha…
▽ More
The purpose of the article is to explain a new method to establish the existence of an exceptional collection of length three for a fake projective plane M with non-trivial automorphism group, related to a conjecture of Galkin-Katzarkov-Mellit-Shinder in 2015. Our method shows that 30 fake projective planes support such a sequence, most of which are new. In particular, this provides many new H-phantom categories.
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
A dynamic programming approach for controlled fractional SIS models
Authors:
Simone Cacace,
Anna Chiara Lai,
Paola Loreti
Abstract:
We investigate a susceptible-infected-susceptible (SIS) epidemic model based on the Caputo-Fabrizio operator. After performing an asymptotic analysis of the system, we study a related finite horizon optimal control problem with state constraints. We prove that the corresponding value function is a viscosity solution of a dynamic programming equation. We then turn to the asymptotic behavior of the…
▽ More
We investigate a susceptible-infected-susceptible (SIS) epidemic model based on the Caputo-Fabrizio operator. After performing an asymptotic analysis of the system, we study a related finite horizon optimal control problem with state constraints. We prove that the corresponding value function is a viscosity solution of a dynamic programming equation. We then turn to the asymptotic behavior of the value function, proving its convergence to the solution of a stationary problem, as the planning horizon tends to infinity. Finally, we present some numerical simulations providing a qualitative description of the optimal dynamics and the value functions involved.
△ Less
Submitted 28 July, 2021;
originally announced July 2021.
-
Hausdorff and Fourier dimension of graph of continuous additive processes
Authors:
Dexter Dysthe,
Chun-Kit Lai
Abstract:
An additive process is a stochastic process with independent increments and that is continuous in probability. In this paper, we study the almost sure Hausdorff and Fourier dimension of the graph of continuous additive additive processes with zero mean. Such processes can be represented as $X_t = B_{V(t)}$ where $B$ is Brownian motion and $V$ is a continuous increasing function. We show that these…
▽ More
An additive process is a stochastic process with independent increments and that is continuous in probability. In this paper, we study the almost sure Hausdorff and Fourier dimension of the graph of continuous additive additive processes with zero mean. Such processes can be represented as $X_t = B_{V(t)}$ where $B$ is Brownian motion and $V$ is a continuous increasing function. We show that these dimensions depend on the local uniform Hölder indices. In particular, if $V$ is locally uniformly bi-Lipschitz, then the Hausdorff dimension of the graph will be 3/2. We also show that the Fourier dimension almost surely is positive if $V$ admits at least one point with positive lower Hölder regularity.
It is also possible to estimate the Hausdorff dimension of the graph through the $L^q$ spectrum of $V$. We will show that if $V$ is generated by a self-similar measure on ${\mathbb R}^{1}$ with convex open set condition, the Hausdorff dimension of the graph can be precisely computed by its $L^q$ spectrum. An illustrating example of the Cantor Devil Staircase function, the Hausdorff dimension of the graph is $1+\frac12\cdot\frac{\log 2}{\log 3}$. Moreover, we will show that the graph of the Brownian staircase surprisingly has Fourier dimension zero almost surely.
△ Less
Submitted 30 June, 2022; v1 submitted 21 July, 2021;
originally announced July 2021.
-
Random Simple-Homotopy Theory
Authors:
Bruno Benedetti,
Crystal Lai,
Davide Lofano,
Frank H. Lutz
Abstract:
We implement an algorithm RSHT (Random Simple-Homotopy) to study the simple-homotopy types of simplicial complexes, with a particular focus on contractible spaces and on finding substructures in higher-dimensional complexes. The algorithm combines elementary simplicial collapses with pure elementary expansions. For triangulated d-manifolds with d < 7, we show that RSHT reduces to (random) bistella…
▽ More
We implement an algorithm RSHT (Random Simple-Homotopy) to study the simple-homotopy types of simplicial complexes, with a particular focus on contractible spaces and on finding substructures in higher-dimensional complexes. The algorithm combines elementary simplicial collapses with pure elementary expansions. For triangulated d-manifolds with d < 7, we show that RSHT reduces to (random) bistellar flips.
Among the many examples on which we test RSHT, we describe an explicit 15-vertex triangulation of the Abalone, and more generally, (14k+1)-vertex triangulations of Bing's houses with k rooms, which all can be deformed to a point using only six pure elementary expansions.
△ Less
Submitted 26 September, 2021; v1 submitted 20 July, 2021;
originally announced July 2021.
-
Effects of fractional derivatives in epidemic models
Authors:
Caterina Balzotti,
Mirko D'Ovidio,
Anna Chiara Lai,
Paola Loreti
Abstract:
We study epidemic Susceptible-Infected-Susceptible models in the fractional setting. The novelty is to consider models in which the susceptible and infected populations evolve according to different fractional orders. We study a model based on Caputo derivative, for which we establish existence results of the solutions. Also, we investigate a model based on Caputo-Fabrizio operator, for which we p…
▽ More
We study epidemic Susceptible-Infected-Susceptible models in the fractional setting. The novelty is to consider models in which the susceptible and infected populations evolve according to different fractional orders. We study a model based on Caputo derivative, for which we establish existence results of the solutions. Also, we investigate a model based on Caputo-Fabrizio operator, for which we provide existence of solutions and a study of the equilibria. Numerical simulations for both models and a direct numerical comparison are also provided.
△ Less
Submitted 4 July, 2021;
originally announced July 2021.
-
Finite energy Navier-Stokes flows with unbounded gradients induced by localized flux in the half-space
Authors:
Kyungkeun Kang,
Baishun Lai,
Chen-Chih Lai,
Tai-Peng Tsai
Abstract:
For the Stokes system in the half space, Kang [Math.~Ann.~2005] showed that a solution generated by a compactly supported, Hölder continuous boundary flux may have unbounded normal derivatives near the boundary. In this paper we first prove explicit global pointwise estimates of the above solution, showing in particular that it has finite global energy and its derivatives blow up everywhere on the…
▽ More
For the Stokes system in the half space, Kang [Math.~Ann.~2005] showed that a solution generated by a compactly supported, Hölder continuous boundary flux may have unbounded normal derivatives near the boundary. In this paper we first prove explicit global pointwise estimates of the above solution, showing in particular that it has finite global energy and its derivatives blow up everywhere on the boundary away from the flux. We then use the above solution as a profile to construct solutions of the Navier-Stokes equations which also have finite global energy and unbounded normal derivatives due to the flux. Our main tool is the pointwise estimates of the Green tensor of the Stokes system proved by us in \cite{Green} (arXiv:2011.00134). We also examine the Stokes flows generated by dipole bumps boundary flux, and identify the regions where the normal derivatives of the solutions tend to positive or negative infinity near the boundary.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Solutions of Bernoulli equations in the fractional setting
Authors:
Mirko D'Ovidio,
Anna Chiara Lai,
Paola Loreti
Abstract:
We present a general series representation formula for the local solution of Bernoulli equation with Caputo fractional derivatives. We then focus on a generalization of the fractional logistic equation and we present some related numerical simulations.
We present a general series representation formula for the local solution of Bernoulli equation with Caputo fractional derivatives. We then focus on a generalization of the fractional logistic equation and we present some related numerical simulations.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
Global existence of free-energy solutions to the 2D Patlak--Keller--Segel--Navier--Stokes system with critical and subcritical mass
Authors:
Chen-Chih Lai,
Juncheng Wei,
Yifu Zhou
Abstract:
We consider a coupled Patlak-Keller-Segel-Navier-Stokes system in $\mathbb{R}^2$ that describes the collective motion of cells and fluid flow, where the cells are attracted by a chemical substance and transported by ambient fluid velocity, and the fluid flow is forced by the friction induced by the cells. The main result of the paper is to show the global existence of free-energy solutions to the…
▽ More
We consider a coupled Patlak-Keller-Segel-Navier-Stokes system in $\mathbb{R}^2$ that describes the collective motion of cells and fluid flow, where the cells are attracted by a chemical substance and transported by ambient fluid velocity, and the fluid flow is forced by the friction induced by the cells. The main result of the paper is to show the global existence of free-energy solutions to the 2D Patlak-Keller-Segel-Navier-Stokes system with critical and subcritical mass.
△ Less
Submitted 22 June, 2021; v1 submitted 20 January, 2021;
originally announced January 2021.
-
Constrained reachability problems for a planar manipulator
Authors:
Simone Cacace,
Anna Chiara Lai,
Paola Loreti
Abstract:
We address an optimal reachability problem for a planar manipulator in a constrained environment. After introducing the optmization problem in full generality, we practically embed the geometry of the workspace in the problem, by considering some classes of obstacles. To this end, we present an analytical approximation of the distance function from the ellipse. We then apply our method to particul…
▽ More
We address an optimal reachability problem for a planar manipulator in a constrained environment. After introducing the optmization problem in full generality, we practically embed the geometry of the workspace in the problem, by considering some classes of obstacles. To this end, we present an analytical approximation of the distance function from the ellipse. We then apply our method to particular models of hyper-redundant and soft manipulators, by also presenting some numerical experiments.
△ Less
Submitted 20 January, 2021;
originally announced January 2021.
-
The movable cone of certain Calabi-Yau threefolds of Picard number two
Authors:
Ching-Jui Lai,
Sz-Sheng Wang
Abstract:
We describe explicitly the chamber structure of the movable cone for a general smooth complete intersection Calabi-Yau threefold $X$ of Picard number two in certain Pr-ruled Fano manifold and hence verify the Morrison-Kawamata cone conjecture for such $X$. Moreover, all birational minimal models of such Calabi-Yau threefolds are found, whose number is finite up to isomorphism.
We describe explicitly the chamber structure of the movable cone for a general smooth complete intersection Calabi-Yau threefold $X$ of Picard number two in certain Pr-ruled Fano manifold and hence verify the Morrison-Kawamata cone conjecture for such $X$. Moreover, all birational minimal models of such Calabi-Yau threefolds are found, whose number is finite up to isomorphism.
△ Less
Submitted 5 August, 2021; v1 submitted 11 January, 2021;
originally announced January 2021.
-
Irreducible components of two-row Springer fibers for all classical types
Authors:
Mee Seong Im,
Chun-Ju Lai,
Arik Wilbert
Abstract:
We give an explicit description of the irreducible components of two-row Springer fibers for all classical types using cup diagrams. Cup diagrams can be used to label the irreducible components of two-row Springer fibers. Given a cup diagram, we explicitly write down all flags contained in the component associated to the cup diagram. This generalizes results by Stroppel--Webster and Fung to all cl…
▽ More
We give an explicit description of the irreducible components of two-row Springer fibers for all classical types using cup diagrams. Cup diagrams can be used to label the irreducible components of two-row Springer fibers. Given a cup diagram, we explicitly write down all flags contained in the component associated to the cup diagram. This generalizes results by Stroppel--Webster and Fung to all classical types.
△ Less
Submitted 30 January, 2022; v1 submitted 26 November, 2020;
originally announced November 2020.
-
The Green tensor of the nonstationary Stokes system in the half space
Authors:
Kyungkeun Kang,
Baishun Lai,
Chen-Chih Lai,
Tai-Peng Tsai
Abstract:
We prove the first ever pointwise estimates of the (unrestricted) Green tensor and the associated pressure tensor of the nonstationary Stokes system in the half-space, for every space dimension greater than one. The force field is not necessarily assumed to be solenoidal. The key is to find a suitable Green tensor formula which maximizes the tangential decay, showing in particular the integrabilit…
▽ More
We prove the first ever pointwise estimates of the (unrestricted) Green tensor and the associated pressure tensor of the nonstationary Stokes system in the half-space, for every space dimension greater than one. The force field is not necessarily assumed to be solenoidal. The key is to find a suitable Green tensor formula which maximizes the tangential decay, showing in particular the integrability of Green tensor derivatives. With its pointwise estimates, we show the symmetry of the Green tensor, which in turn improves pointwise estimates. We also study how the solutions converge to the initial data, and the (infinitely many) restricted Green tensors acting on solenoidal vector fields. As applications, we give new proofs of existence of mild solutions of the Navier-Stokes equations in $L^q$, pointwise decay, and uniformly local $L^q$ spaces in the half-space.
△ Less
Submitted 21 December, 2022; v1 submitted 30 October, 2020;
originally announced November 2020.
-
Generalized binomials in fractional calculus
Authors:
Mirko D'Ovidio,
Anna Chiara Lai,
Paola Loreti
Abstract:
We consider a class of generalized binomials emerging in fractional calculus. After establishing some general properties, we focus on a particular yet relevant case, for which we provide several ready-for-use combinatorial identities, including an adapted version of the Pascal's rule. We then investigate the associated generating functions, for which we establish a recursive, combinatorial and int…
▽ More
We consider a class of generalized binomials emerging in fractional calculus. After establishing some general properties, we focus on a particular yet relevant case, for which we provide several ready-for-use combinatorial identities, including an adapted version of the Pascal's rule. We then investigate the associated generating functions, for which we establish a recursive, combinatorial and integral formulation. From this, we derive an asymptotic version of the Binomial Theorem. A combinatorial and asymptotic analysis of some finite sums completes the paper.
△ Less
Submitted 12 October, 2020;
originally announced October 2020.
-
A study of irreducible components of Springer fibers using quiver varieties
Authors:
Mee Seong Im,
Chun-Ju Lai,
Arik Wilbert
Abstract:
It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which is a subvariety of the resolution of the nilpotent cone, can be realized as a Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which the variables are linear maps. In this paper, we construct solutions to this system under certain assumptions. T…
▽ More
It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which is a subvariety of the resolution of the nilpotent cone, can be realized as a Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which the variables are linear maps. In this paper, we construct solutions to this system under certain assumptions. This establishes an explicit and efficient way to compute the image of a complete flag contained in the Slodowy variety under the Maffei--Nakajima isomorphism and describe these flags in terms of quiver representations. As Slodowy varieties contain Springer fibers naturally, we can use these results to provide an explicit description of the irreducible components of two-row Springer fibers in terms of a family of kernel relations via quiver representations.
△ Less
Submitted 27 October, 2021; v1 submitted 16 September, 2020;
originally announced September 2020.
-
On exponential bases and frames with non-linear phase functions and some applications
Authors:
Jean-Pierre Gabardo,
Chun-Kit Lai,
Vignon Oussa
Abstract:
In this paper, we study the spectrality and frame-spectrality of exponential systems of the type $E(Λ,\varphi) = \{e^{2πi λ\cdot\varphi(x)}: λ\inΛ\}$ where the phase function $\varphi$ is a Borel measurable which is not necessarily linear. A complete characterization of pairs $(Λ,\varphi)$ for which $E(Λ,\varphi)$ is an orthogonal basis or a frame for $L^{2}(μ)$ is obtained. In particular, we show…
▽ More
In this paper, we study the spectrality and frame-spectrality of exponential systems of the type $E(Λ,\varphi) = \{e^{2πi λ\cdot\varphi(x)}: λ\inΛ\}$ where the phase function $\varphi$ is a Borel measurable which is not necessarily linear. A complete characterization of pairs $(Λ,\varphi)$ for which $E(Λ,\varphi)$ is an orthogonal basis or a frame for $L^{2}(μ)$ is obtained. In particular, we show that the middle-third Cantor measures and the unit disc, each admits an orthogonal basis with a certain non-linear phase. Under a natural regularity condition on the phase functions, when $μ$ is the Lebesgue measure on $[0,1]$ and $Λ= {\mathbb{Z}},$ we show that only the standard phase functions $\varphi(x) = \pm x$ are the only possible functions that give rise to orthonormal bases. Surprisingly, however we prove that there exist a greater degree of flexibility, even for continuously differentiable phase functions in higher dimensions. For instance, we were able to describe a large class of functions $\varphi$ defined on ${\mathbb{R}}^{d}$ such that the system $E(Λ,\varphi)$ is an orthonormal basis for $L^{2}[0,1]^{d}$ when $d\geq2.$ Moreover, we discuss how our results apply to the discretization problem of unitary representations of locally compact groups for the construction of orthonormal bases. Finally, we conclude the paper by stating several open problems.
△ Less
Submitted 7 July, 2020;
originally announced July 2020.
-
Arbitrarily sparse spectra for self-affine spectral measures
Authors:
Li-Xiang An,
Chun-Kit Lai
Abstract:
Given an expansive matrix $R\in M_d({\mathbb Z})$ and a finite set of digit $B$ taken from $ {\mathbb Z}^d/R({\mathbb Z}^d)$. It was shown previously that if we can find an $L$ such that $(R,B,L)$ forms a Hadamard triple, then the associated fractal self-affine measure generated by $(R,B)$ admits an exponential orthonormal basis of certain frequency set $Λ$, and hence it is termed as a spectral me…
▽ More
Given an expansive matrix $R\in M_d({\mathbb Z})$ and a finite set of digit $B$ taken from $ {\mathbb Z}^d/R({\mathbb Z}^d)$. It was shown previously that if we can find an $L$ such that $(R,B,L)$ forms a Hadamard triple, then the associated fractal self-affine measure generated by $(R,B)$ admits an exponential orthonormal basis of certain frequency set $Λ$, and hence it is termed as a spectral measure. In this paper, we show that if #$B<|\det (R)|$, not only it is spectral, we can also construct arbitrarily sparse spectrum $Λ$ in the sense that its Beurling dimension is zero.
△ Less
Submitted 24 June, 2020;
originally announced June 2020.
-
New type II Finite time blow-up for the energy supercritical heat equation
Authors:
Manuel del Pino,
Chen-Chih Lai,
Monica Musso,
Juncheng Wei,
Yifu Zhou
Abstract:
We consider the energy supercritical heat equation with the $(n-3)$-th Sobolev exponent \begin{equation*} \begin{cases} u_t=Δu+u^{3},~&\mbox{ in } Ω\times (0,T),\\ u(x,t)=u|_{\partialΩ},~&\mbox{ on } \partialΩ\times (0,T),\\ u(x,0)=u_0(x),~&\mbox{ in } Ω, \end{cases} \end{equation*} where $5\leq n\leq 7$, $Ω=\R^n$ or $Ω\subset \R^n$ is a smooth, bounded domain enjoying special symmetries. We const…
▽ More
We consider the energy supercritical heat equation with the $(n-3)$-th Sobolev exponent \begin{equation*} \begin{cases} u_t=Δu+u^{3},~&\mbox{ in } Ω\times (0,T),\\ u(x,t)=u|_{\partialΩ},~&\mbox{ on } \partialΩ\times (0,T),\\ u(x,0)=u_0(x),~&\mbox{ in } Ω, \end{cases} \end{equation*} where $5\leq n\leq 7$, $Ω=\R^n$ or $Ω\subset \R^n$ is a smooth, bounded domain enjoying special symmetries. We construct type II finite time blow-up solution $u(x,t)$ with the singularity taking place along an $(n-4)$-dimensional {\em shrinking sphere} in $Ω$. More precisely, at leading order, the solution $u(x,t)$ is of the sharply scaled form $$u(x,t)\approx \la^{-1}(t)\frac{2\sqrt{2}}{1+\left|\frac{(r,z)-(ξ_r(t),ξ_z(t))}{\la(t)}\right|^2}$$ where $r=\sqrt{x_1^2+\cdots+x_{n-3}^2}$, $z=(x_{n-2},x_{n-1},x_n)$ with $x=(x_1,\cdots,x_n)\inΩ$. Moreover, the singularity location $$(ξ_r(t),ξ_z(t))\sim (\sqrt{2(n-4)(T-t)},z_0)~\mbox{ as }~t\nearrow T,$$ for some fixed $z_0$, and the blow-up rate $$\la(t)\sim \frac{T-t}{|\log(T-t)|^2}~\mbox{ as }~t\nearrow T.$$ This is a completely new phenomenon in the parabolic setting.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
Spectral properties of some unions of linear spaces
Authors:
Chun-Kit Lai,
Bochen Liu,
Hal Prince
Abstract:
We consider \textit{additive spaces}, consisting of two intervals of unit length or two general probability measures on ${\mathbb R}^1$, positioned on the axes in ${\mathbb R}^2$, with a natural additive measure $ρ$. We study the relationship between the exponential frames, Riesz bases, and orthonormal bases of $L^2(ρ)$ and those of its component spaces. We find that the existence of exponential b…
▽ More
We consider \textit{additive spaces}, consisting of two intervals of unit length or two general probability measures on ${\mathbb R}^1$, positioned on the axes in ${\mathbb R}^2$, with a natural additive measure $ρ$. We study the relationship between the exponential frames, Riesz bases, and orthonormal bases of $L^2(ρ)$ and those of its component spaces. We find that the existence of exponential bases depends strongly on how we position our measures on ${\mathbb R}^1$. We show that non-overlap** additive spaces possess Riesz bases, and we give a necessary condition for overlap** spaces. We also show that some overlap** additive spaces of Lebesgue type have exponential orthonormal bases, while some do not. A particular example is the "L" shape at the origin, which has a unique orthonormal basis up to translations of the form \[ \left\{e^{2 πi (λ_1 x_1 + λ_2 x_2)} : (λ_1, λ_2) \in Λ\right\}, \] where \[ Λ= \{ (n/2, -n/2) \mid n \in {\mathbb Z} \}. \]
△ Less
Submitted 28 May, 2020;
originally announced May 2020.
-
Inverse Problems, Deep Learning, and Symmetry Breaking
Authors:
Kshitij Tayal,
Chieh-Hsin Lai,
Vipin Kumar,
Ju Sun
Abstract:
In many physical systems, inputs related by intrinsic system symmetries are mapped to the same output. When inverting such systems, i.e., solving the associated inverse problems, there is no unique solution. This causes fundamental difficulties for deploying the emerging end-to-end deep learning approach. Using the generalized phase retrieval problem as an illustrative example, we show that carefu…
▽ More
In many physical systems, inputs related by intrinsic system symmetries are mapped to the same output. When inverting such systems, i.e., solving the associated inverse problems, there is no unique solution. This causes fundamental difficulties for deploying the emerging end-to-end deep learning approach. Using the generalized phase retrieval problem as an illustrative example, we show that careful symmetry breaking on the training data can help get rid of the difficulties and significantly improve the learning performance. We also extract and highlight the underlying mathematical principle of the proposed solution, which is directly applicable to other inverse problems.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Optimal reachability and gras** for a soft manipulator
Authors:
Simone Cacace,
Anna Chiara Lai,
Paola Loreti
Abstract:
We investigate optimal reachability and gras** problems for a planar soft manipulator, from both a theoretical and numerical point of view. The underlying control model describes the evolution of the symmetry axis of the device, which is subject to inextensibility and curvature constraints, a bending moment and a curvature control. Optimal control strategies are characterized with tools coming f…
▽ More
We investigate optimal reachability and gras** problems for a planar soft manipulator, from both a theoretical and numerical point of view. The underlying control model describes the evolution of the symmetry axis of the device, which is subject to inextensibility and curvature constraints, a bending moment and a curvature control. Optimal control strategies are characterized with tools coming from the optimal control theory of PDEs. We run some numerical tests in order to validate the model and to synthetize optimal control strategies.
△ Less
Submitted 13 February, 2020;
originally announced February 2020.
-
A proof of the Erdös similarity conjecture
Authors:
Angel Cruz,
Chun-Kit Lai,
Malabika Pramanik
Abstract:
We show that for any infinite set $A$ in ${\mathbb R}$, there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$. This proves the Erdös similarity conjecture.
We show that for any infinite set $A$ in ${\mathbb R}$, there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$. This proves the Erdös similarity conjecture.
△ Less
Submitted 11 January, 2020; v1 submitted 8 January, 2020;
originally announced January 2020.
-
Conjugate Phase Retrieval in Paley-Wiener Space
Authors:
Chun-Kit Lai,
Friedrich Littmann,
Eric Weber
Abstract:
We consider the problem of conjugate phase retrieval in Paley-Wiener space $PW_π$. The goal of conjugate phase retrieval is to recover a signal $f$ from the magnitudes of linear measurements up to unknown phase factor and unknown conjugate, meaning $f(t)$ and $\overline{f(t)}$ are not necessarily distinguishable from the available data. We show that conjugate phase retrieval can be accomplished in…
▽ More
We consider the problem of conjugate phase retrieval in Paley-Wiener space $PW_π$. The goal of conjugate phase retrieval is to recover a signal $f$ from the magnitudes of linear measurements up to unknown phase factor and unknown conjugate, meaning $f(t)$ and $\overline{f(t)}$ are not necessarily distinguishable from the available data. We show that conjugate phase retrieval can be accomplished in $PW_π$ by sampling only on the real line by using structured convolutions. We also show that conjugate phase retrieval can be accomplished in $PW_π$ by sampling both $f$ and $f^{\prime}$ only on the real line. Moreover, we demonstrate experimentally that the Gerchberg-Saxton method of alternating projections can accomplish the reconstruction from vectors that do conjugate phase retrieval in finite dimensional spaces. Finally, we show that generically, conjugate phase retrieval can be accomplished by sampling at three times the Nyquist rate, whereas phase retrieval requires sampling at four times the Nyquist rate.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
Irreducible components of two-row Springer fibers and Nakajima quiver varieties
Authors:
Mee Seong Im,
Chun-Ju Lai,
Arik Wilbert
Abstract:
We give an explicit description of the irreducible components of two-row Springer fibers in type A as closed subvarieties in certain Nakajima quiver varieties in terms of quiver representations. By taking invariants under a variety automorphism, we obtain an explicit algebraic description of the irreducible components of two-row Springer fibers of classical type. As a consequence, we discover rela…
▽ More
We give an explicit description of the irreducible components of two-row Springer fibers in type A as closed subvarieties in certain Nakajima quiver varieties in terms of quiver representations. By taking invariants under a variety automorphism, we obtain an explicit algebraic description of the irreducible components of two-row Springer fibers of classical type. As a consequence, we discover relations on isotropic flags that describe the irreducible components.
△ Less
Submitted 1 December, 2020; v1 submitted 7 October, 2019;
originally announced October 2019.
