Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Counting Generating Invariants Under Semisimple Group and Torus Actions
Although degree bounds and algorithms for the generators of various invariant rings have been known for decades, little is known about the cardinality of minimal generating sets. Estimates of such would provide lower bounds for the runtime of algorithms that compute invariants. Fix a semisimple linear algebraic group, choose an irreducible representation of highest weight w, and consider the irreducible representations of highest weight nw. As n goes to infinity, the cardinality of a minimal set of generating invariants grows faster than any polynomial in n. On the other hand, combinatorial methods yield sub-exponential upper bounds for the growth of generating sets for torus invariants on the binary forms.
Repetition in reduced decompositions
Published
• View Publication
• BIB
Given a permutation w, we show that the number of repeated letters in a reduced decomposition of w is always less than or equal to the number of 321- and 3412-patterns appearing in w. Moreover, we prove bijectively that the two quantities are equal if and only if w avoids the ten patterns 4321, 34512, 45123, 35412, 43512, 45132, 45213, 53412, 45312, and 45231.
Unleashing the power of Schrijver's permanental inequality with the help of the Bethe Approximation
Let $A \in Ω_n$ be doubly-stochastic $n \times n$ matrix. Alexander Schrijver proved in 1998 the following remarkable inequality per(\widetilde{A}) \geq \prod_{1 \leq i,j \leq n} (1- A(i,j)); \widetilde{A}(i,j) =: A(i,j)(1-A(i,j)), 1 \leq i,j \leq n.
We use the above Shrijver's inequality to prove the following lower bound:
\frac{per(A)}{F(A)} \geq 1; F(A) =: \prod_{1 \leq i,j \leq n} (1- A(i,j))^{1- A(i,j)}.
We use this new lower bound to prove S.Friedland's Asymptotic Lower Matching Conjecture(LAMC) on monomer-dimer problem.
We use some ideas of our proof of (LAMC) to disprove [Lu,Mohr,Szekely] positive correlation conjecture.
We present explicit doubly-stochastic $n \times n$ matrices $A$ with the ratio $\frac{per(A)}{F(A)} = \sqrt{2}^{n}$; conjecture that
\max_{A \in Ω_n}\frac{per(A)}{F(A)} \approx (\sqrt{2})^{n} and give some examples supporting the conjecture.
If true, the conjecture (and other ones stated in the paper) would imply a deterministic poly-time algorithm to approximate the permanent of $n \times n$ nonnegative matrices within the relative factor $(\sqrt{2})^{n}$. The best current such factor is $e^n$.
Quiver Grassmannians and degenerate flag varieties
Published in ALGEBRA & NUMBER THEORY, vol. 6, p. 165-194, 2012
• View Publication
• BIB
Quiver Grassmannians are varieties parametrizing subrepresentations of a quiver representation. It is observed that certain quiver Grassmannians for type A quivers are isomorphic to the degenerate flag varieties investigated earlier by the second named author. This leads to the consideration of a class of Grassmannians of subrepresentations of the direct sum of a projective and an injective representation of a Dynkin quiver. It is proven that these are (typically singular) irreducible normal local complete intersection varieties, which admit a group action with finitely many orbits, and a cellular decomposition. For type A quivers explicit formulas for the Euler characteristic (the median Genocchi numbers) and the Poincare polynomials are derived.
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.