Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The Method of Combinatorial Telescoping
Published
• View Publication
• BIB
We present a method for proving q-series identities by combinatorial telescoping, in the sense that one can transform a bijection or a classification of combinatorial objects into a telescoping relation. We shall illustrate this method by giving a combinatorial proof of Watson's identity which implies the Rogers-Ramanujan identities.
A note on dilation coefficient, plane-width, and resolution coefficient of graphs
In this note we study and compare three graph invariants related to the 'compactness' of graph drawing in the plane: the dilation coefficient, defined as the smallest possible quotient between the longest and the shortest edge length; the plane-width, which is the smallest possible quotient between the largest distance between any two points and the shortest length of an edge; and the resolution coefficient, the smallest possible quotient between the longest edge length and the smallest distance between any two points. These three invariants coincide for complete graphs.
We show that graphs with large dilation coefficient or plane-width have a vertex with large valence but there exist cubic graphs with arbitrarily large resolution coefficient. Surprisingly enough, the one-dimensional analogues of these three invariants allow us to revisit the three well known graph parameters: the circular chromatic number, the chromatic number, and the bandwidth. We also examine the connection between bounded resolution coefficient and minor-closed graph classes.
Tropical types and associated cellular resolutions
Published in J. Algebra 356 (2012), 304-324
• View Publication
• BIB
An arrangement of finitely many tropical hyperplanes in the tropical torus leads to a notion of `type' data for points, with the underlying unlabeled arrangement giving rise to `coarse type'. It is shown that the decomposition of the tropical torus induced by types gives rise to minimal cocellular resolutions of certain associated monomial ideals. Via the Cayley trick from geometric combinatorics this also yields cellular resolutions supported on mixed subdivisions of dilated simplices, extending previously known constructions. Moreover, the methods developed lead to an algebraic algorithm for computing the facial structure of arbitrary tropical complexes from point data.
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.
Polya by Examples
Polya Enumeration Theorem is one of the most useful tools dealing with the enumeration of patterns that are symmetric in some ways. What follows is a procedure for obtaining the results of Polya Theorem directly, bypassing the usual preliminaries.
Asymptotic variance of random symmetric digital search trees
Published
• View Publication
• BIB
Asymptotics of the variances of many cost measures in random digital search trees are often notoriously messy and involved to obtain. A new approach is proposed to facilitate such an analysis for several shape parameters on random symmetric digital search trees. Our approach starts from a more careful normalization at the level of Poisson generating functions, which then provides an asymptotically equivalent approximation to the variance in question. Several new ingredients are also introduced such as a combined use of the Laplace and Mellin transforms and a simple, mechanical technique for justifying the analytic de-Poissonization procedures involved. The methodology we develop can be easily adapted to many other problems with an underlying binomial distribution. In particular, the less expected and somewhat surprising $n(\log n)^2$-variance for certain notions of total path-length is also clarified.
The Lie Algebraic Significance of Symmetric Informationally Complete Measurements
Published in J. Math. Phys. 52, 022202 (2011)
• View Publication
• BIB
Examples of symmetric informationally complete positive operator valued measures (SIC-POVMs) have been constructed in every dimension less than or equal to 67. However, it remains an open question whether they exist in all finite dimensions. A SIC-POVM is usually thought of as a highly symmetric structure in quantum state space. However, its elements can equally well be regarded as a basis for the Lie algebra gl(d,C). In this paper we examine the resulting structure constants, which are calculated from the traces of the triple products of the SIC-POVM elements and which, it turns out, characterize the SIC-POVM up to unitary equivalence. We show that the structure constants have numerous remarkable properties. In particular we show that the existence of a SIC-POVM in dimension d is equivalent to the existence of a certain structure in the adjoint representation of gl(d,C). We hope that transforming the problem in this way, from a question about quantum state space to a question about Lie algebras, may help to make the existence problem tractable.
On Min-Cost Multiflow Problem in Node-Capacitated Undirected Networks
Published
• View Publication
• BIB
We consider an undirected graph $G = (VG, EG)$ with a set $T \subseteq VG$ of terminals, and with nonnegative integer capacities $c(v)$ and costs $a(v)$ of nodes $v\in VG$. A path in $G$ is a \emph{$T$-path} if its ends are distinct terminals. By a \emph{multiflow} we mean a function $F$ assigning to each $T$-path $P$ a nonnegative rational \emph{weight} $F(P)$, and a multiflow is called \emph{feasible} if the sum of weights of $T$-paths through each node $v$ does not exceed $c(v)$. The \emph{value} of $F$ is the sum of weights $F(P)$, and the \emph{cost} of $F$ is the sum of $F(P)$ times the cost of $P$ w.r.t. $a$, over all $T$-paths $P$.
Generalizing known results on edge-capacitated multiflows, we show that the problem of finding a minimum cost multiflow among the feasible multiflows of maximum possible value admits \emph{half-integer} optimal primal and dual solutions. Moreover, we devise a strongly polynomial algorithm for finding such optimal solutions.
Spectral Properties of the Threshold Network Model
Published in Internet Mathematics, Vol.6, No.2, pp.173-187 (2010)
• View Publication
• BIB
We study the spectral distribution of the threshold network model.The results contain an explicit description and its asymptotic behaviour.
A Note on Masspartitions by Hyperplanes
A triple of positive integers (d,h,m) is admissible if for any m given masses in R^d there exist h hyperplanes that cut each of these masses into 2^h equal pieces. We present an elementary reduction which combined with results by Ramos (1996) yields all the admissible triples that were known up to now (with one exception) as well as new ones.
Eleven Unit Distance Embeddings of the Heawood Graph
In this note we present eleven unit distance embeddings of the Heawood graph, i.e. the point-line incidence graph of the finite projective plane of order two, by way of pictures and 15 digit approximations of the coordinates of the vertices. These together with the defining algebraic equations suffice to calculate arbitrarily exact approximations for the exact embeddings, and so to show that the Heawood graph indeed is a unit-distance graph. Thus we refute a "suspicion" of V. Chvatal from 1972.
Combinatorics and topology of toric arrangements defined by root systems
Published in L. Moci, Combinatorics and topology of toric arrangements defined by root systems, Rend. Lincei Mat. Appl. 19 (2008), 293-308
• View Publication
• BIB
Given the toric (or toral) arrangement defined by a root system $Φ$, we describe the poset of its layers (connected components of intersections) and we count its elements. Indeed we show how to reduce to zero-dimensional layers, and in this case we provide an explicit formula involving the maximal subdiagrams of the affine Dynkin diagram of $Φ$. Then we compute the Euler characteristic and the Poincare' polynomial of the complement of the arrangement, which is the set of regular points of the torus.
Wonderful models for toric arrangements
Published
• View Publication
• BIB
We build a wonderful model for toric arrangements. We develop the "toric analog" of the combinatorics of nested sets, which allows to define a family of smooth open sets covering the model. In this way we prove that the model is smooth, and we give a precise geometric and combinatorial description of the normal crossing divisor.
Cubical realizations of flag nestohedra and Gal's conjecture
Published
• View Publication
• BIB
We study nestohedra $P_B$ corresponding to building sets $B$. It is shown that every flag nestohedron can be obtained from a cube by successive shavings faces of codimension 2. We receive new Delzant geometric realization of flag nestohedra. The main result of the paper is that Gal's conjecture holds for every flag nestohedron. Moreover, we get the exact estimation of $γ$-vectors of $n$-dimensional flag nestohedra: $0\leqγ_i(P_B)\leqγ_i(Pe^n)$.
The Cardinality of Infinite Games
The focus of this essay is a rigorous treatment of infinite games. An infinite game is defined as a play consisting of a fixed number of players whose sequence of moves is repeated, or iterated ad infinitum. Each sequence corresponds to a single iteration of the play, where there are an infinite amount of iterations. There are two distinct concepts within this broad definition which encompass all infinite games: the strong infinite game and the weak infinite game. Both differ in terms of imputations. The strong infinite game has a uniqueness qualification in that all moves must differ to the extent that no imputation (these occur at the end of any given iteration) may ever be the same. Conversely, there is no such qualification in a weak infinite game, any payout may equal another.
Another property shared by strong and weak infinite games (apart from their fulfilling the criterion of an infinite game) is the fact that both consist of a countably infinite amount of moves. Therefore all infinite games have a countably infinite number of turns; the set of all infinite games is composed of each strong and weak infinite game. This result has a very important consequence: the ordinality of turns. That is, the moves of an infinite game have an order or structure which they adhere to. It is this structure which provides any future development or game theoretical analysis of these sorts of games with the necessary foundation.
A Planar Linear Arboricity Conjecture
Published
• View Publication
• BIB
The linear arboricity la(G) of a graph G is the minimum number of linear forests that partition the edges of G. In 1984, Akiyama et al. stated the Linear Arboricity Conjecture (LAC), that the linear arboricity of any simple graph of maximum degree $Δ$ is either $\lceil \tfracΔ{2} \rceil$ or $\lceil \tfrac{Δ+1}{2} \rceil$. In [J. L. Wu. On the linear arboricity of planar graphs. J. Graph Theory, 31:129-134, 1999] and [J. L. Wu and Y. W. Wu. The linear arboricity of planar graphs of maximum degree seven is four. J. Graph Theory, 58(3):210-220, 2008.] it was proven that LAC holds for all planar graphs.
LAC implies that for $Δ$ odd, ${\rm la}(G)=\big \lceil \tfracΔ{2} \big \rceil$. We conjecture that for planar graphs this equality is true also for any even $Δ\ge 6$. In this paper we show that it is true for any even $Δ\ge 10$, leaving open only the cases $Δ=6, 8$.
We present also an O(n log n)-time algorithm for partitioning a planar graph into max{la(G),5} linear forests, which is optimal when $Δ\ge 9$.
On the number of n-ary quasigroups of finite order
Published in English: Discrete Math. Appl. 21(5-6) 2011, 575-585; Russian: Diskretn. Mat. 24(1) 2012, 60-69
• View Publication
• BIB
Let $Q(n,k)$ be the number of $n$-ary quasigroups of order $k$. We derive a recurrent formula for Q(n,4). We prove that for all $n\geq 2$ and $k\geq 5$ the following inequalities hold: $({k-3}/2)^{n/2}(\frac{k-1}2)^{n/2} < log_2 Q(n,k) \leq {c_k(k-2)^{n}} $, where $c_k$ does not depend on $n$. So, the upper asymptotic bound for $Q(n,k)$ is improved for any $k\geq 5$ and the lower bound is improved for odd $k\geq 7$. Keywords: n-ary quasigroup, latin cube, loop, asymptotic estimate, component, latin trade.
Cyclic sieving for generalised non-crossing partitions associated to complex reflection groups of exceptional type - the details
We prove that the generalised non-crossing partitions associated to well-generated complex reflection groups of exceptional type obey two different cyclic sieving phenomena, as conjectured by Armstrong, respectively by Bessis and Reiner. This manuscript accompanies the paper "Cyclic sieving for generalised non-crossing partitions associated to complex reflection groups of exceptional type" [arXiv:1001.0028], for which it provides the computational details.
Cyclic sieving for generalised non-crossing partitions associated to complex reflection groups of exceptional type
Published in in: Advances in Combinatorics, volume in memory of Herbert S. Wilf, E. Zima, I. Kotsiras (eds.), Springer-Verlag, 2013, pp. 209-247
• View Publication
• BIB
We present the proof of the cyclic sieving conjectures for generalised non-crossing partitions associated to well-generated complex reflection groups due to Armstrong, respectively to Bessis and Reiner, for the 26 exceptional well-generated complex reflection groups. The computational details are provided in the manuscript "Cyclic sieving for generalised non-crossing partitions associated to complex reflection groups of exceptional type - the details" [arXiv:1001.0030].
Outer billiard outside regular polygons
Published in Journal of the London Mathematical Society, 2011. Number 83 volume 2, 301-323
• View Publication
• BIB
We consider outer billiard outside regular convex polygons. We deal with the case of regular polygons with $\{3,4,5,6,10\}$ sides, and we describe the symbolic dynamics of the map and compute the complexity of the language.