-
The Ehrhart polynomial of a matroid specializes to the beta invariant
Authors:
Anastasia Chavez,
Galen Dorpalen-Barry,
Luis Ferroni,
Fu Liu,
Felipe Rincón,
Andrés R. Vindas-Meléndez
Abstract:
We show that the linear coefficient of the Ehrhart polynomial of a matroid base polytope evaluated at $t-1$ is equal to, up to normalization, the $β$-invariant of the matroid. This yields a lattice-point counting formula for the $β$-invariant and establishes a new and unexpected positivity property of Ehrhart polynomials of matroid polytopes.
We show that the linear coefficient of the Ehrhart polynomial of a matroid base polytope evaluated at $t-1$ is equal to, up to normalization, the $β$-invariant of the matroid. This yields a lattice-point counting formula for the $β$-invariant and establishes a new and unexpected positivity property of Ehrhart polynomials of matroid polytopes.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
Characterizations of multidimensional compact almost automorphic functions and applications to Poissons and heat equations
Authors:
Alan Chávez,
Jolbyn Castañeda,
Alexis R. Carranza,
Kamal Khalil
Abstract:
Let \(\mathcal{G}\) be a non-empty subset of the Euclidean space \(\mathbb{R}^m\) (\(m \geq 1\)). This work is dedicated to further exploring the properties of \(\mathcal{G}\)-multi-almost automorphic functions defined on \(\mathbb{R}^m\) with values in a Banach space \(\mathbb{X}\). Using the theory of \(\mathcal{G}\)-multi-almost automorphic functions, we provide two new characterizations of com…
▽ More
Let \(\mathcal{G}\) be a non-empty subset of the Euclidean space \(\mathbb{R}^m\) (\(m \geq 1\)). This work is dedicated to further exploring the properties of \(\mathcal{G}\)-multi-almost automorphic functions defined on \(\mathbb{R}^m\) with values in a Banach space \(\mathbb{X}\). Using the theory of \(\mathcal{G}\)-multi-almost automorphic functions, we provide two new characterizations of compact almost automorphic functions. In the first characterization, \(\mathcal{G}\) corresponds to the lattice subgroup \(\mathbb{Z}^m \subset \mathbb{R}^m\); in the second, \(\mathcal{G}\) is taken to be a dense subset of \(\mathbb{R}^m\). Furthermore, we establish the invariance of the space of bounded and compactly \(\mathcal{G}\)-multi-almost automorphic functions under integral operators with Bi-almost automorphic kernels. Finally, we present applications to the analysis of the almost automorphic dynamics of Poisson's equation and the heat equation.
△ Less
Submitted 10 December, 2024;
originally announced December 2024.
-
Vector valued piecewise continuous almost automorphic functions and some consequences
Authors:
Alan Chávez,
Lenin Quiñones
Abstract:
In the present work, for $\mathbb{X}$ a Banach space, the notion of piecewise continuous $\mathbb{Z}$-almost automorphic functions with values in finite dimensional spaces is extended to piecewise continuous $\mathbb{Z}$-almost automorphic functions with values in $\mathbb{X}$. Several properties of this class of functions are provided, in particular it is shown that if $\mathbb{X}$ is a Banach al…
▽ More
In the present work, for $\mathbb{X}$ a Banach space, the notion of piecewise continuous $\mathbb{Z}$-almost automorphic functions with values in finite dimensional spaces is extended to piecewise continuous $\mathbb{Z}$-almost automorphic functions with values in $\mathbb{X}$. Several properties of this class of functions are provided, in particular it is shown that if $\mathbb{X}$ is a Banach algebra, then this class of functions constitute also a Banach algebra; furthermore, using the theory of $\mathbb{Z}$-almost automorphic functions, a new characterization of compact almost automorphic functions is given. As consequences, with the help of $\mathbb{Z}$-almost automorphic functions, it is presented a simple proof of the characterization of almost automorphic sequences by compact almost automorphic functions; the method permits us to give explicit examples of compact almost automorphic functions which are not almost periodic. Also, using the theory developed here, it is shown that almost automorphic solutions of differential equations with piecewise constant argument are in fact compact almost automorphic. Finally, it is proved that the classical solution of the $1D$ heat equation with continuous $\mathbb{Z}$-almost automorphic source is also continuous $\mathbb{Z}$-almost automorphic; furthermore, we comment applications to the existence and uniqueness of the asymptotically continuous $\mathbb{Z}$-almost automorphic mild solution to abstract integro-differential equations with nonlocal initial conditions.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Compact almost automorphic dynamics of non-autonomous differential equations with exponential dichotomy and applications to biological models with delay
Authors:
Alan Chávez,
Nelson Aragonés,
Manuel Pinto,
Ulices Zavaleta
Abstract:
In the present work, we prove that, if $A(\cdot)$ is a compact almost automorphic matrix and the system $$x'(t) = A(t)x(t)\, ,$$ possesses an exponential dichotomy with Green function $G(\cdot, \cdot)$, then its associated system $$y'(t) = B(t)y(t)\, ,$$ where $B(\cdot) \in H(A)$ (the hull of $A(\cdot)$) also possesses an exponential dichotomy. Moreover, the Green function $G(\cdot, \cdot)$ is com…
▽ More
In the present work, we prove that, if $A(\cdot)$ is a compact almost automorphic matrix and the system $$x'(t) = A(t)x(t)\, ,$$ possesses an exponential dichotomy with Green function $G(\cdot, \cdot)$, then its associated system $$y'(t) = B(t)y(t)\, ,$$ where $B(\cdot) \in H(A)$ (the hull of $A(\cdot)$) also possesses an exponential dichotomy. Moreover, the Green function $G(\cdot, \cdot)$ is compact Bi-almost automorphic in $\mathbb{R}^2$, this implies that $G(\cdot, \cdot)$ is $Δ_2$ - like uniformly continuous, where $Δ_2$ is the principal diagonal of $\mathbb{R}^2$, an important ingredient in the proof of invariance of the compact almost automorphic function space under convolution product with kernel $G(\cdot, \cdot)$. Finally, we study the existence of a positive compact almost automorphic solution of non-autonomous differential equations of biological interest having non-linear harvesting terms and mixed delays.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Hunter's positivity theorem and random vector norms
Authors:
Ludovick Bouthat,
Ángel Chávez,
Stephan Ramon Garcia
Abstract:
A theorem of Hunter ensures that the complete homogeneous symmetric polynomials of even degree are positive definite functions. A probabilistic interpretation of Hunter's theorem suggests a broad generalization: the construction of so-called random vector norms on square complex matrices. This paper surveys these ideas, starting from the fundamental notions and developing the theory to its present…
▽ More
A theorem of Hunter ensures that the complete homogeneous symmetric polynomials of even degree are positive definite functions. A probabilistic interpretation of Hunter's theorem suggests a broad generalization: the construction of so-called random vector norms on square complex matrices. This paper surveys these ideas, starting from the fundamental notions and developing the theory to its present state. We study numerous examples and present a host of open problems.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Extremal Polynomial Norms of Graphs
Authors:
Ludovick Bouthat,
Ángel Chávez,
Sarah Fullerton,
Matilda LaFortune,
Keyron Linarez,
Nethmin Liyanage,
Justin Son,
Tyler Ting
Abstract:
Recent work shows that a new family of norms on Hermitian matrices arise by evaluating the even degree complete homogeneous symmetric (CHS) polynomials on the eigenvalues of a Hermitian matrix. The CHS norm of a graph is then defined by evaluating the even degree CHS polynomials on the eigenvalues of the adjacency matrix of a graph. The fact that these norms are defined in terms of eigenvalues (as…
▽ More
Recent work shows that a new family of norms on Hermitian matrices arise by evaluating the even degree complete homogeneous symmetric (CHS) polynomials on the eigenvalues of a Hermitian matrix. The CHS norm of a graph is then defined by evaluating the even degree CHS polynomials on the eigenvalues of the adjacency matrix of a graph. The fact that these norms are defined in terms of eigenvalues (as opposed to singular values) ensures they can distinguish between graphs that other norms cannot. In addition, we prove that the CHS norms are minimized over all connected graphs by the path and maximized over all connected graphs by the complete graph. Finally, we prove that the CHS norms are minimized over all trees by the path and maximized over all trees by the star. Our paper is intended for a wide mathematical audience and we assume no prior knowledge about graphs or symmetric polynomials.
△ Less
Submitted 23 August, 2024; v1 submitted 8 November, 2023;
originally announced November 2023.
-
Norms on complex matrices induced by random vectors II: extension of weakly unitarily invariant norms
Authors:
Ángel Chávez,
Stephan Ramon Garcia,
Jackson Hurley
Abstract:
We improve and expand in two directions the theory of norms on complex matrices induced by random vectors. We first provide a simple proof of the classification of weakly unitarily invariant norms on the Hermitian matrices. We use this to extend the main theorem in [7] from exponent $d\geq 2$ to $d \geq 1$. Our proofs are much simpler than the originals: they do not require Lewis' framework for gr…
▽ More
We improve and expand in two directions the theory of norms on complex matrices induced by random vectors. We first provide a simple proof of the classification of weakly unitarily invariant norms on the Hermitian matrices. We use this to extend the main theorem in [7] from exponent $d\geq 2$ to $d \geq 1$. Our proofs are much simpler than the originals: they do not require Lewis' framework for group invariance in convex matrix analysis. This clarification puts the entire theory on simpler foundations while extending its range of applicability.
△ Less
Submitted 25 October, 2023; v1 submitted 11 October, 2023;
originally announced October 2023.
-
The cluster complex for cluster Poisson varieties and representations of acyclic quivers
Authors:
Carolina Melo,
Alfredo Nájera Chávez
Abstract:
Let $\mathcal{X}$ be a skew-symmetrizable cluster Poisson variety. The cluster complex $Δ^+(\mathcal{X})$ was introduced by Gross, Hacking, Keel and Kontsevich. It codifies the theta functions on $\mathcal{X}$ that restrict to a character of a seed torus. Every seed ${ \bf s}$ for $\mathcal{X}$ determines a fan realization $Δ^+_{\bf s}(\mathcal{X})$ of $Δ^+(\mathcal{X})$. For every ${\bf s}$ we pr…
▽ More
Let $\mathcal{X}$ be a skew-symmetrizable cluster Poisson variety. The cluster complex $Δ^+(\mathcal{X})$ was introduced by Gross, Hacking, Keel and Kontsevich. It codifies the theta functions on $\mathcal{X}$ that restrict to a character of a seed torus. Every seed ${ \bf s}$ for $\mathcal{X}$ determines a fan realization $Δ^+_{\bf s}(\mathcal{X})$ of $Δ^+(\mathcal{X})$. For every ${\bf s}$ we provide a simple and explicit description of the cones of $Δ^+_{\bf s}(\mathcal{X})$ and their facets using ${\bf c}$-vectors. Moreover, we give formulas for the theta functions parametrized by the integral points of $Δ^+_{ \bf s}(\mathcal{X})$ in terms of $F$-polynomials. In case $\mathcal{X}$ is skew-symmetric and the quiver $Q$ associated to ${\bf s}$ is acyclic, we describe the normal vectors of the supporting hyperplanes of the cones of $Δ^+_{\bf s}(\mathcal{X})$ using ${\bf g}$-vectors of (non-necessarily rigid) objects in $\mathsf{K}^{\rm b}(\text{proj} \; kQ)$.
△ Less
Submitted 27 February, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Newton--Okounkov bodies and minimal models for cluster varieties
Authors:
Lara Bossinger,
Man-Wai Cheung,
Timothy Magee,
Alfredo Nájera Chávez
Abstract:
Let $Y$ be a (partial) minimal model of a scheme $V$ with a cluster structure. Under natural assumptions, for every choice of seed we associate a Newton--Okounkov body to every divisor on $Y$ supported on $Y \setminus V$ and show that these Newton--Okounkov bodies are positive sets in the sense of Gross, Hacking, Keel and Kontsevich \cite{GHKK}. This construction essentially reverses the procedure…
▽ More
Let $Y$ be a (partial) minimal model of a scheme $V$ with a cluster structure. Under natural assumptions, for every choice of seed we associate a Newton--Okounkov body to every divisor on $Y$ supported on $Y \setminus V$ and show that these Newton--Okounkov bodies are positive sets in the sense of Gross, Hacking, Keel and Kontsevich \cite{GHKK}. This construction essentially reverses the procedure in loc. cit. that generalizes the polytope construction of a toric variety to the framework of cluster varieties.
In a closely related setting, we consider cases where $Y$ is a projective variety whose universal torsor $\text{UT}_Y$ is a partial minimal model of a scheme with a cluster structure of type $\mathcal A$. If the theta functions parametrized by the integral points of the associated superpotential cone form a basis of the ring of algebraic functions on $\text{UT}_Y$ and the action of the torus $T_{\text{Pic}(Y)^*}$ on $\text{UT}_Y$ is compatible with the cluster structure, then for every choice of seed we associate a Newton--Okounkov body to every line bundle on $Y$. We prove that any such Newton--Okounkov body is a positive set and that $Y$ is a minimal model of a quotient of a cluster $\mathcal A$-variety by the action of a torus.
Our constructions lead to the notion of the intrinsic Newton--Okounkov body associated to a boundary divisor in a partial minimal model of a scheme with a cluster structure. This provides a wide class of examples of Newton-Okoukov bodies exhibiting a wall-crossing phenomenon in the sense of Escobar--Harada \cite{EH20}.
This approach includes the partial flag varieties that arise as minimal models of cluster varieties. For the case of Grassmannians, our approach recovers, up to interesting unimodular equivalences, the Newton--Okounkov bodies constructed by Rietsch--Williams in \cite{RW}.
△ Less
Submitted 28 October, 2024; v1 submitted 8 May, 2023;
originally announced May 2023.
-
Norms on Complex Matrices Induced by Random Vectors
Authors:
Ángel Chávez,
Stephan Ramon Garcia,
Jackson Hurley
Abstract:
We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter's positivity theorem for the complete homogeneous symmetric polynomials.
We introduce a family of norms on the $n \times n$ complex matrices. These norms arise from a probabilistic framework, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. As a consequence, we obtain a generalization of Hunter's positivity theorem for the complete homogeneous symmetric polynomials.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
Limiting Distributions of Sums with Random Spectral Weights
Authors:
Angel Chavez,
Jacob Waldor
Abstract:
This paper studies the asymptotic properties of weighted sums of the form $Z_n=\sum_{i=1}^n a_i X_i$, in which $X_1, X_2, \ldots, X_n$ are i.i.d.~random variables and $a_1, a_2, \ldots, a_n$ correspond to either eigenvalues or singular values in the classic Erdős-Rényi-Gilbert model. In particular, we prove central limit-type theorems for the sequences $n^{-1}Z_n$ with varying conditions imposed o…
▽ More
This paper studies the asymptotic properties of weighted sums of the form $Z_n=\sum_{i=1}^n a_i X_i$, in which $X_1, X_2, \ldots, X_n$ are i.i.d.~random variables and $a_1, a_2, \ldots, a_n$ correspond to either eigenvalues or singular values in the classic Erdős-Rényi-Gilbert model. In particular, we prove central limit-type theorems for the sequences $n^{-1}Z_n$ with varying conditions imposed on $X_1, X_2, \ldots, X_n$.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Partial permutohedra
Authors:
Roger E. Behrend,
Federico Castillo,
Anastasia Chavez,
Alexander Diaz-Lopez,
Laura Escobar,
Pamela E. Harris,
Erik Insko
Abstract:
Partial permutohedra are lattice polytopes which were recently introduced and studied by Heuer and Striker. For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is the convex hull of all vectors in $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. We study the face lattice, volume and Ehrhart polynomial of $\mathcal{P}(m,n)$, and our methods and results include th…
▽ More
Partial permutohedra are lattice polytopes which were recently introduced and studied by Heuer and Striker. For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is the convex hull of all vectors in $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. We study the face lattice, volume and Ehrhart polynomial of $\mathcal{P}(m,n)$, and our methods and results include the following. For any $m$ and $n$, we obtain a bijection between the nonempty faces of $\mathcal{P}(m,n)$ and certain chains of subsets of $\{1,\dots,m\}$, thereby confirming a conjecture of Heuer and Striker, and we then use this characterization of faces to obtain a closed expression for the $h$-polynomial of $\mathcal{P}(m,n)$. For any $m$ and $n$ with $n\ge m-1$, we use a pyramidal subdivision of $\mathcal{P}(m,n)$ to establish a recursive formula for the normalized volume of $\mathcal{P}(m,n)$, from which we then obtain closed expressions for this volume. We also use a sculpting process (in which $\mathcal{P}(m,n)$ is reached by successively removing certain pieces from a simplex or hypercube) to obtain closed expressions for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with arbitrary $m$ and fixed $n\le 3$, the volume of $\mathcal{P}(m,4)$ with arbitrary $m$, and the Ehrhart polynomial of $\mathcal{P}(m,n)$ with fixed $m\le4$ and arbitrary $n\ge m-1$.
△ Less
Submitted 20 February, 2023; v1 submitted 28 July, 2022;
originally announced July 2022.
-
Antimagic Labeling for Unions of Graphs with Many Three-Paths
Authors:
Angel Chavez,
Parker Le,
Derek Lin,
Daphne Der-Fen Liu,
Mason Shurman
Abstract:
Let $G$ be a graph with $m$ edges and let $f$ be a bijection from $E(G)$ to $\{1,2, \dots, m\}$. For any vertex $v$, denote by $φ_f(v)$ the sum of $f(e)$ over all edges $e$ incident to $v$. If $φ_f(v) \neq φ_f(u)$ holds for any two distinct vertices $u$ and $v$, then $f$ is called an {\it antimagic labeling} of $G$. We call $G$ {\it antimagic} if such a labeling exists. Hartsfield and Ringel in 19…
▽ More
Let $G$ be a graph with $m$ edges and let $f$ be a bijection from $E(G)$ to $\{1,2, \dots, m\}$. For any vertex $v$, denote by $φ_f(v)$ the sum of $f(e)$ over all edges $e$ incident to $v$. If $φ_f(v) \neq φ_f(u)$ holds for any two distinct vertices $u$ and $v$, then $f$ is called an {\it antimagic labeling} of $G$. We call $G$ {\it antimagic} if such a labeling exists. Hartsfield and Ringel in 1991 conjectured that all connected graphs except $P_2$ are antimagic. Denote the disjoint union of graphs $G$ and $H$ by $G \cup H$, and the disjoint union of $t$ copies of $G$ by $tG$. For an antimagic graph $G$ (connected or disconnected), we define the parameter $τ(G)$ to be the maximum integer such that $G \cup tP_3$ is antimagic for all $t \leq τ(G)$. Chang, Chen, Li, and Pan showed that for all antimagic graphs $G$, $τ(G)$ is finite [Graphs and Combinatorics 37 (2021), 1065--1182]. Further, Shang, Lin, Liaw [Util. Math. 97 (2015), 373--385] and Li [Master Thesis, National Chung Hsing University, Taiwan, 2019] found the exact value of $τ(G)$ for special families of graphs: star forests and balanced double stars respectively. They did this by finding explicit antimagic labelings of $G\cup tP_3$ and proving a tight upper bound on $τ(G)$ for these special families. In the present paper, we generalize their results by proving an upper bound on $τ(G)$ for all graphs. For star forests and balanced double stars, this general bound is equivalent to the bounds given in \cite{star forest} and \cite{double star} and tight. In addition, we prove that the general bound is also tight for every other graph we have studied, including an infinite family of jellyfish graphs, cycles $C_n$ where $3 \leq n \leq 9$, and the double triangle $2C_3$.
△ Less
Submitted 25 November, 2022; v1 submitted 28 March, 2022;
originally announced March 2022.
-
Deformation Theory for Finite Cluster Complexes
Authors:
Nathan Ilten,
Alfredo Nájera Chávez,
Hipolito Treffinger
Abstract:
We study the deformation theory of the Stanley-Reisner rings associated to cluster complexes for skew-symmetrizable cluster algebras of geometric and finite cluster type. In particular, we show that in the skew-symmetric case, these cluster complexes are unobstructed, generalizing a result of Ilten and Christophersen in the $A_n$ case.
We also study the connection between cluster algebras with u…
▽ More
We study the deformation theory of the Stanley-Reisner rings associated to cluster complexes for skew-symmetrizable cluster algebras of geometric and finite cluster type. In particular, we show that in the skew-symmetric case, these cluster complexes are unobstructed, generalizing a result of Ilten and Christophersen in the $A_n$ case.
We also study the connection between cluster algebras with universal coefficients and cluster complexes. We show that for a full rank positively graded cluster algebra $\mathcal{A}$ of geometric and finite cluster type, the cluster algebra $\mathcal{A}^{\mathrm{univ}}$ with universal coefficients may be recovered as the universal family over a partial closure of a torus orbit in a multigraded Hilbert scheme. Likewise, we show that under suitable hypotheses, the cluster algebra $\mathcal{A}^{\mathrm{univ}}$ may be recovered as the coordinate ring for a certain torus-invariant semiuniversal deformation of the Stanley-Reisner ring of the cluster complex.
We apply these results to show that for any cluster algebra $\mathcal{A}$ of geometric and finite cluster type, $\mathcal{A}$ is Gorenstein, and $\mathcal{A}$ is unobstructed if it is skew-symmetric. Moreover, if $\mathcal{A}$ has enough frozen variables then it has no non-trivial torus-invariant deformations. We also study the Gröbner theory of the ideal of relations among cluster and frozen variables of $\mathcal{A}$. As a byproduct we generalize previous results in this setting obtained by Bossinger, Mohammadi and Nájera Chávez for Grassmannians of planes and $\text{Gr}(3,6)$.
△ Less
Submitted 27 February, 2025; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Norms on complex matrices induced by complete homogeneous symmetric polynomials
Authors:
Konrad Aguilar,
Ángel Chávez,
Stephan Ramon Garcia,
Jurij Volčič
Abstract:
We introduce a remarkable new family of norms on the space of $n \times n$ complex matrices. These norms arise from the combinatorial properties of symmetric functions, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. Our norms enjoy many desirable analytic and algebraic properties, such as an elegant determ…
▽ More
We introduce a remarkable new family of norms on the space of $n \times n$ complex matrices. These norms arise from the combinatorial properties of symmetric functions, and their construction and validation involve probability theory, partition combinatorics, and trace polynomials in noncommuting variables. Our norms enjoy many desirable analytic and algebraic properties, such as an elegant determinantal interpretation and the ability to distinguish certain graphs that other matrix norms cannot. Furthermore, they give rise to new dimension-independent tracial inequalities. Their potential merits further investigation.
△ Less
Submitted 22 March, 2022; v1 submitted 3 June, 2021;
originally announced June 2021.
-
$({\mathrm R},{\mathcal B})$-Multidimensional-almost automorphic functions with applications to integral and partial differential equations
Authors:
A. Chávez,
K. Khalil,
M. Kostić,
M. Pinto
Abstract:
In this paper, we analyze the classes of $({\mathrm R},{\mathcal B})$-multi-almost automorphic functions and asymptotically $({\mathrm R},{\mathcal B})$-multi-almost automorphic functions. We provide plenty valuable applications to the abstract Volterra integrodifferential equations in Banach spaces and partial differential equations.
In this paper, we analyze the classes of $({\mathrm R},{\mathcal B})$-multi-almost automorphic functions and asymptotically $({\mathrm R},{\mathcal B})$-multi-almost automorphic functions. We provide plenty valuable applications to the abstract Volterra integrodifferential equations in Banach spaces and partial differential equations.
△ Less
Submitted 18 March, 2021;
originally announced March 2021.
-
Multi-dimensional almost periodic type functions and applications
Authors:
A. Chávez,
K. Khalil,
M. Kostić,
M. Pinto
Abstract:
In this paper, we analyze multi-dimensional $({\mathrm R}_{X},{\mathcal B})$-almost periodic type functions and multi-dimensional Bohr ${\mathcal B}$-almost periodic type functions. The main structural characterizations and composition principles for the introduced classes of almost periodic functions are established. Several applications of our abstract theoretical results to the abstract Volterr…
▽ More
In this paper, we analyze multi-dimensional $({\mathrm R}_{X},{\mathcal B})$-almost periodic type functions and multi-dimensional Bohr ${\mathcal B}$-almost periodic type functions. The main structural characterizations and composition principles for the introduced classes of almost periodic functions are established. Several applications of our abstract theoretical results to the abstract Volterra integro-differential equations in Banach spaces are provided, as well.
△ Less
Submitted 27 November, 2020;
originally announced December 2020.
-
The fundamental theorem of finite fields: a proof from first principles
Authors:
Anastasia Chavez,
Christopher O'Neill
Abstract:
A mathematics student's first introduction to the fundamental theorem of finite fields (FTFF) often occurs in an advanced abstract algebra course and invokes the power of Galois theory to prove it. Yet the combinatorial and algebraic coding theory applications of finite fields can show up early on for students in STEM. To make the FTFF more accessible to students lacking exposure to Galois theory,…
▽ More
A mathematics student's first introduction to the fundamental theorem of finite fields (FTFF) often occurs in an advanced abstract algebra course and invokes the power of Galois theory to prove it. Yet the combinatorial and algebraic coding theory applications of finite fields can show up early on for students in STEM. To make the FTFF more accessible to students lacking exposure to Galois theory, we provide a proof from algebraic "first principles."
△ Less
Submitted 20 August, 2021; v1 submitted 18 October, 2020;
originally announced October 2020.
-
Families of Gröbner Degenerations, Grassmannians and Universal Cluster Algebras
Authors:
Lara Bossinger,
Fatemeh Mohammadi,
Alfredo Nájera Chávez
Abstract:
Let $V$ be the weighted projective variety defined by a weighted homogeneous ideal $J$ and $C$ a maximal cone in the Gröbner fan of $J$ with $m$ rays. We construct a flat family over $\mathbb A^m$ that assembles the Gröbner degenerations of $V$ associated with all faces of $C$. This is a multi-parameter generalization of the classical one-parameter Gröbner degeneration associated to a weight. We e…
▽ More
Let $V$ be the weighted projective variety defined by a weighted homogeneous ideal $J$ and $C$ a maximal cone in the Gröbner fan of $J$ with $m$ rays. We construct a flat family over $\mathbb A^m$ that assembles the Gröbner degenerations of $V$ associated with all faces of $C$. This is a multi-parameter generalization of the classical one-parameter Gröbner degeneration associated to a weight. We explain how our family can be constructed from Kaveh-Manon's recent work on the classification of toric flat families over toric varieties: it is the pull-back of a toric family defined by a Rees algebra with base $X_C$ (the toric variety associated to $C$) along the universal torsor $\mathbb A^m \to X_C$. We apply this construction to the Grassmannians ${\rm Gr}(2,\mathbb C^n)$ with their Plücker embeddings and the Grassmannian ${\rm Gr}\big(3,\mathbb C^6\big)$ with its cluster embedding. In each case, there exists a unique maximal Gröbner cone whose associated initial ideal is the Stanley-Reisner ideal of the cluster complex. We show that the corresponding cluster algebra with universal coefficients arises as the algebra defining the flat family associated to this cone. Further, for ${\rm Gr}(2,\mathbb C^n)$ we show how Escobar-Harada's mutation of Newton-Okounkov bodies can be recovered as tropicalized cluster mutation.
△ Less
Submitted 10 June, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
The lattice of cycles of an undirected graph
Authors:
Gennadiy Averkov,
Anastasia Chavez,
Jesus A. De Loera,
Bryan R. Gillespie
Abstract:
We study bases of the lattice generated by the cycles of an undirected graph, defined as the integer linear combinations of the 0/1-incidence vectors of cycles. We prove structural results for this lattice, including explicit formulas for its dimension and determinant, and we present efficient algorithms to construct lattice bases, using only cycles as generators, in quadratic time. By algebraic c…
▽ More
We study bases of the lattice generated by the cycles of an undirected graph, defined as the integer linear combinations of the 0/1-incidence vectors of cycles. We prove structural results for this lattice, including explicit formulas for its dimension and determinant, and we present efficient algorithms to construct lattice bases, using only cycles as generators, in quadratic time. By algebraic considerations, we relate these results to the more general setting with coefficients from an arbitrary Abelian group. Our results generalize classical results for the vector space of cycles of a graph over the binary field to the case of an arbitrary field.
△ Less
Submitted 22 October, 2020; v1 submitted 3 February, 2020;
originally announced February 2020.
-
Compactifications of cluster varieties and convexity
Authors:
Man-Wai Cheung,
Timothy Magee,
Alfredo Nájera Chávez
Abstract:
In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient spac…
▽ More
In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient space of $\mathfrak{D}$. The set $S$ is positive if the theta functions corresponding to the integral points of $S$ and its $\mathbb{N}$-dilations define an $\mathbb{N}$-graded subalgebra of $Γ(V, \mathcal{O}_V)[x]$. In particular, a positive set $S$ defines a compactification of $V$ through a Proj construction applied to the corresponding $\mathbb{N}$-graded algebra. In this paper we give a natural convexity notion for subsets of $\mathfrak{D}$, called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of $\mathfrak{D}$, or to check positivity of a given subset.
△ Less
Submitted 27 January, 2021; v1 submitted 30 December, 2019;
originally announced December 2019.
-
On almost automorphic type solutions of abstract Integral equations, a Bohr-Neugebauer type property and some applications
Authors:
Alan Chávez,
Manuel Pinto,
Ulices Zavaleta
Abstract:
In the present work we give some sufficient conditions to obtain a unique almost automorphic solution to abstract nonlinear integral equations which are simultaneously of advanced and delayed type and also a unique asymptotically almost automorphic mild solution to abstract integro-differential equations with nonlocal initial conditions, both situations are posed on Banach spaces. Also, we develop…
▽ More
In the present work we give some sufficient conditions to obtain a unique almost automorphic solution to abstract nonlinear integral equations which are simultaneously of advanced and delayed type and also a unique asymptotically almost automorphic mild solution to abstract integro-differential equations with nonlocal initial conditions, both situations are posed on Banach spaces. Also, we develop a Bohr-Neugebauer type result for the abstract integral equations. Before that, we introduce the notion of $λ$-bounded functions, develop the appropriate abstract theory and discuss the almost periodic situation. As applications, we study the existence of an asymptotically almost automorphic solution to integro-differential equations modeling heat conduction in materials with memory and also the existence of the almost automorphic solution to semilinear parabolic evolution equations with finite delay.
△ Less
Submitted 27 January, 2020; v1 submitted 30 December, 2019;
originally announced December 2019.
-
Quotients of uniform positroids
Authors:
Carolina Benedetti,
Anastasia Chavez,
Daniel Tamayo
Abstract:
Flag matroids are a rich family of Coxeter matroids that can be characterized using pairs of matroids that form a quotient. We consider a class of matroids called positroids, introduced by Postnikov, and utilize their combinatorial representations to explore characterizations of flag positroids.
Given a uniform positroid, we give a purely combinatorial characterization of a family of positroids…
▽ More
Flag matroids are a rich family of Coxeter matroids that can be characterized using pairs of matroids that form a quotient. We consider a class of matroids called positroids, introduced by Postnikov, and utilize their combinatorial representations to explore characterizations of flag positroids.
Given a uniform positroid, we give a purely combinatorial characterization of a family of positroids that form quotients with it. We state this in terms of their associated decorated permutations. In proving our characterization we also fully describe the circuits of this family.
△ Less
Submitted 14 December, 2019;
originally announced December 2019.
-
Toric degenerations of cluster varieties and cluster duality
Authors:
Lara Bossinger,
Bosco Frías-Medina,
Timothy Magee,
Alfredo Nájera Chávez
Abstract:
We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: a cluster $\mathcal{X}$-variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed cluster $\mathcal{X}$-variety $\widehat{\mathcal{X}}$ to the toric variety associated to its $\mathbf{g}$-fan. Moreover, we show that the fibers of this fa…
▽ More
We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: a cluster $\mathcal{X}$-variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed cluster $\mathcal{X}$-variety $\widehat{\mathcal{X}}$ to the toric variety associated to its $\mathbf{g}$-fan. Moreover, we show that the fibers of this family are stratified in a natural way, with strata the specially completed $\mathcal{X}$-varieties encoded by $\mathrm{Star}(τ)$ for each cone $τ$ of the $\mathbf{g}$-fan. These strata degenerate to the associated toric strata of the central fiber. We further show that the family is cluster dual to $\mathcal{A}_{\mathrm{prin}}$ of Gross-Hacking-Keel-Kontsevich, and the fibers cluster dual to $\mathcal{A}_t$. Finally, we give two applications. First, we use our construction to identify the Rietsch-Williams toric degeneration of Grassmannians with the Gross-Hacking-Keel-Kontsevich degeneration in the case of $\mathrm{Gr}_2(\mathbb{C}^5)$. Next, we use it to link cluster duality to Batyrev-Borisov duality of Gorenstein toric Fanos in the context of mirror symmetry.
△ Less
Submitted 11 September, 2024; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Dyck Paths and Positroids from Unit Interval Orders
Authors:
Anastasia Chavez,
Felix Gotti
Abstract:
It is well known that the number of non-isomorphic unit interval orders on $[n]$ equals the $n$-th Catalan number. Using work of Skandera and Reed and work of Postnikov, we show that each unit interval order on $[n]$ naturally induces a rank $n$ positroid on $[2n]$. We call the positroids produced in this fashion unit interval positroids. We characterize the unit interval positroids by describing…
▽ More
It is well known that the number of non-isomorphic unit interval orders on $[n]$ equals the $n$-th Catalan number. Using work of Skandera and Reed and work of Postnikov, we show that each unit interval order on $[n]$ naturally induces a rank $n$ positroid on $[2n]$. We call the positroids produced in this fashion unit interval positroids. We characterize the unit interval positroids by describing their associated decorated permutations, showing that each one must be a $2n$-cycle encoding a Dyck path of length $2n$. We also provide recipes to read the decorated permutation of a unit interval positroid $P$ from both the antiadjacency matrix and the interval representation of the unit interval order inducing $P$. Using our characterization of the decorated permutation, we describe the Le-diagrams corresponding to unit interval positroids. In addition, we give a necessary and sufficient condition for two Grassmann cells parameterized by unit interval positroids to be adjacent inside the Grassmann cell complex. Finally, we propose a potential approach to find the $f$-vector of a unit interval order.
△ Less
Submitted 12 February, 2018; v1 submitted 28 November, 2016;
originally announced November 2016.
-
A 2-Calabi-Yau realization of finite-type cluster algebras with universal coefficients
Authors:
Alfredo Nájera Chávez
Abstract:
We categorify various finite-type cluster algebras with coefficients using completed orbit categories associated to Frobenius categories. Namely, the Frobenius categories we consider are the categories of finitely generated Gorenstein projective modules over the singular Nakajima category associated to a Dynkin diagram and their standard Frobenius quotients. In particular, we are able to categorif…
▽ More
We categorify various finite-type cluster algebras with coefficients using completed orbit categories associated to Frobenius categories. Namely, the Frobenius categories we consider are the categories of finitely generated Gorenstein projective modules over the singular Nakajima category associated to a Dynkin diagram and their standard Frobenius quotients. In particular, we are able to categorify all finite-type skew-symmetric cluster algebras with universal coefficients and finite-type Grassmannian cluster algebras. Along the way, we classify the standard Frobenius models of a certain family of triangulated orbit categories which include all finite-type $n$-cluster categories, for all integers $n\geq 1$.
△ Less
Submitted 18 October, 2017; v1 submitted 24 December, 2015;
originally announced December 2015.
-
The Dehn-Sommerville Relations and the Catalan Matroid
Authors:
Anastasia Chavez,
Nicole Yamzon
Abstract:
The $f$-vector of a $d$-dimensional polytope $P$ stores the number of faces of each dimension. When $P$ is simplicial the Dehn--Sommerville relations condense the $f$-vector into the $g$-vector, which has length $\lceil{\frac{d+1}{2}}\rceil$. Thus, to determine the $f$-vector of $P$, we only need to know approximately half of its entries. This raises the question: Which…
▽ More
The $f$-vector of a $d$-dimensional polytope $P$ stores the number of faces of each dimension. When $P$ is simplicial the Dehn--Sommerville relations condense the $f$-vector into the $g$-vector, which has length $\lceil{\frac{d+1}{2}}\rceil$. Thus, to determine the $f$-vector of $P$, we only need to know approximately half of its entries. This raises the question: Which $(\lceil{\frac{d+1}{2}}\rceil)$-subsets of the $f$-vector of a general simplicial polytope are sufficient to determine the whole $f$-vector? We prove that the answer is given by the bases of the Catalan matroid.
△ Less
Submitted 14 December, 2015;
originally announced December 2015.
-
On Frobenius (completed) orbit categories
Authors:
Alfredo Nájera Chávez
Abstract:
Let ${\mathcal E}$ be a Frobenius category, ${\mathcal P}$ its subcategory of projective objects and $F:{\mathcal E} \to {\mathcal E}$ an exact automorphism. We prove that there is a fully faithful functor from the orbit category ${\mathcal E}/F$ into $\operatorname{gpr}({\mathcal P}/F)$, the category of finitely-generated Gorenstein-projective modules over ${\mathcal P}/F$. We give sufficient con…
▽ More
Let ${\mathcal E}$ be a Frobenius category, ${\mathcal P}$ its subcategory of projective objects and $F:{\mathcal E} \to {\mathcal E}$ an exact automorphism. We prove that there is a fully faithful functor from the orbit category ${\mathcal E}/F$ into $\operatorname{gpr}({\mathcal P}/F)$, the category of finitely-generated Gorenstein-projective modules over ${\mathcal P}/F$. We give sufficient conditions to ensure that the essential image of ${\mathcal E}/F$ is an extension-closed subcategory of $\operatorname{gpr}({\mathcal P}/F)$. If ${\mathcal E}$ is in addition Krull-Schmidt, we give sufficient conditions to ensure that the completed orbit category ${\mathcal E} \ \widehat{\!\! /} F$ is a Krull-Schmidt Frobenius category. Finally, we apply our results on completed orbit categories to the context of Nakajima categories associated to Dynkin quivers and sketch applications to cluster algebras.
△ Less
Submitted 22 September, 2015; v1 submitted 11 September, 2015;
originally announced September 2015.
-
Werner's Measure on Self-Avoiding Loops and Welding
Authors:
Angel Chavez,
Doug Pickrell
Abstract:
Werner's conformally invariant family of measures on self-avoiding loops on Riemann surfaces is determined by a single measure $μ_0$ on self-avoiding loops in ${\mathbb C} \setminus\{0\}$ which surround $0$. Our first major objective is to show that the measure $μ_0$ is infinitesimally invariant with respect to conformal vector fields (essentially the Virasoro algebra of conformal field theory). T…
▽ More
Werner's conformally invariant family of measures on self-avoiding loops on Riemann surfaces is determined by a single measure $μ_0$ on self-avoiding loops in ${\mathbb C} \setminus\{0\}$ which surround $0$. Our first major objective is to show that the measure $μ_0$ is infinitesimally invariant with respect to conformal vector fields (essentially the Virasoro algebra of conformal field theory). This makes essential use of classical variational formulas of Duren and Schiffer, which we recast in representation theoretic terms for efficient computation. We secondly show how these formulas can be used to calculate (in principle, and sometimes explicitly) quantities (such as moments for coefficients of univalent functions) associated to the conformal welding for a self-avoiding loop. This gives an alternate proof of the uniqueness of Werner's measure. We also attempt to use these variational formulas to derive a differential equation for the (Laplace transform of) the "diagonal distribution" for the conformal welding associated to a loop; this generalizes in a suggestive way to a deformation of Werner's measure conjectured to exist by Kontsevich and Suhov (a basic inspiration for this paper).
△ Less
Submitted 4 August, 2014; v1 submitted 12 January, 2014;
originally announced January 2014.
-
Discontinuous Almost Automorphic Functions and Almost Automorphic Solutions of Differential Equations with Piecewise Constant Argument
Authors:
A. Chavez,
S. Castillo,
M. Pinto
Abstract:
In this article we introduce a class of discontinuous almost automorphic functions which appears naturally in the study of almost automorphic solutions of differential equations with piecewise constant argument. Their fundamental properties are used to prove the almost automorphicity of bounded solutions of a system of differential equations with piecewise constant argument. Due to the strong disc…
▽ More
In this article we introduce a class of discontinuous almost automorphic functions which appears naturally in the study of almost automorphic solutions of differential equations with piecewise constant argument. Their fundamental properties are used to prove the almost automorphicity of bounded solutions of a system of differential equations with piecewise constant argument. Due to the strong discrete character of these equations, the existence of a unique discrete almost automorphic solution of a non-autonomous almost automorphic difference system is obtained, for which conditions of exponential dichotomy and discrete Bi-almost automorphicity are fundamental.
△ Less
Submitted 4 June, 2013;
originally announced June 2013.
-
C-vectors and dimension vectors for cluster-finite quivers
Authors:
Alfredo Nájera Chávez
Abstract:
Let $(Q,W)$ be a quiver with a non degenerate potential. We give a new description of the \textbf{c}-vectors of $Q$. We use it to show that, if $Q$ is mutation equivalent to a Dynkin quiver, then the set of positive $\mathbf{c}$-vectors of the cluster algebra associated to $Q^{\text{op}}$ coincides with the set of dimension vectors of the indecomposable modules over the Jacobian algebra of…
▽ More
Let $(Q,W)$ be a quiver with a non degenerate potential. We give a new description of the \textbf{c}-vectors of $Q$. We use it to show that, if $Q$ is mutation equivalent to a Dynkin quiver, then the set of positive $\mathbf{c}$-vectors of the cluster algebra associated to $Q^{\text{op}}$ coincides with the set of dimension vectors of the indecomposable modules over the Jacobian algebra of $(Q,W)$.
△ Less
Submitted 8 December, 2012;
originally announced December 2012.
-
On the c-vectors of an acyclic cluster algebra
Authors:
Alfredo Nájera Chávez
Abstract:
We prove that the set of c-vectors of the cluster algebra associated to an acyclic quiver Q coincides with the set of real Schur roots and their opposites in the root system associated to Q.
We prove that the set of c-vectors of the cluster algebra associated to an acyclic quiver Q coincides with the set of real Schur roots and their opposites in the root system associated to Q.
△ Less
Submitted 8 December, 2012; v1 submitted 7 March, 2012;
originally announced March 2012.
-
On the c-vectors and g-vectors of the Markov cluster algebra
Authors:
Alfredo Nájera Chávez
Abstract:
We describe the c-vectors and g-vectors of the Markov cluster algebra in terms of a special family of triples of rational numbers, which we call the Farey triples.
We describe the c-vectors and g-vectors of the Markov cluster algebra in terms of a special family of triples of rational numbers, which we call the Farey triples.
△ Less
Submitted 8 December, 2012; v1 submitted 15 December, 2011;
originally announced December 2011.
-
Bernoulli--Dedekind Sums
Authors:
Matthias Beck,
Anastasia Chavez
Abstract:
Let $p_1,p_2,\dots,p_n, a_1,a_2,\dots,a_n \in \N$, $x_1,x_2,\dots,x_n \in \R$, and denote the $k$th periodized Bernoulli polynomial by $\B_k(x)$. We study expressions of the form \[
\sum_{h \bmod{a_k}} \ \prod_{\substack{i=1\\ i\not=k}}^{n} \ \B_{p_i}\left(a_i \frac{h+x_k}{a_k}-x_i\right). \] These \highlight{Bernoulli--Dedekind sums} generalize and unify various arithmetic sums introduced by De…
▽ More
Let $p_1,p_2,\dots,p_n, a_1,a_2,\dots,a_n \in \N$, $x_1,x_2,\dots,x_n \in \R$, and denote the $k$th periodized Bernoulli polynomial by $\B_k(x)$. We study expressions of the form \[
\sum_{h \bmod{a_k}} \ \prod_{\substack{i=1\\ i\not=k}}^{n} \ \B_{p_i}\left(a_i \frac{h+x_k}{a_k}-x_i\right). \] These \highlight{Bernoulli--Dedekind sums} generalize and unify various arithmetic sums introduced by Dedekind, Apostol, Carlitz, Rademacher, Sczech, Hall--Wilson--Zagier, and others. Generalized Dedekind sums appear in various areas such as analytic and algebraic number theory, topology, algebraic and combinatorial geometry, and algorithmic complexity. We exhibit a reciprocity theorem for the Bernoulli--Dedekind sums, which gives a unifying picture through a simple combinatorial proof.
△ Less
Submitted 30 July, 2010;
originally announced August 2010.
