Results 11 to 20 of about 14,100 (298)
A counterexample to the Drury permanent conjecture
Special Matrices, 2017 We offer a counterexample to a conjecture concerning the permanent of positive semidefinite matrices. The counterexample is a 4 × 4 complex correlation matrix.
Hutchinson George
doaj +2 more sources
A counterexample to the CFT convexity conjecture [PDF]
Journal of High Energy Physics, 2023 Motivated by the weak gravity conjecture, [Phys. Rev. D 104 (2021) 126005] conjectured that in any CFT, the minimal operator dimension at fixed charge is a convex function of the charge.
Adar Sharon, Masataka Watanabe
doaj +3 more sources
A Counterexample to Orlik's Conjecture [PDF]
Proceedings of the American Mathematical Society, 1993 We present a counterexample to the conjecture by Orlik that the restriction of a free hyperplane arrangement to one of its hyperplanes is free.
Edelman, Paul H., Reiner, Victor
openaire +2 more sources
A Counterexample to a Theorem of Xu [PDF]
Journal of Mathematical Analysis and Applications, 1997 The author shows by means of a trivial counterexample that a theorem contained in a recent paper by \textit{H.-K. Xu} [J. Math. Anal. Appl. 167, No. 2, 582-587 (1992; Zbl 0776.47042)] is false, but also indicates a possible correction.
Ćirić, Ljubomir
openaire +3 more sources
Counterexample classification [PDF]
Software and Systems Modeling, 2021 In model checking, when a given model fails to satisfy the desired specification, a typical model checker provides a counterexample that illustrates how the violation occurs. In general, there exist many diverse counterexamples that exhibit distinct violating behaviors, which the user may wish to examine before deciding how to repair the model ...
Cole Vick, Eunsuk Kang, Stavros Tripakis
openaire +4 more sources
Localizing errors in counterexample with iteratively witness searching [PDF]
, 2004 We propose a novel approach to locate errors in complex counterexample of safety property. Our approach measures the distance between two state transition traces with difference of their control flow.
Qin, Ying, Li, SiKun, Shen, ShengYu
core +2 more sources
Minimizing counterexample with Unit Core Extraction and Incremental SAT [PDF]
, 2005 It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample minimization algorithm.
Qin, Ying, Li, SiKun, Shen, ShengYu
core +2 more sources
Counterexamples to the Hasse Principle [PDF]
The American Mathematical Monthly, 2011 In this article we develop counterexamples to the Hasse principle using only techniques from undergraduate number theory and algebra. By keeping the technical prerequisites to a minimum, we hope to provide a path for nonspecialists to this interesting area of number theory. The counterexamples considered here extend the classical counterexample of Lind
Wayne Aitken, Franz Lemmermeyer
openaire +2 more sources
Minimization of Counterexamples in SPIN [PDF]
, 2004 We propose an algorithm to find a counter-example to some property in a finite state program. This algorithm is derived from SPIN's one, but it finds a counter-example faster than SPIN does. (In particular it still works in linear time.) Moreover, it does not require more memory than SPIN.
Gastin, Paul +2 more
openaire +3 more sources
Planar Turán Numbers of Cycles: A Counterexample [PDF]
, 2022 The planar Turán number exP(Cℓ, n) is the largest number of edges in an n-vertex planar graph with no ℓ-cycle. For each ℓ ∈ {3, 4, 5, 6}, upper bounds on exP(Cℓ, n) are known that hold with equality infinitely often.
Liu, Xiaonan +3 more
core