Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Line arrangements modeling curves of high degree: equations, syzygies and secants
Published
• View Publication
• BIB
We study curves consisting of unions of projective lines whose intersections are given by graphs. Under suitable hypotheses on the graph, these so-called \emph{graph curves} can be embedded in projective space as line arrangements. We discuss property $N_p$ for these embeddings and are able to produce products of linear forms that generate the ideal in certain cases. We also briefly discuss questions regarding the higher-dimensional subspace arrangements obtained by taking the secant varieties of graph curves.
A generalization of Erdős--Ko--Rado theorem to $t$-designs in certain semilattices
Published
• View Publication
• BIB
The Erdős--Ko--Rado theorem is extended to designs in semilattices with certain conditions. As an application, we show the intersection theorems for the Hamming schemes, the Johnson schemes, bilinear forms schemes, Grassmann schemes, signed sets, partial permutations and restricted signed sets.
Three-point configurations determined by subsets of $\mathbb{F}_q^2$ via the Elekes-Sharir paradigm
Published
• View Publication
• BIB
We prove that if $E \subset {\mathbb F}_q^2$, $q \equiv 3 \mod 4$, has size greater than $Cq^{7/4}$, then $E$ determines a positive proportion of all congruence classes of triangles in ${\mathbb F}_q^2$.
The approach in this paper is based on the approach to the Erd\H os distance problem in the plane due to Elekes and Sharir, followed by an incidence bound for points and lines in ${\mathbb F}_q^3$. We also establish a weak lower bound for a related problem in the sense that any subset $E$ of ${\mathbb F}_q^2$ of size less than $cq^{4/3}$ definitely does not contain a positive proportion of {\bf translation} classes of triangles in the plane. This result is a special case of a result established for $n$-simplices in ${\mathbb F}_q^d$. Finally, a necessary and sufficient condition on the lengths of a triangle for it to exist in $\mathbb{F}^2$ for any field $\mathbb F$ of characteristic not equal to 2 is established as a special case of a result for $d$-simplices in ${\mathbb F}^d$.
Exponential series without denominators
Published
• View Publication
• BIB
For a commutative algebra which comes from a Zinbiel algebra the exponential series can be written without denominators. When lifted to dendriform algebras this new series satisfies a functional equation analogous to the Baker-Campbell-Hausdorff formula. We make it explicit by showing that the obstruction series is the sum of the brace products. In the multilinear case we show that the role the Eulerian idempotent is played by the iterated pre-Lie product.
Generating Program Invariants via Interpolation
This article focuses on automatically generating polynomial equations that are inductive loop invariants of computer programs. We propose a new algorithm for this task, which is based on polynomial interpolation. Though the proposed algorithm is not complete, it is efficient and can be applied to a broader range of problems compared to existing methods targeting similar problems. The efficiency of our approach is testified by experiments on a large collection of programs. The current implementation of our method is based on dense interpolation, for which a total degree bound is needed. On the theoretical front, we study the degree and dimension of the invariant ideal of loops which have no branches and where the assignments define a P-solvable recurrence. In addition, we obtain sufficient conditions for non-trivial polynomial equation invariants to exist (resp. not to exist).
Exponential growth of rank jumps for A-hypergeometric systems
Published in Revista Matemática Iberoamericana, Volume 29 (2013), Issue 4, Pages 1397-1404
• Search Publication
The dimension of the space of holomorphic solutions at nonsingular points (also called the holonomic rank) of a $A$--hypergeometric system $M_A (β)$ is known to be bounded above by $ 2^{2d}\operatorname{vol}(A)$, where $d$ is the rank of the matrix $A$ and $\vol (A)$ is its normalized volume. This bound was thought to be very vast because it is exponential on $d$. Indeed, all the examples we have found in the literature verify that $\operatorname{rank}(M_A (β))<2 \vol (A)$. We construct here, in a very elementary way, some families of matrices $A_{(d)}\in \ZZ^{d \times n}$ and parameter vectors $β_{(d)} \in \C^d$, $d\geq 2$, such that $\rank (M_{A_{(d)}} (β_{(d)}))\geq a^d \vol(A_{(d)})$ for certain $a>1$.
Sharp Concentration of Hitting Size for Random Set Systems
Consider the random set system of {1,2,...,n}, where each subset in the power set is chosen independently with probability p. A set H is said to be a hitting set if it intersects each chosen set. The second moment method is used to exhibit the sharp concentration of the minimal size of H for a variety of values of p.
Perfect Reconstruction of Oncogenetic Trees
In this note we provide the necessary and sufficient conditions to uniquely reconstruct an oncogenetic tree.
Half domination arrangements in regular and semi-regular tessellation type graphs
We study the problem of half-domination sets of vertices in vertex transitive infinite graphs generated by regular or semi-regular tessellations of the plane. In some cases, the results obtained are sharp and in the rest, we show upper bounds for the average densities of vertices in half-domination sets.
The Weak-Map Order and Polytopal Decompositions of Matroid Base Polytopes
The weak-map order on the matroid base polytopes is the partial order defined by inclusion. Lucas proved that the base polytope of no binary matroid includes the base polytope of a connected matroid. A matroid base polytope is said to be decomposable when it has a polytopal decomposition which consists of at least two matroid base polytopes.
We shed light on the relation between the decomposability and the weak-map order of matroid base polytopes. We classify matroids into five types with respect to the weak-map order and decomposability. We give an example of a matroid in each class. Moreover, we give a counterexample to a conjecture proposed by Lucas, which says that, when one matroid base polytope covers another matroid base polytope with respect to inclusion, the latter matroid base polytope should be a facet of the former matroid base polytope.
On maximal chains in the non-crossing partition lattice
Published
• View Publication
• BIB
A weak order on the set of maximal chains of the non-crossing partition lattice is introduced and studied. A $0$-Hecke algebra action is used to compute the radius of the graph on these chains in which two chains are adjacent if they differ in exactly one element.
Diameters of Chevalley groups over local rings
Published
• View Publication
• BIB
Let G be a Chevalley group scheme of rank l. We show that the following holds for some absolute constant d>0 and two functions p_0=p_0(l) and C=C(l,p). Let p>p_0 be a prime number and let G_n:=G(\Z/p^n\Z) be the family of finite groups for n>0.
Then for any n>0 and any subset S which generates G_n we have diam(G_n,S)< C n^d, i.e., any element of G_n is a product of Cn^d elements from S\cup S^{-1}. In particular, for some C'=C'(l,p) and for any n>0 we have, diam(G_n,S)< C' log^d(|G_n|).
Our proof is elementary and effective, in the sense that the constant d and the functions p_0(l) and C(l,p) are calculated explicitly. Moreover, there exists an efficient algorithm to compute a short path between any two vertices in any Cayley graph of the groups G_n.
Disproof of a conjecture by Erdős and Guy on the crossing number of hypercubes
Published
• View Publication
• BIB
Let $Q_n$ be the $n$-dimensional hypercube, and let ${\rm cr}(Q_n)$ be the \textit{crossing number} of $Q_n$. Erdős and Guy in 1973 conjectured the following equality: ${\rm cr}(Q_n)=\frac{5}{32}4^n-\lfloor\frac{n^2+1}{2}\rfloor 2^{n-2}$. In this paper, we construct a drawing of $Q_n$ with less crossings when $n>6$, which implies that for $n>6$ we have a strict inequality.
A simple approach to q-Chebyshev polynomials
It is shown that some q-analogues of the Fibonacci and Lucas polynomials lead to q-analogues of the Chebyshev polynomials which retain most of their elementary properties.
Shape-Wilf-equivalences for vincular patterns
Published
• View Publication
• BIB
We extend the notion of shape-Wilf-equivalence to vincular patterns (also known as "generalized patterns" or "dashed patterns"). First we introduce a stronger equivalence on patterns which we call filling-shape-Wilf-equivalence. When vincular patterns $α$ and $β$ are filling-shape-Wilf-equivalent, we prove that the direct sum $α\oplusσ$ is filling-shape-Wilf-equivalent to $β\oplusσ$. We also discover two new pairs of patterns which are filling-shape-Wilf-equivalent: when $α$, $β$, and $σ$ are nonempty consecutive patterns which are Wilf-equivalent, $α\oplusσ$ is filling-shape-Wilf-equivalent to $β\oplusσ$; and for any consecutive pattern $α$, $1\oplusα$ is filling-shape-Wilf-equivalent to $1\ominusα$. These equivalences generalize Wilf-equivalences found by Elizalde and Kitaev. These new equivalences imply many new Wilf-equivalences for vincular patterns
Computations for Coxeter arrangements and Solomon's descent algebra II: Groups of rank five and six
Published
• View Publication
• BIB
In recent papers we have refined a conjecture of Lehrer and Solomon expressing the character of a finite Coxeter group $W$ acting on the $p$th graded component of its Orlik-Solomon algebra as a sum of characters induced from linear characters of centralizers of elements of $W$. Our refined conjecture relates the character above to a component of a decomposition of the regular character of $W$ related to Solomon's descent algebra of $W$. The refined conjecture has been proved for symmetric and dihedral groups, as well as finite Coxeter groups of rank three and four.
In this paper, the second in a series of three dealing with groups of rank up to eight (and in particular, all exceptional Coxeter groups), we prove the conjecture for finite Coxeter groups of rank five and six, further developing the algorithmic tools described in the previous article. The techniques developed and implemented in this paper provide previously unknown decompositions of the regular and Orlik-Solomon characters of the groups considered.
Blockers for non-crossing spanning trees in complete geometric graphs
Published
• View Publication
• BIB
In this paper we present a complete characterization of the smallest sets that block all the simple spanning trees (SSTs) in a complete geometric graph. We also show that if a subgraph is a blocker for all SSTs of diameter at most 4, then it must block all simple spanning subgraphs, and in particular, all SSTs. For convex geometric graphs, we obtain an even stronger result: being a blocker for all SSTs of diameter at most 3 is already sufficient for blocking all simple spanning subgraphs.
Low dimensional models of the finite split Cayley hexagon
Published
• View Publication
• BIB
We provide a model of the split Cayley hexagon arising from the Hermitian surface $\mathsf{H}(3,q^2)$, thereby yielding a geometric construction of the Dickson group $G_2(q)$ starting with the unitary group $\mathsf{SU}_3(q)$.
On the combinatorial structure of crystals of types A,B,C
Regular $A_n$-, $B_n$- and $C_n$-crystals are edge-colored directed graphs, with ordered colors $1,2,...,n$, which are related to representations of quantized algebras $U_q(\mathfrak{sl}_{n+1})$, $U_q(\mathfrak{sp}_{2n})$ and $U_q(\mathfrak{so}_{2n+1})$, respectively. We develop combinatorial methods to reveal refined structural properties of such objects.
Firstly, we study subcrystals of a regular $A_n$-crystal $K$ and characterize pairwise intersections of maximal subcrystals with colors $1,...,n-1$ and colors $2,...,n$. This leads to a recursive description of the structure of $K$ and provides an efficient procedure of assembling $K$.
Secondly, using merely combinatorial means, we demonstrate a relationship between regular $B_n$-crystals (resp. $C_n$-crystals) and regular symmetric $A_{2n-1}$-crystals (resp. $A_{2n}$-crystals).
Powers of the Vandermonde determinant, Schur Functions, and recursive formulas
Published
• View Publication
• BIB
Since every even power of the Vandermonde determinant is a symmetric polynomial, we want to understand its decomposition in terms of the basis of Schur functions. We investigate several combinatorial properties of the coefficients in the decomposition. In particular, we give recursive formulas for the coefficient of the Schur function $s_{\m}$ in the decomposition of an even power of the Vandermonde determinant in $n + 1$ variables in terms of the coefficient of the Schur function $s_ł$ in the decomposition of the same even power of the Vandermonde determinant in $n$ variables if the Young diagram of $\m$ is obtained from the Young diagram of $ł$ by adding a tetris type shape to the top or to the left. An extended abstract containing the statement of the results presented here appeared in the Proceedings of FPSAC11