Related papers: Extended Formulations for Independence Polytopes o…
In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in (Kontinen and Vaananen 2013) and (Hannula 2015). We prove a characterization…
An extended formulation of a polytope P is a polytope Q which can be projected onto P. Extended formulations of small size (i.e., number of facets) are of interest, as they allow to model corresponding optimization problems as linear…
Polynomial optimization problems over binary variables can be expressed as integer programs using a linearization with extra monomials in addition to those arising in the given polynomial. We characterize when such a linearization yields an…
We give a deterministic polynomial time $2^{O(r)}$-approximation algorithm for the number of bases of a given matroid of rank $r$ and the number of common bases of any two matroids of rank $r$. To the best of our knowledge, this is the…
There have been gaps found in the proofs. The paper is withdrawn until further notice.
We provide a rigorous derivation of an asymptotic formula for perturbations in the resonance values caused by the presence of finite number of anisotropic imperfections of small shapes with constitutive parameters different from the…
This paper is a follow-up to our joint paper with I. Agol, P. Storm and K. Whyte "Finiteness of arithmetic hyperbolic reflection groups". The main purpose is to investigate the effective side of the method developed there and its possible…
There is a growing body of evidence that the running of $\alpha_s$ predicted by perturbation (PT) theory is not correctly describing the accelerator experiments at the highest energies. A natural explanation is provided by the authors' 1992…
This paper has been withdrawn because there is a fundamental error in the computations; with the right computational scheme it seems to be just a version of the Jones polynomial
Boris Shoikhet noticed that the proof of lemma 1 in section 2.3 of math.QA/0504420 contains an error. In this note I give a correct proof of this lemma which was suggested to me by Dmitry Tamarkin. The correction does not change the results…
In this paper, we establish bounds for the eigenvalues of matrix polynomials. Specifically, we find different generalizations of the Enestrom-Kakeya Theorem for matrix polynomials.
A positroid is a special case of a realizable matroid that arose from the study of the totally nonnegative part of the Grassmannian by Postnikov. In this paper, we study the facets of its matroid polytope and the independent set polytope.…
The paper has been withdrawn due to a crucial error in section 3.
A new error bound for the linear complementarity problem when the matrix involved is a B-matrix is presented, which improves the corresponding result in [C.Q. Li et al., A new error bound for linear complementarity problems for B-matrices.…
This paper is the concise addition to the foregoing work "Inconsistency of Inaccessibility", containing the presentation of main theorem proof (in ZF) about inaccessible cardinals nonexistence. Here some refinement of this presentation is…
This paper investigates the extension complexity of polytopes by exploiting the correspondence between non-negative factorizations of slack matrices and randomized communication protocols. We introduce a geometric characterization of…
Motivated by work in graph theory, we define the fixing number for a matroid. We give upper and lower bounds for fixing numbers for a general matroid in terms of the size and maximum orbit size (under the action of the matroid automorphism…
This is a short review of some recent results obtained by the author. These results are related the problem of obtaining polynomial identities (computational formulas) for some matrix functions by means of the known polarization theorem,…
This erratum corrects the proof given in \cite{E1,E2} about the existence of $ 3D $ Skyrmions. This is done by changing the arguments of the proof while remaining in the same framework of concentration-compactness. Note however that the use…
In a previous article [N. Delice, F.W. Nijhoff and S. Yoo-Kong, J. Phys. A: Math. Theor. 48(3) (2015), 035206] a novel class of elliptic Lax pairs for integrable lattice equations was introduced. The present article proposes a…