Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Transition formulas for involution Schubert polynomials
Published in Sel. Math. New Ser. 24 (2018) 2991-3025
• View Publication
• BIB
The orbits of the orthogonal and symplectic groups on the flag variety are in bijection, respectively, with the involutions and fixed-point-free involutions in the symmetric group $S_n$. Wyser and Yong have described polynomial representatives for the cohomology classes of the closures of these orbits, which we denote as $\hat{\mathfrak{S}}_y$ (to be called involution Schubert polynomials) and $\hat{\mathfrak{S}}^{\tt FPF}_y$ (to be called fixed-point-free involution Schubert polynomials). Our main results are explicit formulas decomposing the product of $\hat{\mathfrak{S}}_y$ (respectively, $\hat{\mathfrak{S}}^{\tt FPF}_y$) with any $y$-invariant linear polynomial as a linear combination of other involution Schubert polynomials. These identities serve as analogues of Lascoux and Schützenberger's transition formula for Schubert polynomials, and lead to a self-contained algebraic proof of the nontrivial equivalence of several definitions of $\hat{\mathfrak{S}}_y$ and $\hat{\mathfrak{S}}^{\tt FPF}_y$ appearing in the literature. Our formulas also imply combinatorial identities about involution words, certain variations of reduced words for involutions in $S_n$. We construct operators on involution words based on the Little map to prove these identities bijectively. The proofs of our main theorems depend on some new technical results, extending work of Incitti, about covering relations in the Bruhat order of $S_n$ restricted to involutions.
Groups whose locally maximal product-free sets are complete
Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is product-free if $S \cap SS = \emptyset$, and complete if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a strictly larger product-free set. If $S$ is product-free and complete then $S$ is locally maximal, but the converse does not necessarily hold. Street and Whitehead [J. Combin. Theory Ser. A 17 (1974), 219--226] defined a group $G$ as filled if every locally maximal product-free set $S$ in $G$ is complete (the term comes from their use of the phrase `$S$ fills $G$' to mean $S$ is complete). They classified all abelian filled groups, and conjectured that the finite dihedral group of order $2n$ is not filled when $n=6k+1$ ($k\geq 1$). The conjecture was disproved by two of the current authors in [Austral. J. Combin. 63 (3) (2015), 385--398], where we also classified the filled groups of odd order. In this paper we classify filled dihedral groups, filled nilpotent groups and filled groups of order $2^np$ where $p$ is an odd prime. We use these results to determine all filled groups of order up to 2000.
Zero-divisor graphs of lower dismantlable lattices-II
Published
• View Publication
• BIB
In this paper, we continue our study of the zero-divisor graphs of lower dismantlable lattices that was started in [20]. The present paper mainly deals with an Isomorphism Problem for the zero-divisor graphs of lattices. In fact, we prove that the zero-divisor graphs of lower dismantlable lattices with the greatest element 1 as join-reducible are isomorphic if and only if the lattices are isomorphic.
Thoroughly Distributed Colorings
Published
• View Publication
• BIB
We consider (not necessarily proper) colorings of the vertices of a graph where every color is thoroughly distributed, that is, appears in every open neighborhood. Equivalently, every color is a total dominating set. We define $\td(G)$ as the maximum number of colors in such a coloring and $\FTD(G)$ as the fractional version thereof. In particular, we show that every claw-free graph with minimum degree at least~$2$ has~$\FTD(G)\ge 3/2$ and this is best possible. For planar graphs, we show that every triangular disc has $\FTD(G) \ge 3/2$ and this is best possible, and that every planar graph has $\td(G) \le 4$ and this is best possible, while we conjecture that every planar triangulation has $\td(G)\ge 2$. Further, although there are arbitrarily large examples of connected, cubic graphs with $\td(G)=1$, we show that for a connected cubic graph $\FTD(G) \ge 2-o(1)$, and conjecture that it is always at least~$2$. We also consider the related concepts in hypergraphs.
Strong factorization property of Macdonald polynomials and higher-order Macdonald's positivity conjecture
Published in J. Algebraic Combin., 46 (1), 135-163, 2017
• View Publication
• BIB
We prove a strong factorization property of interpolation Macdonald polynomials when $q$ tends to $1$. As a consequence, we show that Macdonald polynomials have a strong factorization property when $q$ tends to $1$, which was posed as an open question in our previous paper with Féray. Furthermore, we introduce multivariate $q,t$-Kostka numbers and we show that they are polynomials in $q,t$ with integer coefficients by using the strong factorization property of Macdonald polynomials. We conjecture that multivariate $q,t$-Kostka numbers are in fact polynomials in $q,t$ with nonnegative integer coefficients, which generalizes the celebrated Macdonald's positivity conjecture.
Roundness of grains in cellular microstructures
Published in Phys. Rev. E 96, 023001 (2017)
• View Publication
• BIB
Many physical systems are composed of polyhedral cells of varying sizes and shapes. These structures are simple in the sense that no more than three faces meet at an edge and no more than four edges meet at a vertex. This means that individual cells can usually be considered as simple, three-dimensional polyhedra. This paper is concerned with determining the distribution of combinatorial types of such polyhedral cells. We introduce the terms \emph{fundamental} and \emph{vertex-truncated} types and apply these concepts to the grain growth microstructure as a testing ground. For these microstructures we demonstrate that most grains are of particular fundamental types, whereas the frequency of vertex-truncated types decreases exponentially with the number of truncations. This can be explained by the evolutionary process through which grain growth structures are formed, and in which energetically unfavorable surfaces are quickly eliminated. Furthermore, we observe that these grain types are `round' in a combinatorial sense: there are no `short' separating cycles that partition the polyhedra into two parts of similar sizes. A particular microstructure derived from the Poisson--Voronoi initial condition is identified as containing an unusually large proportion of round grains. This Round microstructure has an average of $14.036$ faces per grain, and is conjectured to be more resistant to topological change than the steady-state grain growth microstructure.
Independent sets in the union of two Hamiltonian cycles
Published
• View Publication
• BIB
Motivated by a question on the maximal number of vertex disjoint Schrijver graphs in the Kneser graph, we investigate the following function, denoted by $f(n,k)$: the maximal number of Hamiltonian cycles on an $n$ element set, such that no two cycles share a common independent set of size more than $k$. We shall mainly be interested in the behavior of $f(n,k)$ when $k$ is a linear function of $n$, namely $k=cn$. We show a threshold phenomenon: there exists a constant $c_t$ such that for $c<c_t$, $f(n,cn)$ is bounded by a constant depending only on $c$ and not on $n$, and for $c_t <c$, $f(n,cn)$ is exponentially large in $n ~(n \to \infty)$. We prove that $0.26 < c_t < 0.36$, but the exact value of $c_t$ is not determined. For the lower bound we prove a technical lemma, which for graphs that are the union of two Hamiltonian cycles establishes a relation between the independence number and the number of $K_4$ subgraphs. A corollary of this lemma is that if a graph $G$ on $n>12$ vertices is the union of two Hamiltonian cycles and $α(G)=n/4$, then $V(G)$ can be covered by vertex-disjoint $K_4$ subgraphs.
A business dinner problem
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, 97, 173-188, 2016
• Search Publication
We are given suppliers and customers, and a set of tables. Every evening of the forthcoming days, there will be a dinner. Each customer must eat with each supplier exactly once, but two suppliers may meet at most once at a table. The number of customers and the number of suppliers who can sit together at a table are bounded above by fixed parameters. What is the minimum number of evenings to be scheduled in order to reach this objective? This question was submitted by a firm to the Junior company of a French engineering school some years ago. Lower and upper bounds are given in this paper, as well as proven optimal solutions with closed-form expressions for some cases.
Optimal line packings from nonabelian groups
Published
• View Publication
• BIB
We use group schemes to construct optimal packings of lines through the origin. In this setting, optimal line packings are naturally characterized using representation theory, which in turn leads to a necessary integrality condition for the existence of equiangular central group frames. We conclude with an infinite family of optimal line packings using the group schemes associated with certain Suzuki 2-groups, specifically, extensions of Heisenberg groups. Notably, this is the first known infinite family of equiangular tight frames generated by representations of nonabelian groups.
A Sharp Threshold for Spanning 2-Spheres in Random 2-Complexes
Published
• View Publication
• BIB
A Hamiltonian cycle in a graph is a spanning subgraph that is homeomorphic to a circle. With this in mind, it is natural to define a Hamiltonian d-sphere in a d-dimensional simplicial complex as a spanning subcomplex that is homeomorphic to a d-dimensional sphere.
We consider the Linial-Meshulam model for random simplicial complexes, and prove that there is a sharp threshold at $p=\sqrt{\frac{e}{γn}}$ for the appearance of a Hamiltonian $2$-sphere in a random $2$-complex, where $γ= 4^4/3^3$.
Algebraic functions with Fermat property, eigenvalues of transfer operator and Riemann zeros, and other open problems
In this note we list a number of open problems in the fields of number theory, combinatorics, and representation theory: algebraic functions with Fermat property; power product expansion of the generating function for the partition function; relation between the non-trivial Riemann zeros and eigenvalues of the transfer operator; functional equation related to norm forms; two problems from geometric combinatorics; a problem on the moments of the Minkowski question mark function; a question in representation theory; a problem on interpolating the moments of the Stern's diatomic sequence; an arithmetic properties of the binary composition function.
Codes for distributed storage from 3-regular graphs
Published
• View Publication
• BIB
This paper considers distributed storage systems (DSSs) from a graph theoretic perspective. A DSS is constructed by means of the path decomposition of a 3- regular graph into P4 paths. The paths represent the disks of the DSS and the edges of the graph act as the blocks of storage. We deduce the properties of the DSS from a related graph and show their optimality.
The gap of Fredkin quantum spin chain is polynomially small
Published in Annals of Mathematical Sciences and Applications, Vol. 3 No. 2, pp. 531-562 (2018)
• View Publication
• BIB
We prove a new result on the spectral gap and mixing time of a Markov chain with Glauber dynamics on the space of Dyck paths (i.e., Catalan paths) and their generalization, which we call colored Dyck paths. The proof uses the comparison theorem of Diaconis and Saloff-Coste and our previous results.
Let $2n$ be the number of spins. We prove that the gap of the Fredkin quantum spin chain Hamiltonian [6, 20], is $Θ(n^{-c})$ with $c\ge2$. Our results on the spectral gap of the Markov chain are used to prove a lower bound of $O(n^{-15/2})$ on the energy of first excited state above the ground state of the Fredkin quantum spin chain. We prove an upper bound of $O(n^{-2})$ using the universality of Brownian motion and convergence of Dyck random walks to Brownian excursions. Lastly, the 'unbalanced' ground state energies are proved to be polynomially small in $n$ by mapping the Hamiltonian to an effective hopping Hamiltonian with next nearest neighbor interactions and analytically solving its ground state.
A linear programming based heuristic framework for min-max regret combinatorial optimization problems with interval costs
Published
• View Publication
• BIB
This work deals with a class of problems under interval data uncertainty, namely interval robust-hard problems, composed of interval data min-max regret generalizations of classical NP-hard combinatorial problems modeled as 0-1 integer linear programming problems. These problems are more challenging than other interval data min-max regret problems, as solely computing the cost of any feasible solution requires solving an instance of an NP-hard problem. The state-of-the-art exact algorithms in the literature are based on the generation of a possibly exponential number of cuts. As each cut separation involves the resolution of an NP-hard classical optimization problem, the size of the instances that can be solved efficiently is relatively small. To smooth this issue, we present a modeling technique for interval robust-hard problems in the context of a heuristic framework. The heuristic obtains feasible solutions by exploring dual information of a linearly relaxed model associated with the classical optimization problem counterpart. Computational experiments for interval data min-max regret versions of the restricted shortest path problem and the set covering problem show that our heuristic is able to find optimal or near-optimal solutions and also improves the primal bounds obtained by a state-of-the-art exact algorithm and a 2-approximation procedure for interval data min-max regret problems.
The Hamilton-Waterloo problem with C8-factors and Cm-factors
Published
• View Publication
• BIB
In this paper, we almost completely solve the Hamilton-Waterloo problem with C8- factors and Cm-factors where the number of vertices is a multiple of 8m.
Spectral atoms of unimodular random trees
Published
• View Publication
• BIB
We use the Mass Transport Principle to analyze the local recursion governing the resolvent $(A-z)^{-1}$ of the adjacency operator of unimodular random trees. In the limit where the complex parameter $z$ approaches a given location $λ$ on the real axis, we show that this recursion induces a decomposition of the tree into finite blocks whose geometry directly determines the spectral mass at $λ$. We then exploit this correspondence to obtain precise information on the pure-point support of the spectrum, in terms of expansion properties of the tree. In particular, we deduce that the pure-point support of the spectrum of any unimodular random tree with minimum degree $δ\ge 3$ and maximum degree $Δ$ is restricted to finitely many points, namely the eigenvalues of trees of size less than $\frac{Δ-2}{δ-2}$. More generally, we show that the restriction $δ\ge 3$ can be weakened to $δ\ge 2$, as long as the anchored isoperimetric constant of the tree remains bounded away from $0$. This applies in particular to any unimodular Galton-Watson tree without leaves, allowing us to settle a conjecture of Bordenave, Sen and Virág (2013).
On the combinatorics of commutators of Lie algebras
Published
• View Publication
• BIB
Motivated by the combinatorial properties of products in Lie algebras, we investigate the subset of permutations that naturally appears when we write the long commutator $[x_1, x_2, ..., x_m]$ as a sum of associative monomials. We characterize this subset and find some useful equivalences. Moreover, we explore properties concerning the action of this subset on sequences of m elements. In particular we describe sequences that share some special symmetries which can be useful in the study of combinatorial properties in graded Lie algebras.
Maximizing the Strong Triadic Closure in Split Graphs and Proper Interval Graphs
Published
• View Publication
• BIB
In social networks the {\sc Strong Triadic Closure} is an assignment of the edges with strong or weak labels such that any two vertices that have a common neighbor with a strong edge are adjacent. The problem of maximizing the number of strong edges that satisfy the strong triadic closure was recently shown to be NP-complete for general graphs. Here we initiate the study of graph classes for which the problem is solvable. We show that the problem admits a polynomial-time algorithm for two unrelated classes of graphs: proper interval graphs and trivially-perfect graphs. To complement our result, we show that the problem remains NP-complete on split graphs, and consequently also on chordal graphs. Thus we contribute to define the first border between graph classes on which the problem is polynomially solvable and on which it remains NP-complete.
Local and Union Boxicity
The boxicity $\operatorname{box}(H)$ of a graph $H$ is the smallest integer $d$ such that $H$ is the intersection of $d$ interval graphs, or equivalently, that $H$ is the intersection graph of axis-aligned boxes in $\mathbb{R}^d$. These intersection representations can be interpreted as covering representations of the complement $H^c$ of $H$ with co-interval graphs, that is, complements of interval graphs. We follow the recent framework of global, local and folded covering numbers (Knauer and Ueckerdt, Discrete Mathematics 339 (2016)) to define two new parameters: the local boxicity $\operatorname{box}_\ell(H)$ and the union boxicity $\overline{\operatorname{box}}(H)$ of $H$. The union boxicity of $H$ is the smallest $d$ such that $H^c$ can be covered with $d$ vertex-disjoint unions of co-interval graphs, while the local boxicity of $H$ is the smallest $d$ such that $H^c$ can be covered with co-interval graphs, at most $d$ at every vertex.
We show that for every graph $H$ we have $\operatorname{box}_\ell(H) \leq \overline{\operatorname{box}}(H) \leq \operatorname{box}(H)$ and that each of these inequalities can be arbitrarily far apart. Moreover, we show that local and union boxicity are also characterized by intersection representations of appropriate axis-aligned boxes in $\mathbb{R}^d$. We demonstrate with a few striking examples, that in a sense, the local boxicity is a better indication for the complexity of a graph, than the classical boxicity.
Hilbert schemes of points on some classes of surface singularities
Published
• View Publication
• BIB
We study the geometry and topology of Hilbert schemes of points on the orbifold surface [C^2/G], respectively the singular quotient surface C^2/G, where G is a finite subgroup of SL(2,C) of type A or D. We give a decomposition of the (equivariant) Hilbert scheme of the orbifold into affine space strata indexed by a certain combinatorial set, the set of Young walls. The generating series of Euler characteristics of Hilbert schemes of points of the singular surface of type A or D is computed in terms of an explicit formula involving a specialized character of the basic representation of the corresponding affine Lie algebra; we conjecture that the same result holds also in type E. Our results are consistent with known results for type A, and are new for type D. The crystal basis theory of the fundamental representation of the affine Lie algebra corresponding to the surface singularity (via the McKay correspondence) plays an important role in our approach. The result gives a generalization of Göttsche's formula and has interesting modular properties related to the S-duality conjecture.
The moduli space of torsion free sheaves on surfaces are higher rank analogs of the Hilbert schemes. In type A our results reveal their Euler characteristic generating function as well. Another very interesting class of normal surface singularities is the so-called cyclic quotient singularities of type (p,1). As an outlook we also obtain some results about the associated generating functions.