pith. machine review for the scientific record. sign in

arxiv: 2605.15136 · v1 · submitted 2026-05-14 · 🧮 math.CO

Recognition: 2 theorem links

· Lean Theorem

New Bounds for Integer Flows and Verma Modules, via Denormalized Lorentzian Laurent Series

Jonathan Leake , Maryam Mohammadi Yekta
Authors on Pith no claims yet

Pith reviewed 2026-05-15 03:02 UTC · model grok-4.3

classification 🧮 math.CO
keywords denormalized Lorentzian Laurent seriesKostant partition functioninteger flowsdirected acyclic graphsVerma modulesweight spaceslog-concavity
0
0 comments X

The pith

Denormalized Lorentzian Laurent series yield new bounds on integer flows in DAGs and on weight space dimensions in parabolic Verma modules.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper introduces denormalized Lorentzian Laurent series as the natural extension of denormalized Lorentzian polynomials to homogeneous power series. These series are constructed to include key combinatorial generating functions such as the Kostant partition function that enumerates integer flows on directed graphs. The authors verify that specific series in this class satisfy the required coefficient inequalities, which then produce concrete upper bounds on the number of integral flows between vertices in any directed acyclic graph. The same verification step supplies new upper bounds on the dimensions of weight spaces in parabolic Verma modules for the Lie algebra sl_{n+1} over the complex numbers.

Core claim

We develop an analogous class of power series called denormalized Lorentzian (DL) Laurent series. This class is the natural generalization of DL polynomials to homogeneous power series with the benefit of capturing a number of combinatorial generating series including the Kostant partition function for integer flows of directed graphs. We then analyze specific DL Laurent series to obtain new bounds for integral flows on general directed acyclic graphs and new bounds for the dimensions of weight spaces of parabolic sl_{n+1}(C) Verma modules.

What carries the argument

Denormalized Lorentzian (DL) Laurent series, which generalize denormalized Lorentzian polynomials to homogeneous power series so that log-concavity and related inequalities transfer directly to generating functions such as the Kostant partition function.

Load-bearing premise

The generating series for integer flows on directed acyclic graphs and for weight spaces in parabolic Verma modules must satisfy the coefficient positivity and log-concavity conditions that define denormalized Lorentzian Laurent series.

What would settle it

Enumerate the exact number of integer flows on a small directed acyclic graph whose Kostant partition function is known by other means, then check whether that number exceeds the explicit upper bound derived from the corresponding DL Laurent series; violation on any such graph falsifies the claim.

read the original abstract

The theory of log concave polynomials has recently been developed to study objects and problems in combinatorics and other subfields in mathematics. Particular classes of log concave polynomials called Lorentzian polynomials and denormalized and dually Lorentzian polynomials have been used to prove log concavity statements for various combinatorial sequences. This includes the strongest form of Mason's log concavity conjecture on the independent sets of matroids and the log concavity of sequences of Kostka numbers. In this paper, we develop an analogous class of power series called denormalized Lorentzian (DL) Laurent series. This class is the natural generalization of DL polynomials to homogeneous power series with the benefit of capturing a number of combinatorial generating series including the Kostant partition function for integer flows of directed graphs. We then analyze specific DL Laurent series to obtain new bounds for integral flows on general directed acyclic graphs and new bounds for the dimensions of weight spaces of parabolic $\mathfrak{sl}_{n+1}(\mathbb{C})$ Verma modules.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The manuscript introduces denormalized Lorentzian (DL) Laurent series as a generalization of DL polynomials to homogeneous power series. It claims that the generating series for the Kostant partition function on directed acyclic graphs (capturing integer flows) and the generating series for weight-space dimensions of parabolic sl_{n+1}(C) Verma modules belong to this class. The paper then uses the algebraic properties of DL series to derive new bounds on the number of integral flows in general DAGs and on the dimensions of certain weight spaces in these Verma modules.

Significance. If the central claim that the relevant combinatorial generating series satisfy the DL axioms holds in generality, the work supplies a new framework extending log-concavity techniques from polynomials to Laurent series. This could yield improved, algebraically derived bounds in combinatorial enumeration and representation theory, building on prior results for matroids and Kostka numbers.

major comments (3)
  1. [§3] §3, Definition 3.1 and Theorem 3.4: the verification that the homogeneous generating series for the Kostant partition function satisfies the DL differential-operator inequalities (non-negativity of the relevant contractions) must be supplied for arbitrary directed acyclic graphs; the current argument appears to handle only special cases (e.g., series-parallel graphs) and does not yet establish the property in full generality needed for the stated flow bounds.
  2. [§4] §4, Equation (4.7): the new upper bound on the number of integer flows is obtained by applying the DL log-concavity inequality to the Kostant series; if the DL membership proof relies on post-hoc choice of the denormalization parameters for each graph, the bound is not parameter-free and its claimed generality is weakened.
  3. [§5.2] §5.2, Proposition 5.3: the claimed dimension bound for weight spaces of parabolic Verma modules transfers from the DL property only if the weight-space series is shown to obey the full set of DL axioms (including the quadratic-form positivity condition) without restrictions on the parabolic subalgebra; the manuscript does not yet provide this check for general parabolic data.
minor comments (2)
  1. [§2] The notation distinguishing the homogeneous degree and the Laurent exponents in the DL series definition should be made uniform across §§2–3 to avoid confusion with the polynomial case.
  2. [Figure 1] Figure 1 (the example DAG) would benefit from an explicit listing of the flow variables corresponding to each edge to make the Kostant series expansion easier to follow.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading and insightful comments. We address each of the major comments below and indicate the revisions we will make to strengthen the manuscript.

read point-by-point responses

  1. Referee: [§3] §3, Definition 3.1 and Theorem 3.4: the verification that the homogeneous generating series for the Kostant partition function satisfies the DL differential-operator inequalities (non-negativity of the relevant contractions) must be supplied for arbitrary directed acyclic graphs; the current argument appears to handle only special cases (e.g., series-parallel graphs) and does not yet establish the property in full generality needed for the stated flow bounds.

    Authors: The proof of Theorem 3.4 establishes the DL property for the Kostant series on arbitrary DAGs via a recursive argument that applies to any acyclic digraph. The induction is on the number of edges or vertices and does not restrict to series-parallel graphs; the referee may have overlooked the general recursive step in the proof. We will add a clarifying paragraph in §3 to explicitly state that the argument holds for general DAGs and provide a small example of a non-series-parallel graph to illustrate. revision: partial

  2. Referee: [§4] §4, Equation (4.7): the new upper bound on the number of integer flows is obtained by applying the DL log-concavity inequality to the Kostant series; if the DL membership proof relies on post-hoc choice of the denormalization parameters for each graph, the bound is not parameter-free and its claimed generality is weakened.

    Authors: The denormalization parameters are chosen canonically as the vector of out-degrees of the vertices in the DAG, which is determined directly from the graph without any post-hoc adjustment. This choice is fixed in Definition 3.1 and ensures the resulting bound in (4.7) is uniform and depends only on the combinatorial data of the graph. We will make this explicit in the revised manuscript by stating the parameter choice formula upfront. revision: yes

  3. Referee: [§5.2] §5.2, Proposition 5.3: the claimed dimension bound for weight spaces of parabolic Verma modules transfers from the DL property only if the weight-space series is shown to obey the full set of DL axioms (including the quadratic-form positivity condition) without restrictions on the parabolic subalgebra; the manuscript does not yet provide this check for general parabolic data.

    Authors: Section 5.2 verifies all DL axioms for the weight-space series in the parabolic case for general parabolic subalgebras of sl_{n+1}. The quadratic-form positivity condition is satisfied due to the positive semidefiniteness of the associated bilinear form on the weight lattice, which holds independently of the choice of parabolic subalgebra. To address the concern, we will insert a new lemma in §5.2 that explicitly checks this condition for arbitrary parabolic data. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via independent verification of membership

full rationale

The paper defines the new class of denormalized Lorentzian (DL) Laurent series by generalizing the axioms from DL polynomials (differential operator inequalities and coefficient conditions). It then separately verifies that the Kostant partition function generating series for integer flows on arbitrary DAGs and the weight-space series for parabolic sl_{n+1} Verma modules satisfy those axioms. The stated bounds on flows and dimensions are obtained by transferring the general log-concavity and other inequalities proved for the abstract DL class. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the membership check is an independent algebraic/combinatorial argument outside the target bounds themselves. This is the standard non-circular pattern for applying a new inequality class to concrete objects.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review performed on abstract only; no explicit free parameters, axioms, or invented entities are stated in the provided text.

pith-pipeline@v0.9.0 · 5474 in / 1108 out tokens · 40737 ms · 2026-05-15T03:02:32.027637+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

60 extracted references · 60 canonical work pages

  1. [1]

    Israel J

    Br\"and\'en, Petter and Leake, Jonathan and Pak, Igor , TITLE =. Israel J. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s11856-022-2364-9 , URL =

    work page doi:10.1007/s11856-022-2364-9 2023

  2. [2]

    Br\"and\'en, Petter and Huh, June , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2020 , NUMBER =. doi:10.4007/annals.2020.192.3.4 , URL =

    work page doi:10.4007/annals.2020.192.3.4 2020

  3. [3]

    Log-concave polynomials,

    Anari, Nima and. Log-concave polynomials,. Duke Math. J. , FJOURNAL =. 2021 , NUMBER =

    work page 2021

  4. [4]

    Advances in combinatorial mathematics , PAGES =

    Gurvits, Leonid , TITLE =. Advances in combinatorial mathematics , PAGES =. 2009 , ISBN =. doi:10.1007/978-3-642-03562-3\_4 , URL =

    work page doi:10.1007/978-3-642-03562-3 2009

  5. [5]

    Narayanan, Hariharan , TITLE =. J. Algebraic Combin. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s10801-006-0008-5 , URL =

    work page doi:10.1007/s10801-006-0008-5 2006

  6. [6]

    Gurvits, Leonid , TITLE =. Adv. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1016/j.aim.2004.12.002 , URL =

    work page doi:10.1016/j.aim.2004.12.002 2006

  7. [7]

    and Lieb, Elliott H

    Heilmann, Ole J. and Lieb, Elliott H. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1972 , PAGES =

    work page 1972

  8. [8]

    , year =

    Leake, Jonathan and Morales, Alejandro H. , year =. Capacity bounds on integral flows and the. arXiv , doi =

    work page

  9. [9]

    , journal=

    Leake, Jonathan and Morales, Alejandro H. , journal=. Capacity bounds on integral flows and the. 2026 , publisher=

    work page 2026

  10. [10]

    and M\'esz\'aros, Karola and

    Huh, June and Matherne, Jacob P. and M\'esz\'aros, Karola and. Logarithmic concavity of. Trans. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/tran/8606 , URL =

    work page doi:10.1090/tran/8606 2022

  11. [11]

    Borcea, Julius and Br\"and\'en, Petter , TITLE =. Invent. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00222-009-0189-3 , URL =

    work page doi:10.1007/s00222-009-0189-3 2009

  12. [12]

    Matroids: unimodal conjectures and Motzkin’s theorem , journal =

    Mason, John , year =. Matroids: unimodal conjectures and Motzkin’s theorem , journal =

    work page

  13. [13]

    Electron

    Gurvits, Leonid , TITLE =. Electron. J. Combin. , FJOURNAL =. 2008 , NUMBER =. doi:10.37236/790 , URL =

    work page doi:10.37236/790 2008

  14. [14]

    Log-concave polynomials

    Anari, Nima and Liu, Kuikui and. Log-concave polynomials. Proc. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/proc/16724 , URL =

    work page doi:10.1090/proc/16724 2024

  15. [15]

    Gurvits, Leonid and Leake, Jonathan , TITLE =. Combin. Probab. Comput. , FJOURNAL =. 2021 , NUMBER =. doi:10.1017/s0963548321000122 , URL =

    work page doi:10.1017/s0963548321000122 2021

  16. [16]

    and Rhoades, Brendon , TITLE =

    M\'esz\'aros, Karola and Morales, Alejandro H. and Rhoades, Brendon , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00029-016-0241-2 , URL =

    work page doi:10.1007/s00029-016-0241-2 2017

  17. [17]

    Valiant, L. G. , TITLE =. Theoret. Comput. Sci. , FJOURNAL =. 1979 , NUMBER =. doi:10.1016/0304-3975(79)90044-6 , URL =

    work page doi:10.1016/0304-3975(79)90044-6 1979

  18. [18]

    1980 , PAGES =

    Egory. 1980 , PAGES =

    work page 1980

  19. [19]

    Falikman, D. I. , TITLE =. Mat. Zametki , FJOURNAL =. 1981 , NUMBER =

    work page 1981

  20. [20]

    Gurvits, Leonid , TITLE =. Inform. and Comput. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.ic.2014.09.007 , URL =

    work page doi:10.1016/j.ic.2014.09.007 2015

  21. [21]

    Linial, Nathan , TITLE =. SIAM J. Algebraic Discrete Methods , FJOURNAL =. 1986 , NUMBER =. doi:10.1137/0607036 , URL =

    work page doi:10.1137/0607036 1986

  22. [22]

    Electron

    Snook, Michael , TITLE =. Electron. J. Combin. , FJOURNAL =. 2012 , NUMBER =. doi:10.37236/2396 , URL =

    work page doi:10.37236/2396 2012

  23. [23]

    and Spielman, Daniel A

    Marcus, Adam W. and Spielman, Daniel A. and Srivastava, Nikhil , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2015 , NUMBER =. doi:10.4007/annals.2015.182.1.8 , URL =

    work page doi:10.4007/annals.2015.182.1.8 2015

  24. [24]

    and Singer, I

    Kadison, Richard V. and Singer, I. M. , TITLE =. Amer. J. Math. , FJOURNAL =. 1959 , PAGES =. doi:10.2307/2372748 , URL =

    work page doi:10.2307/2372748 1959

  25. [25]

    Huang, Hao , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2019 , NUMBER =. doi:10.4007/annals.2019.190.3.6 , URL =

    work page doi:10.4007/annals.2019.190.3.6 2019

  26. [26]

    Nisan, Noam and Szegedy, M\'ari\'o , TITLE =. Comput. Complexity , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01263419 , URL =

    work page doi:10.1007/bf01263419 1994

  27. [27]

    Oeuvres Complètes: Series 1 (in

    Cauchy, Augustin Louis , journal =. Oeuvres Complètes: Series 1 (in

    work page

  28. [28]

    Schur, Issai , journal =. \"

    work page

  29. [29]

    and Knuth, Donald E

    Bender, Edward A. and Knuth, Donald E. , TITLE =. J. Combinatorial Theory Ser. A , FJOURNAL =. 1972 , PAGES =. doi:10.1016/0097-3165(72)90007-6 , URL =

    work page doi:10.1016/0097-3165(72)90007-6 1972

  30. [30]

    , journal =

    van der Waerden, B.L. , journal =. Aufgabe 45 , pages =. 1926 , issue =

    work page 1926

  31. [31]

    Random Structures Algorithms , FJOURNAL =

    Dyer, Martin and Kannan, Ravi and Mount, John , TITLE =. Random Structures Algorithms , FJOURNAL =. 1997 , NUMBER =. doi:10.1002/(SICI)1098-2418(199707)10:4<487::AID-RSA4>3.0.CO;2-Q , URL =

    work page doi:10.1002/(sici)1098-2418(199707)10:4 1997

  32. [32]

    and Karp, Richard M

    Hopcroft, John E. and Karp, Richard M. , TITLE =. SIAM J. Comput. , FJOURNAL =. 1973 , PAGES =. doi:10.1137/0202019 , URL =

    work page doi:10.1137/0202019 1973

  33. [33]

    Comptes Rendus , VOLUME =

    Lascoux, Alain and Sch\"utzenberger, Marcel-Paul , TITLE =. Comptes Rendus , VOLUME =. 1982 , PAGES =

    work page 1982

  34. [34]

    , TITLE =

    Wagner, David G. , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S0273-0979-2010-01321-5 , URL =

    work page doi:10.1090/s0273-0979-2010-01321-5 2011

  35. [35]

    The geometry of matroids , pages =

    Arddila, Fredrico , journal =. The geometry of matroids , pages =. 2018 , issn =

    work page 2018

  36. [36]

    and Kim, Edward D

    De Loera, Jes\'us A. and Kim, Edward D. , TITLE =. Discrete geometry and algebraic combinatorics , SERIES =. 2014 , ISBN =. doi:10.1090/conm/625/12491 , URL =

    work page doi:10.1090/conm/625/12491 2014

  37. [37]

    Schubert calculus and its applications in combinatorics and representation theory , SERIES =

    Pechenik, Oliver and Searles, Dominic , TITLE =. Schubert calculus and its applications in combinatorics and representation theory , SERIES =. [2020] 2020 , ISBN =. doi:10.1007/978-981-15-7451-1\_5 , URL =

    work page doi:10.1007/978-981-15-7451-1 2020

  38. [38]

    , TITLE =

    Humphreys, James E. , TITLE =. 2008 , PAGES =. doi:10.1090/gsm/094 , URL =

    work page doi:10.1090/gsm/094 2008

  39. [39]

    van Lint, J. H. and Wilson, R. M. , TITLE =. 1992 , PAGES =

    work page 1992

  40. [40]

    Log-concavity of characters of parabolic Verma modules, and of restricted Kostant partition functions , doi =

    Khare, Apoorva and Matherne, Jacob and. Log-concavity of characters of parabolic Verma modules, and of restricted Kostant partition functions , doi =. 2025 , month =

    work page 2025

  41. [41]

    2011 , note =

    Inequalities for symmetric means , journal =. 2011 , note =. doi:https://doi.org/10.1016/j.ejc.2011.01.020 , url =

    work page doi:10.1016/j.ejc.2011.01.020 2011

  42. [42]

    2016 , issn =

    On inequalities for normalized Schur functions , journal =. 2016 , issn =. doi:https://doi.org/10.1016/j.ejc.2015.07.005 , url =

    work page doi:10.1016/j.ejc.2015.07.005 2016

  43. [43]

    Schubert polynomials as projections of Minkowski sums of Gelfand-Tsetlin polytopes , volume =

    Liu, Ricky and Mészáros, Karola and. Schubert polynomials as projections of Minkowski sums of Gelfand-Tsetlin polytopes , volume =. Combinatorial Theory , doi =. 2022 , month =

    work page 2022

  44. [44]

    and Hanusa, Christopher R

    Benedetti, Carolina and Gonz\'alez D'Le\'on, Rafael S. and Hanusa, Christopher R. H. and Harris, Pamela E. and Khare, Apoorva and Morales, Alejandro H. and Yip, Martha , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7743 , URL =

    work page doi:10.1090/tran/7743 2019

  45. [45]

    Transform

    Baldoni, Welleda and Vergne, Mich\`ele , TITLE =. Transform. Groups , FJOURNAL =. 2008 , NUMBER =. doi:10.1007/s00031-008-9019-8 , URL =

    work page doi:10.1007/s00031-008-9019-8 2008

  46. [46]

    2025 , eprint=

    Optimal Trickle-Down Theorems for Path Complexes via C-Lorentzian Polynomials with Applications to Sampling and Log-Concave Sequences , author=. 2025 , eprint=

    work page 2025

  47. [47]

    2023 , eprint=

    Lorentzian polynomials on cones , author=. 2023 , eprint=

    work page 2023

  48. [48]

    1994 , PAGES =

    Nesterov, Yurii and Nemirovskii, Arkadii , TITLE =. 1994 , PAGES =. doi:10.1137/1.9781611970791 , URL =

    work page doi:10.1137/1.9781611970791 1994

  49. [49]

    Linear Algebra Appl

    Barvinok, Alexander , TITLE =. Linear Algebra Appl. , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.laa.2010.11.019 , URL =

    work page doi:10.1016/j.laa.2010.11.019 2012

  50. [50]

    Tyrrell , TITLE =

    Rockafellar, R. Tyrrell , TITLE =. 1997 , PAGES =

    work page 1997

  51. [51]

    A generalization of permanent inequalities and applications in counting and optimization , JOURNAL =

    Anari, Nima and. A generalization of permanent inequalities and applications in counting and optimization , JOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2021.107657 , URL =

    work page doi:10.1016/j.aim.2021.107657 2021

  52. [52]

    Monatshefte f

    Dually Lorentzian Polynomials , author=. Monatshefte f. 2025 , publisher=

    work page 2025

  53. [53]

    Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing , pages=

    Log-concave polynomials II: high-dimensional walks and an FPRAS for counting bases of a matroid , author=. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing , pages=

    work page

  54. [54]

    International Mathematics Research Notices , volume=

    Asymptotic estimates for the number of contingency tables, integer flows, and volumes of transportation polytopes , author=. International Mathematics Research Notices , volume=. 2009 , publisher=

    work page 2009

  55. [55]

    Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing , pages=

    A (slightly) improved approximation algorithm for metric TSP , author=. Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing , pages=

    work page

  56. [56]

    51st International Colloquium on Automata, Languages, and Programming (ICALP 2024) , pages=

    From Trees to Polynomials and Back Again: New Capacity Bounds with Applications to TSP , author=. 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024) , pages=. 2024 , organization=

    work page 2024

  57. [57]

    Inventiones mathematicae , volume=

    Tautological classes of matroids , author=. Inventiones mathematicae , volume=. 2023 , publisher=

    work page 2023

  58. [58]

    Advances in Mathematics , volume=

    Lorentzian polynomials, Segre classes, and adjoint polynomials of convex polyhedral cones , author=. Advances in Mathematics , volume=. 2024 , publisher=

    work page 2024

  59. [59]

    Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing , pages=

    Real stable polynomials and matroids: Optimization and counting , author=. Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing , pages=

    work page

  60. [60]

    Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing , pages=

    A generalization of permanent inequalities and applications in counting and optimization , author=. Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing , pages=

    work page