Showing 1–17 of 17 results for author: Baldoni, V

Quiver subrepresentations and the Derksen-Weyman saturation property

Authors: Velleda Baldoni, Michèle Vergne, Michael Walter

Abstract: Using Schofield's characterization of the dimension vectors of general subrepresentations of a representation of a quiver, we give a direct proof of the Derksen-Weyman saturation property. Using Schofield's characterization of the dimension vectors of general subrepresentations of a representation of a quiver, we give a direct proof of the Derksen-Weyman saturation property. △ Less

Submitted 30 June, 2025; originally announced June 2025.

Comments: 9 pages

Tensor product of holomorphic discrete series representations of U(p,q) and quivers

Authors: Velleda Baldoni, Michèle Vergne

Abstract: As shown by P-E Paradan, the set of orbits contained in the sum of two holomorphic orbits in the Lie algebra of U(p,q) is determined by a set of inequalities similar to the Horn inequalities for the sum of conjugacy classes of two Hermitian matrices. We give another proof of these inequalities using representations of quivers. We also discuss the implications of these inequalities for the decompos… ▽ More As shown by P-E Paradan, the set of orbits contained in the sum of two holomorphic orbits in the Lie algebra of U(p,q) is determined by a set of inequalities similar to the Horn inequalities for the sum of conjugacy classes of two Hermitian matrices. We give another proof of these inequalities using representations of quivers. We also discuss the implications of these inequalities for the decomposition of tensor products of representations of the holomorphic discrete series. △ Less

Submitted 4 April, 2023; originally announced April 2023.

MSC Class: 22D10; (14M15; 16G20)

Horn conditions for quiver subrepresentations and the moment map

Authors: Velleda Baldoni, Michèle Vergne, Michael Walter

Abstract: We give inductive conditions that characterize the Schubert positions of subrepresentations of a general quiver representation. Our results generalize Belkale's criterion for the intersection of Schubert varieties in Grassmannians and refine Schofield's characterization of the dimension vectors of general subrepresentations. This implies Horn type inequalities for the moment cone associated to the… ▽ More We give inductive conditions that characterize the Schubert positions of subrepresentations of a general quiver representation. Our results generalize Belkale's criterion for the intersection of Schubert varieties in Grassmannians and refine Schofield's characterization of the dimension vectors of general subrepresentations. This implies Horn type inequalities for the moment cone associated to the linear representation of the group $G=\prod_x \operatorname{GL}(n_x)$ associated to a quiver and a dimension vector $\mathbf n=(n_x)$. △ Less

Submitted 2 December, 2023; v1 submitted 22 January, 2019; originally announced January 2019.

Comments: 44 pages, contains detailed proofs of results previously announced in arXiv:1804.00431; v4: dedicated to Victor Guillemin, references added

Journal ref: Pure and Applied Mathematics Quarterly, Vol. 19, No. 4 (2023), pp. 1687-1731

Horn inequalities and quivers

Authors: Velleda Baldoni, Michèle Vergne, Michael Walter

Abstract: Let G be a complex reductive group acting on a finite-dimensional complex vector space H. Let B be a Borel subgroup of G and let T be the associated torus. The Mumford cone is the polyhedral cone generated by the T-weights of the polynomial functions on H which are semi-invariant under the Borel subgroup. In this article, we determine the inequalities of the Mumford cone in the case of the linear… ▽ More Let G be a complex reductive group acting on a finite-dimensional complex vector space H. Let B be a Borel subgroup of G and let T be the associated torus. The Mumford cone is the polyhedral cone generated by the T-weights of the polynomial functions on H which are semi-invariant under the Borel subgroup. In this article, we determine the inequalities of the Mumford cone in the case of the linear representation associated to a quiver and a dimension vector n=(n_x). We give these inequalities in terms of filtered dimension vectors, and we directly adapt Schofield's argument to inductively determine the dimension vectors of general subrepresentations in the filtered context. In particular, this gives one further proof of the Horn inequalities for tensor products. △ Less

Submitted 23 January, 2019; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 11 pages, announcement, see arXiv:1901.07194 for detailed proofs

Computation of Dilated Kronecker Coefficients

Authors: Velleda Baldoni, Michèle Vergne, Michael Walter

Abstract: The computation of Kronecker coefficients is a challenging problem with a variety of applications. In this paper we present an approach based on methods from symplectic geometry and residue calculus. We outline a general algorithm for the problem and then illustrate its effectiveness in several interesting examples. Significantly, our algorithm does not only compute individual Kronecker coefficien… ▽ More The computation of Kronecker coefficients is a challenging problem with a variety of applications. In this paper we present an approach based on methods from symplectic geometry and residue calculus. We outline a general algorithm for the problem and then illustrate its effectiveness in several interesting examples. Significantly, our algorithm does not only compute individual Kronecker coefficients, but also symbolic formulas that are valid on an entire polyhedral chamber. As a byproduct, we are able to compute several Hilbert series. △ Less

Submitted 22 March, 2017; v1 submitted 17 January, 2016; originally announced January 2016.

Comments: This article draws heavily from arXiv:1506.02472. It is an updated version of arXiv:1601.04325. We have clarified the structure and layout of the paper and we have isolated the algorithm into Appendix A, giving a concise exposition of it in pseudo-code and a detailed explanation of all steps, cross-referenced with the main text

Multiplicity of compact group representations and applications to Kronecker coefficients

Authors: Velleda Baldoni, Michele Vergne

Abstract: These notes are an expanded version of a talk given by the second author. Our main interest is focused on the challenging problem of computing Kronecker coefficients. We decided, at the beginning, to take a very general approach to the problem of studying multiplicity functions, and we survey the various aspects of the theory that comes into play, giving a detailed bibliography to orient the reade… ▽ More These notes are an expanded version of a talk given by the second author. Our main interest is focused on the challenging problem of computing Kronecker coefficients. We decided, at the beginning, to take a very general approach to the problem of studying multiplicity functions, and we survey the various aspects of the theory that comes into play, giving a detailed bibliography to orient the reader. Nonetheless the main general theorems involving multiplicities functions (convexity, quasi-polynomial behavior, Jeffrey-Kirwan residues) are stated without proofs. Then, we present in detail our approach to the computational problem, giving explicit formulae, and outlining an algorithm that calculate many interesting examples, some of which appear in the literature also in connection with Hilbert series. △ Less

Submitted 8 June, 2015; originally announced June 2015.

Three Ehrhart Quasi-polynomials

Authors: Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne

Abstract: Let $P(b)\subset R^d$ be a semi-rational parametric polytope, where $b=(b_j)\in R^N$ is a real multi-parameter. We study intermediate sums of polynomial functions $h(x)$ on $P(b)$, $$ S^L (P(b),h)=\sum_{y}\int_{P(b)\cap (y+L)} h(x) \mathrm dx, $$ where we integrate over the intersections of $P(b)$ with the subspaces parallel to a fixed rational subspace $L$ through all lattice points, and sum th… ▽ More Let $P(b)\subset R^d$ be a semi-rational parametric polytope, where $b=(b_j)\in R^N$ is a real multi-parameter. We study intermediate sums of polynomial functions $h(x)$ on $P(b)$, $$ S^L (P(b),h)=\sum_{y}\int_{P(b)\cap (y+L)} h(x) \mathrm dx, $$ where we integrate over the intersections of $P(b)$ with the subspaces parallel to a fixed rational subspace $L$ through all lattice points, and sum the integrals. The purely discrete sum is of course a particular case ($L=0$), so $S^0(P(b), 1)$ counts the integer points in the parametric polytopes. The chambers are the open conical subsets of $R^N$ such that the shape of $P(b)$ does not change when $b$ runs over a chamber. We first prove that on every chamber of $R^N$, $S^L (P(b),h)$ is given by a quasi-polynomial function of $b\in R^N$. A key point of our paper is an analysis of the interplay between two notions of degree on quasi-polynomials: the usual polynomial degree and a filtration, called the local degree. Then, for a fixed $k\leq d$, we consider a particular linear combination of such intermediate weighted sums, which was introduced by Barvinok in order to compute efficiently the $k+1$ highest coefficients of the Ehrhart quasi-polynomial which gives the number of points of a dilated rational polytope. Thus, for each chamber, we obtain a quasi-polynomial function of $b$, which we call Barvinok's patched quasi-polynomial (at codimension level $k$). Finally, for each chamber, we introduce a new quasi-polynomial function of $b$, the cone-by-cone patched quasi-polynomial (at codimension level $k$), defined in a refined way by linear combinations of intermediate generating functions for the cones at vertices of $P(b)$. We prove that both patched quasi-polynomials agree with the discrete weighted sum $b\mapsto S^0(P(b),h)$ in the terms corresponding to the $k+1$ highest polynomial degrees. △ Less

Submitted 18 November, 2018; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 41 pages, 13 figures; v2: changes to introduction, new graphics; v3: add more detailed references, move example to introduction; v4: fix references

MSC Class: 05A15

Intermediate Sums on Polyhedra II: Bidegree and Poisson Formula

Authors: Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne

Abstract: We continue our study of intermediate sums over polyhedra, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449-1466]. By well-known decompositions, it is sufficient to consider the case of affine cones s+c, where s is an arbitrary real vertex and c is a rational polyhedral… ▽ More We continue our study of intermediate sums over polyhedra, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449-1466]. By well-known decompositions, it is sufficient to consider the case of affine cones s+c, where s is an arbitrary real vertex and c is a rational polyhedral cone. For a given rational subspace L, we integrate a given polynomial function h over all lattice slices of the affine cone s + c parallel to the subspace L and sum up the integrals. We study these intermediate sums by means of the intermediate generating functions $S^L(s+c)(ξ)$, and expose the bidegree structure in parameters s and $ξ$, which was implicitly used in the algorithms in our papers [Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra, Found. Comput. Math. 12 (2012), 435-469] and [Intermediate sums on polyhedra: Computation and real Ehrhart theory, Mathematika 59 (2013), 1-22]. The bidegree structure is key to a new proof for the Baldoni--Berline--Vergne approximation theorem for discrete generating functions [Local Euler--Maclaurin expansion of Barvinok valuations and Ehrhart coefficients of rational polytopes, Contemp. Math. 452 (2008), 15-33], using the Fourier analysis with respect to the parameter s and a continuity argument. Our study also enables a forthcoming paper, in which we study intermediate sums over multi-parameter families of polytopes. △ Less

Submitted 2 November, 2014; v1 submitted 31 March, 2014; originally announced April 2014.

Comments: 35 pages, 6 figures; v2 changes terminology regarding degrees, for consistency with arXiv:1410.8632

MSC Class: 05A15 (Primary); 52C07; 68R05; 68U05; 52B20 (Secondary)

Journal ref: Mathematika 62 (2016) 653-684

Coefficients of Sylvester's Denumerant

Authors: Velleda Baldoni, Nicole Berline, Jesús De Loera, Brandon Dutra, Matthias Köppe, Michèle Vergne

Abstract: For a given sequence $\mathbfα = [α_1,α_2,\dots,α_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbfα)(t)$ that counts the nonnegative integer solutions of the equation $α_1x_1+α_2 x_2+\cdots+α_{N} x_{N}+α_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\mathbfα)(t)$ is a quasi-polynomial function in the v… ▽ More For a given sequence $\mathbfα = [α_1,α_2,\dots,α_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbfα)(t)$ that counts the nonnegative integer solutions of the equation $α_1x_1+α_2 x_2+\cdots+α_{N} x_{N}+α_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\mathbfα)(t)$ is a quasi-polynomial function in the variable $t$ of degree $N$. In combinatorial number theory this function is known as Sylvester's denumerant. Our main result is a new algorithm that, for every fixed number $k$, computes in polynomial time the highest $k+1$ coefficients of the quasi-polynomial $E(\mathbfα)(t)$ as step polynomials of $t$ (a simpler and more explicit representation). Our algorithm is a consequence of a nice poset structure on the poles of the associated rational generating function for $E(\mathbfα)(t)$ and the geometric reinterpretation of some rational generating functions in terms of lattice points in polyhedral cones. Our algorithm also uses Barvinok's fundamental fast decomposition of a polyhedral cone into unimodular cones. This paper also presents a simple algorithm to predict the first non-constant coefficient and concludes with a report of several computational experiments using an implementation of our algorithm in LattE integrale. We compare it with various Maple programs for partial or full computation of the denumerant. △ Less

Submitted 14 November, 2014; v1 submitted 26 December, 2013; originally announced December 2013.

Comments: minor revision, 28 pages

Journal ref: INTEGERS, vol 15 (2005), A11

Multiple Bernoulli series and volumes of moduli spaces of flat bundles over surfaces

Authors: Velleda Baldoni, Arzu Boysal, Michèle Vergne

Abstract: Using Szenes formula for multiple Bernoulli series we explain how to compute Witten series associated to classical Lie algebras. Particular instances of these series compute volumes of moduli spaces of flat bundles over surfaces, and also certain multiple zeta values. Using Szenes formula for multiple Bernoulli series we explain how to compute Witten series associated to classical Lie algebras. Particular instances of these series compute volumes of moduli spaces of flat bundles over surfaces, and also certain multiple zeta values. △ Less

Submitted 28 September, 2013; v1 submitted 17 January, 2013; originally announced January 2013.

Comments: 51 pages, 3 figures; formula in Proposition 3.1 for the Lie group of type G_2 is corrected; new references added

Intermediate Sums on Polyhedra: Computation and Real Ehrhart Theory

Authors: Velleda Baldoni, Nicole Berline, Matthias Köppe, Michèle Vergne

Abstract: We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449--1466]. For a given semi-rational polytope P and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope P parallel to the subspace L and sum u… ▽ More We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449--1466]. For a given semi-rational polytope P and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope P parallel to the subspace L and sum up the integrals. We first develop an algorithmic theory of parametric intermediate generating functions. Then we study the Ehrhart theory of these intermediate sums, that is, the dependence of the result as a function of a dilation of the polytope. We provide an algorithm to compute the resulting Ehrhart quasi-polynomials in the form of explicit step polynomials. These formulas are naturally valid for real (not just integer) dilations and thus provide a direct approach to real Ehrhart theory. △ Less

Submitted 27 November, 2010; originally announced November 2010.

Comments: 24 pages, 3 figures

MSC Class: 05A15 (Primary); 52C07; 68R05; 68U05; 52B20 (Secondary)

Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra

Authors: Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne

Abstract: This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a pol… ▽ More This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a polynomial function h. Our technique is based on a refinement of an algorithm of A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), pp. 1449--1466] in the unweighted case (i.e., h = 1). In contrast to Barvinok's method, our method is local, obtains an approximation on the level of generating functions, handles the general weighted case, and provides the coefficients in closed form as step polynomials of the dilation. To demonstrate the practicality of our approach we report on computational experiments which show even our simple implementation can compete with state of the art software. △ Less

Submitted 6 November, 2010; originally announced November 2010.

Comments: 34 pages, 2 figures

MSC Class: 05A15 (Primary); 52C07; 68R05; 68U05; 52B20 (Secondary)

Discrete series representations and K multiplicities for U(p,q). User's guide

Authors: Velleda Baldoni, Michele Vergne

Abstract: This document is a companion for the Maple program : Discrete series and K-types for U(p,q) available on:http://www.math.jussieu.fr/~vergne We explain an algorithm to compute the multiplicities of an irreducible representation of U(p)x U(q) in a discrete series of U(p,q). It is based on Blattner's formula. We recall the general mathematical background to compute Kostant partition functions via mul… ▽ More This document is a companion for the Maple program : Discrete series and K-types for U(p,q) available on:http://www.math.jussieu.fr/~vergne We explain an algorithm to compute the multiplicities of an irreducible representation of U(p)x U(q) in a discrete series of U(p,q). It is based on Blattner's formula. We recall the general mathematical background to compute Kostant partition functions via multidimensional residues, and we outline our algorithm. We also point out some properties of the piecewise polynomial functions describing multiplicities based on Paradan's results. △ Less

Submitted 31 August, 2010; originally announced August 2010.

Comments: 51 pages

MSC Class: 05; 06B15

Summing a polynomial function over integral points of a polygon. User's guide

Authors: Velleda Baldoni, Nicole Berline, Michèle Vergne

Abstract: This document is a companion for the Maple program \textbf{Summing a polynomial function over integral points of a polygon}. It contains two parts. First, we see what this programs does. In the second part, we briefly recall the mathematical background. This document is a companion for the Maple program \textbf{Summing a polynomial function over integral points of a polygon}. It contains two parts. First, we see what this programs does. In the second part, we briefly recall the mathematical background. △ Less

Submitted 12 May, 2009; originally announced May 2009.

Highest coefficients of weighted Ehrhart quasi-polynomials for a rational polytope

Authors: Velleda Baldoni, Nicole Berline, Michèle Vergne

Abstract: We describe a method for computing the highest degree coefficients of a weighted Ehrhart quasi-polynomial for a rational simple polytope. We describe a method for computing the highest degree coefficients of a weighted Ehrhart quasi-polynomial for a rational simple polytope. △ Less

Submitted 2 October, 2010; v1 submitted 9 April, 2009; originally announced April 2009.

Comments: This paper has been withdrawn by the authors. This paper will be replaced soon by a more complete article with more authors

MSC Class: 52B20

How to Integrate a Polynomial over a Simplex

Authors: Velleda Baldoni, Nicole Berline, Jesus De Loera, Matthias Köppe, Michèle Vergne

Abstract: This paper settles the computational complexity of the problem of integrating a polynomial function f over a rational simplex. We prove that the problem is NP-hard for arbitrary polynomials via a generalization of a theorem of Motzkin and Straus. On the other hand, if the polynomial depends only on a fixed number of variables, while its degree and the dimension of the simplex are allowed to vary… ▽ More This paper settles the computational complexity of the problem of integrating a polynomial function f over a rational simplex. We prove that the problem is NP-hard for arbitrary polynomials via a generalization of a theorem of Motzkin and Straus. On the other hand, if the polynomial depends only on a fixed number of variables, while its degree and the dimension of the simplex are allowed to vary, we prove that integration can be done in polynomial time. As a consequence, for polynomials of fixed total degree, there is a polynomial time algorithm as well. We conclude the article with extensions to other polytopes, discussion of other available methods and experimental results. △ Less

Submitted 13 February, 2009; v1 submitted 11 September, 2008; originally announced September 2008.

Comments: Tables added with new experimental results. References added

Journal ref: Mathematics of Computation 80, 273 (2011) 297-325

Local Euler-Maclaurin expansion of Barvinok valuations and Ehrhart coefficients of a rational polytope

Authors: Velleda Baldoni, Nicole Berline, Michèle Vergne

Abstract: We extend to Barvinok's valuations the Euler-Maclaurin expansion formula which we obtained previously for the sum of values of a polynomial over the integral points of a rational polytope. This leads to an improvement of Barvinok's polynomial type algorithm for computing the highest coefficients of the corresponding Ehrhart quasi-polynomial. We extend to Barvinok's valuations the Euler-Maclaurin expansion formula which we obtained previously for the sum of values of a polynomial over the integral points of a rational polytope. This leads to an improvement of Barvinok's polynomial type algorithm for computing the highest coefficients of the corresponding Ehrhart quasi-polynomial. △ Less

Submitted 1 March, 2007; originally announced March 2007.