Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Bicyclic graphs with maximal revised Szeged index
Published
• View Publication
• BIB
The revised Szeged index $Sz^*(G)$ is defined as $Sz^*(G)=\sum_{e=uv \in E}(n_u(e)+ n_0(e)/2)(n_v(e)+ n_0(e)/2),$ where $n_u(e)$ and $n_v(e)$ are, respectively, the number of vertices of $G$ lying closer to vertex $u$ than to vertex $v$ and the number of vertices of $G$ lying closer to vertex $v$ than to vertex $u$, and $n_0(e)$ is the number of vertices equidistant to $u$ and $v$. Hansen used the AutoGraphiX and made the following conjecture about the revised Szeged index for a connected bicyclic graph $G$ of order $n \geq 6$: $$ Sz^*(G)\leq \{{array}{ll} (n^3+n^2-n-1)/4,& {if $n$ is odd}, (n^3+n^2-n)/4, & {if $n$ is even}. {array}. $$ with equality if and only if $G$ is the graph obtained from the cycle $C_{n-1}$ by duplicating a single vertex. This paper is to give a confirmative proof to this conjecture.
On the tree-depth of Random Graphs
Published
• View Publication
• BIB
The tree-depth is a parameter introduced under several names as a measure of sparsity of a graph. We compute asymptotic values of the tree-depth of random graphs. For dense graphs, p>> 1/n, the tree-depth of a random graph G is a.a.s. td(G)=n-O(sqrt(n/p)). Random graphs with p=c/n, have a.a.s. linear tree-depth when c>1, the tree-depth is Theta (log n) when c=1 and Theta (loglog n) for c<1. The result for c>1 is derived from the computation of tree-width and provides a more direct proof of a conjecture by Gao on the linearity of tree-width recently proved by Lee, Lee and Oum. We also show that, for c=1, every width parameter is a.a.s. constant, and that random regular graphs have linear tree-depth.
The probability of the Alabama paradox
Published
• View Publication
• BIB
Hamilton's method (also called method of largest remainder) is a natural and common method to distribute seats proportionally between states (or parties) in a parliament. In USA it has been abandoned due to some drawbacks, in particular the possibility of the Alabama paradox, but it is still in use in many other countries. In this paper we give, under certain assumptions, a closed formula for the asymptotic probability, as the number of seats tends to infinity, that the Alabama paradox occurs given the vector p_1,...,p_m of relative sizes of the states.
From the theorem we deduce a number of consequences. For example it is shown that the expected number of states that will suffer from the Alabama paradox is asymptotically bounded above by 1/e. For random (uniformly distributed) relative sizes p_1,...,p_m the expected number of states to suffer from the Alabama paradox converges to slightly more than a third of this, or approximately 0.335/e=0.123, as m tends to infinity.
We leave open the generalization of our formula to all possible (in particular rational) p_1,...,p_m.
On Sisterhood in the Gale-Shapley Matching Algorithm
Published
• View Publication
• BIB
Lying in order to manipulate the Gale-Shapley matching algorithm has been studied by Dubins and Friedman and by Gale and Sotomayor and was shown to be generally more appealing to the proposed-to side (denoted as the women in Gale and Shapley's original paper) than to the proposing side (denoted as men there). It can also be shown that in the case of lying women, for every woman who is better-off due to lying, there exists a man who is worse-off.
In this paper, we show that an even stronger dichotomy between the goals of the sexes holds, namely, if no woman is worse-off then no man is better-off, while a form of sisterhood between the lying and the "innocent" women also holds, namely, if none of the former are worse-off, then neither is any of the latter.
This paper is based upon an undergraduate ("Amirim") thesis of the first author.
Analytic continuation of a parametric polytope and wall-crossing
Published
• View Publication
• BIB
We define a set theoretic "analytic continuation" of a polytope defined by inequalities. For the regular values of the parameter, our construction coincides with the parallel transport of polytopes in a mirage introduced by Varchenko. We determine the set-theoretic variation when crossing a wall in the parameter space, and we relate this variation to Paradan's wall-crossing formulas for integrals and discrete sums. As another application, we refine the theorem of Brion on generating functions of polytopes and their cones at vertices. We describe the relation of this work with the equivariant index of a line bundle over a toric variety and Morelli constructible support function.
Irreducible numerical semigroups with multiplicity three and four
Published
• View Publication
• BIB
In this paper we analyze the irreducibility of numerical semigroups with multiplicity up to four. Our approach uses the notion of Kunz-coordinates vector of a numerical semigroup recently introduced in (Blanco-Puerto, 2011). With this tool we also completely describe the whole family of minimal decompositions into irreducible numerical semigroups with the same multiplicity for this set of numerical semigroups. We give detailed examples to show the applicability of the methodology and conditions for the irreducibility of well-known families of numerical semigroups as those that are generated by a generalized arithmetic progression.
Sums of dilates in groups of prime order
Published in Combinatorics, Probability and Computing 20 (2011), 867-873
• View Publication
• BIB
We obtain a first non-trivial estimate for the sum of dilates problem in the case of groups of prime order, by showing that if $t$ is an integer different from $0, 1$ or -1 and if $\A \subset \Zp$ is not too large (with respect to $p$), then $|\A+t\cdot \A|>(2+ \vartheta_t)|\A|-w(t)$ for some constant $w(t)$ depending only on $t$ and for some explicit real number $\vartheta_t >0$ (except in the case $|t|=3$). In the important case $|t|=2$, we may for instance take $\vartheta_2=0.08$.
Finite dimensional semigroup quadratic algebras with minimal number of relations
Published in Monatshefte fur Mathematik, 168 (2012), N2, 239-252
• View Publication
• BIB
A quadratic semigroup algebra is an algebra over a field given by the generators $x_1,...,x_n$ and a finite set of quadratic relations each of which either has the shape $x_jx_k=0$ or the shape $x_jx_k=x_lx_m$. We prove that a quadratic semigroup algebra given by $n$ generators and $d\leq \frac{n^2+n}{4}$ relations is always infinite dimensional. This strengthens the Golod--Shafarevich estimate for the above class of algebras. Our main result however is that for every $n$, there is a finite dimensional quadratic semigroup algebra with $n$ generators and $δ_n$ relations, where $δ_n$ is the first integer greater than $\frac{n^2+n}{4}$. This shows that the above Golod-Shafarevich type estimate for semigroup algebras is sharp.
External zonotopal algebra
Published
• View Publication
• BIB
We provide a general, unified, framework for external zonotopal algebra. The approach is critically based on employing simultaneously the two dual algebraic constructs and invokes the underlying matroidal and geometric structures in an essential way. This general theory makes zonotopal algebra an applicable tool for a larger class of polytopes.
New Hardness Results in Rainbow Connectivity
A path in an edge colored graph is said to be a rainbow path if no two edges on the path have the same color. An edge colored graph is (strongly) rainbow connected if there exists a (geodesic) rainbow path between every pair of vertices. The (strong) rainbow connectivity of a graph $G$, denoted by ($src(G)$, respectively) $rc(G)$ is the smallest number of colors required to edge color the graph such that the graph is (strong) rainbow connected. It is known that for \emph{even} $k$ to decide whether the rainbow connectivity of a graph is at most $k$ or not is NP-hard. It was conjectured that for all $k$, to decide whether $rc(G) \leq k$ is NP-hard. In this paper we prove this conjecture. We also show that it is NP-hard to decide whether $src(G) \leq k$ or not even when $G$ is a bipartite graph.
Matching sequences of two digits in matrices is hard
We introduce a new -as far as we know- problem, according to which we are asked to match sequences of two digits in matrices having entries among those two digits (but others too) and prove that this problem is NP-complete
Combinatorial constructions of three-dimensional small covers
A small cover was introduced by Davis and Januszkiewicz as an $n$-dimensional closed manifold with a locally standard $Z_2)^n$-action such that its orbit space is a simple convex polytope. There exist a one-to-one correspondence between small covers and $(Z_2)^n$-colored polytopes. In this paper we study a construction of 3-dimensional small covers by using two operations called a connected sum and a surgery. These operations correspondent to combinatorial operations on $(Z_2)^3$-colored simple convex polytopes. We shall show that each 3-dimensional small cover can be constructed from $T^3$, $RP^3$ and $S^1 \times RP^2$ with two different $(Z_2)^3$-actions by using these operations. This result is a generalization and an improvement of Lü-Yu's result.
Nonnegative k-sums, fractional covers, and probability of small deviations
Published
• View Publication
• BIB
More than twenty years ago, Manickam, Miklós, and Singhi conjectured that for any integers $n, k$ satisfying $n \geq 4k$, every set of $n$ real numbers with nonnegative sum has at least $\binom{n-1}{k-1}$ $k$-element subsets whose sum is also nonnegative. In this paper we discuss the connection of this problem with matchings and fractional covers of hypergraphs, and with the question of estimating the probability that the sum of nonnegative independent random variables exceeds its expectation by a given amount. Using these connections together with some probabilistic techniques, we verify the conjecture for $n \geq 33k^2$. This substantially improves the best previously known exponential lower bound $n \geq e^{ck \log\log k}$. In addition we prove a tight stability result showing that for every $k$ and all sufficiently large $n$, every set of $n$ reals with a nonnegative sum that does not contain a member whose sum with any other $k-1$ members is nonnegative, contains at least $\binom{n-1}{k-1}+\binom{n-k-1}{k-1}-1$ subsets of cardinality $k$ with nonnegative sum.
Representation zeta functions of nilpotent groups and generating functions for Weyl groups of type B
Published
• View Publication
• BIB
We study representation zeta functions of finitely generated, torsion-free nilpotent groups which are rational points of unipotent group schemes over rings of integers of number fields. Using the Kirillov orbit method and p-adic integration, we prove rationality and functional equations for almost all local factors of the Euler products of these zeta functions. We further give explicit formulae, in terms of Dedekind zeta functions, for the zeta functions of class-2-nilpotent groups obtained from three infinite families of group schemes, generalising the integral Heisenberg group. As an immediate corollary, we obtain precise asymptotics for the representation growth of these groups, and key analytic properties of their zeta functions, such as meromorphic continuation. We express the local factors of these zeta functions in terms of generating functions for finite Weyl groups of type B. This allows us to establish a formula for the joint distribution of three functions, or 'statistics', on such Weyl groups. Finally, we compare our explicit formulae to p-adic integrals associated to relative invariants of three infinite families of prehomogeneous vector spaces.
Symbolic dynamics and the category of graphs
Published
• View Publication
• BIB
Symbolic dynamics is partly the study of walks in a directed graph. By a walk, here we mean a morphism to the graph from the Cayley graph of the monoid of non-negative integers. Sets of these walks are also important in other areas, such as stochastic processes, automata, combinatorial group theory, $C^*$-algebras, etc. We put a Quillen model structure on the category of directed graphs, for which the weak equivalences are those graph morphisms which induce bijections on the set of walks. We determine the resulting homotopy category. We also introduce a "finite-level" homotopy category which respects the natural topology on the set of walks. To each graph we associate a basal graph, well defined up to isomorphism. We show that the basal graph is a homotopy invariant for our model structure, and that it is a finer invariant than the zeta series of a finite graph. We also show that, for finite walkable graphs, if $B$ is basal and separated then the walk spaces for $X$ and $B$ are topologically conjugate if and only if $X$ and $B$ are homotopically equivalent for our model structure.
Counting spanning trees of the hypercube and its $q$-analogs by explicit block diagonalization
The number of spanning trees of a graph $G$ is called the {\em complexity} of $G$ and is denoted $c(G)$. Let C(n) denote the {\em (binary) hypercube} of dimension $n$. A classical result in enumerative combinatorics (based on explicit diagonalization) states that $c(C(n)) = \prod_{k=2}^n (2k)^{n\choose k}$.
In this paper we use the explicit block diagonalization methodology to derive formulas for the complexity of two $q$-analogs of C(n), the {\em nonbinary hypercube} $\Cq(n)$, defined for $q\geq 2$, and the {\em vector space analog of the hypercube} $\Cfq(n)$, defined for prime powers $q$.
We consider the nonbinary and vector space analogs of the Boolean algebra. We show the existence, in both cases, of a graded Jordan basis (with respect to the up operator) that is orthogonal (with respect to the standard inner product) and we write down explicit formulas for the ratio of the lengths of the successive vectors in the Jordan chains (i.e., the singular values). With respect to (the normalizations of) these bases the Laplacians of $\Cq(n)$ and $\Cfq(n)$ block diagonalize, with quadratically many distinct blocks in the nonbinary case and linearly many distinct blocks in the vector space case, and with each block an explicitly written down real, symmetric, tridiagonal matrix of known multiplicity and size at most $n+1$. In the nonbinary case we further determine the eigenvalues of the blocks, by explicitly writing out the eigenvectors, yielding an explicit formula for $c(\Cq(n))$ (this proof yields new information even in the binary case). In the vector space case we have been unable to determine the eigenvalues of the blocks but we give a useful formula for $c(\Cfq(n))$ involving "small" determinants (of size at most $n$).
Optimal Polygonal Representation of Planar Graphs
Published
• View Publication
• BIB
In this paper, we consider the problem of representing graphs by polygons whose sides touch. We show that at least six sides per polygon are necessary by constructing a class of planar graphs that cannot be represented by pentagons. We also show that the lower bound of six sides is matched by an upper bound of six sides with a linear-time algorithm for representing any planar graph by touching hexagons. Moreover, our algorithm produces convex polygons with edges having at most three slopes and with all vertices lying on an O(n)xO(n) grid.
Trees, Tight-Spans and Point Configuration
Published in Discrete Mathematics, 312 (2012), 2506-2521
• View Publication
• BIB
Tight-spans of metrics were first introduced by Isbell in 1964 and rediscovered and studied by others, most notably by Dress, who gave them this name. Subsequently, it was found that tight-spans could be defined for more general maps, such as directed metrics and distances, and more recently for diversities. In this paper, we show that all of these tight-spans as well as some related constructions can be defined in terms of point configurations. This provides a useful way in which to study these objects in a unified and systematic way. We also show that by using point configurations we can recover results concerning one-dimensional tight-spans for all of the maps we consider, as well as extend these and other results to more general maps such as symmetric and unsymmetric maps.
On the number of maximal independent sets in a graph
Published in Discrete Maths. & Theoretical Computer Science 13.3:17-20, 2011
• View Publication
• BIB
Miller and Muller (1960) and independently Moon and Moser (1965) determined the maximum number of maximal independent sets in an $n$-vertex graph. We give a new and simple proof of this result.
Limits of interval orders and semiorders
Published
• View Publication
• BIB
We study poset limits given by sequences of finite interval orders or, as a special case, finite semiorders. In the interval order case, we show that every such limit can be represented by a probability measure on the space of closed subintervals of [0,1], and we define a subset of such measures that yield a unique representation. In the semiorder case, we similarly find unique representations by a class of distribution functions.