Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Sets of mutually orthogoval projective and affine planes
Published
• View Publication
• BIB
A pair of planes, both projective or both affine, of the same order and on the same pointset are orthogoval if each line of one plane intersects each line of the other plane in at most two points. In this paper we prove new constructions for sets of mutually orthogoval planes, both projective and affine, and review known results that are equivalent to sets of more than two mutually orthogoval planes. We also discuss the connection between sets of mutually orthogoval planes and covering arrays.
New binomial Fibonacci sums
We present some new linear, quadratic, cubic and quartic binomial Fibonacci, Lucas and Fibonacci--Lucas summation identities.
The emergence of a giant rainbow component
Published
• View Publication
• BIB
The random coloured graph $G_c(n,p)$ is obtained from the Erdős-Rényi binomial random graph $G(n,p)$ by assigning to each edge a colour from a set of $c$ colours independently and uniformly at random. It is not hard to see that, when $c = Θ(n)$, the order of the largest rainbow tree in this model undergoes a phase transition at the critical point $p=\frac{1}{n}$. In this paper we determine the asymptotic order of the largest rainbow tree in the \emph{weakly sub- and supercritical regimes}, when $p = \frac{1+\varepsilon}{n}$ for some $\varepsilon=\varepsilon(n)$ which satisfies $\varepsilon = o(1)$ and $|\varepsilon|^3 n\to\infty$. In particular, we show that in both of these regimes with high probability the largest component of $G_c(n,p)$ contains an almost spanning rainbow tree. We also consider the order of the largest rainbow tree in the \emph{sparse regime}, when $p = \frac{d}{n}$ for some constant $d >1$. Here we show that the largest rainbow tree has linear order, and, moreover, for $d$ and $c$ sufficiently large, with high probability $G_c(n,p)$ even contains an almost spanning rainbow cycle.
On sub-graphs of the Johnson $\mathcal{J}(n,k)$ graph induced by particle systems on simple graphs
Understanding the topology of the state space has proven to be extremely efficient for dynamical systems with a continuous state space. On the other hand, for particle systems on finite simple graphs, it has not yet been subject to deep investigation due to combinatorial hurdles and existing efficient spectral theoretic approaches to the analysis of classical particle systems. In the context of complex systems with heterogeneous interactions of particles, these techniques can break down due to intractability. This work provides a tool box of results on the topology of state spaces of particles systems under the sole conditions that exactly one particle moves at a time and no two particles may occupy the same vertex at the same time. The Johnson $\mathcal{J}(n,k)$ graph yields the overarching structure and we prove that any particle system with exclusion property and single particle movements may be embedded as a dynamical system on a sub-graph of $\mathcal{J}(n,k)$.
Generic Orthotopes
This article studies a large, general class of orthogonal polytopes which we may call "generic orthotopes". These objects emerged from a desire to represent a Coxeter complex by an orthogonal polytope that is particularly nice with respect to traditional topological, structural, or combinatorial considerations. Generic orthotopes have a pleasant "homogeneity" property, somewhat like a smoothly bounded compact subset of Euclidean space. Thus, as soon as we demand that every vertex of an orthogonal polytope be a floral arrangement, as defined here, many derivative structures such as faces and cross-sections are also described by floral arrangements. We also give formulas for the volume and Euler characteristic of a generic orthotope using a couple of statistics that are defined naturally for floral arrangements.
Cop and robber on finite spaces
A cop tries to capture a robber in a topological space $X$ being unable to see him. For which spaces $X$ does the cop have a strategy which allows him to capture the robber independently of his efforts to escape? In other words, when is there a curve $γ: \mathbb{R}_{\ge 0}\to X$ which has a coincidence with any other curve in $X$. We analyze in particular the case of finite topological spaces and discover general results and exotic examples about paths in these spaces.
Almost all 9-regular graphs have a modulo-5 orientation
Published
• View Publication
• BIB
In 1972 Tutte famously conjectured that every 4-edge-connected graph has a nowhere zero 3-flow; this is known to be equivalent to every 5-regular, 4-edge-connected graph having an edge orientation in which every in-degree is either 1 or 4. Jaeger conjectured a generalization of Tutte's conjecture, namely, that every $4p+1$-regular, $4p$-edge-connected graph has an edge orientation in which every in-degree is either $p$ or $3p+1$. Inspired by the work of Pralat and Wormald investigating $p=1$, for $p=2$ we show this holds asymptotically almost surely for random 9-regular graphs. It follows that the conjecture holds for almost all 9-regular, 8-edge-connected graphs. These results make use of the technical small subgraph conditioning method.
Estimating and computing Kronecker Coefficients: a vector partition function approach
We study the Kronecker coefficients $g_{λ, μ, ν}$ via a formula that was described by Mishna, Rosas, and Sundaram, in which the coefficients are expressed as a signed sum of vector partition function evaluations. In particular, we use this formula to determine formulas to evaluate, bound, and estimate $g_{λ, μ, ν}$ in terms of the lengths of the partitions $λ, μ$, and $ν$. We describe a computational tool to compute Kronecker coefficients $g_{λ, μ, ν}$ with $\ell(μ) \leq 2,\ \ell(ν) \leq 4,\ \ell(λ) \leq 8$. We present a set of new vanishing conditions for the Kronecker coefficients by relating to the vanishing of the related atomic Kronecker coefficients, themselves given by a single vector partition function evaluation. We give a stable face of the Kronecker polyhedron for any positive integers $m,n$. Finally, we give upper bounds on both the atomic Kronecker coefficients and Kronecker coefficients.
Weighted Coordinates Poset Block Codes
Published
• View Publication
• BIB
Given $[n]=\{1,2,\ldots,n\}$, a partial order $\preceq$ on $[n]$, a label map $π: [n] \rightarrow \mathbb{N}$ defined by $π(i) = k_i$ with $\sum_{i=1}^{n}π(i) = N$, the direct sum $ \mathbb{F}_{q}^{k_1} \oplus \mathbb{F}_{q}^{k_2}\oplus \ldots \oplus \mathbb{F}_{q}^{k_n} $ of $ \mathbb{F}_q^N $, and a weight function $w$ on $ \mathbb{F}_q $, we define a poset block metric $d_{(P,w,π)}$ on $\mathbb{F}_{q}^{N}$ based on the poset $P=([n],\preceq)$. The metric $d_{(P,w,π)}$ is said to be weighted coordinates poset block metric ($(P,w,π)$-metric). It extends the weighted coordinates poset metric ($(P,w)$-metric) introduced by L. Panek and J. A. Pinheiro and generalizes the poset block metric ($(P,π)$-metric) introduced by M. M. S. Alves et al. We determine the complete weight distribution of a $(P,w,π)$-space, thereby obtaining it for $(P,w)$-space, $(P,π)$-space, $π$-space, and $P$-space as special cases. We obtain the Singleton bound for $(P,w,π)$-codes and for $(P,w)$-codes as well. In particular, we re-obtain the Singleton bound for any code with respect to $(P,π)$-metric and $P$-metric. Moreover, packing radius and Singleton bound for NRT block codes are found.
Short rainbow cycles for families of matchings and triangles
Published
• View Publication
• BIB
A generalization of the famous Caccetta--Häggkvist conjecture, suggested by Aharoni [Rainbow triangles and the Caccetta-Häggkvist conjecture, J. Graph Theory (2019)], is that any family $\mathcal{F}=(F_1, \ldots,F_n)$ of sets of edges in $K_n$, each of size $k$, has a rainbow cycle of length at most $\lceil \frac{n}{k}\rceil$. In [Rainbow cycles for families of matchings, Israel J. Math. (2023)] and [Non-uniform degrees and rainbow versions of the Caccetta-Häggkvist conjecture, SIAM J. Discrete Math. (2023)] it was shown that asymptotically this can be improved to $O(\log n)$ if all sets are matchings of size 2, or all are triangles. We show that the same is true in the mixed case, i.e., if each $F_i$ is either a matching of size 2 or a triangle. We also study the case that each $F_i$ is a matching of size 2 or a single edge, or each $F_i$ is a triangle or a single edge, and in each of these cases we determine the threshold proportion between the types, beyond which the rainbow girth goes from linear to logarithmic.
Variations on the Missionaries and Cannibals Problem
We explore both automated and human approaches to the generalized Missionaries and Cannibals problem.
Inequalities for $f^*$-vectors of Lattice Polytopes
Published in Advances in Geometry 24 (2024), no. 2, 141-150
• View Publication
• BIB
The Ehrhart polynomial $\text{ehr}_P(n)$ of a lattice polytope $P$ counts the number of integer points in the $n$-th integral dilate of $P$. The $f^*$-vector of $P$, introduced by Felix Breuer in 2012, is the vector of coefficients of $\text{ehr}_P(n)$ with respect to the binomial coefficient basis $ \left\{\binom{n-1}{0},\binom{n-1}{1},...,\binom{n-1}{d}\right\}$, where $d = \dim P$. Similarly to $h/h^*$-vectors, the $f^*$-vector of $P$ coincides with the $f$-vector of its unimodular triangulations (if they exist). We present several inequalities that hold among the coefficients of $f^*$-vectors of polytopes. These inequalities resemble striking similarities with existing inequalities for the coefficients of $f$-vectors of simplicial polytopes; e.g., the first half of the $f^*$-coefficients increases and the last quarter decreases. Even though $f^*$-vectors of polytopes are not always unimodal, there are several families of polytopes that carry the unimodality property. We also show that for any polytope with a given Ehrhart $h^*$-vector, there is a polytope with the same $h^*$-vector whose $f^*$-vector is unimodal.
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.