Showing 20 papers (Total: 83076 papers, 47999 authors in database)
The minimum rank problem over finite fields
Published
• View Publication
• BIB
The structure of all graphs having minimum rank at most k over a finite field with q elements is characterized for any possible k and q. A strong connection between this characterization and polarities of projective geometries is explained. Using this connection, a few results in the minimum rank problem are derived by applying some known results from projective geometry.
Enumerating (multiplex) juggling sequences
Published
• View Publication
• BIB
We consider the problem of enumerating periodic $σ$-juggling sequences of length $n$ for multiplex juggling, where $σ$ is the initial state (or {\em landing schedule}) of the balls. We first show that this problem is equivalent to choosing 1's in a specified matrix to guarantee certain column and row sums, and then using this matrix, derive a recursion. This work is a generalization of earlier work of Fan Chung and Ron Graham.
Stanley Depth of Multigraded Modules
Published
• View Publication
• BIB
The Stanley's Conjecture on Cohen-Macaulay multigraded modules is studied especially in dimension 2. In codimension 2 similar results were obtained by Herzog, Soleyman-Jahan and Yassemi. As a consequence of our results Stanley's Conjecture holds in 5 variables.
Regular sequences of symmetric polynomials
Published in Rend. Sem. Mat. Univ. Padova 121 (2009), 179-199
• View Publication
• BIB
Denote by p_k the k-th power sum symmetric polynomial n variables. The interpretation of the q-analogue of the binomial coefficient as Hilbert function leads us to discover that n consecutive power sums in n variables form a regular sequence. We consider then the following problem: describe the subsets n powersums forming a regular sequence. A necessary condition is that n! divides the product of the degrees of the elements. To find an easily verifiable sufficient condition turns out to be surprisingly difficult already in 3 variables. Given positive integers a<b<c with GCD(a,b,c)=1, we conjecture that p_a, p_b, p_c is a regular sequence for n=3 if and only if 6 divides abc. We provide evidence for the conjecture by proving it in several special instances.
Generalized permutation patterns -- a short survey
An occurrence of a classical pattern p in a permutation πis a subsequence of πwhose letters are in the same relative order (of size) as those in p. In an occurrence of a generalized pattern, some letters of that subsequence may be required to be adjacent in the permutation. Subsets of permutations characterized by the avoidance--or the prescribed number of occurrences--of generalized patterns exhibit connections to an enormous variety of other combinatorial structures, some of them apparently deep. We give a short overview of the state of the art for generalized patterns.
Staircase Macdonald polynomials and the $q$-Discriminant
Published in FPSAC 2008, Chili (2008)
• View Publication
• BIB
We prove that a $q$-deformation $\Disc k\X q$ of the powers of the discriminant is equal, up to a normalization, to a specialization of a Macdonald polynomial indexed by a staircase partition. We investigate the expansion of $\Disc k\X q$ on different basis of symmetric functions. In particular, we show that its expansion on the monomial basis can be explicitly described in terms of standard tableaux and we generalize a result of King-Toumazet-Wybourne about the expansion of the $q$-discriminant on the Schur basis.
A variant of the tandem duplication - random loss model of genome rearrangement
Published in Theoretical Computer Science 410, 8-10 (2009)
• View Publication
• BIB
In Soda'06, Chaudhuri, Chen, Mihaescu and Rao study algorithmic properties of the tandem duplication - random loss model of genome rearrangement, well-known in evolutionary biology. In their model, the cost of one step of duplication-loss of width k is $α^k$ for $α=1$ or $α>=2 $. In this paper, we study a variant of this model, where the cost of one step of width $k$ is 1 if $k <= K$ and $\infty$ if $k > K$, for any value of the parameter $K in N$. We first show that permutations obtained after $p$ steps of width $K$ define classes of pattern-avoiding permutations. We also compute the numbers of duplication-loss steps of width $K$ necessary and sufficient to obtain any permutation of $S_n$, in the worst case and on average. In this second part, we may also consider the case $K=K(n)$, a function of the size $n$ of the permutation on which the duplication-loss operations are performed.
Combinatorial Characterization of the Assur Graphs from Engineering
Published
• View Publication
• BIB
We introduce the idea of Assur graphs, a concept originally developed and exclusively employed in the literature of the kinematics community. The paper translates the terminology, questions, methods and conjectures from the kinematics terminology for one degree of freedom linkages to the terminology of Assur graphs as graphs with special properties in rigidity theory. Exploiting recent works in combinatorial rigidity theory we provide mathematical characterizations of these graphs derived from minimal linkages. With these characterizations, we confirm a series of conjectures posed by Offer Shai, and offer techniques and algorithms to be exploited further in future work.
A new proof of Roth's theorem on arithmetic progressions
Published
• View Publication
• BIB
We present a proof of Roth's theorem that follows a slightly different structure to the usual proofs, in that there is not much iteration. Although our proof works using a type of density increment argument (which is typical of most proofs of Roth's theorem), we do not pass to a progression related to the large Fourier coefficients of our set (as most other proofs of Roth do). Furthermore, in our proof, the density increment is achieved through an application of a quantitative version of Varnavides's theorem, which is perhaps unexpected.
Non-Realizable Minimal Vertex Triangulations of Surfaces: Showing Non-Realizability using Oriented Matroids and Satisfiability Solvers
Published
• View Publication
• BIB
We show that no minimal vertex triangulation of a closed, connected, orientable 2-manifold of genus 6 admits a polyhedral embedding in R^3. We also provide examples of minimal vertex triangulations of closed, connected, orientable 2-manifolds of genus 5 that do not admit any polyhedral embeddings. We construct a new infinite family of non-realizable triangulations of surfaces. These results were achieved by transforming the problem of finding suitable oriented matroids into a satisfiability problem. This method can be applied to other geometric realizability problems, e.g. for face lattices of polytopes.
On the Number of Matchings in Regular Graphs
Published
• View Publication
• BIB
For the set of graphs with a given degree sequence, consisting of any number of $2's$ and $1's$, and its subset of bipartite graphs, we characterize the optimal graphs who maximize and minimize the number of $m$-matchings. We find the expected value of the number of $m$-matchings of $r$-regular bipartite graphs on $2n$ vertices with respect to the two standard measures. We state and discuss the conjectured upper and lower bounds for $m$-matchings in $r$-regular bipartite graphs on $2n$ vertices, and their asymptotic versions for infinite $r$-regular bipartite graphs. We prove these conjectures for 2-regular bipartite graphs and for $m$-matchings with $m\le 4$.
Spectra of symmetric powers of graphs and the Weisfeiler-Lehman refinements
Published
• View Publication
• BIB
The k-th power of a n-vertex graph X is the iterated cartesian product of X with itself. The k-th symmetric power of X is the quotient graph of certain subgraph of its k-th power by the natural action of the symmetric group. It is natural to ask if the spectrum of the k-th power --or the spectrum of the k-th symmetric power-- is a complete graph invariant for small values of k, for example, for k=O(1) or k=O(log n). In this paper, we answer this question in the negative: we prove that if the well known 2k-dimensional Weisfeiler-Lehman method fails to distinguish two given graphs, then their k-th powers --and their k-th symmetric powers-- are cospectral. As it is well known, there are pairs of non-isomorphic n-vertex graphs which are not distinguished by the k-dim WL method, even for k=Omega(n). In particular, this shows that for each k, there are pairs of non-isomorphic n-vertex graphs with cospectral k-th (symmetric) powers.
Splitting finite antichains in the homomorphism order
A structural condition is given for finite maximal antichains in the homomorphism order of relational structures to have the splitting property. It turns out that non-splitting antichains appear only at the bottom of the order. Moreover, we examine looseness and finite antichain extension property for some subclasses of the homomorphism poset. Finally, we take a look at cut-points in this order.
Towards an optimal algorithm for recognizing Laman graphs
Published
• View Publication
• BIB
Laman graphs are fundamental to rigidity theory. A graph G with n vertices and m edges is a generic minimally rigid graph (Laman graph), if m=2n-3 and every induced subset of k vertices spans at most 2k-3 edges. We consider the verification problem: Given a graph G with n vertices, decide if it is Laman. We present an algorithm that takes O(T(n)+n log n) time, where T(n) is the best time to extract two edge disjoint spanning trees from G or decide no such trees exist. Our algorithm exploits a known construction called red-black hierarchy (RBH), that is a certificate for Laman graphs. First, we show how to verify if G admits an RBH and argue this is enough to conclude whether G is Laman or not. Second, we show how to construct the RBH using a two steps procedure that is simple and easy to implement. Finally, we point out some difficulties in using red-black hierarchies to compute a Henneberg construction, which seem to imply super-quadratic time algorithms when used for embedding a planar Laman graph as a pointed pseudo-triangulation.
Contracting an element from a cocircuit
Published
• View Publication
• BIB
We consider the situation that M and N are 3-connected matroids such that |E(N)| > 3 and C* is a cocircuit of M with the property that M/y has an N-minor for some y in C*. We show that either there is an element x in C* such that si(M/x) or co(si(M/x)) is 3-connected with an N-minor, or there is a four-element fan of M that contains two elements of C* and an element x such that si(M/x) is 3-connected with an N-minor.
Additive properties of product sets in an arbitrary finite field
Published
• View Publication
• BIB
It is proved that for any two subsets $A$ and $B$ of an arbitrary finite field $\Fq$ such that $|A||B|>q$ the identity $16AB=\Fq$ holds. Moreover, it is established that for every subsets $X, Y\subset \Fq$ with the property $|X||Y|\geqslant 2q$ the equality $8XY=\Fq$ holds.
On the testability and repair of hereditary hypergraph properties
Published
• View Publication
• BIB
Recent works of Alon-Shapira and Rödl-Schacht have demonstrated that every hereditary property of undirected graphs or hypergraphs is testable with one-sided error; informally, this means that if a graph or hypergraph satisfies that property "locally" with sufficiently high probability, then it can be perturbed (or "repaired") into a graph or hypergraph which satisfies that property "globally".
In this paper we make some refinements to these results, some of which may be surprising. In the positive direction, we strengthen the results to cover hereditary properties of multiple directed polychromatic graphs and hypergraphs. In the case of undirected graphs, we extend the result to continuous graphs on probability spaces, and show that the repair algorithm is "local" in the sense that it only depends on a bounded amount of data; in particular, the graph can be repaired in a time linear in the number of edges. We also show that local repairability also holds for monotone or partite hypergraph properties (this latter result is also implicitly in work of Ishigami). In the negative direction, we show that local repairability breaks down for directed graphs, or for undirected 3-uniform hypergraphs. The reason for this contrast in behavior stems from (the limitations of) Ramsey theory.
An Enumerative Function
We define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials.
The first section of the paper is an introduction.
In the second section we derive an explicit formula for F. From the expression for the power function we obtain a number theory result.
Then we derive a formula which shows that the case of arbitrary m may be reduced to the case m=0. This formula extends Vandermonde convolution.
In the second section we describe F by the series of recurrence relations with respect to each of arguments k, n, and P. As a special case of the first recurrence relation we state a binomial identity. As a consequence of the second recurrence relation we obtain relation for coefficients of Chebyshev polynomial of both kind. This means that these polynomials might be defined in pure combinatorial way.
Neighboring Fractions in Farey Subsequences
We present explicit formulas for the computation of the neighbors of several elements of Farey subsequences.
On the characterization of expansion maps for self-affine tilings
Published in Discrete Comput. Geom. (2010) 43: 577-593
• View Publication
• BIB
We consider self-affine tilings in $\R^n$ with expansion matrix $φ$ and address the question which matrices $φ$ can arise this way. In one dimension, $λ$ is an expansion factor of a self-affine tiling if and only if $|λ|$ is a Perron number, by a result of Lind. In two dimensions, when $φ$ is a similarity, we can speak of a complex expansion factor, and there is an analogous necessary condition, due to Thurston: if a complex $λ$ is an expansion factor of a self-similar tiling, then it is a complex Perron number. We establish a necessary condition for $φ$ to be an expansion matrix for any $n$, assuming only that $φ$ is diagonalizable over the complex numbers. We conjecture that this condition on $φ$ is also sufficient for the existence of a self-affine tiling.