Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Transitive Sets and Cyclic Quadrilaterals
Published
• View Publication
• BIB
Motivated by some questions in Euclidean Ramsey theory, our aim in this note is to show that there exists a cyclic quadrilateral that does not embed into any transitive set (in any dimension). We show that in fact this holds for almost all cyclic quadrilaterals, and we also give explicit examples of such cyclic quadrilaterals. These are the first explicit examples of spherical sets that do not embed into transitive sets.
Extension results for boolean maps and a class of systems of linear inequalities
In this paper we introduce the notion of {\it core} for two specific classes of boolean maps on finite involution posets (which are a generalization of the boolean lattices) and we prove some extension results for such families of boolean maps. Through the properties of the core, we provide a complete characterization of such maps. The main purpose of such abstract results is their application to the study of the compatibility of a particular class of systems of linear inequalities related to a conjecture of Manickam, Miklös and Singhi (\cite{ManSin88}, \cite{ManMik87}), still unsolved and that can be considered dual to the theorem of Erdös-Ko-Rado \cite{erd-ko-rad}.
Edge ideals: algebraic and combinatorial properties
Published in Progress in Commutative Algebra, Combinatorics and Homology, Vol. 1, 2012, pp. 85-126
• View Publication
• BIB
Let C be a clutter and let I(C) be its edge ideal. This is a survey paper on the algebraic and combinatorial properties of R/I(C) and C, respectively. We give a criterion to estimate the regularity of R/I(C) and apply this criterion to give new proofs of some formulas for the regularity. If C is a clutter and R/I(C) is sequentially Cohen-Macaulay, we present a formula for the regularity of the ideal of vertex covers of C and give a formula for the projective dimension of R/I(C). We also examine the associated primes of powers of edge ideals, and show that for a graph with a leaf, these sets form an ascending chain.
Schurity of S-rings over a cyclic group and generalized wreath product of permutation groups
Published in St. Petersburg Math. J. 24 (2013), no. 3, 431-460
• View Publication
• BIB
The generalized wreath product of permutation groups is introduced. By means of it we study the schurity problem for S-rings over a cyclic group $G$ and the automorphism groups of them. Criteria for the schurity and non-schurity of the generalized wreath product of two such S-rings are obtained. As a byproduct of the developed theory we prove that $G$ is a Schur group whenever the total number $Ω(n)$ of prime factors of the integer $n=|G|$ is at most 3. Moreover, we describe the structure of a non-schurian S-ring over $G$ when $Ω(n)=4$. The latter result implies in particular that if $n=p^3q$ where $p$ and $q$ are primes, then $G$ is a Schur group.
Unsolved Problems in Visibility Graphs of Points, Segments and Polygons
Published
• View Publication
• BIB
In this survey paper, we present open problems and conjectures on visibility graphs of points, segments and polygons along with necessary backgrounds for understanding them.
Max-Flow Min-Cut Theorems for Multi-User Communication Networks
Published
• View Publication
• BIB
The paper presents four distinct new ideas and results for communication networks:
1) We show that relay-networks (i.e. communication networks where different nodes use the same coding functions) can be used to model dynamic networks.
2) We introduce {\em the term model}, which is a simple, graph-free symbolic approach to communication networks.
3) We state and prove variants of a theorem concerning the dispersion of information in single-receiver communications.
4) We show that the solvability of an abstract multi-user communication problem is equivalent to the solvability of a single-target communication in a suitable relay network.
In the paper, we develop a number of technical ramifications of these ideas and results. One technical result is a max-flow min-cut theorem for the Rényi entropy with order less than one, given that the sources are equiprobably distributed; conversely, we show that the max-flow min-cut theorem fails for the Rényi entropy with order greater than one. We leave the status of the theorem with regards to the ordinary Shannon Entropy measure (Rényi entropy of order one and the limit case between validity or failure of the theorem) as an open question. In non-dynamic static communication networks with a single receiver, a simple application of Menger's theorem shows that the optimal throughput can be achieved without proper use of network coding i.e. just by using ordinary packet-switching. This fails dramatically in relay networks with a single receiver. We show that even a powerful method like linear network coding fails miserably for relay networks. With that in mind, it is noticeable that our rather weak form of network coding (routing with dynamic headers) is asymptotically sufficient to reach capacity.
Poset pinball, highest forms, and (n-2,2) Springer varieties
Published
• View Publication
• BIB
We study type $A$ nilpotent Hessenberg varieties equipped with a natural $S^1$-action using techniques introduced by Tymoczko, Harada-Tymoczko, and Bayegan-Harada, with a particular emphasis on a special class of nilpotent Springer varieties corresponding to the partition $λ= (n-2,2)$ for $n \geq 4$. First we define the adjacent-pair matrix corresponding to any filling of a Young diagram with $n$ boxes with the alphabet $\{1,2,\ldots,n\}$. Using the adjacent-pair matrix we make more explicit and also extend some statements concerning highest forms of linear operators in previous work of Tymoczko. Second, for a nilpotent operator $N$ and Hessenberg function $h$, we construct an explicit bijection between the $S^1$-fixed points of the nilpotent Hessenberg variety $\Hess(N,h)$ and the set of $(h,λ_N)$-permissible fillings of the Young diagram $λ_N$. Third, we use poset pinball, the combinatorial game introduced by Harada and Tymoczko, to study the $S^1$-equivariant cohomology of type $A$ Springer varieties $\mathcal{S}_{(n-2,2)}$ associated to Young diagrams of shape $(n-2,2)$ for $n\geq 4$. Specifically, we use the dimension pair algorithm for Betti-acceptable pinball described by Bayegan and Harada to specify a subset of the equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety $\mathcal{F}\ell ags(\C^n)$ which maps to a module basis of $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$ under the projection $H^*_T(\mathcal{F}\ell ags(\C^n)) \to H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. Our pinball module basis is not poset-upper-triangular; this is the first concrete such example in the literature. A consequence of our proof is that there exists a simple and explicit change of basis which transforms our basis to a poset-upper-triangular module basis for $H^*_{S^1}(\mathcal{S}_{(n-2,2)})$. We close with open questions for future work.
Universal Polynomials for Severi Degrees of Toric Surfaces
Published
• View Publication
• BIB
The Severi variety parameterizes plane curves of degree d with delta nodes. Its degree is called the Severi degree. For large enough d, the Severi degrees coincide with the Gromov-Witten invariants of P^2. Fomin and Mikhalkin (2009) proved the 1995 conjecture that, for fixed delta, Severi degrees are eventually polynomial in d.
In this paper, we study the Severi varieties corresponding to a large family of toric surfaces. We prove the analogous result that the Severi degrees are eventually polynomial as a function of the multidegree. More surprisingly, we show that the Severi degrees are also eventually polynomial "as a function of the surface". We illustrate our theorems by explicit computing, for a small number of nodes, the Severi degree of any large enough Hirzebruch surface and of a singular surface.
Our strategy is to use tropical geometry to express Severi degrees in terms of Brugalle and Mikhalkin's floor diagrams, and study those combinatorial objects in detail. An important ingredient in the proof is the polynomiality of the discrete volume of a variable facet-unimodular polytope.
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.