Showing 1–10 of 10 results for author: Miyata, D

Categorical valuative invariants of polyhedra and matroids

Authors: Ben Elias, Dane Miyata, Nicholas Proudfoot, Lorenzo Vecchi

Abstract: We introduce the notion of a categorical valuative invariant of polyhedra or matroids, in which alternating sums of numerical invariants are replaced by split exact sequences in an additive category. We provide categorical lifts of a number of valuative invariants of matroids, including the Poincare polynomial, the Chow and augmented Chow polynomials, and certain two-variable extensions of the Kaz… ▽ More We introduce the notion of a categorical valuative invariant of polyhedra or matroids, in which alternating sums of numerical invariants are replaced by split exact sequences in an additive category. We provide categorical lifts of a number of valuative invariants of matroids, including the Poincare polynomial, the Chow and augmented Chow polynomials, and certain two-variable extensions of the Kazhdan--Lusztig polynomial and Z-polynomial. These lifts allow us to perform calculations equivariantly with respect to automorphism groups of matroids. △ Less

Submitted 30 January, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

MSC Class: 05B35; 52B45

Ehrhart Theory of Paving and Panhandle Matroids

Authors: Derek Hanely, Jeremy L. Martin, Daniel McGinnis, Dane Miyata, George D. Nasr, Andrés R. Vindas-Meléndez, Mei Yin

Abstract: We show that the base polytope $P_M$ of any paving matroid $M$ can be systematically obtained from a hypersimplex by slicing off certain subpolytopes, namely base polytopes of lattice path matroids corresponding to panhandle-shaped Ferrers diagrams. We calculate the Ehrhart polynomials of these matroids and consequently write down the Ehrhart polynomial of $P_M$, starting with Katzman's formula fo… ▽ More We show that the base polytope $P_M$ of any paving matroid $M$ can be systematically obtained from a hypersimplex by slicing off certain subpolytopes, namely base polytopes of lattice path matroids corresponding to panhandle-shaped Ferrers diagrams. We calculate the Ehrhart polynomials of these matroids and consequently write down the Ehrhart polynomial of $P_M$, starting with Katzman's formula for the Ehrhart polynomial of a hypersimplex. The method builds on and generalizes Ferroni's work on sparse paving matroids. Combinatorially, our construction corresponds to constructing a uniform matroid from a paving matroid by iterating the operation of stressed-hyperplane relaxation introduced by Ferroni, Nasr, and Vecchi, which generalizes the standard matroid-theoretic notion of circuit-hyperplane relaxation. We present evidence that panhandle matroids are Ehrhart positive and describe a conjectured combinatorial formula involving chain forests and Eulerian numbers from which Ehrhart positivity of panhandle matroids will follow. As an application of the main result, we calculate the Ehrhart polynomials of matroids associated with Steiner systems and finite projective planes, and show that they depend only on their design-theoretic parameters: for example, while projective planes of the same order need not have isomorphic matroids, their base polytopes must be Ehrhart equivalent. △ Less

Submitted 25 July, 2023; v1 submitted 28 January, 2022; originally announced January 2022.

Comments: 30 pages, 1 Figure, to appear in Advances in Geometry

MSC Class: 05B35; 52B40 (Primary); 05B25 (Secondary)

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.

MSC Class: 05B35 (Primary) 14N20; 20F55; 55N33; 55R80 (Secondary)

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.

Comments: Major Revision: Due to the gap found in the proof of the categorical graph minor theorem, this paper has been rewritten to prove a weaker version of that theorem. arXiv admin note: text overlap with arXiv:2004.05544

Deletion and contraction in configuration spaces of graphs

Authors: Sanjana Agarwal, Maya Banks, Nir Gadish, Dane Miyata

Abstract: The aim of this article is to provide space level maps between configuration spaces of graphs that are predicted by algebraic manipulations of cellular chains. More explicitly, we consider edge contraction and half-edge deletion, and identify the homotopy cofibers in terms of configuration spaces of simpler graphs. The construction's main benefit lies in making the operations functorial - in parti… ▽ More The aim of this article is to provide space level maps between configuration spaces of graphs that are predicted by algebraic manipulations of cellular chains. More explicitly, we consider edge contraction and half-edge deletion, and identify the homotopy cofibers in terms of configuration spaces of simpler graphs. The construction's main benefit lies in making the operations functorial - in particular, graph minors give rise to compatible maps at the level of fundamental groups as well as generalized (co)homology theories. As applications we provide a long exact sequence for half-edge deletion in any generalized cohomology theory, compatible with cohomology operations such as the Steenrod and Adams operations, allowing for inductive calculations in this general context. We also show that the generalized homology of unordered configuration spaces is finitely generated as a representation of the opposite graph minor category. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: 8 pages

MSC Class: 55R80 (Primary) 05C10; 20F36 (Secondary)

Journal ref: Algebr. Geom. Topol. 21 (2021) 3663-3674

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.

Comments: A gap has been discovered in the proof the main theorem, and specifically in the justification for Lemma 3.5. For now, the Categorical graph minor theorem will remain a conjecture. One can view the applications of this work to graph configuration spaces as being consequences of this conjecture, as their proofs are unaffected by the gap

Particle creation in gravitational collapse to a horizonless compact object

Authors: Tomohiro Harada, Vitor Cardoso, Daiki Miyata

Abstract: Black holes (BHs) play a central role in physics. However, gathering observational evidence for their existence is a notoriously difficult task. Current strategies to quantify the evidence for BHs all boil down to looking for signs of highly compact, horizonless bodies. Here, we study particle creation by objects which collapse to form ultra-compact configurations, with surface at an areal radius… ▽ More Black holes (BHs) play a central role in physics. However, gathering observational evidence for their existence is a notoriously difficult task. Current strategies to quantify the evidence for BHs all boil down to looking for signs of highly compact, horizonless bodies. Here, we study particle creation by objects which collapse to form ultra-compact configurations, with surface at an areal radius $R=R_{f}$ satisfying $1-(2M/R_{f})= ε^{2}\ll 1$ with $M$ the object mass. We assume that gravitational collapse proceeds in a `standard' manner until $R=R_{f}+2M ε^{2β}$, where $β>0$, and then slows down to form a static object of radius $R_{f}$. In the standard collapsing phase, Hawking-like thermal radiation is emitted, which is as strong as the Hawking radiation of a BH with the same mass but lasts only for $\sim 40~(M/M_{\odot})[44+\ln (10^{-19}/ε)]~μ\mbox{s}$. Thereafter, in a very large class of models, there exist two bursts of radiation separated by a very long dormant stage. The first burst occurs at the end of the transient Hawking radiation, and is followed by a quiescent stage which lasts for $\sim 6\times 10^{6}~(ε/10^{-19})^{-1}(M/M_{\odot})~\mbox{yr}$. Afterwards, the second burst is triggered, after which there is no more particle production and the star is forever dark. In a model with $β=1$, both the first and second bursts outpower the transient Hawking radiation by a factor $\sim 10^{38}(ε/10^{-19})^{-2}$. △ Less

Submitted 28 February, 2019; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: 30 pages, 6 figures, typos corrected, minor correction

Report number: RUP-18-34

Journal ref: Phys. Rev. D 99, 044039 (2019)

Approval Gap of Weighted k-Majority Tournaments

Authors: Jeremy Coste, Breenn Flesch, Joshua D. Laison, Erin M. McNicholas, Dane Miyata

Abstract: A $k$-majority tournament $T$ on a finite set of vertices $V$ is defined by a set of $2k-1$ linear orders on $V$, with an edge $u \to v$ in $T$ if $u>v$ in a majority of the linear orders. We think of the linear orders as voter preferences and the vertices of $T$ as candidates, with an edge $u \to v$ in $T$ if a majority of voters prefer candidate $u$ to candidate $v$. In this paper we introduce w… ▽ More A $k$-majority tournament $T$ on a finite set of vertices $V$ is defined by a set of $2k-1$ linear orders on $V$, with an edge $u \to v$ in $T$ if $u>v$ in a majority of the linear orders. We think of the linear orders as voter preferences and the vertices of $T$ as candidates, with an edge $u \to v$ in $T$ if a majority of voters prefer candidate $u$ to candidate $v$. In this paper we introduce weighted $k$-majority tournaments, with each edge $u \to v$ weighted by the number of voters preferring $u$. We define the maximum approval gap $γ_w(T)$, a measure by which any dominating set of $T$ beats the next most popular candidate. This parameter is analogous to previous work on the size of minimum dominating sets of (unweighted) $k$-majority tournaments. We prove that $k/2 \leq γ_w(T) \leq 2k-1$ for any weighted $k$-majority tournament $T$, and construct tournaments with $γ_w(T)=q$ for any rational number $k/2 \leq q \leq 2k-1$. We also consider the minimum number of vertices $m(q,k)$ in a $k$-majority tournament with $γ_w(T)=q$. △ Less

Submitted 6 August, 2018; originally announced August 2018.

MSC Class: 05C20; 05C69; 91B14

Gröbner Bases of Neural Ideals

Authors: Rebecca Garcia, Luis David García Puente, Ryan Kruse, Jessica Liu, Dane Miyata, Ethan Petersen, Kaitlyn Phillipson, Anne Shiu

Abstract: The brain processes information about the environment via neural codes. The neural ideal was introduced recently as an algebraic object that can be used to better understand the combinatorial structure of neural codes. Every neural ideal has a particular generating set, called the canonical form, that directly encodes a minimal description of the receptive field structure intrinsic to the neural c… ▽ More The brain processes information about the environment via neural codes. The neural ideal was introduced recently as an algebraic object that can be used to better understand the combinatorial structure of neural codes. Every neural ideal has a particular generating set, called the canonical form, that directly encodes a minimal description of the receptive field structure intrinsic to the neural code. On the other hand, for a given monomial order, any polynomial ideal is also generated by its unique (reduced) Gröbner basis with respect to that monomial order. How are these two types of generating sets -- canonical forms and Gröbner bases -- related? Our main result states that if the canonical form of a neural ideal is a Gröbner basis, then it is the universal Gröbner basis (that is, the union of all reduced Gröbner bases). Furthermore, we prove that this situation -- when the canonical form is a Gröbner basis -- occurs precisely when the universal Gröbner basis contains only pseudo-monomials (certain generalizations of monomials). Our results motivate two questions: (1)~When is the canonical form a Gröbner basis? (2)~When the universal Gröbner basis of a neural ideal is {\em not} a canonical form, what can the non-pseudo-monomial elements in the basis tell us about the receptive fields of the code? We give partial answers to both questions. Along the way, we develop a representation of pseudo-monomials as hypercubes in a Boolean lattice. △ Less

Submitted 20 April, 2018; v1 submitted 16 December, 2016; originally announced December 2016.

Comments: 13 pages, 2 figures, 1 table

MSC Class: 92-04 (Primary); 13P25; 68W30 (Secondary)

Neural Ideals in SageMath

Authors: Ethan Petersen, Nora Youngs, Ryan Kruse, Dane Miyata, Rebecca Garcia, Luis David Garcia Puente

Abstract: A major area in neuroscience research is the study of how the brain processes spatial information. Neurons in the brain represent external stimuli via neural codes. These codes often arise from stereotyped stimulus-response maps, associating to each neuron a convex receptive field. An important problem consists in determining what stimulus space features can be extracted directly from a neural cod… ▽ More A major area in neuroscience research is the study of how the brain processes spatial information. Neurons in the brain represent external stimuli via neural codes. These codes often arise from stereotyped stimulus-response maps, associating to each neuron a convex receptive field. An important problem consists in determining what stimulus space features can be extracted directly from a neural code. The neural ideal is an algebraic object that encodes the full combinatorial data of a neural code. This ideal can be expressed in a canonical form that directly translates to a minimal description of the receptive field structure intrinsic to the code. In here, we describe a SageMath package that contains several algorithms related to the canonical form of a neural ideal. △ Less

Submitted 30 September, 2016; originally announced September 2016.

Comments: 8 pages, 2 tables, software available at https://github.com/e6-1/NeuralIdeals

MSC Class: 92-04 (Primary); 13P25; 68W30 (Secondary)