Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Alexandrov's theorem, weighted Delaunay triangulations, and mixed volumes
Published in Annales de l'Institut Fourier 58:2 (2008) 447-505
• View Publication
• BIB
We present a constructive proof of Alexandrov's theorem regarding the existence of a convex polytope with a given metric on the boundary. The polytope is obtained as a result of a certain deformation in the class of generalized convex polytopes with the given boundary. We study the space of generalized convex polytopes and discover a relation with the weighted Delaunay triangulations of polyhedral surfaces. The existence of the deformation follows from the non-degeneracy of the Hessian of the total scalar curvature of a positively curved generalized convex polytope. The latter is shown to be equal to the Hessian of the volume of the dual generalized polyhedron. We prove the non-degeneracy by generalizing the Alexandrov-Fenchel inequality. Our construction of a convex polytope from a given metric is implemented in a computer program.
An example of generalized Schur operators involving planar binary trees
Published in Combinatorial representation theory and related topics, 85-97, RIMS Kôkyûroku Bessatsu, B8, 2008
• Search Publication
Young's lattice is a prototypical example of differential posets. Differential posets have the Robinson correspondence, the correspondence between permutations and pairs of standard tableaux with the same shape, as in the case of Young's lattice. Fomin introduced generalized Schur operators to generalize the method of Robinson correspondence in differential posets to the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard tableaux with the same shape. In this paper, we introduce operators on the vector space whose basis is the set of planar binary trees. To prove that the operators are generalized Schur operators, we construct a correspondence, which is an extension of Fomin's r-correspondence for them.
Discrete Tomography of Planar Model Sets
Published in Acta Cryst. A62 (2006), 419-433
• View Publication
• BIB
Discrete tomography is a well-established method to investigate finite point sets, in particular finite subsets of periodic systems. Here, we start to develop an efficient approach for the treatment of finite subsets of mathematical quasicrystals. To this end, the class of cyclotomic model sets is introduced, and the corresponding consistency, reconstruction and uniqueness problems of the discrete tomography of these sets are discussed.
SPM Bulletin 18
CONTENTS: A surprising covering of the real line Unions of chains in dyadic compact spaces and topological groups On the Pytkeev property in spaces of continuous functions Selection principles related to alpha_i-properties On the Kocinac alpha_i properties A new selection principle First Countable Continua and Proper Forcing The convergence space of minimal usco mappings D-forced spaces: a new approach to resolvability Resolvability of spaces having small spread or extent Resolvability and monotone normality Isomorphism of Borel full groups A Poset Hierarchy Infinite asymptotic games Elementary submodels and separable monotonically normal compacta An application of CAT A general Stone representation theorem Measure Recognition Problem Cardinal invariants for C-cross topologies Problem of the Issue.
Quasi-Symmetric Functions, Multiple Zeta Values, and Rooted Trees
Published in Oberwolfach Reports 3 (2006), 1259-1262.
• Search Publication
We review the relation between the Hopf algebra QSym of quasi-symmetric functions and the multiple zeta values, and then discuss a commutative diagram involving the Hopf algebra Sym of symmetric functions, the Hopf algebra dual NSym of QSym, and the Hopf algebras of rooted trees and planar rooted trees as defined by Kreimer and Foissy respectively.
On the degree two entry of a Gorenstein $h$-vector and a conjecture of Stanley
Published in Proc. Amer. Math. Soc. 136 (2008), No. 8, 2755-2762
• View Publication
• BIB
In this note we establish a (non-trivial) lower bound on the degree two entry $h_2$ of a Gorenstein $h$-vector of any given socle degree $e$ and any codimension $r$.
In particular, when $e=4$, that is for Gorenstein $h$-vectors of the form $h=(1,r,h_2,r,1)$, our lower bound allows us to prove a conjecture of Stanley on the order of magnitude of the minimum value, say $f(r)$, that $h_2$ may assume. In fact, we show that $$\lim_{r\to \infty} {f(r)\over r^{2/3}}= 6^{2/3}.$$
In general, we wonder whether our lower bound is sharp for all integers $e\geq 4$ and $r\geq 2$.
A presentation for the partial dual inverse symmetric monoid
Published in Comm. Algebra, 43 (4) (2015), 1621-1639
• View Publication
• BIB
We give a monoid presentation in terms of generators and defining relations for the partial analogue of the finite dual inverse symmetric monoid.
Upper Bounds on the Automorphism Group of a Graph
Published in Discrete Mathematics 256 (2002) 489-493
• Search Publication
We give upper bounds on the order of the automorphism group of a simple graph
Sum-product estimates in finite fields
Published
• View Publication
• BIB
We prove, using combinatorics and Kloosterman sum technology that if $A \subset {\Bbb F}_q$, a finite field with $q$ elements, and $q^{1/2} \lesssim |A| \lesssim q^{7/10}$, then $\max \{|A+A|, |A \cdot A|\} \gtrsim \frac{{|A|}^{3/2}}{q^{1/4}$.
The size of random fragmentation trees
Published
• View Publication
• BIB
We study a random fragmentation process and its associated random tree. The process has earlier been studied by Dean and Majumdar (J. Phys. A: Math. Gen., vol. 35, L501--L507), who found a phase transition: the number of fragmentations is asymptotically normal in some cases but not in others, depending on the position of roots of a certain characteristic equation. This parallels the behaviour of discrete analogues with various random trees that have been studied in computer science. We give rigorous proofs of this phase transition, and add further details.
The proof uses the contraction method. We extend some previous results for recursive sequences of random variables to families of random variables with a continuous parameter; we believe that this extension has independent interest.
Random trimer tilings
Published in Physical Review E: Statistical, Nonlinear, and Soft Matter Physics 75 (2007) 011115
• View Publication
• BIB
We study tilings of the square lattice by linear trimers. For a cylinder of circumference m, we construct a conserved functional of the base of the tilings, and use this to block-diagonalize the transfer matrix. The number of blocks increases exponentially with m. The dimension of the ground-state block is shown to grow as (3 / 2^{1/3})^m. We numerically diagonalize this block for m <= 27, obtaining the estimate S = 0.158520 +- 0.000015 for the entropy per site in the thermodynamic limit. We present numerical evidence that the continuum limit of the model has conformal invariance. We measure several scaling dimensions, including those corresponding to defects of dimers and L-shaped trimers. The trimer tilings of a plane admits a two-dimensional height representation. Monte Carlo simulations of the height variables show that the height-height correlations grows logarithmically at large separation, and the orientation-orientation correlations decay as a power law.
Minimal Polynomials for the Coordinates of the Harborth Graph
The Harborth graph is the smallest known example of a 4-regular planar unit-distance graph. In this paper we give an analytical description of the coordinates of its vertices for a particular embedding in the Euclidean plane. More precisely, we show, how to calculate the minimal polynomials of the coordinates of its vertices (with the help of a computer algebra system), and list those. Furthermore some algebraic properties of these polynomials, and consequences to the structure of the Harborth graph are determined.
Monomial and toric ideals associated to Ferrers graphs
Published
• View Publication
• BIB
Each partition $λ= (λ_1, λ_2, ..., λ_n)$ determines a so-called Ferrers tableau or, equivalently, a Ferrers bipartite graph. Its edge ideal, dubbed Ferrers ideal, is a squarefree monomial ideal that is generated by quadrics. We show that such an ideal has a 2-linear minimal free resolution, i.e. it defines a small subscheme. In fact, we prove that this property characterizes Ferrers graphs among bipartite graphs. Furthermore, using a method of Bayer and Sturmfels, we provide an explicit description of the maps in its minimal free resolution: This is obtained by associating a suitable polyhedral cell complex to the ideal/graph. Along the way, we also determine the irredundant primary decomposition of any Ferrers ideal. We conclude our analysis by studying several features of toric rings of Ferrers graphs. In particular we recover/establish formulae for the Hilbert series, the Castelnuovo-Mumford regularity, and the multiplicity of these rings. While most of the previous works in this highly investigated area of research involve path counting arguments, we offer here a new and self-contained approach based on results from Gorenstein liaison theory.
Decompositions of the free product of graphs
Published in Infin. Dimens. Anal. Quantum Probab. Relat. Top., Vol. 10, No.3 (2007), 303-334
• View Publication
• BIB
We study the free product of rooted graphs and its various decompositions using quantum probabilistic methods. We show that the free product of rooted graphs is canonically associated with free independence, which completes the proof of the conjecture that there exists a product of rooted graphs canonically associated with each notion of noncommutative independence which arises in the axiomatic theory. Using the `orthogonal product' of rooted graphs, we decompose the branches of the free product of rooted graphs as `alternating orthogonal products'. This leads to alternating decompositions of the free product itself, with the star product or the comb product followed by orthogonal products. These decompositions correspond to the recently studied decompositions of the free additive convolution of probability measures in terms boolean and orthogonal convolutions, or monotone and orthogonal convolutions. We also introduce a new type of `quantum decomposition' of the free product of graphs, where the distance partition of the set of vertices is taken with respect to a set of vertices instead of a single vertex. We show that even in the case of widely studied graphs this yields new and more complete information on their spectral properties, like spectral measures of a (usually infinite) set of cyclic vectors under the action of the adjacency matrix.
An incidence bound for $k$-planes in $F^n$ and a planar variant of the Kakeya maximal function
We discuss a planar variant of the Kakeya maximal function in the setting of a vector space over a finite field. Using methods from incidence combinatorics, we demonstrate that the operator is bounded from $L^p$ to $L^q$ when $1 \leq p \leq \frac{kn+k+1}{k(k+1)}$ and $1 \leq q \leq (n-k)p'$.
On distinguishing trees by their chromatic symmetric functions
Published in J. Combin. Theory Ser. A 115 (2008), pp. 237-253
• View Publication
• BIB
Let $T$ be an unrooted tree. The \emph{chromatic symmetric function} $X_T$, introduced by Stanley, is a sum of monomial symmetric functions corresponding to proper colorings of $T$. The \emph{subtree polynomial} $S_T$, first considered under a different name by Chaudhary and Gordon, is the bivariate generating function for subtrees of $T$ by their numbers of edges and leaves. We prove that $S_T = <Φ,X_T>$, where $<\cdot,\cdot>$ is the Hall inner product on symmetric functions and $Φ$ is a certain symmetric function that does not depend on $T$. Thus the chromatic symmetric function is a stronger isomorphism invariant than the subtree polynomial. As a corollary, the path and degree sequences of a tree can be obtained from its chromatic symmetric function. As another application, we exhibit two infinite families of trees (\emph{spiders} and some \emph{caterpillars}), and one family of unicyclic graphs (\emph{squids}) whose members are determined completely by their chromatic symmetric functions.
Maximal Degree in the Strong Bruhat Order of Bn
Given a permutation P in Sn, let G(P) be the graph on n vertices {1,...,n}, where two vertices i<j are adjacent if i appears right of j in P and there are no integers k with i<k<j and k appearing between i and j in P. Let G'(P) be the graph obtained by dropping the condition that i appears right of j, i.e. two vertices are adjacent if the rectangle [i,P(i)] x [j,P(j)] is empty. In the study of the strong order on permutation, Adin and Roichman introduced these graphs and computed their maximum number of edges. We generalize these results to the Weyl group of signed permutations Bn, working with graphs on vertices {-n,...,n}\{0}, using new variants of a classical theorem of Turan.
On domino insertion and Kazhdan--Lusztig cells in type $B_n$
Based on empirical evidence obtained using the {\sf CHEVIE} computer algebra system, we present a series of conjectures concerning the combinatorial description of the Kazhdan--Lusztig cells for type $B_n$ with unequal parameters. These conjectures form a far-reaching extension of the results of Bonnafé and Iancu obtained earlier in the so-called ``asymptotic case''. We give some partial results in support of our conjectures.
The simple random walk and max-degree walk on a directed graph
Published in Random Structures and Algorithms, vol 34:3, pp. 395-407, 2009.
• View Publication
• BIB
We show bounds on total variation and $L^{\infty}$ mixing times, spectral gap and magnitudes of the complex valued eigenvalues of a general (non-reversible non-lazy) Markov chain with a minor expansion property. This leads to the first known bounds for the non-lazy simple and max-degree walks on a (directed) graph, and even in the lazy case they are the first bounds of the optimal order. In particular, it is found that within a factor of two or four, the worst case of each of these mixing time and eigenvalue quantities is a walk on a cycle with clockwise drift.
Combinatorics of pedigrees
Published in SIAM Journal on Discrete Mathematics, vol 22, no. 3, pp. 961--970, 2008
• View Publication
• BIB
A pedigree is a directed graph in which each vertex (except the founder vertices) has two parents. The main result in this paper is a construction of an infinite family of counter examples to a reconstruction problem on pedigrees, thus negatively answering a question of Steel and Hein. Some positive reconstruction results are also presented. The problem of counting distinct (mutually non-isomorphic) pedigrees is considered. The known lower and upper bounds on the number of pedigrees are improved upon, and their relevance to pedigree reconstruction from DNA sequence data is discussed. It is shown that the information theoretic bound on the number of segregating sites in the sequence data that is minimally essential for reconstructing pedigrees would not significantly change with improved enumerative estimates.