NIST SP800-22 is a randomness test set applied for a set of sequences. Although SP800-22 is widely used, a rational criterion throughout all test items has not been shown. The main reason is that the dependency of test items has not been perfectly clear. In this paper, a certain scalar is computed for each sequence throughout all test items and make the histogram of the scalar. By comparing the histogram and the theoretical distribution under some assumptions, the dependency is visually shown. In addition, an algorithmic method to derive ``minimum set'' using the histogram is proposed.
We present here an estimation of a shallow water flow field based on ensemble Kalman filter FEM. With this technique, the stochastic distribution of the state variables is represented by the ensemble approximation, and the special distribution of the state variables is obtained using the FEM. The shallow water equation is employed as the governing equation, and the SUPG method, a discretization method within the FEM, is applied to discretize the governing equation. The influence of sample number on estimation accuracy and the effect of the advection term in the shallow water equation are investigated in an open-channel model.
Through empirical analysis, this note shows that the time intervals between the consecutive transactions of Nikkei 225 Futures in the Osaka Securities Exchange substantially follow identical Pareto distribution of type Ⅲ independently if the length of observation period is fixed at 15 minutes. This result is expected to give a possible suggestion when we develop a real time simulator of a stock market.
Some discrete inequalities such as the Sobolev inequality give useful a priori estimates for numerical schemes. Although they had been known for the simplest forward difference operator, those for central difference type opereators had been left open until quite recently in Kojima-Matsuo-Furihata (2016) a unified way to discuss them was found. Still, due to some technical reasons, the result was limited to a narrow range of central difference operators. In this paper, we provide a new proof that gives a complete answer regarding the discrete Sobolev inequality and the discrete Gagliardo-Nirenberg inequality with the nonlinear Schrödinger equation index.
In 2015, Gower and Richtárik presented a unifying framework for a variety of randomized iterative algorithms for consistent linear systems. The framework includes the randomized Kaczmarz method that exponentially converges in the mean square whenever the system is consistent. For noisy linear systems corresponding to inconsistent systems, the randomized Kaczmarz method computes an approximate solution within a fixed distance depending on the norm of the noise vector. We extend this error analysis to a general framework in inconsistent systems in a similar manner to Gower and Richtárik, and verify this theoretical analysis in numerical experiments.
HMFEv is a new multivariate signature scheme proposed at PQCrypto 2017. This is a vinegar variant of multi-HFE (Chen et al., 2008). While the original multi-HFE is known to be insecure against the direct attack (Huang et al., 2015), the min-rank attack (Bettale et al., 2013) and the attack using a diagonalization approach (Hashimoto, 2017), HMFEv is considered to be secure enough against these attacks. However, the security against the high-rank attack had not been studied at all. In the present paper, we study the structure of HMFEv and discuss its security against the high-rank attack.
We show that plane curves in the centroaffine geometry admit a flow which is described by the defocusing modified KdV equation. We establish a correspondence between this flow and the KdV flow in the equicentroaffine geometry. We also present an explicit formula for the KdV flow in terms of the $\tau$ function.
This paper formulates and solves the shape optimization problem for the body of a musical instrument such as an acoustic guitar. A coupling system consisting of a linear elastic body surrounded by a compressible fluid is used to define the frequency response problem with respect to an external force applied to the bridge of an acoustic guitar. The acoustic power on an outer boundary within a given frequency range is defined as the objective cost function. The solution of the shape optimization problem is constructed using the $H^1$ gradient method. A numerical example is used to validate this approach.
Lung cancer is the leading cause of cancer death. Dimerization and phosphorylation of the receptor tyrosine kinase are involved in the malignant progression of cancers and drug resistance. Focusing on the EGFR-ErbB3 dimerization, we build a mathematical model using ordinary differential equations (ODEs). By classifying the molecules into two groups, we sum molecular ODEs into two groups and solve them explicitly. From these solutions, all molecule concentrations and their equilibria can be derived theoretically. Based on the theoretical solutions, we determine the dimerization behavior and a key parameter. Our model can be applied to similar dimerization networks.
A numerical method is considered herein for solving the problem of coefficient identification in a linear partial differential equation used to detect damages in steel-concrete composite beams. To identify the numerically unknown coefficient, an iterating algorithm based on the adjoint method is presented. The $H^1$ gradient method is applied to set the search direction in our algorithm. The search direction is selected based on the solution to the weak equation with a bilinear form in the $H^2$ Sobolev space. The effectiveness of our method is confirmed via numerical experiments.
We investigate the performance of the parallel block Jacobi method for the symmetric eigenvalue problem with dynamic ordering both theoretically and experimentally. First, we present an improved global convergence theorem of the method that takes into account the effect of annihilating multiple blocks at once. Next, we compare the dynamic ordering with two representative parallel cyclic orderings experimentally and show that the former can speedup the convergence for ill-conditioned matrices considerably with little extra cost.
We propose a max-plus equation as an extension of $1+1$D cellular automaton of four neighbors. It has two conserved quantities and one monotonically decreasing quantity which are max-plus analogues of those of the binary cellular automaton. It is interesting that one of the quantities is global and defined by the maximum value of dependent variable. We show proofs about their conservation and monotonicity using max-plus formulas.