Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Hopf dreams and diagonal harmonics
Published in J. Lond. Math. Soc., 105(3):1546-1600, 2022
• View Publication
• BIB
This paper introduces a Hopf algebra structure on a family of reduced pipe dreams. We show that this Hopf algebra is free and cofree, and construct a surjection onto a commutative Hopf algebra of permutations. The pipe dream Hopf algebra contains Hopf subalgebras with interesting sets of generators and Hilbert series related to subsequences of Catalan numbers. Three other relevant Hopf subalgebras include the Loday-Ronco Hopf algebra on complete binary trees, a Hopf algebra related to a special family of lattice walks on the quarter plane, and a Hopf algebra on $ν$-trees related to $ν$-Tamari lattices. One of this Hopf subalgebras motivates a new notion of Hopf chains in the Tamari lattice, which are used to present applications and conjectures in the theory of multivariate diagonal harmonics.
(Probably) Concave Graph Matching
In this paper we address the graph matching problem. Following the recent works of \cite{zaslavskiy2009path,Vestner2017} we analyze and generalize the idea of concave relaxations. We introduce the concepts of conditionally concave and probably conditionally concave energies on polytopes and show that they encapsulate many instances of the graph matching problem, including matching Euclidean graphs and graphs on surfaces. We further prove that local minima of probably conditionally concave energies on general matching polytopes (e.g., doubly stochastic) are with high probability extreme points of the matching polytope (e.g., permutations).
Lattice paths and branched continued fractions: An infinite sequence of generalizations of the Stieltjes--Rogers and Thron--Rogers polynomials, with coefficientwise Hankel-total positivity
We define an infinite sequence of generalizations, parametrized by an integer $m \ge 1$, of the Stieltjes--Rogers and Thron--Rogers polynomials; they arise as the power-series expansions of some branched continued fractions, and as the generating polynomials for $m$-Dyck and $m$-Schröder paths with height-dependent weights. We prove that all of these sequences of polynomials are coefficientwise Hankel-totally positive, jointly in all the (infinitely many) indeterminates. We then apply this theory to prove the coefficientwise Hankel-total positivity for combinatorially interesting sequences of polynomials. Enumeration of unlabeled ordered trees and forests gives rise to multivariate Fuss--Narayana polynomials and Fuss--Narayana symmetric functions. Enumeration of increasing (labeled) ordered trees and forests gives rise to multivariate Eulerian polynomials and Eulerian symmetric functions, which include the univariate $m$th-order Eulerian polynomials as specializations. We also find branched continued fractions for ratios of contiguous hypergeometric series ${}_r \! F_s$ for arbitrary $r$ and $s$, which generalize Gauss' continued fraction for ratios of contiguous ${}_2 \! F_1$; and for $s=0$ we prove the coefficientwise Hankel-total positivity. Finally, we extend the branched continued fractions to ratios of contiguous basic hypergeometric series ${}_r \! φ_s$.
The Hopf algebra of integer binary relations
Published in Algebraic Combinatorics, Resurgence, Moulds and Applications (CARMA), European Mathematical Society Publishing House, pp.299-344, 2020
• View Publication
• BIB
We construct a Hopf algebra on integer binary relations that contains under the same roof several well-known Hopf algebras related to the permutahedra and the associahedra: the Malvenuto-Reutenauer algebra on permutations, the Loday-Ronco algebra on planar binary trees, and the Chapoton algebras on ordered partitions and on Schröder trees. We also derive from our construction new Hopf structures on intervals of the weak order on permutations and of the Tamari order on binary trees.
Ising model and the positive orthogonal Grassmannian
Published in Duke Math. J. 169, no. 10 (2020), 1877-1942
• View Publication
• BIB
We completely describe by inequalities the set of boundary correlation matrices of planar Ising networks embedded in a disk. Specifically, we build on a recent result of M.~Lis to give a simple bijection between such correlation matrices and points in the totally nonnegative part of the orthogonal Grassmannian, which has been introduced in 2013 in the study of the scattering amplitudes of ABJM theory. We also show that the edge parameters of the Ising model for reduced networks can be uniquely recovered from boundary correlations, solving the inverse problem. Under our correspondence, the Kramers--Wannier high/low temperature duality transforms into the cyclic symmetry of the Grassmannian, and using this cyclic symmetry, we prove that the spaces under consideration are homeomorphic to closed balls.
Crystal structures for symmetric Grothendieck polynomials
Published in Transform. Groups 26(3):1025-1075, 2021
• View Publication
• BIB
The symmetric Grothendieck polynomials representing Schubert classes in the $K$-theory of Grassmannians are generating functions for semistandard set-valued tableaux. We construct a type $A_n$ crystal structure on these tableaux. This crystal yields a new combinatorial formula for decomposing symmetric Grothendieck polynomials into Schur polynomials. For single-columns and single-rows, we give a new combinatorial interpretation of Lascoux polynomials (K-analogs of Demazure characters) by constructing a K-theoretic analog of crystals with an appropriate analog of a Demazure crystal. We relate our crystal structure to combinatorial models using excited Young diagrams, Gelfand-Tsetlin patterns via the $5$-vertex model, and biwords via Hecke insertion to compute symmetric Grothendieck polynomials.
A Three-by-Three matrix representation of a generalized Tribonacci sequence
The Tribonacci sequence is a well-known example of third order recurrence sequence, which belongs to a particular class of recursive sequences. In this article, other generalized Tribonacci sequence is introduced and defined by $H_{n+2}=H_{n+1}+H_{n}+H_{n-1}\ \ (n\geq 1)$, where $H_{0}=3$, $H_{1}=0$ and $H_{2}=2$. Also $n$-th power of the generating matrix for this generalized Tribonacci sequence is established and some basic properties of this sequence are obtained by matrix methods. There are many elementary formulae relating the various $H_{n}$, most of which, since the sequence is defined inductively, are themselves usually proved by induction.
Reddening Sequences for Banff Quivers and the Class $\mathcal{P}$
Published in SIGMA 16 (2020), 049, 11 pages
• View Publication
• BIB
We show that a reddening sequence exists for any quiver which is Banff. Our proof is combinatorial and relies on the triangular extension construction for quivers. The other facts needed are that the existence of a reddening sequence is mutation invariant and passes to induced subquivers. Banff quivers define locally acyclic cluster algebras which are known to coincide with their upper cluster algebras.The existence of reddening sequences for these quivers is consistent with a conjectural relationship between the existence of a reddening sequence and a cluster algebra's equality with its upper cluster algebra.Our result completes a verification of the conjecture for Banff quivers. We also prove that a certain subclass of quivers within the class $\mathcal{P}$ define locally acyclic cluster algebras.
Tractable $n$-Metrics for Multiple Graphs
Graphs are used in almost every scientific discipline to express relations among a set of objects. Algorithms that compare graphs, and output a closeness score, or a correspondence among their nodes, are thus extremely important. Despite the large amount of work done, many of the scalable algorithms to compare graphs do not produce closeness scores that satisfy the intuitive properties of metrics. This is problematic since non-metrics are known to degrade the performance of algorithms such as distance-based clustering of graphs (Stratis and Bento 2018). On the other hand, the use of metrics increases the performance of several machine learning tasks (Indyk et al. 1999, Clarkson et al. 1999, Angiulli et al. 2002, Ackermann et al. 2010). In this paper, we introduce a new family of multi-distances (a distance between more than two elements) that satisfies a generalization of the properties of metrics to multiple elements. In the context of comparing graphs, we are the first to show the existence of multi-distances that simultaneously incorporate the useful property of alignment consistency (Nguyen et al. 2011), and a generalized metric property. Furthermore, we show that these multi-distances can be relaxed to convex optimization problems, without losing the generalized metric property.
Axioms for shifted tableau crystals
Published
• View Publication
• BIB
We give local axioms that uniquely characterize the crystal-like structure on shifted tableaux developed in a previous paper by Gillespie, Levinson, and Purbhoo. These axioms closely resemble those developed by Stembridge for type A tableau crystals. This axiomatic characterization gives rise to a new method for proving and understanding Schur $Q$-positive expansions in symmetric function theory, just as the Stembridge axiomatic structure provides for ordinary Schur positivity.
Algebraic signatures of convex and non-convex codes
Published
• View Publication
• BIB
A convex code is a binary code generated by the pattern of intersections of a collection of open convex sets in some Euclidean space. Convex codes are relevant to neuroscience as they arise from the activity of neurons that have convex receptive fields. In this paper, we use algebraic methods to determine if a code is convex. Specifically, we use the neural ideal of a code, which is a generalization of the Stanley-Reisner ideal. Using the neural ideal together with its standard generating set, the canonical form, we provide algebraic signatures of certain families of codes that are non-convex. We connect these signatures to the precise conditions on the arrangement of sets that prevent the codes from being convex. Finally, we also provide algebraic signatures for some families of codes that are convex, including the class of intersection-complete codes. These results allow us to detect convexity and non-convexity in a variety of situations, and point to some interesting open questions.
On Eisenstein polynomials and zeta polynomials
Published
• View Publication
• BIB
Eisenstein polynomials, which were defined by Oura, are analogues of the concept of an Eisenstein series. Oura conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In this paper, we provide new analogous properties of Eisenstein polynomials and zeta polynomials. These properties are finite analogies of certain properties of Eisenstein series.
The components of the singular locus of a component of a Springer fiber over x^2 = 0
Published
• View Publication
• BIB
For $x\in End(K^n)$ satisfying $x^2 = 0$ let $F_x$ be the variety of full flags stable under the action of $x$ (Springer fiber over $x$). The full classification of the components of $F_x$ according to their smoothness was provided in a paper of Fresse-Melnikov in terms of both Young tableaux and link patterns. Moreover in a paper of Fresse the purely combinatorial algorithm to compute the singular locus of a singular components of $F_x$ is provided. However this algorithm involves the computation of the graph of the component, and the complexity of computations grows very quickly, so that in practice it is impossible to use it. In this paper, we construct another algorithm, derived from the algorithm of Fresse, providing all the components of the singular locus of a singular component of $F_x$ in terms of link patterns constructed straightforwardly from its link pattern.
Finding unavoidable colorful patterns in multicolored graphs
Published in The Electronic Journal of Combinatorics, volume 27, issue 4, #P4.4, September 2020
• View Publication
• BIB
We provide multicolored and infinite generalizations for a Ramsey-type problem raised by Bollobás, concerning colorings of $K_n$ where each color is well-represented. Let $χ$ be a coloring of the edges of a complete graph on $n$ vertices into $r$ colors. We call $χ$ $\varepsilon$-balanced if all color classes have $\varepsilon$ fraction of the edges. Fix some graph $H$, together with an $r$-coloring of its edges. Consider the smallest natural number $R_\varepsilon^r(H)$ such that for all $n\geq R_\varepsilon^r(H)$, all $\varepsilon$-balanced colorings $χ$ of $K_n$ contain a subgraph isomorphic to $H$ in its coloring. Bollobás conjectured a simple characterization of $H$ for which $R_\varepsilon^2(H)$ is finite, which was later proved by Cutler and Montágh. Here, we obtain a characterization for arbitrary values of $r$, as well as asymptotically tight bounds. We also discuss generalizations to graphs defined on perfect Polish spaces, where the corresponding notion of balancedness is each color class being non-meagre.
Polytope volume by descent in the face lattice and applications in social choice
Published
• View Publication
• BIB
We describe the computation of polytope volumes by descent in the face lattice, its implementation in Normaliz, and the connection to reverse-lexicographic triangulations. The efficiency of the algorithm is demonstrated by several high dimensional polytopes of different characteristics. Finally, we present an application to voting theory where polytope volumes appear as probabilities of certain paradoxa.
On the discrete Fuglede and Pompeiu problems
Published in Analysis & PDE 13 (2020) 765-788
• View Publication
• BIB
We investigate the discrete Fuglede's conjecture and Pompeiu problem on finite abelian groups and develop a strong connection between the two problems. We give a geometric condition under which a multiset of a finite abelian group has the discrete Pompeiu property. Using this description and the revealed connection we prove that Fuglede's conjecture holds for $\mathbb{Z}_{p^n q^2}$, where $p$ and $q$ are different primes. In particular, we show that every spectral subset of $\mathbb{Z}_{p^n q^2}$ tiles the group. Further, using our combinatorial methods we give a simple proof for the statement that Fuglede's conjecture holds for $\mathbb{Z}_p^2$.
$P$-Partition Generating Function Equivalence of Naturally Labeled Posets
Published
• View Publication
• BIB
The $P$-partition generating function of a (naturally labeled) poset $P$ is a quasisymmetric function enumerating order-preserving maps from $P$ to $\mathbb{Z}^+$. Using the Hopf algebra of posets, we give necessary conditions for two posets to have the same generating function. In particular, we show that they must have the same number of antichains of each size, as well as the same shape (as defined by Greene). We also discuss which shapes guarantee uniqueness of the $P$-partition generating function and give a method of constructing pairs of non-isomorphic posets with the same generating function.
Bounds for Different Spreads of Line and Total Graphs
Published
• View Publication
• BIB
In this paper we explore some results concerning the spread of the line and the total graph of a given graph. In particular, it is proved that for an $(n,m)$ connected graph $G$ with $m > n \geq 4$ the spread of $G$ is less than or equal to the spread of its line graph, where the equality holds if and only if $G$ is regular bipartite. A sufficient condition for the spread of the graph not be greater than the signless Laplacian spread for a class of non bipartite and non regular graphs is proved. Additionally, we derive an upper bound for the spread of the line graph of graphs on $n$ vertices having a vertex (edge) connectivity less than or equal to a positive integer $k$. Combining techniques of interlacing of eigenvalues, we derive lower bounds for the Laplacian and signless Laplacian spread of the total graph of a connected graph. Moreover, for a regular graph, an upper and lower bound for the spread of its total graph is given.
Properties of 0/1-Matrices of Order n Having Maximum Determinant
Published in Mathematical notes of NEFU, 2019, vol. 26, no 2, pp. 109-115
• View Publication
• BIB
We give some necessary conditions for maximality of $0/1$-determinant. Let ${\bf M}$ be a nondegenerate $0/1$-matrix of order $n$. Denote by $\bf A$ the matrix of order $n+1$ which appears from ${\bf M}$ after adding the $(n+1)$th row $(0,0,\ldots,0,1)$ and the $(n+1)$th column consisting of $1$'s. Suppose ${\bf A}^{-1}=(l_{ij}),$ then for all $i=1,\ldots,n$ we have $\sum_{j=1}^{n+1} |l_{ij}|\geq 2.$ Moreover, if $|\det({\bf M})|$ is equal to the maximum value of a $0/1$-determinant of order $n$, then $\sum_{j=1}^{n+1} |l_{ij}|= 2$ for all $i=1,\ldots,n$.
Keywords: maximum 0/1-deteminant, simplex, cube, axial diameter
The variety of domination games
Domination game [SIAM J.\ Discrete Math.\ 24 (2010) 979--991] and total domination game [Graphs Combin.\ 31 (2015) 1453--1462] are by now well established games played on graphs by two players, named Dominator and Staller. In this paper, Z-domination game, L-domination game, and LL-domination game are introduced as natural companions of the standard domination games.
Versions of the Continuation Principle are proved for the new games. It is proved that in each of these games the outcome of the game, which is a corresponding graph invariant, differs by at most one depending whether Dominator or Staller starts the game. The hierarchy of the five domination games is established. The invariants are also bounded with respect to the (total) domination number and to the order of a graph. Values of the three new invariants are determined for paths up to a small constant independent from the length of a path. Several open problems and a conjecture are listed. The latter asserts that the L-domination game number is not greater than $6/7$ of the order of a graph.