Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Monochromatic products and sums in the rationals
Published in Forum of Mathematics, Pi 12 (2024) e17
• View Publication
• BIB
We show that for every coloring of the rationals into finitely many colors, one of the colors contains a set of the form $\{x,y,xy,x+y\}$ for some nonzero $x$ and $y$.
Rainbow Connection for Complete Multipartite Graphs
Published in Involve 18 (2025) 755-766
• View Publication
• BIB
A path in an edge-colored graph is said to be rainbow if no color repeats on it. An edge-colored graph is said to be rainbow $k$-connected if every pair of vertices is connected by $k$ internally disjoint rainbow paths. The rainbow $k$-connection number $\mathrm{rc}_k(G)$ is the minimum number of colors $\ell$ such that there exists a coloring with $\ell$ colors that makes $G$ rainbow $k$-connected. Let $f(k,t)$ be the minimum integer such that every $t$-partite graph with part sizes at least $f(k,t)$ has $\mathrm{rc}_k(G) \le 4$ if $t=2$ and $\mathrm{rc}_k(G) \le 3$ if $t \ge 3$. Answering a question of Fujita, Liu and Magnant, we show that
\[
f(k,t) = \left\lceil \frac{2k}{t-1} \right\rceil
\]
for all $k\geq 2$, $t\geq 2$. We also give some conditions for which $\mathrm{rc}_k(G) \le 3$ if $t=2$ and $\mathrm{rc}_k(G) \le 2$ if $t \ge 3$.
Maximization of the first Laplace eigenvalue of a finite graph
Published
• View Publication
• BIB
Given a length function on the edge set of a finite graph, we define a vertex-weight and an edge-weight in terms of it and consider the corresponding graph Laplacian. In this paper, we consider the problem of maximizing the first nonzero eigenvalue of this Laplacian over all edge-length functions subject to a certain normalization. For an extremal solution of this problem, we prove that there exists a map from the vertex set to a Euclidean space consisting of first eigenfunctions of the corresponding Laplacian so that the length function can be explicitly expressed in terms of the map and the Euclidean distance. This is a graph-analogue of Nadirashvili's result related to first-eigenvalue maximization problem on a smooth surface. We discuss simple examples and also prove a similar result for a maximizing solution of the Göring-Helmberg-Wappler problem.
Identities and periodic oscillations of divide-and-conquer recurrences splitting at half
Published
• View Publication
• BIB
We study divide-and-conquer recurrences of the form \begin{equation*}
f(n)
= αf(\lfloor \tfrac n2\rfloor)
+ βf(\lceil \tfrac n2\rceil)
+ g(n) \qquad(n\ge2), \end{equation*} with $g(n)$ and $f(1)$ given, where $α,β\ge0$ with $α+β>0$; such recurrences appear often in analysis of computer algorithms, numeration systems, combinatorial sequences, and related areas. We show that the solution satisfies always the simple \emph{identity} \begin{equation*}
f(n)
= n^{\log_2(α+β)} P(\log_2n) - Q(n) \end{equation*} under an optimum (iff) condition on $g(n)$. This form is not only an identity but also an asymptotic expansion because $Q(n)$ is of a smaller order. Explicit forms for the \emph{continuity} of the periodic function $P$ are provided, together with a few other smoothness properties. We show how our results can be easily applied to many dozens of concrete examples collected from the literature, and how they can be extended in various directions. Our method of proof is surprisingly simple and elementary, but leads to the strongest types of results for all examples to which our theory applies.
A curious identity in connection with saddle-point method and Stirling's formula
Published
• View Publication
• BIB
We prove the curious identity in the sense of formal power series: \[ \int_{-\infty}^{\infty}[y^m] \exp\left(-\frac{t^2}2 +\sum_{j\ge3}\frac{(it)^j}{j!}\, y^{j-2}\right)\mathrm{d} t = \int_{-\infty}^{\infty}[y^m] \exp\left(-\frac{t^2}2+ \sum_{j\ge3}\frac{(it)^j}{j}\, y^{j-2}\right)\mathrm{d} t, \] for $m=0,1,\dots$, where $[y^m]f(y)$ denotes the coefficient of $y^m$ in the Taylor expansion of $f$. The generality of this identity from the perspective of saddle-point method is also examined.
Counting Connected Partitions of Graphs
Published
• View Publication
• BIB
Motivated by the theorem of Gy\H ori and Lovász, we consider the following problem. For a connected graph $G$ on $n$ vertices and $m$ edges determine the number $P(G,k)$ of unordered solutions of positive integers $\sum_{i=1}^k m_i = m$ such that every $m_i$ is realized by a connected subgraph $H_i$ of $G$ with $m_i$ edges such that $\cup_{i=1}^kE(H_i)=E(G)$. We also consider the vertex-partition analogue.
We prove various lower bounds on $P(G,k)$ as a function of the number $n$ of vertices in $G$, as a function of the average degree $d$ of $G$, and also as the size $\mathrm{CMC}_r(G)$ of $r$-partite connected maximum cuts of $G$. Those three lower bounds are tight up to a multiplicative constant.
We also prove that the number $π(G,k)$ of unordered $k$-tuples with $\sum_{i=1}^kn_i=n$, that are realizable by vertex partitions into $k$ connected parts of respective sizes $n_1,n_2,\dots,n_k$, is $Ω(d^{k-1})$.
Edges not covered by monochromatic bipartite graphs
Published
• View Publication
• BIB
Let $f_k(n,H)$ denote the maximum number of edges not contained in any monochromatic copy of~$H$ in a $k$-coloring of the edges of $K_n$, and let $ex(n,H)$ denote the Turán number of $H$. In place of $f_2(n,H)$ we simply write $f(n,H)$. Keevash and Sudakov proved that $f(n,H)=ex(n,H)$ if $H$ is an edge-critical graph or $C_4$ and asked if this equality holds for any graph $H$. All known exact values of this question require $H$ to contain at least one cycle. In this paper we focus on acyclic graphs and have the following results:
(1) We prove $f(n,H)=ex(n,H)$ when $H$ is a spider or a double broom.
(2) A \emph{tail} in $H$ is a path $P_3=v_0v_1v_2$ such that $v_2$ is only adjacent to $v_1$ and $v_1$ is only adjacent to $v_0,v_2$ in $H$. We obtain a tight upper bound for $f(n,H)$ when $H$ is a bipartite graph with a tail. This result provides the first bipartite graphs which answer the question of Keevash and Sudakov in the negative.
(3) Liu, Pikhurko and Sharifzadeh asked if $f_k(n,T)=(k-1)ex(n,T)$ when $T$ is a tree. We provide an upper bound for $f_{2k}(n,P_{2k})$ and show it is tight when $2k-1$ is prime. This provides a negative answer to their question.
Towards the Gaussianity of Random Zeckendorf Games
Published
• View Publication
• BIB
Zeckendorf proved that any positive integer has a unique decomposition as a sum of non-consecutive Fibonacci numbers, indexed by $F_1 = 1, F_2 = 2, F_{n+1} = F_n + F_{n-1}$. Motivated by this result, Baird, Epstein, Flint, and Miller defined the two-player Zeckendorf game, where two players take turns acting on a multiset of Fibonacci numbers that always sums to $N$. The game terminates when no possible moves remain, and the final player to perform a move wins. Notably, studied the setting of random games: the game proceeds by choosing an available move uniformly at random, and they conjecture that as the input $N \to \infty$, the distribution of random game lengths converges to a Gaussian.
We prove that certain sums of move counts is constant, and find a lower bound on the number of shortest games on input $N$ involving the Catalan numbers. The works Baird et al. and Cuzensa et al. determined how to achieve a shortest and longest possible Zeckendorf game on a given input $N$, respectively: we establish that for any input $N$, the range of possible game lengths constitutes an interval of natural numbers: every game length between the shortest and longest game lengths can be achieved.
We further the study of probabilistic aspects of random Zeckendorf games. We study two probability measures on the space of all Zeckendorf games on input $N$: the uniform measure, and the measure induced by choosing moves uniformly at random at any given position. Under both measures that in the limit $N \to \infty$, both players win with probability $1/2$. We also find natural partitions of the collection of all Zeckendorf games of a fixed input $N$, on which we observe weak convergence to a Gaussian in the limit $N \to \infty$. We conclude the work with many open problems.
The Turán Number of Surfaces
Published
• View Publication
• BIB
We show that there is a constant $c$ such that any 3-uniform hypergraph $\mathcal H$ with $n$ vertices and at least $cn^{5/2}$ edges contains a triangulation of the real projective plane as a subgraph. This resolves a conjecture of Kupavskii, Polyanskii, Tomon, and Zakharov. Furthermore, our work, combined with prior results, asymptotically determines the Turán number of all surfaces.
On word-representability of simplified de Bruijn graphs
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. Word-representable graphs generalize several important classes of graphs such as $3$-colorable graphs, circle graphs, and comparability graphs. There is a long line of research in the literature dedicated to word-representable graphs. In this paper, we study word-representability of simplified de Bruijn graphs. The simplified de Bruijn graph $S(n,k)$ is a simple graph obtained from the de Bruijn graph $B(n,k)$ by removing orientations and loops and replacing multiple edges between a pair of vertices by a single edge. De Bruijn graphs are a key object in combinatorics on words that found numerous applications, in particular, in genome assembly. We show that binary simplified de Bruijn graphs (i.e.\ $S(n,2)$) are word-representable for any $n\geq 1$, while $S(2,k)$ and $S(3,k)$ are non-word-representable for $k\geq 3$. We conjecture that all simplified de Bruijn graphs $S(n,k)$ are non-word-rerpesentable for $n\geq 4$ and $k\geq 3$.
Computing maximum likelihood thresholds using graph rigidity
Published in Alg. Stat. 14 (2023) 287-305
• View Publication
• BIB
The maximum likelihood threshold (MLT) of a graph $G$ is the minimum number of samples to almost surely guarantee existence of the maximum likelihood estimate in the corresponding Gaussian graphical model. Recently a new characterization of the MLT in terms of rigidity-theoretic properties of $G$ was proved \cite{Betal}. This characterization was then used to give new combinatorial lower bounds on the MLT of any graph. We continue this line of research by exploiting combinatorial rigidity results to compute the MLT precisely for several families of graphs. These include graphs with at most $9$ vertices, graphs with at most 24 edges, every graph sufficiently close to a complete graph and graphs with bounded degrees.
A new approach for computing the distance and the diameter in circulant graphs
Published
• View Publication
• BIB
The diameter of a graph is the maximum distance among all pairs of vertices. Thus a graph $G$ has diameter $d$ if any two vertices are at distance at most $d$ and there are two vertices at distance $d$. We are interested in studying the diameter of circulant graphs $C_n(1,s)$, i.e., graphs with the set $\{0,1,\ldots, n-1\}$ of integers as vertex set and in which two distinct vertices $i,j \in \{0,1,\ldots, n-1\}$ are adjacent if and only if $|i-j|_n\in \{1,s\}$, where $2\leq s\leq \lfloor \frac{n-1}{2} \rfloor$ and $|x|_n=\min(|x|, n-|x|)$. Despite the regularity of circulant graphs, it is difficult to evaluate several parameters, in particular the distance and the diameter. To the best of our knowledge, there is no formulas providing exact values for the distance and the diameter of $C_n(1,s)$ for all $n$ and $s$. In this context, we present in this paper a new approach, based on a simple algorithm, that gives exact values for the distance and the diameter of circulant graphs.
Associated Permutations of Complete Non-Ambiguous Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (April 3, 2024) dmtcs:11169
• View Publication
• BIB
We explore new connections between complete non-ambiguous trees (CNATs) and permutations. We give a bijection between tree-like tableaux and a specific subset of CNATs. This map is used to establish and solve a recurrence relation for the number of tree-like tableaux of a fixed size without occupied corners, proving a conjecture by Laborde-Zubieta. We end by establishing a row/column swapping operation on CNATs and identify new areas for future research.
Strong domination number of some operations on a graph
Let $G=(V(G),E(G))$ be a simple graph. A set $D\subseteq V(G)$ is a strong dominating set of $G$, if for every vertex $x\in V(G)\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. In this paper, we examine the effects on $γ_{st}(G)$ when $G$ is modified by operations on edge (or edges) of $G$.
Improved bounds concerning the maximum degree of intersecting hypergraphs
Published
• View Publication
• BIB
For positive integers $n>k>t$ let $\binom{[n]}{k}$ denote the collection of all $k$-subsets of the standard $n$-element set $[n]=\{1,\ldots,n\}$. Subsets of $\binom{[n]}{k}$ are called $k$-graphs. A $k$-graph $\mathcal{F}$ is called $t$-intersecting if $|F\cap F'|\geq t$ for all $F,F'\in \mathcal{F}$. One of the central results of extremal set theory is the Erdős-Ko-Rado Theorem which states that for $n\geq (k-t+1)(t+1)$ no $t$-intersecting $k$-graph has more than $\binom{n-t}{k-t}$ edges. For $n$ greater than this threshold the $t$-star (all $k$-sets containing a fixed $t$-set) is the only family attaining this bound. Define $\mathcal{F}(i)=\{F\setminus \{i\}\colon i\in F\in \mathcal{F}\}$. The quantity $\varrho(\mathcal{F})=\max\limits_{1\leq i\leq n}|\mathcal{F}(i)|/|\mathcal{F}|$ measures how close a $k$-graph is to a star. The main result (Theorem 1.5) shows that $\varrho(\mathcal{F})>1/d$ holds if $\mathcal{F}$ is 1-intersecting, $|\mathcal{F}|>2^dd^{2d+1}\binom{n-d-1}{k-d-1}$ and $n\geq 4(d-1)dk$. Such a statement can be deduced from the results of \cite{F78-2} and \cite{DF}, however only for much larger values of $n/k$ and/or $n$. The proof is purely combinatorial, it is based on a new method: shifting ad extremis. The same method is applied to obtain some nearly optimal bounds in the case of $t\geq 2$ (Theorem 1.11) along with a number of related results.
On completely regular codes with minimum eigenvalue in geometric graphs
Published
• View Publication
• BIB
We prove that any completely regular code with minimum eigenvalue in any geometric graph G corresponds to a completely regular code in the clique graph of G. Studying the interrelation of these codes, a complete characterization of the completely regular codes in the Johnson graphs J(n,w) with covering radius w-1 and strength 1 is obtained. In particular this result finishes a characterization of the completely regular codes in the Johnson graphs J(n,3). We also classify the completely regular codes of strength 1 in the Johnson graphs J(n,4) with only one case for the eigenvalues left open.
Free decomposition spaces
Published
• View Publication
• BIB
We introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by their inert maps. We show that left Kan extension along the inclusion $j \colon Δ_{\operatorname{inert}} \to Δ$ takes general objects to Möbius decomposition spaces and general maps to CULF maps. We establish an equivalence of $\infty$-categories $\mathbf{PrSh}(Δ_{\operatorname{inert}}) \simeq \mathbf{Decomp}_{/B\mathbb{N}}$. Although free decomposition spaces are rather simple objects, they abound in combinatorics: it seems that all comultiplications of deconcatenation type arise from free decomposition spaces. We give an extensive list of examples, including quasi-symmetric functions.
Bijective proofs of some coinversion identities related to Macdonald polynomials
Published
• View Publication
• BIB
This paper gives bijective proofs of some novel coinversion identities first discovered by Ayyer, Mandelshtam, and Martin (arxiv:2011.06117) as part of their proof of a new combinatorial formula for the modified Macdonald polynomials $\tilde{H}_μ$. Those authors used intricate algebraic manipulations of $q$-binomial coefficients to prove these identities, which imply the existence of certain bijections needed in their proof that their formula satisfies the axioms characterizing $\tilde{H}_μ$. They posed the open problem of constructing such bijections explicitly. We resolve that problem here.
Random complexes with free involution
We introduce a new model for random simplicial complexes which with high probability generates a complex that has a simply-connected double cover. Hence we develop a model for random simplicial complexes with fundamental group $\mathbb{Z}/2\mathbb{Z}$. We establish results about the typical asymptotic topology of these complexes. As a consequence we give bounds for the dimension $d$ such that $\mathbb{Z}/2\mathbb{Z}$-equivariant maps from the double cover to $\mathbb{R}^d$ have zeros with high probability, thus establishing a random Borsuk--Ulam theorem. We apply this to derive a structural result for pairs of non-adjacent cliques in Erdős--Rényi random graphs.
A Study of Scalarisation Techniques for Multi-Objective QUBO Solving
Published
• View Publication
• BIB
In recent years, there has been significant research interest in solving Quadratic Unconstrained Binary Optimisation (QUBO) problems. Physics-inspired optimisation algorithms have been proposed for deriving optimal or sub-optimal solutions to QUBOs. These methods are particularly attractive within the context of using specialised hardware, such as quantum computers, application specific CMOS and other high performance computing resources for solving optimisation problems. These solvers are then applied to QUBO formulations of combinatorial optimisation problems. Quantum and quantum-inspired optimisation algorithms have shown promising performance when applied to academic benchmarks as well as real-world problems. However, QUBO solvers are single objective solvers. To make them more efficient at solving problems with multiple objectives, a decision on how to convert such multi-objective problems to single-objective problems need to be made. In this study, we compare methods of deriving scalarisation weights when combining two objectives of the cardinality constrained mean-variance portfolio optimisation problem into one. We show significant performance improvement (measured in terms of hypervolume) when using a method that iteratively fills the largest space in the Pareto front compared to a näive approach using uniformly generated weights.