相关论文: Remarks on the Cross Norm Criterion for Separabili…
In this article, we give an account of some recent irreducibility testing criteria for polynomials having integer coefficients over the field of rational numbers.
We prove a large deviations principle for the empirical law of the block sizes of a uniformly distributed non-crossing partition. As an application we obtain a variational formula for the maximum of the support of a compactly supported…
Recent work on fairness in machine learning has focused on various statistical discrimination criteria and how they trade off. Most of these criteria are observational: They depend only on the joint distribution of predictor, protected…
We generalize the feasible interpolation theorem for semantic derivations from K.(1997) by allowing randomized protocols (protocols in the sense of K.(1997). We also introduce an extension of the monotone circuit model, monotone circuits…
Quantum entanglement serves as a fundamental resource in quantum information theory. This paper presents a comprehensive framework of separability criteria for detecting bipartite and multipartite entanglements. We construct a novel…
A general procedure to construct criteria for identifying genuine multipartite continuous variable entanglement is presented. It relies on the proper definition of adequate global operators describing the multipartite system, the positive…
The paper is a reply to the arguments adduced by the authors of Ref. [arXiv:1204.4142] against the results obtained by the author in Refs. [6,7]. It is shown that these arguments are based on the erroneous approach made in Ref.…
Robustness is a fundamental pillar of Machine Learning (ML) classifiers, substantially determining their reliability. Methods for assessing classifier robustness are therefore essential. In this work, we address the challenge of evaluating…
In this paper we try to find a computational interpretation for a strong form of extensionality, which we call "converse extensionality". Converse extensionality principles, which arise as the Dialectica interpretation of the axiom of…
A cross-diffusion system for two compoments with a Laplacian structure is analyzed on the multi-dimensional torus. This system, which was recently suggested by P.-L. Lions, is formally derived from a Fokker-Planck equation for the…
Encodings or the proof of their absence are the main way to compare process calculi. To analyse the quality of encodings and to rule out trivial or meaningless encodings, they are augmented with quality criteria. There exists a bunch of…
We propose an adjusted likelihood ratio test of two-factor separability (Kronecker product structure) for unbalanced multivariate repeated measures data. Here we address the particular case where the within subject correlation is believed…
Some new Frobenius norm bounds of the unique solution to certain structured Sylvester equation are derived. Based on the derived norm upper bounds, new multiplicative perturbation bounds are provided both for subunitary polar factors and…
Separability is an important problem in theory of quantum entanglement. By using the Bloch representation of quantum states in terms of the Heisenberg-Weyl observable basis, we present a new separability criterion for bipartite quantum…
We present a new set of inseparabilty inequalities to detect entanglement in $N$-spin states. These are based on negative partial transposition and involve collective spin-spin correlations of any two partitions of the entire system. They…
Lebesgue's dominated convergence theorem is a crucial pillar of modern analysis, but there are certain areas of the subject where this theorem is deficient. Deeper criteria for convergence of integrals are described in this article.
From a machine learning point of view, identifying a subset of relevant features from a real data set can be useful to improve the results achieved by classification methods and to reduce their time and space complexity. To achieve this…
The aim of this note is to prove a new discrepancy principle. The advantage of the new discrepancy principle compared with the known one consists of solving a minimization problem approximately, rather than exactly, and in the proof of a…
Finding separable certificates of stability is important for tractability of analysis methods for large-scale networked systems. In this paper we consider the question of when a nonlinear system which is contracting, i.e. all solutions are…
A linear list is a collection of items that can be accessed sequentially. The cost of a request is the number of items that need to be examined before the desired item is located, i.e., the distance of the requested item from the beginning…