Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf classes
Published
• View Publication
• BIB
This article, dedicated to Herbert Saul Wilf on the occaison of his forthcoming 80-th birthday, describes two complementary approaches to enumeration, the "positive" and the "negative", each with its advantages and disadvantages. Both approaches are amenable to automation, and when applied to the currently active subarea, initiated in 2003 by Sergi Elizalde and Marc Noy, of enumerating consecutive-Wilf classes (i.e. consecutive pattern-avoidance) in permutations, were successfully pursued by DZ's two current PhD students, Andrew Baxter and Brian Nakamura. The Maple packages SERGI and ELIZALDE, implementing the algorithms enable the computer to "do research" by deriving, "all by itself", functional equations for the generating functions that enable polynomial-time enumeration for any set of patterns. In the case of ELIZALDE (the "negative" approach), these functional equations can be sometimes (automatically!) simplified, and imply "explicit" formulas, that previously were derived by humans using ad-hoc methods. We also get lots of new "explicit" results, beyond the scope of humans, but we have to admit, that we still need humans to handle "infinite families" of patterns, but this too, no doubt, will soon be automatable, and we leave it as a challenge to the (human and/or computer) reader. The Maple packages, and lots of sample output, is available from the webpage of this article: http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/auto.html
On cooperative patrolling: optimal trajectories, complexity analysis, and approximation algorithms
Published in IEEE Transaction on Robotics, vol. 28, issue 3, pp. 592-606, 06/2012
• View Publication
• BIB
The subject of this work is the patrolling of an environment with the aid of a team of autonomous agents. We consider both the design of open-loop trajectories with optimal properties, and of distributed control laws converging to optimal trajectories. As performance criteria, the refresh time and the latency are considered, i.e., respectively, time gap between any two visits of the same region, and the time necessary to inform every agent about an event occurred in the environment. We associate a graph with the environment, and we study separately the case of a chain, tree, and cyclic graph. For the case of chain graph, we first describe a minimum refresh time and latency team trajectory, and we propose a polynomial time algorithm for its computation. Then, we describe a distributed procedure that steers the robots toward an optimal trajectory. For the case of tree graph, a polynomial time algorithm is developed for the minimum refresh time problem, under the technical assumption of a constant number of robots involved in the patrolling task. Finally, we show that the design of a minimum refresh time trajectory for a cyclic graph is NP-hard, and we develop a constant factor approximation algorithm.
Critical groups of simplicial complexes
Published
• View Publication
• BIB
We generalize the theory of critical groups from graphs to simplicial complexes. Specifically, given a simplicial complex, we define a family of abelian groups in terms of combinatorial Laplacian operators, generalizing the construction of the critical group of a graph. We show how to realize these critical groups explicitly as cokernels of reduced Laplacians, and prove that they are finite, with orders given by weighted enumerators of simplicial spanning trees. We describe how the critical groups of a complex represent flow along its faces, and sketch another potential interpretation as analogues of Chow groups.
Direct bijective computation of the generating series for 2 and 3-connection coefficients of the symmetric group
Published
• View Publication
• BIB
We evaluate combinatorially certain connection coefficients of the symmetric group that count the number of factorizations of a long cycle as a product of three permutations. Such factorizations admit an important topological interpretation in terms of unicellular constellations on orientable surfaces. Algebraic computation of these coefficients was first done by Jackson using irreducible characters of the symmetric group. However, bijective computations of these coefficients are so far limited to very special cases. Thanks to a new bijection that refines the work of Schaeffer and Vassilieva, and Vassilieva, we give an explicit closed form evaluation of the generating series for these coefficients. The main ingredient in the bijection is a modified oriented tricolored tree tractable to enumerate. Finally, reducing this bijection to factorizations of a long cycle into two permutations, we get the analogue formula for the corresponding generating series.
The Metric Dimension of Regular Bipartite Graphs
Published in Bull. Math. Soc. Sci. Math. Roumanie Tome 54(102) No. 1, 2011, 15-28
• Search Publication
A set of vertices $W$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $W$. A metric dimension of $G$ is the minimum cardinality of a resolving set of $G$. A bipartite graph G(n,n) is a graph whose vertex set $V$ can be partitioned into two subsets $V_1$ and $V_2,$ with $|V_1|=|V_2|=n,$ such that every edge of $G$ joins $V_1$ and $V_2$. The graph $G$ is called $k$-regular if every vertex of $G$ is adjacent to $k$ other vertices. In this paper, we determine the metric dimension of $k$-regular bipartite graphs G(n,n) where $k=n-1$ or $k=n-2$.
On the connection between correlation-immune functions and perfect 2-colorings of the Boolean n-cube
A coloring of the Boolean $n$-cube is called perfect if, for every vertex $x$, the collection of the colors of the neighbors of $x$ depends only on the color of $x$. A Boolean function is called correlation-immune of degree $n-m$ if it takes the value 1 the same number of times for each $m$-face of the Boolean $n$-cube. In the present paper it is proven that each Boolean function $χ^S$ ($S\subset E^n$) satisfies the inequality $${\rm nei}(S)+ 2({\rm cor}(S)+1)(1-ρ(S))\leq n,$$ where ${\rm cor}(S)$ is the maximum degree of the correlation immunity of $χ^S$, ${\rm nei} (S)= \frac{1}{|S|}\sum\limits_{x\in S}|B(x)\cap S|-1$ is the average number of neighbors in the set $S$ for vertices in $S$, and $ρ(S)=|S|/2^n$ is the density of the set $S$.
Moreover, the function $χ^S$ is a perfect coloring if and only if we obtain an equality in the above formula.
Keywords: hypercube, perfect coloring, perfect code, correlation-immune function.
On the multidimensional permanent and q-ary designs
Published in Siberian Electronic Mathematical Reports. 2014. V. 11, 451--456
• Search Publication
An $H(n,q,w,t)$ design is considered as a collection of $(n-w)$-faces of the hypercube $Q^n_q$ perfectly piercing all $(n-t)$-faces. We define an $A(n,q,w,t)$ design as a collection of $(n-t)$-faces of hypercube $Q^n_q$ perfectly cowering all $(n-w)$-faces. The numbers of H- and A-designs are expressed in terms of multidimensional permanent. We present several constructions of H- and A-design and prove the existence of $H(2^{t+1},s2^t,2^{t+1}-1,2^{t+1}-2)$ designs for every $s,t\geq 1$.
Keywords: perfect matching, clique matching, permanent, MDS code, generalized Steiner system, H-design.
On completion of latin hypercuboids of order 4
Published in Proceedings of Twelfth International Workshop on Algebraic and Combinatorial Coding Theory (ACCT2010). 2010. P. 251-255
• Search Publication
A latin hypercuboid of order $N$ is an $N\times...\times N\times k$ array filled with symbols from the set $\{0,...,N-1\} $ in such a way that every symbol occurs at most once in every line. If $k=N$, such an array is a latin hypercube. We prove that any latin hypercuboid of order 4 is completable to a latin hypercube.
Keywords: latin hypercube, n-ary quasigroup
Enumerating Projective Reflection Groups
Published
• View Publication
• BIB
Projective re ection groups have been recently dened by the second author. They include a special class of groups denoted G(r; p; s; n) which contains all classical Weyl groups and more generally all the complex re ection groups of type G(r; p; n). In this paper we dene some statistics analogous to descent number and major index over the projective re ection groups G(r; p; s; n), and we compute several generating functions concerning these parameters. Some aspects of the representation theory of G(r; p; s; n), as distribution of one-dimensional characters and computation of Hilbert series of invariant algebras, are also treated.
Some necessary conditions for vector space partitions
Published
• View Publication
• BIB
Some new necessary conditions for the existence of vector space partitions are derived. They are applied to the problem of finding the maximum number of spaces of dimension t in a vector space partition of V(2t,q) that contains m_d spaces of dimension d, where t/2<d<t, and also spaces of other dimensions. It is also discussed how this problem is related to maximal partial t-spreads in V(2t,q). We also give a lower bound for the number of spaces in a vector space partition and verify that this bound is tight.
Octants are Cover Decomposable
Published
• View Publication
• BIB
We prove that octants are cover-decomposable, i.e., any 12-fold covering of any subset of the space with a finite number of translates of a given octant can be decomposed into two coverings. As a corollary, we obtain that any 12-fold covering of any subset of the plane with a finite number of homothetic copies of a given triangle can be decomposed into two coverings. We also show that any 12-fold covering of the whole plane with open triangles can be decomposed into two coverings. However, we exhibit an indecomposable 3-fold covering.
The crossing number of folded hypercubes
The {\it crossing number} of a graph $G$ is the minimum number of pairwise intersections of edges in a drawing of $G$. The {\it $n$-dimensional folded hypercube} $FQ_n$ is a graph obtained from $n$-dimensional hypercube by adding all complementary edges. In this paper, we obtain upper and lower bounds of the crossing number of $FQ_n$.
Doubly-refined enumeration of Alternating Sign Matrices and determinants of 2-staircase Schur functions
We prove a determinantal identity concerning Schur functions for 2-staircase diagrams lambda=(ln+l',ln,l(n-1)+l',l(n-1),...,l+l',l,l',0). When l=1 and l'=0 these functions are related to the partition function of the 6-vertex model at the combinatorial point and hence to enumerations of Alternating Sign Matrices. A consequence of our result is an identity concerning the doubly-refined enumerations of Alternating Sign Matrices.
Character tables of association schemes based on attenuated spaces
Published
• View Publication
• BIB
The set of subspaces of a given dimension in an attenuated space has a structure of a symmetric association scheme and this association scheme is called an association scheme based on an attenuated space. Association schemes based on attenuated spaces are generalizations of Grassmann schemes and bilinear forms schemes, and also $q$-analogues of non-binary Johnson schemes. Wang, Guo and Li computed the intersection numbers of association schemes based on attenuated spaces. The aim of this paper is to compute character tables of association schemes based on attenuated spaces using the method of Tarnanen, Aaltonen and Goethals. Moreover, we also prove that association schemes based on attenuated spaces include as a special case the $m$-flat association scheme, which is defined on the set of cosets of subspaces of a constant dimension in a vector space over a finite field.
Perfectly Colorable Graphs
Published in Information Processing Letters 111, 19, 960 - 961, 2011
• View Publication
• BIB
We define a perfect coloring of a graph $G$ as a proper coloring of $G$ such that every connected induced subgraph $H$ of $G$ uses exactly $ω(H)$ many colors where $ω(H)$ is the clique number of $H$. A graph is perfectly colorable if it admits a perfect coloring. We show that the class of perfectly colorable graphs is exactly the class of perfect paw-free graphs. It follows that perfectly colorable graphs can be recognized and colored in linear time.
New Proofs of Plünnecke-type Estimates for Product Sets in Groups
Published in Combinatorica 32 (6), 2012, 721-733
• View Publication
• BIB
We present a new method to bound the cardinality of triple product sets in groups and give three applications. A new and unexpectedly short proof of the Plunnecke-Ruzsa sumset inequalities for Abelian groups. A new proof of a theorem of Tao on triple products, which generalises these inequalities when no assumption on commutativity is made. A further generalisation of the Plunnecke-Ruzsa inequalities in general groups.
Avoiding 3/2-powers over the natural numbers
Published in Discrete Mathematics 312 (2012) 1282-1288
• View Publication
• BIB
In this paper we answer the following question: what is the lexicographically least sequence over the natural numbers that avoids 3/2-powers?
Stochastic coalescence in logarithmic time
Published in Annals of Applied Probability 2013, Vol. 23, No. 2, 492-528
• View Publication
• BIB
The following distributed coalescence protocol was introduced by Dahlia Malkhi in 2006 motivated by applications in social networking. Initially there are n agents wishing to coalesce into one cluster via a decentralized stochastic process, where each round is as follows: every cluster flips a fair coin to dictate whether it is to issue or accept requests in this round. Issuing a request amounts to contacting a cluster randomly chosen proportionally to its size. A cluster accepting requests is to select an incoming one uniformly (if there are such) and merge with that cluster. Empirical results by Fernandess and Malkhi suggested the protocol concludes in O(log n) rounds with high probability, whereas numerical estimates by Oded Schramm, based on an ingenious analytic approximation, suggested that the coalescence time should be super-logarithmic. Our contribution is a rigorous study of the stochastic coalescence process with two consequences. First, we confirm that the above process indeed requires super-logarithmic time w.h.p., where the inefficient rounds are due to oversized clusters that occasionally develop. Second, we remedy this by showing that a simple modification produces an essentially optimal distributed protocol; if clusters favor their smallest incoming merge request then the process does terminate in O(log n) rounds w.h.p., and simulations show that the new protocol readily outperforms the original one. Our upper bound hinges on a potential function involving the logarithm of the number of clusters and the cluster-susceptibility, carefully chosen to form a supermartingale. The analysis of the lower bound builds upon the novel approach of Schramm which may find additional applications: rather than seeking a single parameter that controls the system behavior, instead one approximates the system by the Laplace transform of the entire cluster-size distribution.
Upper bounds involving parameter $σ_2$ for the rainbow connection
Published
• View Publication
• BIB
For a graph $G$, we define $σ_2(G)=min \{d(u)+d(v)| u,v\in V(G), uv\not\in E(G)\}$, or simply denoted by $σ_2$. A edge-colored graph is rainbow edge-connected if any two vertices are connected by a path whose edges have distinct colors, which was introduced by Chartrand et al. The rainbow connection of a connected graph $G$, denoted by $rc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow edge-connected. We prove that if $G$ is a connected graph of order $n$, then $rc(G)\leq 6\frac{n-2}{σ_2+2}+7$. Moreover, the bound is seen to be tight up to additive factors by a construction mentioned by Caro et al. A vertex-colored graph is rainbow vertex-connected if any two vertices are connected by a path whose internal vertices have distinct colors, which was recently introduced by Krivelevich and Yuster. The rainbow vertex-connection of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. We prove that if $G$ is a connected graph of order $n$, then $rvc(G)\leq 8\frac{n-2}{σ_2+2}+10 $ for $2\leq σ_2\leq 6, σ_2\geq 28 $, while for $ 7 \leq σ_2\leq 8, 16\leq σ_2\leq 27$, $ rvc(G)\leq \frac{10n-16}{σ_2+2}+10$, and for $9 \leq σ_2\leq 15, rvc(G)\leq \frac{10n-16}{σ_2+2}+A(σ_2)$ where $ A(σ_2)= 63,41,27,20,16,13,11,$ respectively.
The complexity of determining the rainbow vertex-connection of graphs
Published
• View Publication
• BIB
A vertex-colored graph is {\it rainbow vertex-connected} if any two vertices are connected by a path whose internal vertices have distinct colors, which was introduced by Krivelevich and Yuster. The {\it rainbow vertex-connection} of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. In this paper, we study the computational complexity of vertex-rainbow connection of graphs and prove that computing $rvc(G)$ is NP-Hard. Moreover, we show that it is already NP-Complete to decide whether $rvc(G)=2$. We also prove that the following problem is NP-Complete: given a vertex-colored graph $G$, check whether the given coloring makes $G$ rainbow vertex-connected.