-
$Ω$-bounds for the partial sums of some modified Dirichlet characters II
Authors:
Marco Aymone,
Ana Paula Chaves,
Maria Eduarda Ramos
Abstract:
A modified Dirichlet character $f$ is a completely multiplicative function such that for some Dirichlet character $χ$, $f(p)=χ(p)$ for all but a finite number of primes $p\in S$, and for those exceptional primes $p\in S$, $|f(p)|\leq 1$. If $χ$ is primitive and for each $p\in S$ we have $|f(p)|=1$, we prove that $\sum_{n\leq x}f(n)=Ω((\log x)^{(|S|-3)/2})$. This makes progress on a Conjecture due…
▽ More
A modified Dirichlet character $f$ is a completely multiplicative function such that for some Dirichlet character $χ$, $f(p)=χ(p)$ for all but a finite number of primes $p\in S$, and for those exceptional primes $p\in S$, $|f(p)|\leq 1$. If $χ$ is primitive and for each $p\in S$ we have $|f(p)|=1$, we prove that $\sum_{n\leq x}f(n)=Ω((\log x)^{(|S|-3)/2})$. This makes progress on a Conjecture due to Klurman, Mangerel, Pohoata and Teräväinen, c.f. Trans. Amer. Math. Soc., 374 (2021), pp. 7967--7990. Our proof combines tools from Analytic Number Theory, Harmonic Analysis, Baker's Theory on linear forms in logarithms and Discrepancy bounds for sequences uniformly distributed modulo $1$.
△ Less
Submitted 23 March, 2025;
originally announced March 2025.
-
Diophantine equations over the generalized Fibonacci sequences: exploring sums of powers
Authors:
Roberto Alvarenga,
Ana Paula Chaves,
Maria Eduarda Ramos,
Matheus Silva,
Marcos Sosa
Abstract:
Let (F_n)_{n} be the classical Fibonacci sequence. It is well-known that it satisfies F_{n}^2 + F_{n+1}^2 = F_{2n+1}. In this study, we explore generalizations of this Diophantine equation in several directions. First, we solve the Diophantine equation (F_{n}^{(k)})^2 + (F_{n+d}^{(k)})^2 = F_{m}^{(k)} over the k-generalized Fibonacci numbers for every k \geq 2, generalizing Chaves and Marques. Nex…
▽ More
Let (F_n)_{n} be the classical Fibonacci sequence. It is well-known that it satisfies F_{n}^2 + F_{n+1}^2 = F_{2n+1}. In this study, we explore generalizations of this Diophantine equation in several directions. First, we solve the Diophantine equation (F_{n}^{(k)})^2 + (F_{n+d}^{(k)})^2 = F_{m}^{(k)} over the k-generalized Fibonacci numbers for every k \geq 2, generalizing Chaves and Marques. Next, we solve F_{n}^{s} + F_{n+d}^{s} = F_m over the Fibonacci numbers for every s \geq 2, generalizing Luca and Oyono. Finally, we solve the Diophantine equation F_{n}^s + \cdots + F_{n+d}^s = F_m for d+1 < n and s \geq 2.
△ Less
Submitted 15 January, 2025;
originally announced January 2025.
-
Fibonacci Numbers as Sums of Consecutive Terms in $k$-Generalized Fibonacci Sequence
Authors:
Roberto Alvarenga,
Ana Paula Chaves,
Maria Eduarda Ramos,
Matheus Silva,
Marcos Sosa
Abstract:
Let (F_n^{(k)})_{n\geq -(k-2)} be the k-generalized Fibonacci sequence, defined as the linear recurrence sequence whose first k terms are \(0, 0, \ldots, 0, 1\), and whose subsequent terms are determined by the sum of the preceding k terms. This article is devoted to investigating when the sum of consecutive numbers in the k-generalized Fibonacci sequence belongs to the Fibonacci sequence. Namely,…
▽ More
Let (F_n^{(k)})_{n\geq -(k-2)} be the k-generalized Fibonacci sequence, defined as the linear recurrence sequence whose first k terms are \(0, 0, \ldots, 0, 1\), and whose subsequent terms are determined by the sum of the preceding k terms. This article is devoted to investigating when the sum of consecutive numbers in the k-generalized Fibonacci sequence belongs to the Fibonacci sequence. Namely, given d,k \in \N, with k \geq 3, our main theorem states that there are at most finitely many n \in \N such that F_n^{(k)} + \cdots + F_{n+d}^{(k)} is a Fibonacci number. In particular, the intersection between the Fibonacci sequence and the k-generalized Fibonacci sequence is finite.
△ Less
Submitted 6 January, 2025;
originally announced January 2025.
-
Estimación de la dimensión de Hausdorff por dimensión de conteo por cajas y dimensión de información
Authors:
José Luis Ponte Bejarano,
Juan Carlos Ponte Bejarano,
Alexis Rodriguez Carranza,
Eddy Cristiam Mirando Ramos
Abstract:
In this article, the Hausdorff dimension is estimated using the box-counting dimension and the information dimension. It is shown that the former is an upper bound for the Hausdorff dimension, while the latter is a lower bound for the box-counting dimension, and that the information dimension is an upper bound for the Hausdorff dimension. Additionally, the dimension of the Henon attractor is estim…
▽ More
In this article, the Hausdorff dimension is estimated using the box-counting dimension and the information dimension. It is shown that the former is an upper bound for the Hausdorff dimension, while the latter is a lower bound for the box-counting dimension, and that the information dimension is an upper bound for the Hausdorff dimension. Additionally, the dimension of the Henon attractor is estimated using the box-counting dimension.
△ Less
Submitted 29 September, 2024;
originally announced October 2024.
-
Numerical approximation of the insitu combustion model using the nonlinear mixed complementarity method
Authors:
Julio Cesar Agustin Sangay,
Alexis Rodriguez Carranza,
George J. Bautista,
Juan Carlos Ponte Bejarano,
Jose Luis Ponte Bejarano,
Eddy Cristiam Miranda Ramos
Abstract:
In this work, we will study a numerical method that allows finding an approximation of the exact solution for a in-situ combustion model using the nonlinear mixed complementary method, which is a variation of the Newtons method for solving nonlinear systems based on an implicit finite difference scheme and a nonlinear algorithm mixed complementarity, FDA-MNCP. The method has the advantage of provi…
▽ More
In this work, we will study a numerical method that allows finding an approximation of the exact solution for a in-situ combustion model using the nonlinear mixed complementary method, which is a variation of the Newtons method for solving nonlinear systems based on an implicit finite difference scheme and a nonlinear algorithm mixed complementarity, FDA-MNCP. The method has the advantage of provide a global convergence in relation to the finite difference method and method of Newton that only has local convergence. The theory is applied to model in-situ combustion, which can be rewritten in the form of mixed complementarity also we do a comparison with the FDA-NCP method
△ Less
Submitted 28 September, 2024;
originally announced September 2024.
-
Representation stability in the intrinsic hyperplane arrangements associated to irreducible representations of the symmetric-groups
Authors:
Ian Flynn,
Eric Ramos,
Benjamin Young
Abstract:
Some of the most classically relevant Hyperplane arrangements are the Braid Arrangements $B_n$ and their associated compliment spaces $\mathcal{F}_n$. In their recent work, Tsilevich, Vershik, and Yuzvinsky construct what they refer to as the intrinsic hyperplane arrangement within any irreducible representation of the symmetric group that generalize the classical braid arrangements. Through examp…
▽ More
Some of the most classically relevant Hyperplane arrangements are the Braid Arrangements $B_n$ and their associated compliment spaces $\mathcal{F}_n$. In their recent work, Tsilevich, Vershik, and Yuzvinsky construct what they refer to as the intrinsic hyperplane arrangement within any irreducible representation of the symmetric group that generalize the classical braid arrangements. Through examples it is also shown that the associated compliment spaces to these intrinsic arrangements display behaviors far removed from $\mathcal{F}_n$. In this work we study the intrinsic hyperplane arrangements of irreducible representations of the symmetric group from the perspective of representation stability. This work is both theoretical, proving representation stability theorems for hyperplane complements, as well as statistical, examining the outputs of a number of simulations designed to enumerate flats.
△ Less
Submitted 31 May, 2024; v1 submitted 21 May, 2024;
originally announced May 2024.
-
Independence numbers in certain families of highly symmetric graphs
Authors:
David Guan,
Eric Ramos
Abstract:
FI-graphs were introduced by the second author and White to capture the idea of a family of nested graphs, each member of which is acted on by a progressively larger symmetric group. That work was built on the newly minted foundations of representation stability theory and FI-modules. Examples of such families include the complete graphs and the Kneser and Johnson graphs, among many others. While…
▽ More
FI-graphs were introduced by the second author and White to capture the idea of a family of nested graphs, each member of which is acted on by a progressively larger symmetric group. That work was built on the newly minted foundations of representation stability theory and FI-modules. Examples of such families include the complete graphs and the Kneser and Johnson graphs, among many others. While it was shown in the originating work how various counting invariants in these families behave very regularly, not much has thus far been proven about the behaviors of the typical extremal graph theoretic invariants such as their independence and clique numbers. In this paper we provide a conjecture on the growth of the independence and clique numbers in these families, and prove this conjecture in one case. We also provide computer code that generates experimental evidence in many other cases. All of this work falls into a growing trend in representation stability theory that displays the regular behaviors of a number of extremal invariants that arise when one looks at FI-algebras and modules.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
The weak categorical quiver minor theorem and its applications: matchings, multipaths, and magnitude cohomology
Authors:
Luigi Caputi,
Carlo Collari,
Eric Ramos
Abstract:
Building upon previous works of Proudfoot and Ramos, and using the categorical framework of Sam and Snowden, we extend the weak categorical minor theorem from undirected graphs to quivers. As case of study, we investigate the consequences on the homology of multipath complexes; eg. on its torsion. Further, we prove a comparison result: we show that, when restricted to directed graphs without orien…
▽ More
Building upon previous works of Proudfoot and Ramos, and using the categorical framework of Sam and Snowden, we extend the weak categorical minor theorem from undirected graphs to quivers. As case of study, we investigate the consequences on the homology of multipath complexes; eg. on its torsion. Further, we prove a comparison result: we show that, when restricted to directed graphs without oriented cycles, multipath complexes and matching complexes yield functors which commute up to a blow-up operation on directed graphs. We use this fact to compute the homotopy type of matching complexes for a certain class of bipartite graphs also known as half-graphs or ladders. We complement the work with a study of the (representation) category of cones, and with analysing related consequences on magnitude cohomology of quivers.
△ Less
Submitted 2 January, 2024;
originally announced January 2024.
-
Homology of matching complexes and representations of symmetric groups
Authors:
Michael Bate,
Brent Everitt,
Sam Ford,
Eric Ramos
Abstract:
We compute the homology of the matching complex $M(Γ)$, where $Γ$ is the complete hypergraph on $n\geq 2$ vertices, and analyse the $S_n$-representations carried by this homology. These results are achieved using standard techniques in combinatorial topology, such as the theory of shellings. We then broaden the scope to the larger class of fibre-closed families of simplicial complexes and consider…
▽ More
We compute the homology of the matching complex $M(Γ)$, where $Γ$ is the complete hypergraph on $n\geq 2$ vertices, and analyse the $S_n$-representations carried by this homology. These results are achieved using standard techniques in combinatorial topology, such as the theory of shellings. We then broaden the scope to the larger class of fibre-closed families of simplicial complexes and consider these through the lens of representation stability. This allows us to prove a number of results of an asymptotic nature, such as an analysis of the growth of Betti numbers and the kinds of irreducible $S_n$-representations that appear.
△ Less
Submitted 10 June, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
Robertson's conjecture and universal finite generation in the homology of graph braid groups
Authors:
Ben Knudsen,
Eric Ramos
Abstract:
We formulate a categorification of Robertson's conjecture analogous to the categorical graph minor conjecture of Miyata--Proudfood--Ramos. We show that these conjectures imply the existence of a finite list of atomic graphs generating the homology of configuration spaces of graphs -- in fixed degree, with a fixed number of particles, under topological embeddings. We explain how the simplest case o…
▽ More
We formulate a categorification of Robertson's conjecture analogous to the categorical graph minor conjecture of Miyata--Proudfood--Ramos. We show that these conjectures imply the existence of a finite list of atomic graphs generating the homology of configuration spaces of graphs -- in fixed degree, with a fixed number of particles, under topological embeddings. We explain how the simplest case of our conjecture follows from work of Barter and Miyata--Proudfoot, implying that the category of cographs is Noetherian, a result of potential independent interest.
△ Less
Submitted 21 May, 2024; v1 submitted 30 May, 2023;
originally announced May 2023.
-
Excessive symmetry can preclude cutoff
Authors:
Eric Ramos,
Graham White
Abstract:
For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $\mathfrak{S}_n$, such that these actions are compatible and transitive.…
▽ More
For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $\mathfrak{S}_n$, such that these actions are compatible and transitive. Families of graphs of this form were introduced by the authors in [RW], while a systematic study of random walks on these families were considered in [RW2]. In this paper we illustrate that these random walks never exhibit the so-called product condition, and therefore also never display total variation cutoff as defined by Aldous and Diaconis [AD]. In particular, we provide a large family of algebro-combinatorially motivated examples of collections of Markov chains which satisfy some well-known algebraic heuristics for cutoff, while not actually having the property.
△ Less
Submitted 21 September, 2021;
originally announced September 2021.
-
Equivariant log concavity and representation stability
Authors:
Jacob P. Matherne,
Dane Miyata,
Nicholas Proudfoot,
Eric Ramos
Abstract:
We expand upon the notion of equivariant log concavity, and make equivariant log concavity conjectures for Orlik--Solomon algebras of matroids, Cordovil algebras of oriented matroids, and Orlik--Terao algebras of hyperplane arrangements. In the case of the Coxeter arrangement for the Lie algebra $\mathfrak{sl}_n$, we exploit the theory of representation stability to give computer assisted proofs o…
▽ More
We expand upon the notion of equivariant log concavity, and make equivariant log concavity conjectures for Orlik--Solomon algebras of matroids, Cordovil algebras of oriented matroids, and Orlik--Terao algebras of hyperplane arrangements. In the case of the Coxeter arrangement for the Lie algebra $\mathfrak{sl}_n$, we exploit the theory of representation stability to give computer assisted proofs of these conjectures in low degree.
△ Less
Submitted 29 October, 2021; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Objective Bayesian Analysis for the Differential Entropy of the Gamma Distribution
Authors:
Eduardo Ramos,
Osafu A. Egbon,
Pedro L. Ramos,
Francisco A. Rodrigues,
Francisco Louzada
Abstract:
The present paper introduces a fully objective Bayesian analysis to obtain the posterior distribution of an entropy measure. Notably, we consider the gamma distribution, which describes many natural phenomena in physics, engineering, and biology. We reparametrize the model in terms of entropy, and different objective priors are derived, such as Jeffreys prior, reference prior, and matching priors.…
▽ More
The present paper introduces a fully objective Bayesian analysis to obtain the posterior distribution of an entropy measure. Notably, we consider the gamma distribution, which describes many natural phenomena in physics, engineering, and biology. We reparametrize the model in terms of entropy, and different objective priors are derived, such as Jeffreys prior, reference prior, and matching priors. Since the obtained priors are improper, we prove that the obtained posterior distributions are proper and that their respective posterior means are finite. An intensive simulation study is conducted to select the prior that returns better results regarding bias, mean square error, and coverage probabilities. The proposed approach is illustrated in two datasets: the first relates to the Achaemenid dynasty reign period, and the second describes the time to failure of an electronic component in a sugarcane harvest machine.
△ Less
Submitted 13 November, 2023; v1 submitted 27 December, 2020;
originally announced December 2020.
-
The graph minor theorem in topological combinatorics
Authors:
Dane Miyata,
Eric Ramos
Abstract:
We study a variety of natural constructions from topological combinatorics, including matching complexes as well as other graph complexes, from the perspective of the graph minor category of \parencite{MiProRa}. We prove that these complexes must have universally bounded torsion in their homology across all graphs of bounded genus. One may think of these results as arising from an algebraic versio…
▽ More
We study a variety of natural constructions from topological combinatorics, including matching complexes as well as other graph complexes, from the perspective of the graph minor category of \parencite{MiProRa}. We prove that these complexes must have universally bounded torsion in their homology across all graphs of bounded genus. One may think of these results as arising from an algebraic version of the graph minor theorem of Robertson and Seymour \parencite{RSXX,RSXXIII}.
△ Less
Submitted 14 April, 2023; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Stability phenomena for resonance arrangements
Authors:
Eric Ramos,
Nicholas Proudfoot
Abstract:
We prove that the ith graded pieces of the Orlik-Solomon algebras or Cordovil algebras of resonance arrangements form a finitely generated FS^op-module, thus obtaining information about the growth of their dimensions and restrictions on the irreducible representations of symmetric groups that they contain.
We prove that the ith graded pieces of the Orlik-Solomon algebras or Cordovil algebras of resonance arrangements form a finitely generated FS^op-module, thus obtaining information about the growth of their dimensions and restrictions on the irreducible representations of symmetric groups that they contain.
△ Less
Submitted 19 November, 2020; v1 submitted 2 November, 2020;
originally announced November 2020.
-
Hilbert series in the category of trees with contractions
Authors:
Eric Ramos
Abstract:
We consider Hilbert series associated to modules over various categories of trees. Using the technology of Sam and Snowden, we show that these Hilbert series must be algebraic. We then apply these technical theorems to prove facts about certain natural generating functions associated to trees.
We consider Hilbert series associated to modules over various categories of trees. Using the technology of Sam and Snowden, we show that these Hilbert series must be algebraic. We then apply these technical theorems to prove facts about certain natural generating functions associated to trees.
△ Less
Submitted 10 July, 2020;
originally announced July 2020.
-
Posterior properties of the Weibull distribution for censored data
Authors:
Eduardo Ramos,
Pedro L. Ramos
Abstract:
The Weibull distribution is one of the most used tools in reliability analysis. In this paper, assuming a Bayesian approach, we propose necessary and sufficient conditions to verify when improper priors lead to proper posteriors for the parameters of the Weibull distribution in the presence of complete or right-censored data. Additionally, we proposed sufficient conditions to verify if the obtaine…
▽ More
The Weibull distribution is one of the most used tools in reliability analysis. In this paper, assuming a Bayesian approach, we propose necessary and sufficient conditions to verify when improper priors lead to proper posteriors for the parameters of the Weibull distribution in the presence of complete or right-censored data. Additionally, we proposed sufficient conditions to verify if the obtained posterior moments are finite. These results can be achieved by checking the behavior of the improper priors, which are applied in different objective priors to illustrate the usefulness of the new results. As an application of our theorem, we prove that if the improper prior leads to a proper posterior, the posterior mean, as well as other higher moments of the scale parameter, are not finite and, therefore, should not be used.
△ Less
Submitted 17 May, 2020;
originally announced May 2020.
-
On the feasibility and convergence of the inexact Newton method under minor conditions on the error terms
Authors:
Eduardo Ramos,
Marcio Gameiro,
Victor Nolasco
Abstract:
In this paper we introduce a semi-local theorem for the feasibility and convergence of the inexact Newton method, regarding the sequence $x_{k+1} = x_k - Df(x_k)^{-1}f(x_k) + r_k$, where $r_k$ represents the error in each step. Unlike the previous results of this type in the literature, we prove the feasibility of the inexact Newton method under the minor hypothesis that the error $r_k$ is bounded…
▽ More
In this paper we introduce a semi-local theorem for the feasibility and convergence of the inexact Newton method, regarding the sequence $x_{k+1} = x_k - Df(x_k)^{-1}f(x_k) + r_k$, where $r_k$ represents the error in each step. Unlike the previous results of this type in the literature, we prove the feasibility of the inexact Newton method under the minor hypothesis that the error $r_k$ is bounded by a small constant to be computed, and moreover we prove results concerning the convergence of the sequence $x_k$ to the solution under this hypothesis. Moreover, we show how to apply this this method to compute rigorously zeros for two-point boundary value problems of Neumann type. Finally, we apply it to a version of the Cahn-Hilliard equation.
△ Less
Submitted 15 May, 2020;
originally announced May 2020.
-
Power laws distributions in objective priors
Authors:
Pedro L. Ramos,
Francisco A. Rodrigues,
Eduardo Ramos,
Dipak K. Dey,
Francisco Louzada
Abstract:
The use of objective prior in Bayesian applications has become a common practice to analyze data without subjective information. Formal rules usually obtain these priors distributions, and the data provide the dominant information in the posterior distribution. However, these priors are typically improper and may lead to improper posterior. Here, we show, for a general family of distributions, tha…
▽ More
The use of objective prior in Bayesian applications has become a common practice to analyze data without subjective information. Formal rules usually obtain these priors distributions, and the data provide the dominant information in the posterior distribution. However, these priors are typically improper and may lead to improper posterior. Here, we show, for a general family of distributions, that the obtained objective priors for the parameters either follow a power-law distribution or has an asymptotic power-law behavior. As a result, we observed that the exponents of the model are between 0.5 and 1. Understand these behaviors allow us to easily verify if such priors lead to proper or improper posteriors directly from the exponent of the power-law. The general family considered in our study includes essential models such as Exponential, Gamma, Weibull, Nakagami-m, Haf-Normal, Rayleigh, Erlang, and Maxwell Boltzmann distributions, to list a few. In summary, we show that comprehending the mechanisms describing the shapes of the priors provides essential information that can be used in situations where additional complexity is presented.
△ Less
Submitted 15 May, 2020;
originally announced May 2020.
-
Rigorous Enclosures of Solutions of Neumann Boundary Value Problems
Authors:
Eduardo Ramos,
Victor Nolasco,
Marcio Gameiro
Abstract:
This paper is dedicated to the problem of isolating and validating zeros of non-linear two point boundary value problems. We present a method for such purpose based on the Newton-Kantorovich Theorem to rigorously enclose isolated zeros of two point boundary value problem with Neumann boundary conditions.
This paper is dedicated to the problem of isolating and validating zeros of non-linear two point boundary value problems. We present a method for such purpose based on the Newton-Kantorovich Theorem to rigorously enclose isolated zeros of two point boundary value problem with Neumann boundary conditions.
△ Less
Submitted 21 May, 2022; v1 submitted 6 May, 2020;
originally announced May 2020.
-
The categorical graph minor theorem
Authors:
Dane Miyata,
Nicholas Proudfoot,
Eric Ramos
Abstract:
We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour graph minor theorem. In addition, we generalize Sam and Snowden's Gröbner theory of categories to the setting of pairs consisting of a category along with a func…
▽ More
We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour graph minor theorem. In addition, we generalize Sam and Snowden's Gröbner theory of categories to the setting of pairs consisting of a category along with a functor to sets, and we apply this theory to the edge functor on the graph minor category. As an application, we study homology groups of unordered configuration spaces of graphs, improving upon various finite generation results in this subject.
△ Less
Submitted 16 April, 2022; v1 submitted 12 April, 2020;
originally announced April 2020.
-
A Mathematical Assessment of the Isolation Tree Method for Outliers Detection in Big Data
Authors:
Fernando A. Morales,
Jorge M. Ramírez,
Edgar A. Ramos
Abstract:
In this paper, the mathematical analysis of the Isolation Random Forest Method (IRF Method) for anomaly detection is presented. We show that the IRF space can be endowed with a probability induced by the Isolation Tree algorithm (iTree). In this setting, the convergence of the IRF method is proved using the Law of Large Numbers. A couple of counterexamples are presented to show that the original m…
▽ More
In this paper, the mathematical analysis of the Isolation Random Forest Method (IRF Method) for anomaly detection is presented. We show that the IRF space can be endowed with a probability induced by the Isolation Tree algorithm (iTree). In this setting, the convergence of the IRF method is proved using the Law of Large Numbers. A couple of counterexamples are presented to show that the original method is inconclusive and no quality certificate can be given, when using it as a means to detect anomalies. Hence, an alternative version of IRF is proposed, whose mathematical foundation, as well as its limitations, are fully justified. Finally, numerical experiments are presented to compare the performance of the classic IRF with the proposed one.
△ Less
Submitted 3 May, 2022; v1 submitted 9 April, 2020;
originally announced April 2020.
-
A model for random braiding in graph configuration spaces
Authors:
David A. Levin,
Eric Ramos,
Benjamin Young
Abstract:
We define and study a model of winding for non-colliding particles in finite trees. We prove that the asymptotic behavior of this statistic satisfies a central limiting theorem, analogous to similar results on winding of bounded particles in the plane. We also propose certain natural open questions and conjectures, whose confirmation would provide new insights on configuration spaces of trees.
We define and study a model of winding for non-colliding particles in finite trees. We prove that the asymptotic behavior of this statistic satisfies a central limiting theorem, analogous to similar results on winding of bounded particles in the plane. We also propose certain natural open questions and conjectures, whose confirmation would provide new insights on configuration spaces of trees.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
The contraction category of graphs
Authors:
Nicholas Proudfoot,
Eric Ramos
Abstract:
We study the category whose objects are graphs of fixed genus and whose morphisms are contractions. We show that the corresponding contravariant module categories are Noetherian and we study two families of modules over these categories. The first takes a graph to a graded piece of the homology of its unordered configuration space and the second takes a graph to an intersection homology group whos…
▽ More
We study the category whose objects are graphs of fixed genus and whose morphisms are contractions. We show that the corresponding contravariant module categories are Noetherian and we study two families of modules over these categories. The first takes a graph to a graded piece of the homology of its unordered configuration space and the second takes a graph to an intersection homology group whose dimension is given by a Kazhdan-Lusztig coefficient; in both cases we prove that the module is finitely generated. This allows us to draw conclusions about torsion in the homology groups of graph configuration spaces, and about the growth of Betti numbers of graph configuration spaces and Kazhdan-Lusztig coefficients of graphical matroids. We also explore the relationship between our category and outer space, which is used in the study of outer automorphisms of free groups.
△ Less
Submitted 17 July, 2020; v1 submitted 25 July, 2019;
originally announced July 2019.
-
Spanning subspace configurations and representation stability
Authors:
Brendan Pawlowski,
Eric Ramos,
Brendon Rhoades
Abstract:
Let $V_1, V_2, V_3, \dots $ be a sequence of $\mathbb{Q}$-vector spaces where $V_n$ carries an action of $\mathfrak{S}_n$ for each $n$. {\em Representation stability} and {\em multiplicity stability} are two related notions of when the sequence $V_n$ has a limit. An important source of stability phenomena arises in the case where $V_n$ is the $d^{th}$ homology group (for fixed $d$) of the configur…
▽ More
Let $V_1, V_2, V_3, \dots $ be a sequence of $\mathbb{Q}$-vector spaces where $V_n$ carries an action of $\mathfrak{S}_n$ for each $n$. {\em Representation stability} and {\em multiplicity stability} are two related notions of when the sequence $V_n$ has a limit. An important source of stability phenomena arises in the case where $V_n$ is the $d^{th}$ homology group (for fixed $d$) of the configuration space of $n$ distinct points in some fixed topological space $X$. We replace these configuration spaces with the variety $X_{n,k}$ of {\em spanning configurations} of $n$-tuples $(\ell_1, \dots, \ell_n)$ of lines in $\mathbb{C}^k$ which satisfy $\ell_1 + \cdots + \ell_n = \mathbb{C}^k$ as vector spaces. We study stability phenomena for the homology groups $H_d(X_{n,k})$ as the parameter $(n,k)$ grows.
△ Less
Submitted 29 July, 2019; v1 submitted 16 July, 2019;
originally announced July 2019.
-
Functorial invariants of trees and their cones
Authors:
Nicholas Proudfoot,
Eric Ramos
Abstract:
We study the category whose objects are trees (with or without roots) and whose morphisms are contractions. We show that the corresponding contravariant module categories are Noetherian, and we study two natural families of modules over these categories. The first takes a tree to a graded piece of the homology of its unordered configuration space, or to the homology of the unordered configuration…
▽ More
We study the category whose objects are trees (with or without roots) and whose morphisms are contractions. We show that the corresponding contravariant module categories are Noetherian, and we study two natural families of modules over these categories. The first takes a tree to a graded piece of the homology of its unordered configuration space, or to the homology of the unordered configuration space of its cone. The second takes a tree to a graded piece of the intersection homology of the reciprocal plane of its cone, which is a vector space whose dimension is given by a Kazhdan-Lusztig coefficient. We prove finite generation results for each of these modules, which allow us to obtain results about the growth of Betti numbers of configuration spaces and of Kazhdan-Lusztig coefficients of graphical matroids.
△ Less
Submitted 23 July, 2019; v1 submitted 25 March, 2019;
originally announced March 2019.
-
Families of Markov chains with compatible symmetric-group actions
Authors:
Eric Ramos,
Graham White
Abstract:
For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $S_n$, such that these actions are compatible. Collections of graphs of…
▽ More
For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $S_n$, such that these actions are compatible. Collections of graphs of this type are common in algebraic combinatorics and include families such as the Johnson Graphs, Crown Graphs and Rook Graphs. In previous work, the authors systematically studied families of this type using the language of representation stability and FI-modules. In that work, it is shown that such families of graphs exhibit a large variety of asymptotic regular behaviors.
The present work applies the theory developed in that previous work, later refined in work of the authors and Speyer, to study random walks on the graphs of such families. We show that the moments of hitting times exhibit rational function behavior asymptotically. By consequence we conclude similar facts about the entries of the discrete Green's functions, as defined by Chung and Yau. Finally, we illustrate how the algebro-combinatorial structure of the graphs in these families give bounds on the mixing times of random walks on those graphs. We suggest some possible directions for future study, including of the appearance, or not, of the cut-off phenomenon, originally presented by Diaconis.
△ Less
Submitted 19 October, 2018;
originally announced October 2018.
-
An application of the theory of FI-algebras to graph configuration spaces
Authors:
Eric Ramos
Abstract:
Recent work of An, Drummond-Cole, and Knudsen, as well as the author, has shown that the homology groups of configuration spaces of graphs can be equipped with the structure of a finitely generated graded module over a polynomial ring. In this work we study this module structure in certain families of graphs using the language of FI-algebras recently explored by Nagel and Römer. As an application…
▽ More
Recent work of An, Drummond-Cole, and Knudsen, as well as the author, has shown that the homology groups of configuration spaces of graphs can be equipped with the structure of a finitely generated graded module over a polynomial ring. In this work we study this module structure in certain families of graphs using the language of FI-algebras recently explored by Nagel and Römer. As an application we prove that the syzygies of the modules in these families exhibit a range of stable behaviors.
△ Less
Submitted 15 May, 2018; v1 submitted 14 May, 2018;
originally announced May 2018.
-
FI-sets with relations
Authors:
Eric Ramos,
David Speyer,
Graham White
Abstract:
Let FI denote the category whose objects are the sets $[n] = \{1,\ldots, n\}$, and whose morphisms are injections. We study functors from the category FI into the category of sets. We write $\mathfrak{S}_n$ for the symmetric group on $[n]$. Our first main result is that, if the functor $[n] \mapsto X_n$ is "finitely generated" there there is a finite sequence of integers $m_i$ and a finite sequenc…
▽ More
Let FI denote the category whose objects are the sets $[n] = \{1,\ldots, n\}$, and whose morphisms are injections. We study functors from the category FI into the category of sets. We write $\mathfrak{S}_n$ for the symmetric group on $[n]$. Our first main result is that, if the functor $[n] \mapsto X_n$ is "finitely generated" there there is a finite sequence of integers $m_i$ and a finite sequence of subgroups $H_i$ of $\mathfrak{S}_{m_i}$ such that, for $n$ sufficiently large, $X_n \cong \bigsqcup_i \mathfrak{S}_n/(H_i \times \mathfrak{S}_{n-m_i})$ as a set with $\mathfrak{S}_n$ action. Our second main result is that, if $[n] \mapsto X_n$ and $[n] \mapsto Y_n$ are two such finitely generated functors and $R_n \subset X_n \times Y_n$ is an FI-invariant family of relations, then the $(0,1)$ matrices encoding the relation $R_n$, when written in an appropriate basis, vary polynomially with $n$. In particular, if $R_n$ is an FI-invariant family of relations from $X_n$ to itself, then the eigenvalues of this matrix are algebraic functions of $n$. As an application of this theorem we provide a proof of a result about eigenvalues of adjacency matrices claimed by the first and last author. This result recovers, for instance, that the adjacency matrices of the Kneser graphs have eigenvalues which are algebraic functions of $n$, while also expanding this result to a larger family of graphs.
△ Less
Submitted 12 April, 2018; v1 submitted 11 April, 2018;
originally announced April 2018.
-
Local cohomology and the multi-graded regularity of FI$^m$-modules
Authors:
Liping Li,
Eric Ramos
Abstract:
We develop a local cohomology theory for FI$^m$-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI$^m$-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant b…
▽ More
We develop a local cohomology theory for FI$^m$-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI$^m$-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant behaves almost identically to the invariant of Maclagan and Smith.
△ Less
Submitted 21 November, 2017;
originally announced November 2017.
-
Families of nested graphs with compatible symmetric-group actions
Authors:
Eric Ramos,
Graham White
Abstract:
For fixed positive integers $n$ and $k$, the Kneser graph $KG_{n,k}$ has vertices labeled by $k$-element subsets of $\{1,2,\dots,n\}$ and edges between disjoint sets. Keeping $k$ fixed and allowing $n$ to grow, one obtains a family of nested graphs, each of which is acted on by a symmetric group in a way which is compatible with all of the other actions. In this paper, we provide a framework for s…
▽ More
For fixed positive integers $n$ and $k$, the Kneser graph $KG_{n,k}$ has vertices labeled by $k$-element subsets of $\{1,2,\dots,n\}$ and edges between disjoint sets. Keeping $k$ fixed and allowing $n$ to grow, one obtains a family of nested graphs, each of which is acted on by a symmetric group in a way which is compatible with all of the other actions. In this paper, we provide a framework for studying families of this kind using the FI-module theory of Church, Ellenberg, and Farb, and show that this theory has a variety of asymptotic consequences for such families of graphs. These consequences span a range of topics including enumeration, concerning counting occurrences of subgraphs, topology, concerning Hom-complexes and configuration spaces of the graphs, and algebra, concerning the changing behaviors in the graph spectra.
△ Less
Submitted 22 November, 2017; v1 submitted 20 November, 2017;
originally announced November 2017.
-
Asymptotic behaviors in the homology of symmetric group and finite general linear group quandles
Authors:
Eric Ramos
Abstract:
A quandle is an algebraic structure which attempts to generalize group conjugation. These structures have been studied extensively due to their connections with knot theory, algebraic combinatorics, and other fields. In this work, we approach the study of quandles from the perspective of the representation theory of categories. Namely, we look at collections of conjugacy classes of the symmetric g…
▽ More
A quandle is an algebraic structure which attempts to generalize group conjugation. These structures have been studied extensively due to their connections with knot theory, algebraic combinatorics, and other fields. In this work, we approach the study of quandles from the perspective of the representation theory of categories. Namely, we look at collections of conjugacy classes of the symmetric groups and the finite general linear groups, and prove that they carry the structure of FI-quandles (resp. VIC$(q)$-quandles). As applications, we prove statements about the homology of these quandles, and construct FI-module and VIC$(q)$-module invariants of links.
△ Less
Submitted 12 June, 2017; v1 submitted 8 June, 2017;
originally announced June 2017.
-
Configuration spaces of graphs with certain permitted collisions
Authors:
Eric Ramos
Abstract:
If $G$ is a graph with vertex set $V$, let Conf$_n^{\text{sink}}(G,V)$ be the space of $n$-tuples of points on $G$, which are only allowed to overlap on elements of $V$. We think of Conf$_n^{\text{sink}}(G,V)$ as a configuration space of points on $G$, where points are allowed to collide on vertices. In this paper, we attempt to understand these spaces from two separate, but closely related, persp…
▽ More
If $G$ is a graph with vertex set $V$, let Conf$_n^{\text{sink}}(G,V)$ be the space of $n$-tuples of points on $G$, which are only allowed to overlap on elements of $V$. We think of Conf$_n^{\text{sink}}(G,V)$ as a configuration space of points on $G$, where points are allowed to collide on vertices. In this paper, we attempt to understand these spaces from two separate, but closely related, perspectives. Using techniques of combinatorial topology we compute the fundamental groups and homology groups of Conf$_n^{\text{sink}}(G,V)$ in the case where $G$ is a tree. Next, we use techniques of asymptotic algebra to prove statements about Conf$_n^{\text{sink}}(G,V)$, for general graphs $G$, whenever $n$ is sufficiently large. It is proven that, for general graphs, the homology groups exhibit generalized representation stability in the sense of previous work of the author.
△ Less
Submitted 17 April, 2017; v1 submitted 16 March, 2017;
originally announced March 2017.
-
Stability phenomena in the homology of tree braid groups
Authors:
Eric Ramos
Abstract:
For a tree $G$, we study the changing behaviors in the homology groups $H_i(B_nG)$ as $n$ varies, where $B_nG := π_1($UConf$_n(G))$. We prove that the ranks of these homologies can be described by a single polynomial for all $n$, and construct this polynomial explicitly in terms of invariants of the tree $G$. To accomplish this we prove that the group $\bigoplus_n H_i(B_nG)$ can be endowed with th…
▽ More
For a tree $G$, we study the changing behaviors in the homology groups $H_i(B_nG)$ as $n$ varies, where $B_nG := π_1($UConf$_n(G))$. We prove that the ranks of these homologies can be described by a single polynomial for all $n$, and construct this polynomial explicitly in terms of invariants of the tree $G$. To accomplish this we prove that the group $\bigoplus_n H_i(B_nG)$ can be endowed with the structure of a finitely generated graded module over an integral polynomial ring, and further prove that it naturally decomposes as a direct sum of graded shifts of squarefree monomial ideals. Following this, we spend time considering how our methods might be generalized to braid groups of arbitrary graphs, and make various conjectures in this direction.
△ Less
Submitted 19 September, 2016;
originally announced September 2016.
-
On the degree-wise coherence of FI_G-modules
Authors:
Eric Ramos
Abstract:
In this work we study a kind of coherence condition on FI_G-modules, which generalizes the usual notion of finite generation. We prove that a module is coherent, in the appropriate sense, if and only if its generators, as well as its torsion, appears in only finitely many degrees. Using this technical result, we prove that the category of coherent FI_G-modules is abelian, independent of any assump…
▽ More
In this work we study a kind of coherence condition on FI_G-modules, which generalizes the usual notion of finite generation. We prove that a module is coherent, in the appropriate sense, if and only if its generators, as well as its torsion, appears in only finitely many degrees. Using this technical result, we prove that the category of coherent FI_G-modules is abelian, independent of any assumptions on the group G, or the coefficient ring k. Following this, we consider applications towards the local cohomology theory of FI_G-modules, introduced by Li and the author in previous work.
△ Less
Submitted 14 June, 2016;
originally announced June 2016.
-
Generalized Representation Stability and FI_d-modules
Authors:
Eric Ramos
Abstract:
In this note we consider the complex representation theory of FI_d, a natural generalization of the category FI of finite sets and injections. We prove that finitely generated FI_d-modules exhibit behaviors in the spirit of Church-Farb representation stability theory, generalizing a theorem of Church, Ellenberg, and Farb which connects finite generation of FI-modules to representation stability.
In this note we consider the complex representation theory of FI_d, a natural generalization of the category FI of finite sets and injections. We prove that finitely generated FI_d-modules exhibit behaviors in the spirit of Church-Farb representation stability theory, generalizing a theorem of Church, Ellenberg, and Farb which connects finite generation of FI-modules to representation stability.
△ Less
Submitted 13 October, 2016; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Depth and the Local Cohomology of FI_G-modules
Authors:
Liping Li,
Eric Ramos
Abstract:
In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the second author coincides with a more classical invariant from commutative algebra, and obtain upper bounds of a few important invariants of FI_G-modules in term…
▽ More
In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the second author coincides with a more classical invariant from commutative algebra, and obtain upper bounds of a few important invariants of FI_G-modules in terms of torsion degrees of their local cohomology groups.
△ Less
Submitted 8 October, 2016; v1 submitted 13 February, 2016;
originally announced February 2016.
-
Homological Invariants of FI-modules and FI_G-modules
Authors:
Eric Ramos
Abstract:
We explore a theory of depth for FI_G-modules which are presented in finite degrees. Using this theory, we prove results about the regularity, and provide novel bounds on stable ranges of FI-modules, making effective a theorem of Nagpal and thereby refining the stable range in results of Church, Ellenberg, and Farb.
We explore a theory of depth for FI_G-modules which are presented in finite degrees. Using this theory, we prove results about the regularity, and provide novel bounds on stable ranges of FI-modules, making effective a theorem of Nagpal and thereby refining the stable range in results of Church, Ellenberg, and Farb.
△ Less
Submitted 15 February, 2016; v1 submitted 12 November, 2015;
originally announced November 2015.
-
The Alexander and Jones Polynomials Through Representations of Rook Algebras
Authors:
Stephen Bigelow,
Eric Ramos,
Ren Yi
Abstract:
In the 1920's Artin defined the braid group in an attempt to understand knots in a more algebraic setting. A braid is a certain arrangement of strings in three-dimensional space. It is a celebrated theorem of Alexander that every knot is obtainable from a braid by identifying the endpoints of each string. Because of this correspondence, the Jones and Alexander polynomials, two of the most importan…
▽ More
In the 1920's Artin defined the braid group in an attempt to understand knots in a more algebraic setting. A braid is a certain arrangement of strings in three-dimensional space. It is a celebrated theorem of Alexander that every knot is obtainable from a braid by identifying the endpoints of each string. Because of this correspondence, the Jones and Alexander polynomials, two of the most important knot invariants, can be described completely using the braid group. There has been a recent growth of interest in other diagrammatic algebras, whose elements have a similar topological flavor to the braid group. These have wide ranging applications in areas including representation theory and quantum computation. We consider representations of the braid group when passed through another diagrammatic algebra, the planar rook algebra. By studying traces of these matrices, we recover both the Jones and Alexander polynomials.
△ Less
Submitted 3 October, 2011;
originally announced October 2011.
-
Well-Centered Triangulation
Authors:
Evan VanderZee,
Anil N. Hirani,
Damrong Guoy,
Edgar Ramos
Abstract:
Meshes composed of well-centered simplices have nice orthogonal dual meshes (the dual Voronoi diagram). This is useful for certain numerical algorithms that prefer such primal-dual mesh pairs. We prove that well-centered meshes also have optimality properties and relationships to Delaunay and minmax angle triangulations. We present an iterative algorithm that seeks to transform a given triangula…
▽ More
Meshes composed of well-centered simplices have nice orthogonal dual meshes (the dual Voronoi diagram). This is useful for certain numerical algorithms that prefer such primal-dual mesh pairs. We prove that well-centered meshes also have optimality properties and relationships to Delaunay and minmax angle triangulations. We present an iterative algorithm that seeks to transform a given triangulation in two or three dimensions into a well-centered one by minimizing a cost function and moving the interior vertices while keeping the mesh connectivity and boundary vertices fixed. The cost function is a direct result of a new characterization of well-centeredness in arbitrary dimensions that we present. Ours is the first optimization-based heuristic for well-centeredness, and the first one that applies in both two and three dimensions. We show the results of applying our algorithm to small and large two-dimensional meshes, some with a complex boundary, and obtain a well-centered tetrahedralization of the cube. We also show numerical evidence that our algorithm preserves gradation and that it improves the maximum and minimum angles of acute triangulations created by the best known previous method.
△ Less
Submitted 18 August, 2009; v1 submitted 14 February, 2008;
originally announced February 2008.
-
The Constrained KP Hierarchy and the Generalised Miura Transformation
Authors:
Javier Mas,
Eduardo Ramos
Abstract:
Recently much attention has been paid to the restriction of KP to the submanifold of operators which can be represented as a ratio of two purely differential operators L=AB^{-1}. Whereas most of the aspects concerning this reduced hierarchy, like the Lax flows and the Hamiltonians, are by now well understood, there still lacks a clear and conclusive statement about the associated Poisson structu…
▽ More
Recently much attention has been paid to the restriction of KP to the submanifold of operators which can be represented as a ratio of two purely differential operators L=AB^{-1}. Whereas most of the aspects concerning this reduced hierarchy, like the Lax flows and the Hamiltonians, are by now well understood, there still lacks a clear and conclusive statement about the associated Poisson structure. We fill this gap by placing the problem in a more general framework and then showing how the required result follows from an interesting property of the second Gelfand-Dickey brackets under multiplication and inversion of Lax operators. As a byproduct we give an elegant and simple proof of the generalised Kupershmidt-Wilson theorem.
△ Less
Submitted 31 January, 1995; v1 submitted 12 January, 1995;
originally announced January 1995.
-
Diffeomorphisms from higher dimensional W-algebras
Authors:
Fernando Martinez Moras,
Javier Mas,
Eduardo Ramos
Abstract:
Classical W-algebras in higher dimensions have been recently constructed. In this letter we show that there is a finitely generated subalgebra which is isomorphic to the algebra of local diffeomorphisms in D dimensions. Moreover, there is a tower of infinitely many fields transforming under this subalgebra as symmetric tensorial one-densities. We also unravel a structure isomorphic to the Schout…
▽ More
Classical W-algebras in higher dimensions have been recently constructed. In this letter we show that there is a finitely generated subalgebra which is isomorphic to the algebra of local diffeomorphisms in D dimensions. Moreover, there is a tower of infinitely many fields transforming under this subalgebra as symmetric tensorial one-densities. We also unravel a structure isomorphic to the Schouten symmetric bracket, providing a natural generalization of w_\infty in higher dimensions.
△ Less
Submitted 5 March, 1993;
originally announced March 1993.
