相关论文: The hybrid spectral test
We introduce a new approach to analyze distributed hybrid systems by a generalization of rely-guarantee reasoning. First, we give a system for deductive verification of class invariants and method contracts in object-oriented distributed…
A compact topological space X is spectral if it is sober (i.e., every irreducible closed set is the closure of a unique singleton) and the compact open subsets of X form a basis of the topology of X, closed under finite intersections.…
In multiple-question referendum elections, the separability problem occurs when a voter's preferences on some questions or proposals depend on the predicted outcomes of others. The notion of separability formalizes the study of…
The present review includes the description of theoretical methods for the investigations of the spectra of hydrogen-like systems. Various versions of the quasipotential approach and the method of the effective Dirac equation are…
We develop a new method in the computation of equivariant homotopy, which is based on the splitting of cofiber sequences associated to universal spaces in the category of equivariant spectra. In particular, we use this method to compute the…
We explore the relationship between two figures of merit for an adiabatic quantum computation process: the success probability $P$ and the minimum gap $\Delta_{min}$ between the ground and first excited states, investigating to what extent…
In this article we prove that for a diffeomorphism on a compact Riemannian manifold, if there is a nontrival homoclinic class that is not uniformly hyperbolic or the diffeomorphism is a $C^{1+\alpha}$ and there is a hyperbolic ergodic…
We present principles of algebraic diversity (AD), a group-theoretic approach to signal processing exploiting signal symmetry to extract more information per observation, complementing classical methods that use temporal and spatial…
Difference sets are subsets of a group satisfying certain combinatorial property with respect to the group operation. They can be characterized using an equality in the group ring of the corresponding group. In this paper, we exploit the…
A family of maximum mean discrepancy (MMD) kernel two-sample tests is introduced. Members of the test family are called Block-tests or B-tests, since the test statistic is an average over MMDs computed on subsets of the samples. The choice…
In the first section we review recent results on the harmonic analysis of fractals generated by iterated function systems with emphasis on spectral duality. Classical harmonic analysis is typically based on groups whereas the fractals are…
We study an intricate mechanism of pattern formation in globally coupled heterogeneous oscillatory media. In anodic electrochemical etching of silicon, the electrode surface splits into two amplitude-phase regions, while all oscillators…
The optical theorem relates the total scattering cross-section of a given structure with its forward scattering, but does not impose any restrictions on other directions. Strong backward-forward asymmetry in scattering could be achieved by…
An implementation of the Hartree-Fock (HF) method capable of robust convergence for well-behaved arbitrary central potentials is presented. The Hartree-Fock equations are converted to a generalized eigenvalue problem by employing a B-spline…
The theory of correlated electron systems is formulated in a form which allows to use as a reference point an ab initio band structure theory (AIBST). The theory is constructed in two steps. As a first step the total Hamiltonian is…
Discrete cubical homology arose as the homology theory associated with discrete cubical homotopy theory. Despite the combinatorial nature of this homology, its computation has posed a significant challenge to the researchers in the field.…
Testing hypotheses of goodness-of-fit about mixture distributions on the basis of independent but not necessarily identically distributed random vectors is considered. The hypotheses are given by a specific distribution or by a family of…
In this paper, we will define the index pair $(i_A(B),\nu_A(B))$ by the dual variational method, and show the relationship between the indices defined by different methods. As applications, we apply the index $(i_A(B),\nu_A(B))$ to study…
The proliferation of heterogeneous configurations in distributed systems presents significant challenges in ensuring stability and efficiency. Misconfigurations, driven by complex parameter interdependencies, can lead to critical failures.…
This paper proposes a new mutual independence test for a large number of high dimensional random vectors. The test statistic is based on the characteristic function of the empirical spectral distribution of the sample covariance matrix. The…