Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A sharp lower bound for the Wiener index of a graph
Published in Ars Combinatoria,v.XCVII,Oct. 2010
• Search Publication
Given a simple connected undirected graph G, the Wiener index W(G) of G is defined as half the sum of the distances over all pairs of vertices of G. In practice, G corresponds to what is known as the molecular graph of an organic compound. We obtain a sharp lower bound for W(G) of an arbitrary graph in terms of the order, size and diameter of G.
The K_4-free process
We consider the K_4-free process. In this process, the edges of the complete n-vertex graph are traversed in a uniformly random order, and each traversed edge is added to an initially empty evolving graph, unless the addition of the edge creates a copy of K_4. Let M(n) denote the graph that is produced by that process. We prove that a.a.s., the number of edges in M(n) is O( n^{8/5} (\ln n)^{1/5} ). This matches, up to a constant factor, a lower bound of Bohman. As a by-product, we prove the following Ramsey-type result: for every n there exists a K_4-free n-vertex graph, in which the largest set of vertices that doesn't span a triangle has size O( n^{3/5} (\ln n)^{1/5} ). This improves, by a factor of (\ln n)^{3/10}, an upper bound of Krivelevich.
An Asymptotic Faber-Krahn Inequality for the Combinatorial Laplacian on Z^2
The Faber-Krahn inequality states that among all open domains with a fixed volume in R^n, the ball minimizes the first Dirichlet eigenvalue of the Laplacian. We study an asymptotic discrete analogue of this for the combinatorial Dirichlet Laplacian acting on induced subgraphs of Z^2. Namely, an induced subgraph G with n vertices is called a minimizing subgraph if it minimizes the first eigenvalue of the combinatorial Dirichlet Laplacian among all induced subgraphs with n vertices. Consider an induced subgraph G and take the interior of the union of closed squares of area 1 about each point of G. Let G* denote this domain scaled down to have area 1. Our main theorem states that if {G_n} is a sequence of minimizing subgraphs where each G_n has n vertices, then after translation the measure of the symmetric difference of G_n* and the unit disk converges to 0.
Pattern Recognition on Oriented Matroids: Halfspaces, Convex Sets and Tope Committees
The principle of inclusion-exclusion is applied to subsets of maximal covectors contained in halfspaces of a simple oriented matroid and to convex subsets of its ground set for enumerating tope committees.
Hilbert series and Hilbert depth of squarefree Veronese ideals
Published
• View Publication
• BIB
In this paper, we obtain explicit formulas for the Hilbert series and Hilbert depth of squarefree Veronese ideals in a standard graded polynomial ring.
An Investigation of Partizan Misere Games
Combinatorial games are played under two different play conventions: normal play, where the last player to move wins, and \mis play, where the last player to move loses. Combinatorial games are also classified into impartial positions and partizan positions, where a position is impartial if both players have the same available moves and partizan otherwise.
\Mis play games lack many of the useful calculational and theoretical properties of normal play games. Until Plambeck's indistinguishability quotient and \mis monoid theory were developed in 2004, research on \mis play games had stalled. This thesis investigates partizan combinatorial \mis play games, by taking Plambeck's indistinguishability and \mis monoid theory for impartial positions and extending it to partizan ones, as well as examining the difficulties in constructing a category of \mis play games in a similar manner to Joyal's category of normal play games.
This thesis succeeds in finding an infinite set of positions which each have finite \mis monoid, examining conditions on positions for when $* + *$ is equivalent to 0, finding a set of positions which have Tweedledum-Tweedledee type strategy, and the two most important results of this thesis: giving necessary and sufficient conditions on a set of positions $Υ$ such that the \mis monoid of $Υ$ is the same as the \mis monoid of $*$ and giving a construction theorem which builds all positions $ξ$ such that the \mis monoid of $ξ$ is the same as the \mis monoid of $*$.
Permutations and beta-shifts
Published
• View Publication
• BIB
Given a real number beta>1, a permutation pi of length n is realized by the beta-shift if there is some x in [0,1] such that the relative order of the sequence x,f(x),...,f^{n-1}(x), where f(x) is the factional part of beta*x, is the same as that of the entries of pi. Widely studied from such diverse fields as number theory and automata theory, beta-shifts are prototypical examples one-dimensional chaotic dynamical systems. When beta is an integer, permutations realized by shifts where studied in [SIAM J. Discrete Math. 23 (2009), 765-786]. In this paper we generalize some of the results to arbitrary beta-shifts. We describe a method to compute, for any given permutation pi, the smallest beta such that pi is realized by the beta-shift. We also give a way to determine the length of the shortest forbidden (i.e., not realized) pattern of an arbitrary beta-shift.
Geometric construction of voting methods that protect voters' first choices
We consider the possibility of designing an election method that eliminates the incentives for a voter to rank any other candidate equal to or ahead of his or her sincere favorite. We refer to these methods as satisfying the ``Strong Favorite Betrayal Criterion" (SFBC). Methods satisfying our strategic criteria can be classified into four categories, according to their geometrical properties. We prove that two categories of methods are highly restricted and closely related to positional methods (point systems) that give equal points to a voter's first and second choices. The third category is tightly restricted, but if criteria are relaxed slightly a variety of interesting methods can be identified. Finally, we show that methods in the fourth category are largely irrelevant to public elections. Interestingly, most of these methods for satisfying the SFBC do so only ``weakly," in that these methods make no meaningful distinction between the first and second place on the ballot. However, when we relax our conditions and allow (but do not require) equal rankings for first place, a wider range of voting methods are possible, and these methods do indeed make meaningful distinctions between first and second place.
The determinantal ideals of extended Hankel matrices
Published in J. Pure Appl. Algebra. 215, 1502--1515 (2011)
• View Publication
• BIB
In this paper, we use the tools of Gröbner bases and combinatorial secant varieties to study the determinantal ideals $I_t$ of the extended Hankel matrices. Denote by $c$-chain a sequence $a_1,\...,a_k$ with $a_i+c<a_{i+1}$ for all $i=1,\...,k-1$. Using the results of $c$-chain, we solve the membership problem for the symbolic powers $I_t^{(s)}$ and we compute the primary decomposition of the product $I_{t_1}\... I_{t_k}$ of the determinantal ideals. Passing through the initial ideals and algebras we prove that the product $I_{t_1}\... I_{t_k}$ has a linear resolution and the multi-homogeneous Rees algebra $\Rees(I_{t_1},\...,I_{t_k})$ is defined by a Gröbner basis of quadrics.
Asymptotics of the maximal and the typical dimensions of isotypic components of tensor representations of the symmetric group
Published
• View Publication
• BIB
Vershik and Kerov gave asymptotical bounds for the maximal and the typical dimensions of irreducible representations of symmetric groups $S_n$. It was conjectured by G. Olshanski that the maximal and the typical dimensions of the isotypic components of tensor representations of the symmetric group admit similar asymptotical bounds. The main result of this article is the proof of this conjecture. Consider the natural representation of $S_n$ on $(\mathbb{C}^N)^{\otimes n}$. Its isotypic components are parametrized by Young diagrams with $n$ cells and at most $N$ rows. P. Biane found the limit shape of Young diagrams when $n\rightarrow\infty,\ \sqrt{n}/N\rightarrow c$. By showing that this limit shape is the unique solution to a variational problem, it is proven here, that after scaling, the maximal and the typical dimensions of isotypic components lie between positive constants. A new proof of Biane's limit-shape theorem is obtained.
On the dimension growth of groups
Published
• View Publication
• BIB
Dimension growth functions of groups have been introduced by Gromov in 1999. We prove that every solvable finitely generated subgroups of the R. Thompson group $F$ has polynomial dimension growth while the group $F$ itself, and some solvable groups of class 3 have exponential dimension growth with exponential control. We describe connections between dimension growth, expansion properties of finite graphs and the Ramsey theory.
Congruences involving generalized central trinomial coefficients
Published in Sci. China Math. 57(2014), 1375-1400
• View Publication
• BIB
For integers $b$ and $c$ the generalized central trinomial coefficient $T_n(b,c)$ denotes the coefficient of $x^n$ in the expansion of $(x^2+bx+c)^n$. Those $T_n=T_n(1,1)\ (n=0,1,2,\ldots)$ are the usual central trinomial coefficients, and $T_n(3,2)$ coincides with the Delannoy number $D_n=\sum_{k=0}^n\binom nk\binom{n+k}k$ in combinatorics. We investigate congruences involving generalized central trinomial coefficients systematically. Here are some typical results: For each $n=1,2,3,\ldots$ we have $$\sum_{k=0}^{n-1}(2k+1)T_k(b,c)^2(b^2-4c)^{n-1-k}\equiv0\pmod{n^2}$$ and in particular $n^2\mid\sum_{k=0}^{n-1}(2k+1)D_k^2$; if $p$ is an odd prime then $$\sum_{k=0}^{p-1}T_k^2\equiv\left(\frac{-1}p\right)\ \pmod{p}\ \ \ {\rm and}\ \ \ \sum_{k=0}^{p-1}D_k^2\equiv\left(\frac 2p\right)\ \pmod{p},$$ where $(-)$ denotes the Legendre symbol. We also raise several conjectures some of which involve parameters in the representations of primes by certain binary quadratic forms.
Projections of Richardson Varieties
Published
• View Publication
• BIB
While the projections of Schubert varieties in a full generalized flag manifold G/B to a partial flag manifold $G/P$ are again Schubert varieties, the projections of Richardson varieties (intersections of Schubert varieties with opposite Schubert varieties) are not always Richardson varieties. The stratification of G/P by projections of Richardson varieties arises in the theory of total positivity and also from Poisson and noncommutative geometry.
In this paper we show that many of the geometric properties of Richardson varieties hold more generally for projected Richardson varieties; they are normal, Cohen-Macaulay, have rational singularities, and are compatibly Frobenius split with respect to the standard splitting. Indeed, we show that the projected Richardson varieties are the only compatibly split subvarieties, providing an example of the recent theorem [Schwede, Kumar-Mehta] that a Frobenius split scheme has only finitely many compatibly split subvarieties. (The G/B case was treated by [Hague], whose proof we simplify somewhat.)
One combinatorial analogue of a Richardson variety is the order complex of the corresponding Bruhat interval in W; this complex is known to be an EL-shellable ball [Bjorner-Wachs '82]. We prove that the projection of such a complex into the order complex of the Bruhat order on W/W_P is again a shellable ball. This requires extensive analysis of "P-Bruhat order", a generalization of the k-Bruhat order of [Bergeron-Sottile '98]. In the case that G/P is minuscule (e.g. a Grassmannian), we show that its Grobner degeneration takes each projected Richardson variety to the Stanley-Reisner scheme of its corresponding ball.
Rational Distances with Rational Angles
Published in Mathematika 58 (2012), 409-418
• View Publication
• BIB
In 1946 Erd\H os asked for the maximum number of unit distances, $u(n)$, among $n$ points in the plane. He showed that $u(n)> n^{1+c/\log\log n}$ and conjectured that this was the true magnitude. The best known upper bound is $u(n)<cn^{4/3}$, due to Spencer, Szemerédi and Trotter. We show that the upper bound $n^{1+6/\sqrt{\log n}}$ holds if we only consider unit distances with rational angle, by which we mean that the line through the pair of points makes a rational angle in degrees with the x-axis. Using an algebraic theorem of Mann we get a uniform bound on the number of paths between two fixed vertices in the unit distance graph, giving a contradiction if there are too many unit distances with rational angle. This bound holds if we consider rational distances instead of unit distances as long as there are no three points on a line. A superlinear lower bound is given, due to Erd\H os and Purdy. If we have at most $n^α$ points on a line then we get the bound $O(n^{1+α})$ or $n^{1+α+6/\sqrt{\log n}}$ for the number of rational distances with rational angle depending on whether $α\ge 1/2$ or $α< 1/2$ respectively.
Factorizations of cycles and multi-noded rooted trees
Published
• View Publication
• BIB
In this paper, we study factorizations of cycles. The main result is that under certain condition, the number of ways to factor a $d$-cycle into a product of cycles of prescribed lengths is $d^{r-2}.$ To prove our result, we first define a new class of combinatorial objects, multi-noded rooted trees, which generalize rooted trees. We find the cardinality of this new class which with proper parameters is exactly $d^{r-2}.$ The main part of this paper is the proof that there is a bijection from factorizations of a $d$-cycle to multi-noded rooted trees via factorization graphs. This implies the desired formula.
The factorization problem we consider has its origin in geometry, and is related to the study of a special family of Hurwitz numbers: pure-cycle Hurwitz numbers. Via the standard translation of Hurwitz numbers into group theory, our main result is equivalent to the following: when the genus is $0$ and one of the ramification indices is $d,$ the degree of the covers, the pure-cycle Hurwitz number is $d^{r-3},$ where $r$ is the number of branch points.
Some New Bounds For Cover-Free Families Through Biclique Cover
Published
• View Publication
• BIB
An $(r,w;d)$ cover-free family $(CFF)$ is a family of subsets of a finite set such that the intersection of any $r$ members of the family contains at least $d$ elements that are not in the union of any other $w$ members. The minimum number of elements for which there exists an $(r,w;d)-CFF$ with $t$ blocks is denoted by $N((r,w;d),t)$.
In this paper, we show that the value of $N((r,w;d),t)$ is equal to the $d$-biclique covering number of the bipartite graph $I_t(r,w)$ whose vertices are all $w$- and $r$-subsets of a $t$-element set, where a $w$-subset is adjacent to an $r$-subset if their intersection is empty. Next, we introduce some new bounds for $N((r,w;d),t)$. For instance, we show that for $r\geq w$ and $r\geq 2$
$$ N((r,w;1),t) \geq c{{r+w\choose w+1}+{r+w-1 \choose w+1}+ 3 {r+w-4 \choose w-2} \over \log r} \log (t-w+1),$$ where $c$ is a constant satisfies the well-known bound $N((r,1;1),t)\geq c\frac{r^2}{\log r}\log t$. Also, we determine the exact value of $N((r,w;d),t)$ for some values of $d$. Finally, we show that $N((1,1;d),4d-1)=4d-1$ whenever there exists a Hadamard matrix of order 4d.
Topological Designs
Published
• View Publication
• BIB
We give an exponential upper and a quadratic lower bound on the number of pairwise non-isotopic simple closed curves can be placed on a closed surface of genus g such that any two of the curves intersects at most once. Although the gap is large, both bounds are the best known for large genus. In genus one and two, we solve the problem exactly.
Our methods generalize to variants in which the allowed number of pairwise intersections is odd, even, or bounded, and to surfaces with boundary components.
Polyhedral Representation of Discrete Morse Functions on Regular CW Complexes and Posets
Published
• View Publication
• BIB
It is proved that every discrete Morse function in the sense of Forman on a finite regular CW complex can be represented by a polyhedral Morse function in the sense of Banchoff on an appropriate embedding in Euclidean space of the barycentric subdivision of the CW complex; such a representation preserves critical points. The proof is stated in terms of discrete Morse functions on a class of posets that is slightly broader than the class of face posets of finite regular CW complexes.
A construction of cospectral graphs for the normalized Laplacian
Published in S. Butler and J. Grout, A construction of cospectral graphs for the normalized Laplacian, Electronic Journal of Combinatorics 18 (2011), #231, 20pp
• View Publication
• BIB
We give a method to construct cospectral graphs for the normalized Laplacian by a local modification in some graphs with special structure. Namely, under some simple assumptions, we can replace a small bipartite graph with a cospectral mate without changing the spectrum of the entire graph. We also consider a related result for swapping out biregular bipartite graphs for the matrix $A+tD$.
We produce (exponentially) large families of non-bipartite, non-regular graphs which are mutually cospectral, and also give an example of a graph which is cospectral with its complement but is not self-complementary.
Sums of squares and negative correlation for spanning forests of series parallel graphs
We provide new evidence that spanning forests of graphs satisfy the same negative correlation properties as spanning trees, derived from Lord Rayleigh's monotonicity property for electrical networks. The main result of this paper is that the Rayleigh difference for the spanning forest generating polynomial of a series parallel graph can be expressed as a certain positive sum of monomials times squares of polynomials. We also show that every regular matroid is independent-set-Rayleigh if and only if every basis-Rayleigh binary matroid is also independent-set-Rayleigh.