Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Coboundary expanders
Published
• View Publication
• BIB
We describe a natural topological generalization of edge expansion for graphs to regular CW complexes and prove that this property holds with high probability for certain random complexes.
Note on a relation between Randic index and algebraic connectivity
A conjecture of AutoGraphiX on the relation between the Randić index $R$ and the algebraic connectivity $a$ of a connected graph $G$ is: $$\frac R a\leq (\frac{n-3+2\sqrt{2}}{2})/(2(1- \cos {\fracπ{n}})) $$ with equality if and only if $G$ is $P_n$, which was proposed by Aouchiche and Hansen [M. Aouchiche and P. Hansen, A survey of automated conjectures in spectral graph theory, {\it Linear Algebra Appl.} {\bf 432}(2010), 2293--2322]. We prove that the conjecture holds for all trees and all connected graphs with edge connectivity $κ'(G)\geq 2$, and if $κ'(G)=1$, the conjecture holds for sufficiently large $n$. The conjecture also holds for all connected graphs with diameter $D\leq \frac {2(n-3+2\sqrt{2})}{π^2}$ or minimum degree $δ\geq \frac n 2$. We also prove $R\cdot a\geq \frac {8\sqrt{n-1}}{nD^2}$ and $R\cdot a\geq \frac {nδ(2δ-n+2)} {2(n-1)}$, and then $R\cdot a$ is minimum for the path if $D\leq (n-1)^{1/4}$ or $δ\geq \frac n 2-1$.
Generalized Delaunay Graphs with respect to any Convex Set are Plane Graphs
We consider two types of geometric graphs on point sets on the plane based on a plane set C: one obtained by translates of C, another by positively scaled translates (homothets) of C. For compact and convex C, graphs defined by scaled translates of C, i.e., Delaunay graphs based on C, are known to be plane graphs. We show that as long as C is convex, both types of graphs are plane graphs.
Cluster categories
Published
• View Publication
• BIB
Cluster algebras were introduced by Fomin-Zelevinsky in 2002 in order to give a combinatorial framework for phenomena occurring in the context of algebraic groups. Cluster algebras also have links to a wide range of other subjects, including the representation theory of finite dimensional algebras, as first discovered by Marsh- Reineke-Zelevinsky. Modifying module categories over hereditary algebras, cluster categories were introduced in work with Buan-Marsh-Reineke-Todorov in order to "categorify" the essential ingredients in the definition of cluster algebras in the acyclic case. They were shown to be triangulated by Keller. Related work was done by Geiss-Leclerc-Schröer using preprojective algebras of Dynkin type. In work by many authors there have been further developments, leading to feedback to cluster algebras, new interesting classes of finite dimensional algebras, and the investigation of categories of Calabi-Yau dimension $2.$
Finite basis for analytic strong n-gaps
Published in Combinatorica 33 (2013), 375-393
• Search Publication
We identify the finite list of minimal analytic n-gaps which are not countably separated, and we prove that every analytic n-gap which is not countably separated contains a gap from our finite list.
A Combined Logarithmic Bound on the Chromatic Index of a Multigraph
Published
• View Publication
• BIB
For a multigraph G, the integer round-up phi(G) of the fractional chromatic index yields a good general lower bound for the chromatic index . For an upper bound, Kahn showed that for any real c > 0 there exists a positive integer N so that the chromatic index is less than (1+c)*phi(G) whenever the fractional index > N. We show the amount by which the chromatic index can surpass phi(G) is in fact logarithmic, by showing that for any multigraph G with order n > 3 and at least one edge, the chromatic index is less than phi(G) + log (min {(n+1)/3, phi(G)}) .
Polynomial invariants of graphs on surfaces
Published
• View Publication
• BIB
For a graph embedded into a surface, we relate many combinatorial parameters of the cycle matroid of the graph and the bond matroid of the dual graph with the topological parameters of the embedding. This will give an expression of the polynomial, defined by M.Las Vergnas in a combinatorial way using matroids as a specialization of the Krushkal polynomial, defined using the symplectic structure in the first homology group of the surface.
Combinatorics of the tropical Torelli map
Published
• View Publication
• BIB
This paper is a combinatorial and computational study of the moduli space of tropical curves of genus g, the moduli space of principally polarized tropical abelian varieties, and the tropical Torelli map. These objects were introduced recently by Brannetti, Melo, and Viviani. Here, we give a new definition of the category of stacky fans, of which the aforementioned moduli spaces are objects and the Torelli map is a morphism. We compute the poset of cells of tropical M_g and of the tropical Schottky locus for genus at most 5. We show that tropical A_g is Hausdorff, and we also construct a finite-index cover for A_3 which satisfies a tropical-type balancing condition. Many different combinatorial objects, including regular matroids, positive semidefinite forms, and metric graphs, play a role.
An introduction to higher cluster categories
In this survey we discuss some combinatorial aspects of higher cluster categories.
The Brush Number of the Two-Dimensional Torus
In this paper we are interested in the brush number of a graph - a concept introduced by McKeil and by Messinger, Nowakowski and Pralat. Our main aim in this paper is to determine the brush number of the two-dimensional torus. This answers a question of Bonato and Messinger. We also find the brush number of the cartesian product of a clique with a path, which is related to the Box Cleaning Conjecture of Bonato and Messinger.
A note on counting labeled and unlabeled trees
We provide a short combinatorial proof of Cayley's formula by means of a bijective map to an outcome space of an urn-drawing problem.
Furthermore we introduce an algebraic structure on the set of labeled trees, which provides a more standard approach to Cayley's formula. Moreover, this algebraic structure sheds light on the problem of counting the unlabeled trees. In particular, it indicates how counting the number of unlabeled trees on $n$ vertices is connected to finding the number of partitions of $n-2$
On convolutions of Euler numbers
We show that if p is an odd prime then $$\sum_{k=0}^{p-1}E_kE_{p-1-k}=1 (mod p)$$ and $$\sum_{k=0}^{p-3}E_kE_{p-3-k}=(-1)^{(p-1)/2}2E_{p-3} (mod p),$$ where E_0,E_1,E_2,... are Euler numbers. Moreover, we prove that for any positive integer n and prime number p>2n+1 we have $$\sum_{k=0}^{p-1+2n}E_kE_{p-1+2n-k}=s(n) (mod p)$$ where s(n) is an integer only depending on n.
Generating stable modular graphs
Published in Journal of Symbolic Computation 46 (2011), pp. 1087-1097
• View Publication
• BIB
We present the program Boundary, whose source files are available at http://people.sissa.it/~maggiolo/boundary/. Given two natural numbers g and n satisfying 2g+n-2>0, the program generates all genus g stable graphs with n unordered marked points. Each such graph determines the topological type of a nodal stable curve of arithmetic genus g with n unordered marked points. Our motivation comes from the fact that the boundary of the moduli space of stable genus g, n-pointed curves can be stratified by taking loci of curves of a fixed topological type.
The incidence Hopf algebra of graphs
Published
• View Publication
• BIB
The graph algebra is a commutative, cocommutative, graded, connected incidence Hopf algebra, whose basis elements correspond to finite simple graphs and whose Hopf product and coproduct admit simple combinatorial descriptions. We give a new formula for the antipode in the graph algebra in terms of acyclic orientations; our formula contains many fewer terms than Takeuchi's and Schmitt's more general formulas for the antipode in an incidence Hopf algebra. Applications include several formulas (some old and some new) for evaluations of the Tutte polynomial.
Input Parameters Optimization in Swarm DS-CDMA Multiuser Detectors
In this paper, the uplink direct sequence code division multiple access (DS-CDMA) multiuser detection problem (MuD) is studied into heuristic perspective, named particle swarm optimization (PSO). Regarding different system improvements for future technologies, such as high-order modulation and diversity exploitation, a complete parameter optimization procedure for the PSO applied to MuD problem is provided, which represents the major contribution of this paper. Furthermore, the performance of the PSO-MuD is briefly analyzed via Monte-Carlo simulations. Simulation results show that, after convergence, the performance reached by the PSO-MuD is much better than the conventional detector, and somewhat close to the single user bound (SuB). Rayleigh flat channel is initially considered, but the results are further extend to diversity (time and spatial) channels.
From Cycle Rooted Spanning Forests to the Critical Ising Model: an Explicit Construction
Published in Comm. Math. Phys. 319 (2013), no 1, 69-110
• View Publication
• BIB
Fisher established an explicit correspondence between the 2-dimensional Ising model defined on a graph $G$ and the dimer model defined on a decorated version $\GD$ of this graph \cite{Fisher}. In this paper we explicitly relate the dimer model associated to the critical Ising model and critical cycle rooted spanning forests (CRSFs). This relation is established through characteristic polynomials, whose definition only depends on the respective fundamental domains, and which encode the combinatorics of the model. We first show a matrix-tree type theorem establishing that the dimer characteristic polynomial counts CRSFs of the decorated fundamental domain $\GD_1$. Our main result consists in explicitly constructing CRSFs of $\GD_1$ counted by the dimer characteristic polynomial, from CRSFs of $G_1$ where edges are assigned Kenyon's critical weight function \cite{Kenyon3}; thus proving a relation on the level of configurations between two well known 2-dimensional critical models.
Congruences concerning Legendre polynomials III
Published
• View Publication
• BIB
Let $p>3$ be a prime, and let $R_p$ be the set of rational numbers whose denominator is coprime to $p$. Let $\{P_n(x)\}$ be the Legendre polynomials. In this paper we mainly show that for $m,n,t\in R_p$ with $m\not\e 0\pmod p$, $$\align &P_{[\frac p6]}(t) \e -\Big(\frac 3p\Big)\sum_{x=0}^{p-1}\Big(\frac{x^3-3x+2t}p\Big)\pmod p, &\Big(\sum_{x=0}^{p-1}\Big(\frac{x^3+mx+n}p\Big)\Big)^2\equiv \Big(\frac{-3m}p\Big) \sum_{k=0}^{[p/6]}\binom{2k}k\binom{3k}k\binom{6k}{3k} \Big(\frac{4m^3+27n^2}{12^3\cdot 4m^3}\Big)^k\pmod p,$$ where $(\frac ap)$ is the Legendre symbol and $[x]$ is the greatest integer function. As an application we solve some conjectures of Z.W. Sun and the author concerning $\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k\binom{6k}{3k}/m^k\pmod {p^2}$, where $m$ is an integer not divisible by $p$.
On triply even binary codes
Published in J. London Math. Soc. (2) 86 (2012) 1-16
• View Publication
• BIB
A triply even code is a binary linear code in which the weight of every codeword is divisible by 8. We show how two doubly even codes of lengths m_1 and m_2 can be combined to make a triply even code of length m_1+m_2, and then prove that every maximal triply even code of length 48 can be obtained by combining two doubly even codes of length 24 in a certain way. Using this result, we show that there are exactly 10 maximal triply even codes of length 48 up to equivalence.
The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree
Published
• View Publication
• BIB
It is known that every planar graph has a planar embedding where edges are represented by non-crossing straight-line segments. We study the planar slope number, i.e., the minimum number of distinct edge-slopes in such a drawing of a planar graph with maximum degree $Δ$. We show that the planar slope number of every planar partial 3-tree and also every plane partial 3-tree is at most $O(Δ^5)$. In particular, we answer the question of Dujmović et al. [Computational Geometry 38 (3), pp. 194--212 (2007)] whether there is a function $f$ such that plane maximal outerplanar graphs can be drawn using at most $f(Δ)$ slopes.
Minimum K_2,3-saturated Graphs
Published in J. Graph Theory 76 (2014) no. 4, 309--322
• View Publication
• BIB
A graph is K_{2,3}-saturated if it has no subgraph isomorphic to K_{2,3}, but does contain a K_{2,3} after the addition of any new edge. We prove that the minimum number of edges in a K_{2,3}-saturated graph on n >= 5 vertices is sat(n, K_{2,3}) = 2n - 3.