Related papers: Harder-Narasimhan theory for linear codes
We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ''conformal vertex algebra'' or even more generally,…
We combine integer linear programming and recent advances in Monadic Second-Order model checking to obtain two new algorithmic meta-theorems for graphs of bounded vertex-cover. The first shows that cardMSO1, an extension of the well-known…
The jamming transition is ubiquitous. It is present in granular matter, colloids, glasses, and many other systems. Yet, it defines a critical point whose properties still need to be fully understood. A major breakthrough came about when the…
We prove a gap rigidity theorem for diagonal curves in irreducible compact Hermitian symmetric spaces of tube type, which is a dual analogy to a theorem obtained by Mok in noncompact case. Motivated by the proof we give a theorem on weaker…
For every set of parabolic weights, we construct a Harder-Narasimhan stratification for the moduli stack of parabolic vector bundles on a curve. It is based on the notion of parabolic slope, introduced by Mehta and Seshadri. We also prove…
We revisit the problem of Stone duality for lattices with various quasioperators, first studied in [14], presenting a fresh duality result. The new result is an improvement over that of [14] in two important respects. First, the…
The decomposition theory of matroids initiated by Paul Seymour in the 1980's has had an enormous impact on research in matroid theory. This theory, when applied to matrices over the binary field, yields a powerful decomposition theory for…
Canonical analysis leading to formal quantisation of the higher derivative theories are considered. The first order formalism is adopted where all the configuration space variables along with their higher time derivatives are considered to…
The Harder-Narasimhan type of a quiver representation is a discrete invariant parameterised by a real-valued function (called a central charge) defined on the vertices of the quiver. In this paper, we investigate the strength and…
We prove that the Harder-Narasimhan filtration for an unstable finite dimensional representation of a finite quiver coincides with the filtration associated to the 1-parameter subgroup of Kempf, which gives maximal unstability in the sense…
Hulls of linear codes have been of interest and extensively studied due to their rich algebraic structures and wide applications. In this paper, alternative characterizations of hulls of linear codes are given as well as their applications.…
In this article, we give an explicit construction of the derived moduli stack of Harder-Narasimhan filtrations on a connected projective scheme over an algebraically closed field k of characteristic 0 by using methods by Behrend,…
In this paper, we discuss the generalized Hamming weights of a class of linear codes associated with non-degenerate quadratic forms. In order to do so, we study the quadratic forms over subspaces of finite field and obtain some interesting…
We introduce a sheaf-theoretic stability condition for finite acyclic quivers. Our main result establishes that for representations of affine type $\widetilde{\mathbb{A}}$ quivers, there is a precise relationship between the associated…
The $r$-th generalized Hamming metric and the $b$-symbol metric are two different generalizations of Hamming metric. The former is used on the wire-tap channel of Type II, and the latter is motivated by the limitations of the reading…
We study the correspondence between Bayesian Networks and graphical representation of proofs in linear logic. The goal of this paper is threefold: to develop a proof-theoretical account of Bayesian inference (in the spirit of the…
We study a notion of tropical linear series on metric graphs that combines two essential properties of tropicalizations of linear series on algebraic curves: the Baker-Norine rank and the independence rank. Our main results relate the local…
The Harder-Narasimhan types are a family of discrete isomorphism invariants for representations of finite quivers. Previously (arXiv:2303.16075), we evaluated their discriminating power in the context of persistence modules over a finite…
We define notions of differentiability for maps from and to the space of persistence barcodes. Inspired by the theory of diffeological spaces, the proposed framework uses lifts to the space of ordered barcodes, from which derivatives can be…
We study the behaviour of semistability under tensor product in various settings: vector bundles, euclidean and hermitian lattices (alias Humbert forms or Arakelov bundles), multifiltered vector spaces. One approach to show that semistable…