A logical implication between two conjectures on matrix permanents

• URL: http://arxiv.org/abs/2508.00111v1
• Date: Thu, 31 Jul 2025 19:00:57 GMT
• Title: A logical implication between two conjectures on matrix permanents
• Abstract summary: We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices.<n>Although Drury has recently disproved both conjectures, this logical implication yields a non-trivial link between two seemingly unrelated conditions that a positive semidefinite matrix may fulfill.
• Score: 0.0
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices. Although Drury has recently disproved both conjectures, this logical implication yields a non-trivial link between two seemingly unrelated conditions that a positive semidefinite matrix may fulfill. As a corollary, the classes of matrices that are known to obey the first conjecture are then immediately proven to obey the second one. Conversely, we uncover new counterexamples to the first conjecture by exhibiting a previously unknown type of counterexamples to the second conjecture.

Related papers

• The Born Representation Theorem and the Unistochastic Theorem [0.0]
  The paper presents self-contained, constructive proofs of two new theorems about matrices, with direct relevance to quantum theory.<n>The Born Representation Theorem shows that each entry of any matrix can be expressed as the trace of a pairwise product.<n>The Unistochastic Theorem shows that by dilating the underlying vector space by a bounded number of additional dimensions, each entry of any matrix can be expressed in terms of the trace of a pairwise product.
  arXiv  Detail & Related papers  (2026-08-05T01:55:06Z)
• On the saturated cases of the distillability conjecture [4.115763274264731]
  We show that equality forces the matrices $A$ and $B$ to be two-by-two block-diagonal.<n>We also prove that the identified saturation points are critical points of the objective function on the constraint manifold.
  arXiv  Detail & Related papers  (2026-06-02T12:29:10Z)
• On the distillablity conjecture in matrix theory [3.3222437269452887]
  The distillability conjecture of two-copy 4 by 4 Werner states is one of the main open problems in quantum information. We prove two special cases of the conjecture.
  arXiv  Detail & Related papers  (2024-11-14T15:42:24Z)
• Positive Semidefinite Matrix Supermartingales [30.14855064043107]
  We explore the convergence and nonasymptotic maximal inequalities of supermartingales and backward submartingales in the space of positive semidefinite matrices.<n>Our results lead to new concentration inequalities for either martingale dependent or exchangeable random symmetric matrices under a variety of tail conditions.<n>These inequalities are usually expressed in the boundsner order, are sometimes valid simultaneously for all sample sizes or at an arbitrary data-dependent stopping time, and can often be tightened via an external randomization factor.
  arXiv  Detail & Related papers  (2024-01-28T04:22:43Z)
• Connecting classical finite exchangeability to quantum theory [45.76759085727843]
  Exchangeability is a fundamental concept in probability theory and statistics.<n>It allows to model situations where the order of observations does not matter.<n>It is well known that both theorems do not hold for finitely exchangeable sequences.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• Quantization of counterexamples to Dirac's conjecture [0.0]
  Dirac's conjecture, that secondary first-class constraints generate transformations that do not change the physical system's state, has various counterexamples. We point out, however, that secondary first-class constraints are just initial conditions that do not imply Poisson's bracket modification. We apply the method to two Dirac's conjecture counterexamples, including Cawley's iconical system.
  arXiv  Detail & Related papers  (2023-06-05T17:54:17Z)
• Connes implies Tsirelson: a simple proof [91.3755431537592]
  We show that the Connes embedding problem implies the synchronous Tsirelson conjecture. We also give a different construction of Connes' algebra $mathcalRomega$ appearing in the Connes embedding problem.
  arXiv  Detail & Related papers  (2022-09-16T13:59:42Z)
• Towards a conjecture on a special class of matrices over commutative rings of characteristic 2 [0.1813006808606333]
  We prove the conjecture posed by Keller and Rosemarin at Eurocrypt 2021 on the nullity of a matrix of a block matrix with Hadamard type blocks. We also reveal the structure formed by Hadamard over commutative rings from the perspectives of group algebra and algebra.
  arXiv  Detail & Related papers  (2021-12-26T09:39:32Z)
• Lifting the Convex Conjugate in Lagrangian Relaxations: A Tractable Approach for Continuous Markov Random Fields [53.31927549039624]
  We show that a piecewise discretization preserves better contrast from existing discretization problems. We apply this theory to the problem of matching two images.
  arXiv  Detail & Related papers  (2021-07-13T12:31:06Z)
• Can Single-Shuffle SGD be Better than Reshuffling SGD and GD? [77.82009268160053]
  We conjecture that the means of matrix products corresponding to with- and without-replacement variants of SGD satisfy a series of spectral norm inequalities. We present theorems that support our conjecture by proving several special cases.
  arXiv  Detail & Related papers  (2021-03-12T04:34:45Z)
• Leveraged Matrix Completion with Noise [84.20092979053119]
  We show that we can provably recover an unknown $ntimes n$ matrix of rank $r$ from just about $mathcalO(nrlog2 (n))$ entries. Our proofs are supported by a novel approach that phrases sufficient optimality conditions based on the Golfing Scheme.
  arXiv  Detail & Related papers  (2020-11-11T16:25:45Z)
• Counterexamples to the Low-Degree Conjecture [80.3668228845075]
  A conjecture of Hopkins posits that for certain high-dimensional hypothesis testing problems, no-time algorithm can outperform so-called "simple statistics" This conjecture formalizes the beliefs surrounding a line of recent work that seeks to understand statistical-versus-computational tradeoffs.
  arXiv  Detail & Related papers  (2020-04-17T21:08:11Z)
• J-matrix method of scattering in one dimension: The relativistic theory [0.0]
  We make a relativistic extension of the one-dimensional J-matrix method of scattering. The relativistic potential matrix is a combination of vector, scalar, and pseudo-scalar components.
  arXiv  Detail & Related papers  (2020-01-14T19:02:15Z)
• Joint measurability meets Birkhoff-von Neumann's theorem [77.34726150561087]
  We prove that joint measurability arises as a mathematical feature of DNTs in this context, needed to establish a characterisation similar to Birkhoff-von Neumann's. We also show that DNTs emerge naturally from a particular instance of a joint measurability problem, remarking its relevance in general operator theory.
  arXiv  Detail & Related papers  (2018-09-19T18:57:45Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.