-
Volume inequalities for flow polytopes of full directed acyclic graphs
Authors:
Benjamin Braun,
James Ford McElroy
Abstract:
Given a finite directed acyclic graph, the space of non-negative unit flows is a lattice polytope called the flow polytope of the graph. We consider the volumes of flow polytopes for directed acyclic graphs on $n+1$ vertices with a fixed degree sequence, with a focus on graphs having in- and out-degree two on every internal vertex. When the out-degree of the source is three and the number of verti…
▽ More
Given a finite directed acyclic graph, the space of non-negative unit flows is a lattice polytope called the flow polytope of the graph. We consider the volumes of flow polytopes for directed acyclic graphs on $n+1$ vertices with a fixed degree sequence, with a focus on graphs having in- and out-degree two on every internal vertex. When the out-degree of the source is three and the number of vertices is fixed, we prove that there is an interchange operation on the edge set of these graphs that induces a partial order on the graphs isomorphic to a Boolean algebra. Further, we prove that as we move up through this partial order, the volumes of the corresponding flow polytopes weakly decrease. Finally, we show that each such graph is strongly planar and we provide an alternative interpretation of our results in the context of linear extensions for posets that are bipartite non-crossing trees.
△ Less
Submitted 29 May, 2024; v1 submitted 3 May, 2024;
originally announced May 2024.
-
Predictive Model Development to Identify Failed Healing in Patients after Non-Union Fracture Surgery
Authors:
Cedric Donié,
Marie K. Reumann,
Tony Hartung,
Benedikt J. Braun,
Tina Histing,
Satoshi Endo,
Sandra Hirche
Abstract:
Bone non-union is among the most severe complications associated with trauma surgery, occurring in 10-30% of cases after long bone fractures. Treating non-unions requires a high level of surgical expertise and often involves multiple revision surgeries, sometimes even leading to amputation. Thus, more accurate prognosis is crucial for patient well-being. Recent advances in machine learning (ML) ho…
▽ More
Bone non-union is among the most severe complications associated with trauma surgery, occurring in 10-30% of cases after long bone fractures. Treating non-unions requires a high level of surgical expertise and often involves multiple revision surgeries, sometimes even leading to amputation. Thus, more accurate prognosis is crucial for patient well-being. Recent advances in machine learning (ML) hold promise for develo** models to predict non-union healing, even when working with smaller datasets, a commonly encountered challenge in clinical domains. To demonstrate the effectiveness of ML in identifying candidates at risk of failed non-union healing, we applied three ML models (logistic regression, support vector machine, and XGBoost) to the clinical dataset TRUFFLE, which includes 797 patients with long bone non-union. The models provided prediction results with 70% sensitivity, and the specificities of 66% (XGBoost), 49% (support vector machine), and 43% (logistic regression). These findings offer valuable clinical insights because they enable early identification of patients at risk of failed non-union healing after the initial surgical revision treatment protocol.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
How Suboptimal is Training rPPG Models with Videos and Targets from Different Body Sites?
Authors:
Björn Braun,
Daniel McDuff,
Christian Holz
Abstract:
Remote camera measurement of the blood volume pulse via photoplethysmography (rPPG) is a compelling technology for scalable, low-cost, and accessible assessment of cardiovascular information. Neural networks currently provide the state-of-the-art for this task and supervised training or fine-tuning is an important step in creating these models. However, most current models are trained on facial vi…
▽ More
Remote camera measurement of the blood volume pulse via photoplethysmography (rPPG) is a compelling technology for scalable, low-cost, and accessible assessment of cardiovascular information. Neural networks currently provide the state-of-the-art for this task and supervised training or fine-tuning is an important step in creating these models. However, most current models are trained on facial videos using contact PPG measurements from the fingertip as targets/ labels. One of the reasons for this is that few public datasets to date have incorporated contact PPG measurements from the face. Yet there is copious evidence that the PPG signals at different sites on the body have very different morphological features. Is training a facial video rPPG model using contact measurements from another site on the body suboptimal? Using a recently released unique dataset with synchronized contact PPG and video measurements from both the hand and face, we can provide precise and quantitative answers to this question. We obtain up to 40 % lower mean squared errors between the waveforms of the predicted and the ground truth PPG signals using state-of-the-art neural models when using PPG signals from the forehead compared to using PPG signals from the fingertip. We also show qualitatively that the neural models learn to predict the morphology of the ground truth PPG signal better when trained on the forehead PPG signals. However, while models trained from the forehead PPG produce a more faithful waveform, models trained from a finger PPG do still learn the dominant frequency (i.e., the heart rate) well.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Quasi-phase-matched up- and down-conversion in periodically poled layered semiconductors
Authors:
Chiara Trovatello,
Carino Ferrante,
Birui Yang,
Josip Bajo,
Benjamin Braun,
Xinyi Xu,
Zhi Hao Peng,
Philipp K. Jenke,
Andrew Ye,
Milan Delor,
D. N. Basov,
Jiwoong Park,
Philip Walther,
Lee A. Rozema,
Cory Dean,
Andrea Marini,
Giulio Cerullo,
P. James Schuck
Abstract:
Nonlinear optics lies at the heart of classical and quantum light generation. The invention of periodic poling revolutionized nonlinear optics and its commercial applications by enabling robust quasi-phase-matching in crystals such as lithium niobate. However, reaching useful frequency conversion efficiencies requires macroscopic dimensions, limiting further technology development and integration.…
▽ More
Nonlinear optics lies at the heart of classical and quantum light generation. The invention of periodic poling revolutionized nonlinear optics and its commercial applications by enabling robust quasi-phase-matching in crystals such as lithium niobate. However, reaching useful frequency conversion efficiencies requires macroscopic dimensions, limiting further technology development and integration. Here we realize a periodically poled van der Waals semiconductor (3R-MoS$_2$). Due to its exceptional nonlinearity, we achieve macroscopic frequency conversion efficiency over a microscopic thickness of only 1.2$μ$m, $10-100\times$ thinner than current systems with similar performances. Due to unique intrinsic cavity effects, the thickness-dependent quasi-phase-matched second harmonic signal surpasses the usual quadratic enhancement by $50\%$. Further, we report the broadband generation of photon pairs at telecom wavelengths via quasi-phase-matched spontaneous parametric down-conversion. This work opens the new and unexplored field of phase-matched nonlinear optics with microscopic van der Waals crystals, unlocking applications that require simple, ultra-compact technologies such as on-chip entangled photon-pair sources for integrated quantum circuitry and sensing.
△ Less
Submitted 31 December, 2023; v1 submitted 8 December, 2023;
originally announced December 2023.
-
Video-based sympathetic arousal assessment via peripheral blood flow estimation
Authors:
Bjoern Braun,
Daniel McDuff,
Tadas Baltrusaitis,
Christian Holz
Abstract:
Electrodermal activity (EDA) is considered a standard marker of sympathetic activity. However, traditional EDA measurement requires electrodes in steady contact with the skin. Can sympathetic arousal be measured using only an optical sensor, such as an RGB camera? This paper presents a novel approach to infer sympathetic arousal by measuring the peripheral blood flow on the face or hand optically.…
▽ More
Electrodermal activity (EDA) is considered a standard marker of sympathetic activity. However, traditional EDA measurement requires electrodes in steady contact with the skin. Can sympathetic arousal be measured using only an optical sensor, such as an RGB camera? This paper presents a novel approach to infer sympathetic arousal by measuring the peripheral blood flow on the face or hand optically. We contribute a self-recorded dataset of 21 participants, comprising synchronized videos of participants' faces and palms and gold-standard EDA and photoplethysmography (PPG) signals. Our results show that we can measure peripheral sympathetic responses that closely correlate with the ground truth EDA. We obtain median correlations of 0.57 to 0.63 between our inferred signals and the ground truth EDA using only videos of the participants' palms or foreheads or PPG signals from the foreheads or fingers. We also show that sympathetic arousal is best inferred from the forehead, finger, or palm.
△ Less
Submitted 12 November, 2023;
originally announced November 2023.
-
Minimal free resolutions of numerical semigroup algebras via Apéry specialization
Authors:
Benjamin Braun,
Tara Gomes,
Ezra Miller,
Christopher O'Neill,
Aleksandra Sobieska
Abstract:
Numerical semigroups with multiplicity $m$ are parameterized by integer points in a polyhedral cone $C_m$, according to Kunz. For the toric ideal of any such semigroup, the main result here constructs a free resolution whose overall structure is identical for all semigroups parametrized by the relative interior of a fixed face of $C_m$. The matrix entries of this resolution are monomials whose exp…
▽ More
Numerical semigroups with multiplicity $m$ are parameterized by integer points in a polyhedral cone $C_m$, according to Kunz. For the toric ideal of any such semigroup, the main result here constructs a free resolution whose overall structure is identical for all semigroups parametrized by the relative interior of a fixed face of $C_m$. The matrix entries of this resolution are monomials whose exponents are parametrized by the coordinates of the corresponding point in $C_m$, and minimality of the resolution is achieved when the semigroup is maximal embedding dimension, which is the case parametrized by the interior of $C_m$ itself.
△ Less
Submitted 21 June, 2024; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Local $h^*$-polynomials for one-row Hermite normal form simplices
Authors:
Esme Bajo,
Benjamin Braun,
Giulia Codenotti,
Johannes Hofscheier,
Andrés R. Vindas-Meléndez
Abstract:
The local $h^*$-polynomial of a lattice polytope is an important invariant arising in Ehrhart theory. Our focus in this work is on lattice simplices presented in Hermite normal form with a single non-trivial row. We prove that when the off-diagonal entries are fixed, the distribution of coefficients for the local $h^*$-polynomial of these simplices has a limit as the normalized volume goes to infi…
▽ More
The local $h^*$-polynomial of a lattice polytope is an important invariant arising in Ehrhart theory. Our focus in this work is on lattice simplices presented in Hermite normal form with a single non-trivial row. We prove that when the off-diagonal entries are fixed, the distribution of coefficients for the local $h^*$-polynomial of these simplices has a limit as the normalized volume goes to infinity. Further, this limiting distribution is determined by the coefficients for a relatively small normalized volume. We also provide a thorough analysis of two specific families of such simplices, to illustrate and motivate our main result.
△ Less
Submitted 7 April, 2024; v1 submitted 3 September, 2023;
originally announced September 2023.
-
Ehrhart Limits
Authors:
Benjamin Braun,
McCabe Olsen
Abstract:
We introduce the definition of an Ehrhart limit, that is, a formal power series with integer coefficients that is the limit in the ring of formal power series of a sequence of Ehrhart $h^*$-polynomials. We identify a variety of examples of sequences of polytopes that yield Ehrhart limits, with a focus on reflexive polytopes and simplices.
We introduce the definition of an Ehrhart limit, that is, a formal power series with integer coefficients that is the limit in the ring of formal power series of a sequence of Ehrhart $h^*$-polynomials. We identify a variety of examples of sequences of polytopes that yield Ehrhart limits, with a focus on reflexive polytopes and simplices.
△ Less
Submitted 9 December, 2022; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Dipolar spin-waves and tunable band gap at the Dirac points in the 2D magnet ErBr3
Authors:
C. Wessler,
B. Roessli,
K. W. Krämer,
U. Stuhr,
A. Wildes,
H. B. Braun,
M. Kenzelmann
Abstract:
Topological magnon insulators constitute a growing field of research for their potential use as information carriers without heat dissipation. We report an experimental and theoretical study of the magnetic ground-state and excitations in the van der Waals two-dimensional honeycomb magnet ErBr3. We show that the magnetic properties of this compound are entirely governed by the dipolar interactions…
▽ More
Topological magnon insulators constitute a growing field of research for their potential use as information carriers without heat dissipation. We report an experimental and theoretical study of the magnetic ground-state and excitations in the van der Waals two-dimensional honeycomb magnet ErBr3. We show that the magnetic properties of this compound are entirely governed by the dipolar interactions which generate a continuously degenerate non-collinear ground-state on the honeycomb lattice with spins confined in the plane. We find that the magnon dispersion exhibits Dirac-like cones when the magnetic moments in the ground-state are related by time-reversal and inversion symmetries associated with a Berry phase πas in single-layer graphene. A magnon band gap opens when the dipoles are rotated away from this state, entailing a finite Berry curvature in the vicinity of the K and K' Dirac points. Our results illustrate that the spin-wave dispersion of dipoles on the honeycomb lattice can be reversibly controlled from a magnetic phase with Dirac cones to a topological antiferromagnetic insulator with non-trivial valley Chern number.
△ Less
Submitted 21 June, 2022;
originally announced June 2022.
-
Facets of Random Symmetric Edge Polytopes, Degree Sequences, and Clustering
Authors:
Benjamin Braun,
Kaitlin Bruegge,
Matthew Kahle
Abstract:
Symmetric edge polytopes are lattice polytopes associated with finite simple graphs that are of interest in both theory and applications. We investigate the facet structure of symmetric edge polytopes for various models of random graphs. For an Erdős-Renyi random graph, we identify a threshold probability at which with high probability the symmetric edge polytope shares many facet-supporting hyper…
▽ More
Symmetric edge polytopes are lattice polytopes associated with finite simple graphs that are of interest in both theory and applications. We investigate the facet structure of symmetric edge polytopes for various models of random graphs. For an Erdős-Renyi random graph, we identify a threshold probability at which with high probability the symmetric edge polytope shares many facet-supporting hyperplanes with that of a complete graph. We also investigate the relationship between the average local clustering, also known as the Watts-Strogatz clustering coefficient, and the number of facets for graphs with either a fixed number of edges or a fixed degree sequence. We use well-known Markov Chain Monte Carlo sampling methods to generate empirical evidence that for a fixed degree sequence, higher average local clustering in a connected graph corresponds to higher facet numbers in the associated symmetric edge polytope.
△ Less
Submitted 30 November, 2023; v1 submitted 14 April, 2022;
originally announced April 2022.
-
Triangulations of Flow Polytopes, Ample Framings, and Gentle Algebras
Authors:
Matias von Bell,
Benjamin Braun,
Kaitlin Bruegge,
Derek Hanely,
Zachery Peterson,
Khrystyna Serhiyenko,
Martha Yip
Abstract:
The cone of nonnegative flows for a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. These triangulations restrict to triangulations of the flow polytope for strength one flows, which are called DKK triangulations. For a special class of framings called ample framings, these triangulations of the flow cone project to a complete fan. W…
▽ More
The cone of nonnegative flows for a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. These triangulations restrict to triangulations of the flow polytope for strength one flows, which are called DKK triangulations. For a special class of framings called ample framings, these triangulations of the flow cone project to a complete fan. We characterize the DAGs that admit ample framings, and we enumerate the number of ample framings for a fixed DAG. We establish a connection between maximal simplices in DKK triangulations and $τ$-tilting posets for certain gentle algebras, which allows us to impose a poset structure on the dual graph of any DKK triangulation for an amply framed DAG. Using this connection, we are able to prove that for full DAGs, i.e., those DAGs with inner vertices having in-degree and out-degree equal to two, the flow polytopes are Gorenstein and have unimodal Ehrhart $h^\ast$-polynomials.
△ Less
Submitted 6 March, 2024; v1 submitted 3 March, 2022;
originally announced March 2022.
-
Facets of Symmetric Edge Polytopes for Graphs with Few Edges
Authors:
Benjamin Braun,
Kaitlin Bruegge
Abstract:
Symmetric edge polytopes, also called adjacency polytopes, are lattice polytopes determined by simple undirected graphs. We introduce the integer array \(\mathrm{maxf}(n,m)\) giving the maximum number of facets of a symmetric edge polytope for a connected graph having \(n\) vertices and \(m\) edges, and the corresponding sequence \(\mathrm{minf}(n,m)\) of minimal values. We establish formulas for…
▽ More
Symmetric edge polytopes, also called adjacency polytopes, are lattice polytopes determined by simple undirected graphs. We introduce the integer array \(\mathrm{maxf}(n,m)\) giving the maximum number of facets of a symmetric edge polytope for a connected graph having \(n\) vertices and \(m\) edges, and the corresponding sequence \(\mathrm{minf}(n,m)\) of minimal values. We establish formulas for the number of facets obtained in several classes of sparse graphs and provide partial progress toward conjectures that identify facet-maximizing graphs in these classes. These formulas are combinatorial in nature and lead to independently interesting observations and conjectures regarding integer sequences defined by sums of products of binomial coefficients.
△ Less
Submitted 6 July, 2023; v1 submitted 31 January, 2022;
originally announced January 2022.
-
The Integer Decomposition Property and Weighted Projective Space Simplices
Authors:
Benjamin Braun,
Robert Davis,
Derek Hanely,
Morgan Lane,
Liam Solus
Abstract:
Reflexive lattice polytopes play a key role in combinatorics, algebraic geometry, physics, and other areas. One important class of lattice polytopes are lattice simplices defining weighted projective spaces. We investigate the question of when a reflexive weighted projective space simplex has the integer decomposition property. We provide a complete classification of reflexive weighted projective…
▽ More
Reflexive lattice polytopes play a key role in combinatorics, algebraic geometry, physics, and other areas. One important class of lattice polytopes are lattice simplices defining weighted projective spaces. We investigate the question of when a reflexive weighted projective space simplex has the integer decomposition property. We provide a complete classification of reflexive weighted projective space simplices having the integer decomposition property for the case when there are at most three distinct non-unit weights, and conjecture a general classification for an arbitrary number of distinct non-unit weights. Further, for any weighted projective space simplex and $m\geq 1$, we define the $m$-th reflexive stabilization, a reflexive weighted projective space simplex. We prove that when $m$ is $2$ or greater, reflexive stabilizations do not have the integer decomposition property. We also prove that the Ehrhart $h^\ast$-polynomial of any sufficiently large reflexive stabilization is not unimodal and has only $1$ and $2$ as coefficients. We use this construction to generate interesting examples of reflexive weighted projective space simplices that are near the boundary of both $h^*$-unimodality and the integer decomposition property.
△ Less
Submitted 21 November, 2022; v1 submitted 31 March, 2021;
originally announced March 2021.
-
Triangulations, order polytopes, and generalized snake posets
Authors:
Matias von Bell,
Benjamin Braun,
Derek Hanely,
Khrystyna Serhiyenko,
Julianne Vega,
Andrés R. Vindas-Meléndez,
Martha Yip
Abstract:
This work regards the order polytopes arising from the class of generalized snake posets and their posets of meet-irreducible elements. Among generalized snake posets of the same rank, we characterize those whose order polytopes have minimal and maximal volume. We give a combinatorial characterization of the circuits in these order polytopes and then conclude that every triangulation is unimodular…
▽ More
This work regards the order polytopes arising from the class of generalized snake posets and their posets of meet-irreducible elements. Among generalized snake posets of the same rank, we characterize those whose order polytopes have minimal and maximal volume. We give a combinatorial characterization of the circuits in these order polytopes and then conclude that every triangulation is unimodular. For a generalized snake word, we count the number of flips for the canonical triangulation of these order polytopes. We determine that the flip graph of the order polytope of the poset whose lattice of filters comes from a ladder is the Cayley graph of a symmetric group. Lastly, we introduce an operation on triangulations called twists and prove that twists preserve regular triangulations.
△ Less
Submitted 7 April, 2021; v1 submitted 22 February, 2021;
originally announced February 2021.
-
A regular unimodular triangulation of reflexive 2-supported weighted projective space simplices
Authors:
Benjamin Braun,
Derek Hanely
Abstract:
For each integer partition $\mathbf{q}$ with $d$ parts, we denote by $Δ_{(1,\mathbf{q})}$ the lattice simplex obtained as the convex hull in $\mathbb{R}^d$ of the standard basis vectors along with the vector $-\mathbf{q}$. For $\mathbf{q}$ with two distinct parts such that $Δ_{(1,\mathbf{q})}$ is reflexive and has the integer decomposition property, we establish a characterization of the lattice p…
▽ More
For each integer partition $\mathbf{q}$ with $d$ parts, we denote by $Δ_{(1,\mathbf{q})}$ the lattice simplex obtained as the convex hull in $\mathbb{R}^d$ of the standard basis vectors along with the vector $-\mathbf{q}$. For $\mathbf{q}$ with two distinct parts such that $Δ_{(1,\mathbf{q})}$ is reflexive and has the integer decomposition property, we establish a characterization of the lattice points contained in $Δ_{(1,\mathbf{q})}$. We then construct a Gröbner basis with a squarefree initial ideal of the toric ideal defined by these simplices. This establishes the existence of a regular unimodular triangulation for reflexive 2-supported $Δ_{(1,\mathbf{q})}$ having the integer decomposition property.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
The TRaCaR Ratio: Selecting the Right Storage Technology for Active Dataset-Serving Databases
Authors:
Francisco Romero,
Benjamin Braun,
David Cheriton
Abstract:
Main memory database systems aim to provide users with low latency and high throughput access to data. Most data resides in secondary storage, which is limited by the access speed of the technology. For hot content, data resides in DRAM, which has become increasingly expensive as datasets grow in size and access demand. With the emergence of low-latency storage solutions such as Flash and Intel's…
▽ More
Main memory database systems aim to provide users with low latency and high throughput access to data. Most data resides in secondary storage, which is limited by the access speed of the technology. For hot content, data resides in DRAM, which has become increasingly expensive as datasets grow in size and access demand. With the emergence of low-latency storage solutions such as Flash and Intel's 3D XPoint (3DXP), there is an opportunity for these systems to give users high Quality-of-Service while reducing the cost for providers. To achieve high performance, providers must provision the server hosts for these datasets with the proper amount of DRAM and secondary storage, as well as selecting a storage technology. The growth of capacity and transaction load overtime makes it expensive to flip back-and-forth between different storage technologies and memory-storage combinations. Servers set up for one storage technology must now be reconfigured, repartitioned, and potentially replaced altogether. As more low-latency storage solutions become available, how does one decide on the right memory-storage combination, as well as selecting a storage technology, given a predicted trend in dataset growth and offered load? In this paper, we describe and make the case for using the TRaCaR ratio - the transaction rate divided by the storage capacity needed for a workload - for allowing providers to choose the most cost-effective memory-storage combination and storage technology given their predicted dataset trend and load requirement. We explore how the TRaCaR ratio can be used with 3DXP and Flash with a highly-zipfian b-tree database, and discuss potential research directions that can leverage the ratio.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Decompositions of Ehrhart $h^*$-polynomials for rational polytopes
Authors:
Matthias Beck,
Benjamin Braun,
Andrés R. Vindas-Meléndez
Abstract:
The Ehrhart quasipolynomial of a rational polytope $P$ encodes the number of integer lattice points in dilates of $P$, and the $h^*$-polynomial of $P$ is the numerator of the accompanying generating function. We provide two decomposition formulas for the $h^*$-polynomial of a rational polytope. The first decomposition generalizes a theorem of Betke and McMullen for lattice polytopes. We use our ra…
▽ More
The Ehrhart quasipolynomial of a rational polytope $P$ encodes the number of integer lattice points in dilates of $P$, and the $h^*$-polynomial of $P$ is the numerator of the accompanying generating function. We provide two decomposition formulas for the $h^*$-polynomial of a rational polytope. The first decomposition generalizes a theorem of Betke and McMullen for lattice polytopes. We use our rational Betke--McMullen formula to provide a novel proof of Stanley's Monotonicity Theorem for the $h^*$-polynomial of a rational polytope. The second decomposition generalizes a result of Stapledon, which we use to provide rational extensions of the Stanley and Hibi inequalities satisfied by the coefficients of the $h^*$-polynomial for lattice polytopes. Lastly, we apply our results to rational polytopes containing the origin whose duals are lattice polytopes.
△ Less
Submitted 22 February, 2021; v1 submitted 17 June, 2020;
originally announced June 2020.
-
Phase transitions and control measures for network epidemics caused by infections with presymptomatic, asymptomatic,and symptomatic stages
Authors:
Benjamin Braun,
Başak Taraktaş,
Brian Beckage,
Jane Molofsky
Abstract:
We investigate phase transitions associated with three control methods for epidemics on small world networks. Motivated by the behavior of SARS-CoV-2, we construct a theoretical SIR model of a virus that exhibits presymptomatic, asymptomatic, and symptomatic stages in two possible pathways. Using agent-based simulations on small world networks, we observe phase transitions for epidemic spread rela…
▽ More
We investigate phase transitions associated with three control methods for epidemics on small world networks. Motivated by the behavior of SARS-CoV-2, we construct a theoretical SIR model of a virus that exhibits presymptomatic, asymptomatic, and symptomatic stages in two possible pathways. Using agent-based simulations on small world networks, we observe phase transitions for epidemic spread related to: 1) Global social distancing with a fixed probability of adherence. 2) Individually initiated social isolation when a threshold number of contacts are infected. 3) Viral shedding rate. The primary driver of total number of infections is the viral shedding rate, with probability of social distancing being the next critical factor. Individually initiated social isolation was effective when initiated in response to a single infected contact. For each of these control measures, the total number of infections exhibits a sharp phase transition as the strength of the measure is varied.
△ Less
Submitted 9 July, 2020; v1 submitted 19 May, 2020;
originally announced May 2020.
-
Observation of plaquette fluctuations in the spin-1/2 honeycomb lattice
Authors:
C. Wessler,
B. Roessli,
K. W. Krämer,
B. Delley,
O. Waldmann,
L. Keller,
D. Cheptiakov,
H. B. Braun,
M. Kenzelmann
Abstract:
Quantum spin liquids are materials that feature quantum entangled spin correlations and avoid magnetic long-range order at T = 0 K. Particularly interesting are two-dimensional honeycomb spin lattices where a plethora of exotic quantum spin liquids have been predicted. Here, we experimentally study an effective S=1/2 Heisenberg honeycomb lattice with competing nearest and next-nearest neighbor int…
▽ More
Quantum spin liquids are materials that feature quantum entangled spin correlations and avoid magnetic long-range order at T = 0 K. Particularly interesting are two-dimensional honeycomb spin lattices where a plethora of exotic quantum spin liquids have been predicted. Here, we experimentally study an effective S=1/2 Heisenberg honeycomb lattice with competing nearest and next-nearest neighbor interactions. We demonstrate that YbBr$_3$ avoids order down to at least T=100 mK and features a dynamic spin-spin correlation function with broad continuum scattering typical of quantum spin liquids near a quantum critical point. The continuum in the spin spectrum is consistent with plaquette type fluctuations predicted by theory. Our study is the experimental demonstration that strong quantum fluctuations can exist on the honeycomb lattice even in the absence of Kitaev-type interactions, and opens a new perspective on quantum spin liquids.
△ Less
Submitted 7 May, 2020; v1 submitted 5 March, 2020;
originally announced March 2020.
-
Antichain Simplices
Authors:
Benjamin Braun,
Brian Davis
Abstract:
To each lattice simplex $Δ$ we associate a poset encoding the additive structure of lattice points in the fundamental parallelepiped for $Δ$. When this poset is an antichain, we say $Δ$ is antichain. To each partition $λ$ of $n$, we associate a lattice simplex $Δ_λ$ having one unimodular facet, and we investigate their associated posets. We give a number-theoretic characterization of the relations…
▽ More
To each lattice simplex $Δ$ we associate a poset encoding the additive structure of lattice points in the fundamental parallelepiped for $Δ$. When this poset is an antichain, we say $Δ$ is antichain. To each partition $λ$ of $n$, we associate a lattice simplex $Δ_λ$ having one unimodular facet, and we investigate their associated posets. We give a number-theoretic characterization of the relations in these posets, as well as a simplified characterization in the case where each part of $λ$ is relatively prime to $n-1$. We use these characterizations to experimentally study $Δ_λ$ for all partitions of $n$ with $n\leq 73$. We also investigate the structure of these posets when $λ$ has only one or two distinct parts. Finally, we explain how this work relates to Poincaré series for the semigroup algebra associated to $Δ$, and we prove that this series is rational when $Δ$ is antichain.
△ Less
Submitted 10 January, 2019; v1 submitted 5 January, 2019;
originally announced January 2019.
-
Skyrmion Tubes as Magnonic Waveguides
Authors:
Xiangjun Xing,
Yan Zhou,
H. B. Braun
Abstract:
Various latest experiments have proven the theoretical prediction that domain walls in planar magnetic structures can channel spin waves as outstanding magnonic waveguides, establishing a superb platform for building magnonic devices. Recently, three-dimensional nanomagnetism has been boosted up and become a significant branch of magnetism, because three-dimensional magnetic structures expose a lo…
▽ More
Various latest experiments have proven the theoretical prediction that domain walls in planar magnetic structures can channel spin waves as outstanding magnonic waveguides, establishing a superb platform for building magnonic devices. Recently, three-dimensional nanomagnetism has been boosted up and become a significant branch of magnetism, because three-dimensional magnetic structures expose a lot of emerging physics hidden behind planar ones and will inevitably provide broader room for device engineering. Skyrmions and antiSkyrmions, as natural three-dimensional magnetic configurations, are not considered yet in the context of spin-wave channeling and steering. Here, we show that skyrmion tubes can act as nonplanar magnonic waveguides if excited suitably. An isolated skyrmion tube in a magnetic nanoprism induces spatially separate internal and edge channels of spin waves; the internal channel has a narrower energy gap, compared to the edge channel, and accordingly can transmit signals at lower frequencies. Additionally, we verify that those spin-wave beams along magnetic nanoprism are restricted to the regions of potential wells. Transmission of spin-wave signals in such waveguides results from the coherent propagation of locally driven eigenmodes of skyrmions, i.e., the breathing and rotational modes. Finally, we find that spin waves along the internal channels are less susceptible to magnetic field than those along the edge channels. Our work will open a new arena for spin-wave manipulation and help bridge skyrmionics and magnonics.
△ Less
Submitted 1 January, 2019;
originally announced January 2019.
-
Hajós-Type Constructions and Neighborhood Complexes
Authors:
Benjamin Braun,
Julianne Vega
Abstract:
Any graph $G$ with chromatic number $k$ can be constructed by iteratively performing certain graph operations on a sequence of graphs starting with $K_k$, resulting in a variety of Hajós-type constructions for $G$. Finding such constructions for a given graph or family of graphs is a challenging task. We show that the basic steps in these Hajós-type constructions frequently result in the presence…
▽ More
Any graph $G$ with chromatic number $k$ can be constructed by iteratively performing certain graph operations on a sequence of graphs starting with $K_k$, resulting in a variety of Hajós-type constructions for $G$. Finding such constructions for a given graph or family of graphs is a challenging task. We show that the basic steps in these Hajós-type constructions frequently result in the presence of an $S^1$-wedge summand in the neighborhood complex of the resulting graph. Our results imply that for a graph $G$ with a highly-connected neighborhood complex, the end behavior of the construction sequence is quite restricted, and we investigate these restrictions in detail. We also introduce two graph construction algorithms based on different Hajós-type constructions and conduct computational experiments using these.
△ Less
Submitted 19 December, 2018;
originally announced December 2018.
-
Homomorphism Complexes and Maximal Chains in Graded Posets
Authors:
Benjamin Braun,
Wesley K. Hough
Abstract:
We apply the homomorphism complex construction to partially ordered sets, introducing a new topological construction based on the set of maximal chains in a graded poset. Our primary objects of study are distributive lattices, with special emphasis on finite products of chains. For the special case of a Boolean algebra, we observe that the corresponding homomorphism complex is isomorphic to the su…
▽ More
We apply the homomorphism complex construction to partially ordered sets, introducing a new topological construction based on the set of maximal chains in a graded poset. Our primary objects of study are distributive lattices, with special emphasis on finite products of chains. For the special case of a Boolean algebra, we observe that the corresponding homomorphism complex is isomorphic to the subcomplex of cubical cells in a permutahedron. Thus, this work can be interpreted as a generalization of the study of these complexes. We provide a detailed investigation when our poset is a product of chains, in which case we find an optimal discrete Morse matching and prove that the corresponding complex is torsion-free.
△ Less
Submitted 22 December, 2018; v1 submitted 18 December, 2018;
originally announced December 2018.
-
A Brief Survey on Lattice Zonotopes
Authors:
Benjamin Braun,
Andrés R. Vindas-Meléndez
Abstract:
Zonotopes are a rich and fascinating family of polytopes, with connections to many areas of mathematics. In this article we provide a brief survey of classical and recent results related to lattice zonotopes. Our emphasis is on connections to combinatorics, both in the sense of enumeration (e.g. Ehrhart theory) and combinatorial structures (e.g. graphs and permutations).
Zonotopes are a rich and fascinating family of polytopes, with connections to many areas of mathematics. In this article we provide a brief survey of classical and recent results related to lattice zonotopes. Our emphasis is on connections to combinatorics, both in the sense of enumeration (e.g. Ehrhart theory) and combinatorial structures (e.g. graphs and permutations).
△ Less
Submitted 16 August, 2018; v1 submitted 14 August, 2018;
originally announced August 2018.
-
$h^*$-Polynomials With Roots on the Unit Circle
Authors:
Benjamin Braun,
Fu Liu
Abstract:
For an $n$-dimensional lattice simplex $Δ_{(1,\mathbf{q})}$ with vertices given by the standard basis vectors and $-\mathbf{q}$ where $\mathbf{q}$ has positive entries, we investigate when the Ehrhart $h^*$-polynomial for $Δ_{(1,\mathbf{q})}$ factors as a product of geometric series in powers of $z$. Our motivation is a theorem of Rodriguez-Villegas implying that when the $h^*$-polynomial of a lat…
▽ More
For an $n$-dimensional lattice simplex $Δ_{(1,\mathbf{q})}$ with vertices given by the standard basis vectors and $-\mathbf{q}$ where $\mathbf{q}$ has positive entries, we investigate when the Ehrhart $h^*$-polynomial for $Δ_{(1,\mathbf{q})}$ factors as a product of geometric series in powers of $z$. Our motivation is a theorem of Rodriguez-Villegas implying that when the $h^*$-polynomial of a lattice polytope $P$ has all roots on the unit circle, then the Ehrhart polynomial of $P$ has positive coefficients. We focus on those $Δ_{(1,\mathbf{q})}$ for which $\mathbf{q}$ has only two or three distinct entries, providing both theoretical results and conjectures/questions motivated by experimental evidence.
△ Less
Submitted 19 July, 2018; v1 submitted 29 June, 2018;
originally announced July 2018.
-
Rationality of Poincaré Series for a Family of Lattice Simplices
Authors:
Benjamin Braun,
Brian Davis
Abstract:
We investigate multi-graded Gorenstein semigroup algebras associated with an infinite family of reflexive lattice simplices. For each of these algebras, we prove that their multigraded Poincaré series is rational. Our method of proof is to produce for each algebra an explicit minimal free resolution of the ground field, in which the resolution reflects the recursive structure encoded in the denomi…
▽ More
We investigate multi-graded Gorenstein semigroup algebras associated with an infinite family of reflexive lattice simplices. For each of these algebras, we prove that their multigraded Poincaré series is rational. Our method of proof is to produce for each algebra an explicit minimal free resolution of the ground field, in which the resolution reflects the recursive structure encoded in the denominator of the finely-graded Poincaré series. Using this resolution, we show that these algebras are not Koszul, and therefore rationality is non-trivial. Our results demonstrate how interactions between multivariate and univariate rational generating functions can create subtle complications when attempting to use rational Poincaré series to inform the construction of minimal resolutions.
△ Less
Submitted 30 October, 2020; v1 submitted 11 November, 2017;
originally announced November 2017.
-
Laplacian Simplices
Authors:
Benjamin Braun,
Marie Meyer
Abstract:
This paper initiates the study of the "Laplacian simplex" $T_G$ obtained from a finite graph $G$ by taking the convex hull of the columns of the Laplacian matrix for $G$. Basic properties of these simplices are established, and then a systematic investigation of $T_G$ for trees, cycles, and complete graphs is provided. Motivated by a conjecture of Hibi and Ohsugi, our investigation focuses on refl…
▽ More
This paper initiates the study of the "Laplacian simplex" $T_G$ obtained from a finite graph $G$ by taking the convex hull of the columns of the Laplacian matrix for $G$. Basic properties of these simplices are established, and then a systematic investigation of $T_G$ for trees, cycles, and complete graphs is provided. Motivated by a conjecture of Hibi and Ohsugi, our investigation focuses on reflexivity, the integer decomposition property, and unimodality of Ehrhart $h^*$-vectors. We prove that if $G$ is a tree, odd cycle, complete graph, or a whiskering of an even cycle, then $T_G$ is reflexive. We show that while $T_{K_n}$ has the integer decomposition property, $T_{C_n}$ for odd cycles does not. The Ehrhart $h^*$-vectors of $T_G$ for trees, odd cycles, and complete graphs are shown to be unimodal. As a special case it is shown that when $n$ is an odd prime, the Ehrhart $h^*$-vector of $T_{C_n}$ is given by $(h_0^*,\ldots,h_{n-1}^*)=(1,\ldots,1,n^2-n+1,1,\ldots, 1)$. We also provide a combinatorial interpretation of the Ehrhart $h^*$-vector for $T_{K_n}$.
△ Less
Submitted 21 June, 2017;
originally announced June 2017.
-
Counting Arithmetical Structures on Paths and Cycles
Authors:
Benjamin Braun,
Hugo Corrales,
Scott Corry,
Luis David García Puente,
Darren Glass,
Nathan Kaplan,
Jeremy L. Martin,
Gregg Musiker,
Carlos E. Valencia
Abstract:
Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices…
▽ More
Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles.
△ Less
Submitted 23 July, 2018; v1 submitted 23 January, 2017;
originally announced January 2017.
-
Detecting the Integer Decomposition Property and Ehrhart Unimodality in Reflexive Simplices
Authors:
Benjamin Braun,
Robert Davis,
Liam Solus
Abstract:
A long-standing open conjecture in combinatorics asserts that a Gorenstein lattice polytope with the integer decomposition property (IDP) has a unimodal (Ehrhart) $h^\ast$-polynomial. This conjecture can be viewed as a strengthening of a previously disproved conjecture which stated that any Gorenstein lattice polytope has a unimodal $h^\ast$-polynomial. The first counterexamples to unimodality for…
▽ More
A long-standing open conjecture in combinatorics asserts that a Gorenstein lattice polytope with the integer decomposition property (IDP) has a unimodal (Ehrhart) $h^\ast$-polynomial. This conjecture can be viewed as a strengthening of a previously disproved conjecture which stated that any Gorenstein lattice polytope has a unimodal $h^\ast$-polynomial. The first counterexamples to unimodality for Gorenstein lattice polytopes were given in even dimensions greater than five by Musta{ţ}{ǎ} and Payne, and this was extended to all dimensions greater than five by Payne. While there exist numerous examples in support of the conjecture that IDP reflexives are $h^\ast$-unimodal, its validity has not yet been considered for families of reflexive lattice simplices that closely generalize Payne's counterexamples. The main purpose of this work is to prove that the former conjecture does indeed hold for a natural generalization of Payne's examples. The second purpose of this work is to extend this investigation to a broader class of lattice simplices, for which we present new results and open problems.
△ Less
Submitted 1 June, 2018; v1 submitted 4 August, 2016;
originally announced August 2016.
-
Euler-Mahonian statistics and descent bases for semigroup algebras
Authors:
Benjamin Braun,
McCabe Olsen
Abstract:
We consider quotients of the unit cube semigroup algebra by particular $\mathbb{Z}_r\wr S_n$-invariant ideals. Using Gröbner basis methods, we show that the resulting graded quotient algebra has a basis where each element is indexed by colored permutations $(π,ε)\in\mathbb{Z}_r\wr S_n$ and each element encodes the negative descent and negative major index statistics on $(π,ε)$. This gives an algeb…
▽ More
We consider quotients of the unit cube semigroup algebra by particular $\mathbb{Z}_r\wr S_n$-invariant ideals. Using Gröbner basis methods, we show that the resulting graded quotient algebra has a basis where each element is indexed by colored permutations $(π,ε)\in\mathbb{Z}_r\wr S_n$ and each element encodes the negative descent and negative major index statistics on $(π,ε)$. This gives an algebraic interpretation of these statistics which was previously unknown. This basis of the $\mathbb{Z}_r\wr S_n$-quotients allows us to recover certain combinatorial identities involving Euler-Mahonian distributions of statistics.
△ Less
Submitted 14 October, 2017; v1 submitted 9 June, 2016;
originally announced June 2016.
-
Matching and Independence Complexes Related to Small Grids
Authors:
Benjamin Braun,
Wesley K. Hough
Abstract:
The topology of the matching complex for the $2\times n$ grid graph is mysterious. We describe a discrete Morse matching for a family of independence complexes $\mathrm{Ind}(Δ_n^m)$ that include these matching complexes. Using this matching, we determine the dimensions of the chain spaces for the resulting Morse complexes and derive bounds on the location of non-trivial homology groups for certain…
▽ More
The topology of the matching complex for the $2\times n$ grid graph is mysterious. We describe a discrete Morse matching for a family of independence complexes $\mathrm{Ind}(Δ_n^m)$ that include these matching complexes. Using this matching, we determine the dimensions of the chain spaces for the resulting Morse complexes and derive bounds on the location of non-trivial homology groups for certain $\mathrm{Ind}(Δ_n^m)$. Further, we determine the Euler characteristic of $\mathrm{Ind}(Δ_n^m)$ and prove that several homology groups of $\mathrm{Ind}(Δ_n^m)$ are non-zero.
△ Less
Submitted 3 June, 2016;
originally announced June 2016.
-
Generating functions and triangulations for lecture hall cones
Authors:
Matthias Beck,
Benjamin Braun,
Matthias Köppe,
Carla D. Savage,
Zafeirakis Zafeirakopoulos
Abstract:
We investigate the arithmetic-geometric structure of the lecture hall cone \[ L_n \ := \ \left\{λ\in \mathbb{R}^n: \, 0\leq \frac{λ_1}{1}\leq \frac{λ_2}{2}\leq \frac{λ_3}{3}\leq \cdots \leq \frac{λ_n}{n}\right\} . \] We show that $L_n$ is isomorphic to the cone over the lattice pyramid of a reflexive simplex whose Ehrhart $h^*$-polynomial is given by the $(n-1)$st Eulerian polynomial, and prove th…
▽ More
We investigate the arithmetic-geometric structure of the lecture hall cone \[ L_n \ := \ \left\{λ\in \mathbb{R}^n: \, 0\leq \frac{λ_1}{1}\leq \frac{λ_2}{2}\leq \frac{λ_3}{3}\leq \cdots \leq \frac{λ_n}{n}\right\} . \] We show that $L_n$ is isomorphic to the cone over the lattice pyramid of a reflexive simplex whose Ehrhart $h^*$-polynomial is given by the $(n-1)$st Eulerian polynomial, and prove that lecture hall cones admit regular, flag, unimodular triangulations. After explicitly describing the Hilbert basis for $L_n$, we conclude with observations and a conjecture regarding the structure of unimodular triangulations of $L_n$, including connections between enumerative and algebraic properties of $L_n$ and cones over unit cubes.
△ Less
Submitted 29 October, 2017; v1 submitted 19 August, 2015;
originally announced August 2015.
-
Robust and Efficient Elimination of Cache and Timing Side Channels
Authors:
Benjamin A. Braun,
Suman Jana,
Dan Boneh
Abstract:
Timing and cache side channels provide powerful attacks against many sensitive operations including cryptographic implementations. Existing defenses cannot protect against all classes of such attacks without incurring prohibitive performance overhead. A popular strategy for defending against all classes of these attacks is to modify the implementation so that the timing and cache access patterns o…
▽ More
Timing and cache side channels provide powerful attacks against many sensitive operations including cryptographic implementations. Existing defenses cannot protect against all classes of such attacks without incurring prohibitive performance overhead. A popular strategy for defending against all classes of these attacks is to modify the implementation so that the timing and cache access patterns of every hardware instruction is independent of the secret inputs. However, this solution is architecture-specific, brittle, and difficult to get right. In this paper, we propose and evaluate a robust low-overhead technique for mitigating timing and cache channels. Our solution requires only minimal source code changes and works across multiple languages/platforms. We report the experimental results of applying our solution to protect several C, C++, and Java programs. Our results demonstrate that our solution successfully eliminates the timing and cache side-channel leaks while incurring significantly lower performance overhead than existing approaches.
△ Less
Submitted 31 August, 2015; v1 submitted 30 May, 2015;
originally announced June 2015.
-
Unimodality Problems in Ehrhart Theory
Authors:
Benjamin Braun
Abstract:
Ehrhart theory is the study of sequences recording the number of integer points in non-negative integral dilates of rational polytopes. For a given lattice polytope, this sequence is encoded in a finite vector called the Ehrhart $h^*$-vector. Ehrhart $h^*$-vectors have connections to many areas of mathematics, including commutative algebra and enumerative combinatorics. In this survey we discuss w…
▽ More
Ehrhart theory is the study of sequences recording the number of integer points in non-negative integral dilates of rational polytopes. For a given lattice polytope, this sequence is encoded in a finite vector called the Ehrhart $h^*$-vector. Ehrhart $h^*$-vectors have connections to many areas of mathematics, including commutative algebra and enumerative combinatorics. In this survey we discuss what is known about unimodality for Ehrhart $h^*$-vectors and highlight open questions and problems.
△ Less
Submitted 29 November, 2017; v1 submitted 27 May, 2015;
originally announced May 2015.
-
Shellability, Ehrhart Theory, and $r$-stable Hypersimplices
Authors:
Benjamin Braun,
Liam Solus
Abstract:
Hypersimplices are well-studied objects in combinatorics, optimization, and representation theory. For each hypersimplex, we define a new family of subpolytopes, called r-stable hypersimplices, and show that a well-known regular unimodular triangulation of the hypersimplex restricts to a triangulation of each r-stable hypersimplex. For the case of the second hypersimplex defined by the two-element…
▽ More
Hypersimplices are well-studied objects in combinatorics, optimization, and representation theory. For each hypersimplex, we define a new family of subpolytopes, called r-stable hypersimplices, and show that a well-known regular unimodular triangulation of the hypersimplex restricts to a triangulation of each r-stable hypersimplex. For the case of the second hypersimplex defined by the two-element subsets of an n-set, we provide a shelling of this triangulation that sequentially shells each r-stable sub-hypersimplex. In this case, we utilize the shelling to compute the Ehrhart h*-polynomials of these polytopes, and the hypersimplex, via independence polynomials of graphs. For one such r-stable hypersimplex, this computation yields a connection to CR map**s of Lens spaces via Ehrhart-MacDonald reciprocity.
△ Less
Submitted 16 March, 2016; v1 submitted 20 August, 2014;
originally announced August 2014.
-
Dynamical magnetic skyrmions
Authors:
Y. Zhou,
E. Iacocca,
A. Awad,
R. K. Dumas,
F. C. Zhang,
H. B. Braun,
J. Åkerman
Abstract:
Spin transfer torque (STT) affords magnetic nanodevices the potential to act as memory, computing, and microwave elements operating at ultra-low currents and at a low energy cost. Spin transfer torque is not only effective in manipulating well-known magnetic structures, such as domain walls and vortices, but can also nucleate previously unattainable nano-magnetic objects, such as magnetic droplets…
▽ More
Spin transfer torque (STT) affords magnetic nanodevices the potential to act as memory, computing, and microwave elements operating at ultra-low currents and at a low energy cost. Spin transfer torque is not only effective in manipulating well-known magnetic structures, such as domain walls and vortices, but can also nucleate previously unattainable nano-magnetic objects, such as magnetic droplets and skyrmions. While the droplet and the skyrmion are both solitons, the former is inherently dynamic and non-topological, whereas the latter is static but topologically protected. Here we show that it is possible to combine these properties into a novel topologically protected dynamical skyrmion, which adds additional degrees of freedom, and functionality, to both droplet and skyrmion based applications. Unlike static skyrmions, the dynamical skyrmion can be nucleated and sustained without Dzyaloshinskii-Moriya interaction (DMI) or dipole-dipole interaction (DDI), and is a generic soliton solution independent of STT and dam** once nucleated. In the presence of large DMI, the dynamical skyrmion experiences strong breathing with particular promise for skyrmion-based memory and microwave applications.
△ Less
Submitted 18 September, 2014; v1 submitted 12 April, 2014;
originally announced April 2014.
-
Ehrhart series, unimodality, and integrally closed reflexive polytopes
Authors:
Benjamin Braun,
Robert Davis
Abstract:
An interesting open problem in Ehrhart theory is to classify those lattice polytopes having a unimodal $h^*$-vector. Although various sufficient conditions have been found, necessary conditions remain a challenge. In this paper, we consider integrally closed reflexive simplices and discuss an operation that preserves reflexivity, integral closure, and unimodality of the $h^*$-vector, providing one…
▽ More
An interesting open problem in Ehrhart theory is to classify those lattice polytopes having a unimodal $h^*$-vector. Although various sufficient conditions have been found, necessary conditions remain a challenge. In this paper, we consider integrally closed reflexive simplices and discuss an operation that preserves reflexivity, integral closure, and unimodality of the $h^*$-vector, providing one explanation for why unimodality occurs in this setting. We also discuss the failure of proving unimodality in this setting using weak Lefschetz elements.
△ Less
Submitted 27 August, 2014; v1 submitted 21 March, 2014;
originally announced March 2014.
-
Hyperoctahedral Eulerian Idempotents, Hodge Decompositions, and Signed Graph Coloring Complexes
Authors:
Benjamin Braun,
Sarah Crown Rundell
Abstract:
Phil Hanlon proved that the coefficients of the chromatic polynomial of a graph G are equal (up to sign) to the dimensions of the summands in a Hodge-type decomposition of the top homology of the coloring complex for G. We prove a type B analogue of this result for chromatic polynomials of signed graphs using hyperoctahedral Eulerian idempotents.
Phil Hanlon proved that the coefficients of the chromatic polynomial of a graph G are equal (up to sign) to the dimensions of the summands in a Hodge-type decomposition of the top homology of the coloring complex for G. We prove a type B analogue of this result for chromatic polynomials of signed graphs using hyperoctahedral Eulerian idempotents.
△ Less
Submitted 27 July, 2013;
originally announced July 2013.
-
s-Lecture Hall Partitions, Self-Reciprocal Polynomials, and Gorenstein Cones
Authors:
Matthias Beck,
Benjamin Braun,
Matthias Köppe,
Carla Savage,
Zafeirakis Zafeirakopoulos
Abstract:
In 1997, Bousquet-Melou and Eriksson initiated the study of lecture hall partitions, a fascinating family of partitions that yield a finite version of Euler's celebrated odd/distinct partition theorem. In subsequent work on s-lecture hall partitions, they considered the self-reciprocal property for various associated generating functions, with the goal of characterizing those sequences s that give…
▽ More
In 1997, Bousquet-Melou and Eriksson initiated the study of lecture hall partitions, a fascinating family of partitions that yield a finite version of Euler's celebrated odd/distinct partition theorem. In subsequent work on s-lecture hall partitions, they considered the self-reciprocal property for various associated generating functions, with the goal of characterizing those sequences s that give rise to generating functions of the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$.
We continue this line of investigation, connecting their work to the more general context of Gorenstein cones. We focus on the Gorenstein condition for s-lecture hall cones when s is a positive integer sequence generated by a second-order homogeneous linear recurrence with initial values 0 and 1. Among such sequences s, we prove that the n-dimensional s-lecture hall cone is Gorenstein for all n greater than or equal to 1 if and only if s is an l-sequence. One consequence is that among such sequences s, unless s is an l-sequence, the generating function for the s-lecture hall partitions can have the form $((1-q^{e_1})(1-q^{e_2})...(1-q^{e_n}))^{-1}$ for at most finitely many n.
We also apply the results to establish several conjectures by Pensyl and Savage regarding the symmetry of h*-vectors for s-lecture hall polytopes. We end with open questions and directions for further research.
△ Less
Submitted 17 October, 2013; v1 submitted 1 November, 2012;
originally announced November 2012.
-
Lattice Point Generating Functions and Symmetric Cones
Authors:
Matthias Beck,
Thomas Bliem,
Benjamin Braun,
Carla Savage
Abstract:
We show that a recent identity of Beck-Gessel-Lee-Savage on the generating function of symmetrically contrained compositions of integers generalizes naturally to a family of convex polyhedral cones that are invariant under the action of a finite reflection group. We obtain general expressions for the multivariate generating functions of such cones, and work out the specific cases of a symmetry gro…
▽ More
We show that a recent identity of Beck-Gessel-Lee-Savage on the generating function of symmetrically contrained compositions of integers generalizes naturally to a family of convex polyhedral cones that are invariant under the action of a finite reflection group. We obtain general expressions for the multivariate generating functions of such cones, and work out the specific cases of a symmetry group of type A (previously known) and types B and D (new). We obtain several applications of the special cases in type B, including identities involving permutation statistics and lecture hall partitions.
△ Less
Submitted 7 June, 2012;
originally announced June 2012.
-
Compositions constrained by graph Laplacian minors
Authors:
Benjamin Braun,
Robert Davis,
Ashley Harrison,
Jessica McKim,
Jenna Noll,
Clifford Taylor
Abstract:
Motivated by examples of symmetrically constrained compositions, super convex partitions, and super convex compositions, we initiate the study of partitions and compositions constrained by graph Laplacian minors. We provide a complete description of the multivariate generating functions for such compositions in the case of trees. We answer a question due to Corteel, Savage, and Wilf regarding supe…
▽ More
Motivated by examples of symmetrically constrained compositions, super convex partitions, and super convex compositions, we initiate the study of partitions and compositions constrained by graph Laplacian minors. We provide a complete description of the multivariate generating functions for such compositions in the case of trees. We answer a question due to Corteel, Savage, and Wilf regarding super convex compositions, which we describe as compositions constrained by Laplacian minors for cycles; we extend this solution to the study of compositions constrained by Laplacian minors of leafed cycles. Connections are established and conjectured between compositions constrained by Laplacian minors of leafed cycles of prime length and algebraic/combinatorial properties of reflexive simplices.
△ Less
Submitted 9 February, 2012;
originally announced February 2012.
-
Euler-Mahonian Statistics via Polyhedral Geometry
Authors:
Matthias Beck,
Benjamin Braun
Abstract:
A variety of descent and major-index statistics have been defined for symmetric groups, hyperoctahedral groups, and their generalizations. Typically associated to pairs of such statistics is an Euler--Mahonian distribution, a bivariate generating function identity encoding these statistics. We use techniques from polyhedral geometry to establish new multivariate generalizations for many of the kno…
▽ More
A variety of descent and major-index statistics have been defined for symmetric groups, hyperoctahedral groups, and their generalizations. Typically associated to pairs of such statistics is an Euler--Mahonian distribution, a bivariate generating function identity encoding these statistics. We use techniques from polyhedral geometry to establish new multivariate generalizations for many of the known Euler--Mahonian distributions. The original bivariate distributions are then straightforward specializations of these multivariate identities. A consequence of these new techniques are bijective proofs of the equivalence of the bivariate distributions for various pairs of statistics.
△ Less
Submitted 21 May, 2013; v1 submitted 15 September, 2011;
originally announced September 2011.
-
Cellular Resolutions of Ideals Defined by Simplicial Homomorphisms
Authors:
Benjamin Braun,
Jonathan Browder,
Steven Klee
Abstract:
In this paper we introduce the class of ordered homomorphism ideals and prove that these ideals admit minimal cellular resolutions constructed as homomorphism complexes. As a key ingredient of our work, we introduce the class of cointerval simplicial complexes and investigate their combinatorial and topological properties. As a concrete illustration of these structural results, we introduce and st…
▽ More
In this paper we introduce the class of ordered homomorphism ideals and prove that these ideals admit minimal cellular resolutions constructed as homomorphism complexes. As a key ingredient of our work, we introduce the class of cointerval simplicial complexes and investigate their combinatorial and topological properties. As a concrete illustration of these structural results, we introduce and study nonnesting monomial ideals, an interesting family of combinatorially defined ideals.
△ Less
Submitted 7 March, 2011;
originally announced March 2011.
-
Mahonian Partition Identities Via Polyhedral Geometry
Authors:
Matthias Beck,
Benjamin Braun,
Nguyen Le
Abstract:
In a series of papers, George Andrews and various coauthors successfully revitalized seemingly forgotten, powerful machinery based on MacMahon's $Ω$ operator to systematically compute generating functions $\sum_{\la \in P} z_1^{\la_1}...z_n^{\la_n}$ for some set $P$ of integer partitions $\la = (\la_1,..., \la_n)$. Our goal is to geometrically prove and extend many of the Andrews et al theorems, b…
▽ More
In a series of papers, George Andrews and various coauthors successfully revitalized seemingly forgotten, powerful machinery based on MacMahon's $Ω$ operator to systematically compute generating functions $\sum_{\la \in P} z_1^{\la_1}...z_n^{\la_n}$ for some set $P$ of integer partitions $\la = (\la_1,..., \la_n)$. Our goal is to geometrically prove and extend many of the Andrews et al theorems, by realizing a given family of partitions as the set of integer lattice points in a certain polyhedron.
△ Less
Submitted 3 April, 2011; v1 submitted 5 March, 2011;
originally announced March 2011.
-
Deformation Retracts of Neighborhood Complexes of Stable Kneser Graphs
Authors:
Benjamin Braun,
Matthew Zeckner
Abstract:
In 2003, A. Bjorner and M. de Longueville proved that the neighborhood complex of the stable Kneser graph SG_{n,k} is homotopy equivalent to a k-sphere. Further, for n=2 they showed that the neighborhood complex deformation retracts to a subcomplex isomorphic to the associahedron. They went on to ask whether or not, for all n and k, the neighborhood complex of SG_{n,k} contains as a deformation re…
▽ More
In 2003, A. Bjorner and M. de Longueville proved that the neighborhood complex of the stable Kneser graph SG_{n,k} is homotopy equivalent to a k-sphere. Further, for n=2 they showed that the neighborhood complex deformation retracts to a subcomplex isomorphic to the associahedron. They went on to ask whether or not, for all n and k, the neighborhood complex of SG_{n,k} contains as a deformation retract the boundary complex of a simplicial polytope.
Our purpose is to give a positive answer to this question in the case k=2. We also find in this case that, after partially subdividing the neighborhood complex, the resulting complex deformation retracts onto a subcomplex arising as a polyhedral boundary sphere that is invariant under the action induced by the automorphism group of SG_{n,2}.
△ Less
Submitted 9 February, 2011;
originally announced February 2011.
-
Direct calculation of the attempt frequency of magnetic structures using the finite element method
Authors:
G. Fiedler,
J. Fidler,
J. Lee,
T. Schrefl,
R. L. Stamps,
H. B. Braun,
D. Suess
Abstract:
A numerical implementation of the transition state theory (TST) is presented which can be used to calculate the attempt frequency $f_{0}$ of arbitrary shaped magnetic nanostructures. The micromagnetic equations are discretized using the finite element method. The climbing image nudged elastic band method is used to calculate the saddle point configuration, which is required for the calculation of…
▽ More
A numerical implementation of the transition state theory (TST) is presented which can be used to calculate the attempt frequency $f_{0}$ of arbitrary shaped magnetic nanostructures. The micromagnetic equations are discretized using the finite element method. The climbing image nudged elastic band method is used to calculate the saddle point configuration, which is required for the calculation of $f_{0}$. Excellent agreement of the implemented numerical model and analytical solutions is obtained for single domain particles. The developed method is applied to compare $f_{0}$ for single phase and graded media grains of advanced recording media. $f_{0}$ is predicted to be comparable if the maximum anisotropy is the same in these two media types.
△ Less
Submitted 23 December, 2010;
originally announced December 2010.
-
Independence Complexes of Stable Kneser Graphs
Authors:
Benjamin Braun
Abstract:
For integers n\geq 1, k\geq 0, the stable Kneser graph SG_{n,k} (also called the Schrijver graph) has as vertex set the stable n-subsets of [2n+k] and as edges disjoint pairs of n-subsets, where a stable n-subset is one that does not contain any 2-subset of the form {i,i+1} or {1,2n+k}. The stable Kneser graphs have been an interesting object of study since the late 1970's when A. Schrijver dete…
▽ More
For integers n\geq 1, k\geq 0, the stable Kneser graph SG_{n,k} (also called the Schrijver graph) has as vertex set the stable n-subsets of [2n+k] and as edges disjoint pairs of n-subsets, where a stable n-subset is one that does not contain any 2-subset of the form {i,i+1} or {1,2n+k}. The stable Kneser graphs have been an interesting object of study since the late 1970's when A. Schrijver determined that they are a vertex critical class of graphs with chromatic number k+2. This article contains a study of the independence complexes of SG_{n,k} for small values of n and k. Our contributions are two-fold: first, we find that the homotopy type of the independence complex of SG_{2,k} is a wedge of spheres of dimension two. Second, we determine the homotopy types of the independence complexes of certain graphs related to SG_{n,2}.
△ Less
Submitted 3 December, 2009;
originally announced December 2009.
-
Nowhere-Harmonic Colorings of Graphs
Authors:
Matthias Beck,
Benjamin Braun
Abstract:
Proper vertex colorings of a graph are related to its boundary map, also called its signed vertex-edge incidence matrix. The vertex Laplacian of a graph, a natural extension of the boundary map, leads us to introduce nowhere-harmonic colorings and analogues of the chromatic polynomial and Stanley's theorem relating negative evaluations of the chromatic polynomial to acyclic orientations. Further,…
▽ More
Proper vertex colorings of a graph are related to its boundary map, also called its signed vertex-edge incidence matrix. The vertex Laplacian of a graph, a natural extension of the boundary map, leads us to introduce nowhere-harmonic colorings and analogues of the chromatic polynomial and Stanley's theorem relating negative evaluations of the chromatic polynomial to acyclic orientations. Further, we discuss some examples demonstrating that nowhere-harmonic colorings are more complicated from an enumerative perspective than proper colorings.
△ Less
Submitted 17 November, 2010; v1 submitted 7 July, 2009;
originally announced July 2009.
-
The Complex of Non-Crossing Diagonals of a Polygon
Authors:
Benjamin Braun,
Richard Ehrenborg
Abstract:
Given a convex n-gon P in the Euclidean plane, it is well known that the simplicial complex θ(P) with vertex set given by diagonals in P and facets given by triangulations of P is the boundary complex of a polytope of dimension n-3. We prove that for any non-convex polygonal region P with n vertices and h+1 boundary components, θ(P) is a ball of dimension n+3h-4. We also provide a new proof that…
▽ More
Given a convex n-gon P in the Euclidean plane, it is well known that the simplicial complex θ(P) with vertex set given by diagonals in P and facets given by triangulations of P is the boundary complex of a polytope of dimension n-3. We prove that for any non-convex polygonal region P with n vertices and h+1 boundary components, θ(P) is a ball of dimension n+3h-4. We also provide a new proof that θ(P) is a sphere when P is convex.
△ Less
Submitted 10 February, 2008;
originally announced February 2008.
-
Impurity-Ion pair induced high-temperature ferromagnetism in Co-doped ZnO
Authors:
C. D. Pemmaraju,
R. Hanafin,
T. Archer,
H. B. Braun,
S. Sanvito
Abstract:
Magnetic 3d-ions doped into wide-gap oxides show signatures of room temperature ferromagnetism, although their concentration is two orders of magnitude smaller than that in conventional magnets. The prototype of these exceptional materials is Co-doped ZnO, for which an explanation of the room temperature ferromagnetism is still elusive. Here we demonstrate that magnetism originates from Co2+ oxy…
▽ More
Magnetic 3d-ions doped into wide-gap oxides show signatures of room temperature ferromagnetism, although their concentration is two orders of magnitude smaller than that in conventional magnets. The prototype of these exceptional materials is Co-doped ZnO, for which an explanation of the room temperature ferromagnetism is still elusive. Here we demonstrate that magnetism originates from Co2+ oxygen-vacancy pairs with a partially filled level close to the ZnO conduction band minimum. The magnetic interaction between these pairs is sufficiently long-ranged to cause percolation at moderate concentrations. However, magnetically correlated clusters large enough to show hysteresis at room temperature already form below the percolation threshold and explain the current experimental findings. Our work demonstrates that the magnetism in ZnO:Co is entirely governed by intrinsic defects and a phase diagram is presented. This suggests a recipe for tailoring the magnetic properties of spintronics materials by controlling their intrinsic defects.
△ Less
Submitted 31 January, 2008;
originally announced January 2008.
