Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On the Fine Interior of Three-dimensional Canonical Fano Polytopes
Published in "Interactions with Lattice Polytopes", Springer, 2022, pp. 11-47
• View Publication
• BIB
The Fine interior $Δ^{\text{FI}}$ of a $d$-dimensional lattice polytope $Δ$ is a rational subpolytope of $Δ$ which is important for constructing minimal birational models of non-degenerate hypersurfaces defined by Laurent polynomials with Newton polytope $Δ$. This paper presents some computational results on the Fine interior of all $674,\!688$ three-dimensional canonical Fano polytopes.
On Yoshinaga's arrangement of lines and the containment problem
The main purpose of the note is to show that Yoshinaga's arrangement of $18$ lines having $48$ triple and $9$ double intersection points leads to a new (short) series of non-containment examples for $I^{(3)} \subset I^{2}$, the question studied by Harbourne and Huneke.
Combinatorial generation via permutation languages. II. Lattice congruences
Published
• View Publication
• BIB
This paper deals with lattice congruences of the weak order on the symmetric group, and initiates the investigation of the cover graphs of the corresponding lattice quotients. These graphs also arise as the skeleta of the so-called quotientopes, a family of polytopes recently introduced by Pilaud and Santos [Bull. Lond. Math. Soc., 51:406-420, 2019], which generalize permutahedra, associahedra, hypercubes and several other polytopes. We prove that all of these graphs have a Hamilton path, which can be computed by a simple greedy algorithm. This is an application of our framework for exhaustively generating various classes of combinatorial objects by encoding them as permutations. We also characterize which of these graphs are vertex-transitive or regular via their arc diagrams, give corresponding precise and asymptotic counting results, and we determine their minimum and maximum degrees. Moreover, we investigate the relation between lattice congruences of the weak order and pattern-avoiding permutations.
On piecewise-linear homeomorphisms between distributive and anti-blocking polyhedra
Published
• View Publication
• BIB
Stanley (1986) introduced the order polytope and chain polytope of a partially ordered set and showed that they are related by a piecewise-linear homeomorphism. In this paper we view order and chain polytopes as instances of distributive and anti-blocking polytopes, respectively. Both these classes of polytopes are defined in terms of the componentwise partial order on $\mathbb R^n$. We generalize Stanley's PL-homeomorphism to a large class of distributive polyhedra using infinite walks in marked networks.
Cores and quotients of partitions through the Frobenius symbol
Published
• View Publication
• BIB
The Frobenius symbol was first introduced in 1900 by Frobenius as a way to encode an integer partition. In 1941, motivated by the modular representation theory of the symmetric group, Nakayama introduced the idea of a p-core partition, for p prime, using hook removals. In the following decade, Robinson, Littlewood, Staal and Farahat codified the $p$-quotient of such a partition, using variations of the star diagram. Since the 1970s, the convention has been to build up the theory of both core and quotients with the abacus construction, first introduced by G. James. In this paper we return to the earlier point of view. First we show that, for any positive integer t, the t-core and t-quotient of an integer partition can be directly obtained from its Frobenius symbol. The argument also works in the opposite direction: that is, given the Frobenius symbol of a t-core and a $t$-tuple of Frobenius symbols, one can recover the Frobenius symbol of the corresponding partition. One immediate application is the calculation of the Durfee number of the associated partition from the Frobenius symbols of the core and quotient. In 1991, J. Scopes gathered together the $p$-core partitions into families to prove that Donovan's conjecture holds for the symmetric groups at the prime p. We describe, using our methods, the action of the affine Weyl group W_p of type $A$ on Frobenius symbols, and use this to parametrize and compute the explicit number of Scopes families. In particular we enumerate both the infinite and finite Scopes families. Core partitions have also attracted recent interest in number theory. By constructing explicit and combinatorial bijections, we revisit some well-known identities originally obtained using sophisticated methods. We end with a close study of the relationship between certain hooks in the quotient and certain hooks in the associated partition.
Projections of antichains
Published in Electron. J. Comb. 27 (2020), P1.54
• View Publication
• BIB
A subset $A$ of $\mathbb{Z}^n$ is called a weak antichain if it does not contain two elements $x$ and $y$ satisfying $x_i<y_i$ for all $i$. Engel, Mitsis, Pelekis and Reiher showed that for any weak antichain $A$, the sum of the sizes of its $(n-1)$-dimensional projections must be at least as large as its size $|A|$. They asked what the smallest possible value of the gap between these two quantities is in terms of $|A|$. We answer this question by giving an explicit weak antichain attaining this minimum for each possible value of $|A|$. In particular, we show that sets of the form $A_N=\{x\in\mathbb{Z}^n: 0\leq x_j\leq N-1$ for all $j$ and $x_i=0$ for some $i\}$ minimise the gap among weak antichains of size $|A_N|$.
The r-central factorial numbers with even indices
Published
• View Publication
• BIB
In this paper, we introduce the $r$-central factorial numbers with even indices of the first and second kind, as extended versions of the central factorial numbers with even indices of both kinds. We obtain several fundamental properties and identities related to these numbers. We show that the unsigned $r$-central factorial numbers with even indices of the first kind are strictly log-concave and Poisson-binomially distributed . Finally, we consider the $r$-central factorial matrices and the factorization of it.
Extended Formulations for Stable Set Polytopes of Graphs Without Two Disjoint Odd Cycles
Published
• View Publication
• BIB
Let $G$ be an $n$-node graph without two disjoint odd cycles. The algorithm of Artmann, Weismantel and Zenklusen (STOC'17) for bimodular integer programs can be used to find a maximum weight stable set in $G$ in strongly polynomial time. Building on structural results characterizing sufficiently connected graphs without two disjoint odd cycles, we construct a size-$O(n^2)$ extended formulation for the stable set polytope of $G$.
Standard complexes of matroids and lattice paths
Motivated by Gröbner basis theory for finite point configurations, we define and study the class of "standard complexes" associated to a matroid. Standard complexes are certain subcomplexes of the independence complex that are invariant under matroid duality. For the lexicographic term order, the standard complexes satisfy a deletion-contraction-type recurrence. We explicitly determine the lexicographic standard complexes for lattice path matroids using classical bijective combinatorics.
An Erdős--Fuchs Theorem for Ordered Representation Functions
Published
• View Publication
• BIB
Let $k\geq 2$ be a positive integer. We study concentration results for the ordered representation functions $r^{\leq}_k(A,n) = \# \big\{ (a_1 \leq \dots \leq a_k) \in A^k : a_1+\dots+a_k = n \big\}$ and $r^{<}_k(A,n) = \# \big\{ (a_1 < \dots < a_k) \in A^k : a_1+\dots+a_k = n \big\}$ for any infinite set of non-negative integers $A$. Our main theorem is an Erdős--Fuchs-type result for both functions: for any $c > 0$ and $\star \in \{\leq,<\}$ we show that $$\sum_{j = 0}^{n} \Big( r^{\star}_k(A,j) - c \Big) = o\big(n^{1/4} \log^{-1/2}n \big)$$ is not possible. We also show that the mean squared error $$E^\star_{k,c}(A,n)=\frac{1}{n} \sum_{j = 0}^{n} \Big( r^{\star}_k(A,j) - c \Big)^2$$ satisfies $\limsup_{n \to \infty} E^\star_{k,c}(A,n)>0$. These results extend two theorems for the non-ordered representation function proved by Erdős and Fuchs in the case of $k=2$ (J. of the London Math. Society 1956).
The diameter of uniform spanning trees in high dimensions
Published
• View Publication
• BIB
We show that the diameter of a uniformly drawn spanning tree of a connected graph on $n$ vertices which satisfies certain high-dimensionality conditions typically grows like $Θ(\sqrt{n})$. In particular this result applies to expanders, finite tori $\mathbb{Z}_m^d$ of dimension $d \geq 5$, the hypercube $\{0,1\}^m$, and small perturbations thereof.
Perfectly contractile graphs and quadratic toric rings
Published in Bulletin of the London Mathematical Society 55 (2023), 1264--1274
• View Publication
• BIB
Perfect graphs form one of the distinguished classes of finite simple graphs. In 2006, Chudnovsky, Robertson, Seymour and Thomas proved that a graph is perfect if and only if it has no odd holes and no odd antiholes as induced subgraphs, which was conjectured by Berge. We consider the class ${\mathcal A}$ of graphs that have no odd holes, no antiholes and no odd stretchers as induced subgraphs. In particular, every graph belonging to ${\mathcal A}$ is perfect. Everett and Reed conjectured that a graph belongs to ${\mathcal A}$ if and only if it is perfectly contractile. In the present paper, we discuss graphs belonging to ${\mathcal A}$ from a viewpoint of commutative algebra. In fact, we conjecture that a perfect graph $G$ belongs to ${\mathcal A}$ if and only if the toric ideal of the stable set polytope of $G$ is generated by quadratic binomials. Especially, we show that this conjecture is true for Meyniel graphs, perfectly orderable graphs, and clique separable graphs, which are perfectly contractile graphs.
Roman and Vatican Crossover Designs
Latin squares with a balance property among adjacent pairs of symbols---being "Roman" or "row-complete"---have long been used as uniform crossover designs with the number of treatments, periods and subjects all equal. This has been generalized in two ways: to crossover designs with more subjects and to balance properties at greater distances. We consider both of these simultaneously, introducing and constructing {\em Vatican designs}: these have $\ell t$ subjects, $t$ periods and treatments, and, for each $d$ in the range $1 \leq d < t$, the number of times that any subject receives treatment $j$ exactly $d$ periods after receiving treatment $i$ is at most $\ell$. Results include showing the existence of Vatican designs when $t+1$ is prime (for any $\ell$), when $5 \leq t \leq 14$ and $\ell >1$, and when $t \in \{ 3,15 \}$ and $\ell$ is even.
Some properties of $k$-bonacci words on infinite alphabet
Published
• View Publication
• BIB
The Fibonacci word $W$ on an infinite alphabet was introduced in [Zhang et al., Electronic J. Combinatorics 2017 24(2), 2-52] as a fixed point of the morphism $2i\rightarrow (2i)(2i+1)$, $(2i+1) \rightarrow (2i+2)$, $i\geq 0$. Here, for any integer $k>2$, we define the infinite $k$-bonacci word $W^{(k)}$ on the infinite alphabet as the fixed point of the morphism $\varphi_k$ on the alphabet $\mathbb{N}$ defined for any $i\geq 0$ and any $0\leq j\leq k-1$, as \begin{equation*} \varphi_k(ki+j) = \left\{ \begin{array}{ll} (ki)(ki+j+1) & \text{if } j = 0,\cdots ,k-2,\\ (ki+j+1)& \text{otherwise}. \end{array} \right. \end{equation*} We consider the sequence of finite words $(W^{(k)}_n)_{n\geq 0}$, where $W^{(k)}_n$ is the prefix of $W^{(k)}$ whose length is the $(n+k)$-th $k$-bonacci number. We then provide a recursive formula for the number of palindromes occur in different positions of $W^{(k)}_n$. Finally, we obtain the structure of all palindromes occurring in $W^{(k)}$ and based on this, we compute the palindrome complexity of $W^{(k)}$, for any $k>2$.
Matchings under distance constraints I
Published
• View Publication
• BIB
This paper introduces the \emph{$d$-distance matching problem}, in which we are given a bipartite graph $G=(S,T;E)$ with $S=\{s_1,\dots,s_n\}$, a weight function on the edges and an integer $d\in\mathbb Z_+$. The goal is to find a maximum weight subset $M\subseteq E$ of the edges satisfying the following two conditions: i) the degree of every node of $S$ is at most one in $M$, ii) if $s_it,s_jt\in M$, then $|j-i|\geq d$. The question arises naturally, for example, in various scheduling problems.
We show that the problem is NP-complete in general and admits a simple $3$-approxi\-mation. We give an FPT algorithm parameterized by $d$ and also settle the case when the size of $T$ is constant. From an approximability point of view, we show that the integrality gap of the natural integer programming model is at most $2-\frac{1}{2d-1}$, and give an LP-based approximation algorithm for the weighted case with the same guarantee. A combinatorial $(2-\frac{1}{d})$-approximation algorithm is also presented. Several greedy approaches are considered, in particular, a local search algorithm that achieves an approximation ratio of $3/2+ε$ for any constant $ε>0$ in the unweighted case. The novel approaches used in the analysis of the integrality gap and the approximation ratio of locally optimal solutions might be of independent combinatorial interest.
Some Algebraic Properties of Lecture Hall Polytopes
In this note, we investigate some of the fundamental algebraic and geometric properties of $s$-lecture hall simplices and their generalizations. We show that all $s$-lecture hall order polytopes, which simultaneously generalize $s$-lecture hall simplices and order polytopes, satisfy a property which implies the integer decomposition property. This answers one conjecture of Hibi, Olsen and Tsuchiya. By relating $s$-lecture hall polytopes to alcoved polytopes, we then use this property to show that families of $s$-lecture hall simplices admit a quadratic Gröbner basis with a square-free initial ideal. Consequently, we find that all $s$-lecture hall simplices for which the first order difference sequence of $s$ is a $0,1$-sequence have a regular and unimodular triangulation. This answers a second conjecture of Hibi, Olsen and Tsuchiya, and it gives a partial answer to a conjecture of Beck, Braun, Köppe, Savage and Zafeirakopoulos.
Words With Few Palindromes, Revisited
In 2013, Fici and Zamboni proved a number of theorems about finite and infinite words having only a small number of factors that are palindromes. In this paper we rederive some of their results, and obtain some new ones, by a different method based on finite automata.
A Finite-Geometric Classification of Three-Qubit Mermin Pentagrams
Published in Symmetry 12 (2020) 534
• View Publication
• BIB
Given the facts that the three-qubit symplectic polar space features three different kinds of observables and each of its labeled Fano planes acquires a definite sign, we found that there are 45 distinct types of Mermin pentagrams in this space. A key element of our classification is the fact that any context of such pentagram is associated with a unique (positive or negative) Fano plane. Several intriguing relations between the character of pentagrams' three-qubit observables and `valuedness' of associated Fano planes are pointed out. In particular, we find two distinct kinds of negative contexts and as many as four positive ones.
Some Combinatorial Characterizations of Gorenstein Graphs with Independence Number Less than Four
Published in Iran. J. Sci Technol. Trans. Sci., Vol. 44 (2020), 1667-1671
• View Publication
• BIB
Let $α=α(G)$ be the independence number of a simple graph $G$ with $n$ vertices and $I(G)$ be its edge ideal in $S=K[x_1,\ldots, x_n]$. If $S/I(G)$ is Gorenstein, the graph $G$ is called Gorenstein over $K$ and if $G$ is Gorenstein over every field, then we simply say that $G$ is Gorenstein. In this article, first we state a condition equivalent to $G$ being Gorenstein and using this we give a characterization of Gorenstein graphs with $α=2$. Then we present some properties of Gorenstein graphs with $α=3$ and as an application of these results we characterize triangle-free Gorenstein graphs with $α=3$.
Newton-Okounkov bodies for categories of modules over quiver Hecke algebras
Published
• View Publication
• BIB
We show that for a finite-type Lie algebra $\mathfrak{g}$, the representation theory of quiver Hecke algebras provides a natural framework for the construction of Newton-Okounkov bodies associated to the quantum coordinate rings $\Aqnw$. When $\mathfrak{g}$ is simply-laced, we use Kang-Kashiwara-Kim-Oh's monoidal categorification to investigate the cluster theory of these bodies. In particular, our construction yields a simplex $\ds$ for every seed $\s$ of $\Aqnw$.
We exhibit various properties of these simplices by characterizing their rational points, normal fans, and volumes. As an application, we prove an equality of rational functions relating Nakada's hook formula with the root partitions associated to cluster variables, suggesting further connections between cluster theory and the combinatorics of fully-commutative elements of Weyl groups.