Search

We present a simplified explanation of why free fractional convolution corresponds to the differentiation of polynomials, by finding how the finite free cumulants of a polynomial behave under differentiation. This approach allows us to understand the limiting behaviour of the coefficients $\widetilde{\mathsf{e}}_k(p_d)$ of $p_d$ when the degree $d$ tends to infinity and the empirical root distribution of $p_d$ has a limiting distribution $\mu$ on $[0,\infty)$. Specifically, we relate the asymptotic behaviour of the ratio of consecutive coefficients to Voiculescu's $S$-transform of $\mu$. This prompts us to define a new notion of finite $S$-transform, which converges to Voiculescu's $S$-transform in the large $d$ limit. It also satisfies several analogous properties to those of the $S$-transform in free probability, including multiplicativity and monotonicity. This new insight has several applications that strengthen the connection between free and finite free probability. Most notably, we generalize the approximation of $\boxtimes_d$ to $\boxtimes$ and prove a finite approximation of the Tucci--Haagerup--M\"oller limit theorem in free probability, conjectured by two of the authors. We also provide finite analogues of the free multiplicative Poisson law, the free max-convolution powers and some free stable laws., Comment: 41 pages

We present a criteria affirming the existence of discrete ground states of the Dirac operators which describe the fermion scattering on topological solitons in the nonlinear $O(3)$ $\sigma$-model. Additionally, we investigate a sufficient condition that elucidates the phenomenon of supersymmetry breaking within the supersymmetric quantum mechanics associated with this Dirac operator., Comment: 12 pages

The concept of free extreme value distributions as universal limit laws for the spectral maximum of free noncommutative real random variables was discovered by Ben Arous and Voiculescu in 2006. This paper contributes to study the convergence of densities towards free extreme value distributions under the von Mises condition for sample distributions., Comment: 15 pages. We modified Theorem 1.1, Example 3,6 and Remark 3.7

We propose a model to describe an evolution of a bubble cluster with rupture. In a special case, the equation is reduced to a single parabolic equation with evaporation for the thickness of a liquid layer covering bubbles. We postulate that a bubble collapses if this liquid layer becomes thin. We call this collapse a rupture. We prove for our model that there is a periodic-in-time solution if the place of rupture occurs only in the largest bubble. Numerical tests indicate that there may not exist a periodic solution if such an assumption is violated., Comment: 18 pages, 12 figures

Belinschi et al. [Adv. Math., 226 (2011), 3677--3698] proved that the normal distribution is freely infinitely divisible. This paper establishes a certain monotonicity, real analyticity and asymptotic behavior of the density of the free L\'{e}vy measure. The monotonicity property strengthens the result in Hasebe et al. [Int. Math. Res. Not. (2019), 1758--1787] that the normal distribution is freely selfdecomposable., Comment: 18 pages, 6 figures

We provide a refined combinatorial identity for the set of partitions of $\{1,\dots, n\}$, which plays an important role in investigating several limit theorems related to finite free convolutions. Firstly, we present the finite free analogue of Sakuma and Yoshida's limit theorem. That is, we provide the limit of $\{D_{1/m}((p_d^{\boxtimes_d m})^{\boxplus_d m})\}_{m\in \mathbb{N}}$ as $m\rightarrow\infty$ in two cases: (i) $m/d\rightarrow t$ for some $t>0$, or (ii) $m/d\rightarrow0$. The second application presents a central limit theorem for finite free multiplicative convolution. We establish a connection between this theorem and the multiplicative free semicircular distributions through combinatorial identities. Our last result gives alternative proofs for Kabluchko's limit theorems concerning the unitary Hermite and the Laguerre polynomials., Comment: 34 pages. Final version

We provide the law of large numbers for roots of finite free multiplicative convolution of polynomials which have only non-negative real roots. Moreover, we study the empirical root distributions of limit polynomials obtained through the law of large numbers of finite free multiplicative convolution when their degree tends to infinity.

This paper introduces the class of selfdecomposable distributions concerning Boolean convolution. A general regularity property of Boolean selfdecomposable distributions is established; in particular the number of atoms is at most two and the singular continuous part is zero. We then analyze how shifting probability measures changes Boolean selfdecomposability. Several examples are presented to supplement the above results. Finally, we prove that the standard normal distribution $N(0,1)$ is Boolean selfdecomposable but the shifted one $N(m,1)$ is not for sufficiently large $|m|$., Comment: 20 pages, 3 figures

Inspired by the notion of quasi-infinite divisibility (QID), we introduce and study the class of freely quasi-infinitely divisible (FQID) distributions on $\mathbb{R}$, i.e. distributions which admit the free L\'{e}vy-Khintchine-type representation with signed L\'{e}vy measure. We prove several properties of the FQID class, some of them in contrast to those of the QID class. For example, a FQID distribution may have negative Gaussian part, and the total mass of its signed L\'{e}vy measure may be negative. Finally, we extend the Bercovici-Pata bijection, providing a characteristic triplet, with the L\'{e}vy measure having nonzero negative part, which is at the same time classical and free characteristic triplet., Comment: 33 pages, 3 figures

Let $\{X_n\}_n$ be a sequence of freely independent, identically distributed non-commutative random variables. Consider a sequence $\{W_n\}_n$ of the renormalized spectral maximum of random variables $X_1,\cdots, X_n$. It is known that the renormalized spectral maximum $W_n$ converges to the free extreme value distribution under certain conditions on the distribution function. In this paper, we provide a rate of convergence in the Kolmogorov distance between a distribution function of $W_n$ and the free extreme value distribution., Comment: 15 pages

In this paper, we explore the stability of the energy landscape of an Ising Hamiltonian when subjected to two kinds of perturbations: a perturbation on the coupling coefficients and external fields, and a perturbation on the underlying graph structure. We give sufficient conditions so that the ground states of a given Hamiltonian are stable under perturbations of the first kind in terms of order preservation. Here by order preservation we mean that the ordering of energy corresponding to two spin configurations in a perturbed Hamiltonian will be preserved in the original Hamiltonian up to a given error margin. We also estimate the probability that the energy gap between ground states for the original Hamiltonian and the perturbed Hamiltonian is bounded by a given error margin when the coupling coefficients and local external magnetic fields of the original Hamiltonian are i.i.d. Gaussian random variables. In the end we show a concrete example of a system which is stable under perturbations of the second kind., Comment: 16 pages, 7 figures

First-order convergence in time and space is proved for a fully discrete semi-implicit finite element method for the two-dimensional Navier--Stokes equations with $L^2$ initial data in convex polygonal domains, without extra regularity assumptions or grid-ratio conditions. The proof utilises the smoothing properties of the Navier--Stokes equations, an appropriate duality argument, and the smallness of the numerical solution in the discrete $L^2(0,t_m;H^1)$ norm when $t_m$ is smaller than some constant. Numerical examples are provided to support the theoretical analysis.

We introduce new homomorphisms relative to additive convolutions and max-convolutions in free, boolean and classical cases. Crucial roles are played by the limit distributions for free multiplicative law of large numbers., Comment: 15 pages

We prove that the marginal law $\sigma_{t}\boxtimes\nu$ of free positive multiplicative Brownian motion is log-unimodal for all $t>0$ if $\nu$ is a multiplicatively symmetric log-unimodal distribution, and that $\sigma_{t}\boxtimes\nu$ is log-unimodal for sufficiently large $t$ if $\nu$ is supported on a suitably chosen finite interval. Counterexamples are given when $\nu$ is not assumed to be symmetric or having a bounded support., Comment: 14 pages

Static analysis tools, or linters, detect violation of source code conventions to maintain project readability. Those tools automatically fix specific violations while developers edit the source code. However, existing tools are designed for the general conventions of programming languages. These tools do not check the project/API-specific conventions. We propose a novel static analysis tool DevReplay that generates code change patterns by mining the code change history, and we recommend changes using the matched patterns. Using DevReplay, developers can automatically detect and fix project/API-specific problems in the code editor and code review. Also, we evaluate the accuracy of DevReplay using automatic program repair tool benchmarks and real software. We found that DevReplay resolves more bugs than state-of-the-art APR tools. Finally, we submitted patches to the most popular open-source projects that are implemented by different languages, and project reviewers accepted 80% (8 of 10) patches. DevReplay is available on https://devreplay.github.io.

We investigate relations between additive convolution semigroup and max-convolution semigroup through the law of large numbers for the free multiplicative convolution. Based on the relation, we give a formula related with Belinschi-Nica semigroup and max-Belinschi-Nica semigroup. Finally, we give several limit theorems for classical, free and Boolean extreme values., Comment: 26 pages

Code Review (CR) is the cornerstone for software quality assurance and a crucial practice for software development. As CR research matures, it can be difficult to keep track of the best practices and state-of-the-art in methodology, dataset, and metric. This paper investigates the potential of benchmarking by collecting methodology, dataset, and metric of CR studies. A systematic mapping study was conducted. A total of 112 studies from 19,847 papers published in high-impact venues between the years 2011 and 2019 were selected and analyzed. First, we find that empirical evaluation is the most common methodology (65% of papers), with solution and experience being the least common methodology. Second, we highlight 50% of papers that use the quantitative method or mixed-method have the potential for replicability. Third, we identify 457 metrics that are grouped into sixteen core metric sets, applied to nine Software Engineering topics, showing different research topics tend to use specific metric sets. We conclude that at this stage, we cannot benchmark CR studies. Nevertheless, a common benchmark will facilitate new researchers, including experts from other fields, to innovate new techniques and build on top of already established methodologies. A full replication is available at https://naist-se.github.io/code-review/.

We study properties of the Fuss-Catalan distributions $\mu(p,r)$, $p\geq1$, $0

We investigate a Belinschi-Nica type semigroup for free and Boolean max-convolutions. We prove that this semigroup at time one connects limit theorems for freely and Boolean max-infinitely divisible distributions. Moreover, we also construct a max-analogue of Boolean-classical Bercovici-Pata bijection, establishing the equivalence of limit theorems for Boolean and classical max-infinitely divisible distributions., Comment: 21 pages, accepted by JOTP

The split Bregman framework for Osher-Sol\'e-Vese (OSV) model and fourth order total variation flow are studied. We discretize the problem by piecewise constant function and compute $\nabla(-\Delta_{\mathrm{av}})^{-1}$ approximately and exactly. Furthermore, we provide a new shrinkage operator for Spohn's fourth order model. Numerical experiments are demonstrated for fourth order problems under periodic boundary condition.

We study unimodality for free multiplicative convolution with free normal distributions $\{\lambda_t\}_{t>0}$ on the unit circle. We give four results on unimodality for $\mu\boxtimes\lambda_t$: (1) if $\mu$ is a symmetric unimodal distribution on the unit circle then so is $\mu\boxtimes \lambda_t$ at any time $t>0$; (2) if $\mu$ is a symmetric distribution on $\mathbb{T}$ supported on $\{e^{i\theta}: \theta \in [-\varphi,\varphi]\}$ for some $\varphi \in (0,\pi/2)$, then $\mu \boxtimes \lambda_t$ is unimodal for sufficiently large $t>0$; (3) ${\bf b} \boxtimes \lambda_t$ is not unimodal at any time $t>0$, where ${\bf b}$ is the equally weighted Bernoulli distribution on $\{1,-1\}$; (4) $\lambda_t$ is not freely strongly unimodal for sufficiently small $t>0$. Moreover, we study unimodality for classical multiplicative convolution (with Poisson kernels), which is useful in proving the above four results., Comment: 19 pages, 4 figures

We study free infinite divisibility (FID) for a class which is called generalized power distributions with free Poisson term by using a complex analytic technique and a calculation for the free cumulants and Hankel determinants. In particular, our main result implies that (i) if $X$ follows the free Generalized Inverse Gaussian distribution, then $X^r$ follows an FID distribution when $|r|\ge1$, (ii) if $S$ follows the standard semicircle law and $u\ge 2$, then $(S+u)^r$ follows an FID distribution when $r\le -1$, and (iii) if $B_p$ follows the beta distribution with parameters $p$ and $3/2$, then (a) $B_p^r$ follows an FID distribution when $|r|\ge 1$ and $01/2$., Comment: 15 pages, 5 figures

In this paper, we obtain results for factorizability of quantum channels. Firstly, we prove that if a tensor $T\otimes S_k$ of a quantum channel $T$ on $M_n(\mathbb{C})$ with the completely depolarizing channel $S_k$ is written as a convex combination of automorphisms on the matrix algebra $M_n(\mathbb{C})\otimes M_k(\mathbb{C})$ with rational coefficients, then the quantum channel $T$ has an exact factorization through some matrix algebra with the normalized trace. Next, we prove that if a quantum channel has an exact factorization through a finite dimensional von Neumann algebra with a convex combination of normal faithful tracial states with rational coefficients, then it also has an exact factorization through some matrix algebra with the normalized trace., Comment: 9 pages. Please note that Problems 1.1 and 1.3 have already been completely solved in the published version from AOT

The Nitsche method is a method of "weak imposition" of the inhomogeneous Dirichlet boundary conditions for partial differential equations. This paper explains stability and convergence study of the Nitsche method applied to evolutionary diffusion-advection-reaction equations. We mainly discuss a general space semidiscrete scheme including not only the standard finite element method but also Isogeometric Analysis. Our method of analysis is a variational one that is a popular method for studying elliptic problems. The variational method enables us to obtain the best approximation property directly. Actually, results show that the scheme satisfies the inf-sup condition and Galerkin orthogonality. Consequently, the optimal order error estimates in some appropriate norms are proven under some regularity assumptions on the exact solution. We also consider a fully discretized scheme using the backward Euler method. Numerical example demonstrate the validity of those theoretical results., Comment: 23 pages, 5 figures

We prove that classical and free Brownian motions with initial distributions are unimodal for sufficiently large time, under some assumption on the initial distributions. The assumption is almost optimal in some sense. Similar results are shown for a symmetric stable process with index 1 and a positive stable process with index $1/2$. We also prove that free Brownian motion with initial symmetric unimodal distribution is unimodal, and discuss strong unimodality for free convolution., Comment: 19 pages, 18 figures; accepted by ALEA