Showing 20 papers (Total: 81756 papers, 47371 authors in database)
On the representability of totally unimodular matrices on bidirected graphs
Published in Discrete Mathematics, Volume 309, Issue 16, 28 August 2009, Pages 5024-5042
• View Publication
• BIB
Seymour's famous decomposition theorem for regular matroids states that any totally unimodular (TU) matrix can be constructed through a series of composition operations called $k$-sums starting from network matrices and their transposes and two compact representation matrices $B_{1}, B_{2}$ of a certain ten element matroid. Given that $B_{1}, B_{2}$ are binet matrices we examine the $k$-sums of network and binet matrices. It is shown that the $k$-sum of a network and a binet matrix is a binet matrix, but binet matrices are not closed under this operation for $k=2,3$. A new class of matrices is introduced the so called {\em tour matrices}, which generalises network, binet and totally unimodular matrices. For any such matrix there exists a bidirected graph such that the columns represent a collection of closed tours in the graph. It is shown that tour matrices are closed under $k$-sums, as well as under pivoting and other elementary operations on its rows and columns. Given the constructive proofs of the above results regarding the $k$-sum operation and existing recognition algorithms for network and binet matrices, an algorithm is presented which constructs a bidirected graph for any TU matrix.
Finitely forcible graphons
Published in Journal of Combinatorial Theory, Series B 101 (2011), 269-301
• Search Publication
We investigate families of graphs and graphons (graph limits) that are defined by a finite number of prescribed subgraph densities. Our main focus is the case when the family contains only one element, i.e., a unique structure is forced by finitely many subgraph densities. Generalizing results of Turan, Erdos-Simonovits and Chung-Graham-Wilson, we construct numerous finitely forcible graphons. Most of these fall into two categories: one type has an algebraic structure and the other type has an iterated (fractal-like) structure. We also give some necessary conditions for forcibility, which imply that finitely forcible graphons are "rare", and exhibit simple and explicit non-forcible graphons.
Isomorphism and Symmetries in Random Phylogenetic Trees
The probability that two randomly selected phylogenetic trees of the same size are isomorphic is found to be asymptotic to a decreasing exponential modulated by a polynomial factor. The number of symmetrical nodes in a random phylogenetic tree of large size obeys a limiting Gaussian distribution, in the sense of both central and local limits. The probability that two random phylogenetic trees have the same number of symmetries asymptotically obeys an inverse square-root law. Precise estimates for these problems are obtained by methods of analytic combinatorics, involving bivariate generating functions, singularity analysis, and quasi-powers approximations.
The tau constant of a metrized graph and its behavior under graph operations
Published
• View Publication
• BIB
This paper concerns the tau constant, which is an important invariant of a metrized graph, and which has applications to arithmetic properties of curves. We give several formulas for the tau constant, and show how it changes under graph operations including deletion of an edge, contraction of an edge, and union of graphs along one or two points. We show how the tau constant changes when edges of a graph are replaced by arbitrary graphs. We prove Baker and Rumely's lower bound conjecture on the tau constant for several classes of metrized graphs.
Kashiwara and Zelevinsky involutions in affine type A
Published
• View Publication
• BIB
We first describe how the Kashiwara involution on crystals of affine type $A$ is encoded by the combinatorics of aperiodic multisegments. This yields a simple relation between this involution and the Zelevinsky involution on the set of simple modules for the affine Hecke algebras. We then give efficient procedures for computing these involutions. Remarkably, these procedures do not use the underlying crystal structure. They also permit to match explicitly the Ginzburg and Ariki parametrizations of the simple modules associated to affine and cyclotomic Hecke algebras, respectively .
New inductive constructions of complete caps in $PG(N,q)$, $q$ even
Published
• View Publication
• BIB
Some new families of small complete caps in $PG(N,q)$, $q$ even, are described. By using inductive arguments, the problem of the construction of small complete caps in projective spaces of arbitrary dimensions is reduced to the same problem in the plane. The caps constructed in this paper provide an improvement on the currently known upper bounds on the size of the smallest complete cap in $PG(N,q),$ $N\geq 4,$ for all $q\geq 2^{3}.$ In particular, substantial improvements are obtained for infinite values of $q$ square, including $ q=2^{2Cm},$ $C\geq 5,$ $m\geq 3;$ for $q=2^{Cm},$ $C\geq 5,$ $m\geq 9,$ with $C,m$ odd; and for all $q\leq 2^{18}.$
Confirming Two Conjectures of Su and Wang
Published in Adv. in Appl. Math. 43 (2009) 317--322
• View Publication
• BIB
Two conjectures of Su and Wang (2008) concerning binomial coefficients are proved. For $n\geq k\geq 0$ and $b>a>0$, we show that the finite sequence $C_j=\binom{n+ja}{k+jb}$ is a Pólya frequency sequence. For $n\geq k\geq 0$ and $a>b>0$, we show that there exists an integer $m\geq 0$ such that the infinite sequence $\binom{n+ja}{k+jb}, j=0, 1,...$, is log-concave for $0\leq j\leq m$ and log-convex for $j\geq m$. The proof of the first result exploits the connection between total positivity and planar networks, while that of the second uses a variation-diminishing property of the Laplace transform.
Totally Splittable Polytopes
Published in Discrete & Computational Geometry, 44 (2010), no.1, 149-166
• View Publication
• BIB
A split of a polytope is a (necessarily regular) subdivision with exactly two maximal cells. A polytope is totally splittable if each triangulation (without additional vertices) is a common refinement of splits. This paper establishes a complete classification of the totally splittable polytopes.
Order-invariant measures on causal sets
Published in Annals of Applied Probability 2011, Vol. 21, No. 4, 1493-1536
• View Publication
• BIB
A causal set is a partially ordered set on a countably infinite ground-set such that each element is above finitely many others. A natural extension of a causal set is an enumeration of its elements which respects the order. We bring together two different classes of random processes. In one class, we are given a fixed causal set, and we consider random natural extensions of this causal set: we think of the random enumeration as being generated one point at a time. In the other class of processes, we generate a random causal set, working from the bottom up, adding one new maximal element at each stage. Processes of both types can exhibit a property called order-invariance: if we stop the process after some fixed number of steps, then, conditioned on the structure of the causal set, every possible order of generation of its elements is equally likely. We develop a framework for the study of order-invariance which includes both types of example: order-invariance is then a property of probability measures on a certain space. Our main result is a description of the extremal order-invariant measures.
Order-invariant measures on fixed causal sets
Published
• View Publication
• BIB
A causal set is a countably infinite poset in which every element is above finitely many others; causal sets are exactly the posets that have a linear extension with the order-type of the natural numbers -- we call such a linear extension a {\em natural extension}. We study probability measures on the set of natural extensions of a causal set, especially those measures having the property of {\em order-invariance}: if we condition on the set of the bottom $k$ elements of the natural extension, each possible ordering among these $k$ elements is equally likely. We give sufficient conditions for the existence and uniqueness of an order-invariant measure on the set of natural extensions of a causal set.
The Orlik-Terao algebra and 2-formality
Published in Mathematical Research Letters, 16 (2009), 171-182
• View Publication
• BIB
The Orlik-Solomon algebra is the cohomology ring of the complement of a hyperplane arrangement A in C^n; it is the quotient of an exterior algebra E(V) on |A| generators. Orlik and Terao introduced a commutative analog S(V)/I of the Orlik-Solomon algebra to answer a question of Aomoto and showed the Hilbert series depends only on the intersection lattice L(A). Motivated by topological considerations, Falk and Randell introduced the property of 2-formality; we study the relation between 2-formality and the Orlik-Terao algebra. Our main result is a necessary and sufficient condition for 2-formality in terms of the quadratic component I_2 of the Orlik-Terao ideal I: 2-formality is determined by the tangent space T_p(V(I_2)) at a generic point p.
Holonomy Lie algebras and the LCS formula for subarrangements of A_n
Published in International Mathematics Research Notices, 8 (2009) 1421-1432
• View Publication
• BIB
If X is the complement of a hypersurface in P^n, then Kohno showed that the nilpotent completion of the fundamental group is isomorphic to the nilpotent completion of the holonomy Lie algebra of X. When X is the complement of a hyperplane arrangement A, the ranks phi_k of the lower central series quotients of the fundamental group of X are known for isolated examples, and for two special classes: if X is hypersolvable (in which case the quadratic closure of the cohomology ring is Koszul), or if the holonomy Lie algebra decomposes in degree three as a direct product of local components. In this paper, we use the holonomy Lie algebra to obtain a formula for phi_k when A is a subarrangement of A_n. This extends Kohno's result for braid arrangements, and provides an instance of an LCS formula for arrangements which are not decomposable or hypersolvable.
Graded posets zeta matrix formula
Published in Bull. Soc. Sci. Lett. Lodz. Ser. Rech. Deform. vol 60 No3 (2010): 99--115
• Search Publication
The way to arrive at formula of zeta matrix for any graded posets with the finite set of minimal elements is delivered following the first reference. This is being achieved via adjacency and zeta matrix description of bipartite digraphs chains, the representatives of graded posets. The bipartite digraphs elements of such chains amalgamate to form corresponding cover relation graded poset digraphs with corresponding adjacency matrices being amalgamated throughout natural join as special adequate database operation. The colligation of reachability and connectivity with the presented description is made explicit. The special posets encoded via kodags directed acyclic graphs as cobeb posets cover relations digraphs are recognized as an example of differential posets subfamily. As on this night one reminisce anniversary of death of distinguished johann bernoulli the first this sylvester night article is to commemorate this date.
A hive model determination of multiplicity-free Schur function products and skew Schur functions
The hive model is a combinatorial device that may be used to determine Littlewood-Richardson coefficients and study their properties. It represents an alternative to the use of the Littlewood-Richardson rule. Here properties of hives are used to determine all possible multiplicity-free Schur function products and skew Schur function expansions. This confirms the results of Stembridge, Gutschwager, and Thomas and Yong, and sheds light on the combinatorial origin of the conditions for being multiplicity-free, as well as illustrating some of the key features and power of the hive model.
Information Inequalities for Joint Distributions, with Interpretations and Applications
Published in IEEE Transactions on Information Theory, Vol. 56(6), pp. 2699-2713, June 2010
• View Publication
• BIB
Upper and lower bounds are obtained for the joint entropy of a collection of random variables in terms of an arbitrary collection of subset joint entropies. These inequalities generalize Shannon's chain rule for entropy as well as inequalities of Han, Fujishige and Shearer. A duality between the upper and lower bounds for joint entropy is developed. All of these results are shown to be special cases of general, new results for submodular functions-- thus, the inequalities presented constitute a richly structured class of Shannon-type inequalities. The new inequalities are applied to obtain new results in combinatorics, such as bounds on the number of independent sets in an arbitrary graph and the number of zero-error source-channel codes, as well as new determinantal inequalities in matrix theory. A new inequality for relative entropies is also developed, along with interpretations in terms of hypothesis testing. Finally, revealing connections of the results to literature in economics, computer science, and physics are explored.
Entropy and set cardinality inequalities for partition-determined functions
Published in Random Structures and Algorithms, Vol. 40, pp. 399-424, 2012
• View Publication
• BIB
A new notion of partition-determined functions is introduced, and several basic inequalities are developed for the entropy of such functions of independent random variables, as well as for cardinalities of compound sets obtained using these functions. Here a compound set means a set obtained by varying each argument of a function of several variables over a set associated with that argument, where all the sets are subsets of an appropriate algebraic structure so that the function is well defined. On the one hand, the entropy inequalities developed for partition-determined functions imply entropic analogues of general inequalities of Plünnecke-Ruzsa type. On the other hand, the cardinality inequalities developed for compound sets imply several inequalities for sumsets, including for instance a generalization of inequalities proved by Gyarmati, Matolcsi and Ruzsa (2010). We also provide partial progress towards a conjecture of Ruzsa (2007) for sumsets in nonabelian groups. All proofs are elementary and rely on properly developing certain information-theoretic inequalities.
On upper bounds for parameters related to construction of special maximum matchings
Published in Discrete Mathematics 312/2 (2012), pp. 213--220
• View Publication
• BIB
For a graph $G$ let $L(G)$ and $l(G)$ denote the size of the largest and smallest maximum matching of a graph obtained from $G$ by removing a maximum matching of $G$. We show that $L(G)\leq 2l(G),$ and $L(G)\leq (3/2)l(G)$ provided that $G$ contains a perfect matching. We also characterize the class of graphs for which $L(G)=2l(G)$. Our characterization implies the existence of a polynomial algorithm for testing the property $L(G)=2l(G)$. Finally we show that it is $NP$-complete to test whether a graph $G$ containing a perfect matching satisfies $L(G)=(3/2)l(G)$.
Counting decomposable univariate polynomials
Published in Combinator. Probab. Comp. 24 (2015) 294-328
• View Publication
• BIB
A univariate polynomial f over a field is decomposable if it is the composition f = g(h) of two polynomials g and h whose degree is at least 2. We determine the dimension (over an algebraically closed field) of the set of decomposables, and an approximation to their number over a finite field. The tame case, where the field characteristic p does not divide the degree n of f, is reasonably well understood, and we obtain exponentially decreasing error bounds. The wild case, where p divides n, is more challenging and our error bounds are weaker.
Lower bounds for weak epsilon-nets and stair-convexity
Published in Israel Journal of Mathematics, 182:199-228, 2011
• View Publication
• BIB
A set N is called a "weak epsilon-net" (with respect to convex sets) for a finite set X in R^d if N intersects every convex set that contains at least epsilon*|X| points of X. For every fixed d>=2 and every r>=1 we construct sets X in R^d for which every weak (1/r)-net has at least Omega(r log^{d-1} r) points; this is the first superlinear lower bound for weak epsilon-nets in a fixed dimension.
The construction is a "stretched grid", i.e., the Cartesian product of d suitable fast-growing finite sequences, and convexity in this grid can be analyzed using "stair-convexity", a new variant of the usual notion of convexity.
We also consider weak epsilon-nets for the diagonal of our stretched grid in R^d, d>=3, which is an "intrinsically 1-dimensional" point set. In this case we exhibit slightly superlinear lower bounds (involving the inverse Ackermann function), showing that upper bounds by Alon, Kaplan, Nivasch, Sharir, and Smorodinsky (2008) are not far from the truth in the worst case.
Using the stretched grid we also improve the known upper bound for the so-called "second selection lemma" in the plane by a logarithmic factor: We obtain a set T of t triangles with vertices in an n-point set in the plane such that no point is contained in more than O(t^2 / (n^3 log (n^3/t))) triangles of T.
The optimal assignment problem for a countable state space
Published in Proceedings of the International Conference on Tropical and Idempotent Mathematics, G.L. Litvinov and S.N. Sergeev Eds, volume 495 in Contemporary Mathematics, pp 39--60, 2009, AMS
• View Publication
• BIB
Given a square matrix B=(b_{ij}) with real entries, the optimal assignment problem is to find a bijection s between the rows and the columns maximising the sum of the b_{is(i)}. In discrete optimal control and in the theory of discrete event systems, one often encounters the problem of solving the equation Bf=g for a given vector g, where the same symbol B denotes the corresponding max-plus linear operator, (Bf)_i:=max_j (b_{ij}+f_j). The matrix B is said to be strongly regular when there exists a vector g such that the equation Bf=g has a unique solution f. A result of Butkovic and Hevery shows that B is strongly regular if and only if the associated optimal assignment problem has a unique solution. We establish here an extension of this result which applies to max-plus linear operators over a countable state space. The proofs use the theory developed in a previous work in which we characterised the unique solvability of equations involving Moreau conjugacies over an infinite state space, in terms of the minimality of certain coverings of the state space by generalised subdifferentials.