Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Improved Analysis of Higher Order Random Walks and Applications
Published
• View Publication
• BIB
The motivation of this work is to extend the techniques of higher order random walks on simplicial complexes to analyze mixing times of Markov chains for combinatorial problems. Our main result is a sharp upper bound on the second eigenvalue of the down-up walk on a pure simplicial complex, in terms of the second eigenvalues of its links. We show some applications of this result in analyzing mixing times of Markov chains, including sampling independent sets of a graph and sampling common independent sets of two partition matroids.
Wiener index of unicycle graphs with given number of even degree vertices
Published
• View Publication
• BIB
The Wiener index of a connected graph is the sum of the distance of all pairs of distinct vertices. It was introduced by Wiener in 1947 to analyze some aspects of branching by fitting experimental data for several properties of alkane compounds. Denote by $\mathcal{U}_{n,r}$ the set of unicyclic graphs with $n$ vertices and $r$ vertices of even degree. In this paper we present a structural result on the graphs in $\mathcal{U}_{n,r}$ with minimum Wiener index and completely characterize such graphs when $ r\leq \frac{n+3}{2}$.
Regular $3$-polytopes of order $2^np$
Published
• View Publication
• BIB
In [Problems on polytopes, their groups, and realizations, Periodica Math. Hungarica 53 (2006) 231-255] Schulte and Weiss proposed the following problem: {\em Characterize regular polytopes of orders $2^np$ for $n$ a positive integer and $p$ an odd prime}. In this paper, we first prove that if a $3$-polytope of order $2^np$ has Schläfli type $\{k_1, k_2\}$, then $p \mid k_1$ or $p \mid k_2$. This leads to two classes, up to duality, for the Schläfli type, namely Type (1) where $k_1=2^sp$ and $k_2=2^t$ and Type (2) where $k_1=2^sp$ and $k_2=2^tp$. We then show that there exists a regular $3$-polytope of order $2^np$ with Type (1) when $s\geq 2$, $t\geq 2$ and $n\geq s+t+1$ coming from a general construction of regular $3$-polytopes of order $2^n\ell_1\ell_2$ with Schläfli type $\{2^s\ell_1,2^t\ell_2\}$ where both $\ell_1$ and $\ell_2$ are odd. Furthermore, for $p=3$ and $n \geq 7$, we show that there exists a regular 3-polytope of order $3\cdot2^n$ with type $\{6,2^s\}$ if and only if $2\leq s \leq n-2$ and $s \neq n-3$. For Type (2), we prove that there exists a regular $3$-polytope of order $2^n\cdot 3$ with Schläfli type $\{6, 6\}$ when $n \ge 5$ coming from a general construction of regular $3$-polytopes of Schläfli type $\{6,6\}$ with orders $192m^3$, $384m^3$ or $768m^3$, for any positive integer $m$.
Independent Domination in Subcubic Graphs
Published
• View Publication
• BIB
A set $S$ of vertices in a graph $G$ is a dominating set if every vertex not in $S$ is adjacent to a vertex in $S$. If, in addition, $S$ is an independent set, then $S$ is an independent dominating set. The independent domination number $i(G)$ of $G$ is the minimum cardinality of an independent dominating set in $G$. In 2013 Goddard and Henning [Discrete Math 313 (2013), 839--854] conjectured that if $G$ is a connected cubic graph of order $n$, then $i(G) \le \frac{3}{8}n$, except if $G$ is the complete bipartite graph $K_{3,3}$ or the $5$-prism $C_5 \, \Box \, K_2$. Further they construct two infinite families of connected cubic graphs with independent domination three-eighths their order. They remark that perhaps it is even true that for $n > 10$ these two families are only families for which equality holds. In this paper, we provide a new family of connected cubic graphs $G$ of order $n$ such that $i(G) = \frac{3}{8}n$. We also show that if $G$ is a subcubic graph of order $n$ with no isolated vertex, then $i(G) \le \frac{1}{2}n$, and we characterize the graphs achieving equality in this bound.
Counting King Permutations on the Cylinder
Published
• View Publication
• BIB
We call a permutation $σ=[σ_1,\dots,σ_n] \in S_n$ a {\em cylindrical king permutation} if $ |σ_i-σ_{i+1}|>1$ for each $1\leq i \leq n-1$ and $|σ_1-σ_n|>1$. We present some results regarding the distribution of the cylindrical king permutations, including some interesting recursions. We also calculate their asymptotic proportion in the set of the 'king permutations', i.e. the ones which satisfy only the first of the two conditions above. With this aim we define a new parameter on permutations, namely, the number of {\em cyclic bonds} which is a modification of the number of bonds. In addition, we present some results regarding the distribution of this parameter.
Powers of two weighted sum of the first p divided Bernoulli numbers modulo p
We show that, modulo some odd prime p, the powers of two weighted sum of the first p-2 divided Bernoulli numbers equals the Agoh-Giuga quotient plus twice the number of permutations on p-2 letters with an even number of ascents and distinct from the identity. We provide a combinatorial characterization of Wieferich primes, as well as of primes p for which p^2 divides the Fermat quotient q_p(2).
Ramsey goodness of trees in random graphs
For a graph $G$, we write $G\rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if every blue-red colouring of the edges of $G$ contains either a blue copy of $K_{r+1}$, or a red copy of each tree with $n$ edges and maximum degree at most $D$. In 1977, Chvátal proved that for any integers $r,n,D \ge 2$, $K_N \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if and only if $N \ge rn+1$. We prove a random analogue of Chvátal's theorem for bounded degree trees, that is, we show that for each $r,D\ge 2$ there exist constants $C,C'>0$ such that if $p \ge C{n}^{-2/(r+2)}$ and $N \geq rn + C'/p$, then \[G(N,p) \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)\] with high probability as $n\to \infty$. The proof combines a stability argument with the embedding of trees in expander graphs. Furthermore, the proof of the stability result is based on a sparse random analogue of the Erdős--Sós conjecture for trees with linear size and bounded maximum degree, which may be of independent interest.
Cops and robbers on $2K_2$-free graphs
Published in Discrete Mathematics, 345(1):112660, January 2022
• View Publication
• BIB
We prove that the cop number of any $2K_2$-free graph is at most 2, proving a conjecture of Sivaraman and Testa. We also show that the upper bound of $3$ on the cop number of $2K_1+K_2$-free (co-diamond--free) graphs is best possible.
Kostant's partition function and magic multiplex juggling sequences
Published in Ann. Comb. 24, 439-473 (2020)
• View Publication
• BIB
Kostant's partition function is a vector partition function that counts the number of ways one can express a weight of a Lie algebra $\mathfrak{g}$ as a nonnegative integral linear combination of the positive roots of $\mathfrak{g}$. Multiplex juggling sequences are generalizations of juggling sequences that specify an initial and terminal configuration of balls and allow for multiple balls at any particular discrete height. Magic multiplex juggling sequences generalize further to include magic balls, which cancel with standard balls when they meet at the same height. In this paper, we establish a combinatorial equivalence between positive roots of a Lie algebra and throws during a juggling sequence. This provides a juggling framework to calculate Kostant's partition functions, and a partition function framework to compute the number of juggling sequences. From this equivalence we provide a broad range of consequences and applications connecting this work to polytopes, posets, positroids, and weight multiplicities.
Average-case complexity of the Euclidean algorithm with a fixed polynomial over a finite field
We analyze the behavior of the Euclidean algorithm applied to pairs (g,f) of univariate nonconstant polynomials over a finite field F_q of q elements when the highest-degree polynomial g is fixed. Considering all the elements f of fixed degree, we establish asymptotically optimal bounds in terms of q for the number of elements f which are relatively prime with g and for the average degree of gcd(g,f). The accuracy of our estimates is confirmed by practical experiments. We also exhibit asymptotically optimal bounds for the average-case complexity of the Euclidean algorithm applied to pairs (g,f) as above.
A simpler winning strategy for Sim
We give a simple human-playable winning strategy for the second player in the game of Sim.
Extensions of Autocorrelation Inequalities with Applications to Additive Combinatorics
Published
• View Publication
• BIB
In a 2019 paper, Barnard and Steinerberger show that for $f\in L^1(\mathbf{R})$, the following autocorrelation inequality holds: \begin{equation*}
\min_{0 \leq t \leq 1} \int_\mathbf{R} f(x) f(x+t)\ \mathrm{d}x \ \leq\ 0.411 ||f||_{L^1}^2, \end{equation*} where the constant $0.411$ cannot be replaced by $0.37$. In addition to being interesting and important in their own right, inequalities such as these have applications in additive combinatorics where some problems, such as those of minimal difference basis, can be encapsulated by a convolution inequality similar to the above integral. Barnard and Steinerberger suggest that future research may focus on the existence of functions extremizing the above inequality (which is itself related to Brascamp-Lieb type inequalities).
We show that for $f$ to be extremal under the above, we must have \begin{equation*}
\max_{x_1 \in \mathbf{R} }\min_{0 \leq t \leq 1} \left[ f(x_1-t)+f(x_1+t) \right] \ \leq\ \min_{x_2 \in \mathbf{R} } \max_{0 \leq t \leq 1} \left[ f(x_2-t)+f(x_2+t) \right] . \end{equation*} Our central technique for deriving this result is local perturbation of $f$ to increase the value of the autocorrelation, while leaving $||f||_{L^1}$ unchanged. These perturbation methods can be extended to examine a more general notion of autocorrelation. Let $d,n \in \mathbb{Z}^+$, $f \in L^1$, $A$ be a $d \times n$ matrix with real entries and columns $a_i$ for $1 \leq i \leq n$, and $C$ be a constant. For a broad class of matrices $A$, we prove necessary conditions for $f$ to extremize autocorrelation inequalities of the form \begin{equation*}
\min_{ \mathbf{t} \in [0,1]^d } \int_{\mathbf{R}} \prod_{i=1}^n\ f(x+ \mathbf{t} \cdot a_i)\ \mathrm{d}x\ \leq\ C ||f||_{L^1}^n. \end{equation*}
Scaffolds: a graph-based system for computations in Bose-Mesner algebras
Published
• View Publication
• BIB
Let $X$ be a finite set and let $\mathsf{Mat}_X(\mathbb{C})$ denote the algebra of matrices with rows and columns indexed by $X$ and entries from the complex numbers acting on $\mathbb{C}^X$ with standard basis $\{ \hat{x} \mid x\in X\}$. For a digraph $G=(V(G),E(G))$, function $R:[m] \rightarrow V(G)$ with $r_j := R(j)$, and a function $w$ from the arcs of $G$ to $\mathsf{Mat}_X(\mathbb{C})$, we define the "scaffold" $\mathsf{S}(G,R;w)$ as the sum over all functions $\varphi$ from $V(G)$ to $X$ of the $m$-fold tensors $\widehat{\varphi(r_1)} \otimes \widehat{\varphi(r_2)} \otimes \cdots \otimes \widehat{\varphi(r_m)}$ scaled by the product of the entries $w(e)_{\varphi(a),\varphi(b)}$ over all arcs $e=(a,b)$ of $G$. Scaffolds can be used to count, among other things, digraph homomorphisms and association scheme parameters such as generalized intersection numbers. They also arise in the the theory of link invariants and spin models.
These diagrams were introduced in the late 1980s by Arnold Neumaier and have been used implicitly by various authors working with association schemes. We revisit results of several authors, rephrasing their proofs in terms of these diagrams and certain rules of manipulation (or "moves") on diagrams. Our goal is to collect and present, in a uniform fashion, Neumaier's original idea extended to tensors and its used by various authors. Sometimes the term "star-triangle diagram" appears for what we, in this paper, call "scaffolds".
Restricting to the case where edge weights are chosen from a coherent algebra, we explore the vector space $\mathsf{W}((G,R); \mathbb{A})$ spanned by all scaffolds defined on rooted diagram $(G,R)$ and establish a connection to graph minors. We end with a conjecture about planar scaffolds that draws a connection between association scheme duality and the duality of plane graphs.
A proof of the Erdös similarity conjecture
We show that for any infinite set $A$ in ${\mathbb R}$, there exists a compact set $E \subseteq \mathbb{R}$ of positive Lebesgue measure that does not contain any non-trivial affine copy of $A$. This proves the Erdös similarity conjecture.
Induced odd cycle packing number, independent sets, and chromatic number
The induced odd cycle packing number $iocp(G)$ of a graph $G$ is the maximum integer $k$ such that $G$ contains an induced subgraph consisting of $k$ pairwise vertex-disjoint odd cycles. Motivated by applications to geometric graphs, Bonamy et al.~\cite{indoc} proved that graphs of bounded induced odd cycle packing number, bounded VC dimension, and linear independence number admit a randomized EPTAS for the independence number. We show that the assumption of bounded VC dimension is not necessary, exhibiting a randomized algorithm that for any integers $k\ge 0$ and $t\ge 1$ and any $n$-vertex graph $G$ of induced odd cycle packing number at most $k$ returns in time $O_{k,t}(n^{k+4})$ an independent set of $G$ whose size is at least $α(G)-n/t$ with high probability. In addition, we present $χ$-boundedness results for graphs with bounded odd cycle packing number, and use them to design a QPTAS for the independence number only assuming bounded induced odd cycle packing number.
A simple symmetric exclusion process driven by an asymmetric tracer particle
Published in Annales de l'Institut Henri Poincare D, 10 no. 4, (2023) 687--713
• View Publication
• BIB
We consider an exclusion process on a periodic one-dimensional lattice where all particles perform simple symmetric exclusion at rate $1$ except for a single tracer particle, which performs partially simple asymmetric exclusion with rate $p$ to the right and rate $q$ to the left. This model was first considered by Ferrari, Goldstein and Lebowitz (Progr. Phys., 1985) as a test for the validity of the Einstein relation in microscopic systems.
The main thrust of this work is an exact solution for the steady state of this exclusion process. We show that the stationary probabilities factorize and give an exact formula for the nonequilibrium partition function. Perhaps surprisingly, we find that the nonequilibrium free energy in the steady state is not well-defined for this system in the thermodynamic limit for any values of $p$ and $q$ if $p \neq q$. We provide formulas for the current and two-point correlations. When the tracer particle performs asymmetric exclusion ($q=0$), the results are shown to simplify significantly and we find an unexpected connection with the combinatorics of set partitions. Finally, we study the system from the point of view of the tracer particle, the so-called environment process. In the environment process, we show that the density of particles decays exponentially with the scaled position in front of the tracer particle in the thermodynamic limit.
Edge colorings and circular flows on regular graphs
Published in Journal Graph Theory 99 (2022) 399-413
• View Publication
• BIB
Let $φ_c(G)$ be the circular flow number of a bridgeless graph $G$. In [Edge-colorings and circular flow numbers of regular graphs, J. Graph Theory 79 (2015) 1-7] it was proved that, for every $t \geq 1$, $G$ is a bridgeless $(2t+1)$-regular graph with $φ_c(G) \in \{2+\frac{1}{t}, 2 + \frac{2}{2t-1}\}$ if and only if $G$ has a perfect matching $M$ such that $G-M$ is bipartite. This implies that $G$ is a class 1 graph. For $t=1$, all graphs with circular flow number bigger than 4 are class 2 graphs. We show for all $t \geq 1$, that $2 + \frac{2}{2t-1} = \inf \{ φ_c(G)\colon G \text{ is a } (2t+1) \text{-regular class } 2 \text{ graph}\}$. This was conjectured to be true in [Edge-colorings and circular flow numbers of regular graphs, J. Graph Theory 79 (2015) 1-7]. Moreover we prove that $\inf\{ φ_c(G)\colon G $ is a $ (2t+1)$-regular class $1$ graph with no perfect matching whose removal leaves a bipartite graph$ \} = 2 + \frac{2}{2t-1}$. We further disprove the conjecture that every $(2t+1)$-regular class $1$ graph has circular flow number at most $2+\frac{2}{t}$.
Fractional strong matching preclusion for Cartesian product graphs
Published
• View Publication
• BIB
The strong matching preclusion number of a graph, introduced by Park and Ihm in 2011, is the minimum number of vertices and edges whose deletion results in a graph that has neither perfect matchings nor almost perfect matchings. As a generalization, the fractional strong matching preclusion number of a graph is the minimum number of edges and vertices whose deletion leaves the resulting graph without a fractional perfect matching. In this paper, we obtain the fractional strong matching preclusion number for Cartesian product graphs. As an application, the fractional strong matching preclusion number for torus networks is obtained.
On Basic Operations Related to Network Induction of Discrete Convex Functions
Published
• View Publication
• BIB
Discrete convex functions are used in many areas, including operations research, discrete-event systems, game theory, and economics. The objective of this paper is to investigate basic operations such as direct sum, splitting, and aggregation that are related to network induction of discrete convex functions as well as discrete convex sets. Various kinds of discrete convex functions in discrete convex analysis are considered such as integrally convex functions, L-convex functions, M-convex functions, multimodular functions, and discrete midpoint convex functions.
Intersection between pencils of tubes, discretized sum-product, and radial projections
Published
• View Publication
• BIB
In this paper we prove the following results in the plane. They are related to each other, while each of them has its own interest.
First we obtain an $ε_0$-increment on intersection between pencils of $δ$-tubes, under non-concentration conditions. In fact we show it is equivalent to the discretized sum-product problem, thus the $ε_0$ follows from Bourgain's celebrated result.
Then we prove a couple of new results on radial projections. We also discussion about the dependence of $ε_0$ and make a new conjecture.
A tube condition on Frostman measures, after careful refinement, is also given.