Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Some remarks on cops and drunk robbers
Published
• View Publication
• BIB
The cops and robbers game has been extensively studied under the assumption of optimal play by both the cops and the robbers. In this paper we study the problem in which cops are chasing a drunk robber (that is, a robber who performs a random walk) on a graph. Our main goal is to characterize the "cost of drunkenness." Specifically, we study the ratio of expected capture times for the optimal version and the drunk robber one. We also examine the algorithmic side of the problem; that is, how to compute near-optimal search schedules for the cops. Finally, we present a preliminary investigation of the invisible robber game and point out differences between this game and graph search.
On the classification of Hermitian self-dual additive codes over GF(9)
Published in IEEE Trans. Inform. Theory 58(8), pp. 5500-5511, 2012
• View Publication
• BIB
Additive codes over GF(9) that are self-dual with respect to the Hermitian trace inner product have a natural application in quantum information theory, where they correspond to ternary quantum error-correcting codes. However, these codes have so far received far less interest from coding theorists than self-dual additive codes over GF(4), which correspond to binary quantum codes. Self-dual additive codes over GF(9) have been classified up to length 8, and in this paper we extend the complete classification to codes of length 9 and 10. The classification is obtained by using a new algorithm that combines two graph representations of self-dual additive codes. The search space is first reduced by the fact that every code can be mapped to a weighted graph, and a different graph is then introduced that transforms the problem of code equivalence into a problem of graph isomorphism. By an extension technique, we are able to classify all optimal codes of length 11 and 12. There are 56,005,876 (11,3^11,5) codes and 6493 (12,3^12,6) codes. We also find the smallest codes with trivial automorphism group.
An f-chromatic spanning forest of edge-colored complete bipartite graphs
Published in The Australasian Journal of Combinatorics, 61 (2015), 130-137
• Search Publication
In 2001, Brualdi and Hollingsworth proved that an edge-colored balanced complete bipartite graph Kn,n with a color set C = {1,2,3,..., 2n-1} has a heterochromatic spanning tree if the number of edges colored with colors in R is more than |R|^2 /4 for any non-empty subset R \subseteq C, where a heterochromatic spanning tree is a spanning tree whose edges have distinct colors, namely, any color appears at most once. In 2010, Suzuki generalized heterochromatic graphs to f-chromatic graphs, where any color c appears at most f(c). Moreover, he presented a necessary and sufficient condition for graphs to have an f-chromatic spanning forest with exactly w components. In this paper, using this necessary and sufficient condition, we generalize the Brualdi-Hollingsworth theorem above.
On Young diagrams, flips and cluster algebras of type A
We give a new simple description of the canonical bijection between the set of triangulations of n-gon and some set of Young diagrams. Using this description, we find flip transformations on this set of Young diagrams which correspond to the edges of the associahedron. This construction is generalized on the set of all Young diagrams and the corresponding infinite-dimensional associahedron is defined. We consider its relation to the properly defined infinite-type version of the cluster algebras of type A and check some properties of these algebras inherited from their finite-type counterparts. We investigate links between these algebras and cluster categories of infinite Dynkin type $A_\infty$ introduced by Holm and Jorgensen.
Obstructions for linear rankwidth at most 1
Published
• View Publication
• BIB
We provide a characterization of graphs of linear rankwidth at most 1 by minimal excluded vertex-minors.
$h$-vectors of small matroid complexes
Stanley conjectured in 1977 that the $h$-vector of a matroid simplicial complex is a pure $O$-sequence. We give simple constructive proofs that the conjecture is true for matroids of rank less than or equal to 3, and corank 2. We used computers to verify that Stanley's conjecture holds for all matroids on at most nine elements.
Set families with a forbidden induced subposet
Published
• View Publication
• BIB
For each poset $H$ whose Hasse diagram is a tree of height $k$, we show that the largest size of a family $\cF$ of subsets of $[n]=\{1,..., n\}$ not containing $H$ as an induced subposet is asymptotic to $(k-1){n\choose \fl{n/2}}$. This extends the result of Bukh \cite{bukh}, which in turn generalizes several known results including Sperner's theorem.
On Nilpotence of a Kind of Circulant Matrices over Zp
We investigate the nilpotence of a kind of circulant matrices $T_{n,m}$ over field $Z_p$ where $T_{n,m}= \sum_{i = 0}^{m - 1} {S_n^i}$ and $S_n$ is the fundamental circulant matrix of order $n$. The necessary and sufficient condition on $n$ and $m$ for determining nilpotence of $T_{n,m}$ over $Z_p$ is presented. Moreover, we obtain a formula for nilpotent index of $T_{n,m}$ when the condition is satisfied. As an application, we give a complete solution of a conjecture of C.Y.Zhang.
A "hidden" characterization of polyhedral convex sets
Published in Studia Math. 206 (2011), 63-74
• View Publication
• BIB
We prove that a closed convex subset $C$ of a complete linear metric space $X$ is polyhedral in its closed linear hull if and only if no infinite subset $A\subset X\backslash C$ can be hidden behind $C$ in the sense $[x,y]\cap C\not = \emptyset$ for any distinct points $x,y\in A$.
Counting Self-Dual Interval Orders
Published in Journal of Combinatorial Theory, Series A, 119(3), 599-614 (2012)
• View Publication
• BIB
In this paper, we present a new method to derive formulas for the generating functions of interval orders, counted with respect to their size, magnitude, and number of minimal and maximal elements. Our method allows us not only to generalize previous results on refined enumeration of general interval orders, but also to enumerate self-dual interval orders with respect to analogous statistics.
Using the newly derived generating function formulas, we are able to prove a bijective relationship between self-dual interval orders and upper-triangular matrices with no zero rows. Previously, a similar bijective relationship has been established between general interval orders and upper-triangular matrices with no zero rows and columns.
Noncommutative sets of small doubling
Published
• View Publication
• BIB
A corollary of Kneser's theorem, one sees that any finite non-empty subset $A$ of an abelian group $G = (G,+)$ with $|A + A| \leq (2-\eps) |A|$ can be covered by at most $\frac{2}{\eps}-1$ translates of a finite group $H$ of cardinality at most $(2-\eps)|A|$. Using some arguments of Hamidoune, we establish an analogue in the noncommutative setting. Namely, if $A$ is a finite non-empty subset of a nonabelian group $G = (G,\cdot)$ such that $|A \cdot A| \leq (2-\eps) |A|$, then $A$ is either contained in a right-coset of a finite group $H$ of cardinality at most $\frac{2}{\eps}|A|$, or can be covered by at most $\frac{2}{\eps}-1$ right-cosets of a finite group $H$ of cardinality at most $|A|$. We also note some connections with some recent work of Sanders and of Petridis.
A Brooks' Theorem for Triangle-Free Graphs
Let G be a triangle-free graph with maximum degree δ(G). We show that the chromatic number \c{hi}(G) is less than 67(1 + o(1))δ/ log δ.
Drawing cubic graphs with the four basic slopes
Published
• View Publication
• BIB
We show that every cubic graph can be drawn in the plane with straight-line edges using only the four basic slopes $\{0,π/4,π/2,3π/4\}$. We also prove that four slopes have this property if and only if we can draw $K_4$ with them.
Refined inversion statistics on permutations
Published
• View Publication
• BIB
We introduce and study new refinements of inversion statistics for permutations, such as k-step inversions, (the number of inversions with fixed position differences) and non-inversion sums (the sum of the differences of positions of the non-inversions of a permutation). We also provide a distribution function for non-inversion sums, a distribution function for k-step inversions that relates to the Eulerian polynomials, and special cases of distribution functions for other statistics we introduce, such as (\leqk)-step inversions and (k1,k2)-step inversions (that fix the value separation as well as the position). We connect our refinements to other work, such as inversion tops that are 0 modulo a fixed integer d, left boundary sums of paths, and marked meshed patterns. Finally, we use non-inversion sums to show that for every number n > 34, there is a permutation such that the dot product of that permutation and the identity permutation (of the same length) is n.
The diminishing segment process
Published
• View Publication
• BIB
Let S(1) be the segment [-1,1], and define the segments S(n) recursively in the following manner: let S(n+1) be the intersection of S(n) and a(n+1) + S(1), where the point a(n+1) is chosen randomly on the segment S(n) with uniform distribution. For the radius r(n) of S(n) we prove that n(r(n) - 1//2) converges in distribution to an exponential law, and we also show that the centre of the limiting unit interval has arcsine distribution.
A Bose-Einstein Approach to the Random Partitioning of an Integer
Published
• View Publication
• BIB
Consider N equally-spaced points on a circle of circumference N. Choose at random n points out of $N$ on this circle and append clockwise an arc of integral length k to each such point. The resulting random set is made of a random number of connected components. Questions such as the evaluation of the probability of random covering and parking configurations, number and length of the gaps are addressed. They are the discrete versions of similar problems raised in the continuum. For each value of k, asymptotic results are presented when n,N both go to infinity according to two different regimes. This model may equivalently be viewed as a random partitioning problem of N items into n recipients. A grand-canonical balls in boxes approach is also supplied, giving some insight into the multiplicities of the box filling amounts or spacings. The latter model is a k-nearest neighbor random graph with N vertices and kn edges. We shall also briefly consider the covering problem in the context of a random graph model with N vertices and n (out-degree 1) edges whose endpoints are no more bound to be neighbors.
A noncommutative weight-dependent generalization of the binomial theorem
A weight-dependent generalization of the binomial theorem for noncommuting variables is presented. This result extends the well-known binomial theorem for q-commuting variables by a generic weight function depending on two integers. For a special case of the weight function, restricting it to depend on only a single integer, the noncommutative binomial theorem involves an expansion of complete symmetric functions. Another special case concerns the weight function to be a suitably chosen elliptic (i.e., doubly-periodic meromorphic) function, in which case an elliptic generalization of the binomial theorem is obtained. The latter is utilized to quickly recover Frenkel and Turaev's elliptic hypergeometric 10V9 summation formula, an identity fundamental to the theory of elliptic hypergeometric series.
Computing the Grothendieck constant of some graph classes
Published
• View Publication
• BIB
Given a graph $G=([n],E)$ and $w\in\R^E$, consider the integer program ${\max}_{x\in \{\pm 1\}^n} \sum_{ij \in E} w_{ij}x_ix_j$ and its canonical semidefinite programming relaxation ${\max} \sum_{ij \in E} w_{ij}v_i^Tv_j$, where the maximum is taken over all unit vectors $v_i\in\R^n$. The integrality gap of this relaxation is known as the Grothendieck constant $\ka(G)$ of $G$. We present a closed-form formula for the Grothendieck constant of $K_5$-minor free graphs and derive that it is at most 3/2. Moreover, we show that $\ka(G)\le \ka(K_k)$ if the cut polytope of $G$ is defined by inequalities supported by at most $k$ points. Lastly, since the Grothendieck constant of $K_n$ grows as $Θ(\log n)$, it is interesting to identify instances with large gap. However this is not the case for the clique-web inequalities, a wide class of valid inequalities for the cut polytope, whose integrality ratio is shown to be bounded by 3.
A new semidirect product for association schemes
Published
• View Publication
• BIB
We propose a new definition for the semidirect product of association schemes, generalizing work of Bang, Hirasaka, and Song. We define an action of one scheme on another, and show how one can use such an action to construct all semidirect products satisfying a certain technical condition.
The Freeness and Minimal Free Resolutions of Modules of Differential Operators of a Generic Hyperplane Arrangement
Published
• View Publication
• BIB
Let A be a generic hyperplane arrangement composed of r hyperplanes in an n-dimensional vector space, and S the polynomial ring in n variables. We consider the S-submodule D(m)(A) of the nth Weyl algebra of homogeneous differential operators of order m preserving the defining ideal of A.
We prove that if n \geq 3, r > n,m > r - n + 1, then D(m)(A) is free (Holm's conjecture). Combining this with some results by Holm, we see that D(m)(A) is free unless n \geq 3, r > n,m < r - n + 1. In the remaining case, we construct a minimal free resolution of D(m)(A) by generalizing Yuzvinsky's construction for m = 1. In addition, we construct a minimal free resolution of the transpose of the m-jet module, which generalizes a result by Rose and Terao for m = 1.