Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Random Latin squares and 2-dimensional expanders
Published
• View Publication
• BIB
Let X be a 2-dimensional simplicial complex. The degree of an edge e is the number of 2-faces of X containing e. The complex X is an ε-expander if the coboundary d_1(φ) of every Z_2-valued 1-cochain φ\in C^1(X;Z_2) satisfies |support(d_1(φ))| \geq ε|\supp(φ+d_0(ψ))| for some 0-cochain ψ. Using a new model of random 2-complexes we show the existence of an infinite family of 2-dimensional ε-expanders with maximum edge degree d, for some fixed ε>0 and d.
Mixed cobinary trees
Published
• View Publication
• BIB
We develop basic cluster theory from an elementary point of view using a variation of binary trees which we call mixed cobinary trees. We show that the number of isomorphism classes of such trees is given by the Catalan number Cn where n is the number of internal nodes. We also consider the corresponding quiver Q_ε of type An-1. As a special case of more general known results about the relation between c-vectors, representations of quivers and their semi-invariants, we explain the bijection between mixed cobinary trees and the vertices of the generalized associahedron corresponding to the quiver Q_ε.
Large sets of Kirkman triple systems with order $q^n+2$
Published
• View Publication
• BIB
The existence of Large sets of Kirkman Triple Systems (LKTS) is an old problem in combinatorics. Known results are very limited, and a lot of them are based on the works of Denniston \cite{MR0349416, MR0369086, MR535159, MR539718}. The only known recursive constructions are an tripling construction by Denniston \cite{MR535159}and a product construction by Lei \cite{MR1931492}, both constructs an LKTS($uv$) on the basis of an LKTS($v$).
In this paper, we describe an construction of LKTS$(q^n+2)$ from LKTS$(q+2)$, where $q$ is a prime power of the form $6t+1$. We could construct previous unknown LKTS($v$) by this result, the smallest among them have $v=171,345,363$.
A note on the characteristic rank and related numbers
Published
• View Publication
• BIB
This note quantifies, via a sharp inequality, an interplay between (a) the characteristic rank of a vector bundle over a topological space X, (b) the Z/2Z-Betti numbers of X, and (c) sums of the numbers of certain partitions of integers. In a particular context, (c) is transformed into a sum of the readily calculable Betti numbers of the real Grassmann manifolds.
The monomial ideal of independent sets associated to a graph
Published
• View Publication
• BIB
Independent sets play a key role into the study of graphs and important problems arising in graph theory reduce to them. We define the monomial ideal of independent sets associated to a finite simple graph and describe its homological and algebraic invariants in terms of the combinatorics of the graph. We compute the minimal primary decomposition and characterize the Cohen--Macaulay ideals. Moreover, we provide a formula for computing the Betti numbers, which depends only on the coefficients of the independence polynomial of the graph.
Anarchy is free in network creation
Published
• View Publication
• BIB
The Internet has emerged as perhaps the most important network in modern computing, but rather miraculously, it was created through the individual actions of a multitude of agents rather than by a central planning authority. This motivates the game theoretic study of network formation, and our paper considers one of the most-well studied models, originally proposed by Fabrikant et al. In it, each of N agents corresponds to a vertex, which can create edges to other vertices at a cost of alpha each, for some parameter alpha. Every edge can be freely used by every vertex, regardless of who paid the creation cost. To reflect the desire to be close to other vertices, each agent's cost function is further augmented by the sum total of all (graph theoretic) distances to all other vertices.
Previous research proved that for many regimes of the (alpha, N) parameter space, the total social cost (sum of all agents' costs) of every Nash equilibrium is bounded by at most a constant multiple of the optimal social cost. In algorithmic game theoretic nomenclature, this approximation ratio is called the price of anarchy. In our paper, we significantly sharpen some of those results, proving that for all constant non-integral alpha > 2, the price of anarchy is in fact 1+o(1), i.e., not only is it bounded by a constant, but it tends to 1 as N tends to infinity. For constant integral alpha >= 2, we show that the price of anarchy is bounded away from 1. We provide quantitative estimates on the rates of convergence for both results.
Constructing 2- and 3-connected graphs
This work re-examines a classical construction of a 2-connected (simple) graph where every intermediate graph is 2-connected before detailing an analogous construction for 3-connected graphs which requires a graph equivalence relation $\sim_2$ and a related concept of the $\sim_2$-core of a graph. The case of $k$-connected graphs for $k\geq 4$ is also addressed.
Poweroids revisited - an old symbolic approach
Jeffery's 1861 computations using finite difference calculus are resurrected and extended from forward differences to general delta operators and used to neatly prove theorems in the Rota--Mullins theory of polynomials of binomial type (Steffensen's poweroids) allowing, for example, compact treatments of umbral composition, the binomial property and the connection constants. It is shown that it forms a legitimate alternative to the usual umbral device and also anticipates a number of results obtained more recently.
The combinatorial Hopf algebra of motivic dissection polylogarithms
Published in Advances in Mathematics 264 (2014) 646-699
• View Publication
• BIB
We introduce a family of periods of mixed Tate motives called dissection polylogarithms, that are indexed by combinatorial objects called dissection diagrams. The motivic coproduct on the former is encoded by a combinatorial Hopf algebra structure on the latter. This generalizes Goncharov's formula for the motivic coproduct on (generic) iterated integrals. Our main tool is the study of the relative cohomology group corresponding to a bi-arrangement of hyperplanes.
A combinatorial proof and refinement of a partition identity of Siladić
Published
• View Publication
• BIB
In this paper we give a combinatorial proof and refinement of a Rogers-Ramanujan type partition identity of Siladić arising from the study of Lie algebras. Our proof uses generating functions and $q$-difference equations.
Nodal geometry of graphs on surfaces
Published in Discrete Contin. Dyn. Syst. Ser. A 28 (2010), no. 3, 1291-1298
• View Publication
• BIB
We prove two mixed versions of the Discrete Nodal Theorem of Davies et. al. [3] for bounded degree graphs, and for three-connected graphs of fixed genus $g$. Using this we can show that for a three-connected graph satisfying a certain volume-growth condition, the multiplicity of the $n$th Laplacian eigenvalue is at most $2\left[
6(n-1) + 15(2g-2) \right]^2$. Our results hold for any Schrödinger operator, not just the Laplacian.
Combinatorial theory of the semiclassical evaluation of transport moments II: Algorithmic approach for moment generating functions
Published in J. Math. Phys. 54, 123505 (2013)
• View Publication
• BIB
Electronic transport through chaotic quantum dots exhibits universal behaviour which can be understood through the semiclassical approximation. Within the approximation, transport moments reduce to codifying classical correlations between scattering trajectories. These can be represented as ribbon graphs and we develop an algorithmic combinatorial method to generate all such graphs with a given genus. This provides an expansion of the linear transport moments for systems both with and without time reversal symmetry. The computational implementation is then able to progress several orders higher than previous semiclassical formulae as well as those derived from an asymptotic expansion of random matrix results. The patterns observed also suggest a general form for the higher orders.
Toroidal graphs containing neither $K_5^{-}$ nor 6-cycles are 4-choosable
Published
• View Publication
• BIB
The choosability $χ_\ell(G)$ of a graph $G$ is the minimum $k$ such that having $k$ colors available at each vertex guarantees a proper coloring. Given a toroidal graph $G$, it is known that $χ_\ell(G)\leq 7$, and $χ_\ell(G)=7$ if and only if $G$ contains $K_7$. Cai, Wang, and Zhu proved that a toroidal graph $G$ without 7-cycles is 6-choosable, and $χ_\ell(G)=6$ if and only if $G$ contains $K_6$. They also prove that a toroidal graph $G$ without 6-cycles is 5-choosable, and conjecture that $χ_\ell(G)=5$ if and only if $G$ contains $K_5$. We disprove this conjecture by constructing an infinite family of non-4-colorable toroidal graphs with neither $K_5$ nor cycles of length at least 6; moreover, this family of graphs is embeddable on every surface except the plane and the projective plane. Instead, we prove the following slightly weaker statement suggested by Zhu: toroidal graphs containing neither $K^-_5$ (a $K_5$ missing one edge) nor 6-cycles are 4-choosable. This is sharp in the sense that forbidding only one of the two structures does not ensure that the graph is 4-choosable.
The threshold for collapsibility in random complexes
Published
• View Publication
• BIB
In this paper we determine the threshold for collapsibility in the probabilistic model $X_d(n,p)$ of $d$-dimensional simplicial complexes. A lower bound for this threshold $p=\frac{c_d}{n}$ was established in \cite{ALLM}. Here we show that this is indeed the correct threshold. Namely, for every $c>c_d$, a complex drawn from $X_d(n,\frac{c}{n})$ is asymptotically almost surely not collapsible.
Multicoloring of cannonball graphs
The frequency allocation problem that appeared in the design of cellular telephone networks can be regarded as a multicoloring problem on a weighted hexagonal graph, which opened some still interesting mathematical problems. We generalize the multicoloring problem into higher dimension and present the first \jz{approximation} algorithms for multicoloring of so called cannonball graphs.
Making Octants Colorful and Related Covering Decomposition Problems
Published
• View Publication
• BIB
We give new positive results on the long-standing open problem of geometric covering decomposition for homothetic polygons. In particular, we prove that for any positive integer k, every finite set of points in R^3 can be colored with k colors so that every translate of the negative octant containing at least k^6 points contains at least one of each color. The best previously known bound was doubly exponential in k. This yields, among other corollaries, the first polynomial bound for the decomposability of multiple coverings by homothetic triangles. We also investigate related decomposition problems involving intervals appearing on a line. We prove that no algorithm can dynamically maintain a decomposition of a multiple covering by intervals under insertion of new intervals, even in a semi-online model, in which some coloring decisions can be delayed. This implies that a wide range of sweeping plane algorithms cannot guarantee any bound even for special cases of the octant problem.
Unique expansion matroids and union minimal matroids
Published
• View Publication
• BIB
The expansion axiom of matroids requires only the existence of some kind of independent sets, not the uniqueness of them. This causes that the base families of some matroids can be reduced while the unions of the base families of these matroids remain unchanged. In this paper, we define unique expansion matroids in which the expansion axiom has some extent uniqueness; we define union minimal matroids in which the base families have some extent minimality. Some properties of them and the relationship between them are studied. First, we propose the concepts of secondary base and forming base family. Secondly, we propose the concept of unique expansion matroid, and prove that a matroid is a unique expansion matroid if and only if its forming base family is a partition. Thirdly, we propose the concept of union minimal matroid, and prove that unique expansion matroids are union minimal matroids. Finally, we extend the concept of unique expansion matroid to unique exchange matroid and prove that both unique expansion matroids and their dual matroids are unique exchange matroids.
Functional Graphs of Polynomials over Finite Fields
Given a function $f$ in a finite field ${\mathbb F}_q$ of $q$ elements, we define the functional graph of $f$ as a directed graph on $q$ nodes labelled by the elements of ${\mathbb F}_q$ where there is an edge from $u$ to $v$ if and only if $f(u) = v$. We obtain some theoretic estimates on the number of non-isomorphic graphs generated by all polynomials of a given degree. We then develop a simple and practical algorithm to test the isomorphism of quadratic polynomials that has linear memory and time complexities. Furthermore, we extend this isomorphism testing algorithm to the general case of functional graphs, and prove that, while its time complexity increases only slightly, its memory complexity remains linear. We exploit this algorithm to provide an upper bound on the number of functional graphs corresponding to polynomials of degree $d$ over ${\mathbb F}_q$. Finally, we present some numerical results and compare function graphs of quadratic polynomials with those generated by random maps and pose interesting new problems.
Positivity Problems for Low-Order Linear Recurrence Sequences
Published
• View Publication
• BIB
We consider two decision problems for linear recurrence sequences (LRS) over the integers, namely the Positivity Problem (are all terms of a given LRS positive?) and the Ultimate Positivity Problem} (are all but finitely many terms of a given LRS positive?). We show decidability of both problems for LRS of order 5 or less, with complexity in the Counting Hierarchy for Positivity, and in polynomial time for Ultimate Positivity. Moreover, we show by way of hardness that extending the decidability of either problem to LRS of order 6 would entail major breakthroughs in analytic number theory, more precisely in the field of Diophantine approximation of transcendental numbers.
Longest common subsequences in binary sequences
Given two {0,1}-sequences X and Y of lengths m and n, respectively, we write L(X,Y) to denote the length of the longest common subsequence (LCS) of X and Y, and write L(m,n) to denote the expected value of L(X,Y) when X and Y are random sequences. We study the value of the function z -> lim L(nz,n)/n (as n -> infinity) and the relation of this function to the outstanding problem of computing the Chvatal-Sankoff constant lim L(n,n)/n.