Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Moduli spaces of codimension-one subspaces in a linear variety and their tropicalization
Published in Electronic Journal of Combinatorics 29(2) P2.31 (2022), 33 pages
• View Publication
• BIB
We study the moduli space of $d$-dimensional linear subspaces contained in a fixed $(d+1)$-dimensional linear variety $X$, and its tropicalization. We prove that these moduli spaces are linear subspaces themselves, and thus their tropicalization is completely determined by their associated (valuated) matroids. We show that these matroids can be interpreted as the matroid of lines of the hyperplane arrangement corresponding to $X$, and generically are equal to a Dilworth truncation of the free matroid. In this way, we can describe combinatorially tropicalized Fano schemes and tropicalizations of moduli spaces of stable maps of degree $1$ to a plane.
On the Ehrhart Polynomial of Minimal Matroids
Published
• View Publication
• BIB
We provide a formula for the Ehrhart polynomial of the connected matroid of size $n$ and rank $k$ with the least number of bases, also known as a minimal matroid. We prove that their polytopes are Ehrhart positive and $h^*$-real-rooted (and hence unimodal). We prove that the operation of circuit-hyperplane relaxation relates minimal matroids and matroid polytopes subdivisions, and also preserves Ehrhart positivity. We state two conjectures: that indeed all matroids are $h^*$-real-rooted, and that the coefficients of the Ehrhart polynomial of a connected matroid of fixed rank and cardinality are bounded by those of the corresponding minimal matroid and the corresponding uniform matroid.
From Kruskal's theorem to Friedman's gap condition
Published
• View Publication
• BIB
Harvey Friedman's gap condition on embeddings of finite labelled trees plays an important role in combinatorics (proof of the graph minor theorem) and mathematical logic (strong independence results). In the present paper we show that the gap condition can be reconstructed from a small number of well-motivated building blocks: it arises via iterated applications of a uniform Kruskal theorem.
Combinatorial foundations for geometric realizations of subword complexes of Coxeter groups
Multitriangulations, and more generally subword complexes, yield a large family of simplicial complexes that are homeomorphic to spheres. Until now, all attempts to prove or disprove that they can be realized as convex polytopes faced major obstacles. In this article, we lay out the foundations of a framework -- built upon notions from algebraic combinatorics and discrete geometry -- that allows a deeper understanding of geometric realizations of subword complexes of Coxeter groups. Namely, we describe explicitly a family of chirotopes that encapsulate the necessary information to obtain geometric realizations of subword complexes. Further, we show that the space of geometric realizations of this family covers that of subword complexes, making this combinatorially defined family into a natural object to study.
The family of chirotopes is described through certain parameter matrices. That is, given a finite Coxeter group, we present matrices where certain minors have prescribed signs. Parameter matrices are universal: The existence of these matrices combined with conditions in terms of Schur functions is equivalent to the realizability of all subword complexes of this Coxeter group as chirotopes. Finally, parameter matrices provide extensions of combinatorial identities; for instance, the Vandermonde determinant and the dual Cauchy identity are recovered through suitable choices of parameters.
Generalizations of the Ruzsa-Szemerédi and rainbow Turán problems for cliques
Published in Comb. Probab. Comput. 30 (2021), 591-608
• View Publication
• BIB
Considering a natural generalization of the Ruzsa-Szemerédi problem, we prove that for any fixed positive integers $r,s$ with $r<s$, there are graphs on $n$ vertices containing $n^{r}e^{-O(\sqrt{\log{n}})}=n^{r-o(1)}$ copies of $K_s$ such that any $K_r$ is contained in at most one $K_s$. We also give bounds for the generalized rainbow Turán problem $\operatorname{ex}(n, H,$rainbow-$F)$ when $F$ is complete. In particular, we answer a question of Gerbner, Mészáros, Methuku and Palmer, showing that there are properly edge-coloured graphs on $n$ vertices with $n^{r-1-o(1)}$ copies of $K_r$ such that no $K_r$ is rainbow.
Majority choosability of countable graphs
Published
• View Publication
• BIB
In any vertex coloring of a graph some edges have differently colored ends (\emph{good} edges) and some are monochromatic (\emph{bad} edges). In a proper coloring all edges are good. In a \emph{majority coloring} it is enough that for every vertex $v$, the number of bad edges incident to $v$ does not exceed the number of good edges incident to $v$. A well known result of Lovász \cite{Lovasz} asserts that every finite graph has a majority $2$-coloring. A similar statement for countably infinite graphs is a challenging open problem, known as the \emph{Unfriendly Partition Conjecture}.
We consider a natural list variant of majority coloring. A graph is \emph{majority $k$-choosable} if it has a majority coloring from any lists of size $k$ assigned arbitrarily to the vertices. We prove that every countable graph is majority $4$-choosable. We also consider a natural analog of majority coloring for directed graphs. We prove that every countable digraph is also majority $4$-choosable. We pose list and directed analogs of the Unfriendly Partition Conjecture, stating that every countable graph is majority $2$-choosable and every countable digraph is majority $3$-choosable.
From the 1-2-3 Conjecture to the Riemann Hypothesis
Published
• View Publication
• BIB
This survey presents some combinatorial problems with number-theoretic flavor. Our journey starts from a simple graph coloring question, but at some point gets close to a dangerous territory of the Riemann Hypothesis. We will mostly focus on open problems, but we will also provide some simple proofs, just for adorning.
50 years of Finite Geometry, the "geometries over finite rings" part
Published in Innovations in Incidence Geometry 15 (2017) 123-143
• View Publication
• BIB
Whereas for a substantial part, Finite Geometry during the past 50 years has focussed on geometries over finite fields, geometries over finite rings that are not division rings have got less attention. Nevertheless, several important classes of finite rings give rise to interesting geometries. In this paper we bring together some results, scattered over the literature, concerning finite rings and plane projective geometry over such rings. It doesn't contain new material, but by collecting stuff in one place, we hope to stimulate further research in this area for at least another 50 years of Finite Geometry.
Gröbner fans of Hibi ideals, generalized Hibi ideals and flag varieties
Published
• View Publication
• BIB
The main goal of this paper is to give explicit descriptions of two maximal cones in the Gröbner fan of the Plücker ideal. These cones correspond to the monomial ideals given by semistandard and PBW-semistandard Young tableaux. For the first cone, as an intermediate result we obtain the description of a maximal cone in the Gröbner fan of any Hibi ideal. For the second, we generalize the notion of Hibi ideals by associating an ideal with every interpolating polytope. This is a family of polytopes that generalizes the order and chain polytopes of a poset (à la Fang--Fourier--Litza--Pegel). We then describe a maximal cone in the Gröbner fan of each of these ideals. We also establish some useful facts concerning PBW-semistandardness, in particular, we prove that it provides a new Hodge algebra structure on the Plücker algebra.
On the Schläfli symbol of chiral extensions of polytopes
Published
• View Publication
• BIB
Given an abstract $n$-polytope $\mathcal{K}$, an abstract $(n+1)$-polytope $\mathcal{P}$ is an extension of $\mathcal{K}$ if all the facets of $\mathcal{P}$ are isomorphic to $\mathcal{K}$. A chiral polytope is a polytope with maximal rotational symmetry that does not admit any reflections. If $\mathcal{P}$ is a chiral extension of $\mathcal{K}$, then all but the last entry of the Schläfli symbol of $\mathcal{P}$ are determined. In this paper we introduce some constructions of chiral extensions $\mathcal{P}$ of certain chiral polytopes in such a way that the last entry of the Schläfli symbol of $\mathcal{P}$ is arbitrarily large.
New Examples of Minimal Non-Strongly-Perfect Graphs
Published
• View Publication
• BIB
A graph is strongly perfect if every induced subgraph H has a stable set that meets every nonempty maximal clique of H. The characterization of strongly perfect graphs by a set of forbidden induced subgraphs is not known. Here we provide several new minimal non-strongly-perfect graphs.
Minimal non-odd-transversal hypergraphs and minimal non-odd-bipartite hypergraphs
Published in The Electronic Journal of Combinatorics, Volume 27, Issue 4 (2020) , P4.35
• View Publication
• BIB
Among all uniform hypergraphs with even uniformity, the odd-transversal or odd-bipartite hypergraphs are more close to bipartite simple graphs from the viewpoint of both structure and spectrum. A hypergraph is called minimal non-odd-transversal if it is non-odd-transversal but deleting any edge results in an odd-transversal hypergraph. In this paper we give an equivalent characterization of the minimal non-odd-transversal hypergraphs by the degrees and the rank of its incidence matrix over $\mathbb{Z}_2$. If a minimal non-odd-transversal hypergraph is uniform, then it has even uniformity, and hence is minimal non-odd-bipartite. We characterize $2$-regular uniform minimal non-odd-bipartite hypergraphs, and give some examples of $d$-regular uniform hypergraphs which are minimal non-odd-bipartite. Finally we give upper bounds for the least H-eigenvalue of the adjacency tensor of minimal non-odd-bipartite hypergraphs.
Deutsch paths and their enumeration
Published
• View Publication
• BIB
A variation of Dyck paths allows for down-steps of arbitrary length, not just one. Credits for this invention are given to Emeric Deutsch. Surprisingly, the enumeration of them is somewhat akin to the analysis of Motzkin-paths; the last section contains a bijection.
The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra
Published
• View Publication
• BIB
In (S.B. Ekhad and D. Zeilberger, 2020) an exciting case study has been initiated in which experimental mathematics and symbolic computation are utilized to discover new properties concerning the so-called Absent-Minded Passengers Problem. Based on these results, Doron Zeilberger raised some challenging tasks to gain further probabilistic insight. In this note we report on this enterprise. In particular, we demonstrate how the computer algebra packages of RISC can be used to carry out the underlying heavy calculations.
The interval greedy algorithm for discrete optimization problems with interval objective function
We consider a wide class of the discrete optimization problems with interval objective function. We give a generalization of the greedy algorithm for the problems. Using the algorithm, we obtain the set of all possible greedy solutions and the set of all possible values of the objective function for the solutions. For a given probability distribution on intervals of objective function' coefficients, we compute probabilities of the solutions, compute expected values of the objective function for them and other probabilistic characteristics of the problem.
The Varchenko Determinant of an Oriented Matroid
Varchenko introduced in 1993 a distance function on the chambers of a hyperplane arrangement that gave rise to a determinant whose entry in position $(C, D)$ is the distance between the chambers $C$ and $D$, and computed that determinant. In 2017, Aguiar and Mahajan provided a generalization of that distance function, and computed the corresponding determinant. This article extends their distance function to the topes of an oriented matroid, and computes the determinant thus defined. Oriented matroids have the nice property to be abstractions of some mathematical structures including hyperplane and sphere arrangements, polytopes, directed graphs, and even chirality in molecular chemistry. Independently and with another method, Hochstättler and Welker also computed in 2019 the same determinant.
A homological characterization of generalized multinomial coefficients related to the entropic chain rule
Published
• View Publication
• BIB
There is an asymptotic relationship between the multiplicative relations among multinomial coefficients and the (additive) recurrence property of Shannon entropy known as the chain rule. We show that both types of identities are manifestations of a unique algebraic construction: a $1$-cocycle condition in \emph{information cohomology}, an algebraic invariant of phesheaves of modules on \emph{information structures} (categories of observables). Baudot and Bennequin introduced this cohomology and proved that Shannon entropy represents the only nontrivial cohomology class in degree $1$ when the coefficients are a natural presheaf of probabilistic functionals. The author obtained later a $1$-parameter family of deformations of that presheaf, in such a way that each Tsallis $α$-entropy appears as the unique $1$-cocycle associated to the parameter $α$. In this article, we introduce a new presheaf of \emph{combinatorial functionals}, which are measurable functions of finite arrays of integers; these arrays represent \emph{histograms} associated to random experiments. In this case, the only cohomology class in degree $0$ is generated by the exponential function and $1$-cocycles are Fontené-Ward generalized multinomial coefficients. As a byproduct, we get a simple combinatorial analogue of the fundamental equation of information theory that characterizes the generalized binomial coefficients. The asymptotic relationship mentioned above is extended to a correspondence between certain generalized multinomial coefficients and any $α$-entropy, that sheds new light on the meaning of the chain rule and its deformations.
On the Metric Dimensions for Sets of Vertices
Published in Discussiones Mathematicae Graph Theory 43(1) (2023) 245-275
• View Publication
• BIB
Resolving sets were originally designed to locate vertices of a graph one at a time. For the purpose of locating multiple vertices of the graph simultaneously, $\{\ell\}$-resolving sets were recently introduced. In this paper, we present new results regarding the $\{\ell\}$-resolving sets of a graph. In addition to proving general results, we consider $\{2\}$-resolving sets in rook's graphs and connect them to block designs. We also introduce the concept of $\ell$-solid-resolving sets, which is a natural generalisation of solid-resolving sets. We prove some general bounds and characterisations for $\ell$-solid-resolving sets and show how $\ell$-solid- and $\{\ell\}$-resolving sets are connected to each other. In the last part of the paper, we focus on the infinite graph family of flower snarks. We consider the $\ell$-solid- and $\{\ell\}$-metric dimensions of flower snarks. In two proofs regarding flower snarks, we use a new computer-aided reduction-like approach.
Multiple scaling limits of $\mathrm{U}(N)^2 \times \mathrm{O}(D)$ multi-matrix models
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 9 (2022), no. 2, pp. 367-433
• View Publication
• BIB
We study the double- and triple-scaling limits of a complex multi-matrix model, with $\mathrm{U}(N)^2\times \mathrm{O}(D)$ symmetry. The double-scaling limit amounts to taking simultaneously the large-$N$ (matrix size) and large-$D$ (number of matrices) limits while keeping the ratio $N/\sqrt{D}=M$ fixed. The triple-scaling limit consists in taking the large-$M$ limit while tuning the coupling constant $λ$ to its critical value $λ_c$ and keeping fixed the product $M(λ_c-λ)^α$, for some value of $α$ that depends on the particular combinatorial restrictions imposed on the model. Our first main result is the complete recursive characterization of the Feynman graphs of arbitrary genus which survive in the double-scaling limit. Next, we classify all the dominant graphs in the triple-scaling limit, which we find to have a plane binary tree structure with decorations. Their critical behavior belongs to the universality class of branched polymers. Lastly, we classify all the dominant graphs in the triple-scaling limit under the restriction to three-edge connected (or two-particle irreducible) graphs. Their critical behavior falls in the universality class of Liouville quantum gravity (or, in other words, the Brownian sphere).
Arc-disjoint in- and out-branchings in digraphs of independence number at most 2
Published
• View Publication
• BIB
We prove that every digraph of independence number at most 2 and arc-connectivity at least 2 has an out-branching $B^+$ and an in-branching $B^-$ which are arc-disjoint (we call such branchings good pair).
This is best possible in terms of the arc-connectivity as there are infinitely many strong digraphs with independence number 2 and arbitrarily high minimum in-and out-degrees that have good no pair. The result settles a conjecture by Thomassen for digraphs of independence number 2. We prove that every digraph on at most 6 vertices and arc-connectivity at least 2 has a good pair and give an example of a 2-arc-strong digraph $D$ on 10 vertices with independence number 4 that has no good pair. We also show that there are infinitely many digraphs with independence number 7 and arc-connectivity 2 that have no good pair. Finally we pose a number of open problems.