Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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.
Site Percolation on Multi-dimensional Lattice
Sites in an infinite d-dimensional lattice, open with probability greater or equal to 1/d, form an infinite open path.
A Coloring Problem for Infinite Words
Published
• View Publication
• BIB
In this paper we consider the following question in the spirit of Ramsey theory: Given $x\in A^ω,$ where $A$ is a finite non-empty set, does there exist a finite coloring of the non-empty factors of $x$ with the property that no factorization of $x$ is monochromatic? We prove that this question has a positive answer using two colors for almost all words relative to the standard Bernoulli measure on $A^ω.$ We also show that it has a positive answer for various classes of uniformly recurrent words, including all aperiodic balanced words, and all words $x\in A^ω$ satisfying $λ_x(n+1)-λ_x(n)=1$ for all $n$ sufficiently large, where $ λ_x(n)$ denotes the number of distinct factors of $x$ of length $n.$
On the dimension of max-min convex sets
Published in Fuzzy Sets and Systems 271 (2015) 88-101
• View Publication
• BIB
We introduce a notion of dimension of max-min convex sets, following the approach of tropical convexity. We introduce a max-min analogue of the tropical rank of a matrix and show that it is equal to the dimension of the associated polytope. We describe the relation between this rank and the notion of strong regularity in max-min algebra, which is traditionally defined in terms of unique solvability of linear systems and trapezoidal property.
Secondary fans and Tropical Severi varieties
Published
• View Publication
• BIB
This article studies the relationship between tropical Severi varieties and secondary fans. In the case when tropical Severi varieties are hypersurfaces this relationship is very well known; specifically, in this case, a tropical Severi variety of codimension 1 is a subfan of the corresponding secondary fan. It was expected for some time that this continues to hold more generally, but Katz found a counterexample in codimension 2, showing that this relationship is more subtle. The two main results in this paper are as follows. The first theorem finds a simple condition under which a tropical Severi variety cannot be a subfan of the corresponding secondary fan. The second theorem provides a partial converse, namely, we find conditions under which a cone of the secondary fan is fully contained in the tropical Severi variety. As a first application of these results, we also find a combinatorial formula for the tropical intersection multiplicities for secondary fans.
Transformations of polar Grassmannians preserving certain intersecting relations
Published
• View Publication
• BIB
Let $Π$ be a polar space of rank $n\ge 3$. Denote by ${\mathcal G}_{k}(Π)$ the polar Grassmannian formed by singular subspaces of $Π$ whose projective dimension is equal to $k$. Suppose that $k$ is an integer not greater than $n-2$ and consider the relation ${\mathfrak R}_{i,j}$, $0\le i\le j\le k+1$ formed by all pairs $(X,Y)\in {\mathcal G}_{k}(Π)\times {\mathcal G}_{k}(Π)$ such that $\dim_{p}(X^{\perp}\cap Y)=k-i$ and $\dim_{p} (X\cap Y)=k-j$ ($X^{\perp}$ consists of all points of $Π$ collinear to every point of $X$). We show that every bijective transformation of ${\mathcal G}_{k}(Π)$ preserving ${\mathfrak R}_{1,1}$ is induced by an automorphism of $Π$ and the same holds for the relation ${\mathfrak R}_{0,t}$ if $n\ge 2t\ge 4$ and $k=n-t-1$. In the case when $Π$ is a finite classical polar space, we establish that the valencies of ${\mathfrak R}_{i,j}$ and ${\mathfrak R}_{i',j'}$ are distinct if $(i,j)\ne (i',j')$.
Combinatorial decomposition approaches for efficient counting and random generation FPTASes
Given a combinatorial decomposition for a counting problem, we resort to the simple scheme of approximating large numbers by floating-point representations in order to obtain efficient Fully Polynomial Time Approximation Schemes (FPTASes) for it. The number of bits employed for the exponent and the mantissa will depend on the error parameter $0 < \varepsilon \leq 1$ and on the characteristics of the problem. Accordingly, we propose the first FPTASes with $1 \pm \varepsilon$ relative error for counting and generating uniformly at random a labeled DAG with a given number of vertices. This is accomplished starting from a classical recurrence for counting DAGs, whose values we approximate by floating-point numbers.
After extending these results to other families of DAGs, we show how the same approach works also with problems where we are given a compact representation of a combinatorial ensemble and we are asked to count and sample elements from it. We employ here the floating-point approximation method to transform the classic pseudo-polynomial algorithm for counting 0/1 Knapsack solutions into a very simple FPTAS with $1 - \varepsilon$ relative error. Its complexity improves upon the recent result (Štefankovič et al., SIAM J. Comput., 2012), and, when $\varepsilon^{-1} = Ω(n)$, also upon the best-known randomized algorithm (Dyer, STOC, 2003). To show the versatility of this technique, we also apply it to a recent generalization of the problem of counting 0/1 Knapsack solutions in an arc-weighted DAG, obtaining a faster and simpler FPTAS than the existing one.
Lower bounds for the spanning tree numbers of two graph products
For any graph $G$ of order $n$, the spanning tree packing number \emph{$STP(G)$}, is the maximum number of edge-disjoint spanning trees contained in $G$. In this paper, we obtain some sharp lower bounds for the spanning tree numbers of Cartesian product graphs and Lexicographic product graphs.
Convex Polygons are Self-Coverable
Published
• View Publication
• BIB
We introduce a new notion for geometric families called self-coverability and show that homothets of convex polygons are self-coverable. As a corollary, we obtain several results about coloring point sets such that any member of the family with many points contains all colors. This is dual (and in some cases equivalent) to the much investigated cover-decomposability problem.