Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
Merged-log-concavity of rational functions, almost strictly unimodal sequences, and phase transitions of ideal boson-fermion gases
We obtain some new results on the unimodal sequences of the real values of rational functions by polynomials with positive integer coefficients. Thus, we introduce the notion of merged-log-concavity of rational functions. Roughly speaking, the notion extends Stanley's $q$-log-concavity of polynomials.
We construct explicit merged-log-concave rational functions by $q$-binomial coefficients, Hadamard products, and convolutions, extending the Cauchy-Binet formula. Then, we obtain the unimodal sequences of rational functions by Young diagrams. Moreover, we consider the variation of unimodal sequences by critical points that separate strictly increasing, strictly decreasing, and hill-shape sequences among almost strictly unimodal sequences. Also, the critical points are zeros of polynomials in a suitable setting.
The study above extends the $t$-power series of $(\pm t;q)_{\infty}^{\mp 1}$ to some extent by polynomials with positive integer coefficients and the variation of unimodal sequences. We then obtain the golden ratio of quantum dilogarithms ($q$-exponentials) as a critical point. Additionally, we consider eta products, generalized Narayana numbers, and weighted $q$-multinomial coefficients, which we introduce.
In statistical mechanics, we discuss the grand canonical partition functions of some ideal boson-fermion gases with or without Casimir energies (Ramanujan summation). The merged-log-concavity gives phase transitions on Helmholtz free energies by critical points of the metallic ratios including the golden ratio. In particular, the phase transitions implies non-zero particle vacua from zero particle vacua as the temperature rises.
Partial DP-Coloring
Published
• View Publication
• BIB
In 1980, Albertson and Berman introduced partial coloring. In 2000, Albertson, Grossman, and Haas introduced partial list coloring. Here, we initiate the study of partial coloring for an insightful generalization of list coloring introduced in 2015 by Dvořák and Postle, DP-coloring (or correspondence coloring). We consider the DP-coloring analogue of the Partial List Coloring Conjecture, which generalizes a natural bound for partial coloring. We show that while this partial DP-coloring conjecture does not hold, several results on partial list coloring can be extended to partial DP-coloring. We also study partial DP-coloring of the join of a graph with a complete graph, and we present several interesting open questions.
Incidences between points and curves with almost two degrees of freedom
Published
• View Publication
• BIB
We study incidences between points and algebraic curves in three dimensions, taken from a family $C$ of curves that have almost two degrees of freedom, meaning that every pair of curves intersect in $O(1)$ points, for any pair of points $p$, $q$, there are only $O(1)$ curves of $C$ that pass through both points, and a pair $p$, $q$ of points admit a curve of $C$ that passes through both of them iff $F(p,q)=0$ for some polynomial $F$.
We study two specific instances, one involving unit circles in $R^3$ that pass through some fixed point (so called anchored unit circles), and the other involving tangencies between directed points (points and directions) and circles in the plane; a directed point is tangent to a circle if the point lies on the circle and the direction is the tangent direction. A lifting transformation of Ellenberg et al. maps these tangencies to incidences between points and curves in three dimensions. In both instances the curves in $R^3$ have almost two degrees of freedom.
We show that the number of incidences between $m$ points and $n$ anchored unit circles in $R^3$, as well as the number of tangencies between $m$ directed points and $n$ arbitrary circles in the plane, is $O(m^{3/5}n^{3/5}+m+n)$.
We derive a similar incidence bound, with a few additional terms, for more general families of curves in $R^3$ with almost two degrees of freedom.
The proofs follow standard techniques, based on polynomial partitioning, but face a novel issue involving surfaces that are infinitely ruled by the respective family of curves, as well as surfaces in a dual 3D space that are infinitely ruled by the respective family of suitably defined dual curves.
The general bound that we obtain is $O(m^{3/5}n^{3/5}+m+n)$ plus additional terms that depend on how many curves or dual curves can lie on an infinitely-ruled surface.
Face Counting for Topological Hyperplane Arrangements
Published
• View Publication
• BIB
Determining the number of pieces after cutting a cake is a classical problem. Roberts (1887) provided an exact solution by computing the number of chambers contained in a plane cut by lines. About 88 years later, Zaslavsky (1975) even computed the f-polynomial of a hyperplane arrangement, and consequently deduced the number of chambers of that latter. Recently, Forge & Zaslavsky (2009) introduced the more general structure of topological hyperplane arrangements. This article computes the f-polynomial of such arrangements when they are transsective, and therefore deduces their number of chambers.
Erdős-Ko-Rado theorem for vector spaces over residue class rings
Published
• View Publication
• BIB
Let $h=\prod_{i=1}^{t}p_i^{s_i}$ be its decomposition into a product of powers of distinct primes, and $\mathbb{Z}_{h}$ be the residue class ring modulo $h$. Let $\mathbb{Z}_{h}^{n}$ be the $n$-dimensional row vector space over $\mathbb{Z}_{h}$. A generalized Grassmann graph for $\mathbb{Z}_{h}^n$, denoted by $G_r(m,n,\mathbb{Z}_{h})$ ($G_r$ for short), has all $m$-subspaces of $\mathbb{Z}_{h}^n$ as its vertices, and two distinct vertices are adjacent if their intersection is of dimension $>m-r$, where $2\leq r\leq m+1\leq n$. In this paper, we determine the clique number and geometric structures of maximum cliques of $G_r$. As a result, we obtain the Erdős-Ko-Rado theorem for $\mathbb{Z}_{h}^{n}$.
Eulerian and bipartite binary delta-matroids
Published
• View Publication
• BIB
Delta-matroid theory is often thought of as a generalization of topological graph theory. It is well-known that an orientable embedded graph is bipartite if and only if its Petrie dual is orientable. In this paper, we first introduce the concepts of Eulerian and bipartite delta-matroids and then extend the result from embedded graphs to arbitrary binary delta-matroids. The dual of any bipartite embedded graph is Eulerian. We also extend the result from embedded graphs to the class of delta-matroids that arise as twists of binary matroids. Several related results are also obtained.