scholarly journals Splines, lattice points, and (arithmetic) matroids

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Matthias Lenz

International audience Let $X$ be a $(d \times N)$-matrix. We consider the variable polytope $\Pi_X(u) = \left\{ w \geq 0 : Xw = u \right\}$. It is known that the function $T_X$ that assigns to a parameter $u \in \mathbb{R}^N$ the volume of the polytope $\Pi_X(u)$ is piecewise polynomial. Formulas of Khovanskii-Pukhlikov and Brion-Vergne imply that the number of lattice points in $\Pi_X(u)$ can be obtained by applying a certain differential operator to the function $T_X$. In this extended abstract we slightly improve the formulas of Khovanskii-Pukhlikov and Brion-Vergne and we study the space of differential operators that are relevant for $T_X$ (ıe operators that do not annihilate $T_X$) and the space of nice differential operators (ıe operators that leave $T_X$ continuous). These two spaces are finite-dimensional homogeneous vector spaces and their Hilbert series are evaluations of the Tutte polynomial of the (arithmetic) matroid defined by $X$. Soit $X$ une matrice $(d \times N)$. Nous considérons le polytope variable $\Pi_X(u) = \left\{ w \geq 0 : Xw = u \right\}$. Il est connu que la fonction $T_X$ qui attribue à un paramètre $u$ le volume du polytope $\Pi_X(u)$ est polynomiale par morceaux. Des formules de Khovanskii-Pukhlikov et de Brion-Vergne impliquent que le nombre de points de réseau dans $\Pi_X(u)$ peut être obtenu en appliquant un certain opérateur différentiel à la fonction $T_X$. Dans ce résumé élargi nous améliorons un peu les formules de Khovanskii-Pukhlikov et de Brion-Vergne et nous étudions l’espaced’opérateurs différentiels qui sont importants pour $T_X$ (c’est-à-dire les opérateurs qui n’annulent pas $T_X$) et l’espace d’opérateurs différentiels bons (c’est-à-dire les opérateurs qui laissent $T_X$ continue). Ces deux espaces sont espaces vectoriels homogène de dimension finie et leurs séries de Hilbert sont des évaluations du polynôme de Tutte du matroïde (arithmétique) défini par $X$.

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Luca Moci

International audience We introduce a multiplicity Tutte polynomial $M(x,y)$, which generalizes the ordinary one and has applications to zonotopes and toric arrangements. We prove that $M(x,y)$ satisfies a deletion-restriction recurrence and has positive coefficients. The characteristic polynomial and the Poincaré polynomial of a toric arrangement are shown to be specializations of the associated polynomial $M(x,y)$, likewise the corresponding polynomials for a hyperplane arrangement are specializations of the ordinary Tutte polynomial. Furthermore, $M(1,y)$ is the Hilbert series of the related discrete Dahmen-Micchelli space, while $M(x,1)$ computes the volume and the number of integral points of the associated zonotope. On introduit un polynôme de Tutte avec multiplicité $M(x, y)$, qui généralise le polynôme de Tutte ordinaire et a des applications aux zonotopes et aux arrangements toriques. Nous prouvons que $M(x, y)$ satisfait une récurrence de "deletion-restriction'' et a des coefficients positifs. Le polynôme caractéristique et le polynôme de Poincaré d'un arrangement torique sont des spécialisations du polynôme associé $M(x, y)$, de même que les polynômes correspondants pour un arrangement d'hyperplans sont des spécialisations du polynôme de Tutte ordinaire. En outre, $M(1, y)$ est la série de Hilbert de l'espace discret de Dahmen-Micchelli associé, et $M(x, 1)$ calcule le volume et le nombre de points entiers du zonotope associé.


2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Matthias Lenz

International audience Zonotopal algebra deals with ideals and vector spaces of polynomials that are related to several combinatorial and geometric structures defined by a finite sequence of vectors. Given such a sequence $X$, an integer $k \geq -1$ and an upper set in the lattice of flats of the matroid defined by $X$, we define and study the associated $\textit{hierarchical zonotopal power ideal}$. This ideal is generated by powers of linear forms. Its Hilbert series depends only on the matroid structure of $X$. It is related to various other matroid invariants, $\textit{e. g.}$ the shelling polynomial and the characteristic polynomial. This work unifies and generalizes results by Ardila-Postnikov on power ideals and by Holtz-Ron and Holtz-Ron-Xu on (hierarchical) zonotopal algebra. We also generalize a result on zonotopal Cox modules due to Sturmfels-Xu. La théorie de l'algèbre "zonotopique'' s'occupe d'idéaux et d'espaces vectoriels de polynômes qui ont un rapport avec plusieurs structures combinatoires et géométriques définies par des suites finies de vecteurs. Étant donné une telle suite $X$, un nombre entier $k \geq -1$ et un ensemble supérieur dans le treillis des plans du matroïde défini par $X$, nous définissons et étudions l'$\textit{idéal hiérarchique zonotopique}$, engendré par des puissances de formes linéaires. Sa série de Hilbert dépend seulement de la structure matroïdale de $X$. Il existe des relations avec d'autres invariants de matroïdes, tels que le polynôme d'épluchage et le polynôme caractéristique. Ce travail unifie et généralise des résultats d'Ardila-Postnikov sur les idéaux de puissances et de Holtz-Ron et Holtz-Ron-Xu sur l'algèbre zonotopique (hiérarchique). Nous généralisons aussi un résultat sur les modules de Cox zonotopiques, dû à Sturmfels-Xu.


2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Renzo Cavalieri ◽  
Paul JOHNSON ◽  
Hannah Markwig

International audience Double Hurwitz numbers count covers of the sphere by genus $g$ curves with assigned ramification profiles over $0$ and $\infty$, and simple ramification over a fixed branch divisor. Goulden, Jackson and Vakil (2005) have shown double Hurwitz numbers are piecewise polynomial in the orders of ramification, and Shadrin, Shapiro and Vainshtein (2008) have determined the chamber structure and wall crossing formulas for $g=0$. We provide new proofs of these results, and extend them in several directions. Most importantly we prove wall crossing formulas for all genera. The main tool is the authors' previous work expressing double Hurwitz number as a sum over labelled graphs. We identify the labels of the graphs with lattice points in the chambers of certain hyperplane arrangements, which give rise to piecewise polynomial functions. Our understanding of the wall crossing for these functions builds on the work of Varchenko (1987). This approach to wall crossing appears novel, and may be of broader interest. This extended abstract is based on a new preprint by the authors. Les nombres de Hurwitz doubles dénombrent les revêtements de la sphère par une surface de genre $g$ avec ramifications prescrites en $0$ et $\infty$, et dont les autres valeurs critiques sont non dégénérées et fixées. Goulden, Jackson et Vakil (2005) ont prouvé que les nombres de Hurwitz doubles sont polynomiaux par morceaux en l'ordre des ramifications prescrites, et Shadrin, Shapiro et Vainshtein (2008) ont déterminé la structure des chambres et ont établis des formules pour traverser les murs en genre $0$. Nous proposons des nouvelles preuves de ces résultats, et les généralisons dans plusieurs directions. En particulier, nous prouvons des formules pour traverser les murs en tout genre. L'outil principal est le précédent travail des auteurs exprimant les nombres de Hurwitz doubles comme somme de graphes étiquetés. Nous identifions les étiquetages avec les points entiers à l'intérieur d'une chambre d'un arrangement d'hyperplans, qui sont connu pour donner une fonction polynomiale par morceaux. Notre étude des formules pour traverser les murs de ces fonctions se base sur un travail antérieur de Varchenko (1987). Cette approche paraît nouvelle, et peut être d'un large intérêt. Ce résumé élargi se base sur un papier nouveau des auteurs.


Author(s):  
Ehud Hrushovski ◽  
François Loeser

This chapter introduces the concept of stable completion and provides a concrete representation of unit vector Mathematical Double-Struck Capital A superscript n in terms of spaces of semi-lattices, with particular emphasis on the frontier between the definable and the topological categories. It begins by constructing a topological embedding of unit vector Mathematical Double-Struck Capital A superscript n into the inverse limit of a system of spaces of semi-lattices L(Hsubscript d) endowed with the linear topology, where Hsubscript d are finite-dimensional vector spaces. The description is extended to the projective setting. The linear topology is then related to the one induced by the finite level morphism L(Hsubscript d). The chapter also considers the condition that if a definable set in L(Hsubscript d) is an intersection of relatively compact sets, then it is itself relatively compact.


Filomat ◽  
2017 ◽  
Vol 31 (16) ◽  
pp. 5111-5116
Author(s):  
Davood Ayaseha

We study the locally convex cones which have finite dimension. We introduce the Euclidean convex quasiuniform structure on a finite dimensional cone. In special case of finite dimensional locally convex topological vector spaces, the symmetric topology induced by the Euclidean convex quasiuniform structure reduces to the known concept of Euclidean topology. We prove that the dual of a finite dimensional cone endowed with the Euclidean convex quasiuniform structure is identical with it?s algebraic dual.


2020 ◽  
pp. 1-14
Author(s):  
NICOLÁS ANDRUSKIEWITSCH ◽  
DIRCEU BAGIO ◽  
SARADIA DELLA FLORA ◽  
DAIANA FLÔRES

Abstract We present new examples of finite-dimensional Nichols algebras over fields of characteristic 2 from braided vector spaces that are not of diagonal type, admit realizations as Yetter–Drinfeld modules over finite abelian groups, and are analogous to Nichols algebras of finite Gelfand–Kirillov dimension in characteristic 0. New finite-dimensional pointed Hopf algebras over fields of characteristic 2 are obtained by bosonization with group algebras of suitable finite abelian groups.


Author(s):  
W. T. Gowers ◽  
L. Milićević

Abstract Let $G_1, \ldots , G_k$ be finite-dimensional vector spaces over a prime field $\mathbb {F}_p$ . A multilinear variety of codimension at most $d$ is a subset of $G_1 \times \cdots \times G_k$ defined as the zero set of $d$ forms, each of which is multilinear on some subset of the coordinates. A map $\phi$ defined on a multilinear variety $B$ is multilinear if for each coordinate $c$ and all choices of $x_i \in G_i$ , $i\not =c$ , the restriction map $y \mapsto \phi (x_1, \ldots , x_{c-1}, y, x_{c+1}, \ldots , x_k)$ is linear where defined. In this note, we show that a multilinear map defined on a multilinear variety of codimension at most $d$ coincides on a multilinear variety of codimension $O_{k}(d^{O_{k}(1)})$ with a multilinear map defined on the whole of $G_1\times \cdots \times G_k$ . Additionally, in the case of general finite fields, we deduce similar (but slightly weaker) results.


Author(s):  
Richard C. Gilbert

SynopsisFormulas are determined for the deficiency numbers of a formally symmetric ordinary differential operator with complex coefficients which have asymptotic expansions of a prescribed type on a half-axis. An implication of these formulas is that for any given positive integer there exists a formally symmetric ordinary differential operator whose deficiency numbers differ by that positive integer.


1999 ◽  
Vol 19 (3) ◽  
pp. 559-569
Author(s):  
D. BENARDETE ◽  
S. G. DANI

Given a Lie group $G$ and a lattice $\Gamma$ in $G$, a one-parameter subgroup $\phi$ of $G$ is said to be rigid if for any other one-parameter subgroup $\psi$, the flows induced by $\phi$ and $\psi$ on $\Gamma\backslash G$ (by right translations) are topologically orbit-equivalent only if they are affinely orbit-equivalent. It was previously known that if $G$ is a simply connected solvable Lie group such that all the eigenvalues of $\mathrm{Ad} (g) $, $g\in G$, are real, then all one-parameter subgroups of $G$ are rigid for any lattice in $G$. Here we consider a complementary case, in which the eigenvalues of $\mathrm{Ad} (g)$, $g\in G$, form the unit circle of complex numbers.Let $G$ be the semidirect product $N \rtimes M$, where $M$ and $N$ are finite-dimensional real vector spaces and where the action of $M$ on the normal subgroup $N$ is such that the center of $G$ is a lattice in $M$. We prove that there is a generic class of abelian lattices $\Gamma$ in $G$ such that any semisimple one-parameter subgroup $\phi$ (namely $\phi$ such that $\mathrm{Ad} (\phi_t)$ is diagonalizable over the complex numbers for all $t$) is rigid for $\Gamma$ (see Theorem 1.4). We also show that, on the other hand, there are fairly high-dimensional spaces of abelian lattices for which some semisimple $\phi$ are not rigid (see Corollary 4.3); further, there are non-rigid semisimple $\phi$ for which the induced flow is ergodic.


Sign in / Sign up

Export Citation Format

Share Document