Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Tokuyama-type formulas for type B
Published in Israel Journal of Mathematics 216(2) (2016), 617-655
• View Publication
• BIB
We obtain explicit formulas for the product of a deformed Weyl denominator with the character of an irreducible representation of the spin group $\rm{Spin}_{2r+1}({\mathbb C})$, which is an analogue of the formulas of Tokuyama for Schur polynomials and Hamel-King for characters of symplectic groups. To give these, we start with a symplectic group and obtain such characters using the Casselman-Shalika formula. We then analyze this using objects which are naturally attached to the metaplectic double cover of an odd orthogonal group, which also has dual group $\rm{Spin}_{2r+1}({\mathbb C})$.
Generalising Fisher's inequality to coverings and packings
Published
• View Publication
• BIB
In 1940 Fisher famously showed that if there exists a non-trivial $(v,k,λ)$-design then $λ(v-1) \geq k(k-1)$. Subsequently Bose gave an elegant alternative proof of Fisher's result. Here, we show that the idea behind Bose's proof can be generalised to obtain new bounds on the number of blocks in $(v,k,λ)$-coverings and -packings with $λ(v-1)<k(k-1)$.
New $\mathcal{F}$-Saturation Games on Directed Graphs
We study analogues of $\mathcal{F}$-saturation games, first introduced by Furedi, Reimer and Seress in 1991, and named as such by West. We examine analogous games on directed graphs, and show tight results on the walk-avoiding game. We also examine an intermediate game played on undirected graphs, such that there exists an orientation avoiding a given family of directed graphs, and show bounds on the score. This last game is shown to be equivalent to a recent game studied by Hefetz, Krivelevich, Naor and Stojakovic, and we give new bounds for biased versions of this game.
Decompositions of Cellular Binomial Ideals
Published
• View Publication
• BIB
Without any restrictions on the base field, we compute the hull and prove a conjecture of Eisenbud and Sturmfels giving an unmixed decomposition of a cellular binomial ideal. Over an algebraically closed field, we further obtain an explicit (but not necessarily minimal) primary decomposition of such an ideal.
A Survey on Almost Difference Sets
Let $G$ be an additive group of order $v$. A $k$-element subset $D$ of $G$ is called a $(v, k, λ, t)$-almost difference set if the expressions $gh^{-1}$, for $g$ and $h$ in $D$, represent $t$ of the non-identity elements in $G$ exactly $λ$ times and every other non-identity element $λ+1$ times. Almost difference sets are highly sought after as they can be used to produce functions with optimal nonlinearity, cyclic codes, and sequences with three-level autocorrelation. This paper reviews the recent work that has been done on almost difference sets and related topics. In this survey, we try to communicate the known existence and nonexistence results concerning almost difference sets. Further, we establish the link between certain almost difference sets and binary sequences with three-level autocorrelation. Lastly, we provide a thorough treatment of the tools currently being used to solve this problem. In particular, we review many of the construction methods being used to date, providing illustrative proofs and many examples.
Gonality of Random Graphs
Published in Involve 9 (2016) 715-720
• View Publication
• BIB
We show that the expected gonality of a random graph is asymptotic to the number of vertices.
Hadamard matrices modulo p and small modular Hadamard matrices
Published
• View Publication
• BIB
We use modular symmetric designs to study the existence of Hadamard matrices modulo certain primes. We solve the $7$-modular and $11$-modular versions of the Hadamard conjecture for all but a finite number of cases. In doing so, we state a conjecture for a sufficient condition for the existence of a $p$-modular Hadamard matrix for all but finitely many cases. When $2$ is a primitive root of a prime $p$, we conditionally solve this conjecture and therefore the $p$-modular version of the Hadamard conjecture for all but finitely many cases when $p \equiv 3 \pmod{4}$, and prove a weaker result for $p \equiv 1 \pmod{4}$. Finally, we look at constraints on the existence of $m$-modular Hadamard matrices when the size of the matrix is small compared to $m$.
Abelian networks II. Halting on all inputs
Published
• View Publication
• BIB
Abelian networks are systems of communicating automata satisfying a local commutativity condition. We show that a finite irreducible abelian network halts on all inputs if and only if all eigenvalues of its production matrix lie in the open unit disk.
Abelian networks III. The critical group
Published
• View Publication
• BIB
The critical group of an abelian network is a finite abelian group that governs the behavior of the network on large inputs. It generalizes the sandpile group of a graph. We show that the critical group of an irreducible abelian network acts freely and transitively on recurrent states of the network. We exhibit the critical group as a quotient of a free abelian group by a subgroup containing the image of the Laplacian, with equality in the case that the network is rectangular. We generalize Dhar's burning algorithm to abelian networks, and estimate the running time of an abelian network on an arbitrary input up to a constant additive error.
Weak Unit Disk and Interval Representation of Planar Graphs
Published
• View Publication
• BIB
We study a variant of intersection representations with unit balls, that is, unit disks in the plane and unit intervals on the line. Given a planar graph and a bipartition of the edges of the graph into near and far sets, the goal is to represent the vertices of the graph by unit balls so that the balls representing two adjacent vertices intersect if and only if the corresponding edge is near. We consider the problem in the plane and prove that it is NP-hard to decide whether such a representation exists for a given edge-partition. On the other hand, every series-parallel graph admits such a representation with unit disks for any near/far labeling of the edges. We also show that the representation problem on the line is equivalent to a variant of a graph coloring. We give examples of girth-4 planar and girth-3 outerplanar graphs that have no such representation with unit intervals. On the other hand, all triangle-free outerplanar graphs and all graphs with maximum average degree less than 26/11 can always be represented. In particular, this gives a simple proof of representability of all planar graphs with large girth.
PBW-degenerated Demazure modules and Schubert varieties for triangular elements
Published
• View Publication
• BIB
We study certain faces of the normal polytope introduced by Feigin, Littelmann and the author whose lattice points parametrize a monomial basis of the PBW-degenerated of simple modules for $\mathfrak{sl}_{n+1}$. We show that lattice points in these faces parametrize monomial bases of PBW-degenerated Demazure modules associated to Weyl group elements satisfying a certain closure property, for example Kempf elements. These faces are again normal polytopes and their Minkowski sum is compatible with tensor products, which implies that we obtain flat degenerations of the corresponding Schubert varieties to PBW degenerated and toric varieties.
Counting invertible Schrödinger Operators over Finite Fields for Trees, Cycles and Complete Graphs
Published
• View Publication
• BIB
We count invertible Schrödinger operators (perturbations by diagonal matrices of the adjacency matrix) over finite fieldsfor trees, cycles and complete graphs.This is achieved for trees through the definition and use of local invariants (algebraic constructions of perhapsindependent interest).Cycles and complete graphs are treated by ad hoc methods.
The distribution of factorization patterns on linear families of polynomials over a finite field
Published
• View Publication
• BIB
We obtain estimates on the number $|\mathcal{A}_{\boldsymbolλ}|$ of elements on a linear family $\mathcal{A}$ of monic polynomials of $\mathbb{F}_q[T]$ of degree $n$ having factorization pattern $\boldsymbolλ:=1^{λ_1}2^{λ_2}\cdots n^{λ_n}$. We show that $|\mathcal{A}_{\boldsymbolλ}|= \mathcal{T}(\boldsymbolλ)\,q^{n-m}+\mathcal{O}(q^{n-m-{1}/{2}})$, where $\mathcal{T}(\boldsymbolλ)$ is the proportion of elements of the symmetric group of $n$ elements with cycle pattern $\boldsymbolλ$ and $m$ is the codimension of $\mathcal{A}$. Furthermore, if the family $\mathcal{A}$ under consideration is "sparse", then $|\mathcal{A}_{\boldsymbolλ}|= \mathcal{T}(\boldsymbolλ)\,q^{n-m}+\mathcal{O}(q^{n-m-{1}})$. Our estimates hold for fields $\mathbb{F}_q$ of characteristic greater than 2. We provide explicit upper bounds for the constants underlying the $\mathcal{O}$--notation in terms of $\boldsymbolλ$ and $\mathcal{A}$ with "good" behavior. Our approach reduces the question to estimate the number of $\mathbb{F}_q$--rational points of certain families of complete intersections defined over $\mathbb{F}_q$. Such complete intersections are defined by polynomials which are invariant under the action of the symmetric group of permutations of the coordinates. This allows us to obtain critical information concerning their singular locus, from which precise estimates on their number of $\mathbb{F}_q$--rational points are established.
Two Theorems on the Range of Strategy-proof Rules on a Restricted Domain
Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other and let g have range S on NP. We complete the proof of a Gibbard-Satterthwaite result - if S contains more than two elements, then g is dictatorial - by establishing a full range result on two subdomains of NP.
Proof of Stasinski and Voll's Hyperoctahedral Group Conjecture
In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most one descent, this formula gives the Poincare polynomials for the varieties of symmetric matrices of a fixed rank.
Dendriform-Tree Setting for Fully Non-commutative Fliess Operators
Published in Proc. 53rd IEEE Conference on Decision and Control, Los Angeles, California, 2014, pp. 4814-4819
• View Publication
• BIB
This paper provides a dendriform-tree setting for Fliess operators with matrix-valued inputs. This class of analytic nonlinear input-output systems is convenient, for example, in quantum control. In particular, a description of such Fliess operators is provided using planar binary trees. Sufficient conditions for convergence of the defining series are also given.
Quadratic Packing Polynomials on Sectors of $\mathbb{R}^2$
A polynomial $p(x,y)$ on a region $S$ in the plane is called a packing polynomial if the restriction of $p(x,y)$ to $S\cap \mathbb{Z}^2$ yields a bijection to $\mathbb{N}$. In this paper, we determine all quadratic packing polynomials on rational sectors of $\mathbb{R}^2$.
Constructing flag-transitive, point-imprimitive designs
Published
• View Publication
• BIB
We give a construction of a family of designs with a specified point-partition, and determine the subgroup of automorphisms leaving invariant the point-partition. We give necessary and sufficient conditions for a design in the family to possess a flag-transitive group of automorphisms preserving the specified point-partition. We give examples of flag-transitive designs in the family, including a new symmetric $2$-$(1408,336,80)$ design with automorphism group $2^{12}:((3\cdot\mathrm{M}_{22}):2)$, and a construction of one of the families of the symplectic designs (the designs $S^-(n)$) exhibiting a flag-transitive, point-imprimitive automorphism group.
Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree
Published in Journal of Theoretical Computer Science: Fundamentals of Computation Theory (FCT 2013). 590: 86-95. 2015
• View Publication
• BIB
A homomorphism from a graph G to a graph H is locally bijective, surjective, or injective if its restriction to the neighborhood of every vertex of G is bijective, surjective, or injective, respectively. We prove that the problems of testing whether a given graph G allows a homomorphism to a given graph H that is locally bijective, surjective, or injective, respectively, are NP-complete, even when G has pathwidth at most 5, 4, or 2, respectively, or when both G and H have maximum degree 3. We complement these hardness results by showing that the three problems are polynomial-time solvable if G has bounded treewidth and in addition G or H has bounded maximum degree.
Classification of tight regular polyhedra
Published in Journal of Algebraic Combinatorics, 43 no. 3 (2016), 665-691
• View Publication
• BIB
A regular polyhedron of type {p, q} has at least 2pq flags, and it is called tight if it has exactly 2pq flags. The values of p and q for which there exist tight orientably regular polyhedra were previously known. We determine for which values of p and q there is a tight non-orientably regular polyhedron of type {p, q}. Furthermore, we completely classify tight regular polyhedra in terms of their automorphism groups.