Showing 1–17 of 17 results for author: Verdure, H

Homotopy type of shellable $q$-complexes and their homology groups

Authors: Sudhir R. Ghorpade, Rakhi Pratihar, Tovohery H. Randrianarisoa, Hugues Verdure, Glen Wilson

Abstract: The theory of shellable simplicial complexes brings together combinatorics, algebra, and topology in a remarkable way. Initially introduced by Alder for $q$-simplicial complexes, recent work of Ghorpade, Pratihar, and Randrianarisoa extends the study of shellability to $q$-matroid complexes and determines singular homology groups for a subclass of these $q$-simplicial complexes. In this paper, we… ▽ More The theory of shellable simplicial complexes brings together combinatorics, algebra, and topology in a remarkable way. Initially introduced by Alder for $q$-simplicial complexes, recent work of Ghorpade, Pratihar, and Randrianarisoa extends the study of shellability to $q$-matroid complexes and determines singular homology groups for a subclass of these $q$-simplicial complexes. In this paper, we determine the homotopy type of shellable $q$-simplicial complexes. Moreover, we establish the shellability of order complexes from lexicographically shellable $q$-simplicial complexes, that include the $q$-matroid complexes. This results in a comprehensive determination of the homology groups for any lexicographically shellable $q$-complexes. △ Less

Submitted 11 March, 2024; originally announced March 2024.

Comments: 25 pages

MSC Class: 05B35; 05A30; 52B22; 55N99

Symmetric SAGE and SONC forms, exactness and quantitative gaps

Authors: Philippe Moustrou, Cordian Riener, Thorsten Theobald, Hugues Verdure

Abstract: The classes of sums of arithmetic-geometric exponentials (SAGE) and of sums of nonnegative circuit polynomials (SONC) provide nonnegativity certificates which are based on the inequality of the arithmetic and geometric means. We study the cones of symmetric SAGE and SONC forms and their relations to the underlying symmetric nonnegative cone. As main results, we provide several symmetric cases wh… ▽ More The classes of sums of arithmetic-geometric exponentials (SAGE) and of sums of nonnegative circuit polynomials (SONC) provide nonnegativity certificates which are based on the inequality of the arithmetic and geometric means. We study the cones of symmetric SAGE and SONC forms and their relations to the underlying symmetric nonnegative cone. As main results, we provide several symmetric cases where the SAGE or SONC property coincides with nonnegativity and we present quantitative results on the differences in various situations. The results rely on characterizations of the zeroes and the minimizers for symmetric SAGE and SONC forms, which we develop. Finally, we also study symmetric monomial mean inequalities and apply SONC certificates to establish a generalized version of Muirhead's inequality. △ Less

Submitted 6 August, 2024; v1 submitted 16 December, 2023; originally announced December 2023.

MSC Class: 14P05; 20C30; 90C30

Symmetries in polynomial optimization

Authors: Philippe Moustrou, Cordian Riener, Hugues Verdure

Abstract: This chapter investigates how symmetries can be used to reduce the computational complexity in polynomial optimization problems. A focus will be specifically given on the Moment-SOS hierarchy in polynomial optimization, where results from representation theory and invariant theory of groups can be used. In addition, symmetry reduction techniques which are more generally applicable are also present… ▽ More This chapter investigates how symmetries can be used to reduce the computational complexity in polynomial optimization problems. A focus will be specifically given on the Moment-SOS hierarchy in polynomial optimization, where results from representation theory and invariant theory of groups can be used. In addition, symmetry reduction techniques which are more generally applicable are also presented. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: This chapter will appear as part of a forthcoming book "Polynomial Optimisation, Moments, and Applications" presenting research acitivies conducted in the Marie Skłodowska-Curie Innovative Training Network POEMA

The poset of Specht ideals for hyperoctahedral groups

Authors: Sebastian Debus, Philippe Moustrou, Cordian Riener, Hugues Verdure

Abstract: Specht polynomials classically realize the irreducible representations of the symmetric group. The ideals defined by these polynomials provide a strong connection with the combinatorics of Young tableaux and have been intensively studied by several authors. We initiate similar investigations for the ideals defined by the Specht polynomials associated to the hyperoctahedral group $B_n$. We introduc… ▽ More Specht polynomials classically realize the irreducible representations of the symmetric group. The ideals defined by these polynomials provide a strong connection with the combinatorics of Young tableaux and have been intensively studied by several authors. We initiate similar investigations for the ideals defined by the Specht polynomials associated to the hyperoctahedral group $B_n$. We introduce a bidominance order on bipartitions which describes the poset of inclusions of these ideals and study algebraic consequences on general $B_n$-invariant ideals and varieties, which can lead to computational simplifications. △ Less

Submitted 28 May, 2023; v1 submitted 17 June, 2022; originally announced June 2022.

Comments: Some revisions due to comments of referees

MSC Class: 05E10

Weight Spectra of Gabidulin Rank-metric Codes and Betti Numbers

Authors: Trygve Johnsen, Rakhi Pratihar, Hugues Verdure

Abstract: We consider $q$-matroids and their associated classical matroids derived from Gabidulin rank-metric codes. We express the generalized rank weights of a Gabidulin rank-metric code in terms of Betti numbers of the dual classical matroid associated to the $q$-matroid corresponding to the code. In our main result, we show how these Betti numbers and their elongations determine the generalized weight p… ▽ More We consider $q$-matroids and their associated classical matroids derived from Gabidulin rank-metric codes. We express the generalized rank weights of a Gabidulin rank-metric code in terms of Betti numbers of the dual classical matroid associated to the $q$-matroid corresponding to the code. In our main result, we show how these Betti numbers and their elongations determine the generalized weight polynomials for $q$-matorids, in particular, for the Gabidulin rank-metric codes. In addition, we demonstrate how the weight distribution and higher weight spectra of such codes can be determined directly from the associated $q$-matroids by using Möbius functions of its lattice of $q$-flats. △ Less

Submitted 14 December, 2021; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: 27 pages

MSC Class: 05B35; 94B60; 11T71

Symmetry reduction in AM/GM-based optimization

Authors: Philippe Moustrou, Helen Naumann, Cordian Riener, Thorsten Theobald, Hugues Verdure

Abstract: The arithmetic mean/geometric mean-inequality (AM/GM-inequality) facilitates classes of non-negativity certificates and of relaxation techniques for polynomials and, more generally, for exponential sums. Here, we present a first systematic study of the AM/GM-based techniques in the presence of symmetries under the linear action of a finite group. We prove a symmetry-adapted representation theorem… ▽ More The arithmetic mean/geometric mean-inequality (AM/GM-inequality) facilitates classes of non-negativity certificates and of relaxation techniques for polynomials and, more generally, for exponential sums. Here, we present a first systematic study of the AM/GM-based techniques in the presence of symmetries under the linear action of a finite group. We prove a symmetry-adapted representation theorem and develop techniques to reduce the size of the resulting relative entropy programs. We study in more detail the complexity gain in the case of the symmetric group. In this setup, we can show in particular certain stabilization results. We exhibit several sequences of examples in growing dimensions where the size of the problem stabilizes. Finally, we provide some numerical results, emphasizing the computational speed-up. △ Less

Submitted 8 December, 2021; v1 submitted 25 February, 2021; originally announced February 2021.

Comments: Revised version

MSC Class: 14P05; 20C30; 90C30

Greedy weights for matroids

Authors: Trygve Johnsen, Hugues Verdure

Abstract: We introduce greedy weights of matroids, inspired by those for linear codes. We show that a Wei duality holds for two of these types of greedy weights for matroids. Moreover we show that in the cases where the matroids involved are associated to linear codes, our definitions coincide with those for codes. Thus our Wei duality is a generalization of that for linear codes given by Schaathun. In the… ▽ More We introduce greedy weights of matroids, inspired by those for linear codes. We show that a Wei duality holds for two of these types of greedy weights for matroids. Moreover we show that in the cases where the matroids involved are associated to linear codes, our definitions coincide with those for codes. Thus our Wei duality is a generalization of that for linear codes given by Schaathun. In the last part of the paper we show how some important chains of cycles of the matroids appearing, correspond to chains of component maps of minimal resolutions of the independence complex of the corresponding matroids. We also relate properties of these resolutions to chainedness and greedy weights of the matroids, and in many cases codes, that appear. △ Less

Submitted 20 February, 2020; originally announced February 2020.

Comments: 17 pages

MSC Class: 94B05; 05B35; 13F55

Symmetric ideals, Specht polynomials and solutions to symmetric systems of equations

Authors: Philippe Moustrou, Cordian Riener, Hugues Verdure

Abstract: An ideal of polynomials is symmetric if it is closed under permutations of variables. We relate general symmetric ideals to the so called Specht ideals generated by all Specht polynomials of a given shape. We show a connection between the leading monomials of polynomials in the ideal and the Specht polynomials contained in the ideal. This provides applications in several contexts. Most notably, th… ▽ More An ideal of polynomials is symmetric if it is closed under permutations of variables. We relate general symmetric ideals to the so called Specht ideals generated by all Specht polynomials of a given shape. We show a connection between the leading monomials of polynomials in the ideal and the Specht polynomials contained in the ideal. This provides applications in several contexts. Most notably, this connection gives information about the solutions of the corresponding set of equations. From another perspective, it restricts the isotypic decomposition of the ideal viewed as a representation of the symmetric group. △ Less

Submitted 16 February, 2021; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: Some revisions due to comments of referees

MSC Class: 12Y05; 13P15; 20C30

Higher weight spectra of Veronese codes

Authors: Trygve Johnsen, Hugues Verdure

Abstract: We study q-ary linear codes C obtained from Veronese surfaces over finite fields. We show how one can find the higher weight spectra of these codes, or equivalently, the weight distribution of all extension codes of C over all field extensions of the field with q elements. Our methods will be a study of the Stanley-Reisner rings of a series of matroids associated to each code C We study q-ary linear codes C obtained from Veronese surfaces over finite fields. We show how one can find the higher weight spectra of these codes, or equivalently, the weight distribution of all extension codes of C over all field extensions of the field with q elements. Our methods will be a study of the Stanley-Reisner rings of a series of matroids associated to each code C △ Less

Submitted 25 April, 2019; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: 14 pages

Flags of almost affine codes

Authors: Trygve Johnsen, Hugues Verdure

Abstract: We describe a two-party wire-tap channel of type II in the framework of almost affine codes. Its cryptological performance is related to some relative profiles of a pair of almost affine codes. These profiles are analogues of relative generalized Hamming weights in the linear case. We describe a two-party wire-tap channel of type II in the framework of almost affine codes. Its cryptological performance is related to some relative profiles of a pair of almost affine codes. These profiles are analogues of relative generalized Hamming weights in the linear case. △ Less

Submitted 10 April, 2017; originally announced April 2017.

Generalized Hamming weights for almost affine codes

Authors: Trygve Johnsen, Hugues Verdure

Abstract: We define generalized Hamming weights for almost affine codes. We show how various aspects and applications of generalized Hamming weights for linear codes, such as Wei duality, generalized Kung's bound, profiles, connection to wire-tap channels of type II, apply to the larger class of almost affine codes in general. In addition we discuss duality of almost affine codes,and of the smaller class of… ▽ More We define generalized Hamming weights for almost affine codes. We show how various aspects and applications of generalized Hamming weights for linear codes, such as Wei duality, generalized Kung's bound, profiles, connection to wire-tap channels of type II, apply to the larger class of almost affine codes in general. In addition we discuss duality of almost affine codes,and of the smaller class of multilinear codes. We also give results about weight distributions of infinite series of almost affine codes, each series obtained from a fixed code by extending the code alphabet. △ Less

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

Journal ref: IEEE Transactions on Information Theory, Volume: 63, Issue: 4, April 2017

A generalization of Kung's theorem

Authors: Trygve Johnsen, Keisuke Shiromoto, Hugues Verdure

Abstract: We give a generalization of Kung's theorem on critical exponents of linear codes over a finite field, in terms of sums of extended weight polynomials of linear codes. For all i=k+1,...,n, we give an upper bound on the smallest integer m such that there exist m codewords whose union of supports has cardinality at least i. We give a generalization of Kung's theorem on critical exponents of linear codes over a finite field, in terms of sums of extended weight polynomials of linear codes. For all i=k+1,...,n, we give an upper bound on the smallest integer m such that there exist m codewords whose union of supports has cardinality at least i. △ Less

Submitted 2 October, 2015; v1 submitted 21 May, 2015; originally announced May 2015.

MSC Class: 94B05; 05E40

Betti numbers of skeletons

Authors: Jan Roksvold, Hugues Verdure

Abstract: We demonstrate that the Betti numbers associated to an N-graded minimal free resolution of the Stanley-Reisner ring of the (d-1)-skeleton of a simplicial complex of dimension d can be expressed as a Z-linear combination of the corresponding Betti numbers of the complex itself. An immediate implication of our main result is that the projective dimension of the Stanley-Reisner ring of the (d-1)-skel… ▽ More We demonstrate that the Betti numbers associated to an N-graded minimal free resolution of the Stanley-Reisner ring of the (d-1)-skeleton of a simplicial complex of dimension d can be expressed as a Z-linear combination of the corresponding Betti numbers of the complex itself. An immediate implication of our main result is that the projective dimension of the Stanley-Reisner ring of the (d-1)-skeleton is at most one greater than the projective dimension of the Stanley-Reisner ring of the original complex, and it thus provides a new and direct proof of this. Our result extends immediately to matroids and their truncations. A similar result for matroid elongations can not be hoped for, but we do obtain a weaker result for these. △ Less

Submitted 18 February, 2020; v1 submitted 19 February, 2015; originally announced February 2015.

Comments: 16 pages

A generalization of weight polynomials to matroids

Authors: Trygve Johnsen, Jan Roksvold, Hugues Verdure

Abstract: Generalizing polynomials previously studied in the context of linear codes, we define weight polynomials and an enumerator for a matroid $M$. Our main result is that these polynomials are determined by Betti numbers associated with graded minimal free resolutions of the Stanley-Reisner ideals of $M$ and so-called elongations of $M$. Generalizing Greene's theorem from coding theory, we show that th… ▽ More Generalizing polynomials previously studied in the context of linear codes, we define weight polynomials and an enumerator for a matroid $M$. Our main result is that these polynomials are determined by Betti numbers associated with graded minimal free resolutions of the Stanley-Reisner ideals of $M$ and so-called elongations of $M$. Generalizing Greene's theorem from coding theory, we show that the enumerator of a matroid is equivalent to its Tutte polynomial. △ Less

Submitted 12 November, 2015; v1 submitted 25 November, 2013; originally announced November 2013.

Comments: 21 pages

MSC Class: 05B35; 13D02; 94B05

Betti numbers associated to the facet ideal of a matroid

Authors: Trygve Johnsen, Jan Nyquist Roksvold, Hugues Verdure

Abstract: To a matroid M with n edges, we associate the so-called facet ideal F(M) generated by monomials corresponding to bases of M. We show that the Betti numbers related to an N-graded minimal free resolution of F(M) are determined by the Betti numbers related to the blocks of M. Similarly, we show that the higher weight hierarchy of M is determined by the weight hierarchies of the blocks, as well. Draw… ▽ More To a matroid M with n edges, we associate the so-called facet ideal F(M) generated by monomials corresponding to bases of M. We show that the Betti numbers related to an N-graded minimal free resolution of F(M) are determined by the Betti numbers related to the blocks of M. Similarly, we show that the higher weight hierarchy of M is determined by the weight hierarchies of the blocks, as well. Drawing on these results, we show that when M is the cycle matroid of a cactus graph, the Betti numbers determine the higher weight hierarchy -- and vice versa. Finally, we demonstrate by way of counterexamples that this fails to hold for outerplanar graphs in general. △ Less

Submitted 6 January, 2015; v1 submitted 14 July, 2012; originally announced July 2012.

Comments: 18 pages

MSC Class: 05B35; 05E40; 13D02

Stanley-Reisner resolution of constant weight linear codes

Authors: Trygve Johnsen, Hugues Verdure

Abstract: Given a constant weight linear code, we investigate its weight hierarchy and the Stanley-Reisner resolution of its associated matroid regarded as a simplicial complex. We also exhibit conditions on the higher weights sufficient to conclude that the code is of constant weight Given a constant weight linear code, we investigate its weight hierarchy and the Stanley-Reisner resolution of its associated matroid regarded as a simplicial complex. We also exhibit conditions on the higher weights sufficient to conclude that the code is of constant weight △ Less

Submitted 3 January, 2013; v1 submitted 12 April, 2012; originally announced April 2012.

MSC Class: 94B05; 05E45; 05B35; 13F55

Hamming weights and Betti numbers of Stanley-Reisner rings associated to matroids

Authors: Trygve Johnsen, Hugues Verdure

Abstract: To each linear code over a finite field we associate the matroid of its parity check matrix. We show to what extent one can determine the generalized Hamming weights of the code (or defined for a matroid in general) from various sets of Betti numbers of Stanley-Reisner rings of simplicial complexes associated to the matroid. To each linear code over a finite field we associate the matroid of its parity check matrix. We show to what extent one can determine the generalized Hamming weights of the code (or defined for a matroid in general) from various sets of Betti numbers of Stanley-Reisner rings of simplicial complexes associated to the matroid. △ Less

Submitted 2 January, 2013; v1 submitted 16 August, 2011; originally announced August 2011.

Report number: Mittag-Leffler-2011spring MSC Class: 2010: 05E45 (Primary) 94B05; 05B35; 13F55 (Secondary)