-
Degree of $h$-polynomials of edge ideals
Authors:
Jennifer Biermann,
Selvi Kara,
Augustine O'Keefe,
Joseph Skelton,
Gabriel Sosa
Abstract:
In this paper, we investigate the degree of $h$-polynomials of edge ideals of finite simple graphs. In particular, we provide combinatorial formulas for the degree of the $h$-polynomial for various fundamental classes of graphs such as paths, cycles, and bipartite graphs. To the best of our knowledge, this marks the first investigation into the combinatorial interpretation of this algebraic invari…
▽ More
In this paper, we investigate the degree of $h$-polynomials of edge ideals of finite simple graphs. In particular, we provide combinatorial formulas for the degree of the $h$-polynomial for various fundamental classes of graphs such as paths, cycles, and bipartite graphs. To the best of our knowledge, this marks the first investigation into the combinatorial interpretation of this algebraic invariant. Additionally, we characterize all connected graphs in which the sum of the Castelnuovo-Mumford regularity and the degree of the $h$-polynomial of an edge ideal reaches its maximum value, which is the number of vertices in the graph.
△ Less
Submitted 23 August, 2024; v1 submitted 22 August, 2024;
originally announced August 2024.
-
From operculum and body tail movements to different coupling of physical activity and respiratory frequency in farmed gilthead sea bream and European sea bass. Insights on aquaculture biosensing
Authors:
Miguel A. Ferrer,
Josep A. Calduch-Giner,
Moises Díaz,
Javier Sosa,
Enrique Rosell-Moll,
Judith Santana Abril,
Graciela Santana Sosa,
Tomás Bautista Delgado,
Cristina Carmona,
Juan Antonio Martos-Sitcha,
Enric Cabruja,
Juan Manuel Afonso,
Aurelio Vega,
Manuel Lozano,
Juan Antonio Montiel-Nelson,
Jaume Pérez-Sánchez
Abstract:
The AEFishBIT tri-axial accelerometer was externally attached to the operculum to assess the divergent activity and respiratory patterns of two marine farmed fish, the gilthead sea bream (Sparus aurata) and European sea bass (Dicentrarchus labrax). Analysis of raw data from exercised fish highlighted the large amplitude of operculum aperture and body tail movements in European sea bass, which were…
▽ More
The AEFishBIT tri-axial accelerometer was externally attached to the operculum to assess the divergent activity and respiratory patterns of two marine farmed fish, the gilthead sea bream (Sparus aurata) and European sea bass (Dicentrarchus labrax). Analysis of raw data from exercised fish highlighted the large amplitude of operculum aperture and body tail movements in European sea bass, which were overall more stable at low-medium exercise intensity levels. Cosinor analysis in free-swimming fish (on-board data processing) highlighted a pronounced daily rhythmicity of locomotor activity and respiratory frequency in both gilthead sea bream and European sea bass. Acrophases of activity and respiration were coupled in gilthead sea bream, acting feeding time (once daily at 11:00 h) as a main synchronizing factor. By contrast, locomotor activity and respiratory frequency were out of phase in European sea bass with activity acrophase on early morning and respiration acrophase on the afternoon. The daily range of activity and respiration variation was also higher in European sea bass, probably as part of the adaptation of this fish species to act as a fast swimming predator. In any case, lower locomotor activity and enhanced respiration were associated with larger body weight in both fish species. This agrees with the notion that selection for fast growth in farming conditions is accompanied by a lower activity profile, which may favor an efficient feed conversion for growth purposes. Therefore, the use of behavioral monitoring is becoming a reliable and large-scale promising tool for selecting more efficient farmed fish, allowing researchers and farmers to establish stricter criteria of welfare for more sustainable and ethical fish production.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Particle Physics at the European Spallation Source
Authors:
H. Abele,
A. Alekou,
A. Algora,
K. Andersen,
S. Baessler,
L. Barron-Palos,
J. Barrow,
E. Baussan,
P. Bentley,
Z. Berezhiani,
Y. Bessler,
A. K. Bhattacharyya,
A. Bianchi,
J. Bijnens,
C. Blanco,
N. Blaskovic Kraljevic,
M. Blennow,
K. Bodek,
M. Bogomilov,
C. Bohm,
B. Bolling,
E. Bouquerel,
G. Brooijmans,
L. J. Broussard,
O. Buchan
, et al. (154 additional authors not shown)
Abstract:
Presently under construction in Lund, Sweden, the European Spallation Source (ESS) will be the world's brightest neutron source. As such, it has the potential for a particle physics program with a unique reach and which is complementary to that available at other facilities. This paper describes proposed particle physics activities for the ESS. These encompass the exploitation of both the neutrons…
▽ More
Presently under construction in Lund, Sweden, the European Spallation Source (ESS) will be the world's brightest neutron source. As such, it has the potential for a particle physics program with a unique reach and which is complementary to that available at other facilities. This paper describes proposed particle physics activities for the ESS. These encompass the exploitation of both the neutrons and neutrinos produced at the ESS for high precision (sensitivity) measurements (searches).
△ Less
Submitted 30 January, 2024; v1 submitted 18 November, 2022;
originally announced November 2022.
-
Convergence of metric measure spaces satisfying the CD condition for negative values of the dimension parameter
Authors:
Mattia Magnabosco,
Chiara Rigoni,
Gerardo Sosa
Abstract:
We study the problem of whether the curvature-dimension condition with negative values of the generalized dimension parameter is stable under a suitable notion of convergence. To this purpose, first of all we introduce an appropriate setting to introduce the CD(K, N)-condition for $N < 0$, allowing metric measure structures in which the reference measure is quasi-Radon. Then in this class of space…
▽ More
We study the problem of whether the curvature-dimension condition with negative values of the generalized dimension parameter is stable under a suitable notion of convergence. To this purpose, first of all we introduce an appropriate setting to introduce the CD(K, N)-condition for $N < 0$, allowing metric measure structures in which the reference measure is quasi-Radon. Then in this class of spaces we introduce the distance $d_{\mathsf{iKRW}}$, which extends the already existing notions of distance between metric measure spaces. Finally, we prove that if a sequence of metric measure spaces satisfying the CD(K, N)-condition with $N < 0$ is converging with respect to the distance $d_{\mathsf{iKRW}}$ to some metric measure space, then this limit structure is still a CD(K, N) space.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Multi-Rees Algebras of Strongly Stable Ideals
Authors:
Selvi Kara,
Kuei-Nuan Lin,
Gabriel Sosa
Abstract:
We prove that the multi-Rees algebra $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ of a collection of strongly stable ideals $I_1, \ldots, I_r$ is of fiber type. In particular, we provide a Gröbner basis for its defining ideal as a union of a Gröbner basis for its special fiber and binomial syzygies. We also study the Koszulness of $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ based on parameters asso…
▽ More
We prove that the multi-Rees algebra $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ of a collection of strongly stable ideals $I_1, \ldots, I_r$ is of fiber type. In particular, we provide a Gröbner basis for its defining ideal as a union of a Gröbner basis for its special fiber and binomial syzygies. We also study the Koszulness of $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ based on parameters associated to the collection. Furthermore, we establish a quadratic Gröbner basis of the defining ideal of $\mathcal{R}(I_1 \oplus I_2)$ where each of the strongly stable ideals has two quadric Borel generators. As a consequence, we conclude that this multi-Rees algebra is Koszul.
△ Less
Submitted 8 November, 2022; v1 submitted 30 December, 2020;
originally announced December 2020.
-
Multi-Rees Algebras and Toric Dynamical Systems
Authors:
David A. Cox,
Kuei-Nuan Lin,
Gabriel Sosa
Abstract:
This paper explores the relation between multi-Rees algebras and ideals that arise in the study of toric dynamical systems from the theory of chemical reaction networks.
This paper explores the relation between multi-Rees algebras and ideals that arise in the study of toric dynamical systems from the theory of chemical reaction networks.
△ Less
Submitted 6 February, 2019; v1 submitted 21 June, 2018;
originally announced June 2018.
-
The Rees algebra of a two-Borel ideal is Koszul
Authors:
Michael DiPasquale,
Christopher A. Francisco,
Jeffrey Mermin,
Jay Schweig,
Gabriel Sosa
Abstract:
Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.
Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.
△ Less
Submitted 22 June, 2017;
originally announced June 2017.
-
On quotients of spaces with Ricci curvature bounded below
Authors:
Fernando Galaz-García,
Martin Kell,
Andrea Mondino,
Gerardo Sosa
Abstract:
Let $(M,g)$ be a smooth Riemannian manifold and $\mathsf{G}$ a compact Lie group acting on $M$ effectively and by isometries. It is well known that a lower bound of the sectional curvature of $(M,g)$ is again a bound for the curvature of the quotient space, which is an Alexandrov space of curvature bounded below. Moreover, the analogous stability property holds for metric foliations and submersion…
▽ More
Let $(M,g)$ be a smooth Riemannian manifold and $\mathsf{G}$ a compact Lie group acting on $M$ effectively and by isometries. It is well known that a lower bound of the sectional curvature of $(M,g)$ is again a bound for the curvature of the quotient space, which is an Alexandrov space of curvature bounded below. Moreover, the analogous stability property holds for metric foliations and submersions.
The goal of the paper is to prove the corresponding stability properties for synthetic Ricci curvature lower bounds. Specifically, we show that such stability holds for quotients of $\mathsf{RCD}^{*}(K,N)$-spaces, under isomorphic compact group actions and more generally under metric-measure foliations and submetries. An $\mathsf{RCD}^{*}(K,N)$-space is a metric measure space with an upper dimension bound $N$ and weighted Ricci curvature bounded below by $K$ in a generalized sense. In particular, this shows that if $(M,g)$ has Ricci curvature bounded below by $K\in \mathbb{R}$ and dimension $N$, then the quotient space is an $\mathsf{RCD}^{*}(K,N)$-space. Additionally, we tackle the same problem for the $\mathsf{CD}/\mathsf{CD}^*$ and $\mathsf{MCP}$ curvature-dimension conditions.
We provide as well geometric applications which include: A generalization of Kobayashi's Classification Theorem of homogenous manifolds to $\mathsf{RCD}^{*}(K,N)$-spaces with essential minimal dimension $n\leq N$; a structure theorem for $\mathsf{RCD}^{*}(K,N)$-spaces admitting actions by large (compact) groups; and geometric rigidity results for orbifolds such as Cheng's Maximal Diameter and Maximal Volume Rigidity Theorems.
Finally, in two appendices we apply the methods of the paper to study quotients by isometric group actions of discrete spaces and of (super-)Ricci flows.
△ Less
Submitted 18 April, 2017;
originally announced April 2017.
-
Detecting Koszulness and related homological properties from the algebra structure of Koszul homology
Authors:
Amanda Croll,
Roger Dellaca,
Anjan Gupta,
Justin Hoffmeier,
Vivek Mukundan,
Denise Rangel Tracy,
Liana M. Şega,
Gabriel Sosa,
Peder Thompson
Abstract:
Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show…
▽ More
Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show that certain conditions on the multiplicative structure of Koszul homology imply strong homological properties, such as existence of certain Golod homomorphisms, leading to explicit computations of Poincaré series. As an application, we show that the Poincaré series of all finitely generated modules over a stretched Cohen-Macaulay local ring are rational, sharing a common denominator.
△ Less
Submitted 18 September, 2017; v1 submitted 12 November, 2016;
originally announced November 2016.
-
The isometry group of an $\mathsf{RCD}^*$-space is Lie
Authors:
Gerardo Sosa
Abstract:
We give necessary and sufficient conditions that show that both the group of isometries and the group of measure-preserving isometries are Lie groups for a large class of metric measure spaces. In addition we study, among other examples, whether spaces having a generalized lower Ricci curvature bound fulfill these requirements. The conditions are satisfied by RCD*-spaces and, under extra assumptio…
▽ More
We give necessary and sufficient conditions that show that both the group of isometries and the group of measure-preserving isometries are Lie groups for a large class of metric measure spaces. In addition we study, among other examples, whether spaces having a generalized lower Ricci curvature bound fulfill these requirements. The conditions are satisfied by RCD*-spaces and, under extra assumptions, by CD-spaces, CD*-spaces, and MCP-spaces. However, we show that the MCP-condition by itself is not enough to guarantee a smooth behavior of these automorphism groups. More generally we show that spaces with good optimal transport properties meet as well the hypotheses.
△ Less
Submitted 17 April, 2017; v1 submitted 7 September, 2016;
originally announced September 2016.
-
Betti numbers of piecewiselex ideals
Authors:
Christina Jamroz,
Gabriel Sosa
Abstract:
We extend a result of Caviglia and Sbarra to a polynomial ring with base field of any characteristic. Given a homogeneous ideal containing both a piecewise lex ideal and an ideal generated by powers of the variables, we find a lex ideal with the following property: the ideal in the polynomial ring generated by the piecewise lex ideal, the ideal of powers, and the lex ideal has the same Hilbert fun…
▽ More
We extend a result of Caviglia and Sbarra to a polynomial ring with base field of any characteristic. Given a homogeneous ideal containing both a piecewise lex ideal and an ideal generated by powers of the variables, we find a lex ideal with the following property: the ideal in the polynomial ring generated by the piecewise lex ideal, the ideal of powers, and the lex ideal has the same Hilbert function and Betti numbers at least as large as those of the original ideal.
△ Less
Submitted 29 February, 2016; v1 submitted 17 February, 2015;
originally announced February 2015.
-
Distinct monomial orders with same induced orderings
Authors:
Gabriel Sosa
Abstract:
We prove that the lexicographic, degree lexicographic and the degree reverse lexicographic orders for monomials in $R_n=K[X_1,...X_n]$ are uniquely determined by their induced orderings, (i.e. their restrictions to $R_{n,i}=K[X_1,..., \hat{X_i}, .., X_n]$), when $n \geq 4$. We also show that for any $n \geq 4$ there are monomial orders that are not uniquely determined by their induced orderings, a…
▽ More
We prove that the lexicographic, degree lexicographic and the degree reverse lexicographic orders for monomials in $R_n=K[X_1,...X_n]$ are uniquely determined by their induced orderings, (i.e. their restrictions to $R_{n,i}=K[X_1,..., \hat{X_i}, .., X_n]$), when $n \geq 4$. We also show that for any $n \geq 4$ there are monomial orders that are not uniquely determined by their induced orderings, and provide examples of these orders for each $n$.
△ Less
Submitted 24 September, 2014;
originally announced September 2014.
-
On the Koszulness of multi-Rees algebras of certain strongly stable ideals
Authors:
Gabriel Sosa
Abstract:
Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gröbner basis for the defining ideals of these multi-Rees algebras with squarefree initial monomials, to show that they are also normal Cohen-Macaulay domains.
Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gröbner basis for the defining ideals of these multi-Rees algebras with squarefree initial monomials, to show that they are also normal Cohen-Macaulay domains.
△ Less
Submitted 9 June, 2014;
originally announced June 2014.
-
High Resolution Images of Orbital Motion in the Trapezium Cluster: First Scientific Results from the MMT Deformable Secondary Mirror Adaptive Optics System
Authors:
Laird M. Close,
Francois Wildi,
Michael Lloyd-Hart,
Guido Brusa,
Don Fisher,
Doug Miller,
Armando Riccardi,
Piero Salinari,
Donald W. McCarthy,
Roger Angel,
Rich Allen,
H. M. Martin,
Richard G. Sosa,
Manny Montoya,
Matt Rademacher,
Mario Rascon,
Dylan Curley,
Nick Siegler,
Wolfgang J. Duschl
Abstract:
We present the first scientific images obtained with a deformable secondary mirror adaptive optics system. We utilized the 6.5m MMT AO system to produce high-resolution (FWHM=0.07'') near infrared (1.6 um) images of the young (~1 Myr) Orion Trapezium theta 1 Ori cluster members. A combination of high spatial resolution and high signal to noise allowed the positions of these stars to be measured…
▽ More
We present the first scientific images obtained with a deformable secondary mirror adaptive optics system. We utilized the 6.5m MMT AO system to produce high-resolution (FWHM=0.07'') near infrared (1.6 um) images of the young (~1 Myr) Orion Trapezium theta 1 Ori cluster members. A combination of high spatial resolution and high signal to noise allowed the positions of these stars to be measured to within ~0.003'' accuracies. Including previous speckle data (Weigelt et al. 1999), we analyze a six year baseline of high-resolution observations of this cluster. Over this baseline we are sensitive to relative proper motions of only ~0.002''/yr (4.2 km/s at 450 pc). At such sensitivities we detect orbital motion in the very tight theta 1 Ori B2B3 (52 AU separation) and theta 1 Ori A1A2 (94 AU separation) systems. Such motions are consistent with those independently observed by Schertl et al. (2003) with speckle interferometry, giving us confidence that these very small (~0.002''/yr) orbital motions are real. All five members of the theta 1 Ori B system appear likely gravitationally bound. The very lowest mass member of the theta 1 Ori B system (B4) has K' ~11.66 and an estimated mass of ~0.2 Msun. There was very little motion (4+/-15 km/s) detected of B4 w.r.t B1 or B2, hence B4 is possibly part of the theta 1 Ori B group. We suspect that if this very low mass member is physically associated it most likely is in an unstable (non-hierarchical) orbital position and will soon be ejected from the group. The theta 1 Ori B system appears to be a good example of a star formation ``mini-cluster'' which may eject the lowest mass members of the cluster in the near future. This ``ejection'' process could play a major role in the formation of low mass stars and brown dwarfs.
△ Less
Submitted 29 August, 2003;
originally announced September 2003.