Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Refined dual Grothendieck polynomials, integrability, and the Schur measure
Published
• View Publication
• BIB
We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendieck polynomials and the last passage percolation (LPP) stochastic process discussed by Johansson. By refining algebraic techniques of Johansson, we show Jacobi-Trudi formulas for skew refined dual Grothendieck polynomials conjectured by Grinberg and recover a relation between LPP and the Schur process due to Baik and Rains. Lastly, we extend our vertex model techniques to show some identities for refined Grothendieck polynomials, including a Jacobi-Trudi formula.
A short solution of the kissing number problem in dimension three
Published
• View Publication
• BIB
In this note, we give a short solution of the kissing number problem in dimension three.
Decomposing a triangle-free planar graph into a forest and a subcubic forest
Published
• View Publication
• BIB
We strengthen a result of Dross, Montassier and Pinlou (2017) that the vertex set of every triangle-free planar graph can be decomposed into a set that induces a forest and a set that induces a forest with maximum degree at most $5$, showing that $5$ can be replaced by $3$.
On the Maximum Number of Edges in Hypergraphs with Fixed Matching and Clique Number
Published
• View Publication
• BIB
For a $k$-graph $\mathcal{F}\subset \binom{[n]}{k}$, the clique number of $\mathcal{F}$ is defined to be the maximum size of a subset $Q$ of $[n]$ with $\binom{Q}{k}\subset \mathcal{F}$. In the present paper, we determine the maximum number of edges in a $k$-graph on $[n]$ with matching number at most $s$ and clique number at least $q$ for $n\geq 8k^2s$ and for $q \geq (s+1)k-l$, $n\leq (s+1)k+s/(3k)-l$. Two special cases that $q=(s+1)k-2$ and $k=2$ are solved completely.
On the Real Roots of Domination Polynomials
Published
• View Publication
• BIB
A dominating set $S$ of a graph $G$ of order $n$ is a subset of the vertices of $G$ such that every vertex is either in $S$ or adjacent to a vertex of $S$. The domination polynomial is defined by $D(G,x) = \sum d_k x^k$ where $d_k$ is the number of dominating sets in $G$ with cardinality $k$. In this paper we show that the closure of the real roots of domination polynomials is $(-\infty,0]$.
Kirchhoff's theorem for Prym varieties
Published in Forum of Mathematics, Sigma (2022), Vol. 10:e11 1-54
• View Publication
• BIB
We prove an analogue of Kirchhoff's matrix tree theorem for computing the volume of the tropical Prym variety for double covers of metric graphs. We interpret the formula in terms of a semi-canonical decomposition of the tropical Prym variety, via a careful study of the tropical Abel-Prym map. In particular, we show that the map is harmonic, determine its degree at every cell of the decomposition, and prove that its global degree is $2^{g-1}$. Along the way, we use the Ihara zeta function to provide a new proof of the analogous result for finite graphs. As a counterpart, the appendix by Sebastian Casalaina-Martin shows that the degree of the algebraic Abel-Prym map is $2^{g-1}$ as well.
On the number of even latin squares of even order
We recall the Alon-Tarsi conjecture on the number of even latin squares. We introduce a map which switches the parity of a latin square under certain requirements. An example is included.
Matrix products of binomial coefficients and unsigned Stirling numbers
Published in Proceedings of the 3rd Croatian Combinatorial Days, June 2021
• View Publication
• BIB
We study sums of the form $\sum_{k=m}^n a_{nk} b_{km}$, where $a_{nk}$ and $b_{km}$ are binomial coefficients or unsigned Stirling numbers. In a few cases they can be written in closed form. Failing that, the sums still share many common features: combinatorial interpretations, Pascal-like recurrences, inverse relations with their signed versions, and interpretations as coefficients of change between polynomial bases.
From Hertzsprung's problem to pattern-rewriting systems
Published
• View Publication
• BIB
Drawing on a problem posed by Hertzsprung in 1887, we say that a given permutation $π\in\mathcal{S}_n$ contains the Hertzsprung pattern $σ\in\mathcal{S}_k$ if there is factor $π(d+1)π(d+2)\cdotsπ(d+k)$ of $π$ such that $π(d+1)-σ(1) =\cdots = π(d+k)-σ(k)$. Using a combination of the Goulden-Jackson cluster method and the transfer-matrix method we determine the joint distribution of occurrences of any set of (incomparable) Hertzsprung patterns, thus substantially generalizing earlier results by Jackson et al. on the distribution of ascending and descending runs in permutations. We apply our results to the problem of counting permutations up to pattern-replacement equivalences, and using pattern-rewriting systems -- a new formalism similar to the much studied string-rewriting systems -- we solve a couple of open problems raised by Linton et al. in 2012.
The maximum sum of sizes of cross-intersecting families of subsets of a set
Published
• View Publication
• BIB
A set of sets is called a family. Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-intersecting if each member of $\mathcal{A}$ intersects each member of $\mathcal{B}$. For any two integers $n$ and $k$ with $1 \leq k \leq n$, let ${[n] \choose \leq k}$ denote the family of subsets of $[n] = \{1, \dots, n\}$ that have at most $k$ elements. We show that if $\mathcal{A}$ is a non-empty subfamily of ${[n] \choose \leq r}$, $\mathcal{B}$ is a non-empty subfamily of ${[n] \choose \leq s}$, $r \leq s$, and $\mathcal{A}$ and $\mathcal{B}$ are cross-intersecting, then \[|\mathcal{A}| + |\mathcal{B}| \leq 1 + \sum_{i=1}^s \left({n \choose i} - {n-r \choose i} \right),\] and equality holds if $\mathcal{A} = \{[r]\}$ and $\mathcal{B}$ is the family of sets in ${[n] \choose \leq s}$ that intersect $[r]$.
$r$-fat linearized polynomials over finite fields
Published
• View Publication
• BIB
In this paper we prove that the property of being scattered for a $\mathbb{F}_q$-linearized polynomial of small $q$-degree over a finite field $\mathbb{F}_{q^n}$ is unstable, in the sense that, whenever the corresponding linear set has at least one point of weight larger than one, the polynomial is far from being scattered. To this aim, we define and investigate $r$-fat polynomials, a natural generalization of scattered polynomials. An $r$-fat $\mathbb{F}_q$-linearized polynomial defines a linear set of rank $n$ in the projective line of order $q^n$ with $r$ points of weight larger than one. When $r$ equals $1$, the corresponding linear sets are called clubs, and they are related with a number of remarkable mathematical objects like KM-arcs, group divisible designs and rank metric codes. Using techniques on algebraic curves and global function fields, we obtain numerical bounds for $r$ and the non-existence of exceptional $r$-fat polynomials with $r>0$. In the case $n\leq 4$, we completely determine the spectrum of values of $r$ for which an $r$-fat polynomial exists. In the case $n=5$, we provide a new family of $1$-fat polynomials. Furthermore, we determine the values of $r$ for which the so-called LP-polynomials are $r$-fat.
The structure of generic automorphisms of the random poset
We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an infinite sequence of binary relations which encode the action of the automorphism. We then explicitly characterize generic automorphisms in terms of properties of this structure. Two notable such properties are ultrahomogeneity, and universality for a certain class of finite structures in this language. As this auxiliary structure seems to be new, we also address some model-theoretic questions. In particular, this structure fails to be saturated, and its theory neither is $ω$-categorical nor admits quantifier-elimination, in contrast to many known ultrahomogeneous structures in finite languages. We also examine orbitals -- order-convex hulls of orbits -- and their use in describing automorphisms. In particular, we introduce and use new orders on the space of orbitals.
Maximal discrete sets
Published in Set Theory and Infinity, RIMS Kôkyûroku No.2164, 2019
• Search Publication
We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathcal I$-mad families, maximal eventually different families, and maximal cofinitary groups. We discuss the non-increasing sequence of cardinal characteristics $\mathfrak a_ξ$, for $ξ<ω_1$ as well as the notions of spectra of characteristics and optimal projective witnesses. We give an account of Zhang's forcing to add generic cofinitary permutations, and of a version of this forcing with built-in coding.
Shellable tilings on relative simplicial complexes and their h-vectors
Published
• View Publication
• BIB
An h-tiling on a finite simplicial complex is a partition of its geometric realization by maximal simplices deprived of several codimension one faces together with possibly their remaining face of highest codimension. In this last case, the tiles are said to be critical. An h-tiling thus induces a partitioning of its face poset by closed or semi-open intervals. We prove the existence of h-tilings on every finite simplicial complex after finitely many stellar subdivisions at maximal simplices. These tilings are moreover shellable. We also prove that the number of tiles of each type used by a tiling, encoded by its h-vector, is determined by the number of critical tiles of each index it uses, encoded by its critical vector. In the case of closed triangulated manifolds, these vectors satisfy some palindromic property. We finally study the behavior of tilings under any stellar subdivision.
On Abelian Closures of Infinite Non-binary Words
Two finite words $u$ and $v$ are called abelian equivalent if each letter occurs equally many times in both $u$ and $v$. The abelian closure $\mathcal{A}(\mathbf{x})$ of an infinite word $\mathbf{x}$ is the set of infinite words $\mathbf{y}$ such that, for each factor $u$ of $\mathbf{y}$, there exists a factor $v$ of $\mathbf{x}$ which is abelian equivalent to $u$. The notion of an abelian closure gives a characterization of Sturmian words: among uniformly recurrent binary words, periodic and aperiodic Sturmian words are exactly those words for which $\mathcal{A}(\mathbf{x})$ equals the shift orbit closure $Ω(\mathbf{x})$. Furthermore, for an aperiodic binary word that is not Sturmian, its abelian closure contains infinitely many minimial subshifts. In this paper we consider the abelian closures of well-known families of non-binary words, such as balanced words and minimal complexity words. We also consider abelian closures of general subshifts and make some initial observations of their abelian closures and pose some related open questions.
Matrix patterns with bounded saturation function
A 0-1 matrix $M$ contains a 0-1 matrix pattern $P$ if we can obtain $P$ from $M$ by deleting rows and/or columns and turning arbitrary 1-entries into 0s. The saturation function $\mathrm{sat}(P,n)$ for a 0-1 matrix pattern $P$ indicates the minimum number of 1s in a $n \times n$ 0-1 matrix that does not contain $P$, but changing any 0-entry into a 1-entry creates an occurrence of $P$. Fulek and Keszegh recently showed that the saturation function is either bounded or in $Θ(n)$. Building on their results, we find a large class of patterns with bounded saturation function, including both infinitely many permutation matrices and infinitely many non-permutation matrices.
Topological recursion for Kadomtsev-Petviashvili tau functions of hypergeometric type
Published in Journal of the London Mathematical Society, Volume 109, Issue 6 (2024), e12946
• View Publication
• BIB
We study the $n$-point differentials corresponding to Kadomtsev-Petviashvili tau functions of hypergeometric type (also known as Orlov-Scherbin partition functions), with an emphasis on their $\hbar^2$-deformations and expansions. Under the naturally required analytic assumptions, we prove certain higher loop equations that, in particular, contain the standard linear and quadratic loop equations, and thus imply the blobbed topological recursion. We also distinguish two large families of the Orlov-Scherbin partition functions that do satisfy the natural analytic assumptions, and for these families we prove in addition the so-called projection property and thus the full statement of the Chekhov-Eynard-Orantin topological recursion. A particular feature of our argument is that it clarifies completely the role of $\hbar^2$-deformations of the Orlov-Scherbin parameters for the partition functions, whose necessity was known from a variety of earlier obtained results in this direction but never properly understood in the context of topological recursion. As special cases of the results of this paper one recovers new and uniform proofs of the topological recursion to all previously studied cases of enumerative problems related to weighted double Hurwitz numbers. By virtue of topological recursion and the Grothendieck-Riemann-Roch formula this, in turn, gives new and uniform proofs of almost all ELSV-type formulas discussed in the literature.
On Terwilliger $\mathbb{F}$-algebras of quasi-thin association schemes
Published
• View Publication
• BIB
In [3], Hanaki defined the Terwilliger algebras of association schemes over a commutative unital ring. In this paper, we call the Terwilliger algebras of association schemes over a field $\mathbb{F}$ the Terwilliger $\mathbb{F}$-algebras of association schemes and study the Terwilliger $\mathbb{F}$-algebras of quasi-thin association schemes. As main results, we determine the $\mathbb{F}$-dimensions, the semisimplicity, the Jacobson radicals, and the algebraic structures of the Terwilliger $\mathbb{F}$-algebras of quasi-thin association schemes. We also get some results with independent interests.
Linearized trinomials with maximum kernel
Published
• View Publication
• BIB
Linearized polynomials have attracted a lot of attention because of their applications in both geometric and algebraic areas. Let $q$ be a prime power, $n$ be a positive integer and $σ$ be a generator of $\mathrm{Gal}(\mathbb{F}_{q^n}\colon\mathbb{F}_q)$. In this paper we provide closed formulas for the coefficients of a $σ$-trinomial $f$ over $\mathbb{F}_{q^n}$ which ensure that the dimension of the kernel of $f$ equals its $σ$-degree, that is linearized polynomials with maximum kernel. As a consequence, we present explicit examples of linearized trinomials with maximum kernel and characterize those having $σ$-degree $3$ and $4$. Our techniques rely on the tools developed in [24]. Finally, we apply these results to investigate a class of rank metric codes introduced in [8], to construct quasi-subfield polynomials and cyclic subspace codes, obtaining new explicit constructions to the conjecture posed in [37].
Binomial edge ideals of small depth
Published
• View Publication
• BIB
Let $G$ be a graph on $[n]$ and $J_G$ be the binomial edge ideal of $G$ in the polynomial ring $S=\mathbb{K}[x_1,\ldots,x_n,y_1,\ldots,y_n]$. In this paper we investigate some topological properties of a poset associated to the minimal primary decomposition of $J_G$. We show that this poset admits some specific subposets which are contractible. This in turn, provides some interesting algebraic consequences. In particular, we characterize all graphs $G$ for which $\mathrm{depth}\hspace{1.2mm} S/J_G=4$.