Search

The Froggatt-Nielsen (FN) mechanism successfully explains the hierarchical structure of fermion Yukawa couplings by introducing a U(1) flavor symmetry with distinct charge assignments for different fermion generations. While some FN charge assignments have been proposed, their evaluation has largely relied on heuristic approaches. This paper systematically investigates viable FN charge assignments within the Standard Model, including both the quark and lepton sectors, using Bayesian statistical analysis. The study explores scenarios involving both the seesaw mechanism and dimension-five operators for neutrino mass generation. A comprehensive parameter scan over FN charges reveals a wide range of charge assignments consistent with observed fermion masses and mixing angles. Interestingly, negative FN charges and significant generational differences in charges are found to be viable, contrary to conventional assumptions. The analysis also compares the seesaw mechanism and dimension-five operator scenarios, finding no strong preference between them for optimal charge assignments. Furthermore, predictions for the lightest neutrino mass and effective Majorana mass relevant for neutrinoless double-beta decay are presented, highlighting regions of parameter space accessible to upcoming experiments. Finally, implications for nucleon decay are studied, demonstrating that different FN charge assignments predict significantly different nucleon decay lifetimes and branching ratios, providing a potential experimental probe for FN models., Comment: 41 pages, 16 figures

This paper explores nucleon decay within the framework of a "fake Grand Unified Theory (GUT)" combined with the Froggatt-Nielsen (FN) mechanism. In this fake GUT framework, quarks and leptons may have distinct high-energy origins but fit into complete $\mathrm{SU}(5)$ multiplets at low energies without requiring force unification, setting it apart from conventional GUTs. By introducing flavor symmetry through the FN mechanism, the model addresses the flavor puzzle of quark and lepton mass hierarchies and mixing patterns. Our analysis demonstrates that nucleon decay rates and branching fractions in the fake GUT are sensitive to flavor symmetry, providing a means to distinguish it from conventional GUT predictions. These findings underscore the importance of nucleon decay searches in probing both baryon number violation and the underlying flavor structure., Comment: 19 pages, 8 figures

We consider the three-dimensional compressible Navier--Stokes system with the Coriolis force and prove the long-time existence of a unique strong solution. More precisely, we show that for any $0

We consider the compressible Navier--Stokes system with the Coriolis force on the $3$D whole space. In this model, the Coriolis force causes the linearized solution to behave like a $4$th order dissipative semigroup $\{ e^{-t\Delta^2} \}_{t>0}$ with slower time decay rates than the heat kernel, which creates difficulties in nonlinear estimates in the low-frequency part and prevents us from constructing the global strong solutions by following the classical method. On account of this circumstance, the existence of unique global strong solutions has been open even in the classical Matsumura--Nishida framework. In this paper, we overcome the aforementioned difficulties and succeed in constructing a unique global strong solution in the framework of scaling critical Besov spaces. Furthermore, our result also shows that the global solution is constructed for arbitrarily {\it large} initial data provided that the speed of the rotation is high and the Mach number is low enough by focusing on the dispersive effect due to the mixture of the Coriolis force and acoustic wave.

This paper investigates the impact of small instanton effects on the axion mass in composite axion models. In particular, we focus on the Composite Accidental Axion (CAA) models, which are designed to address the axion quality problem, and where the Peccei-Quinn (PQ) symmetry emerges accidentally. In the CAA models, the QCD gauge symmetry is embedded in a larger gauge group at high energy. These models contain small instantons not included in low-energy QCD, which could enhance the axion mass significantly. However, in the CAA models, our analysis reveals that these effects on the axion mass are non-vanishing but are negligible compared to the QCD effects. The suppression of the small instanton effects originates from the global chiral U(1) symmetries which are not broken spontaneously and play a crucial role in eliminating $\theta$-terms in the hidden sectors through anomalies. We find these U(1) symmetries restrict the impact of small instantons in hidden sectors on the axion mass. Our study provides crucial insights into the dynamics within the CAA models and suggests broader implications for understanding small instanton effects in other composite axion models., Comment: 32 pages, 6 figures, version accepted for publication in JHEP

Consider the three-dimensional Navier--Stokes flow past a moving rigid body $\mathscr{O} \subset \mathbb{R}^3$ with prescribed translational and angular velocities, where $\mathscr{O}$ stands for a bounded Lipschitz domain. We prove that the solution to the linearized problem is governed by a $C_0$-semigroup on solenoidal $L^q$-vector spaces with the $L^q$-$L^r$ estimates provided that $|1/q-1/2|<1/6+\varepsilon$ with some $\varepsilon>0$, where $r \ge q$ may be taken arbitrary large. As an application, we prove the existence and uniqueness of global mild solutions to the Navier--Stokes problem if the translational and angular velocities as well as the initial are sufficiently small., Comment: 32 pages

Metastable cosmic strings appear in models of new physics with a two-step symmetry breaking $G\to H\to 1$, where $\pi_1(H)\neq 0$ and $\pi_1(G)=0$. They decay via the monopole-antimonopole pair creation inside. Conventionally, the breaking rate has been estimated by an infinitely thin string approximation, which requires a large hierarchy between the symmetry breaking scales. In this paper, we reexamine it by taking into account the finite sizes of both the cosmic string and the monopole. We obtain a robust lower limit on the tunneling factor $e^{-S_B}$ even for regimes the conventional estimate is unreliable. In particular, it is relevant to the cosmic string interpretation of the gravitational wave signals recently reported by pulsar timing array experiments., Comment: 26 pages, 13 figures; published version

This paper develops a unified approach to show the maximal regularity theorem of the Stokes equations with free boundary conditions in the half-space $\mathbb R^d_+$, $d \ge 2$, within the $L_1$-in-time and $\mathcal B^s_{q, 1}$-in-space framework with $(q, s)$ satisfying $1 < q < \infty$ and $- 1 + 1 / q < s < 1 / q$, where $\mathcal B^s_{q, 1}$ stands for either homogeneous or inhomogeneous Besov spaces. In particular, we establish a generalized semigroup theory within an $L_1$-in-time and $\mathcal B^s_{q,1}$-in-space framework, which extends a classical $C_0$-analytic semigroup theory to the case of inhomogeneous boundary conditions. The maximal $L_1$-regularity theorem is proved by estimating the Fourier-Laplace inverse transform of the solution to the generalized Stokes resolvent problem with inhomogeneous boundary conditions, where density and interpolation arguments are used. The maximal $L_1$-regularity theorem is applied to show the unique existence of a local strong solution to the Navier-Stokes equations with free boundary conditions for arbitrary initial data $\boldsymbol a$ in $B^s_{q, 1} (\mathbb R^d_+)^d$, where $q$ and $s$ satisfy $d-1 < q \le d$ and $-1+d/q < s < 1/q$, respectively. If we assume that the initial data $\boldsymbol a$ are small in $\dot{B}^{- 1 + d / q}_{q, 1} (\mathbb R^d_+)^d$, $d - 1 < q < 2 d$, then the unique existence of a global strong solution to the system is proved., Comment: The result on the local well-posedness and its proof are corrected

It is remarkable that the matter fields in the Standard Model (SM) are apparently unified into the $\mathrm{SU}(5)$ representations. A straightforward explanation of this fact is to embed all the SM gauge groups into a simple group containing $\mathrm{SU}(5)$, i.e., the grand unified theory (GUT). Recently, however, a new framework "fake GUT" has been proposed. In this new framework, the apparent matter unification can be explained by a chiral gauge group $G$, $ G \supset \mathrm{SU}(5)$. We emphasize that the SM matter fields are not necessarily embedded into the chiral representations to explain the apparent unification. In this paper, we discuss details of concrete realizations of the fake GUT model. We first study the model based on $\mathrm{SU}(5) \times \mathrm{U}(2)_H$, where $\mathrm{SU}(3)_c$ in the SM is from $\mathrm{SU}(5)$ while $\mathrm{SU}(2)_L\times \mathrm{U}(1)_Y$ are from the diagonal subgroups of $\mathrm{SU}(5) \times \mathrm{U}(2)_H$. We also extend this model to the one based on a semi-simple group, $\mathrm{SU}(5) \times \mathrm{SU}(3)_H$, so that $\mathrm{U}(2)_H$ is embedded in $\mathrm{SU}(3)_H$. We also show that this framework predicts rather different decay patterns of the proton, compared to the conventional GUT., Comment: 27 pages, 4 figures, 6 tables

The asymmetric dark matter (ADM) scenario solves the baryon-dark matter coincidence problem when the dark matter (DM) mass is of $\mathcal{O}(1)$GeV. Composite ADM models based on QCD-like strong dynamics are particularly motivated since the strong dynamics naturally provides the DM mass of $\mathcal{O}(1)$GeV and the large annihilation cross-section simultaneously. In those models, the sub-GeV dark photon often plays an essential role in transferring the excessive entropy in the dark sector into the visible sector, i.e., the Standard Model sector. This paper constructs a chiral composite ADM model where the $U(1)_D$ gauge symmetry is embedded into the chiral flavor symmetry. Due to the dynamical breaking of the chiral flavor symmetry, the model naturally provides the masses of the dark photon and the dark pions in the sub-GeV range, both of which play crucial roles for a successful ADM model., Comment: 28 pages, 1 figure

We consider a free boundary problem of the Navier--Stokes equations in the three-dimensional Euclidean space with moving contact line, where the 90$^\circ$-contact angle condition is posed. We show that for given $T > 0$ the problem is local well-posed on $(0, T)$ provided that the initial data are small. In contrast to the strategy in Wilke (2013), we study the transformed problem in an $L^p$-in-time and $L^q$-in-space setting, which yields the optimal regularity of the initial data.

We consider the isentropic Navier-Stokes-Korteweg equations with a non-decreasing pressure on the whole space $\mathbb{R}^n$ $(n \ge 2)$, where the system describes the motion of compressible fluids such as liquid-vapor mixtures with phase transitions including a variable internal capillarity effect. We prove the existence of a unique global strong solution to the system in the $\mathrm{L}^p$-in-time and $\mathrm{L}^q$-in-space framework, especially in the maximal regularity class, by assuming $(p, q) \in (1, 2) \times (1, \infty)$ or $(p, q) \in \{2\} \times (1, 2]$. We show that the system is globally well-posed for small initial data belonging to $\mathrm{H}^{s + 1, q} (\mathbb{R}^n) \times \mathrm{H}^{s, q} (\mathbb{R}^n)^n$ provided $s > n/q$ if $q \le n$ and $s \ge 1$ if $q > n$. Our results allow the case when the derivative of the pressure is zero at a given constant state, that is, the critical states that the fluid changes a phase from vapor to liquid or from liquid to vapor. The arguments in this paper do not require any exact expression or a priori assumption on the pressure., Comment: 21 pages, no figure

We show that the Stokes operator defined on $\mathrm{L}^p_{\sigma} (\Omega)$ for an exterior Lipschitz domain $\Omega \subset \mathbb{R}^n$ $(n \geq 3)$ admits maximal regularity provided that $p$ satisfies $| 1/p - 1/2| < 1/(2n) + \varepsilon$ for some $\varepsilon > 0$. In particular, we prove that the negative of the Stokes operator generates a bounded analytic semigroup on $\mathrm{L}^p_\sigma (\Omega)$ for such $p$. In addition, $\mathrm{L}^p$-$\mathrm{L}^q$-mapping properties of the Stokes semigroup and its gradient with optimal decay estimates are obtained. This enables us to prove the existence of mild solutions to the Navier--Stokes equations in the critical space $\mathrm{L}^{\infty} (0 , T ; \mathrm{L}^3_{\sigma} (\Omega))$ (locally in time and globally in time for small initial data).

Consider a free boundary problem of compressible-incompressible two-phase flows with surface tension and phase transition in bounded domains $\Omega_{t +}, \Omega_{t -} \subset \mathbb{R}^N$, $N \ge 2$, where the domains are separated by a sharp compact interface $\Gamma_t \subset \mathbb{R}^{N - 1}$. We prove a global in time unique existence theorem for such free boundary problem under the assumption that the initial data are sufficiently small and the initial domain of the incompressible fluid is close to a ball. In particular, we obtain the solution in the maximal $L_p - L_q$-regularity class with $2 < p <\infty$ and $N < q < \infty$ and exponential stability of the corresponding analytic semigroup on the infinite time interval., Comment: 25 pages

We consider a free boundary problem of compressible-incompressible two-phase flows with phase transitions in general domains of $N$-dimensional Euclidean space (e.g. whole space; half-spaces; bounded domains; exterior domains). The compressible fluid and the incompressible fluid are separated by either compact or non-compact sharp moving interface, and the surface tension is taken into account. In our model, the compressible fluid and incompressible fluid are occupied by the Navier-Stokes-Korteweg equations and the Navier-Stokes equations, respectively. This paper shows that for given $T > 0$ the problem admits a unique strong solution on $(0,T)$ in the maximal $L_p - L_q$ regularity class provided the initial data are small in their natural norms., Comment: 56 pages, no figure. Accepted version. The proof of Theorem 3.7 is added

There are two kinds of higher-order extensions of model checking: HORS model checking and HFL model checking. Whilst the former has been applied to automated verification of higher-order functional programs, applications of the latter have not been well studied. In the present paper, we show that various verification problems for functional programs, including may/must-reachability, trace properties, and linear-time temporal properties (and their negations), can be naturally reduced to (extended) HFL model checking. The reductions yield a sound and complete logical characterization of those program properties. Compared with the previous approaches based on HORS model checking, our approach provides a more uniform, streamlined method for higher-order program verification., Comment: A shorter version is published in Proceedings of ESOP 2018

We study the compressible and incompressible two-phase flows separated by a sharp interface with a phase transition and a surface tension. In particular, we consider the problem in $\mathbb{R}^N$, and the Navier-Stokes-Korteweg equations is used in the upper domain and the Navier-Stokes equations is used in the lower domain. We prove the existence of $\mathcal{R}$-bounded solution operator families for a resolvent problem arising from its model problem. According to Shibata \cite{GS2014}, the regularity of $\rho_+$ is $W^1_q$ in space, but to solve the kinetic equation: $\mathbf{u}_\Gamma\cdot\mathbf{n}_t = [[\rho\mathbf{u}]]\cdot\mathbf{n}_t /[[\rho]]$ on $\Gamma_t$ we need $W^{2-1/q}_q$ regularity of $\rho_+$ on $\Gamma_t$, which means the regularity loss. Since the regularity of $\rho_+$ dominated by the Navier-Stokes-Korteweg equations is $W^3_q$ in space, we eliminate the problem by using the Navier-Stokes-Korteweg equations instead of the compressible Navier-Stokes equations., Comment: Typos corrected

We will show certain functional inequalities between some products of $x^p - 1$.

In this paper we describe all surjective isometries between open subgroups of the groups of invertible elements in unital $C^{*}$-algebras., Comment: 7 pages

There has arisen in recent years a substantial theory of "multiplier ideals'' in commutative rings. These are integrally closed ideals with properties that lend themselves to highly interesting applications. But how special are they among integrally closed ideals in general? We show that in a two-dimensional regular local ring with algebraically closed residue field, there is in fact no difference between "multiplier" and "integrally closed" (or "complete.") However, among multiplier ideals arising from an integer multiplying constant (also known as adjoint ideals) the only simple complete ones primary for the maximal ideal are those of order one., Comment: 12 pages. In a two-dimensional regular local ring with algebraically closed residue field, every complete fractionary ideal is a multiplier ideal. In the original posting this was proved only for ideals primary for the maximal ideal. A reexamination of the proof, prompted by work of Favre and Jonsson, revealed that with minor modifications it applies--as presented here--to the general case