Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On the Core of a Unicyclic Graph
Published
• View Publication
• BIB
A set S is independent in a graph G if no two vertices from S are adjacent. By core(G) we mean the intersection of all maximum independent sets. The independence number alpha(G) is the cardinality of a maximum independent set, while mu(G) is the size of a maximum matching in G. A connected graph having only one cycle, say C, is a unicyclic graph. In this paper we prove that if G is a unicyclic graph of order n and n-1 = alpha(G) + mu(G), then core(G) coincides with the union of cores of all trees in G-C.
A Minimum problem for finite sets of real numbers with non-negative sum
Published
• View Publication
• BIB
Let $n$ and $r$ be two integers such that $0 < r \le n$; we denote by $γ(n,r)$ [$η(n,r)$] the minimum [maximum] number of the non-negative partial sums of a sum $\sum_{1=1}^n a_i \ge 0$, where $a_1, \cdots, a_n$ are $n$ real numbers arbitrarily chosen in such a way that $r$ of them are non-negative and the remaining $n-r$ are negative. Inspired by some interesting extremal combinatorial sum problems raised by Manickam, Miklös and Singhi in 1987 \cite{ManMik87} and 1988 \cite{ManSin88} we study the following two problems:
\noindent$(P1)$ {\it which are the values of $γ(n,r)$ and $η(n,r)$ for each $n$ and $r$, $0 < r \le n$?}
\noindent$(P2)$ {\it if $q$ is an integer such that $γ(n,r) \le q \le η(n,r)$, can we find $n$ real numbers $a_1, \cdots, a_n$, such that $r$ of them are non-negative and the remaining $n-r$ are negative with $\sum_{1=1}^n a_i \ge 0$, such that the number of the non-negative sums formed from these numbers is exactly $q$?}
\noindent We prove that the solution of the problem $(P1)$ is given by $γ(n,r) = 2^{n-1}$ and $η(n,r) = 2^n - 2^{n-r}$. We provide a partial result of the latter problem showing that the answer is affirmative for the weighted boolean maps. With respect to the problem $(P2)$ such maps (that we will introduce in the present paper) can be considered a generalization of the multisets $a_1, \cdots, a_n$ with $\sum_{1=1}^n a_i \ge 0$. More precisely we prove that for each $q$ such that $γ(n,r) \le q \le η(n,r)$ there exists a weighted boolean map having exactly $q$ positive boolean values.
Some noteworthy alternating trilinear forms
Published in J. Geom. 105(1), 167-176, 2014
• View Publication
• BIB
Given an alternating trilinear form T on the V=F^n let L_T denote the set of T-singular lines in the projective space PV. These are all lines <a,b> for which the linear form T(a,b,.) is identically zero. Amongst the immense profusion of different kinds of T we single out a few which we deem noteworthy by virtue of the special nature of their set LT.
Cycle structure of random permutations with cycle weights
Published in Random Structures & Algorithms 44, 109-133 (2014)
• View Publication
• BIB
We investigate the typical cycle lengths, the total number of cycles, and the number of finite cycles in random permutations whose probability involves cycle weights. Typical cycle lengths and total number of cycles depend strongly on the parameters, while the distributions of finite cycles are usually independent Poisson random variables.
A generalization of heterochromatic graphs
Published in Graphs and Combinatorics, 29 (2013), 715-727
• View Publication
• BIB
In 2006, Suzuki, and Akbari & Alipour independently presented a necessary and sufficient condition for edge-colored graphs to have a heterochromatic spanning tree, where a heterochromatic spanning tree is a spanning tree whose edges have distinct colors. In this paper, we propose $f$-chromatic graphs as a generalization of heterochromatic graphs. An edge-colored graph is $f$-chromatic if each color $c$ appears on at most $f(c)$ edges. We also present a necessary and sufficient condition for edge-colored graphs to have an $f$-chromatic spanning forest with exactly $m$ components. Moreover, using this criterion, we show that a $g$-chromatic graph $G$ of order $n$ with $|E(G)|>\binom{n-m}{2}$ has an $f$-chromatic spanning forest with exactly $m$ ($1 \le m \le n-1$) components if $g(c) \le \frac{|E(G)|}{n-m}f(c)$ for any color $c$.
Ehrhart series for Connected Simple Graphs
Published
• View Publication
• BIB
The Ehrhart ring of the edge polytope $\mathcal{P}_G$ for a connected simple graph $G$ is known to coincide with the edge ring of the same graph if $G$ satisfies the odd cycle condition. This paper gives for a graph which does not satisfy the condition, a generating set of the defining ideal of the Ehrhart ring of the edge polytope, described by combinatorial information of the graph. From this result, two factoring properties of the Ehrhart series are obtained; the first one factors out bipartite biconnected components, and the second one factors out a even cycle which shares only one edge with other part of the graph. As an application of the factoring properties, the root distribution of Ehrhart polynomials for bipartite polygon trees is determined.
Octal Bent Generalized Boolean Functions
Published
• View Publication
• BIB
In this paper we characterize (octal) bent generalized Boolean functions defined on $\BBZ_2^n$ with values in $\BBZ_8$. Moreover, we propose several constructions of such generalized bent functions for both $n$ even and $n$ odd.
A compendium on the cluster algebra and quiver package in sage
This is the compendium of the cluster algebra and quiver package for sage. The purpose of this package is to provide a platform to work with cluster algebras in graduate courses and to further develop the theory by working on examples, by gathering data, and by exhibiting and testing conjectures. In this compendium, we include the relevant theory to introduce the reader to cluster algebras assuming no prior background; this exposition has been written to be accessible to an interested undergraduate. Throughout this compendium, we include examples that the user can run in the sage notebook or command line, and then close with a detailed description of the data structures and methods in this package.
New lower bounds for the independence number of sparse graphs and hypergraphs
Published
• View Publication
• BIB
We obtain new lower bounds for the independence number of $K_r$-free graphs and linear $k$-uniform hypergraphs in terms of the degree sequence. This answers some old questions raised by Caro and Tuza \cite{CT91}. Our proof technique is an extension of a method of Caro and Wei \cite{CA79, WE79}, and we also give a new short proof of the main result of \cite{CT91} using this approach. As byproducts, we also obtain some non-trivial identities involving binomial coefficients.
Moduli via double pants decompositions
Published
• View Publication
• BIB
We consider (local) parametrizations of Teichmuller space $T_{g,n}$ (of genus $g$ hyperbolic surfaces with $n$ boundary components) by lengths of $6g-6+3n$ geodesics. We find a large family of suitable sets of $6g-6+3n$ geodesics, each set forming a special structure called "admissible double pants decomposition". For admissible double pants decompositions containing no double curves we show that the lengths of curves contained in the decomposition determine the point of $T_{g,n}$ up to finitely many choices. Moreover, these lengths provide a local coordinate in a neighborhood of all points of $T_{g,n}\setminus X$, where $X$ is a union of $3g-3+n$ hypersurfaces. Furthermore, there exists a groupoid acting transitively on admissible double pants decompositions and generated by transformations exchanging only one curve of the decomposition. The local charts arising from different double pants decompositions compose an atlas covering the Teichmuller space. The gluings of the adjacent charts are coming from the elementary transformations of the decompositions, the gluing functions are algebraic. The same charts provide an atlas for a large part of the boundary strata in Deligne-Mumford compactification of the moduli space.
How to sew in practice?
In this note we prove a theorem concerning the sewing of even dimensional neighbourly polytopes. The theorem provides a fast algorithm for sewing in practice. We also give a description of the universal faces of a sewn $d$-polytope in terms of the main theorem.
The shape of a random affine Weyl group element and random core partitions
Published in Annals of Probability 2015, Vol. 43, No. 4, 1643-1662
• View Publication
• BIB
Let $W$ be a finite Weyl group and ${\hat{W}}$ be the corresponding affine Weyl group. We show that a large element in ${\hat{W}}$, randomly generated by (reduced) multiplication by simple generators, almost surely has one of $|W|$-specific shapes. Equivalently, a reduced random walk in the regions of the affine Coxeter arrangement asymptotically approaches one of $|W|$-many directions. The coordinates of this direction, together with the probabilities of each direction can be calculated via a Markov chain on $W$. Our results, applied to type $\tilde{A}_{n-1}$, show that a large random $n$-core obtained from the natural growth process has a limiting shape which is a piecewise-linear graph. In this case, our random process is a periodic analogue of TASEP, and our limiting shapes can be compared with Rost's theorem on the limiting shape of TASEP.
A Markov chain on the symmetric group which is Schubert positive?
Published
• View Publication
• BIB
We study a multivariate Markov chain on the symmetric group with remarkable enumerative properties. We conjecture that the stationary distribution of this Markov chain can be expressed in terms of positive sums of Schubert polynomials.
This Markov chain is a multivariate generalization of a Markov chain introduced by the first author in the study of random affine Weyl group elements.
High-ordered Random Walks and Generalized Laplacians on Hypergraphs
Published
• View Publication
• BIB
Despite of the extreme success of the spectral graph theory, there are relatively few papers applying spectral analysis to hypergraphs. Chung first introduced Laplacians for regular hypergraphs and showed some useful applications. Other researchers treated hypergraphs as weighted graphs and then studied the Laplacians of the corresponding weighted graphs. In this paper, we aim to unify these very different versions of Laplacians for hypergraphs. We introduce a set of Laplacians for hypergraphs through studying high-ordered random walks on hypergraphs. We prove the eigenvalues of these Laplacians can effectively control the mixing rate of high-ordered random walks, the generalized distances/diameters, and the edge expansions.
Two local conditions on the vertex stabiliser of arc-transitive graphs and their effect on the Sylow subgroups
Published
• View Publication
• BIB
In this paper we study $G$-arc-transitive graphs $Δ$ where the permutation group $G_x^{Δ(x)}$ induced by the stabiliser $G_x$ of the vertex $x$ on the neighbourhood $Δ(x)$ satisfies the two conditions given in the introduction. We show that for such a $G$-arc-transitive graph $Δ$, if $(x,y)$ is an arc of $Δ$, then the subgroup $G_{x,y}^{[1]}$ of $G$ fixing pointwise $Δ(x)$ and $Δ(y)$ is a $p$-group for some prime $p$. Next we prove that every $G$-locally primitive (respectively quasiprimitive, semiprimitive) graph satisfies our two local hypotheses. Thus this provides a new Thompson-Wielandt-like theorem for a very large class of arc-transitive graphs.
Furthermore, we give various families of $G$-arc-transitive graphs where our two local conditions do not apply and where $G_{x,y}^{[1]}$ has arbitrarily large composition factors.
Description of the Characters and Factor Representations of Infinite Symmetric Inverse Semigroup
Published
• View Publication
• BIB
We give a complete list of indecomposable characters of the infinite symmetric semigroup. In comparison with the analogous list for the infinite symmetric group, one should introduce only one new parameter, which has a clear combinatorial meaning. The paper relies on the representation theory of the finite symmetric semigroups and the representation theory of the infinite symmetric group.
Random runners are very lonely
Suppose that $k$ runners having different constant speeds run laps on a circular track of unit length. The Lonely Runner Conjecture states that, sooner or later, any given runner will be at distance at least $1/k$ from all the other runners. We prove that, with probability tending to one, a much stronger statement holds for random sets in which the bound $1/k$ is replaced by \thinspace $1/2-\varepsilon $. The proof uses Fourier analytic methods. We also point out some consequences of our result for colouring of random integer distance graphs.
A note on the abelian sandpile in Z^d
Published
• View Publication
• BIB
We analyse the abelian sandpile model on $\mathbbm{Z}^d$ for the starting configuration of $n$ particles in the origin and $2d-2$ particles otherwise. We give a new short proof of the theorem of Fey, Levine and Peres \cite{FLP} that the radius of the toppled cluster of this configuration is $O(n^{1/d})$.
Effect of scale on long-range random graphs and chromosomal inversions
Published in Annals of Applied Probability 2012, Vol. 22, No. 4, 1328-1361
• View Publication
• BIB
We consider bond percolation on $n$ vertices on a circle where edges are permitted between vertices whose spacing is at most some number L=L(n). We show that the resulting random graph gets a giant component when $L\gg(\log n)^2$ (when the mean degree exceeds 1) but not when $L\ll\log n$. The proof uses comparisons to branching random walks. We also consider a related process of random transpositions of $n$ particles on a circle, where transpositions only occur again if the spacing is at most $L$. Then the process exhibits the mean-field behavior described by Berestycki and Durrett if and only if L(n) tends to infinity, no matter how slowly. Thus there are regimes where the random graph has no giant component but the random walk nevertheless has a phase transition. We discuss possible relevance of these results for a dataset coming from D. repleta and D. melanogaster and for the typical length of chromosomal inversions.
Nonmedian Direct Products of Graphs with Loops
A \emph{median graph} is a connected graph in which, for every three vertices, there exists a unique vertex $m$ lying on the geodesic between any two of the given vertices. We show that the only median graphs of the direct product $G\times H$ are formed when $G=P_k$, for any integer $k\geq 3$ and $H=P_l$, for any integer $l\geq 2$, with a loop at an end vertex, where the direct product is taken over all connected graphs $G$ on at least three vertices or at least two vertices with at least one loop, and connected graphs $H$ with at least one loop.