Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Affine and Projective Tree Metric Theorems
Published
• View Publication
• BIB
The tree metric theorem provides a combinatorial four point condition that characterizes dissimilarity maps derived from pairwise compatible split systems. A similar (but weaker) four point condition characterizes dissimilarity maps derived from circular split systems (Kalmanson metrics). The tree metric theorem was first discovered in the context of phylogenetics and forms the basis of many tree reconstruction algorithms, whereas Kalmanson metrics were first considered by computer scientists, and are notable in that they are a non-trivial class of metrics for which the traveling salesman problem is tractable. We present a unifying framework for these theorems based on combinatorial structures that are used for graph planarity testing. These are (projective) PC-trees, and their affine analogs, PQ-trees. In the projective case, we generalize a number of concepts from clustering theory, including hierarchies, pyramids, ultrametrics and Robinsonian matrices, and the theorems that relate them. As with tree metrics and ultrametrics, the link between PC-trees and PQ-trees is established via the Gromov product.
2-cancellative hypergraphs and codes
A family of sets F (and the corresponding family of 0-1 vectors) is called t-cancellative if for all distict t+2 members A_1,... A_t and B,C from F the union of A_1,..., A_t and B differs from the union of A_1, ..., A_t and C. Let c(n,t) be the size of the largest t-cancellative family on n elements, and let c_k(n,t) denote the largest k-uniform family. We significantly improve the previous upper bounds, e.g., we show c(n,2)< 2^0.322n (for n> n_0). Using an algebraic construction we show that the order of magnitude of c_{2k}(n,2) is n^k for each k (when n goes to infinity).
Random sum-free subsets of Abelian groups
Published
• View Publication
• BIB
We characterize the structure of maximum-size sum-free subsets of a random subset of an Abelian group $G$. In particular, we determine the threshold $p_c \approx \sqrt{\log n / n}$ above which, with high probability as $|G| \to \infty$, each such subset is contained in a maximum-size sum-free subset of $G$, whenever $q$ divides $|G|$ for some (fixed) prime $q$ with $q \equiv 2 \pmod 3$. Moreover, in the special case $G = \ZZ_{2n}$, we determine a sharp threshold for the above property. The proof uses recent 'transference' theorems of Conlon and Gowers, together with stability theorems for sum-free subsets of Abelian groups.
Regular tessellations of the hyperbolic plane by fundamental domains of a Fuchsian group
Published in Mosc. Math. J., 3 (2003), no. 1, 249-252
• Search Publication
For positive integers p and q with 1/p + 1/q < 1/2, a tessellation of type {p,q} is a tessellation of the hyperbolic plane by regular p-gons with q p-gons meeting at each vertex. In this paper, a necessary and sufficient condition on the integers p and q is established to determine when a tessellation of type {p,q} can be realized as a tessellation of the hyperbolic plane by fundamental domains of some Fuchsian group. Specifically, a tessellation of type {p,q} is a tessellation by fundamental domains if and only if q has a prime divisor less than or equal to p.
The Walk Distances in Graphs
Published
• View Publication
• BIB
The walk distances in graphs are defined as the result of appropriate transformations of the $\sum_{k=0}^\infty(tA)^k$ proximity measures, where $A$ is the weighted adjacency matrix of a graph and $t$ is a sufficiently small positive parameter. The walk distances are graph-geodetic; moreover, they converge to the shortest path distance and to the so-called long walk distance as the parameter $t$ approaches its limiting values. We also show that the logarithmic forest distances which are known to generalize the resistance distance and the shortest path distance are a subclass of walk distances. On the other hand, the long walk distance is equal to the resistance distance in a transformed graph.
Total Vertex Irregularity Strength of Forests
We investigate a graph parameter called the total vertex irregularity strength ($tvs(G)$), i.e. the minimal $s$ such that there is a labeling $w: E(G)\cup V(G)\rightarrow \{1,2,..,s\}$ of the edges and vertices of $G$ giving distinct weighted degrees $wt_G(v):=w(v)+\sum_{v\in e \in E(G)}w(e)$ for every pair of vertices of $G$. We prove that $tvs(F)=\lceil (n_1+1)/2 \rceil$ for every forest $F$ with no vertices of degree 2 and no isolated vertices, where $n_1$ is the number of pendant vertices in $F$. Stronger results for trees were recently proved by Nurdin et al.
Lattice points close to families of surfaces, non-isotropic dilations and regularity of generalized Radon transforms
We prove that if $φ: {\Bbb R}^d \times {\Bbb R}^d \to {\Bbb R}$, $d \ge 2$, is a homogeneous function, smooth away from the origin and having non-zero Monge-Ampere determinant away from the origin, then $$ R^{-d} # \{(n,m) \in {\Bbb Z}^d \times {\Bbb Z}^d: |n|, |m| \leq CR; R \leq φ(n,m) \leq R+δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}.$$
This is a variable coefficient version of a result proved by Lettington in \cite{L10}, extending a previous result by Andrews in \cite{A63}, showing that if $B \subset {\Bbb R}^d$, $d \ge 2$, is a symmetric convex body with a sufficiently smooth boundary and non-vanishing Gaussian curvature, then $$ # \{k \in {\mathbb Z}^d: dist(k, R \partial B) \leq δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}. (*)$$
Furthermore, we shall see that the same argument yields a non-isotropic analog of $(*)$, one for which the exponent on the right hand side is, in general, sharp, even in the infinitely smooth case. This sheds some light on the nature of the exponents and their connection with the conjecture due to Wolfgang Schmidt on the distribution of lattice points on dilates of smooth convex surfaces in ${\Bbb R}^d$.
Uniform hypergraphs containing no grids
A hypergraph is called an r by r grid if it is isomorphic to a pattern of r horizontal and r vertical lines. Three sets form a triangle if they pairwise intersect in three distinct singletons. A hypergraph is linear if every pair of edges meet in at most one vertex. In this paper we construct large linear r-hypergraphs which contain no grids. Moreover, a similar construction gives large linear r-hypergraphs which contain neither grids nor triangles. For r at least 4 our constructions are almost optimal. These investigations are also motivated by coding theory: we get new bounds for optimal superimposed codes and designs.
Cut locus structures on graphs
Published
• View Publication
• BIB
Motivated by a fundamental geometrical object, the cut locus, we introduce and study a new combinatorial structure on graphs.
On the number of cut locus structures on graphs
We proved in another paper that every connected graph can be realized as the cut locus of some point on some riemannian surface. Here we give upper bounds on the number of such realizations.
Graphs with two crossings are 5-choosable
Published
• View Publication
• BIB
A graph G is k-choosable if G can be properly colored whenever every vertex has a list of at least k available colors. Thomassen's theorem states that every planar graph is 5-choosable. We extend the result by showing that every graph with at most two crossings is 5-choosable.
The Shard Intersection Order on Permutations
The shard intersection order is a new lattice structure on a finite Coxeter group W which encodes the geometry of the reflection arrangement and the lattice theory of the weak order. In the case where W is the symmetric group, we characterize shard intersections as certain pre-orders which we call permutation pre-orders. We use this combinatorial characterization to determine properties of the shard intersection order. In particular, we give an EL-labeling.
Crystal frameworks, symmetry and affinely periodic flexes
Symmetry equations are obtained for the rigidity matrices associated with various forms of infinitesimal flexibility for an idealised bond-node crystal framework $\C$ in $\bR^d$. These equations are used to derive symmetry-adapted Maxwell-Calladine counting formulae for periodic self-stresses and affinely periodic infinitesimal mechanisms. The symmetry equations also lead to general Fowler-Guest formulae connecting the character lists of subrepresentations of the crystallographic space and point groups which are associated with bonds, nodes, stresses, flexes and rigid motions. A new derivation is also given for the Borcea-Streinu rigidity matrix and the correspondence between its nullspace and the space of affinely periodic infinitesimal flexes.
On the Chromatic Thresholds of Hypergraphs
Published in Combinator. Probab. Comp. 25 (2016) 172-212
• View Publication
• BIB
Let F be a family of r-uniform hypergraphs. The chromatic threshold of F is the infimum of all non-negative reals c such that the subfamily of F comprising hypergraphs H with minimum degree at least $c \binom{|V(H)|}{r-1}$ has bounded chromatic number. This parameter has a long history for graphs (r=2), and in this paper we begin its systematic study for hypergraphs.
Łuczak and Thomassé recently proved that the chromatic threshold of the so-called near bipartite graphs is zero, and our main contribution is to generalize this result to r-uniform hypergraphs. For this class of hypergraphs, we also show that the exact Turán number is achieved uniquely by the complete (r+1)-partite hypergraph with nearly equal part sizes. This is one of very few infinite families of nondegenerate hypergraphs whose Turán number is determined exactly. In an attempt to generalize Thomassen's result that the chromatic threshold of triangle-free graphs is 1/3, we prove bounds for the chromatic threshold of the family of 3-uniform hypergraphs not containing {abc, abd, cde}, the so-called generalized triangle.
In order to prove upper bounds we introduce the concept of fiber bundles, which can be thought of as a hypergraph analogue of directed graphs. This leads to the notion of fiber bundle dimension, a structural property of fiber bundles that is based on the idea of Vapnik-Chervonenkis dimension in hypergraphs. Our lower bounds follow from explicit constructions, many of which use a hypergraph analogue of the Kneser graph. Using methods from extremal set theory, we prove that these Kneser hypergraphs have unbounded chromatic number. This generalizes a result of Szemerédi for graphs and might be of independent interest. Many open problems remain.
On minimum sum representations for weighted voting games
Published in Kurz, S. (2012). On minimum sum representations for weighted voting games. Annals of Operations Research, 196(1), 361-369
• View Publication
• BIB
A proposal in a weighted voting game is accepted if the sum of the (non-negative) weights of the "yea" voters is at least as large as a given quota. Several authors have considered representations of weighted voting games with minimum sum, where the weights and the quota are restricted to be integers. Freixas and Molinero have classified all weighted voting games without a unique minimum sum representation for up to 8 voters. Here we exhaustively classify all weighted voting games consisting of 9 voters which do not admit a unique minimum sum integer weight representation.
The two-sided infinite extension of the Mallows model for random permutations
Published in Advances in Applied Mathematics 48 (2012), no. 5, 615-639
• View Publication
• BIB
We introduce a probability distribution Q on the group of permutations of the set Z of integers. Distribution Q is a natural extension of the Mallows distribution on the finite symmetric group. A one-sided infinite counterpart of Q, supported by the group of permutations of the set N of natural numbers, was studied previously in our paper [Gnedin and Olshanski, Ann. Prob. 38 (2010), 2103-2135; arXiv:0907.3275]. We analyze various features of Q such as its symmetries, the support, and the marginal distributions.
On The b-Chromatic Number of Regular Graphs Without 4-Cycle
Published
• View Publication
• BIB
The b-chromatic number of a graph $G$, denoted by $φ(G)$, is the largest integer $k$ that $G$ admits a proper $k$-coloring such that each color class has a vertex that is adjacent to at least one vertex in each of the other color classes. We prove that for each $d$-regular graph $G$ which contains no 4-cycle, $φ(G)\geq\lfloor\frac{d+3}{2}\rfloor$ and if $G$ has a triangle, then $φ(G)\geq\lfloor\frac{d+4}{2}\rfloor$. Also, if $G$ is a $d$-regular graph which contains no 4-cycle and $diam(G)\geq6$, then $φ(G)=d+1$. Finally, we show that for any $d$-regular graph $G$ which does not contain 4-cycle and $κ(G)\leq\frac{d+1}{2}$, $φ(G)=d+1$.
Harmonic Galois theory for finite graphs
Published in Advanced Studies in Pure Mathematics, 63 (2012) 121-140
• View Publication
• BIB
This paper develops a harmonic Galois theory for finite graphs, thereby classifying harmonic branched $G$-covers of a fixed base $X$ in terms of homomorphisms from a suitable fundamental group of $X$ together with $G$-inertia structures on $X$. As applications, we show that finite embedding problems for graphs have proper solutions and prove a Grunwald-Wang type result stating that an arbitrary collection of fibers may be realized by a global cover.
Some Combinatorial Identities some of which involving Harmonic Numbers
A product difference equation is proved and used for derivation by elementary methods of four combinatorial identities, eight combinatorial identities involving generalized harmonic numbers and eight combinatorial identities involving classical harmonic numbers. For the binomial coefficients the definition with gamma functions is used, thus also allowing non-integer arguments in the identities. The generalized harmonic numbers in this case are harmonic numbers with a complex offset, where the classical harmonic numbers are a special case with offset zero.
Cellular Resolutions of Ideals Defined by Simplicial Homomorphisms
Published
• View Publication
• BIB
In this paper we introduce the class of ordered homomorphism ideals and prove that these ideals admit minimal cellular resolutions constructed as homomorphism complexes. As a key ingredient of our work, we introduce the class of cointerval simplicial complexes and investigate their combinatorial and topological properties. As a concrete illustration of these structural results, we introduce and study nonnesting monomial ideals, an interesting family of combinatorially defined ideals.