Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Identities on Zagier's rank two examples for Nahm's problem
Published
• View Publication
• BIB
Let $r\geq 1$ be a positive integer, $A$ a real positive definite symmetric $r\times r$ matrix, $B$ a vector of length $r$, and $C$ a scalar. Nahm's problem is to describe all such $A,B$ and $C$ with rational entries for which a specific $r$-fold $q$-hypergeometric series (denoted by $f_{A,B,C}(q)$) involving the parameters $A,B,C$ is modular. When the rank $r=2$, Zagier provided eleven sets of examples of $(A,B,C)$ for which $f_{A,B,C}(q)$ is likely to be modular. We present a number of Rogers--Ramanujan type identities involving double sums, which give modular representations for Zagier's rank two examples. Together with several known cases in the literature, we verified ten of Zagier's examples and give conjectural identities for the remaining example.
Towards the Erdős-Hajnal conjecture for $P_5$-free graphs
Published
• View Publication
• BIB
The Erdős-Hajnal conjecture is one of the most classical and well-known problems in extremal and structural combinatorics dating back to 1977. It asserts that in stark contrast to the case of a general $n$-vertex graph if one imposes even a little bit of structure on the graph, namely by forbidding a fixed graph $H$ as an induced subgraph, instead of only being able to find a polylogarithmic size clique or an independent set one can find one of polynomial size. Despite being the focus of considerable attention over the years the conjecture remains open. In this paper we improve the best known lower bound of $2^{Ω(\sqrt{\log n})}$ on this question, due to Erdős and Hajnal from 1989, in the smallest open case, namely when one forbids a $P_5$, the path on $5$ vertices. Namely, we show that any $P_5$-free $n$ vertex graph contains a clique or an independent set of size at least $2^{Ω(\log n)^{2/3}}$. Our methods also lead to the same improvement for an infinite family of graphs.
Depth stability of cover ideals
Published
• View Publication
• BIB
Let R = K[x1,...,xr] be a polynomial ring over a field K. Let G be a graph with vertex set {1,...,r} and let J be the cover ideal of G. We give a sharp bound for the stability index of symbolic depth function sdstab(J). In the case G is bipartite, it yields a sharp bound for the stability index of depth function dstab(J) and this bound is exact if G is a forest.
A Note on Robust Subsets of Transversal Matroids
Published
• View Publication
• BIB
Robust subsets of matroids were introduced by Huang and Sellier to propose approximate kernels for the matroid-constrained maximum vertex cover problem. In this paper, we prove that the bound for robust subsets of transversal matroids given by Huang and Sellier can be improved.
Existence of a Moore graph of degree 57 is still open
In 2020, a paper [arXiv:2010.13443] appeared in the arXiv claiming to prove that a Moore graph of diameter 2 and degree 57 does not exist. (The paper is in Russian; we include a link to a translation of this paper kindly provided to us by Konstantin Selivanov.) The proof technique is reasonable. It employs the fact that such a graph must be distance regular and that there exists a large set of relations which such a graph must satisfy. The argument proceeds by a case analysis that shows that this set of relations cannot be satisfied. We show that this seems not to be correct. The system of equations factors into small diagonal blocks all of which have solutions. As an alternative, we show that there is a family of systems of permutations with the property that the Moore graph exists if and only if there is a member of the family with no solutions.
The popularity gap
Published
• View Publication
• BIB
Suppose that $A$ is a finite, nonempty subset of a cyclic group of either infinite or prime order. We show that if the difference set $A-A$ is ``not too large'', then there is a nonzero group element with at least as many as $(2+o(1))|A|^2/|A-A|$ representations as a difference of two elements of $A$; that is, the second largest number of representations is, essentially, twice the average. Here the coefficient $2$ is the best possible.
We also prove continuous and multidimensional versions of this result, and obtain similar results for sufficiently dense subsets of an arbitrary abelian group.
Cones from maximum $h$-scattered linear sets and a stability result
Published
• View Publication
• BIB
This paper mainly focuses on cones whose basis is a maximum $h$-scattered linear set. We start by investigating the intersection sizes of such cones with the hyperplanes. Then we analyze two constructions of point sets with few intersection sizes with the hyperplanes. In particular, the second one extends the construction of translation KM-arcs in projective spaces, having as part at infinity a cone with basis a maximum $h$-scattered linear set. As an instance of the second construction we obtain cylinders with a hyperoval as basis, which we call hypercylinders, for which we are able to provide a stability result. The main motivation for these problems is related to the connections with both Hamming and rank distance codes. Indeed, we are able to construct codes with few weights and to provide a stability result for the codes associated with hypercylinders.
The Turán number of $k_1P_{2l}\cup k_2S_{2l-1}$
The Turán number of a graph $H$, denoted by $ex(n, H)$, is the maximum number of edges in any graph on $n$ vertices containing no $H$ as a subgraph. Let $P_k$ denote the path on $k$ vertices, $S_k$ denote the star on $k+1$ vertices and $k_1P_{2l}\cup k_2S_{2l-1}$ denote the path-star forest with disjoint union of $k_1$ copies of $P_{2l}s$ and $k_2$ copies of $S_{2l-1}s$. In 2019, Lan et al. determined the Turán numbers of $kS_l$ and $k_1P_4\cup k_2S_3$. In 2022, Zhang et al. determined the Turán numbers of $k_1P_6\cup k_2S_5$ and raised a conjecture of the Turán numbers of $k_1P_{2l}\cup k_2S_{2l-1}$, where $k_1\geqslant 1$ and $l\geqslant 2$. In this paper, we study the hypothesis and determine the Turán numbers of $k_1P_{2l}\cup k_2S_{2l-1}$ when $n$ is sufficiently large.
Weighted simple games and the topology of simplicial complexes
Published
• View Publication
• BIB
We use simplicial complexes to model simple games as well as weighted voting games where certain coalitions are considered impossible. Topological characterizations of various ideas from simple games are provided, as are the expressions for Banzhaf and Shapley-Shubik power indices for weighted games. We calculate the indices in several examples of weighted voting games with unfeasible coalitions, including the U.S. Electoral College and the Parliament of Bosnia-Herzegovina.
The smallest 5-chromatic tournament
Published
• View Publication
• BIB
A coloring of a digraph is a partition of its vertex set such that each class induces a digraph with no directed cycles. A digraph is $k$-chromatic if $k$ is the minimum number of classes in such partition, and a digraph is oriented if there is at most one arc between each pair of vertices. Clearly, the smallest $k$-chromatic digraph is the complete digraph on $k$ vertices, but determining the order of the smallest $k$-chromatic oriented graphs is a challenging problem. It is known that the smallest $2$-, $3$- and $4$-chromatic oriented graphs have $3$, $7$ and $11$ vertices, respectively. In 1994, Neumann-Lara conjectured that a smallest $5$-chromatic oriented graph has $17$ vertices. We solve this conjecture and show that the correct order is $19$.
A note on Kakeya sets of horizontal and $SL(2)$ lines
We consider unions of $SL(2)$ lines in $\mathbb{R}^{3}$. These are lines of the form $$L = (a,b,0) + \mathrm{span}(c,d,1),$$ where $ad - bc = 1$. We show that if $\mathcal{L}$ is a Kakeya set of $SL(2)$ lines, then the union $\cup \mathcal{L}$ has Hausdorff dimension $3$. This answers a question of Wang and Zahl.
The $SL(2)$ lines can be identified with horizontal lines in the first Heisenberg group, and we obtain the main result as a corollary of a more general statement concerning unions of horizontal lines. This statement is established via a point-line duality principle between horizontal and conical lines in $\mathbb{R}^{3}$, combined with recent work on restricted families of projections to planes, due to Gan, Guo, Guth, Harris, Maldague, and Wang.
Our result also has a corollary for Nikodym sets associated with horizontal lines, which answers a special case of a question of Kim.
Gromov-Hausdorff distance between vertex sets of regular polygons inscribed in a given circle
Published in Moscow Univ. Math. Bull. 78, 130-135 (2023)
• View Publication
• BIB
We calculate the Gromov-Hausdorff distance between vertex sets of regular polygons endowed with the round metric. We give a full answer for the case of n- and m-gons with m divisible by n. Also, we calculate all distances to 2-gons and 3-gons
Monochromatic spanning trees and matchings in ordered complete graphs
Published
• View Publication
• BIB
Two independent edges in ordered graphs can be nested, crossing or separated. These relations define six types of subgraphs, depending on which relations are forbidden. We refine a remark by Erdős and Rado that every 2-coloring of the edges of a complete graph contains a monochromatic spanning tree. We show that forbidding one relation we always have a monochromatic (non-nested, non-crossing, non-separated) spanning tree in a 2-edge-colored ordered complete graph. On the other hand, if two relations are forbidden, then it is possible that we have monochromatic (nested, separated, crossing) subtrees of size only half the number of vertices. The existence of a monochromatic non-nested spanning tree in 2-colorings of ordered complete graphs verifies a more general conjecture for twisted drawings. Our second subject is to refine the Ramsey number of matchings for ordered complete graphs. Cockayne and Lorimer proved that for given positive integers t, n, m=(t-1)(n-1)+2n is the smallest integer with the following property: every t-coloring of the edges of a complete graph Km contains a monochromatic matching with n edges. We conjecture a strengthening: t-colored ordered complete graphs on m vertices contain monochromatic non-nested and also non-separated matchings with n edges. We prove this conjecture for some special cases. (i) Every t-colored ordered complete graph on t+3 vertices contains a monochromatic non-nested matching of size two. (ii) Every 2-colored ordered complete graph on 3n-1 vertices contains a monochromatic non-separated matching of size n.
For nested, separated, and crossing matchings the situation is different. The smallest m ensuring a monochromatic matching of size n in every t-coloring is 2(t(n-1))+1) in the first two cases and one less in the third case.
Degrees of the stretched Kostka quasi-polynomials
Published
• View Publication
• BIB
We provide a type-uniform formula for the degree of the stretched Kostka quasi-polynomial $K_{λ,μ}(N)$ in all classical types, improving a previous result by McAllister in $\mathfrak{sl}_r(\mathbb{C})$. Our proof relies on a combinatorial model for the weight multiplicity by Berenstein and Zelevinsky.
Note on the density of ISE and a related diffusion
Published
• View Publication
• BIB
The integrated super-Brownian excursion (ISE) is the occupation measure of the spatial component of the head of the Brownian snake with lifetime process the normalized Brownian excursion. It is a random probability measure on $\mathbb{R}$, and it is known to describe the continuum limit of the distribution of labels in various models of random discrete labelled trees.
We show that $f_{ISE}$, its (random) density has a.s. a derivative $f'_{ISE}$ which is continuous and $\left(\frac{1}{2}-a\right)$-Hölder for any $a >0$ but for no $a<0$ (proving a conjecture of Bousquet-Mélou and Janson).
We conjecture that $f_{ISE}$ can be represented as a second-order diffusion of the form
$$df'_{ISE}(t) = \sqrt{2f_{ISE}(t)}\, dB_t + g\left(f'_{ISE}(t), f_{ISE}(t),\int_{-\infty}^t f_{ISE}(s)ds\right)dt,$$ for some continuous function $g$, for $t>0$, and we give a number of remarks and questions in that direction.
The proof of regularity is based on a moment estimate coming from a discrete model of trees, while the heuristic of the diffusion comes from an analogous statement in the discrete setting, which is a reformulation of explicit product formulas of Bousquet-Mélou and the first author (2012).
Mermin polytopes in quantum computation and foundations
Published
• View Publication
• BIB
Mermin square scenario provides a simple proof for state-independent contextuality. In this paper, we study polytopes $\text{MP}_β$ obtained from the Mermin scenario, parametrized by a function $β$ on the set of contexts. Up to combinatorial isomorphism, there are two types of polytopes $\text{MP}_0$ and $\text{MP}_1$ depending on the parity of $β$. Our main result is the classification of the vertices of these two polytopes. In addition, we describe the graph associated with the polytopes. All the vertices of $\text{MP}_0$ turn out to be deterministic. This result provides a new topological proof of a celebrated result of Fine characterizing noncontextual distributions on the CHSH scenario. $\text{MP}_1$ can be seen as a nonlocal toy version of $Λ$-polytopes, a class of polytopes introduced for the simulation of universal quantum computation. In the $2$-qubit case, we provide a decomposition of the $Λ$-polytope using $\text{MP}_1$, whose vertices are classified, and the nonsignaling polytope of the $(2,3,2)$ Bell scenario, whose vertices are well-known.
Lattices in $\mathbb F_q[[T]]^d$ and spiral shifting operators
Published in Advanced in Applied Mathematics, Volume 171, December 2025, 102950
• View Publication
• BIB
We investigate the algebra and combinatorics of an analogue of the Hermite normal form that classifies finite-index submodules of $\mathbb F_q[[T]]^d$. We identity both normal forms as instances of Gröbner basis theory under different monomial orders, where the Hermite normal form corresponds to the lex order, and the new normal form the hlex order. We note that the hlex normal form recovers the Smith normal form, a feature not enjoyed by the Hermite normal form. We also identify the combinatorial structure underlying the cell decomposition induced by the hlex normal form, which appears to be of independent interest. Notably, the statistics tracking the cell dimensions is compatible, in a certain way, with a collection of $d$ ``spiral shifting operators'' on $\mathbb N^d$, which pairwise commute and collectively act freely and transitively. Using these operators, we give direct proofs of some new combinatorial identities obtained by translating the results of Solomon and Petrogradsky in terms of the hlex normal form.
State transfer on integral mixed circulant graphs
Published
• View Publication
• BIB
A mixed circulant graph is called integral if all eigenvalues of its Hermitian adjacency matrix are integers. The main purpose of this paper is to investigate the existence of perfect state transfer (PST for short) and multiple state transfer (MST for short) on integral mixed circulant graphs. Concretely, we provide sufficient and necessary conditions for the existence of PST and MST between specified pairs of vertices on integral mixed circulant graphs, respectively.
Diagonal Tau-Functions of 2D Toda Lattice Hierarchy, Connected $(n,m)$-Point Functions, and Double Hurwitz Numbers
Published in SIGMA 19 (2023), 085, 33 pages
• View Publication
• BIB
We derive an explicit formula for the connected $(n,m)$-point functions associated to an arbitrary diagonal tau-function $τ_f(\boldsymbol{t}^+,\boldsymbol{t}^-)$ of the 2d Toda lattice hierarchy using fermionic computations and the boson-fermion correspondence. Then for fixed $\boldsymbol{t}^-$, we compute the KP-affine coordinates of $τ_f(\boldsymbol{t}^+,\boldsymbol{t}^-)$. As applications, we present a unified approach to compute various types of connected double Hurwitz numbers, including the ordinary double Hurwitz numbers, the double Hurwitz numbers with completed $r$-cycles, and the mixed double Hurwitz numbers. We also apply this method to the computation of the stationary Gromov-Witten invariants of $\mathbb P^1$ relative to two points.
On powers of circular arc graphs
A class of graphs $\mathcal{C}$ is closed under powers if for every graph $G\in\mathcal{C}$ and every $k\in\mathbb{N}$, $G^k\in\mathcal{C}$. Also $\mathcal{C}$ is strongly closed under powers if for every $k\in\mathbb{N}$, if $G^k\in\mathcal{C}$, then $G^{k+1}\in\mathcal{C}$. It is known that circular arc graphs and proper circular arc graphs are closed under powers. But it is open whether these classes of graphs are also strongly closed under powers. In this paper we have settled these problems.