Showing 1–42 of 42 results for author: Hung, L

Generic decompositions of Deligne--Lusztig representations

Authors: Daniel Le, Bao V. Le Hung, Brandon Levin, Stefano Morra

Abstract: Let $G_0$ be a reductive group over $\mathbb{F}_p$ with simply connected derived subgroup, (geometrically) connected center and Coxeter number $h+1$. We extend Jantzen's generic decomposition pattern from $(2h-1)$-generic to $h$-generic Deligne--Lusztig representations, which is optimal. We also prove several results on the ``obvious'' Jordan--Hölder factors of general Deligne--Lusztig representat… ▽ More Let $G_0$ be a reductive group over $\mathbb{F}_p$ with simply connected derived subgroup, (geometrically) connected center and Coxeter number $h+1$. We extend Jantzen's generic decomposition pattern from $(2h-1)$-generic to $h$-generic Deligne--Lusztig representations, which is optimal. We also prove several results on the ``obvious'' Jordan--Hölder factors of general Deligne--Lusztig representations. As an application we improve the weight elimination result of arXiv:1610.04819 [math.NT] △ Less

Submitted 28 May, 2024; originally announced May 2024.

$K_1$-invariants in the mod $p$ cohomology of $U(3)$ arithmetic manifolds

Authors: Daniel Le, Bao Viet Le Hung, Stefano Morra

Abstract: Let $F/F^+$ be a CM extension and $H_{/F^+}$ a definite unitary group in three variables that splits over $F$. We describe Hecke isotypic components of mod $p$ algebraic modular forms on $H$ at first principal congruence level at $p$ and "minimal" level away from $p$ in terms of the restrictions of the associated Galois representation to decomposition groups at $p$ when these restrictions are tame… ▽ More Let $F/F^+$ be a CM extension and $H_{/F^+}$ a definite unitary group in three variables that splits over $F$. We describe Hecke isotypic components of mod $p$ algebraic modular forms on $H$ at first principal congruence level at $p$ and "minimal" level away from $p$ in terms of the restrictions of the associated Galois representation to decomposition groups at $p$ when these restrictions are tame and sufficiently generic. This confirms an expectation of local-global compatibility in the mod $p$ Langlands program. To prove our result, we develop a local model theory for multitype deformation rings and new methods to work with patched modules that are not free over their scheme-theoretic support. △ Less

Submitted 14 March, 2024; originally announced March 2024.

On generalized Li-Yau inequalities

Authors: Li-Chang Hung

Abstract: We generalize the Li-Yau inequality for second derivatives and we also establish Li-Yau type inequality for fourth derivatives. Our derivation relies on the representation formula for the heat equation. We generalize the Li-Yau inequality for second derivatives and we also establish Li-Yau type inequality for fourth derivatives. Our derivation relies on the representation formula for the heat equation. △ Less

Submitted 17 December, 2023; originally announced December 2023.

Local model theory for non-generic tame potentially Barsotti--Tate deformation rings

Authors: Bao Viet Le Hung, Ariane Mézard, Stefano Morra

Abstract: We develop a local model theory for moduli stacks of $2$-dimensional non-scalar tame potentially Barsotti--Tate Galois representations of the Galois group of an unramified extension of $\mathbb{Q}_p$. We derive from this explicit presentations of potentially Barsotti--Tate deformation rings, allowing us to prove structural results about them, and prove various conjectures formulated by Caruso--Dav… ▽ More We develop a local model theory for moduli stacks of $2$-dimensional non-scalar tame potentially Barsotti--Tate Galois representations of the Galois group of an unramified extension of $\mathbb{Q}_p$. We derive from this explicit presentations of potentially Barsotti--Tate deformation rings, allowing us to prove structural results about them, and prove various conjectures formulated by Caruso--David--Mézard. △ Less

Submitted 13 February, 2024; v1 submitted 28 November, 2023; originally announced November 2023.

Comments: Various typos fixed

Mirror symmetry and the Breuil-Mézard Conjecture

Authors: Tony Feng, Bao Le Hung

Abstract: The Breuil-Mézard Conjecture predicts the existence of hypothetical "Breuil-Mezard cycles" in the moduli space of mod $p$ Galois representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_q/\mathbb{Q}_q)$ that should govern congruences between mod $p$ automorphic forms. For generic parameters, we propose a construction of Breuil-Mézard cycles in arbitrary rank, and verify that they satisfy the Breuil-… ▽ More The Breuil-Mézard Conjecture predicts the existence of hypothetical "Breuil-Mezard cycles" in the moduli space of mod $p$ Galois representations of $\mathrm{Gal}(\overline{\mathbb{Q}}_q/\mathbb{Q}_q)$ that should govern congruences between mod $p$ automorphic forms. For generic parameters, we propose a construction of Breuil-Mézard cycles in arbitrary rank, and verify that they satisfy the Breuil-Mézard Conjecture for all sufficiently generic tame types and small Hodge-Tate weights. Our method is purely local and group-theoretic, and completely distinct from previous approaches to the Breuil-Mézard Conjecture. In particular, we leverage new connections between the Breuil-Mézard Conjecture and phenomena occurring in homological mirror symmetry and geometric representation theory. △ Less

Submitted 29 November, 2023; v1 submitted 10 October, 2023; originally announced October 2023.

Comments: minor corrections

On the Rotar central limit theorem for sums of a random number of independent random variables

Authors: Tran Loc Hung

Abstract: The Rotar central limit theorem is a remarkable theorem in the non-classical version since it does not use the condition of asymptotic infinitesimality for the independent individual summands, unlike the theorems named Lindeberg's and Lindeberg-Feller's in the classical version. The Rotar central limit theorem generalizes the classical Lindeberg-Feller central limit theorem since the Rotar conditi… ▽ More The Rotar central limit theorem is a remarkable theorem in the non-classical version since it does not use the condition of asymptotic infinitesimality for the independent individual summands, unlike the theorems named Lindeberg's and Lindeberg-Feller's in the classical version. The Rotar central limit theorem generalizes the classical Lindeberg-Feller central limit theorem since the Rotar condition is weaker than Lindeberg's. The main aim of this paper is to introduce the Rotar central limit theorem for sums of a random number of independent (not necessarily identically distributed) random variables and the conditions for its validity. The order of approximation in this theorem is also considered in this paper. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Comments: 15 pages

MSC Class: 41A25; 60E10; 60F05; 60G50

Classical and non-classical central limit theorems for random sums of independent random variables of a double sequence

Authors: Tran Loc Hung

Abstract: Since the appearance of H. Robbins article (1948), the central limit theorems for random sums have been studied for about 70 years. The central limit theorems for random sums of independent random variables play a very important role in various disciplines such as statistics, financial mathematics, insurance, etc. The purpose of this paper is to randomize some well-known classical and non-classica… ▽ More Since the appearance of H. Robbins article (1948), the central limit theorems for random sums have been studied for about 70 years. The central limit theorems for random sums of independent random variables play a very important role in various disciplines such as statistics, financial mathematics, insurance, etc. The purpose of this paper is to randomize some well-known classical and non-classical central limit theorems for sums of independent (not necessarily identically distributed) random variables of a double sequence, with the conditions for determining their validity. The results obtained in this paper are extensions and generalizations of known ones. △ Less

Submitted 31 July, 2023; originally announced July 2023.

Comments: 23 pages

MSC Class: 60E05; 60E10; 60F05; 60G50

Colength one deformation rings

Authors: Daniel Le, Bao Le Hung, Stefano Morra, Chol Park, Zicheng Qian

Abstract: Let $K/\mathbf{Q}_p$ be a finite unramified extension, $\overlineρ:\mathrm{Gal}(\overline{\mathbf{Q}}_p/K)\rightarrow\mathrm{GL}_n(\overline{\mathbf{F}}_p)$ a continuous representation, and $τ$ a tame inertial type of dimension $n$. We explicitly determine, under mild regularity conditions on $τ$, the potentially crystalline deformation ring $R^{η,τ}_{\overlineρ}$ in parallel Hodge--Tate weights… ▽ More Let $K/\mathbf{Q}_p$ be a finite unramified extension, $\overlineρ:\mathrm{Gal}(\overline{\mathbf{Q}}_p/K)\rightarrow\mathrm{GL}_n(\overline{\mathbf{F}}_p)$ a continuous representation, and $τ$ a tame inertial type of dimension $n$. We explicitly determine, under mild regularity conditions on $τ$, the potentially crystalline deformation ring $R^{η,τ}_{\overlineρ}$ in parallel Hodge--Tate weights $η=(n-1,\cdots,1,0)$ and inertial type $τ$ when the \emph{shape} of $\overlineρ$ with respect to $τ$ has colength at most one. This has application to the modularity of a class of shadow weights in the weight part of Serre's conjecture. Along the way we make unconditional the local-global compatibility results of \cite{PQ} and further study the geometry of moduli spaces of Fontaine--Laffaille representations in terms of colength one weights. △ Less

Submitted 9 June, 2023; v1 submitted 6 April, 2023; originally announced April 2023.

Comments: Major revision: shortened some of the arguments, removed the appendix and fixed a number of typos. Comments welcome!

Generalization of Completely Monotone Conjecture for Tsallis entropy

Authors: Li-Chang Hung

Abstract: We generalize the completely monotone conjecture ([CG15]) from Shannon entropy to the Tsallis entropy up for orders up to at least four. To this end, we employ the algorithm ([Jün16, JM06a]) which employs the technique of systematic integrations-by-parts. We generalize the completely monotone conjecture ([CG15]) from Shannon entropy to the Tsallis entropy up for orders up to at least four. To this end, we employ the algorithm ([Jün16, JM06a]) which employs the technique of systematic integrations-by-parts. △ Less

Submitted 19 December, 2022; originally announced December 2022.

String Condensations in 3+1D and Lagrangian Algebras

Authors: Jiaheng Zhao, Jia-Qi Lou, Zhi-Hao Zhang, Ling-Yan Hung, Liang Kong, Yin Tian

Abstract: We present three Lagrangian algebras in the modular 2-category associated to the 3+1D $\mathbb{Z}_2$ topological order and discuss their physical interpretations, connecting algebras with gapped boundary conditions, and interestingly, maps (braided autoequivalences) exchanging algebras with bulk domain walls. A Lagrangian algebra, together with its modules and local modules, encapsulates detailed… ▽ More We present three Lagrangian algebras in the modular 2-category associated to the 3+1D $\mathbb{Z}_2$ topological order and discuss their physical interpretations, connecting algebras with gapped boundary conditions, and interestingly, maps (braided autoequivalences) exchanging algebras with bulk domain walls. A Lagrangian algebra, together with its modules and local modules, encapsulates detailed physical data of strings condensing at a gapped boundary. In particular, the condensed strings can terminate at boundaries in non-trivial ways. This phenomenon has no lower dimensional analogue and corresponds to novel mathematical structures associated to higher algebras. We provide a layered construction and also explicit lattice realizations of these boundaries and illustrate the correspondence between physics and mathematics of these boundary conditions. This is a first detailed study of the mathematics of Lagrangian algebras in modular 2-categories and their corresponding physics, that brings together rich phenomena of string condensations, gapped boundaries and domain walls in 3+1D topological orders. △ Less

Submitted 6 February, 2023; v1 submitted 16 August, 2022; originally announced August 2022.

Comments: 7+17 pages, 16 figures. Comments are welcome

Journal ref: Adv. Theor. Math. Phys. Volume 27, Number 2, 583--622, 2023

Extremal weights and a tameness criterion for mod $p$ Galois representations

Authors: Daniel Le, Bao Viet Le Hung, Brandon Levin, Stefano Morra

Abstract: We study the weight part of Serre's conjecture for generic $n$-dimensional mod $p$ Galois representations. We first generalize Herzig's conjecture to the case where the field is ramified at $p$ and prove the weight elimination direction of our conjecture. We then introduce a new class of weights associated to $n$-dimensional local mod $p$ representations which we call \emph{extremal weights}. Usin… ▽ More We study the weight part of Serre's conjecture for generic $n$-dimensional mod $p$ Galois representations. We first generalize Herzig's conjecture to the case where the field is ramified at $p$ and prove the weight elimination direction of our conjecture. We then introduce a new class of weights associated to $n$-dimensional local mod $p$ representations which we call \emph{extremal weights}. Using a ``Levi reduction" property of certain potentially crystalline Galois deformation spaces, we prove the modularity of these weights. As a consequence, we deduce the weight part of Serre's conjecture for unit groups of some division algebras in generic situations. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Comments: Comments welcome!

Mobility Analysis Workflow (MAW): An accessible, interoperable, and reproducible container system for processing raw mobile data

Authors: Xiangyang Guan, Cynthia Chen, Ian Ren, Ka Yee Yeung, Ling-Hong Hung, Wes J. Lloyd

Abstract: Mobility analysis, or understanding and modeling of people's mobility patterns in terms of when, where, and how people move from one place to another, is fundamentally important as such information is the basis for large-scale investment decisions on the nation's multi-modal transportation infrastructure. Recent rise of using passively generated mobile data from mobile devices have raised question… ▽ More Mobility analysis, or understanding and modeling of people's mobility patterns in terms of when, where, and how people move from one place to another, is fundamentally important as such information is the basis for large-scale investment decisions on the nation's multi-modal transportation infrastructure. Recent rise of using passively generated mobile data from mobile devices have raised questions on using such data for capturing the mobility patterns of a population because: 1) there is a great variety of different kinds of mobile data and their respective properties are unknown; and 2) data pre-processing and analysis methods are often not explicitly reported. The high stakes involved with mobility analysis and issues associated with the passively generated mobile data call for mobility analysis (including data, methods and results) to be accessible to all, interoperable across different computing systems, reproducible and reusable by others. In this study, a container system named Mobility Analysis Workflow (MAW) that integrates data, methods and results, is developed. Built upon the containerization technology, MAW allows its users to easily create, configure, modify, execute and share their methods and results in the form of Docker containers. Tools for operationalizing MAW are also developed and made publicly available on GitHub. One use case of MAW is the comparative analysis for the impacts of different pre-processing and mobility analysis methods on inferred mobility patterns. This study finds that different pre-processing and analysis methods do have impacts on the resulting mobility patterns. The creation of MAW and a better understanding of the relationship between data, methods and resulting mobility patterns as facilitated by MAW represent an important first step toward promoting reproducibility and reusability in mobility analysis with passively-generated data. △ Less

Submitted 19 April, 2022; originally announced April 2022.

MSC Class: 91C20 ACM Class: J.6

Serre weights, Galois deformation rings, and local models

Authors: Daniel Le, Bao Viet Le Hung

Abstract: We survey some recent progress on generalizations of conjectures of Serre concerning the cohomology of arithmetic groups, focusing primarily on the "weight" aspect. This is intimately related to (generalizations of) a conjecture of Breuil and Mézard relating the geometry of potentially semistable deformation rings to modular representation theory. Recently, B. Levin, S. Morra, and the authors esta… ▽ More We survey some recent progress on generalizations of conjectures of Serre concerning the cohomology of arithmetic groups, focusing primarily on the "weight" aspect. This is intimately related to (generalizations of) a conjecture of Breuil and Mézard relating the geometry of potentially semistable deformation rings to modular representation theory. Recently, B. Levin, S. Morra, and the authors established these conjectures in tame generic contexts by constructing projective varieties (local models) in mixed characteristic whose singularities model, in generic cases, those of tamely potentially crystalline Galois deformation rings for unramified extensions of $\mathbb{Q}_p$ with small regular Hodge-Tate weights. △ Less

Submitted 3 March, 2022; originally announced March 2022.

Comments: 24 pages

MSC Class: 11F33; 11F80

Serre weights for three-dimensional wildly ramified Galois representations

Authors: Daniel Le, Bao Viet Le Hung, Brandon Levin, Stefano Morra

Abstract: We formulate and prove the weight part of Serre's conjecture for three-dimensional mod $p$ Galois representations under a genericity condition when the field is unramified at $p$. This removes the assumption in \cite{arXiv:1512.06380}, \cite{arXiv:1608.06570} that the representation be tamely ramified at $p$. We also prove a version of Breuil's lattice conjecture and a mod $p$ multiplicity one res… ▽ More We formulate and prove the weight part of Serre's conjecture for three-dimensional mod $p$ Galois representations under a genericity condition when the field is unramified at $p$. This removes the assumption in \cite{arXiv:1512.06380}, \cite{arXiv:1608.06570} that the representation be tamely ramified at $p$. We also prove a version of Breuil's lattice conjecture and a mod $p$ multiplicity one result for the cohomology of $U(3)$-arithmetic manifolds. The key input is a study of the geometry of the Emerton--Gee stacks \cite{arXiv:2012.12719} using the local models introduced in \cite{arXiv:2007.05398}. △ Less

Submitted 21 April, 2023; v1 submitted 7 February, 2022; originally announced February 2022.

Comments: Minor revisions. Comments welcome !

MSC Class: 11F80; 11F33;

Journal ref: Alg. Number Th. 18 (2024) 1221-1274

Anyon Condensation: Coherent states, Symmetry Enriched Topological Phases, Goldstone Theorem, and Dynamical Rearrangement of Symmetry

Authors: Yuting Hu, Zichang Huang, Ling-yan Hung, Yidun Wan

Abstract: Although the mathematics of anyon condensation in topological phases has been studied intensively in recent years, a proof of its physical existence is tantamount to constructing an effective Hamiltonian theory. In this paper, we concretely establish the physical foundation of anyon condensation by building the effective Hamiltonian and the Hilbert space, in which we explicitly construct the vacuu… ▽ More Although the mathematics of anyon condensation in topological phases has been studied intensively in recent years, a proof of its physical existence is tantamount to constructing an effective Hamiltonian theory. In this paper, we concretely establish the physical foundation of anyon condensation by building the effective Hamiltonian and the Hilbert space, in which we explicitly construct the vacuum of the condensed phase as the coherent states that are the eigenstates of the creation operators that create the condensate anyons. Along with this construction, which is analogous to Laughlin's construction of wavefunctions of fractional quantum hall states, we generalize the Goldstone theorem in the usual spontaneous symmetry breaking paradigm to the case of anyon condensation. We then prove that the condensed phase is a symmetry enriched (protected) topological phase by directly constructing the corresponding symmetry transformations, which can be considered as a generalization of the Bogoliubov transformation. △ Less

Submitted 13 September, 2021; originally announced September 2021.

Journal ref: J. High Energ. Phys. 2022, 26 (2022)

Moduli of Fontaine--Laffaille representations and a mod-$p$ local-global compatibility result

Authors: Daniel Le, Bao Viet Le Hung, Stefano Morra, Chol Park, Zicheng Qian

Abstract: Let $F/F^+$ be a CM field and let $\widetilde{v}$ be a finite unramified place of $F$ above the prime $p$. Let $\overline{r}: \mathrm{Gal}(\overline{\mathbb{Q}}/F)\rightarrow \mathrm{GL}_n(\overline{\mathbb{F}}_p)$ be a continuous representation which we assume to be modular for a unitary group over $F^+$ which is compact at all real places. We prove, under Taylor--Wiles hypotheses, that the smoot… ▽ More Let $F/F^+$ be a CM field and let $\widetilde{v}$ be a finite unramified place of $F$ above the prime $p$. Let $\overline{r}: \mathrm{Gal}(\overline{\mathbb{Q}}/F)\rightarrow \mathrm{GL}_n(\overline{\mathbb{F}}_p)$ be a continuous representation which we assume to be modular for a unitary group over $F^+$ which is compact at all real places. We prove, under Taylor--Wiles hypotheses, that the smooth $\mathrm{GL}_n(F_{\widetilde{v}})$-action on the corresponding Hecke isotypical part of the mod-$p$ cohomology with infinite level above $\widetilde{v}|_{F^+}$ determines $\overline{r}|_{\mathrm{Gal}(\overline{\mathbb{Q}}_p/F_{\widetilde{v}})}$, when this latter restriction is Fontaine--Laffaille and has a suitably generic semisimplification. △ Less

Submitted 27 September, 2023; v1 submitted 6 September, 2021; originally announced September 2021.

Comments: Updated the references in the bibliography

Variants of the Gale-Berlekamp Switching Game and their Solutions: Balancing the Rectangle and the Cube

Authors: Le Viet Hung, Xu Yu

Abstract: The Gale-Berlekamp Light Switching Game is played on a square board of lights. Each light has two states, either on or off. There is a switch to every row and column. Turning this switch would change the state of all the lights on that row or column. The aim of the game is to minimise the imbalance in the board, defined to be the absolute difference between the number of lights switched on and tha… ▽ More The Gale-Berlekamp Light Switching Game is played on a square board of lights. Each light has two states, either on or off. There is a switch to every row and column. Turning this switch would change the state of all the lights on that row or column. The aim of the game is to minimise the imbalance in the board, defined to be the absolute difference between the number of lights switched on and that of lights switched off. We investigate variants of the game for an $m \times n$ matrix with n even and $m \le n$. We provide a constructive proof that for any $m \times n$ rectangle matrix $A$, there exists $x \in (\pm 1)^n$ and $y \in (\pm 1)^m$ such that $|yAx| \le 2$. i.e. column and row switches to reduce the imbalance to at most $2$, construct a complete Python routine to find these switches, and test run the algorithm against randomly generated initial board configurations. We then expand the game to a three-dimensional $n \times n \times n$ cube, with corresponding row, column, and layer switches. We define a minimum threshold $P_n$, such that the imbalance can always be reduced to at most $P_n$, for all initial states of the cube. We then provide an existential proof that $P_2 = 2$ and $P_4 = 4$. △ Less

Submitted 18 August, 2021; originally announced August 2021.

Comments: Keywords: Gale-Berlekamp Light Switching Game, minimise the imbalance, balancing rectangle matrices, balancing the cube

A Simple Approach to the Tiling Problem Using Recursive Sequence

Authors: Le Viet Hung, Tan Yiming, Huang Keyi, ** Qingyang

Abstract: The tiling problem has been a famous problem that has appeared in many Mathematics problems. Many of its solutions are rooted in high-level Mathematics. Thus we hope to tackle this problem using more elementary Mathematics concepts. In this report, we start with the simplest cases, with the smaller numbers: the number of ways to tile a $2 \times n$, $3 \times n$, $4 \times n$ rectangular board usi… ▽ More The tiling problem has been a famous problem that has appeared in many Mathematics problems. Many of its solutions are rooted in high-level Mathematics. Thus we hope to tackle this problem using more elementary Mathematics concepts. In this report, we start with the simplest cases, with the smaller numbers: the number of ways to tile a $2 \times n$, $3 \times n$, $4 \times n$ rectangular board using $2 \times 1$ domino tiles, where the number of rows is fixed and we present a recursive formula based on $m$ and the earlier terms. This allows us to deduce the non-recursive formula for each case that is only dependent on $m$. For each case, we also expand and generalize the problem, not just for $2$, $3$, $4$ but for any positive integer $k$, for certain types of configurations of the board. We also focus on one of the famous variations of the tiling problem: tatami tiling, and present a solution for simple cases: $2 \times n$, $3 \times n$, $4 \times n$. In the end, we have managed to find a simpler solution for three different configurations of the board, with some we even deduced the non-recursive formula. We have also solved simple cases of the tatami tiling problem, with the hope to tackle the general case in the future. We realized that our method only works on a case-by-case basis, with little success in solving the general case. This approach is also applicable in many other counting problems which we wish to pursue for further research. △ Less

Submitted 18 August, 2021; originally announced August 2021.

Comments: A project submitted for the Singapore Mathematics Project Festival 2019

Local models for Galois deformation rings and applications

Authors: Daniel Le, Bao V. Le Hung, Brandon Levin, Stefano Morra

Abstract: We construct projective varieties in mixed characteristic whose singularities model, in generic cases, those of tamely potentially crystalline Galois deformation rings for unramified extensions of $\mathbb{Q}_p$ with small regular Hodge-Tate weights. We establish several significant facts about their geometry including a unibranch property at special points and a representation theoretic descripti… ▽ More We construct projective varieties in mixed characteristic whose singularities model, in generic cases, those of tamely potentially crystalline Galois deformation rings for unramified extensions of $\mathbb{Q}_p$ with small regular Hodge-Tate weights. We establish several significant facts about their geometry including a unibranch property at special points and a representation theoretic description of the irreducible components of their special fibers. We derive from these geometric results a number of local and global consequences: the Breuil-Mézard conjecture in arbitrary dimension for tamely potentially crystalline deformation rings with small Hodge-Tate weights (with appropriate genericity conditions), the weight part of Serre's conjecture for $U(n)$ as formulated by Herzig (for global Galois representations which satisfy the Taylor-Wiles hypotheses and are sufficiently generic at $p$), and an unconditional formulation of the weight part of Serre's conjecture for wildly ramified representations. △ Less

Submitted 15 June, 2022; v1 submitted 10 July, 2020; originally announced July 2020.

Nonlinear estimates for traveling wave solutions of reaction diffusion equations

Authors: Li-Chang Hung, Xian Liao

Abstract: In this paper we will establish nonlinear a priori lower and upper bounds for the solutions to a large class of equations which arise from the study of traveling wave solutions of reaction-diffusion equations, and we will apply our nonlinear bounds to the Lotka-Volterra system of two competing species as examples. The idea used in a series of papers \cite{NBMP-Discrete,JDE-16,CPAA-16,DCDS-B-18,NBM… ▽ More In this paper we will establish nonlinear a priori lower and upper bounds for the solutions to a large class of equations which arise from the study of traveling wave solutions of reaction-diffusion equations, and we will apply our nonlinear bounds to the Lotka-Volterra system of two competing species as examples. The idea used in a series of papers \cite{NBMP-Discrete,JDE-16,CPAA-16,DCDS-B-18,NBMP-n-species,DCDS-A-17} for the establishment of the linear N-barrier maximum principle will also be used in the proof. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Potential automorphy over CM fields

Authors: Patrick B. Allen, Frank Calegari, Ana Caraiani, Toby Gee, David Helm, Bao V. Le Hung, James Newton, Peter Scholze, Richard Taylor, Jack A. Thorne

Abstract: Let $F$ be a CM number field. We prove modularity lifting theorems for regular $n$-dimensional Galois representations over $F$ without any self-duality condition. We deduce that all elliptic curves $E$ over $F$ are potentially modular, and furthermore satisfy the Sato--Tate conjecture. As an application of a different sort, we also prove the Ramanujan Conjecture for weight zero cuspidal automorphi… ▽ More Let $F$ be a CM number field. We prove modularity lifting theorems for regular $n$-dimensional Galois representations over $F$ without any self-duality condition. We deduce that all elliptic curves $E$ over $F$ are potentially modular, and furthermore satisfy the Sato--Tate conjecture. As an application of a different sort, we also prove the Ramanujan Conjecture for weight zero cuspidal automorphic representations for $\mathrm{GL}_2(\mathbf{A}_F)$. △ Less

Submitted 16 June, 2022; v1 submitted 24 December, 2018; originally announced December 2018.

Comments: A number of details have been included to address the concerns of the referees. The definition of decomposed generic (Def 4.3.1) has been weakened slightly to be in line with the current version of arxiv.longhoe.net/abs/1909.01898, resulting in a strengthening of a number of our theorems. This is the accepted version of the paper

MSC Class: 11F80; 11F55; 11F75; 11G18

On generalization of D'Aurizio-Sándor trigonometric inequalities with a parameter

Authors: Li-Chang Hung, Pei-Ying Li

Abstract: In this work, we generalize the D'Aurizio-Sándor inequalities (\cite{D'Aurizio,Sandor}) using an elementary approach. In particular, our approach provides an alternative proof of the D'Aurizio-Sándor inequalities. Moreover, as an immediate consequence of the generalized D'Aurizio-Sándor inequalities, we establish the D'Aurizio-Sándor-type inequalities for hyperbolic functions. In this work, we generalize the D'Aurizio-Sándor inequalities (\cite{D'Aurizio,Sandor}) using an elementary approach. In particular, our approach provides an alternative proof of the D'Aurizio-Sándor inequalities. Moreover, as an immediate consequence of the generalized D'Aurizio-Sándor inequalities, we establish the D'Aurizio-Sándor-type inequalities for hyperbolic functions. △ Less

Submitted 26 March, 2017; originally announced March 2017.

Hyperbolicity and Vitali properties of unbounded domains in Banach spaces

Authors: Nguyen Quang Dieu, Nguyen Van Khiem, Le Thanh Hung

Abstract: Let $\Om$ be a unbounded domain in a Banach space. In this work, we wish to impose {\it local conditions} on boundary point of $\Om$ (including the point at infinity) that guarantee complete hyperbolic of $\Om.$ We also search for local boundary conditions so that Vitali properties hold true for $\Om.$ These properties might be considered as analogues of the taut property in the finite dimensional… ▽ More Let $\Om$ be a unbounded domain in a Banach space. In this work, we wish to impose {\it local conditions} on boundary point of $\Om$ (including the point at infinity) that guarantee complete hyperbolic of $\Om.$ We also search for local boundary conditions so that Vitali properties hold true for $\Om.$ These properties might be considered as analogues of the taut property in the finite dimensional case. △ Less

Submitted 27 October, 2016; originally announced October 2016.

Comments: 20 pages

MSC Class: 32A10; 32A07; 32C25; 32Q45; 32U05

Weight elimination in Serre-type conjectures

Authors: Daniel Le, Bao V. Le Hung, Brandon Levin

Abstract: We prove the weight elimination direction of the Serre weight conjectures as formulated by Herzig for forms of $U(n)$ which are compact at infinity and split at places dividing $p$ in generic situations. That is, we show that all modular weights for a mod $p$ Galois representation are contained in the set predicted by Herzig. Under some additional hypotheses, we also show modularity of all the "ob… ▽ More We prove the weight elimination direction of the Serre weight conjectures as formulated by Herzig for forms of $U(n)$ which are compact at infinity and split at places dividing $p$ in generic situations. That is, we show that all modular weights for a mod $p$ Galois representation are contained in the set predicted by Herzig. Under some additional hypotheses, we also show modularity of all the "obvious" weights. △ Less

Submitted 17 March, 2019; v1 submitted 16 October, 2016; originally announced October 2016.

Comments: 59 pages, v4, minor revision, to appear in Duke Math. Journal

Journal ref: Duke Math. J. 168, no. 13 (2019), 2433-2506

N-barrier maximum principle for degenerate elliptic systems and its application

Authors: Li-Chang Hung, Hsiao-Feng Liu, Chiun-Chuan Chen

Abstract: In this paper, we prove the N-barrier maximum principle, which extends the result in [5] from linear diffusion equations to nonlinear diffusion equations, for a wide class of degenerate elliptic systems of porous medium type. The N-barrier maximum principle provides a priori upper and lower bounds of the solutions to the above-mentioned degenerate nonlinear diffusion equations including the Shiges… ▽ More In this paper, we prove the N-barrier maximum principle, which extends the result in [5] from linear diffusion equations to nonlinear diffusion equations, for a wide class of degenerate elliptic systems of porous medium type. The N-barrier maximum principle provides a priori upper and lower bounds of the solutions to the above-mentioned degenerate nonlinear diffusion equations including the Shigesada-Kawasaki-Teramoto model as a special case. As an application of the N-barrier maximum principle to a coexistence problem in ecology, we show the nonexistence of waves in a three-species degenerate elliptic systems. △ Less

Submitted 4 September, 2016; originally announced September 2016.

Serre weights and Breuil's lattice conjecture in dimension three

Authors: Daniel Le, Bao V. Le Hung, Brandon Levin, Stefano Morra

Abstract: We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, i.e., only depends on the Galois representation at places above $p$. This is a generalization to $\mathrm{GL}_3$ of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil-Mézard conjecture for (tamely) potentially crystall… ▽ More We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, i.e., only depends on the Galois representation at places above $p$. This is a generalization to $\mathrm{GL}_3$ of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil-Mézard conjecture for (tamely) potentially crystalline deformation rings with Hodge-Tate weights $(0,1,2)$ as well as the Serre weight conjectures over an unramified field extending our previous results. We also prove results in modular representation theory about lattices in Deligne-Luzstig representations for the group $\mathrm{GL}_3(\mathbb{F}_q)$. △ Less

Submitted 4 March, 2020; v1 submitted 23 August, 2016; originally announced August 2016.

Comments: 102 pages, major revision, includes addendum to arxiv:1512.06380

An N-barrier maximum principle for autonomous systems of $n$ species and its application to problems arising from population dynamics

Authors: Chiun-Chuan Chen, Li-Chang Hung, Chen-Chih Lai

Abstract: We show that the N-barrier maximum principle (NBMP) remains true for $n$ $(n>2)$ species. In addition, a stronger lower bound in NBMP is given by employing an improved tangent line method. As an application of NBMP, we establish a nonexistence result for traveling wave solutions to the four species Lotka-Volterra system. We show that the N-barrier maximum principle (NBMP) remains true for $n$ $(n>2)$ species. In addition, a stronger lower bound in NBMP is given by employing an improved tangent line method. As an application of NBMP, we establish a nonexistence result for traveling wave solutions to the four species Lotka-Volterra system. △ Less

Submitted 9 April, 2016; v1 submitted 31 January, 2016; originally announced February 2016.

Comments: 14 pages

Potentially crystalline deformation rings and Serre weight conjectures

Authors: Daniel Le, Bao V. Le Hung, Brandon Levin, Stefano Morra

Abstract: We prove the weight part of Serre's conjecture in generic situations for forms of $U(3)$ which are compact at infinity and split at places dividing $p$ as conjectured by Herzig. We also prove automorphy lifting theorems in dimension three. The key input is an explicit description of tamely potentially crystalline deformation rings with Hodge-Tate weights $(2,1,0)$ for $K/\mathbb{Q}_p$ unramified c… ▽ More We prove the weight part of Serre's conjecture in generic situations for forms of $U(3)$ which are compact at infinity and split at places dividing $p$ as conjectured by Herzig. We also prove automorphy lifting theorems in dimension three. The key input is an explicit description of tamely potentially crystalline deformation rings with Hodge-Tate weights $(2,1,0)$ for $K/\mathbb{Q}_p$ unramified combined with patching techniques. Our results show that the (geometric) Breuil-Mézard conjectures hold for these deformation rings. △ Less

Submitted 30 October, 2017; v1 submitted 20 December, 2015; originally announced December 2015.

Comments: 102 pages, essentially final version, to appear in Invent. Math

Remark on the N-barrier method for a class of autonomous elliptic systems

Authors: Li-Chang Hung

Abstract: In this note, we aim to extend the previous work on an N-barrier maximum principle (\cite{hung2015n,hung2015maximum}) to a more general class of systems of two equations. Moreover, an N-barrier maximum principle for systems of three equations is established. In this note, we aim to extend the previous work on an N-barrier maximum principle (\cite{hung2015n,hung2015maximum}) to a more general class of systems of two equations. Moreover, an N-barrier maximum principle for systems of three equations is established. △ Less

Submitted 17 October, 2015; originally announced October 2015.

Comments: 5 pages

Blow-up in reaction-diffusion systems under Robin boundary conditions

Authors: Li-Chang Hung

Abstract: In this paper we apply the differential inequality technique of Payne {\it et. al} \cite{Payne&SchaeferRobin08} to show that a reaction-diffusion system admits blow-up solutions, and to determine an upper bound for the blow-up time. For a particular nonlinearity, a lower bound on the blow-up time, when blow-up does occur, is also given. In this paper we apply the differential inequality technique of Payne {\it et. al} \cite{Payne&SchaeferRobin08} to show that a reaction-diffusion system admits blow-up solutions, and to determine an upper bound for the blow-up time. For a particular nonlinearity, a lower bound on the blow-up time, when blow-up does occur, is also given. △ Less

Submitted 9 September, 2015; originally announced September 2015.

Comments: 11 pages

Stationary solutions to the Poisson-Nernst-Planck equations with steric effects

Authors: Li-Chang Hung, Mach Nguyet Minh

Abstract: Ion transport, the movement of ions across a cellular membrane, plays a crucial role in a wide variety of biological processes and can be described by the Poisson-Nernst-Planck equations with steric effects (PNP-steric equations). In this paper, we shall show that under homogeneous Neumann boundary conditions, the steady-state PNP-steric equations are equivalent to a system of differential algebra… ▽ More Ion transport, the movement of ions across a cellular membrane, plays a crucial role in a wide variety of biological processes and can be described by the Poisson-Nernst-Planck equations with steric effects (PNP-steric equations). In this paper, we shall show that under homogeneous Neumann boundary conditions, the steady-state PNP-steric equations are equivalent to a system of differential algebraic equations (DAEs). Analyzing this system of DAEs inspires us to propose an assumption on coupling constants, the so-called \textbf{(H1)} which will be introduced in \cref{Sec:model}, such that if \textbf{(H1)} holds true, the steady-state PNP-steric equations admit a unique stationary $C^2$ solution. Moreover, we shall point out the occurrence of bifurcation when \textbf{(H1)} is violated, which may relate to the opening and closing of the ion channels. When \textbf{(H1)} fails, we also suggest a simple criterion to check whether the system of DAE equations admits unique monotone $C^2$ solutions; or unique monotone piecewise $C^2$ solutions with vertical tangents; or triple piecewise $C^2$ solutions. To the best of the authors' knowledge, this is the first time such DAE approach has been utilized to obtain a complete investigation for the steady-state PNP-steric equations of two counter-charged ion species △ Less

Submitted 12 July, 2019; v1 submitted 8 September, 2015; originally announced September 2015.

An N-barrier maximum principle for elliptic systems arising from the study of traveling waves in reaction-diffusion systems

Authors: Li-Chang Hung

Abstract: By employing the N-barrier method developed in the paper, we establish a new N-barrier maximum principle for diffusive Lotka-Volterra systems of two competing species. As an application of this maximum principle, we show under certain conditions, the existence and nonexistence of traveling waves solutions for systems of three competing species. In addition, new $(1,0,0)$-$(u^{\ast},v^{\ast},0)$ wa… ▽ More By employing the N-barrier method developed in the paper, we establish a new N-barrier maximum principle for diffusive Lotka-Volterra systems of two competing species. As an application of this maximum principle, we show under certain conditions, the existence and nonexistence of traveling waves solutions for systems of three competing species. In addition, new $(1,0,0)$-$(u^{\ast},v^{\ast},0)$ waves are given in terms of the tanh function provided that the parameters satisfy certain conditions. △ Less

Submitted 1 September, 2015; originally announced September 2015.

Comments: 24 pages

A maximum principle for diffusive Lotka-Volterra systems of two competing species

Authors: Li-Chang Hung, Chiun-Chuan Chen

Abstract: Using a new approach, we establish a maximum principle for diffusive Lotka-Volterra systems of two competing species. Under certain conditions we show this maximum principle leads to the nonexistence of traveling waves solutions for systems of three competing species. Using a new approach, we establish a maximum principle for diffusive Lotka-Volterra systems of two competing species. Under certain conditions we show this maximum principle leads to the nonexistence of traveling waves solutions for systems of three competing species. △ Less

Submitted 9 April, 2016; v1 submitted 31 August, 2015; originally announced September 2015.

Comments: 21 pages

Level raising mod 2 and arbitrary 2-Selmer ranks

Authors: Bao V. Le Hung, Chao Li

Abstract: We prove a level raising mod $\ell=2$ theorem for elliptic curves over $\mathbb{Q}$. It generalizes theorems of Ribet and Diamond-Taylor and also explains different sign phenomena compared to odd $\ell$. We use it to study the 2-Selmer groups of modular abelian varieties with common mod 2 Galois representation. As an application, we show that the 2-Selmer rank can be arbitrary in level raising fam… ▽ More We prove a level raising mod $\ell=2$ theorem for elliptic curves over $\mathbb{Q}$. It generalizes theorems of Ribet and Diamond-Taylor and also explains different sign phenomena compared to odd $\ell$. We use it to study the 2-Selmer groups of modular abelian varieties with common mod 2 Galois representation. As an application, we show that the 2-Selmer rank can be arbitrary in level raising families. △ Less

Submitted 1 April, 2016; v1 submitted 6 January, 2015; originally announced January 2015.

Comments: To appear in Compos. Math

On the image of complex conjugation in certain Galois representations

Authors: Ana Caraiani, Bao V. Le Hung

Abstract: We compute the image of any choice of complex conjugation on the Galois representations associated to regular algebraic cuspidal automorphic representations and to torsion classes in the cohomology of locally symmetric spaces for $GL_n$ over a totally real field $F$. We compute the image of any choice of complex conjugation on the Galois representations associated to regular algebraic cuspidal automorphic representations and to torsion classes in the cohomology of locally symmetric spaces for $GL_n$ over a totally real field $F$. △ Less

Submitted 7 September, 2014; originally announced September 2014.

Journal ref: Compositio Math. 152 (2016) 1476-1488

Average size of 2-Selmer groups of elliptic curves over function fields

Authors: Q. P. Ho, B. V. Le Hung, B. C. Ngo

Abstract: Employing a geometric setting inspired by the proof of the Fundamental Lemma, we study some counting problems related to the average size of 2-Selmer groups and hence obtain an estimate for it. Employing a geometric setting inspired by the proof of the Fundamental Lemma, we study some counting problems related to the average size of 2-Selmer groups and hence obtain an estimate for it. △ Less

Submitted 27 October, 2014; v1 submitted 29 October, 2013; originally announced October 2013.

Comments: Thoroughly revised to improve the exposition

Elliptic Curves over Real Quadratic Fields are Modular

Authors: Nuno Freitas, Bao V. Le Hung, Samir Siksek

Abstract: We prove that all elliptic curves defined over real quadratic fields are modular. We prove that all elliptic curves defined over real quadratic fields are modular. △ Less

Submitted 18 July, 2014; v1 submitted 26 October, 2013; originally announced October 2013.

Comments: 38 pages. Magma scripts available as ancillary files with this arXiv version

MSC Class: 11F80

Modularity of some elliptic curves over totally real fields

Authors: Bao V. Le Hung

Abstract: We investigate modularity of elliptic curves over a general totally real number field, establishing a finiteness result for the set non-modular $j$-invariants. By analyzing quadratic points on some modular curves, we show that all elliptic curves over certain real quadratic fields are modular. We investigate modularity of elliptic curves over a general totally real number field, establishing a finiteness result for the set non-modular $j$-invariants. By analyzing quadratic points on some modular curves, we show that all elliptic curves over certain real quadratic fields are modular. △ Less

Submitted 16 September, 2013; originally announced September 2013.

Comments: Pleriminary version

On the threshold-width of graphs

Authors: M. Chang, L. Hung, T. Kloks, S. Peng

Abstract: The GG-width of a class of graphs GG is defined as follows. A graph G has GG-width k if there are k independent sets N1,...,Nk in G such that G can be embedded into a graph H in GG such that for every edge e in H which is not an edge in G, there exists an i such that both endpoints of e are in Ni. For the class TH of threshold graphs we show that TH-width is NP-complete and we present fixed-parame… ▽ More The GG-width of a class of graphs GG is defined as follows. A graph G has GG-width k if there are k independent sets N1,...,Nk in G such that G can be embedded into a graph H in GG such that for every edge e in H which is not an edge in G, there exists an i such that both endpoints of e are in Ni. For the class TH of threshold graphs we show that TH-width is NP-complete and we present fixed-parameter algorithms. We also show that for each k, graphs of TH-width at most k are characterized by a finite collection of forbidden induced subgraphs. △ Less

Submitted 29 October, 2012; originally announced October 2012.

Minkowski Measurability and Exact Fractal Tube Formulas for p-Adic Self-Similar Strings

Authors: Michel L. Lapidus, Lu Hung, Machiel van Frankenhuijsen

Abstract: The theory of p-adic fractal strings and their complex dimensions was developed by the first two authors in [17, 18, 19], particularly in the self-similar case, in parallel with its archimedean (or real) counterpart developed by the first and third author in [28]. Using the fractal tube formula obtained by the authors for p-adic fractal strings in [20], we present here an exact volume formula for… ▽ More The theory of p-adic fractal strings and their complex dimensions was developed by the first two authors in [17, 18, 19], particularly in the self-similar case, in parallel with its archimedean (or real) counterpart developed by the first and third author in [28]. Using the fractal tube formula obtained by the authors for p-adic fractal strings in [20], we present here an exact volume formula for the tubular neighborhood of a p-adic self-similar fractal string Lp, expressed in terms of the underlying complex dimensions. The periodic structure of the complex dimensions allows one to obtain a very concrete form for the resulting fractal tube formula. Moreover, we derive and use a truncated version of this fractal tube formula in order to show that Lp is not Minkowski measurable and obtain an explicit expression for its average Minkowski content. The general theory is illustrated by two simple examples, the 3-adic Cantor string and the 2-adic Fibonacci strings, which are nonarchimedean analogs (introduced in [17, 18]) of the real Cantor and Fibonacci strings studied in [28]. △ Less

Submitted 26 March, 2014; v1 submitted 28 September, 2012; originally announced September 2012.

Comments: 24 pages, 4 figures, submitted to Contemporary Mathematics by the AMS. arXiv admin note: substantial text overlap with arXiv:1105.2966

Journal ref: Contemporary Mathematics vol. 600. Fractal Geometry and Dynamical Systems in Pure and Applied Mathematics I: Fractals in Pure Mathematics (D. Carfi`, M.L. Lapidus, E.P.J. Pearse, M. van Frankenhuijsen, eds) 2013

Black-and-white threshold graphs

Authors: Ling-Ju Hung, Ton Kloks, Fernando Villaamil

Abstract: Let k be a natural number. We introduce k-threshold graphs. We show that there exists an O(n^3) algorithm for the recognition of k-threshold graphs for each natural number k. k-Threshold graphs are characterized by a finite collection of forbidden induced subgraphs. For the case k=2 we characterize the partitioned 2-threshold graphs by forbidden induced subgraphs. We introduce restricted -, and sp… ▽ More Let k be a natural number. We introduce k-threshold graphs. We show that there exists an O(n^3) algorithm for the recognition of k-threshold graphs for each natural number k. k-Threshold graphs are characterized by a finite collection of forbidden induced subgraphs. For the case k=2 we characterize the partitioned 2-threshold graphs by forbidden induced subgraphs. We introduce restricted -, and special 2-threshold graphs. We characterize both classes by forbidden induced subgraphs. The restricted 2-threshold graphs coincide with the switching class of threshold graphs. This provides a decomposition theorem for the switching class of threshold graphs. △ Less

Submitted 19 April, 2011; originally announced April 2011.

Bandwidth and density for block graphs

Authors: Le Tu Quoc Hung, Maciej M. Syslo, Margaret L. Weaver, Douglas B. West

Abstract: The bandwidth of a graph G is the minimum of the maximum difference between adjacent labels when the vertices have distinct integer labels. We provide a polynomial algorithm to produce an optimal bandwidth labeling for graphs in a special class of block graphs (graphs in which every block is a clique), namely those where deleting the vertices of degree one produces a path of cliques. The result… ▽ More The bandwidth of a graph G is the minimum of the maximum difference between adjacent labels when the vertices have distinct integer labels. We provide a polynomial algorithm to produce an optimal bandwidth labeling for graphs in a special class of block graphs (graphs in which every block is a clique), namely those where deleting the vertices of degree one produces a path of cliques. The result is best possible in various ways. Furthermore, for two classes of graphs that are ``almost'' caterpillars, the bandwidth problem is NP-complete. △ Less

Submitted 5 February, 1998; originally announced February 1998.

Comments: 14 pages, 9 included figures. Note: figures did not appear in original upload; resubmission corrects this

MSC Class: 05C78

Journal ref: Discrete Mathematics 189(1998), 163-176