natural ↗ reference
4894 papers tagged with this keyword
Ring of Polytopes, Quasi-symmetric functions and Fibonacci numbers
In this paper we study the ring $\mathcal{P}$ of combinatorial convex polytopes. We introduce the algebra of operators $\mathcal{D}$ generated by the operators $d_k$ that send an $n$-dimensional polytope $P^n$ to the sum of all its $(n-k)$-dimensional faces. It turns out that $\mathcal{D}$ is isomorphic to the universal Leibnitz-Hopf algebra with the antipode $χ(d_k)=(-1)^kd_k$. Using the operators $d_k$ we build the generalized $f$-polynomial, which is a ring homomorphism from $\mathcal{P}$ to the ring $\Qsym[t_1,t_2,...][α]$ of quasi-symmetric functions with coefficients in $\mathbb Z[α]$. The images of two polytopes coincide if and only if their flag $f$-vectors are equal. We describe the image of this homomorphism over the integers and prove that over the rationals it is a free polynomial algebra with dimension of the $n$-th graded component equal to the $n$-th Fibonacci number. This gives a representation of the Fibonacci series as an infinite product. The homomorphism is an isomorphism on the graded group $BB$ generated by the polytopes introduced by Bayer and Billera to find the linear span of flag $f$-vectors of convex polytopes. This gives the group $BB$ a structure of the ring isomorphic to $f(\mathcal{P})$. We show that the ring of polytopes has a natural Hopf comodule structure over the Rota-Hopf algebra of posets. As a corollary we build a ring homomorphism $l_α\colon\mathcal{P}\to\mathcal{R}[α]$ such that $F(l_α(P))=f(P)^*$, where $F$ is the Ehrenborg quasi-symmetric function.
Hypermatrix factors for string and membrane junctions
Published in J.Phys.A43:505401,2010
• View Publication
• BIB
The adjoint representations of the Lie algebras of the classical groups SU(n), SO(n), and Sp(n) are, respectively, tensor, antisymmetric, and symmetric products of two vector spaces, and hence are matrix representations. We consider the analogous products of three vector spaces and study when they appear as summands in Lie algebra decompositions. The Z3-grading of the exceptional Lie algebras provide such summands and provides representations of classical groups on hypermatrices. The main natural application is a formal study of three-junctions of strings and membranes. Generalizations are also considered.
Statistical properties of subgroups of free groups
Published in Random Structures and Algorithms 42 (2013) 349-373
• View Publication
• BIB
The usual way to investigate the statistical properties of finitely generated subgroups of free groups, and of finite presentations of groups, is based on the so-called word-based distribution: subgroups are generated (finite presentations are determined) by randomly chosen k-tuples of reduced words, whose maximal length is allowed to tend to infinity. In this paper we adopt a different, though equally natural point of view: we investigate the statistical properties of the same objects, but with respect to the so-called graph-based distribution, recently introduced by Bassino, Nicaud and Weil. Here, subgroups (and finite presentations) are determined by randomly chosen Stallings graphs whose number of vertices tends to infinity. Our results show that these two distributions behave quite differently from each other, shedding a new light on which properties of finitely generated subgroups can be considered frequent or rare. For example, we show that malnormal subgroups of a free group are negligible in the graph-based distribution, while they are exponentially generic in the word-based distribution. Quite surprisingly, a random finite presentation generically presents the trivial group in this new distribution, while in the classical one it is known to generically present an infinite hyperbolic group.
Higher order Fourier analysis as an algebraic theory III
For every natural number k we introduce the notion of k-th order convolution of functions on abelian groups. We study the group of convolution preserving automorphisms of function algebras in the limit. It turns out that such groups have k-nilpotent factor groups explaining why k-th order Fourier analysis has non-commutative features. To demonstrate our method in the quadratic case we develop a new quadratic representation theory on finite abelian groups. We introduce the notion of a quadrtic nil-morphism of an abelian group into a two step nil-manifold. We prove a structure theorem saying that any bounded function on a finite abelian group is decomposable into a structured part (which is the composition of a nil-morphism with a bounded complexity continuous function) and a random looking part with small U3 norm. It implies a new inverse theorem for the U3 norm. (The general case for Un, n>3 will be discussed in the next part of this sequence.) We point out that our framework creates interesting limit objects for functions on finite (or compact) abelian groups that are measurable functions on nil-manifolds.
Relations between exceptional sets for additive problems
Published in J. London Math. Soc. (2) 82 (2010), 1-23
• View Publication
• BIB
We describe a method for bounding the set of exceptional integers not represented by a given additive form in terms of the exceptional set corresponding to a subform. Illustrating our ideas with examples stemming from Waring's problem for cubes, we show, in particular, that the number of positive integers not exceeding N, that fail to have a representation as the sum of six cubes of natural numbers, is O(N^{3/7}).
Circuit partitions and #P-complete products of inner products
We present a simple, natural #P-complete problem. Let G be a directed graph, and let k be a positive integer. We define q(G;k) as follows. At each vertex v, we place a k-dimensional complex vector x_v. We take the product, over all edges (u,v), of the inner product <x_u,x_v>. Finally, q(G;k) is the expectation of this product, where the x_v are chosen uniformly and independently from all vectors of norm 1 (or, alternately, from the Gaussian distribution). We show that q(G;k) is proportional to G's cycle partition polynomial, and therefore that it is #P-complete for any k>1.
Erdos-Ko-Rado theorems for simplicial complexes
Published in J. Combin. Theory Ser. A 118 (2011), no. 4, 1218-1227
• View Publication
• BIB
A recent framework for generalizing the Erdos-Ko-Rado Theorem, due to Holroyd, Spencer, and Talbot, defines the Erdos-Ko-Rado property for a graph in terms of the graph's independent sets. Since the family of all independent sets of a graph forms a simplicial complex, it is natural to further generalize the Erdos-Ko-Rado property to an arbitrary simplicial complex. An advantage of working in simplicial complexes is the availability of algebraic shifting, a powerful shifting (compression) technique, which we use to verify a conjecture of Holroyd and Talbot in the case of sequentially Cohen-Macaulay near-cones.
The Cauchy-Schwarz inequality in Cayley graph and tournament structures on finite fields
Published
• View Publication
• BIB
The Cayley graph construction provides a natural grid structure on a finite vector space over a field of prime or prime square cardinality, where the characteristic is congruent to 3 modulo 4, in addition to the quadratic residue tournament structure on the prime subfield. Distance from the null vector in the grid graph defines a Manhattan norm. The Hermitian inner product on these spaces over finite fields behaves in some respects similarly to the real and complex case. An analogue of the Cauchy-Schwarz inequality is valid with respect to the Manhattan norm. With respect to the non-transitive order provided by the quadratic residue tournament, an analogue of the Cauchy-Schwarz inequality holds in arbitrarily large neighborhoods of the null vector, when the characteristic is an appropriate large prime.
Eigenvalues of Transmission Graph Laplacians
The standard notion of the Laplacian of a graph is generalized to the setting of a graph with the extra structure of a ``transmission`` system. A transmission system is a mathematical representation of a means of transmitting (multi-parameter) data along directed edges from vertex to vertex. The associated transmission graph Laplacian is shown to have many of the former properties of the classical case, including: an upper Cheeger type bound on the second eigenvalue minus the first of a geometric isoperimetric character, relations of this difference of eigenvalues to diameters for k-regular graphs, eigenvalues for Cayley graphs with transmission systems. An especially natural transmission system arises in the context of a graph endowed with an association. Other relations to transmission systems arising naturally in quantum mechanics, where the transmission matrices are scattering matrices, are made. As a natural merging of graph theory and matrix theory, there are numerous potential applications, for example to random graphs and random matrices.
Time evolution of dense multigraph limits under edge-conservative preferential attachment dynamics
We define the edge reconnecting model, a random multigraph evolving in time. At each time step we change one endpoint of a uniformly chosen edge: the new endpoint is chosen by linear preferential attachment. We consider a sequence of edge reconnecting models where the sequence of initial multigraphs is convergent in a sense which is a natural generalization of the notion of convergence of dense graph sequences, defined by Lovasz and Szegedy in arXiv:math/0408173. We investigate how the limit object evolves under the edge reconnecting dynamics if we rescale time properly: we give the complete characterization of the time evolution of the limit object from its initial state up to the stationary state, which is described in the companion paper arXiv:1106.2058. In our proofs we use the theory of exchangeable arrays, queuing and diffusion processes. The number of parallel edges and the degrees evolve on different timescales and because of this the model exhibits subaging.
Robustness of Regular Graphs Based on Natural Connectivity
Published
• View Publication
• BIB
It has been recently proposed that the natural connectivity can be used to characterize efficiently the robustness of complex networks. The natural connectivity quantifies the redundancy of alternative routes in the network by evaluating the weighted number of closed walks of all lengths and can be seen as an average eigenvalue obtained from the graph spectrum. In this paper, we explore both analytically and numerically the natural connectivity of regular ring lattices and regular random graphs obtained through degree-preserving random rewirings from regular ring lattices. We reformulate the natural connectivity of regular ring lattices in terms of generalized Bessel functions and show that the natural connectivity of regular ring lattices is independent of network size and increases with monotonically. We also show that random regular graphs have lower natural connectivity, and are thus less robust, than regular ring lattices.
Layered Tropical Mathematics
Published
• View Publication
• BIB
Generalizing supertropical algebras, we present a "layered" structure, "sorted" by a semiring which permits varying ghost layers, and indicate how it is more amenable than the "standard" supertropical construction in factorizations of polynomials, description of varieties, properties of the resultant, and for mathematical analysis and calculus, in particular with respect to multiple roots of polynomials. Explicit examples and comparisons are given for various sorting semirings such as the natural numbers and the positive rational numbers, and we see how this theory relates to some recent developments in the tropical literature such as "characteristic 1," "analytification," and "hyperfields."
Invariant tensors and the cyclic sieving phenomenon
Published in Electron. J. Combin. 23 (2016), no. 4, Paper 4.25
• View Publication
• BIB
We construct a large class of examples of the cyclic sieving phenomenon by expoiting the representation theory of semi-simple Lie algebras. Let $M$ be a finite dimensional representation of a semi-simple Lie algebra and let $B$ be the associated Kashiwara crystal. For $r\ge 0$, the triple $(X,c,P)$ which exhibits the cyclic sieving phenomenon is constructed as follows: the set $X$ is the set of isolated vertices in the crystal $\otimes^rB$; the map $c\colon X\rightarrow X$ is a generalisation of promotion acting on standard tableaux of rectangular shape and the polynomial $P$ is the fake degree of the Frobenius character of a representation of $\mathfrak{S}_r$ related to the natural action of $\mathfrak{S}_r$ on the subspace of invariant tensors in $\otimes^rM$. Taking $M$ to be the defining representation of $\mathrm{SL}(n)$ gives the cyclic sieving phenomenon for rectangular tableaux.
Formal calculus and umbral calculus
Published in Electronic Journal of Combinatorics, 17(1) (2010) R95
• View Publication
• BIB
In this paper we use the viewpoint of the formal calculus underlying vertex operator algebra theory to study certain aspects of the classical umbral calculus and we introduce and study certain operators generalizing the classical umbral shifts. We begin by calculating the exponential generating function of the higher derivatives of a composite function, following a short, elementary proof which naturally arose as a motivating computation related to a certain crucial "associativity" property of an important class of vertex operator algebras. Very similar (somewhat forgotten) proofs had appeared by the 19-th century, of course without any motivation related to vertex operator algebras. Using this formula, we derive certain results, including especially the calculation of certain adjoint operators, of the classical umbral calculus. This is, roughly speaking, a reversal of the logical development of some standard treatments, which have obtained formulas for the higher derivatives of a composite function, most notably Faà di Bruno's formula, as a consequence of umbral calculus. We set our results in the context of some standard material in what seems a natural fashion given our point of view. We also show a connection between the Virasoro algebra and the classical umbral shifts. This leads naturally to a more general class of operators, which we introduce, and which include the classical umbral shifts as a special case. We prove a few basic facts about these operators.
Log-concavity, ultra-log-concavity, and a maximum entropy property of discrete compound Poisson measures
Published in Discrete Applied Mathematics, vol 161/9, pages 1232-1250, 2013
• View Publication
• BIB
Sufficient conditions are developed, under which the compound Poisson distribution has maximal entropy within a natural class of probability measures on the nonnegative integers. Recently, one of the authors [O. Johnson, {\em Stoch. Proc. Appl.}, 2007] used a semigroup approach to show that the Poisson has maximal entropy among all ultra-log-concave distributions with fixed mean. We show via a non-trivial extension of this semigroup approach that the natural analog of the Poisson maximum entropy property remains valid if the compound Poisson distributions under consideration are log-concave, but that it fails in general. A parallel maximum entropy result is established for the family of compound binomial measures. Sufficient conditions for compound distributions to be log-concave are discussed and applications to combinatorics are examined; new bounds are derived on the entropy of the cardinality of a random independent set in a claw-free graph, and a connection is drawn to Mason's conjecture for matroids. The present results are primarily motivated by the desire to provide an information-theoretic foundation for compound Poisson approximation and associated limit theorems, analogous to the corresponding developments for the central limit theorem and for Poisson approximation. Our results also demonstrate new links between some probabilistic methods and the combinatorial notions of log-concavity and ultra-log-concavity, and they add to the growing body of work exploring the applications of maximum entropy characterizations to problems in discrete mathematics.
Tableaux in the Whitney Module of a Matroid
Published in Séminaire Lotharingien de Combinatoire 63 (2010), Article B63f
• Search Publication
The Whitney module of a matroid is a natural analogue of the tensor algebra of the exterior algebra of a vector space that takes into account the dependencies of a matroid. In this paper we indicate the role that tableaux can play in describing the Whitney module. We will use our results to describe a basis of the Whitney module of a certain class of matroids known as freedom matroids (also known as Schubert, or shifted matroids). The doubly multilinear submodule of the Whitney module is a representation of the symmetric group. We will describe a formula for the multiplicity of hook shapes in this representation in terms of no broken circuit sets.
Decomposable functors and the exponential principle, II
Published in Séminaire Lotharingien Combin. 61A (2011), Article B61Am, 38 pages
• Search Publication
We develop a new setting for the exponential principle in the context of multisort species, where indecomposable objects are generated intrinsically instead of being given in advance. Our approach uses the language of functors and natural transformations (composition operators), and we show that, somewhat surprisingly, a single axiom for the composition already suffices to guarantee validity of the exponential formula. We provide various illustrations of our theory, among which are applications to the enumeration of (semi-)magic squares.
On a curious property of 3435
Folklore tells us that there are no uninteresting natural numbers. But some natural numbers are more interesting then others. In this article we will explain why 3435 is one of the more interesting natural numbers around. We will show that 3435 is a Munchausen number in base 10, and we will explain what we mean by that. We will further show that for every base there are finitely many Munchausen numbers in that base.
Cubical coloring -- fractional covering by cuts and semidefinite programming
Published in Discrete Mathematics & Theoretical Computer Science, Vol 17, No 2 (2015)
• Search Publication
We introduce a new graph invariant that measures fractional covering of a graph by cuts. Besides being interesting in its own right, it is useful for study of homomorphisms and tension-continuous mappings. We study the relations with chromatic number, bipartite density, and other graph parameters.
We find the value of our parameter for a family of graphs based on hypercubes. These graphs play for our parameter the role that circular cliques play for the circular chromatic number. The fact that the defined parameter attains on these graphs the `correct' value suggests that the definition is a natural one. In the proof we use the eigenvalue bound for maximum cut and a recent result of Engström, Färnqvist, Jonsson, and Thapper.
We also provide a polynomial time approximation algorithm based on semidefinite programming and in particular on vector chromatic number (defined by Karger, Motwani and Sudan [Approximate graph coloring by semidefinite programming, J. ACM 45 (1998), no. 2, 246--265]).
Componentwise linearity of ideals arising from graphs
Published in Le Matematiche, Vol. 63 (2008), no. 2, 185--189
• Search Publication
Let $G$ be a simple undirected graph on $n$ vertices. Francisco and Van Tuyl have shown that if $G$ is chordal, then $\bigcap_{\{x_i,x_j\}\in E_G} < x_i,x_j>$ is componentwise linear. A natural question that arises is for which $t_{ij}>1$ the ideal $\bigcap_{\{x_i,x_j\}\in E_G}< x_i, x_j>^{t_{ij}}$ is componentwise linear, if $G$ is chordal. In this report we show that $\bigcap_{\{x_i,x_j\}\in E_G} < x_i, x_j>^{t}$ is componentwise linear for all $n\geq 3$ and positive $t$, if $G$ is a complete graph. We give also an example where $G$ is chordal, but the intersection ideal is not componentwise linear for any $t>1$.