Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Some identities for the Narayana polynomial and its derivatives
In this note, by employing a nice property of semicircular distributions, we derive some identities for the Narayana polynomial and its derivatives.
A bijection between $K$-Kohnert diagrams and reverse set-valued tableaux
Published
• View Publication
• BIB
Lascoux polynomials are $K$-theoretic analogues of the key polynomials. They both have combinatorial formulas involving tableaux: reverse set-valued tableaux ($\mathsf{RSVT}$) rule for Lascoux polynomials and reverse semistandard Young tableaux ($\mathsf{RSSYT}$) rule for key polynomials. Furthermore, key polynomials have a simple algorithmic model in terms of Kohnert diagrams, which are in bijection with $\mathsf{RSSYT}$. Ross and Yong introduced $K$-Kohnert diagrams, which are analogues of Kohnert diagrams. They conjectured a $K$-Kohnert diagram rule for Lascoux polynomials. We establish this conjecture by constructing a weight-preserving bijection between $\mathsf{RSVT}$ and $K$-Kohnert diagrams.
On the spectral radius of minimally 2-(edge)-connected graphs with given size
Published
• View Publication
• BIB
A graph is minimally $k$-connected ($k$-edge-connected) if it is $k$-connected ($k$-edge-connected) and deleting arbitrary chosen edge always leaves a graph which is not $k$-connected ($k$-edge-connected). A classic result of minimally $k$-connected graph is given by Mader who determined the extremal size of a minimally $k$-connected graph of high order in 1937. Naturally, for a fixed size of a minimally $k$-(edge)-connected graphs, what is the extremal spectral radius? In this paper, we determine the maximum spectral radius for the minimally $2$-connected ($2$-edge-connected) graphs of given size, moreover the corresponding extremal graphs are also determined.
On the Size of Balls and Anticodes of Small Diameter under the Fixed-Length Levenshtein Metric
Published
• View Publication
• BIB
The rapid development of DNA storage has brought the deletion and insertion channel to the front line of research. When the number of deletions is equal to the number of insertions, the Fixed Length Levenshtein (FLL) metric is the right measure for the distance between two words of the same length. Similar to any other metric, the size of a ball is one of the most fundamental parameters. In this work, we consider the minimum, maximum, and average size of a ball with radius one, in the FLL metric. The related minimum and the maximum size of a maximal anticode with diameter one are also considered.
On Sárközy's theorem for shifted primes
Published
• View Publication
• BIB
Suppose that $A \subset \{1,\dots, N\}$ has no two elements differing by $p-1$, $p$ prime. Then $|A| \ll N^{1 - c}$.
Optimal Resistor Networks
Published
• View Publication
• BIB
Given a graph on n vertices with m edges, each of unit resistance, how small can the average resistance between pairs of vertices be? There are two very plausible extremal constructions -- graphs like a star, and graphs which are close to regular -- with the transition between them occuring when the average degree is 3. However, one of our main aims in this paper is to show that there are significantly better constructions for a range of average degree including average degree near 3.
A key idea is to link this question to a analogous question about rooted graphs -- namely `which rooted graph minimises the average resistance to the root?'. The rooted case is much simpler to analyse than the unrooted, and one of the main results of this paper is that the two cases are asymptotically equivalent.
Sudoku Number of Graphs
Published
• View Publication
• BIB
We introduce a new concept in graph coloring motivated by the popular Sudoku puzzle. Let $G=(V,E)$ be a graph of order $n$ with chromatic number $χ(G)=k$ and let $S\subseteq V.$ Let $\mathscr C_0$ be a $k$-coloring of the induced subgraph $G[S].$ The coloring $\mathscr C_0$ is called an extendable coloring if $\mathscr C_0$ can be extended to a $k$-coloring of $G.$ We say that $\mathscr C_0$ is a Sudoku coloring of $G$ if $\mathscr C_0$ can be uniquely extended to a $k$-coloring of $G.$ The smallest order of such an induced subgraph $G[S]$ of $G$ which admits a Sudoku coloring is called the Sudoku number of $G$ and is denoted by $sn(G).$ In this paper we initiate a study of this parameter. We first show that this parameter is related to list coloring of graphs. In Section 2, basic properties of Sudoku coloring that are related to color dominating vertices, chromatic numbers and degree of vertices, are given. Particularly, we obtained necessary conditions for $\mathscr C_0$ being uniquely extendable, and for $\mathscr C_0$ being a Sudoku coloring. In Section 3, we determined the Sudoku number of various familes of graphs. Particularly, we showed that a connected graph $G$ has $sn(G)=1$ if and only if $G$ is bipartite. Consequently, every tree $T$ has $sn(T)=1$. Moreover, a graph $G$ with small chromatic number may have arbitrarily large Sudoku number. Extendable coloring and Sudoku coloring are nice tools for providing a $k$-coloring of $G$.
Multiplicative structures and random walks in o-minimal groups
Published
• View Publication
• BIB
We prove structure theorems for o-minimal definable subsets $S\subset G$ of definable groups containing large multiplicative structures, and show definable groups do not have bounded torsion arbitrarily close to the identity. As an application, for certain models of $n$-step random walks $X$ in $G$ we show upper bounds $\mathbb{P}(X\in S)\le n^{-C}$ and a structure theorem for the steps of $X$ when $\mathbb{P}(X\in S)\ge n^{-C'}$.
Mixing time and expansion of non-negatively curved Markov chains
We establish three remarkable consequences of non-negative curvature for sparse Markov chains. First, their conductance decreases logarithmically with the number of states. Second, their displacement is at least diffusive until the mixing time. Third, they never exhibit the cutoff phenomenon. The first result provides a nearly sharp quantitative answer to a classical question of Ollivier, Milman and Naor. The second settles a conjecture of Lee and Peres for graphs with non-negative curvature. The third offers a striking counterpoint to the recently established cutoff for non-negatively curved chains with uniform expansion.
Stake-governed tug-of-war and the biased infinity Laplacian
In tug-of-war, two players compete by moving a counter along edges of a graph, each winning the right to move at a given turn according to the flip of a possibly biased coin. The game ends when the counter reaches the boundary, a fixed subset of the vertices, at which point one player pays the other an amount determined by the boundary vertex. Economists and mathematicians have independently studied tug-of-war for many years, focussing respectively on resource-allocation forms of the game, in which players iteratively spend precious budgets in an effort to influence the bias of the coins that determine the turn victors; and on PDE arising in fine mesh limits of the constant-bias game in a Euclidean setting.
In this article, we offer a mathematical treatment of a class of tug-of-war games with allocated budgets: each player is initially given a fixed budget which she draws on throughout the game to offer a stake at the start of each turn, and her probability of winning the turn is the ratio of her stake and the sum of the two stakes. We consider the game played on a tree, with boundary being the set of leaves, and the payment function being the indicator of a single distinguished leaf. We find the game value and the essentially unique Nash equilibrium of a leisurely version of the game, in which the move at any given turn is cancelled with constant probability after stakes have been placed. We show that the ratio of the players' remaining budgets is maintained at its initial value $λ$; game value is a biased infinity harmonic function; and the proportion of remaining budget that players stake at a given turn is given in terms of the spatial gradient and the $λ$-derivative of game value. We also indicate examples in which the solution takes a different form in the non-leisurely game.
Signatures of graphs for bicommutative Hopf algebras
Published in Graphs and Combinatorics 41, 48 (2025)
• View Publication
• BIB
This article approaches the counting of subgraphs, in terms of signature-type functionals defined over combinatorial Hopf algebras of graphs. Well-known algebraic identities that arise in the context of counting subgraphs are then captured by their character property and a type of "Chen's identity". While different notions of subgraphs (and homomorphisms) correspond to different combinatorial Hopf algebras on graphs, we will show that they are all isomorphic to a polynomial Hopf algebra. In addition, the isomorphy between the Hopf algebras can be realized by maps that respect the counting operations.
Descriptive Combinatorics, Computable Combinatorics, and ASI Algorithms
We introduce new types of local algorithms, which we call "ASI Algorithms", and use them to demonstrate a link between descriptive and computable combinatorics. This allows us to unify arguments from the two fields, and also sometimes to port arguments from one field to the other. As an example, we generalize a computable combinatorics result of Kierstead and use it to get within one color of the Baire measurable analogue of Vizing's Theorem. We also improve Kierstead's result for multigraphs along the way.
A Product Version of the Hilton-Milner-Frankl Theorem
Published
• View Publication
• BIB
Two families $\mathcal{F},\mathcal{G}$ of $k$-subsets of $\{1,2,\ldots,n\}$ are called non-trivial cross $t$-intersecting if $|F\cap G|\geq t$ for all $F\in \mathcal{F}, G\in \mathcal{G}$ and $|\cap \{F\colon F\in \mathcal{F}\}|<t$, $|\cap \{G\colon G\in\mathcal{G}\}|<t$. In the present paper, we determine the maximum product of the sizes of two non-trivial cross $t$-intersecting families of $k$-subsets of $\{1,2,\ldots,n\}$ for $n\geq 4(t+2)^2k^2$, $k\geq 5$, which is a product version of the Hilton-Milner-Frankl Theorem.
A Product Version of the Hilton-Milner Theorem
Published
• View Publication
• BIB
Two families $\mathcal{F},\mathcal{G}$ of $k$-subsets of $\{1,2,\ldots,n\}$ are called non-trivial cross-intersecting if $F\cap G\neq \emptyset$ for all $F\in \mathcal{F}, G\in \mathcal{G}$ and $\cap \{F\colon F\in \mathcal{F}\}=\emptyset=\cap \{G\colon G\in \mathcal{G}\}$. In the present paper, we determine the maximum product of the sizes of two non-trivial cross-intersecting families of $k$-subsets of $\{1,2,\ldots,n\}$ for $n\geq 4k$, $k\geq 8$, which is a product version of the classical Hilton-Milner Theorem.
Completing the $c_2$ completion conjecture for $p=2$
Published
• View Publication
• BIB
The $c_2$-invariant is an arithmetic graph invariant useful for understanding Feynman periods. Brown and Schnetz conjectured that the $c_2$-invariant has a particular symmetry known as completion invariance. This paper will prove completion invariance of the $c_2$-invariant in the $p=2$ case, extending previous work of one of us. The methods are combinatorial and enumerative involving counting certain partitions of the edges of the graph.
Mackey-type identity for invariant functions on Lie algebras of finite unitary groups and an application
Published in Journal of Lie Theory 33 (2023), no.1, 149-168
• View Publication
• BIB
The Mackey-type identity mentioned in the title relates the operations of parabolic induction and restriction for invariant functions on the Lie algebras of the finite unitary groups $U(N, q^2)$. This result is applied to constructing positive harmonic functions on a new branching graph with a negative Hall-Littlewood parameter, as introduced in the authors' paper [Adv. Math. vol. 395 (2022), 108087; arXiv:2102.01947].This in turn implies the existence of an infinite-parameter family of invariant measures for the coadjoint action of an infinite-dimensional analogue of the groups $U(N, q^2)$.
Turán density of cliques of order five in $3$-uniform hypergraphs with quasirandom links
Published
• View Publication
• BIB
We show that $3$-uniform hypergraphs with the property that all vertices have a quasirandom link graph with density bigger than $1/3$ contain a clique on five vertices. This result is asymptotically best possible.
Pancyclicity in the Cartesian Product $(K_9-C_9 )^n$
Published
• View Publication
• BIB
A graph $G$ on $m$ vertices is pancyclic if it contains cycles of length $l$, $3\leq l \leq m$ as subgraphs in $G$. The complete graph $K_{9}$ on 9 vertices with a cycle $C_{9}$ of length 9 deleted from $K_{9}$ is denoted by $(K_{9}-C_{9})$. In this paper, we prove that $(K_{9}-C_{9})^{n}$, the Cartesian product of $(K_{9}-C_{9})$ taken $n$ times, is pancyclic.
Uniquely realisable graphs in analytic normed planes
Published
• View Publication
• BIB
A bar-joint framework $(G,p)$ in the Euclidean space $\mathbb{E}^d$ is globally rigid if it is the unique realisation, up to rigid congruences, of $G$ in $\mathbb{E}^d$ with the edge lengths of $(G,p)$. Building on key results of Hendrickson and Connelly, Jackson and Jordán gave a complete combinatorial characterisation of when a generic framework is global rigidity in $\mathbb{E}^2$. We prove an analogous result when the Euclidean norm is replaced by any norm that is analytic on $\mathbb{R}^2 \setminus \{0\}$. More precisely, we show that a graph $G=(V,E)$ is globally rigid in a non-Euclidean analytic normed plane if and only if $G$ is 2-connected and $G-e$ contains 2 edge-disjoint spanning trees for all $e\in E$. The main technical tool is a recursive construction of 2-connected and redundantly rigid graphs in analytic normed planes. We also obtain some sufficient conditions for global rigidity as corollaries of our main result and prove that the analogous necessary conditions hold in $d$-dimensional analytic normed spaces.
Balanced Allocations with the Choice of Noise
Published in Journal of the ACM 70(6) Article 37 pp 1-84 (November 2023)
• View Publication
• BIB
We consider the allocation of $m$ balls (jobs) into $n$ bins (servers). In the standard Two-Choice process, at each step $t=1,2,\ldots,m$ we first sample two randomly chosen bins, compare their two loads and then place a ball in the least loaded bin. It is well-known that for any $m\geq n$, this results in a gap (difference between the maximum and average load) of $\log_2\log n+Θ(1)$ (with high probability).
In this work, we consider Two-Choice in different settings with noisy load comparisons. One key setting involves an adaptive adversary whose power is limited by some threshold $g\in\mathbb{N}$. In each step, such adversary can determine the result of any load comparison between two bins whose loads differ by at most $g$, while if the load difference is greater than $g$, the comparison is correct.
For this adversarial setting, we first prove that for any $m \geq n$ the gap is $O(g+\log n)$ with high probability. Then through a refined analysis we prove that if $g\leq\log n$, then for any $m \geq n$ the gap is $O(\frac{g}{\log g}\cdot\log\log n)$. For constant values of $g$, this generalizes the heavily loaded analysis of [BCSV06, TW14] for the Two-Choice process, and establishes that asymptotically the same gap bound holds even if load comparisons among "similarly loaded" bins are wrong. Finally, we complement these upper bounds with tight lower bounds, which establish an interesting phase transition on how the parameter $g$ impacts the gap.
The analysis also applies to settings with outdated and delayed information. For example, for the setting of [BCEFN12] where balls are allocated in consecutive batches of size $b=n$, we present an improved and tight gap bound of $Θ(\frac{\log n}{\log\log n})$. This bound also extends for a range of values of $b$ and applies to a relaxed setting where the reported load of a bin can be any load value from the last $b$ steps.