-
Superspace coinvariants and hyperplane arrangements
Authors:
Robert Angarone,
Patricia Commins,
Trevor Karn,
Satoshi Murai,
Brendon Rhoades
Abstract:
Let $Ω$ be the {\em superspace ring} of polynomial-valued differential forms on affine $n$-space. The natural action of the symmetric group $\mathfrak{S}_n$ on $n$-space induces an action of $\mathfrak{S}_n$ on $Ω$. The {\em superspace coinvariant ring} is the quotient $SR$ of $Ω$ by the ideal generated by $\mathfrak{S}_n$-invariants with vanishing constant term. We give the first explicit basis o…
▽ More
Let $Ω$ be the {\em superspace ring} of polynomial-valued differential forms on affine $n$-space. The natural action of the symmetric group $\mathfrak{S}_n$ on $n$-space induces an action of $\mathfrak{S}_n$ on $Ω$. The {\em superspace coinvariant ring} is the quotient $SR$ of $Ω$ by the ideal generated by $\mathfrak{S}_n$-invariants with vanishing constant term. We give the first explicit basis of $SR$, proving a conjecture of Sagan and Swanson. Our techniques use the theory of hyperplane arrangements. We relate $SR$ to instances of the Solomon-Terao algebras of Abe-Maeno-Murai-Numata and use exact sequences relating the derivation modules of certain `southwest closed' arrangements to obtain the desired basis of $SR$.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Modified Coupled-mode Theory for the Absorption in Plasmonic Lattices
Authors:
Joshua T. Y. Tse,
Shunsuke Murai,
Katsuhisa Tanaka
Abstract:
Surface lattice resonance supported on plasmonic nanoparticle arrays enhances light-matter interactions for applications such as photoluminescence enhancement. The photoluminescence process is enhanced through confining light beyond the diffraction limit and inducing stronger light-matter interaction. In this work, the absorption mechanisms of plasmonic nanoparticle arrays embedded with photolumin…
▽ More
Surface lattice resonance supported on plasmonic nanoparticle arrays enhances light-matter interactions for applications such as photoluminescence enhancement. The photoluminescence process is enhanced through confining light beyond the diffraction limit and inducing stronger light-matter interaction. In this work, the absorption mechanisms of plasmonic nanoparticle arrays embedded with photoluminescent absorbers are analyzed. A modified coupled-mode theory that describes the optical behavior of the surface lattice resonance was developed and verified by numerical simulations. Based on the analytical model, different components of the absorption contributed by the nanoparticles and the absorbers as well as the resonant properties of each of the components are identified. The origin of difference in resonant behavior with different materials is also discovered by exploring the nearfield characteristics of surface lattice resonance composed with a variety of materials.
△ Less
Submitted 3 June, 2024; v1 submitted 11 March, 2024;
originally announced March 2024.
-
Betti splittings and multigraded Betti numbers of cover ideals of bipartite graphs
Authors:
Satoshi Murai,
Mitsuki Shiina
Abstract:
In this note, we study Betti splittings of cover ideals of bipartite graphs. We prove that if $J \subset \Bbbk [x_1,\dots,x_n]$ is the cover ideal of a bipartite graph then the $x_i$-partition of $J$ is a Betti splitting for any $i$. We also prove that multigraded Betti numbers of any squarefree monomial ideal can appear in a certain part of multigraded Betti numbers of the cover ideal of a bipart…
▽ More
In this note, we study Betti splittings of cover ideals of bipartite graphs. We prove that if $J \subset \Bbbk [x_1,\dots,x_n]$ is the cover ideal of a bipartite graph then the $x_i$-partition of $J$ is a Betti splitting for any $i$. We also prove that multigraded Betti numbers of any squarefree monomial ideal can appear in a certain part of multigraded Betti numbers of the cover ideal of a bipartite graph.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Ehrhart quasi-polynomials and parallel translations
Authors:
Akihiro Higashitani,
Satoshi Murai,
Masahiko Yoshinaga
Abstract:
Given a rational polytope $P \subset \mathbb R^d$, the numerical function counting lattice points in the integral dilations of $P$ is known to become a quasi-polynomial, called the Ehrhart quasi-polynomial $\mathrm{ehr}_P$ of $P$. In this paper we study the following problem: Given a rational $d$-polytope $P \subset \mathbb R^d$, is there a nice way to know Ehrhart quasi-polynomials of translated…
▽ More
Given a rational polytope $P \subset \mathbb R^d$, the numerical function counting lattice points in the integral dilations of $P$ is known to become a quasi-polynomial, called the Ehrhart quasi-polynomial $\mathrm{ehr}_P$ of $P$. In this paper we study the following problem: Given a rational $d$-polytope $P \subset \mathbb R^d$, is there a nice way to know Ehrhart quasi-polynomials of translated polytopes $P+ \mathbf v$ for all $\mathbf v \in \mathbb Q^d$? We provide a way to compute such Ehrhart quasi-polynomials using a certain toric arrangement and lattice point counting functions of translated cones of $P$. This method allows us to visualize how constituent polynomials of $\mathrm{ehr}_{P+\mathbf v}$ change in the torus $\mathbb R^d/\mathbb Z^d$. We also prove that information of $\mathrm{ehr}_{P+\mathbf v}$ for all $\mathbf v \in \mathbb Q^d$ determines the rational $d$-polytope $P \subset \mathbb R^d$ up to translations by integer vectors, and characterize all rational $d$-polytopes $P \subset \mathbb R^d$ such that $\mathrm{ehr}_{P+\mathbf v}$ is symmetric for all $\mathbf v \in \mathbb Q^d$.
△ Less
Submitted 16 July, 2023;
originally announced July 2023.
-
Affine stresses, inverse systems, and reconstruction problems
Authors:
Satoshi Murai,
Isabella Novik,
Hailun Zheng
Abstract:
A conjecture of Kalai asserts that for $d\geq 4$, the affine type of a prime simplicial $d$-polytope $P$ can be reconstructed from the space of affine $2$-stresses of $P$. We prove this conjecture for all $d\geq 5$. We also prove the following generalization: for all pairs $(i,d)$ with $2\leq i\leq \lceil \frac d 2\rceil-1$, the affine type of a simplicial $d$-polytope $P$ that has no missing face…
▽ More
A conjecture of Kalai asserts that for $d\geq 4$, the affine type of a prime simplicial $d$-polytope $P$ can be reconstructed from the space of affine $2$-stresses of $P$. We prove this conjecture for all $d\geq 5$. We also prove the following generalization: for all pairs $(i,d)$ with $2\leq i\leq \lceil \frac d 2\rceil-1$, the affine type of a simplicial $d$-polytope $P$ that has no missing faces of dimension $\geq d-i+1$ can be reconstructed from the space of affine $i$-stresses of $P$. A consequence of our proofs is a strengthening of the Generalized Lower Bound Theorem: it was proved by Nagel that for any simplicial $(d-1)$-sphere $Δ$ and $1\leq k\leq \lceil\frac{d}{2}\rceil-1$, $g_k(Δ)$ is at least as large as the number of missing $(d-k)$-faces of $Δ$; here we show that, for $1\leq k\leq \lfloor\frac{d}{2}\rfloor-1$, equality holds if and only if $Δ$ is $k$-stacked. Finally, we show that for $d\geq 4$, any simplicial $d$-polytope $P$ that has no missing faces of dimension $\geq d-1$ is redundantly rigid, that is, for each edge $e$ of $P$, there exists an affine $2$-stress on $P$ with a non-zero value on $e$.
△ Less
Submitted 19 November, 2023; v1 submitted 16 June, 2023;
originally announced June 2023.
-
Numerical simulation of two-dimensional incompressible Navier-Stokes turbulence by Clebsch potentials
Authors:
Shuntaro Murai,
Naoki Sato,
Zensho Yoshida
Abstract:
The Clebsch representation of a velocity field represents an effective tool for the analysis of physical properties of fluid flows. Indeed, a suitable choice of Clebsch potentials can be used to extract structural features that would otherwise be hidden within the complexity of fluid patterns and their evolution. In this work, we report the solution of the two-dimensional incompressible Navier-Sto…
▽ More
The Clebsch representation of a velocity field represents an effective tool for the analysis of physical properties of fluid flows. Indeed, a suitable choice of Clebsch potentials can be used to extract structural features that would otherwise be hidden within the complexity of fluid patterns and their evolution. In this work, we report the solution of the two-dimensional incompressible Navier-Stokes equations via Clebsch potentials. The results are in agreement with the solution of the vorticity equation for the stream function. Furthermore, we numerically demonstrate that the Shannon information entropy associated with each Clebsch potential is a growing function of time, and that it evolves at a slower rate than the rate of change in energy and enstrophy, as predicted by theory. These results pave the way for an alternative approach in the numerical study of fluid flows.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
London quantum-secured metro network
Authors:
Andrew Lord,
Robert Woodward,
Shinya Murai,
Hideaki Sato,
James Dynes,
Paul Wright,
Catherine White,
Russell Davey,
Mark Wilkinson,
Piers Clinton-Tarestad,
Ian Hawkins,
Kristopher Farrington,
Andrew Shields
Abstract:
We describe a London Quantum-Secured Metro Network using Quantum Key Distribution between three London nodes together with customer access tails. The commercially- eady solution is fully integrated into the BT network and on-boarded its first customer.
We describe a London Quantum-Secured Metro Network using Quantum Key Distribution between three London nodes together with customer access tails. The commercially- eady solution is fully integrated into the BT network and on-boarded its first customer.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
Resonant Critical Coupling of Surface Lattice Resonances with Fluorescent Absorptive Thin Film
Authors:
Joshua T. Y. Tse,
Shunsuke Murai,
Katsuhisa Tanaka
Abstract:
Surface lattice resonance supported on nanoparticle arrays is a promising candidate in enhancing fluorescent effects in both absorption and emission. The optical enhancement provided by surface lattice resonance is primarily through the light confinement beyond the diffraction limit, where the nanoparticle arrays can enhance light-matter interaction for increased absorption as well as providing mo…
▽ More
Surface lattice resonance supported on nanoparticle arrays is a promising candidate in enhancing fluorescent effects in both absorption and emission. The optical enhancement provided by surface lattice resonance is primarily through the light confinement beyond the diffraction limit, where the nanoparticle arrays can enhance light-matter interaction for increased absorption as well as providing more local density of states for enhanced spontaneous emission. In this work, we optimize the in-coupling efficiency to the fluorescent molecules by finding the conditions to maximize the absorption, also known as the critical coupling condition. We studied the transmission characteristics and the fluorescent emission of a $TiO_2$ nanoparticle array embedded in an index-matching layer with fluorescent dye at various concentrations. A modified coupled-mode theory that describes the nanoparticle array was then derived and verified by numerical simulations. With the analytical model, we analyzed the experimental measurements and discovered the condition to critically couple light into the fluorescent dye, which is demonstrated as the strongest emission. This study presents a useful guide for designing efficient energy transfer from excitation beam to the emitters, which maximizes the external conversion efficiency.
△ Less
Submitted 13 October, 2023; v1 submitted 14 April, 2023;
originally announced April 2023.
-
Room Temperature Exciton-Polariton Condensation in Silicon Metasurfaces Emerging from Bound States in the Continuum
Authors:
Anton Matthijs Berghuis,
Gabriel W. Castellanos,
Shunsuke Murai,
Jose Luis Pura,
Diego R. Abujetas,
Erik van Heijst,
Mohammad Ramezani,
José A. Sánchez-Gil,
Jaime Gómez Rivas
Abstract:
We show the first experimental demonstration of room-temperature exciton-polariton (EP) condensation from a bound state in the continuum (BIC). This demonstration is achieved by strongly coupling stable excitons in an organic perylene dye with the extremely long-lived BIC in a dielectric metasurface of silicon nanoparticles. The long lifetime of the BIC, mainly due to the suppression of radiation…
▽ More
We show the first experimental demonstration of room-temperature exciton-polariton (EP) condensation from a bound state in the continuum (BIC). This demonstration is achieved by strongly coupling stable excitons in an organic perylene dye with the extremely long-lived BIC in a dielectric metasurface of silicon nanoparticles. The long lifetime of the BIC, mainly due to the suppression of radiation leakage, allows for EP thermalization to the ground state before decaying. This property results in a condensation threshold of less than 5 μJ cm^{-2}, one order of magnitude lower that the lasing threshold reported in similar systems in the weak coupling limit.
△ Less
Submitted 26 March, 2023;
originally announced March 2023.
-
Engineering bound states in the continuum at telecom wavelengths with non-Bravais lattices
Authors:
Shunsuke Murai,
Diego R. Abujetas,
Libei Liu,
Gabriel W. Castellanos,
Vincenzo Giannini,
José A. Sánchez-Gil,
Katsuhisa Tanaka,
Jaime Gómez Rivas
Abstract:
Various optical phenomena can be induced in periodic arrays of nanoparticles by the radiative coupling of the local dipoles in each particle. Probably the most impressive example is bound states in the continuum (BICs), which are electromagnetic modes with a dispersion inside the light cone but infinite lifetime, i.e., modes that cannot leak to the continuum. Symmetry-protected BICs appear at high…
▽ More
Various optical phenomena can be induced in periodic arrays of nanoparticles by the radiative coupling of the local dipoles in each particle. Probably the most impressive example is bound states in the continuum (BICs), which are electromagnetic modes with a dispersion inside the light cone but infinite lifetime, i.e., modes that cannot leak to the continuum. Symmetry-protected BICs appear at highly symmetric points in the dispersion of periodic systems. Although the addition of nonequivalent lattice points in a unit cell is an easy and straightforward way of tuning the symmetry, BICs in such particle lattice, i.e., non-Bravais lattice, are less explored among periodic systems. Starting from a periodic square lattice of Si nanodisks, we have prepared three non-Bravais lattices by detuning size and position of the second disk in the unit cell. Diffraction-induced coupling excites magnetic/electric dipoles in each nanodisk, producing two surface lattice resonances at the $Γ$ point with a band gap in between. %of $\sim$ 41 meV.
The high/low energy branch becomes a BIC for the size/position-detuned array, respectively, while both branches are bright (or leaky) when both size and position are detuned simultaneously. The role of magnetic and electric resonances in dielectric nanoparticles and the change of BIC to bright character of the modes is explained by the two different origins of BICs in the detuned arrays, which is further discussed with the aid of a coupled electric and magnetic dipole model. This study gives a simple way of tuning BICs at telecom wavelengths in non-Bravais lattices, including both plasmonic and dielectric systems, thus scalable to a wide range of frequencies.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
A note on the reducedness and Gröbner bases of Specht ideals
Authors:
Satoshi Murai,
Hidefumi Ohsugi,
Kohji Yanagawa
Abstract:
The Specht ideal of shape $λ$, where $λ$ is a partition, is the ideal generated by all Specht polynomials of shape $λ$. Haiman and Woo proved that these ideals are reduced and found their universal Gröbner bases. In this short note, we give a short proof for these results.
The Specht ideal of shape $λ$, where $λ$ is a partition, is the ideal generated by all Specht polynomials of shape $λ$. Haiman and Woo proved that these ideals are reduced and found their universal Gröbner bases. In this short note, we give a short proof for these results.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
A Scaling Law for Synthetic-to-Real Transfer: How Much Is Your Pre-training Effective?
Authors:
Hiroaki Mikami,
Kenji Fukumizu,
Shogo Murai,
Shuji Suzuki,
Yuta Kikuchi,
Taiji Suzuki,
Shin-ichi Maeda,
Kohei Hayashi
Abstract:
Synthetic-to-real transfer learning is a framework in which a synthetically generated dataset is used to pre-train a model to improve its performance on real vision tasks. The most significant advantage of using synthetic images is that the ground-truth labels are automatically available, enabling unlimited expansion of the data size without human cost. However, synthetic data may have a huge doma…
▽ More
Synthetic-to-real transfer learning is a framework in which a synthetically generated dataset is used to pre-train a model to improve its performance on real vision tasks. The most significant advantage of using synthetic images is that the ground-truth labels are automatically available, enabling unlimited expansion of the data size without human cost. However, synthetic data may have a huge domain gap, in which case increasing the data size does not improve the performance. How can we know that? In this study, we derive a simple scaling law that predicts the performance from the amount of pre-training data. By estimating the parameters of the law, we can judge whether we should increase the data or change the setting of image synthesis. Further, we analyze the theory of transfer learning by considering learning dynamics and confirm that the derived generalization bound is consistent with our empirical findings. We empirically validated our scaling law on various experimental settings of benchmark tasks, model sizes, and complexities of synthetic images.
△ Less
Submitted 8 October, 2021; v1 submitted 24 August, 2021;
originally announced August 2021.
-
An equivariant Hochster's formula for $\mathfrak S_n$-invariant monomial ideals
Authors:
Satoshi Murai,
Claudiu Raicu
Abstract:
Let $R=\Bbbk[x_1,\dots,x_n]$ be a polynomial ring over a field $\Bbbk$ and let $I\subset R$ be a monomial ideal preserved by the natural action of the symmetric group $\mathfrak S_n$ on $R$. We give a combinatorial method to determine the $\mathfrak S_n$-module structure of $\mathrm{Tor}_i(I,\Bbbk)$. Our formula shows that $\mathrm{Tor}_i(I,\Bbbk)$ is built from induced representations of tensor p…
▽ More
Let $R=\Bbbk[x_1,\dots,x_n]$ be a polynomial ring over a field $\Bbbk$ and let $I\subset R$ be a monomial ideal preserved by the natural action of the symmetric group $\mathfrak S_n$ on $R$. We give a combinatorial method to determine the $\mathfrak S_n$-module structure of $\mathrm{Tor}_i(I,\Bbbk)$. Our formula shows that $\mathrm{Tor}_i(I,\Bbbk)$ is built from induced representations of tensor products of Specht modules associated to hook partitions, and their multiplicities are determined by topological Betti numbers of certain simplicial complexes. This result can be viewed as an $\mathfrak S_n$-equivariant analogue of Hochster's formula for Betti numbers of monomial ideals. We apply our results to determine extremal Betti numbers of $\mathfrak S_n$-invariant monomial ideals, and in particular recover formulas for their Castelnuovo--Mumford regularity and projective dimension. We also give a concrete recipe for how the Betti numbers change as we increase the number of variables, and in characteristic zero (or $>n$) we compute the $\mathfrak S_n$-invariant part of $\mathrm{Tor}_i(I,\Bbbk)$ in terms of $\mathrm{Tor}$ groups of the unsymmetrization of $I$.
△ Less
Submitted 26 December, 2020;
originally announced December 2020.
-
Collective Mie Exciton-Polaritons in an Atomically Thin Semiconductor
Authors:
Shaojun Wang,
T. V. Raziman,
Shunsuke Murai,
Gabriel W. Castellanos,
** Bai,
Anton Matthijs Berghuis,
Rasmus H. Godiksen,
Alberto G. Curto,
Jaime Gómez Rivas
Abstract:
Optically induced Mie resonances in dielectric nanoantennas feature low dissipative losses and large resonant enhancement of both electric and magnetic fields. They offer an alternative platform to plasmonic resonances to study light-matter interactions from the weak to the strong coupling regimes. Here, we experimentally demonstrate the strong coupling of bright excitons in monolayer WS$_2$ with…
▽ More
Optically induced Mie resonances in dielectric nanoantennas feature low dissipative losses and large resonant enhancement of both electric and magnetic fields. They offer an alternative platform to plasmonic resonances to study light-matter interactions from the weak to the strong coupling regimes. Here, we experimentally demonstrate the strong coupling of bright excitons in monolayer WS$_2$ with Mie surface lattice resonances (Mie-SLRs). We resolve both electric and magnetic Mie-SLRs of a Si nanoparticle array in angular dispersion measurements. At the zero detuning condition, the dispersion of electric Mie-SLRs (e-SLRs) exhibits a clear anti-crossing and a Rabi-splitting of 32 meV between the upper and lower polariton bands. The magnetic Mie-SLRs (m-SLRs) nearly cross the energy band of excitons. These results suggest that the field of m-SLRs is dominated by out-of-plane components that do not efficiently couple with the in-plane excitonic dipoles of the monolayer WS$_2$. In contrast, e-SLRs in dielectric nanoparticle arrays with relatively high quality factors (Q $\sim$ 120) facilitate the formation of collective Mie exciton-polaritons, and may allow the development of novel polaritonic devices which can tailor the optoelectronic properties of atomically thin two-dimensional semiconductors.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Strictness of the log-concavity of generating polynomials of matroids
Authors:
Satoshi Murai,
Takahiro Nagaoka,
Akiko Yazawa
Abstract:
Recently, it was proved by Anari-Oveis Gharan-Vinzant, Anari-Liu-Oveis Gharan-Vinzant and Brändén-Huh that, for any matroid $M$, its basis generating polynomial and its independent set generating polynomial are log-concave on the positive orthant. Using these, they obtain some combinatorial inequalities on matroids including a solution of strong Mason's conjecture. In this paper, we study the stri…
▽ More
Recently, it was proved by Anari-Oveis Gharan-Vinzant, Anari-Liu-Oveis Gharan-Vinzant and Brändén-Huh that, for any matroid $M$, its basis generating polynomial and its independent set generating polynomial are log-concave on the positive orthant. Using these, they obtain some combinatorial inequalities on matroids including a solution of strong Mason's conjecture. In this paper, we study the strictness of the log-concavity of these polynomials and determine when equality holds in these combinatorial inequalities. We also consider a generalization of our result to morphisms of matroids.
△ Less
Submitted 20 March, 2020;
originally announced March 2020.
-
Enhanced light emission by magnetic and electric resonances in dielectric metasurfaces
Authors:
Shunsuke Murai,
Gabriel W. Castellanos,
T. V. Raziman,
Alberto. G. Curto,
Jaime Gómez Rivas
Abstract:
We demonstrate an enhanced emission of high quantum yield molecules coupled to dielectric metasurfaces formed by periodic arrays of polycrystalline silicon nanoparticles. Radiative coupling of the nanoparticles, mediated by in-plane diffraction, leads to the formation of collective Mie scattering resonances or Mie surface lattice resonances (M-SLRs), with remarkable narrow line widths. These narro…
▽ More
We demonstrate an enhanced emission of high quantum yield molecules coupled to dielectric metasurfaces formed by periodic arrays of polycrystalline silicon nanoparticles. Radiative coupling of the nanoparticles, mediated by in-plane diffraction, leads to the formation of collective Mie scattering resonances or Mie surface lattice resonances (M-SLRs), with remarkable narrow line widths. These narrow line widths and the intrinsic electric and magnetic dipole moments of the individual Si nanoparticles allow to resolve electric and magnetic M-SLRs. Incidence angle- and polarization-dependent extinction measurements and high-accuracy surface integral simulations show unambiguously that magnetic M-SLRs arise from in- and out-of-plane magnetic dipoles, while electric M-SLRs are due to in-plane electric dipoles. Pronounced changes in the emission spectrum of the molecules are observed, with almost a 20-fold enhancement of the emission in defined directions of molecules coupled to electric M-SLRs, and a 5-fold enhancement of the emission of molecules coupled to magnetic M-SLRs. These measurements demonstrate the potential of dielectric metasurfaces for emission control and enhancement, and open new opportunities to induce asymmetric scattering and emission using collective electric and magnetic resonances.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
A filtration on the cohomology rings of regular nilpotent Hessenberg varieties
Authors:
Megumi Harada,
Tatsuya Horiguchi,
Satoshi Murai,
Martha Precup,
Julianna Tymoczko
Abstract:
Let $n$ be a positive integer. The main result of this manuscript is a construction of a filtration on the cohomology ring of a regular nilpotent Hessenberg variety in $GL(n,{\mathbb{C}})/B$ such that its associated graded ring has graded pieces (i.e., homogeneous components) isomorphic to rings which are related to the cohomology rings of Hessenberg varieties in $GL(n-1,{\mathbb{C}})/B$, showing…
▽ More
Let $n$ be a positive integer. The main result of this manuscript is a construction of a filtration on the cohomology ring of a regular nilpotent Hessenberg variety in $GL(n,{\mathbb{C}})/B$ such that its associated graded ring has graded pieces (i.e., homogeneous components) isomorphic to rings which are related to the cohomology rings of Hessenberg varieties in $GL(n-1,{\mathbb{C}})/B$, showing the inductive nature of these rings. In previous work, the first two authors, together with Abe and Masuda, gave an explicit presentation of these cohomology rings in terms of generators and relations. We introduce a new set of polynomials which are closely related to the relations in the above presentation and obtain a sequence of equivalence relations they satisfy; this allows us to derive our filtration. In addition, we obtain the following three corollaries. First, we give an inductive formula for the Poincaré polynomial of these varieties. Second, we give an explicit monomial basis for the cohomology rings of regular nilpotent Hessenberg varieties with respect to the presentation mentioned above. Third, we derive a basis of the set of linear relations satisfied by the images of the Schubert classes in the cohomology rings of regular nilpotent Hessenberg varieties. Finally, our methods and results suggest many directions for future work; in particular, we propose a definition of "Hessenberg Schubert polynomials" in the context of regular nilpotent Hessenberg varieties, and outline several open questions pertaining to them.
△ Less
Submitted 11 March, 2020; v1 submitted 30 December, 2019;
originally announced December 2019.
-
Betti tables of monomial ideals fixed by permutations of the variables
Authors:
Satoshi Murai
Abstract:
Let $S_n$ be a polynomial ring with $n$ variables over a field and $\{I_n\}_{n \geq 1}$ a chain of ideals such that each $I_n$ is a monomial ideal of $S_n$ fixed by permutations of the variables. In this paper, we present a way to determine all nonzero positions of Betti tables of $I_n$ for all large intergers $n$ from the $\mathbb Z^m$-graded Betti table of $I_m$ for some integer $m$. Our main re…
▽ More
Let $S_n$ be a polynomial ring with $n$ variables over a field and $\{I_n\}_{n \geq 1}$ a chain of ideals such that each $I_n$ is a monomial ideal of $S_n$ fixed by permutations of the variables. In this paper, we present a way to determine all nonzero positions of Betti tables of $I_n$ for all large intergers $n$ from the $\mathbb Z^m$-graded Betti table of $I_m$ for some integer $m$. Our main result shows that the projective dimension and the regularity of $I_n$ eventually become linear functions on $n$, confirming a special case of conjectures posed by Le, Nagel, Nguyen and Römer.
△ Less
Submitted 23 July, 2019;
originally announced July 2019.
-
Betti numbers of symmetric shifted ideals
Authors:
Jennifer Biermann,
Hernán De Alba,
Federico Galetto,
Satoshi Murai,
Uwe Nagel,
Augustine O'Keefe,
Tim Römer,
Alexandra Seceleanu
Abstract:
We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute…
▽ More
We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations.
△ Less
Submitted 28 October, 2020; v1 submitted 9 July, 2019;
originally announced July 2019.
-
Enhanced Delayed Fluorescence in Tetracene Crystals by Strong Light-Matter Coupling
Authors:
Matthijs Berghuis,
Alexei Halpin,
Quynh Le-Van,
Mohammad Ramezani,
Shaojun Wang,
Shunsuke Murai,
Jaime Gómez Rivas
Abstract:
We demonstrate experimentally an enhanced delayed fluorescence in tetracene single crystals strongly coupled to optical modes in open cavities formed by arrays of plasmonic nanoparticles. Hybridization of singlet excitons with collective plasmonic resonances in the arrays leads to the splitting of the material dispersion into a lower and an upper polariton band. This splitting significantly modifi…
▽ More
We demonstrate experimentally an enhanced delayed fluorescence in tetracene single crystals strongly coupled to optical modes in open cavities formed by arrays of plasmonic nanoparticles. Hybridization of singlet excitons with collective plasmonic resonances in the arrays leads to the splitting of the material dispersion into a lower and an upper polariton band. This splitting significantly modifies the dynamics of the photo-excited tetracene crystal, resulting in an increase of the delayed fluorescence by a factor of four. The enhanced delayed fluorescence is attributed to the emergence of an additional radiative decay channel, where the lower polariton band harvests long-lived triplet states. There is also an increase in total emission, which is wavelength dependent, and can be explained by the direct emission from the lower polariton band, the more effcient light out-coupling and the enhancement of the excitation intensity. The observed enhanced fluorescence opens the possibility of effcient radiative triplet harvesting in open optical cavities, to improve the performance of organic light emitting diodes.
△ Less
Submitted 3 July, 2019;
originally announced July 2019.
-
Solomon-Terao algebra of hyperplane arrangements
Authors:
Takuro Abe,
Toshiaki Maeno,
Satoshi Murai,
Yasuhide Numata
Abstract:
We introduce a new algebra associated with a hyperplane arrangement $\mathcal{A}$, called the Solomon-Terao algebra $\mbox{ST}(\mathcal{A},η)$, where $η$ is a homogeneous polynomial. It is shown by Solomon and Terao that $\mbox{ST}(\mathcal{A},η)$ is Artinian when $η$ is generic. This algebra can be considered as a generalization of coinvariant algebras in the setting of hyperplane arrangements. T…
▽ More
We introduce a new algebra associated with a hyperplane arrangement $\mathcal{A}$, called the Solomon-Terao algebra $\mbox{ST}(\mathcal{A},η)$, where $η$ is a homogeneous polynomial. It is shown by Solomon and Terao that $\mbox{ST}(\mathcal{A},η)$ is Artinian when $η$ is generic. This algebra can be considered as a generalization of coinvariant algebras in the setting of hyperplane arrangements. The class of Solomon-Terao algebras contains cohomology rings of regular nilpotent Hessenberg varieties. We show that $\mbox{ST}(\mathcal{A},η)$ is a complete intersection if and only if $\mathcal{A}$ is free. We also give a factorization formula of the Hilbert polynomials when $\mathcal{A}$ is free, and pose several related questions, problems and conjectures.
△ Less
Submitted 12 February, 2018;
originally announced February 2018.
-
Lefschetz properties for complete intersection ideals generated by products of linear forms
Authors:
Martina Juhnke-Kubitzke,
Rosa M. Miró-Roig,
Satoshi Murai,
Akihito Wachi
Abstract:
In this paper, we study the strong Lefschetz property of artinian complete intersection ideals generated by products of linear forms. We prove the strong Lefschetz property for a class of such ideals with binomial generators.
In this paper, we study the strong Lefschetz property of artinian complete intersection ideals generated by products of linear forms. We prove the strong Lefschetz property for a class of such ideals with binomial generators.
△ Less
Submitted 7 August, 2017;
originally announced August 2017.
-
Local $h$-vectors of Quasi-Geometric and Barycentric Subdivisions
Authors:
Martina Juhnke-Kubitzke,
Satoshi Murai,
Richard Sieg
Abstract:
In this paper, we answer two questions on local $h$-vectors, which were asked by Athanasiadis. First, we characterize all possible local $h$-vectors of quasi-geometric subdivisions of a simplex. Second, we prove that the local $γ$-vector of the barycentric subdivision of any CW-regular subdivision of a simplex is nonnegative. Along the way, we derive a new recurrence formula for the derangement po…
▽ More
In this paper, we answer two questions on local $h$-vectors, which were asked by Athanasiadis. First, we characterize all possible local $h$-vectors of quasi-geometric subdivisions of a simplex. Second, we prove that the local $γ$-vector of the barycentric subdivision of any CW-regular subdivision of a simplex is nonnegative. Along the way, we derive a new recurrence formula for the derangement polynomials.
△ Less
Submitted 26 April, 2017;
originally announced April 2017.
-
Radiation tolerance of FPCCD vertex detector for the ILC
Authors:
Shunsuke Murai,
Akimasa Ishikawa,
Tomoyuki Sanuki,
Akiya Miyamoto,
Yasuhiro Sugimoto,
Hisao Sato,
Hirokazu Ikeda,
Hitoshi Yamamoto
Abstract:
The Fine Pixel CCD (FPCCD) is one of the candidate sensor technologies for the ILC vertex detector. The vertex detector is located near the interaction point, thus high radiation tolerance is required. Charge transfer efficiency of CCD is degraded by radiation damage which makes traps in pixels. We measured charge transfer inefficiency (CTI) of a neutron irradiated FPCCD prototype. We observed a d…
▽ More
The Fine Pixel CCD (FPCCD) is one of the candidate sensor technologies for the ILC vertex detector. The vertex detector is located near the interaction point, thus high radiation tolerance is required. Charge transfer efficiency of CCD is degraded by radiation damage which makes traps in pixels. We measured charge transfer inefficiency (CTI) of a neutron irradiated FPCCD prototype. We observed a degradation of CTI compared with non-irradiated CCD. To improve the CTI of irradiated CCD, we performed the fat-zero charge injection to fill the traps. In this paper, we report a status of CTI improvement.
△ Less
Submitted 16 March, 2017;
originally announced March 2017.
-
The numbers of edges of 5-polytopes with a given number of vertices
Authors:
Takuya Kusunoki,
Satoshi Murai
Abstract:
A basic combinatorial invariant of a convex polytope $P$ is its $f$-vector $f(P)=(f_0,f_1,\dots,f_{\dim P-1})$, where $f_i$ is the number of $i$-dimensional faces of $P$. Steinitz characterized all possible $f$-vectors of $3$-polytopes and Grünbaum characterized the pairs given by the first two entries of the $f$-vectors of $4$-polytopes. In this paper, we characterize the pairs given by the first…
▽ More
A basic combinatorial invariant of a convex polytope $P$ is its $f$-vector $f(P)=(f_0,f_1,\dots,f_{\dim P-1})$, where $f_i$ is the number of $i$-dimensional faces of $P$. Steinitz characterized all possible $f$-vectors of $3$-polytopes and Grünbaum characterized the pairs given by the first two entries of the $f$-vectors of $4$-polytopes. In this paper, we characterize the pairs given by the first two entries of the $f$-vectors of $5$-polytopes. The same result was also proved by Pineda-Villavicencio, Ugon and Yost independently.
△ Less
Submitted 10 August, 2018; v1 submitted 21 February, 2017;
originally announced February 2017.
-
Balanced subdivisions and flips on surfaces
Authors:
Satoshi Murai,
Yusuke Suzuki
Abstract:
In this paper, we show that two balanced triangulations of a closed surface are not necessary connected by a sequence of balanced stellar subdivisions and welds. This answers a question posed by Izmestiev, Klee and Novik. We also show that two balanced triangulations of a closed surface are connected by a sequence of three local operations, which we call the pentagon contraction, the balanced edge…
▽ More
In this paper, we show that two balanced triangulations of a closed surface are not necessary connected by a sequence of balanced stellar subdivisions and welds. This answers a question posed by Izmestiev, Klee and Novik. We also show that two balanced triangulations of a closed surface are connected by a sequence of three local operations, which we call the pentagon contraction, the balanced edge subdivision and the balanced edge weld. In addition, we prove that two balanced triangulations of the 2-sphere are connected by a sequence of pentagon contractions and their inverses if none of them are octahedral spheres.
△ Less
Submitted 27 January, 2017;
originally announced January 2017.
-
Hessenberg varieties and hyperplane arrangements
Authors:
Takuro Abe,
Tatsuya Horiguchi,
Mikiya Masuda,
Satoshi Murai,
Takashi Sato
Abstract:
Given a semisimple complex linear algebraic group $G$ and a lower ideal $I$ in positive roots of $G$, three objects arise: the ideal arrangement $\mathcal{A}_I$, the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$, and the regular semisimple Hessenberg variety $\mbox{Hess}(S,I)$. We show that a certain graded ring derived from the logarithmic derivation module of $\mathcal{A}_I$ is isomorp…
▽ More
Given a semisimple complex linear algebraic group $G$ and a lower ideal $I$ in positive roots of $G$, three objects arise: the ideal arrangement $\mathcal{A}_I$, the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$, and the regular semisimple Hessenberg variety $\mbox{Hess}(S,I)$. We show that a certain graded ring derived from the logarithmic derivation module of $\mathcal{A}_I$ is isomorphic to $H^*(\mbox{Hess}(N,I))$ and $H^*(\mbox{Hess}(S,I))^W$, the invariants in $H^*(\mbox{Hess}(S,I))$ under an action of the Weyl group $W$ of $G$. This isomorphism is shown for general Lie type, and generalizes Borel's celebrated theorem showing that the coinvariant algebra of $W$ is isomorphic to the cohomology ring of the flag variety $G/B$.
This surprising connection between Hessenberg varieties and hyperplane arrangements enables us to produce a number of interesting consequences. For instance, the surjectivity of the restriction map $H^*(G/B)\to H^*(\mbox{Hess}(N,I))$ announced by Dale Peterson and an affirmative answer to a conjecture of Sommers-Tymoczko are immediate consequences. We also give an explicit ring presentation of $H^*(\mbox{Hess}(N,I))$ in types $B$, $C$, and $G$. Such a presentation was already known in type $A$ or when $\mbox{Hess}(N,I)$ is the Peterson variety. Moreover, we find the volume polynomial of $\mbox{Hess}(N,I)$ and see that the hard Lefschetz property and the Hodge-Riemann relations hold for $\mbox{Hess}(N,I)$, despite the fact that it is a singular variety in general.
△ Less
Submitted 5 December, 2016; v1 submitted 1 November, 2016;
originally announced November 2016.
-
A generalized lower bound theorem for balanced manifolds
Authors:
Martina Juhnke-Kubitzke,
Satoshi Murai,
Isabella Novik,
Connor Sawaske
Abstract:
A simplicial complex of dimension $d-1$ is said to be balanced if its graph is $d$-colorable. Juhnke-Kubitzke and Murai proved an analogue of the generalized lower bound theorem for balanced simplicial polytopes. We establish a generalization of their result to balanced triangulations of closed homology manifolds and balanced triangulations of orientable homology manifolds with boundary under an a…
▽ More
A simplicial complex of dimension $d-1$ is said to be balanced if its graph is $d$-colorable. Juhnke-Kubitzke and Murai proved an analogue of the generalized lower bound theorem for balanced simplicial polytopes. We establish a generalization of their result to balanced triangulations of closed homology manifolds and balanced triangulations of orientable homology manifolds with boundary under an additional assumption that all proper links of these triangulations have the weak Lefschetz property. As a corollary, we show that if $Δ$ is an arbitrary balanced triangulation of any closed homology manifold of dimension $d-1 \geq 3$, then $2h_2(Δ) - (d-1)h_1(Δ) \geq 4{d \choose 2}(\tildeβ_1(Δ)-\tildeβ_0(Δ))$, thus verifying a conjecture by Klee and Novik. To prove these results we develop the theory of flag $h''$-vectors.
△ Less
Submitted 28 August, 2016;
originally announced August 2016.
-
Face numbers and the fundamental group
Authors:
Satoshi Murai,
Isabella Novik
Abstract:
We resolve a conjecture of Kalai asserting that the $g_2$-number of any simplicial complex $Δ$ that represents a connected normal pseudomanifold of dimension $d\geq 3$ is at least as large as ${d+2 \choose 2}m(Δ)$, where $m(Δ)$ denotes the minimum number of generators of the fundamental group of $Δ$. Furthermore, we prove that a weaker bound, $h_2(Δ)\geq {d+1 \choose 2}m(Δ)$, applies to any $d$-di…
▽ More
We resolve a conjecture of Kalai asserting that the $g_2$-number of any simplicial complex $Δ$ that represents a connected normal pseudomanifold of dimension $d\geq 3$ is at least as large as ${d+2 \choose 2}m(Δ)$, where $m(Δ)$ denotes the minimum number of generators of the fundamental group of $Δ$. Furthermore, we prove that a weaker bound, $h_2(Δ)\geq {d+1 \choose 2}m(Δ)$, applies to any $d$-dimensional pure simplicial poset $Δ$ all of whose faces of co-dimension $\geq 2$ have connected links. This generalizes a result of Klee. Finally, for a pure relative simplicial poset $Ψ$ all of whose vertex links satisfy Serre's condition $(S_r)$, we establish lower bounds on $h_1(Ψ),\ldots,h_r(Ψ)$ in terms of the $μ$-numbers introduced by Bagchi and Datta.
△ Less
Submitted 8 June, 2016;
originally announced June 2016.
-
Lefschetz properties of balanced 3-polytopes
Authors:
David Cook II,
Martina Juhnke-Kubitzke,
Satoshi Murai,
Eran Nevo
Abstract:
In this paper, we study Lefschetz properties of Artinian reductions of Stanley-Reisner rings of balanced simplicial $3$-polytopes. A $(d-1)$-dimensional simplicial complex is said to be balanced if its graph is $d$-colorable. If a simplicial complex is balanced, then its Stanley-Reisner ring has a special system of parameters induced by the coloring. We prove that the Artinian reduction of the Sta…
▽ More
In this paper, we study Lefschetz properties of Artinian reductions of Stanley-Reisner rings of balanced simplicial $3$-polytopes. A $(d-1)$-dimensional simplicial complex is said to be balanced if its graph is $d$-colorable. If a simplicial complex is balanced, then its Stanley-Reisner ring has a special system of parameters induced by the coloring. We prove that the Artinian reduction of the Stanley-Reisner ring of a balanced simplicial $3$-polytope with respect to this special system of parameters has the strong Lefschetz property if the characteristic of the base field is not two or three. Moreover, we characterize $(2,1)$-balanced simplicial polytopes, i.e., polytopes with exactly one red vertex and two blue vertices in each facet, such that an analogous property holds. In fact, we show that this is the case if and only if the induced graph on the blue vertices satisfies a Laman-type combinatorial condition.
△ Less
Submitted 7 June, 2016;
originally announced June 2016.
-
Recent status of FPCCD vertex detector R&D
Authors:
S. Murai,
A. Ishikawa,
T. Sanuki,
A. Miyamoto,
Y. Sugimoto,
C. Constantino,
H. Sato,
H. Ikeda,
Y. Hitoshi
Abstract:
The Fine Pixel CCD (FPCCD) is one of the candidate sensor technologies for the ILC vertex detector. It will be located near interaction point and require high radiation tolerance. It will thus be operated at -40 degree C to improve radiation tolerance. In this paper, we report on the status of neutron radiation tests, on a cooling system using two-phase CO2 with a gas compressor for circulation, a…
▽ More
The Fine Pixel CCD (FPCCD) is one of the candidate sensor technologies for the ILC vertex detector. It will be located near interaction point and require high radiation tolerance. It will thus be operated at -40 degree C to improve radiation tolerance. In this paper, we report on the status of neutron radiation tests, on a cooling system using two-phase CO2 with a gas compressor for circulation, and on the mechanical structure of the FPCCD ladders.
△ Less
Submitted 8 March, 2016; v1 submitted 29 February, 2016;
originally announced March 2016.
-
A Duality in Buchsbaum rings and triangulated manifolds
Authors:
Satoshi Murai,
Isabella Novik,
Ken-ichi Yoshida
Abstract:
Let $Δ$ be a triangulated homology ball whose boundary complex is $\partialΔ$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $Δ$, $\mathbb F[Δ]$, is isomorphic to the Stanley--Reisner module of the pair $(Δ, \partialΔ)$, $\mathbb F[Δ,\partial Δ]$. This result implies that an Artinian reduction of $\mathbb F[Δ,\partial Δ]$ is (up to a shift in grading) isomo…
▽ More
Let $Δ$ be a triangulated homology ball whose boundary complex is $\partialΔ$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $Δ$, $\mathbb F[Δ]$, is isomorphic to the Stanley--Reisner module of the pair $(Δ, \partialΔ)$, $\mathbb F[Δ,\partial Δ]$. This result implies that an Artinian reduction of $\mathbb F[Δ,\partial Δ]$ is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction of $\mathbb F[Δ]$. We establish a generalization of this duality to all triangulations of connected orientable homology manifolds with boundary. We also provide an explicit algebraic interpretation of the $h"$-numbers of Buchsbaum complexes and use it to prove the monotonicity of $h"$-numbers for pairs of Buchsbaum complexes as well as the unimodality of $h"$-vectors of barycentric subdivisions of Buchsbaum polyhedral complexes. We close with applications to the algebraic manifold $g$-conjecture.
△ Less
Submitted 3 March, 2016; v1 submitted 21 February, 2016;
originally announced February 2016.
-
Face numbers of manifolds with boundary
Authors:
Satoshi Murai,
Isabella Novik
Abstract:
We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex…
▽ More
We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex links have the weak Lefschetz property, we extend this result to sharp lower bounds on the number of higher-dimensional interior faces. Along the way we develop a version of Bagchi and Datta's $σ$- and $μ$-numbers for the case of relative simplicial complexes and prove stronger versions of the above statements with the Betti numbers replaced by the $μ$-numbers. Our results provide natural generalizations of known theorems and conjectures for closed manifolds and appear to be new even for the case of a ball.
△ Less
Submitted 14 April, 2016; v1 submitted 16 September, 2015;
originally announced September 2015.
-
Balanced generalized lower bound inequality for simplicial polytopes
Authors:
Martina Juhnke-Kubitzke,
Satoshi Murai
Abstract:
A remarkable and important property of face numbers of simplicial polytopes is the generalized lower bound inequality, which says that the $h$-numbers of any simplicial polytope are unimodal. Recently, for balanced simplicial $d$-polytopes, that is simplicial $d$-polytopes whose underlying graphs are $d$-colorable, Klee and Novik proposed a balanced analogue of this inequality, that is stronger th…
▽ More
A remarkable and important property of face numbers of simplicial polytopes is the generalized lower bound inequality, which says that the $h$-numbers of any simplicial polytope are unimodal. Recently, for balanced simplicial $d$-polytopes, that is simplicial $d$-polytopes whose underlying graphs are $d$-colorable, Klee and Novik proposed a balanced analogue of this inequality, that is stronger than just unimodality. The aim of this article is to prove this conjecture of Klee and Novik. For this, we also show a Lefschetz property for rank-selected subcomplexes of balanced simplicial polytopes and thereby obtain new inequalities for their $h$-numbers.
△ Less
Submitted 22 March, 2015;
originally announced March 2015.
-
On stacked triangulated manifolds
Authors:
Basudeb Datta,
Satoshi Murai
Abstract:
We prove two results on stacked triangulated manifolds in this paper: (a) every stacked triangulation of a connected manifold with or without boundary is obtained from a simplex or the boundary of a simplex by certain combinatorial operations; (b) in dimension $d \geq 4$, if $Δ$ is a tight connected closed homology $d$-manifold whose $i$th homology vanishes for $1 < i < d-1$, then $Δ$ is a stacked…
▽ More
We prove two results on stacked triangulated manifolds in this paper: (a) every stacked triangulation of a connected manifold with or without boundary is obtained from a simplex or the boundary of a simplex by certain combinatorial operations; (b) in dimension $d \geq 4$, if $Δ$ is a tight connected closed homology $d$-manifold whose $i$th homology vanishes for $1 < i < d-1$, then $Δ$ is a stacked triangulation of a manifold.These results give affirmative answers to questions posed by Novik and Swartz and by Effenberger.
△ Less
Submitted 15 June, 2016; v1 submitted 24 July, 2014;
originally announced July 2014.
-
Collection of abstracts of the Workshop on Triangulations in Geometry and Topology at CG Week 2014 in Kyoto
Authors:
Jonathan Spreer,
Uli Wagner,
Benjamin A. Burton,
Satoshi Murai,
Eric Sedgwick,
Henry Segerman
Abstract:
This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan.
It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology com…
▽ More
This workshop about triangulations of manifolds in computational geometry and topology was held at the 2014 CG-Week in Kyoto, Japan.
It focussed on computational and combinatorial questions regarding triangulations, with the goal of bringing together researchers working on various aspects of triangulations and of fostering a closer collaboration within the computational geometry and topology community.
Triangulations are highly suitable for computations due to their clear combinatorial structure. As a consequence, they have been successfully employed in discrete algorithms to solve purely theoretical problems in a broad variety of mathematical research areas (knot theory, polytope theory, 2- and 3-manifold topology, geometry, and others). However, due to the large variety of applications, requirements vary from field to field and thus different types of triangulations, different tools, and different frameworks are used in different areas of research. This is why today closely related research areas are sometimes largely disjoint leaving potential reciprocal benefits unused.
To address these potentials a workshop on Triangulations was held at Oberwolfach Research Institute in 2012. Since then many new collaborations between researchers of different mathematical communities have been established. Regarding the computational geometry community, the theory of manifolds continues to contribute to advances in more applied areas of the field. Many researchers are interested in fundamental mathematical research about triangulations and thus will benefit from a broad set of knowledge about different research areas using different techniques.
We hope that this workshop brought together researchers from many different fields of computational geometry to have fruitful discussions which will lead to new interdisciplinary collaborations and solutions.
△ Less
Submitted 2 June, 2014;
originally announced June 2014.
-
Uniformly Cohen-Macaulay simplicial complexes and almost Gorenstein* simplicial complexes
Authors:
Naoyuki Matsuoka,
Satoshi Murai
Abstract:
In this paper, we study simplicial complexes whose Stanley-Reisner rings are almost Gorenstein and have $a$-invariant zero. We call such a simplicial complex an almost Gorenstein* simplicial complex. To study the almost Gorenstein* property, we introduce a new class of simplicial complexes which we call uniformly Cohen-Macaulay simplicial complexes. A $d$-dimensional simplicial complex $Δ$ is said…
▽ More
In this paper, we study simplicial complexes whose Stanley-Reisner rings are almost Gorenstein and have $a$-invariant zero. We call such a simplicial complex an almost Gorenstein* simplicial complex. To study the almost Gorenstein* property, we introduce a new class of simplicial complexes which we call uniformly Cohen-Macaulay simplicial complexes. A $d$-dimensional simplicial complex $Δ$ is said to be uniformly Cohen-Macaulay if it is Cohen-Macaulay and, for any facet $F$ of $Δ$, the simplicial complex $Δ\setminus\{F\}$ is Cohen-Macaulay of dimension $d$. We investigate fundamental algebraic, combinatorial and topological properties of these simplicial complexes, and show that almost Gorenstein* simplicial complexes must be uniformly Cohen-Macaulay. By using this fact, we show that every almost Gorenstein* simplicial complex can be decomposed into those of having one dimensional top homology. Also, we give a combinatorial criterion of the almost Gorenstein* property for simplicial complexes of dimension $\leq 2$.
△ Less
Submitted 25 February, 2016; v1 submitted 28 May, 2014;
originally announced May 2014.
-
Invariance of Pontrjagin classes for Bott manifolds
Authors:
Suyoung Choi,
Mikiya Masuda,
Satoshi Murai
Abstract:
A Bott manifold is the total space of some iterated $\mathbb C P^1$-bundle over a point. We prove that any graded ring isomorphism between the cohomology rings of two Bott manifolds preserves their Pontrjagin classes. Moreover, we prove that such an isomorphism is induced from a diffeomorphism if the Bott manifolds are $\mathbb Z/2$-trivial, where a Bott manifold is called $\mathbb Z/2$-trivial if…
▽ More
A Bott manifold is the total space of some iterated $\mathbb C P^1$-bundle over a point. We prove that any graded ring isomorphism between the cohomology rings of two Bott manifolds preserves their Pontrjagin classes. Moreover, we prove that such an isomorphism is induced from a diffeomorphism if the Bott manifolds are $\mathbb Z/2$-trivial, where a Bott manifold is called $\mathbb Z/2$-trivial if its cohomology ring with $\mathbb Z/2$-coefficient is isomorphic to that of a product of $\mathbb C P^1$'s.
△ Less
Submitted 5 January, 2014;
originally announced January 2014.
-
Squarefree P-modules and the cd-index
Authors:
Satoshi Murai,
Kohji Yanagawa
Abstract:
In this paper, we introduce a new algebraic concept, which we call squarefree P-modules. This concept is inspired from Karu's proof of the non-negativity of the cd-indices of Gorenstein* posets, and supplies a way to study cd-indices from the viewpoint of commutative algebra. Indeed, by using the theory of squarefree P-modules, we give several new algebraic and combinatorial results on CW-posets.…
▽ More
In this paper, we introduce a new algebraic concept, which we call squarefree P-modules. This concept is inspired from Karu's proof of the non-negativity of the cd-indices of Gorenstein* posets, and supplies a way to study cd-indices from the viewpoint of commutative algebra. Indeed, by using the theory of squarefree P-modules, we give several new algebraic and combinatorial results on CW-posets. First, we define an analogue of the cd-index for any CW-poset and prove its non-negativity when a CW-poset is Cohen-Macaulay. This result proves that the h-vector of the barycentric subdivision of a Cohen-Macaulay regular CW-complex is unimodal. Second, we prove that the Stanley-Reisner ring of the barycentric subdivision of an odd dimensional Cohen-Macaulay polyhedral complex has the weak Lefschetz property. Third, we obtain sharp upper bounds of the cd-indices of Gorenstein* posets for a fixed rank generating function.
△ Less
Submitted 14 October, 2013;
originally announced October 2013.
-
Light-emitting waveguide-plasmon polaritons
Authors:
S. R. K. Rodriguez,
S. Murai,
M. A. Verschuuren,
J. Gomez Rivas
Abstract:
We demonstrate the generation of light in an optical waveguide strongly coupled to a periodic array of metallic nanoantennas. This coupling gives rise to hybrid waveguide-plasmon polaritons (WPPs), which undergo a transmutation from plasmon to waveguide mode and viceversa as the eigenfrequency detuning of the bare states transits through zero. Near zero detuning, the structure is nearly transparen…
▽ More
We demonstrate the generation of light in an optical waveguide strongly coupled to a periodic array of metallic nanoantennas. This coupling gives rise to hybrid waveguide-plasmon polaritons (WPPs), which undergo a transmutation from plasmon to waveguide mode and viceversa as the eigenfrequency detuning of the bare states transits through zero. Near zero detuning, the structure is nearly transparent in the far-field but sustains strong local field enhancements inside the waveguide. Consequently, light-emitting WPPs are strongly enhanced at energies and in-plane momenta for which WPPs minimize light extinction. We elucidate the unusual properties of these polaritons through a classical model of coupled harmonic oscillators.
△ Less
Submitted 14 May, 2013;
originally announced May 2013.
-
On ideals with the Rees property
Authors:
Juan Migliore,
Rosa M. Miró-Roig,
Satoshi Murai,
Uwe Nagel,
Junzo Watanabe
Abstract:
A homogeneous ideal $I$ of a polynomial ring $S$ is said to have the Rees property if, for any homogeneous ideal $J \subset S $ which contains $I$, the number of generators of $J$ is smaller than or equal to that of $I$. A homogeneous ideal $I \subset S$ is said to be $\mathfrak m$-full if $\mathfrak mI:y=I$ for some $y \in \mathfrak m$, where $\mathfrak m$ is the graded maximal ideal of $S$. It w…
▽ More
A homogeneous ideal $I$ of a polynomial ring $S$ is said to have the Rees property if, for any homogeneous ideal $J \subset S $ which contains $I$, the number of generators of $J$ is smaller than or equal to that of $I$. A homogeneous ideal $I \subset S$ is said to be $\mathfrak m$-full if $\mathfrak mI:y=I$ for some $y \in \mathfrak m$, where $\mathfrak m$ is the graded maximal ideal of $S$. It was proved by one of the authors that $\mathfrak m$-full ideals have the Rees property and that the converse holds in a polynomial ring with two variables. In this note, we give examples of ideals which have the Rees property but are not $\mathfrak m$-full in a polynomial ring with more than two variables. To prove this result, we also show that every Artinian monomial almost complete intersection in three variables has the Sperner property.
△ Less
Submitted 11 May, 2013;
originally announced May 2013.
-
On Hilbert functions of general intersections of ideals
Authors:
Giulio Caviglia,
Satoshi Murai
Abstract:
Let I and J be homogeneous ideals in a standard graded polynomial ring. We study upper bounds of the Hilbert function of the intersection of I and g(J), where g is a general change of coordinates. Our main result gives a generalization of Green's hyperplane section theorem.
Let I and J be homogeneous ideals in a standard graded polynomial ring. We study upper bounds of the Hilbert function of the intersection of I and g(J), where g is a general change of coordinates. Our main result gives a generalization of Green's hyperplane section theorem.
△ Less
Submitted 25 March, 2013;
originally announced March 2013.
-
On r-stacked triangulated manifolds
Authors:
Satoshi Murai,
Eran Nevo
Abstract:
The notion of r-stackedness for simplicial polytopes was introduced by McMullen and Walkup in 1971 as a generalization of stacked polytopes. In this paper, we define the r-stackedness for triangulated homology manifolds and study their basic properties. In addition, we find a new necessary condition for face vectors of triangulated manifolds when all the vertex links are polytopal.
The notion of r-stackedness for simplicial polytopes was introduced by McMullen and Walkup in 1971 as a generalization of stacked polytopes. In this paper, we define the r-stackedness for triangulated homology manifolds and study their basic properties. In addition, we find a new necessary condition for face vectors of triangulated manifolds when all the vertex links are polytopal.
△ Less
Submitted 5 September, 2012;
originally announced September 2012.
-
Regularity bounds for binomial edge ideals
Authors:
Kazunori Matsuda,
Satoshi Murai
Abstract:
We show that the Castelnuovo-Mumford regularity of the binomial edge ideal of a graph is bounded below by the length of its longest induced path and bounded above by the number of its vertices.
We show that the Castelnuovo-Mumford regularity of the binomial edge ideal of a graph is bounded below by the length of its longest induced path and bounded above by the number of its vertices.
△ Less
Submitted 12 August, 2012;
originally announced August 2012.
-
Regularity bounds for Koszul cycles
Authors:
Aldo Conca,
Satoshi Murai
Abstract:
We study the module of Koszul cycles $Z_t(I,M)$ of a homogeneous ideal $I$ in a polynomial ring $S$ with respect to a graded module $M$. Under mild assumptions on the base field we prove that the regularity of $Z_t(I,S)$ is a subadditive function of the homological position t when I is 0-dimensional. For Borel-fixed ideals $I$ and $J$ we prove that the regularity of $Z_t(I,S/J)$ is bounded above b…
▽ More
We study the module of Koszul cycles $Z_t(I,M)$ of a homogeneous ideal $I$ in a polynomial ring $S$ with respect to a graded module $M$. Under mild assumptions on the base field we prove that the regularity of $Z_t(I,S)$ is a subadditive function of the homological position t when I is 0-dimensional. For Borel-fixed ideals $I$ and $J$ we prove that the regularity of $Z_t(I,S/J)$ is bounded above by $t(1+\reg I)+\reg S/J$.
△ Less
Submitted 8 March, 2012;
originally announced March 2012.
-
On the generalized lower bound conjecture for polytopes and spheres
Authors:
Satoshi Murai,
Eran Nevo
Abstract:
In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If $P$ is a simplicial $d$-polytope then its $h$-vector $(h_0,h_1,...,h_d)$ satisfies $h_0 \leq h_1 \leq ... \leq h_{\lfloor \frac d 2 \rfloor}$. Moreover, if $h_{r-1}=h_r$ for some $r \leq \frac d 2$ then $P$ can be triangulated without introducing simplices of dimension…
▽ More
In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If $P$ is a simplicial $d$-polytope then its $h$-vector $(h_0,h_1,...,h_d)$ satisfies $h_0 \leq h_1 \leq ... \leq h_{\lfloor \frac d 2 \rfloor}$. Moreover, if $h_{r-1}=h_r$ for some $r \leq \frac d 2$ then $P$ can be triangulated without introducing simplices of dimension $\leq d-r$.
The first part of the conjecture was solved by Stanley in 1980 using the hard Lefschetz theorem for projective toric varieties. In this paper, we give a proof of the remaining part of the conjecture. In addition, we generalize this property to a certain class of simplicial spheres, namely those admitting the weak Lefschetz property.
△ Less
Submitted 5 April, 2012; v1 submitted 8 March, 2012;
originally announced March 2012.
-
Lefschetz properties and the Veronese construction
Authors:
Martina Kubitzke,
Satoshi Murai
Abstract:
In this paper, we investigate Lefschetz properties of Veronese subalgebras. We show that, for a sufficiently large $r$, the $r$\textsuperscript{th} Veronese subalgebra of a Cohen-Macaulay standard graded $K$-algebra has properties similar to the weak and strong Lefschetz properties, which we call the `almost weak' and `almost strong' Lefschetz properties. By using this result, we obtain new result…
▽ More
In this paper, we investigate Lefschetz properties of Veronese subalgebras. We show that, for a sufficiently large $r$, the $r$\textsuperscript{th} Veronese subalgebra of a Cohen-Macaulay standard graded $K$-algebra has properties similar to the weak and strong Lefschetz properties, which we call the `almost weak' and `almost strong' Lefschetz properties. By using this result, we obtain new results on $h$- and $g$-polynomials of Veronese subalgebras.
△ Less
Submitted 21 December, 2011;
originally announced December 2011.
-
The flag f-vectors of Gorenstein* order complexes of dimension 3
Authors:
Satoshi Murai,
Eran Nevo
Abstract:
We characterize the cd-indices of Gorenstein* posets of rank 5, equivalently the flag f-vectors of Gorenstein* order complexes of dimension 3. As a corollary, we characterize the f-vectors of Gorenstein* order complexes in dimensions 3 and 4. This characterization rise a speculated intimate connection between the f-vectors of flag homology spheres and the f-vectors of Gorenstein* order complexes.
We characterize the cd-indices of Gorenstein* posets of rank 5, equivalently the flag f-vectors of Gorenstein* order complexes of dimension 3. As a corollary, we characterize the f-vectors of Gorenstein* order complexes in dimensions 3 and 4. This characterization rise a speculated intimate connection between the f-vectors of flag homology spheres and the f-vectors of Gorenstein* order complexes.
△ Less
Submitted 2 August, 2011;
originally announced August 2011.
-
h-Vectors of simplicial cell balls
Authors:
Satoshi Murai
Abstract:
A simplicial cell ball is a simplicial poset whose geometric realization is homeomorphic to a ball. Recently, Samuel Kolins gave a series of necessary conditions and sufficient conditions on $h$-vectors of simplicial cell balls, and characterized them up to dimension 6. In this paper, we extend Kolins' results. We characterize all possible $h$-vectors of simplicial cell balls in arbitrary dimensio…
▽ More
A simplicial cell ball is a simplicial poset whose geometric realization is homeomorphic to a ball. Recently, Samuel Kolins gave a series of necessary conditions and sufficient conditions on $h$-vectors of simplicial cell balls, and characterized them up to dimension 6. In this paper, we extend Kolins' results. We characterize all possible $h$-vectors of simplicial cell balls in arbitrary dimension.
△ Less
Submitted 31 August, 2011; v1 submitted 10 May, 2011;
originally announced May 2011.
-
On the cd-index and gamma-vector of S*-shellable CW-spheres
Authors:
Satoshi Murai,
Eran Nevo
Abstract:
We show that the $γ$-vector of the order complex of any polytope is the f-vector of a balanced simplicial complex. This is done by proving this statement for a subclass of Stanley's S-shellable spheres which includes all polytopes. The proof shows that certain parts of the cd-index, when specializing $c=1$ and considering the resulted polynomial in $d$, are the f-polynomials of simplicial complexe…
▽ More
We show that the $γ$-vector of the order complex of any polytope is the f-vector of a balanced simplicial complex. This is done by proving this statement for a subclass of Stanley's S-shellable spheres which includes all polytopes. The proof shows that certain parts of the cd-index, when specializing $c=1$ and considering the resulted polynomial in $d$, are the f-polynomials of simplicial complexes that can be colored with "few" colors. We conjecture that the cd-index of a regular CW-sphere is itself the flag f-vector of a colored simplicial complex in a certain sense.
△ Less
Submitted 1 February, 2011;
originally announced February 2011.