arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83842 papers, 48355 authors in database)
2023-04-14
Bounding the number of graph refinements for Brill-Noether existence
Published • View Publication • BIB
Let $G$ be a finite graph of genus $g$. Let $d$ and $r$ be non-negative integers such that the Brill-Noether number is non-negative. It is known that for some $k$ sufficiently large, the $k$-th homothetic refinement $G^{(k)}$ of $G$ admits a divisor of degree $d$ and rank at least $r$. We use results from algebraic geometry to give an upper bound for $k$ in terms of $g,d,$ and $r$.
2023-04-14
Exact probabilities for three and four dice in the balanced uniform model of 3-sided dice
We determine the exact probabilities of the different isomorphism classes of tournaments that result from random sets of three and four independent dice drawn from the balanced uniform model of 3-sided dice.
2023-04-14 v2
On partial transposes of unitarily invariant random matrices
Published • View Publication • BIB
We compute the limit distribution of partial transposes (when both the number and the size of blocks tends to infinity) for a large class of ensembles of unitarily invariant random matrices. Furthermore, it is shown the asymptotic freeness relation between the ensembles of random matrices, their transposes and their left and right partial transposes.
2023-04-14 v2
Topological recursion on transalgebraic spectral curves and Atlantes Hurwitz numbers
Published in J. Geom. Phys. vol. 206, 105306 (2024) • View Publication • BIB
Given a spectral curve with exponential singularities (which we call a "transalgebraic spectral curve"), we extend the definition of topological recursion to include contributions from the exponential singularities in a way that is compatible with limits of sequences of spectral curves. This allows us to prove the topological recursion/quantum curve correspondence for a large class of transalgebraic spectral curves. As an application, we find that Atlantes Hurwitz numbers, which were previously thought to fall outside the scope of topological recursion, satisfy (our extended version of) topological recursion, and we construct the corresponding quantum curve directly from topological recursion.
Jacobi polynomials and design theory II
Published • View Publication • BIB
In this paper, we introduce some new polynomials associated to linear codes over $\mathbb{F}_{q}$. In particular, we introduce the notion of split complete Jacobi polynomials attached to multiple sets of coordinate places of a linear code over $\mathbb{F}_{q}$, and give the MacWilliams type identity for it. We also give the notion of generalized $q$-colored $t$-designs. As an application of the generalized $q$-colored $t$-designs, we derive a formula that obtains the split complete Jacobi polynomials of a linear code over $\mathbb{F}_{q}$.Moreover, we define the concept of colored packing (resp. covering) designs. Finally, we give some coding theoretical applications of the colored designs for Type~III and Type~IV codes.
No mixed graph with the nullity $η(\widetilde{G})=|V(G)|-2m(G)+2c(G)-1$
Published • View Publication • BIB
A mixed graph $\widetilde{G}$ is obtained from a simple undirected graph $G$, the underlying graph of $\widetilde{G}$, by orienting some edges of $G$. Let $c(G)=|E(G)|-|V(G)|+ω(G)$ be the cyclomatic number of $G$ with $ω(G)$ the number of connected components of $G$, $m(G)$ be the matching number of $G$, and $η(\widetilde{G})$ be the nullity of $\widetilde{G}$. Chen et al. (2018)\cite{LSC} and Tian et al. (2018)\cite{TFL} proved independently that $|V(G)|-2m(G)-2c(G) \leq η(\widetilde{G}) \leq |V(G)|-2m(G)+2c(G)$, respectively, and they characterized the mixed graphs with nullity attaining the upper bound and the lower bound. In this paper, we prove that there is no mixed graph with nullity $η(\widetilde{G})=|V(G)|-2m(G)+2c(G)-1$. Moreover, for fixed $c(G)$, there are infinitely many connected mixed graphs with nullity $|V(G)|-2m(G)+2c(G)-s$ $( 0 \leq s \leq 3c(G), s\neq1 )$ is proved.
2023-04-13
The extremal unicyclic graphs of the revised edge Szeged index with given diameter
Published • View Publication • BIB
Let $G$ be a connected graph. The revised edge Szeged index of $G$ is defined as $Sz^{\ast}_{e}(G)=\sum\limits_{e=uv\in E(G)}(m_{u}(e|G)+\frac{m_{0}(e|G)}{2})(m_{v}(e|G)+\frac{m_{0}(e|G)}{2})$, where $m_{u}(e|G)$ (resp., $m_{v}(e|G)$) is the number of edges whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), and $m_{0}(e|G)$ is the number of edges equidistant from both ends of $e$, respectively. In this paper, the graphs with minimum revised edge Szeged index among all the unicyclic graphs with given diameter are characterized.
2023-04-13
The minimal spectral radius with given independence number
Published • View Publication • BIB
In this paper, we determine the graphs which have the minimal spectral radius among all the connected graphs of order $n$ and the independence number $\lceil\frac{n}{2}\rceil-1.$
2023-04-13
Asymptotics for $k$-crank of $k$-colored partitions
Published • View Publication • BIB
In this paper, we obtain asymptotic formulas for $k$-crank of $k$-colored partitions. Let $M_k(a, c; n)$ denote the number of $k$-colored partitions of $n$ with a $k$-crank congruent to $a$ mod $c$. For the cases $k=2,3,4$, Fu and Tang derived several inequality relations for $M_k(a, c; n)$ using generating functions. We employ the Hardy-Ramanujan Circle Method to extend the results of Fu and Tang. Furthermore, additional inequality relations for $M_k(a, c; n)$ have been established, such as logarithmic concavity and logarithmic subadditivity.
2023-04-13 v3
On the connected blocks polytope
Published in Discrete & Computational Geometry, Volume 73, pages 946-972, 2025 • View Publication • BIB
In this paper, we study the connected blocks polytope, which, apart from its own merits, can be seen as the generalization of certain connectivity based or Eulerian subgraph polytopes. We provide a complete facet description of this polytope, characterize its edges and show that it is Hirsch. We also show that connected blocks polytopes admit a regular unimodular triangulation by constructing a squarefree Gröbner basis. In addition, we prove that the polytope is Gorenstein of index $2$ and that its $h^\ast$-vector is unimodal.
2023-04-13 v2
Application of fusion technique to the solution of Harrington problem and its generalizations to Baire functions, part I
In this paper we provide solutions of the Harrington problem (along with a few generalizations) proposed in a book Analytic Sets. The original problem asks if for arbitrary sequence of continuous functions from \( \R^ω\) to a fixed compact interval we can find a subsequence point-wise convergent on some product of perfect subsets of \( \R \). We reduce aforementioned problem to functions from \( C^ω\) to \(C\), where \(C\) is a standard Cantor set as well as also provide solution to the problem with Baire functions in place of continuous ones. Our main focus is on showing applications of the fusion lemma - a result about perfect trees used among others to prove minimality of Sack's forcing - to the problem at hand.
2023-04-13 v2
Noncommutative binomial theorem, shuffle type polynomials and Bell polynomials
Published • View Publication • BIB
In this paper we use the Lyndon-Shirshov basis to study the shuffle type polynomials. We give a free noncommutative binomial (or multinomial) theorem in terms of the Lyndon-Shirshov basis. Another noncommutative binomial theorem given by the shuffle type polynomials with respect to an adjoint derivation is established. As a result, the Bell differential polynomials and the $q$-Bell differential polynomials can be derived from the second binomial theorem. The relation between the shuffle type polynomials and the Bell differential polynomials is established. Finally, we give some applications of the free noncommutative binomial theorem including application of the shuffle type polynomials to bialgebras and Hopf algebras.
On a generalization of median graphs: $k$-median graphs
Published • View Publication • BIB
Median graphs are connected graphs in which for all three vertices there is a unique vertex that belongs to shortest paths between each pair of these three vertices. To be more formal, a graph $G$ is a median graph if, for all $μ, u,v\in V(G)$, it holds that $|I(μ,u)\cap I(μ,v)\cap I(u,v)|=1$ where $I(x,y)$ denotes the set of all vertices that lie on shortest paths connecting $x$ and $y$. In this paper we are interested in a natural generalization of median graphs, called $k$-median graphs. A graph $G$ is a $k$-median graph, if there are $k$ vertices $μ_1,\dots,μ_k\in V(G)$ such that, for all $u,v\in V(G)$, it holds that $|I(μ_i,u)\cap I(μ_i,v)\cap I(u,v)|=1$, $1\leq i\leq k$. By definition, every median graph with $n$ vertices is an $n$-median graph. We provide several characterizations of $k$-median graphs that, in turn, are used to provide many novel characterizations of median graphs.
2023-04-13
On Remoteness Functions of Exact Slow $k$-NIM with $k+1$ Piles
Given integer $n$ and $k$ such that $0 < k \leq n$ and $n$ piles of stones, two player alternate turns. By one move it is allowed to choose any $k$ piles and remove exactly one stone from each. The player who has to move but cannot is the loser. Cases $k=1$ and $k = n$ are trivial. For $k=2$ the game was solved for $n \leq 6$. For $n \leq 4$ the Sprague-Grundy function was efficiently computed (for both the normal and misère versions). For $n = 5,6$ a polynomial algorithm computing P-positions was obtained. Here we consider the case $2 \leq k = n-1$ and compute Smith's remoteness function, whose even values define the P-positions. In fact, an optimal move is always defined by the following simple rule: if all piles are odd, keep a largest one and reduce all other; if there exist even piles, keep a smallest one of them and reduce all other. Such strategy is optimal for both players, moreover, it allows to win as fast as possible from an N-position and to resist as long as possible from a P-position.
2023-04-13 v2
Continued fractions for cycle-alternating permutations
Published in Ramanujan J. 65, 1013-1060 (2024) • View Publication • BIB
A permutation is said to be cycle-alternating if it has no cycle double rises, cycle double falls or fixed points; thus each index $i$ is either a cycle valley ($σ^{-1}(i)>i<σ(i)$) or a cycle peak ($σ^{-1}(i)<i>σ(i)$). We find Stieltjes-type continued fractions for some multivariate polynomials that enumerate cycle-alternating permutations with respect to a large (sometimes infinite) number of simultaneous statistics that measure cycle status, record status, crossings and nestings along with the parity of the indices. Our continued fractions are specializations of more general continued fractions of Sokal and Zeng. We then introduce alternating Laguerre digraphs, which are generalization of cycle-alternating permutations, and find exponential generating functions for some polynomials enumerating them. We interpret the Stieltjes--Rogers and Jacobi--Rogers matrices associated to some of our continued fractions in terms of alternating Laguerre digraphs.
2023-04-13
Improved lower bounds for Queen's Domination via an exactly-solvable relaxation
Published • View Publication • BIB
The Queen's Domination problem, studied for over 160 years, poses the following question: What is the least number of queens that can be arranged on a $m \times n$ chessboard so that they either attack or occupy every cell? We propose a novel relaxation of the Queen's Domination problem and show that it is exactly solvable on both square and rectangular chessboards. As a consequence, we improve on the best known lower bound for rectangular chessboards in $\approx 12.5\%$ of the non-trivial cases. As another consequence, we simplify and generalize the proofs for the best known lower-bounds for Queen's Domination of square $n \times n$ chessboards for $n \equiv \{0,1,2\} \mod 4$ using an elegant idea based on a convex hull. Finally, we show some results and make some conjectures towards the goal of simplifying the long complicated proof for the best known lower-bound for square boards when $n \equiv 3 \mod 4$ (and $n > 11$). These simple-to-state conjectures may also be of independent interest.
2023-04-13
Jack Derangements
For each integer partition $λ\vdash n$ we give a simple combinatorial expression for the sum of the Jack character $θ^λ_α$ over the integer partitions of $n$ with no singleton parts. For $α= 1,2$ this gives closed forms for the eigenvalues of the permutation and perfect matching derangement graphs, resolving an open question in algebraic graph theory. A byproduct of the latter is a simple combinatorial formula for the immanants of the matrix $J-I$ where $J$ is the all-ones matrix, which might be of independent interest. Our proofs center around a Jack analogue of a hook product related to Cayley's $Ω$--process in classical invariant theory, which we call the principal lower hook product.
Mutually avoiding Eulerian circuits
Published • View Publication • BIB
Two Eulerian circuits, both starting and ending at the same vertex, are avoiding if at every other point of the circuits they are at least distance 2 apart. An Eulerian graph which admits two such avoiding circuits starting from any vertex is said to be doubly Eulerian. The motivation for this definition is that the extremal Eulerian graphs, i.e. the complete graphs on an odd number of vertices and the cycles, are not doubly Eulerian. We prove results about doubly Eulerian graphs and identify those that are the `densest' and `sparsest' in terms of the number of edges.
2023-04-13
A note on Gupta's co-density conjecture
Let $G$ be a multigraph. A subset $F$ of $E(G)$ is an edge cover of $G$ if every vertex of $G$ is incident to an edge of $F$. The cover index, $ξ(G)$, is the largest number of edge covers into which the edges of $G$ can be partitioned. Clearly $ξ(G) \le δ(G)$, the minimum degree of $G$. For $U\subseteq V(G)$, denote by $E^+(U)$ the set of edges incident to a vertex of $U$. When $|U|$ is odd, to cover all the vertices of $U$, any edge cover needs to contain at least $(|U|+1)/2$ edges from $E^+(U)$, indicating $ ξ(G) \le |E^+(U)|/ (|U|+1)/2$. Let $ρ_c(G)$, the co-density of $G$, be defined as the minimum of $|E^+(U)|/((|U|+1)/2)$ ranging over all $U\subseteq V(G)$ with $|U| $ odd and at least 3. Then $ρ_c(G)$ provides another upper bound on $ξ(G)$. Thus $ξ(G) \le \min\{δ(G), \lfloor ρ_c(G) \rfloor \}$. For a lower bound on $ξ(G)$, in 1967, Gupta conjectured that $ξ(G) \ge \min\{δ(G)-1, \lfloor ρ_c(G) \rfloor \}$. Gupta showed that the conjecture is true when $G$ is simple, and Cao et al. verified this conjecture when $ρ_c(G)$ is not an integer. In this note, we confirm the conjecture when the maximum multiplicity of $G$ is at most two or $ \min\{δ(G)-1, \lfloor ρ_c(G) \rfloor \} \le 6$.
2023-04-13
Distinct distances for points lying on curves in $\mathbb{R}^d$ -- the bipartite case
Published • View Publication • BIB
Let $γ_1,γ_2$ be a pair of constant-degree irreducible algebraic curves in $\mathbb{R}^d$. Assume that $γ_i$ is neither contained in a hyperplane nor in a quadric surface in $\mathbb{R}^d$, for each $i=1,2$. We show that for every pair of $n$-point sets $P_1\subsetγ_1$ and $P_2\subsetγ_2$, the number of distinct distances spanned by $P_1\times P_2$ is $Ω(n^{3/2})$, with a constant of proportionality that depends on ${\rm deg}γ_1$, ${\rm deg}γ_2$, and $d$. This extends earlier results of Charalambides [Char], Pach and De Zeeuw [PdZ], and Raz [Ra] to the bipartite version. For the proof we use rigidity theory, and in particular the description of Bolker and Roth [BR80] for realizations in $\mathbb{R}^d$ of the complete bipartite graph $K_{m,n}$ that are not infinitesimally rigid.