Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A graphical calculus for 2-block Spaltenstein varieties
We generalise statements known about Springer fibres associated to nilpotents with 2 Jordan blocks to Spaltenstein varieties. We study the geometry of generalised irreducible components (i.e. Bialynicki-Birula cells) and their pairwise intersections. In particular we develop a graphical calculus which encodes their structure as iterated fibre bundles with CP^1 as base spaces and compute their cohomology. At the end we present a connection with coloured cobordisms generalising a construction of Khovanov and Stroppel.
Note on Existence and Non-Existence of Large Subsets of Binary Vectors with Similar Distances
Published
• View Publication
• BIB
We consider vectors from $\{0,1\}^n$. The weight of such a vector $v$ is the sum of the coordinates of $v$. The distance ratio of a set $L$ of vectors is ${\rm dr}(L):=\max \{ρ(x,y):\ x,y \in L\}/ \min \{ρ(x,y):\ x,y \in L,\ x\neq y\},$ where $ρ(x,y)$ is the Hamming distance between $x$ and $y$. We prove that (a) for every constant $λ>1$ there are no positive constants $α$ and $C$ such that every set $K$ of at least $λ^p$ vectors with weight $p$ contains a subset $K'$ with $|K'|\ge |K|^α$ and ${\rm dr}(K')\le C$, % even when $|K|\ge λ$,
(b) For a set $K$ of vectors with weight $p$, and a constant $C>2$, there exists $K'\subseteq K$ such that ${\rm dr}(K')\le C$ and $|K'| \ge |K|^α$, where $α= 1/ \lceil \log(p/2)/\log(C/2) \rceil$.
Combinatorics of r-Dyck paths, r-Parking functions, and the r-Tamari lattices
This paper's aim is to present recent combinatorial considerations on r-Dyck paths, r-Parking functions, and the r-Tamari lattices. Giving a better understanding of the combinatorics of these objects has become important in view of their (conjectural) role in the description of the graded character of the Sn-modules of bivariate and trivariate diagonal coinvariant spaces for the symmetric group.
Ext-quivers of hearts of A-type and the orientation of associahedron
Published in J. Algebra, 393 (2013), pp. 60-70
• View Publication
• BIB
We classify the Ext-quivers of hearts in the bounded derived category D(A_n) and the finite-dimensional derived category D(Γ_N A_n) of the Calabi-Yau-N Ginzburg algebra D(Γ_N A_n). This provides the classification for Buan-Thomas' colored quiver for higher clusters of A-type. We also give explicit combinatorial constructions from a binary tree with n+2 leaves to a torsion pair in mod k\overrightarrow{A_n} and a cluster tilting set in the corresponding cluster category, for the straight oriented A-type quiver \overrightarrow{A_n}. As an application, we show that the orientation of the n-dimensional ssociahedron induced by poset structure of binary trees coincides with the orientation induced by poset structure of torsion pairs in mod k\overrightarrow{A_n} (under the correspondence above).
The Proportion of Weierstrass Semigroups
Published in J. Algebra 373 (2013), 377-391
• View Publication
• BIB
We solve a problem of Komeda concerning the proportion of numerical semigroups which do not satisfy Buchweitz' necessary criterion for a semigroup to occur as the Weierstrass semigroup of a point on an algebraic curve. We also show that the family of semigroups known to be Weierstrass semigroups using a result of Eisenbud and Harris, has zero density in the set of all semigroups. In the process, we prove several more general results about the structure of a typical numerical semigroup.
Strongly Regular Cayley Graphs, Skew Hadamard Difference Sets, and Rationality of Relative Gauss Sums
Published
• View Publication
• BIB
In this paper, we give constructions of strongly regular Cayley graphs and skew Hadamard difference sets. Both constructions are based on choosing cyclotomic classes in finite fields, and our results generalize ten of the eleven sporadic examples of cyclotomic strongly regular graphs given by Schmidt and White [24] and several of subfield examples into infinite families. These infinite families of strongly regular graphs have new parameters. The main tools that we employed are relative Gauss sums instead of explicit evaluations of Gauss sums.
Partitioning and coloring with degree constraints
Published
• View Publication
• BIB
We prove that if $G$ is a vertex critical graph with $χ(G) \geq Δ(G) + 1 - p \geq 4$ for some $p \in \mathbb{N}$ and $ω(\fancy{H}(G)) \leq \frac{χ(G) + 1}{p + 1} - 2$, then $G = K_{χ(G)}$ or $G = O_5$. Here $\fancy{H}(G)$ is the subgraph of $G$ induced on the vertices of degree at least $χ(G)$. This simplifies and improves the results in the paper of Kostochka, Rabern and Stiebitz \cite{krs_one}.
An efficient algorithm for the diameter of Cayley graphs generated by transposition trees
Published in IAENG International Journal of Applied Mathematics, vol. 42, no. 4, pp. 214-223, November 2012
• Search Publication
A problem of practical and theoretical interest is to determine or estimate the diameter of various families of Cayley networks. The previously known estimate for the diameter of Cayley graphs generated by transposition trees is an upper bound given in the oft-cited paper of Akers and Krishnamurthy (1989). In this work, we first assess the performance of their upper bound. We show that for every $n$, there exists a tree on $n$ vertices, such that the difference between the upper bound and the true diameter value is at least $n-4$.
Evaluating their upper bound takes time $Ω(n!)$. In this paper, we provide an algorithm that obtains an estimate of the diameter, but which requires only time $O(n^2)$; furthermore, the value obtained by our algorithm is less than or equal to the previously known diameter upper bound. Such an improvement to polynomial time, while still performing at least as well as the previous bound, is possible because our algorithm works directly with the transposition tree on $n$ vertices and does not require examining any of the permutations. We also provide a tree for which the value computed by our algorithm is not necessarily unique, which is an important result because such examples are quite rare. For all families of trees we have investigated so far, each of the possible values computed by our algorithm happens to also be an upper bound on the diameter.
The representation of the symmetric group on m-Tamari intervals
Published in Advances in Mathematics 247 (2013) 309-342
• View Publication
• BIB
An m-ballot path of size n is a path on the square grid consisting of north and east unit steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my}. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice and denoted by T_n^{m}, which generalizes the usual Tamari lattice T_n obtained when m=1. This lattice was introduced by F. Bergeron in connection with the study of diagonal coinvariant spaces in three sets of n variables. The representation of the symmetric group S_n on these spaces is conjectured to be closely related to the natural representation of S_n on (labelled) intervals of the m-Tamari lattice, which we study in this paper. An interval [P,Q] of T_n^{m} is labelled if the north steps of Q are labelled from 1 to n in such a way the labels increase along any sequence of consecutive north steps. The symmetric group S_n acts on labelled intervals of T_n^{m} by permutation of the labels. We prove an explicit formula, conjectured by F. Bergeron and the third author, for the character of the associated representation of S_n. In particular, the dimension of the representation, that is, the number of labelled m-Tamari intervals of size n, is found to be (m+1)^n(mn+1)^{n-2}. These results are new, even when m=1. The form of these numbers suggests a connection with parking functions, but our proof is not bijective. The starting point is a recursive description of m-Tamari intervals. It yields an equation for an associated generating function, which is a refined version of the Frobenius series of the representation. This equation involves two additional variables x and y, a derivative with respect to y and iterated divided differences with respect to x. The hardest part of the proof consists in solving it, and we develop original techniques to do so, partly inspired by previous work on polynomial equations with "catalytic" variables.
Linearly repetitive Delone sets Delone sets with finite local complexity: Linear repetitivity versus positivity of weights
Published
• View Publication
• BIB
We consider Delone sets with finite local complexity. We characterize validity of a subadditive ergodic theorem by uniform positivity of certain weights. The latter can be considered to be an averaged version of linear repetitivity. In this context, we show that linear repetitivity is equivalent to positivity of weights combined with a certain balancedness of the shape of return patterns.
The Bethe Partition Function of Log-supermodular Graphical Models
Sudderth, Wainwright, and Willsky have conjectured that the Bethe approximation corresponding to any fixed point of the belief propagation algorithm over an attractive, pairwise binary graphical model provides a lower bound on the true partition function. In this work, we resolve this conjecture in the affirmative by demonstrating that, for any graphical model with binary variables whose potential functions (not necessarily pairwise) are all log-supermodular, the Bethe partition function always lower bounds the true partition function. The proof of this result follows from a new variant of the "four functions" theorem that may be of independent interest.
Edge growth in graph powers
For a graph G, its rth power G^r has the same vertex set as G, and has an edge between any two vertices within distance r of each other in G. We give a lower bound for the number of edges in the rth power of G in terms of the order of G and the minimal degree of G. As a corollary we determine how small the ratio e(G^r)/e(G) can be for regular graphs of diameter at least r.
Combinatorial limitations of average-radius list-decoding
Published
• View Publication
• BIB
We study certain combinatorial aspects of list-decoding, motivated by the exponential gap between the known upper bound (of $O(1/γ)$) and lower bound (of $Ω_p(\log (1/γ))$) for the list-size needed to decode up to radius $p$ with rate $γ$ away from capacity, i.e., $1-\h(p)-γ$ (here $p\in (0,1/2)$ and $γ> 0$). Our main result is the following:
We prove that in any binary code $C \subseteq \{0,1\}^n$ of rate $1-\h(p)-γ$, there must exist a set $\mathcal{L} \subset C$ of $Ω_p(1/\sqrtγ)$ codewords such that the average distance of the points in $\mathcal{L}$ from their centroid is at most $pn$. In other words, there must exist $Ω_p(1/\sqrtγ)$ codewords with low "average radius." The standard notion of list-decoding corresponds to working with the maximum distance of a collection of codewords from a center instead of average distance. The average-radius form is in itself quite natural and is implied by the classical Johnson bound.
The remaining results concern the standard notion of list-decoding, and help clarify the combinatorial landscape of list-decoding:
1. We give a short simple proof, over all fixed alphabets, of the above-mentioned $Ω_p(\log (γ))$ lower bound. Earlier, this bound followed from a complicated, more general result of Blinovsky.
2. We show that one {\em cannot} improve the $Ω_p(\log (1/γ))$ lower bound via techniques based on identifying the zero-rate regime for list decoding of constant-weight codes.
3. We show a "reverse connection" showing that constant-weight codes for list decoding imply general codes for list decoding with higher rate.
4. We give simple second moment based proofs of tight (up to constant factors) lower bounds on the list-size needed for list decoding random codes and random linear codes from errors as well as erasures.
The poset of the nilpotent commutator of a nilpotent matrix
Published
• View Publication
• BIB
Let $B$ be an $n \times n$ nilpotent matrix with entries in an infinite field $\k$. Assume that $B$ is in Jordan canonical form with the associated Jordan block partition $P$. In this paper, we study a poset $\mathcal{D}_P$ associated to the nilpotent commutator of $B$ and a certain partition of $n$, denoted by $λ_U(P)$, defined in terms of the lengths of unions of special chains in $\mathcal{D}_P$. Polona Oblak associated to a given partition $P$ another partition $Ob(P)$ resulting from a recursive process. She conjectured that $Ob(P)$ is the same as the Jordan partition $Q(P)$ of a generic element of the nilpotent commutator of $B$. Roberta Basili, Anthony Iarrobino and the author later generalized the process introduced by Oblak. In this paper we show that all such processes result in the partition $λ_U(P)$.
Chordal Graphs are Fully Orientable
Suppose that D is an acyclic orientation of a graph G. An arc of D is called dependent if its reversal creates a directed cycle. Let m and M denote the minimum and the maximum of the number of dependent arcs over all acyclic orientations of G. We call G fully orientable if G has an acyclic orientation with exactly d dependent arcs for every d satisfying m <= d <= M. A graph G is called chordal if every cycle in G of length at least four has a chord. We show that all chordal graphs are fully orientable.
When is the Direct Product of Generalized Mycielskians a Cover Graph?
A graph is said to be a cover graph if it is the underlying graph of the Hasse diagram of a finite partially ordered set. The direct product G X H of graphs G and H is the graph having vertex set V(G) X V(H) and edge set E(G X H) = {(g_i,h_s)(g_j,h_t): g_ig_j belongs to E(G) and h_sh_t belongs to E(H)}. We prove that the direct product M_m(G) X M_n(H) of the generalized Mycielskians of G and H is a cover graph if and only if G or H is bipartite.
Full Orientability of the Square of a Cycle
Let D be an acyclic orientation of a simple graph G. An arc of D is called dependent if its reversal creates a directed cycle. Let d(D) denote the number of dependent arcs in D. Define m and M to be the minimum and the maximum number of d(D) over all acyclic orientations D of G. We call G fully orientable if G has an acyclic orientation with exactly k dependent arcs for every k satisfying m <= k <= M. In this paper, we prove that the square of a cycle C_n of length n is fully orientable except n=6.
Tetrads of lines spanning PG(7,2)
Published in Bull. Belg. Math. Soc. Simon Stevin Volume 20, Number 4 (2013), 735-752
• View Publication
• BIB
Our starting point is a very simple one, namely that of a set L_4 of four mutually skew lines in PG(7,2): Under the natural action of the stabilizer group G(L_4) < GL(8,2) the 255 points of PG(7,2) fall into four orbits omega_1, omega_2, omega_3 omega_4; of respective lengths 12, 54, 108, 81: We show that the 135 points in omega_2 \cup omega_4 are the internal points of a hyperbolic quadric H_7 determined by L_4; and that the 81-set omega_4 (which is shown to have a sextic equation) is an orbit of a normal subgroup G_81 isomorphic to (Z_3)^4 of G(L_4): There are 40 subgroups (isomorphic to (Z_3)^3) of G_81; and each such subgroup H < G_81 gives rise to a decomposition of omega_4 into a triplet of 27-sets. We show in particular that the constituents of precisely 8 of these 40 triplets are Segre varieties S_3(2) in PG(7,2): This ties in with the recent finding that each Segre S = S_3(2) in PG(7,2) determines a distinguished Z_3 subgroup of GL(8,2) which generates two sibling copies S'; S" of S.
Impartial coloring games
Published
• View Publication
• BIB
Coloring games are combinatorial games where the players alternate painting uncolored vertices of a graph one of $k > 0$ colors. Each different ruleset specifies that game's coloring constraints. This paper investigates six impartial rulesets (five new), derived from previously-studied graph coloring schemes, including proper map coloring, oriented coloring, 2-distance coloring, weak coloring, and sequential coloring. For each, we study the outcome classes for special cases and general computational complexity. In some cases we pay special attention to the Grundy function.
The filling problem in the cube
Published
• View Publication
• BIB
We prove an isoperimetric inequality for filling cellular cycles in a high dimensional cube with cellular chains. In addition, we provide a family of cubical cellular cycles for which the exponent in the inequality is optimal.