Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Extreme lattices and vexillar designs
Published
• View Publication
• BIB
We define a notion of vexillar design for the flag variety in the spirit of the spherical designs introduced by Delsarte, Goethals and Seidel. For a finite subgroup of the orthogonal group, we explain how conditions on the group have the orbits of any flag under the group action be a design and point out why the minima of a lattice in the sense of the general Hermite constant forming a 4-design implies being extreme. The reasoning proves useful to show the extremality of many new expected examples ($E_8$, $\La_{24}$, Barnes-Wall lattices, Thompson-Smith lattice for instance) that were out of reach until now.
On Group bijections $φ$ with $φ(B)=A$ and $\forall a\in B, aφ(a) \notin A$
A {\em Wakeford pairing} from $S$ onto $T$ is a bijection $φ: S \to T$ such that $xφ(x)\notin T,$ for every $x\in S.$ The number of such pairings will be denoted by $μ(S,T)$.
Let $A$ and $ B$ be finite subsets of a group $G$ with $1\notin B$ and $|A|=|B|.$ Also assume that the order of every element of $B$ is $\ge |B|$. Extending results due to Losonczy and Eliahou-Lecouvey, we show that $μ(B,A)\neq 0.$ Moreover we show that $μ(B,A)\ge \min \{\frac{||B|+1}{3},\frac{|B|(q-|B|-1)}{2q-|B|-4}\},$ unless there is $a\in A$ such that $|Aa^{-1}\cap B|=|B|-1$ or $Aa^{-1}$ is a progression. In particular, either $μ(B,B) \ge \min \{\frac{||B|+1}{3},\frac{|B|(q-|B|-1)}{2q-|B|-4}\},$ or for some $a\in B,$ $Ba^{-1}$ is a progression.
On sums and products in C[x]
Published
• View Publication
• BIB
We show that under the assumption of a 24-term version of Fermat's Last Theorem, there exists an absolute constant c > 0 such that if S is a set of n > n_0 positive integers satisfying |S.S| < n^(1+c), then the sumset S.S satisfies |S+S| >> n^2. In other words, we prove a weak form of the Erdos-Szemeredi sum-product conjecture, conditional on an extension of Fermat's Last Theorem. Unconditionally, we prove this theorem for when S is a set of n monic polynomials. We also prove an analogue of a theorem of Bourgain and Chang for the ring C[x].
A characterization of well-founded algebraic lattices
Published
• View Publication
• BIB
We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$, the join-semilattice of compact elements of $L$, is well-founded and contains neither $[ω]^{<ω}$, nor $\underlineΩ(ω^*)$ as a join-subsemilattice. As an immediate corollary, we get that an algebraic modular lattice $L$ is well-founded if and only if $K(L)$ is well-founded and contains no infinite independent set. If $K(L)$ is a join-subsemilattice of $I_{<ω}(Q)$, the set of finitely generated initial segments of a well-founded poset $Q$, then $L$ is well-founded if and only if $K(L)$ is well-quasi-ordered.
Some algebraic properties of hypergraphs
Published in Czechoslovak mathematical journal Vol. 61 (3), 2011, pp. 577-607
• View Publication
• BIB
We consider Stanley--Reisner rings $k[x_1,...,x_n]/I(\mc{H})$ where $I(\mc{H})$ is the edge ideal associated to some particular classes of hypergraphs. For instance, we consider hypergraphs that are natural generalizations of graphs that are lines and cycles, and for these we compute the Betti numbers. We also generalize upon some known results about chordal graphs and study a weak form of shellability.
A note on regular Ramsey graphs
Published in Journal of Graph Theory, 64 (3):244--249, 2010
• View Publication
• BIB
We prove that there is an absolute constant $C>0$ so that for every natural $n$ there exists a triangle-free \emph{regular} graph with no independent set of size at least $C\sqrt{n\log n}$.
Rooted trees and symmetric functions: Zhao's homomorphism and the commutative hexagon
Published in in Vertex Operator Algebras and Related Areas, M. Bergvelt et. al. (eds.), AMS, Providence, 2009, pp. 85-95
• View Publication
• BIB
Recent work on perturbative quantum field theory has led to much study of the Connes-Kreimer Hopf algebra. Its (graded) dual, the Grossman-Larson Hopf algebra of rooted trees, had already been studied by algebraists. L. Foissy introduced a noncommutative version of the Connes-Kreimer Hopf algebra, which turns out to be self-dual. Using some homomorphisms defined by the author and W. Zhao, we describe a commutative diagram that relates the aforementioned Hopf algebras to each other and to the Hopf algebras of symmetric functions, noncommutative symmetric functions, and quasi-symmetric functions.
Van der Waerden's Theorem and Avoidability in Words
Published
• View Publication
• BIB
Pirillo and Varricchio, and independently, Halbeisen and Hungerbuhler considered the following problem, open since 1994: Does there exist an infinite word w over a finite subset of Z such that w contains no two consecutive blocks of the same length and sum? We consider some variations on this problem in the light of van der Waerden's theorem on arithmetic progressions.
Non-crossing linked partitions and multiplication of free random variables
The material gives a new combinatorial proof of the multiplicative property of the S-transform. In particular, several properties of the coefficients of its inverse are connected to non-crossing linked partitions and planar trees.
A locally finite tree that behaves like an infinite star
We construct a tree T of maximal degree 3 with infinitely many leaves such that whenever finitely many of them are removed, the remaining tree is isomorphic to T. In this sense T resembles an infinite star.
A local branching heuristic for MINLPs
Local branching is an improvement heuristic, developed within the context of branch-and-bound algorithms for MILPs, which has proved to be very effective in practice. For the binary case, it is based on defining a neighbourhood of the current incumbent solution by allowing only a few binary variables to flip their value, through the addition of a local branching constraint. The neighbourhood is then explored with a branch-and-bound solver. We propose a local branching scheme for (nonconvex) MINLPs which is based on iteratively solving MILPs and NLPs. Preliminary computational experiments show that this approach is able to improve the incumbent solution on the majority of the test instances, requiring only a short CPU time. Moreover, we provide algorithmic ideas for a primal heuristic whose purpose is to find a first feasible solution, based on the same scheme.
The length of chains in algebraic lattices
Published
• View Publication
• BIB
We study how the existence in an algebraic lattice $L$ of a chain of a given type is reflected in the join-semilattice $K(L)$ of its compact elements. We show that for every chain $α$ of size $κ$, there is a set $\B$ of at most $2^κ$ join-semilattices, each one having a least element such that an algebraic lattice $L$ contains no chain of order type $I(α)$ if and only if the join-semilattice $K(L)$ of its compact elements contains no join-subsemilattice isomorphic to a member of $\B$. We show that among the join-subsemilattices of $[ω]^{<ω}$ belonging to $\B$, one is embeddable in all the others. We conjecture that if $α$ is countable, there is a finite set $\B$.
The number of elements in the mutation class of a quiver of type $D_n$
Published
• View Publication
• BIB
We show that the number of quivers in the mutation class of a quiver of Dynkin type $D_n$ is given by $\sum_{d|n} φ(n/d)\binom{2d}{d}/(2n)$ for $n \geq 5$. To obtain this formula, we give a correspondence between the quivers in the mutation class and certain rooted trees.
'Fair' Partitions of Polygons - an Introduction
Published in Proceedings of the Indian Academy of Sciences Mathematical Sciences Vol 122, No. 3, pages 459-467, 2012
• View Publication
• BIB
We address the question: Given a positive integer $N$, can any 2D convex polygonal region be partitioned into $N$ convex pieces such that all pieces have the same area and same perimeter? The answer to this question is easily `yes' for $N$=2. We prove the answer to be `yes' for $N$=4 and also discuss higher powers of 2.
Branching rules in the ring of superclass functions of unipotent upper-triangular matrices
Published
• View Publication
• BIB
It is becoming increasingly clear that the supercharacter theory of the finite group of unipotent upper-triangular matrices has a rich combinatorial structure built on set-partitions that is analogous to the partition combinatorics of the classical representation theory of the symmetric group. This paper begins by exploring a connection to the ring of symmetric functions in non-commuting variables that mirrors the symmetric group's relationship with the ring of symmetric functions. It then also investigates some of the representation theoretic structure constants arising from the restriction, tensor products and superinduction of supercharacters in this context.
Combinatorial study on the group of parity alternating permutations
Published
• View Publication
• BIB
The combinatorial theory for the set of parity alternating permutations is expounded. In view of the numbers of ascents and inversions, several enumerative aspects of the set are investigated. In particular, it is shown that signed Eulerian numbers have intimate relationships to the set.
Inverse zero-sum problems in finite Abelian p-groups
Published in Colloquium Mathematicum 120 (2010) 7-21
• View Publication
• BIB
In this paper, we study the minimal number of elements of maximal order within a zero-sumfree sequence in a finite Abelian p-group. For this purpose, in the general context of finite Abelian groups, we introduce a new number, for which lower and upper bounds are proved in the case of finite Abelian p-groups. Among other consequences, the method that we use here enables us to show that, if we denote by exp(G) the exponent of the finite Abelian p-group G which is considered, then a zero-sumfree sequence S with maximal possible length in G must contain at least exp(G)-1 elements of maximal order, which improves a previous result of W. Gao and A. Geroldinger.
The Maximum of the Maximum Rectilinear Crossing Numbers of d-regular Graphs of Order n
Published
• View Publication
• BIB
We extend known results regarding the maximum rectilinear crossing number of the cycle graph (C_n) and the complete graph (K_n) to the class of general d-regular graphs R_{n,d}. We present the generalized star drawings of the d-regular graphs S_{n,d} of order n where n+d= 1 mod 2 and prove that they maximize the maximum rectilinear crossing numbers. A star-like drawing of S_{n,d} for n = d = 0 mod 2 is introduced and we conjecture that this drawing maximizes the maximum rectilinear crossing numbers, too. We offer a simpler proof of two results initially proved by Furry and Kleitman as partial results in the direction of this conjecture.
Trek separation for Gaussian graphical models
Published in Annals of Statistics 2010, Vol. 38, No. 3, 1665-1685
• View Publication
• BIB
Gaussian graphical models are semi-algebraic subsets of the cone of positive definite covariance matrices. Submatrices with low rank correspond to generalizations of conditional independence constraints on collections of random variables. We give a precise graph-theoretic characterization of when submatrices of the covariance matrix have small rank for a general class of mixed graphs that includes directed acyclic and undirected graphs as special cases. Our new trek separation criterion generalizes the familiar $d$-separation criterion. Proofs are based on the trek rule, the resulting matrix factorizations and classical theorems of algebraic combinatorics on the expansions of determinants of path polynomials.
Program for calculating bounds on the minimum rank of a graph using Sage
The minimum rank of a simple graph $G$ is defined to be the smallest possible rank over all symmetric real matrices whose $ij$th entry (for $i\neq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. Minimum rank is a difficult parameter to compute. However, there are now a number of known reduction techniques and bounds that can be programmed on a computer; we have developed a program using the open-source mathematics software Sage to implement several techniques. In this note, we provide the source code for this program.