-
Stacky fans and tropical moduli in polymake
Authors:
Dominic Bunnett,
Michael Joswig,
Julian Pfeifle
Abstract:
We investigate geometric embeddings among several classes of stacky fans and algorithms, e.g., to compute their homology. Interesting cases arise from moduli spaces of tropical curves. Specifically, we show that the tropical honeycomb curves form a contractible sub-locus in the moduli of all tropical $K_4$-curves.
We investigate geometric embeddings among several classes of stacky fans and algorithms, e.g., to compute their homology. Interesting cases arise from moduli spaces of tropical curves. Specifically, we show that the tropical honeycomb curves form a contractible sub-locus in the moduli of all tropical $K_4$-curves.
△ Less
Submitted 20 September, 2021; v1 submitted 18 January, 2021;
originally announced January 2021.
-
The HDvent Emergency Ventilator System
Authors:
David Grimshandl,
Manuel Gerken,
Eleonora Lippi,
Binh Tran,
Saba Zia Hassan,
Jan Hendrik Becher,
Selim Jochim,
Matthias Weidemüller,
Gunnar Föhner,
Steffen Brucker,
Frank Schumacher,
Wolfgang Beldermann,
Venelin Angelov,
Stefan Hetzel,
Stefan Hummel,
Simon Muley,
Bernd Windelband,
Christoph Eisner,
Marco Zugaj,
Philipp Bayer,
Dario Ernst,
Marcel Gehrlein,
Helmut Jacob,
Jens Pfeifle,
Andreas Treskatsch
, et al. (2 additional authors not shown)
Abstract:
The pandemic caused by Severe Acute Respiratory Syndrome Coronavirus 2 (SARS-CoV-2) has affected countries all across the world, heavily burdening the medical infrastructure with the growing number of patients affected by the coronavirus disease (COVID-19). With ventilators in limited supply, this public health emergency highlights the need for safe, fast, reliable, and economical alternatives to…
▽ More
The pandemic caused by Severe Acute Respiratory Syndrome Coronavirus 2 (SARS-CoV-2) has affected countries all across the world, heavily burdening the medical infrastructure with the growing number of patients affected by the coronavirus disease (COVID-19). With ventilators in limited supply, this public health emergency highlights the need for safe, fast, reliable, and economical alternatives to high-end commercial devices and has prompted the development of easy-to-use and mass-producible ventilators. Here, we detail the design of the HDvent Emergency Ventilator System. The device performs ventilation through mechanical compression of manual resuscitators and includes control electronics, flow and pressure sensors, and an external data visualization and monitoring unit. We demonstrate its suitability for open loop, pressure- and volume-controlled ventilation. The system has not undergone clinical testing and has not been approved for use as a medical device. The project documentation needed to reproduce the prototype is freely available and will contribute to the development of open source ventilation systems.
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
Positive Plücker tree certificates for non-realizability
Authors:
Julian Pfeifle
Abstract:
We introduce a new method for finding a non-realizability certificate of a simplicial sphere Sigma: we exhibit a monomial combination of classical 3-term Plücker relations that yields a sum of products of determinants that are known to be positive in any realization of Sigma; but their sum should vanish, contradiction. Using this technique, we prove for the first time the non-realizability of a ba…
▽ More
We introduce a new method for finding a non-realizability certificate of a simplicial sphere Sigma: we exhibit a monomial combination of classical 3-term Plücker relations that yields a sum of products of determinants that are known to be positive in any realization of Sigma; but their sum should vanish, contradiction. Using this technique, we prove for the first time the non-realizability of a balanced 2-neighborly 3-sphere constructed by Zheng, a family of highly neighborly centrally symmetric spheres constructed by by Novik and Zheng, and several combinatorial prismatoids introduced by Criado and Santos. The method in fact works for orientable pseudo-manifolds, not just for spheres.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
Microresonator solitons for massively parallel coherent optical communications
Authors:
Pablo Marin-Palomo,
Juned N. Kemal,
Maxim Karpov,
Arne Kordts,
Joerg Pfeifle,
Martin H. P. Pfeiffer,
Philipp Trocha,
Stefan Wolf,
Victor Brasch,
Miles H. Anderson,
Ralf Rosenberger,
Kovendhan Vijayan,
Wolfgang Freude,
Tobias J. Kippenberg,
Christian Koos
Abstract:
Optical solitons are waveforms that preserve their shape while propagating, relying on a balance of dispersion and nonlinearity. Soliton-based data transmission schemes were investigated in the 1980s, promising to overcome the limitations imposed by dispersion of optical fibers. These approaches, however, were eventually abandoned in favor of wavelength-division multiplexing (WDM) schemes that are…
▽ More
Optical solitons are waveforms that preserve their shape while propagating, relying on a balance of dispersion and nonlinearity. Soliton-based data transmission schemes were investigated in the 1980s, promising to overcome the limitations imposed by dispersion of optical fibers. These approaches, however, were eventually abandoned in favor of wavelength-division multiplexing (WDM) schemes that are easier to implement and offer improved scalability to higher data rates. Here, we show that solitons may experience a comeback in optical communications, this time not as a competitor, but as a key element of massively parallel WDM. Instead of encoding data on the soliton itself, we exploit continuously circulating dissipative Kerr solitons (DKS) in a microresonator. DKS are generated in an integrated silicon nitride microresonator by four-photon interactions mediated by Kerr nonlinearity, leading to low-noise, spectrally smooth and broadband optical frequency combs. In our experiments, we use two interleaved soliton Kerr combs to transmit a data stream of more than 50Tbit/s on a total of 179 individual optical carriers that span the entire telecommunication C and L bands. Equally important, we demonstrate coherent detection of a WDM data stream by using a pair of microresonator Kerr soliton combs - one as a multi-wavelength light source at the transmitter, and another one as a corresponding local oscillator (LO) at the receiver. This approach exploits the scalability advantages of microresonator soliton comb sources for massively parallel optical communications both at the transmitter and receiver side. Taken together, the results prove the significant potential of these sources to replace arrays of continuous-wave lasers in high-speed communications.
△ Less
Submitted 17 April, 2017; v1 submitted 5 October, 2016;
originally announced October 2016.
-
Webs of stars or how to triangulate free sums of point configurations
Authors:
Benjamin Assarf,
Michael Joswig,
Julian Pfeifle
Abstract:
The triangulations of point configurations which decompose as a free sum are classified in terms of the triangulations of the summands. The methods employ two new kinds of partially ordered sets to be associated with any triangulation of a point set with one point marked, the "web of stars" and the "stabbing poset". Triangulations of smooth Fano polytopes are discussed as a case study.
The triangulations of point configurations which decompose as a free sum are classified in terms of the triangulations of the summands. The methods employ two new kinds of partially ordered sets to be associated with any triangulation of a point set with one point marked, the "web of stars" and the "stabbing poset". Triangulations of smooth Fano polytopes are discussed as a case study.
△ Less
Submitted 3 June, 2018; v1 submitted 28 December, 2015;
originally announced December 2015.
-
A Polyhedral Proof of the Matrix Tree Theorem
Authors:
Aaron Dall,
Julian Pfeifle
Abstract:
The classical matrix tree theorem relates the number of spanning trees of a connected graph with the product of the nonzero eigenvalues of its Laplacian matrix. The class of regular matroids generalizes that of graphical matroids, and a generalization of the matrix tree theorem holds for this wider class.
We give a new, geometric proof of this fact by showing via a dissect-and-rearrange argument…
▽ More
The classical matrix tree theorem relates the number of spanning trees of a connected graph with the product of the nonzero eigenvalues of its Laplacian matrix. The class of regular matroids generalizes that of graphical matroids, and a generalization of the matrix tree theorem holds for this wider class.
We give a new, geometric proof of this fact by showing via a dissect-and-rearrange argument that two combinatorially distinct zonotopes associated to a regular matroid have the same volume. Along the way we prove that for a regular oriented matroid represented by a unimodular matrix, the lattice spanned by its cocircuits coincides with the lattice spanned by the rows of the representation matrix.
Finally, by extending our setup to the weighted case we give new proofs of recent results of An et al. on weighted graphs, and extend them to cover regular matroids.
No use is made of the Cauchy-Binet Theorem nor divisor theory on graphs.
△ Less
Submitted 9 May, 2014; v1 submitted 15 April, 2014;
originally announced April 2014.
-
Polygons as sections of higher-dimensional polytopes
Authors:
Arnau Padrol,
Julian Pfeifle
Abstract:
We show that every heptagon is a section of a $3$-polytope with $6$ vertices. This implies that every $n$-gon with $n\geq 7$ can be obtained as a section of a $(2+\lfloor\frac{n}{7}\rfloor)$-dimensional polytope with at most $\lceil\frac{6n}{7}\rceil$ vertices; and provides a geometric proof of the fact that every nonnegative $n\times m$ matrix of rank $3$ has nonnegative rank not larger than…
▽ More
We show that every heptagon is a section of a $3$-polytope with $6$ vertices. This implies that every $n$-gon with $n\geq 7$ can be obtained as a section of a $(2+\lfloor\frac{n}{7}\rfloor)$-dimensional polytope with at most $\lceil\frac{6n}{7}\rceil$ vertices; and provides a geometric proof of the fact that every nonnegative $n\times m$ matrix of rank $3$ has nonnegative rank not larger than $\lceil\frac{6\min(n,m)}{7}\rceil$. This result has been independently proved, algebraically, by Shitov (J. Combin. Theory Ser. A 122, 2014).
△ Less
Submitted 10 February, 2015; v1 submitted 9 April, 2014;
originally announced April 2014.
-
Coherent terabit communications with microresonator Kerr frequency combs
Authors:
Joerg Pfeifle,
Victor Brasch,
Matthias Lauermann,
Yimin Yu,
Daniel Wegner,
Tobias Herr,
Klaus Hartinger,
Philipp Schindler,
**gshi Li,
David Hillerkuss,
Rene Schmogrow,
Claudius Weimann,
Ronald Holzwarth,
Wolfgang Freude,
Juerg Leuthold,
Tobias J. Kippenberg,
Christian Koos
Abstract:
Optical frequency combs enable coherent data transmission on hundreds of wavelength channels and have the potential to revolutionize terabit communications. Generation of Kerr combs in nonlinear integrated microcavities represents a particularly promising option enabling line spacings of tens of GHz, compliant with wavelength-division multiplexing (WDM) grids. However, Kerr combs may exhibit stron…
▽ More
Optical frequency combs enable coherent data transmission on hundreds of wavelength channels and have the potential to revolutionize terabit communications. Generation of Kerr combs in nonlinear integrated microcavities represents a particularly promising option enabling line spacings of tens of GHz, compliant with wavelength-division multiplexing (WDM) grids. However, Kerr combs may exhibit strong phase noise and multiplet spectral lines, and this has made high-speed data transmission impossible up to now. Recent work has shown that systematic adjustment of pump conditions enables low phase-noise Kerr combs with singlet spectral lines. Here we demonstrate that Kerr combs are suited for coherent data transmission with advanced modulation formats that pose stringent requirements on the spectral purity of the optical source. In a first experiment, we encode a data stream of 392 Gbit/s on subsequent lines of a Kerr comb using quadrature phase shift keying (QPSK) and 16-state quadrature amplitude modulation (16QAM). A second experiment shows feedback-stabilization of a Kerr comb and transmission of a 1.44 Tbit/s data stream over a distance of up to 300 km. The results demonstrate that Kerr combs can meet the highly demanding requirements of multi-terabit/s coherent communications and thus offer a solution towards chip-scale terabit/s transceivers.
△ Less
Submitted 22 February, 2014; v1 submitted 3 July, 2013;
originally announced July 2013.
-
Polytopality and Cartesian products of graphs
Authors:
Julian Pfeifle,
Vincent Pilaud,
Francisco Santos
Abstract:
We study the question of polytopality of graphs: when is a given graph the graph of a polytope? We first review the known necessary conditions for a graph to be polytopal, and we provide several families of graphs which satisfy all these conditions, but which nonetheless are not graphs of polytopes. Our main contribution concerns the polytopality of Cartesian products of non-polytopal graphs. On t…
▽ More
We study the question of polytopality of graphs: when is a given graph the graph of a polytope? We first review the known necessary conditions for a graph to be polytopal, and we provide several families of graphs which satisfy all these conditions, but which nonetheless are not graphs of polytopes. Our main contribution concerns the polytopality of Cartesian products of non-polytopal graphs. On the one hand, we show that products of simple polytopes are the only simple polytopes whose graph is a product. On the other hand, we provide a general method to construct (non-simple) polytopal products whose factors are not polytopal.
△ Less
Submitted 8 September, 2010;
originally announced September 2010.
-
Prodsimplicial-Neighborly Polytopes
Authors:
Benjamin Matschke,
Julian Pfeifle,
Vincent Pilaud
Abstract:
Simultaneously generalizing both neighborly and neighborly cubical polytopes, we introduce PSN polytopes: their k-skeleton is combinatorially equivalent to that of a product of r simplices. We construct PSN polytopes by three different methods, the most versatile of which is an extension of Sanyal and Ziegler's "projecting deformed products" construction to products of arbitrary simple polytopes.…
▽ More
Simultaneously generalizing both neighborly and neighborly cubical polytopes, we introduce PSN polytopes: their k-skeleton is combinatorially equivalent to that of a product of r simplices. We construct PSN polytopes by three different methods, the most versatile of which is an extension of Sanyal and Ziegler's "projecting deformed products" construction to products of arbitrary simple polytopes. For general r and k, the lowest dimension we achieve is 2k+r+1. Using topological obstructions similar to those introduced by Sanyal to bound the number of vertices of Minkowski sums, we show that this dimension is minimal if we additionally require that the PSN polytope is obtained as a projection of a polytope that is combinatorially equivalent to the product of r simplices, when the dimensions of these simplices are all large compared to k.
△ Less
Submitted 8 September, 2010; v1 submitted 28 August, 2009;
originally announced August 2009.
-
Root polytopes and growth series of root lattices
Authors:
Federico Ardila,
Matthias Beck,
Serkan Hosten,
Julian Pfeifle,
Kim Seashore
Abstract:
The convex hull of the roots of a classical root lattice is called a root polytope. We determine explicit unimodular triangulations of the boundaries of the root polytopes associated to the root lattices A_n, C_n, and D_n, and compute their f-and h-vectors. This leads us to recover formulae for the growth series of these root lattices, which were first conjectured by Conway-Mallows-Sloane and Ba…
▽ More
The convex hull of the roots of a classical root lattice is called a root polytope. We determine explicit unimodular triangulations of the boundaries of the root polytopes associated to the root lattices A_n, C_n, and D_n, and compute their f-and h-vectors. This leads us to recover formulae for the growth series of these root lattices, which were first conjectured by Conway-Mallows-Sloane and Baake-Grimm and proved by Conway-Sloane and Bacher-de la Harpe-Venkov.
△ Less
Submitted 30 September, 2008;
originally announced September 2008.
-
Gale duality bounds for roots of polynomials with nonnegative coefficients
Authors:
Julian Pfeifle
Abstract:
We bound the location of roots of polynomials that have nonnegative coefficients with respect to a fixed but arbitrary basis of the vector space of polynomials of degree at most $d$. For this, we interpret the basis polynomials as vector fields in the real plane, and at each point in the plane analyze the combinatorics of the Gale dual vector configuration. This approach permits us to incorporat…
▽ More
We bound the location of roots of polynomials that have nonnegative coefficients with respect to a fixed but arbitrary basis of the vector space of polynomials of degree at most $d$. For this, we interpret the basis polynomials as vector fields in the real plane, and at each point in the plane analyze the combinatorics of the Gale dual vector configuration. This approach permits us to incorporate arbitrary linear equations and inequalities among the coefficients in a unified manner to obtain more precise bounds on the location of roots. We apply our technique to bound the location of roots of Ehrhart and chromatic polynomials. Finally, we give an explanation for the clustering seen in plots of roots of random polynomials.
△ Less
Submitted 16 November, 2009; v1 submitted 20 July, 2007;
originally announced July 2007.
-
An explicit construction for neighborly centrally symmetric polytopes
Authors:
Julian Pfeifle
Abstract:
We give an explicit construction, based on Hadamard matrices, for an infinite series of floor{sqrt{d}/2}-neighborly centrally symmetric d-dimensional polytopes with 4d vertices. This appears to be the best explicit version yet of a recent probabilistic result due to Linial and Novik, who proved the existence of such polytopes with a neighborliness of d/400.
We give an explicit construction, based on Hadamard matrices, for an infinite series of floor{sqrt{d}/2}-neighborly centrally symmetric d-dimensional polytopes with 4d vertices. This appears to be the best explicit version yet of a recent probabilistic result due to Linial and Novik, who proved the existence of such polytopes with a neighborliness of d/400.
△ Less
Submitted 29 June, 2006;
originally announced June 2006.
-
Dissections, Hom-complexes and the Cayley trick
Authors:
Julian Pfeifle
Abstract:
We show that certain canonical realizations of the complexes Hom(G,H) and Hom_+(G,H) of (partial) graph homomorphisms studied by Babson and Kozlov are in fact instances of the polyhedral Cayley trick. For G a complete graph, we then characterize when a canonical projection of these complexes is itself again a complex, and exhibit several well-known objects that arise as cells or subcomplexes of…
▽ More
We show that certain canonical realizations of the complexes Hom(G,H) and Hom_+(G,H) of (partial) graph homomorphisms studied by Babson and Kozlov are in fact instances of the polyhedral Cayley trick. For G a complete graph, we then characterize when a canonical projection of these complexes is itself again a complex, and exhibit several well-known objects that arise as cells or subcomplexes of such projected Hom-complexes: the dissections of a convex polygon into k-gons, Postnikov's generalized permutohedra, staircase triangulations, the complex dual to the lower faces of a cyclic polytope, and the graph of weak compositions of an integer into a fixed number of summands.
△ Less
Submitted 27 June, 2006; v1 submitted 22 December, 2005;
originally announced December 2005.
-
Long monotone paths on simple 4-polytopes
Authors:
Julian Pfeifle
Abstract:
The Monotone Upper Bound Problem (Klee, 1965) asks if the number M(d,n) of vertices in a monotone path along edges of a d-dimensional polytope with n facets can be as large as conceivably possible: Is M(d,n) = M_{ubt}(d,n), the maximal number of vertices that a d-polytope with n facets can have according to the Upper Bound Theorem?
We show that in dimension d=4, the answer is ``yes'', despite…
▽ More
The Monotone Upper Bound Problem (Klee, 1965) asks if the number M(d,n) of vertices in a monotone path along edges of a d-dimensional polytope with n facets can be as large as conceivably possible: Is M(d,n) = M_{ubt}(d,n), the maximal number of vertices that a d-polytope with n facets can have according to the Upper Bound Theorem?
We show that in dimension d=4, the answer is ``yes'', despite the fact that it is ``no'' if we restrict ourselves to the dual-to-cyclic polytopes. For each n>=5, we exhibit a realization of a polar-to-neighborly 4-dimensional polytope with n facets and a Hamilton path through its vertices that is monotone with respect to a linear objective function.
This constrasts an earlier result, by which no polar-to-neighborly 6-dimensional polytope with 9 facets admits a monotone Hamilton path.
△ Less
Submitted 15 February, 2004;
originally announced February 2004.
-
Coefficients and Roots of Ehrhart Polynomials
Authors:
M. Beck,
J. A. De Loera,
M. Develin,
J. Pfeifle,
R. P. Stanley
Abstract:
The Ehrhart polynomial of a convex lattice polytope counts integer points in integral dilates of the polytope. We present new linear inequalities satisfied by the coefficients of Ehrhart polynomials and relate them to known inequalities. We also investigate the roots of Ehrhart polynomials. We prove that for fixed d, there exists a bounded region of C containing all roots of Ehrhart polynomials…
▽ More
The Ehrhart polynomial of a convex lattice polytope counts integer points in integral dilates of the polytope. We present new linear inequalities satisfied by the coefficients of Ehrhart polynomials and relate them to known inequalities. We also investigate the roots of Ehrhart polynomials. We prove that for fixed d, there exists a bounded region of C containing all roots of Ehrhart polynomials of d-polytopes, and that all real roots of these polynomials lie in [-d, [d/2]). In contrast, we prove that when the dimension d is not fixed the positive real roots can be arbitrarily large. We finish with an experimental investigation of the Ehrhart polynomials of cyclic polytopes and 0/1-polytopes.
△ Less
Submitted 9 February, 2004;
originally announced February 2004.
-
On the Monotone Upper Bound Problem
Authors:
Julian Pfeifle,
Günter M. Ziegler
Abstract:
The Monotone Upper Bound Problem asks for the maximal number M(d,n) of vertices on a strictly-increasing edge-path on a simple d-polytope with n facets. More specifically, it asks whether the upper bound M(d,n)<=M_{ubt}(d,n) provided by McMullen's (1970) Upper Bound Theorem is tight, where M_{ubt}(d,n) is the number of vertices of a dual-to-cyclic d-polytope with n facets.
It was recently show…
▽ More
The Monotone Upper Bound Problem asks for the maximal number M(d,n) of vertices on a strictly-increasing edge-path on a simple d-polytope with n facets. More specifically, it asks whether the upper bound M(d,n)<=M_{ubt}(d,n) provided by McMullen's (1970) Upper Bound Theorem is tight, where M_{ubt}(d,n) is the number of vertices of a dual-to-cyclic d-polytope with n facets.
It was recently shown that the upper bound M(d,n)<=M_{ubt}(d,n) holds with equality for small dimensions (d<=4: Pfeifle, 2003) and for small corank (n<=d+2: Gärtner et al., 2001). Here we prove that it is not tight in general: In dimension d=6 a polytope with n=9 facets can have M_{ubt}(6,9)=30 vertices, but not more than 26 <= M(6,9) <= 29 vertices can lie on a strictly-increasing edge-path.
The proof involves classification results about neighborly polytopes, Kalai's (1988) concept of abstract objective functions, the Holt-Klee conditions (1998), explicit enumeration, Welzl's (2001) extended Gale diagrams, randomized generation of instances, as well as non-realizability proofs via a version of the Farkas lemma.
△ Less
Submitted 19 August, 2003;
originally announced August 2003.
-
Many Triangulated 3-Spheres
Authors:
Julian Pfeifle,
Günter M. Ziegler
Abstract:
We construct 2^{Ω(n^{5/4})} combinatorial types of triangulated 3-spheres on n vertices. Since by a result of Goodman and Pollack (1986) there are no more than 2^{O(n log n)} combinatorial types of simplicial 4-polytopes, this proves that asymptotically, there are far more combinatorial types of triangulated 3-spheres than of simplicial 4-polytopes on n vertices. This complements results of Kala…
▽ More
We construct 2^{Ω(n^{5/4})} combinatorial types of triangulated 3-spheres on n vertices. Since by a result of Goodman and Pollack (1986) there are no more than 2^{O(n log n)} combinatorial types of simplicial 4-polytopes, this proves that asymptotically, there are far more combinatorial types of triangulated 3-spheres than of simplicial 4-polytopes on n vertices. This complements results of Kalai (1988), who had proved a similar statement about d-spheres and (d+1)-polytopes for fixed d >= 4.
△ Less
Submitted 24 November, 2003; v1 submitted 30 November, 2002;
originally announced December 2002.
-
Kalai's squeezed 3-spheres are polytopal
Authors:
Julian Pfeifle
Abstract:
In 1988, Kalai extended a construction of Billera and Lee to produce many triangulated (d-1)-spheres. In fact, in view of upper bounds on the number of simplicial d-polytopes by Goodman and Pollack, he derived that for every dimension d>=5, most of these (d-1)-spheres are not polytopal. However, for d=4, this reasoning fails. We can now show that, as already conjectured by Kalai, all of his 3-sp…
▽ More
In 1988, Kalai extended a construction of Billera and Lee to produce many triangulated (d-1)-spheres. In fact, in view of upper bounds on the number of simplicial d-polytopes by Goodman and Pollack, he derived that for every dimension d>=5, most of these (d-1)-spheres are not polytopal. However, for d=4, this reasoning fails. We can now show that, as already conjectured by Kalai, all of his 3-spheres are in fact polytopal.
Moreover, we can now give a shorter proof of Hebble & Lee's 2000 result that the dual graphs of these 4-polytopes are Hamiltonian. Therefore, the polars of these Kalai polytopes yield another family supporting Barnette's conjecture that all simple 4-polytopes admit a Hamiltonian circuit.
△ Less
Submitted 22 October, 2001;
originally announced October 2001.
