Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Probability Mass Function, Moments and Factorial Moments of the Negative Binomial Distribution NB$(k,r)$
The negative binomial distribution NB$(k,r)$ of Type I is the probability distribution for a sequence of independent Bernoulli trials
(with success parameter $p\in(0,1)$) with $r$ nonoverlapping success runs of length $\ge k$.
We present a new, more concise, expression for its probability mass function.
We show it can also be succinctly written using hypergeometric functions.
We also present new expressions (combinatorial sums) for its moments and factorial moments, as opposed to only the mean and variance (which are already known).
Next, we present an alternative non-combinatorial viewpoint, which yields expressions for the factorial moments not only for nonoverlapping success runs, but also for runs with an overlap of $\ell$, where $\ell\in[0,k-1]$.
The case $\ell=k-1$ is the negative binomial distribution NB$(k,r)$ of Type III.
The results also yield the solution for the negative binomial distribution NB$(k,r)$ with a minimum gap between the success runs (explained in the text).
Addendum 1/23/2024: The probability mass function and factorial moments are derived from the probability generating function.
Addendum 1/26/2024: Alternative expressions are presented for the negative binomial distribution NB$(k,r)$ of Type II.
Lipschitz Functions on Sparse Graphs
In this work we attempt to count the number of integer-valued $h$-Lipschitz functions (functions that change by at most $h$ along edges) on two classes of sparse graphs; grid graphs $L_{m,n}$, and sparse random graphs $G(n,d/n)$. We find that for all $n$-vertex graphs $G$ with $k$ connected components, the number of such functions grows as $(ch)^{n - k}$ for some $1 \le c \le 2$. In particular, letting $α\approx 1.16234$ be the largest solution to $\tan{(1/x)} = x$, we prove that as $n \to \infty$ $$ c = α\sqrt{2} \approx 1.6438\ \ \text{when}\ \ G = L_{2,n} $$ and $$ 1.351 \approx α^2 \le c \le \arctan{(3/4)}^{-1} \approx 1.554\ \ \text{when}\ \ G = L_{n,n} $$ and $$ 1 + \frac{1}{2d} + O\left(\frac{1}{d^2}\right) \le c \le 1 + \frac{4\ln^2{d}}{d} + O\left(\frac{1}{d}\right)\ \ \text{(w.h.p.) when}\ \ G = G(n, d/n) $$
Testing Sumsets is Hard
A subset $S$ of the Boolean hypercube $\mathbb{F}_2^n$ is a sumset if $S = \{a + b : a, b\in A\}$ for some $A \subseteq \mathbb{F}_2^n$. Sumsets are central objects of study in additive combinatorics, featuring in several influential results. We prove a lower bound of $Ω(2^{n/2})$ for the number of queries needed to test whether a Boolean function $f:\mathbb{F}_2^n \to \{0,1\}$ is the indicator function of a sumset. Our lower bound for testing sumsets follows from sharp bounds on the related problem of shift testing, which may be of independent interest. We also give a near-optimal $2^{n/2} \cdot \mathrm{poly}(n)$-query algorithm for a smoothed analysis formulation of the sumset refutation problem.
Generalized Petersen graphs are (1,3)-choosable
A total weighting of a graph $G$ is a mapping $φ$ that assigns a weight to each vertex and each edge of $G$. The vertex-sum of $v \in V(G)$ with respect to $φ$ is $S_φ(v)=\sum_{e\in E(v)}φ(e)+φ(v)$. A total weighting is proper if adjacent vertices have distinct vertex-sums. A graph $G=(V,E)$ is called $(k,k')$-choosable if the following is true: If each vertex $x$ is assigned a set $L(x)$ of $k$ real numbers, and each edge $e$ is assigned a set $L(e)$ of $k'$ real numbers, then there is a proper total weighting $φ$ with $φ(y)\in L(y)$ for any $y \in V \cup E$. In this paper, we prove that the generalized Petersen graphs are $(1,3)$-choosable.
A general theorem in spectral extremal graph theory
Published
• View Publication
• BIB
The extremal graphs $\mathrm{EX}(n,\mathcal F)$ and spectral extremal graphs $\mathrm{SPEX}(n,\mathcal F)$ are the sets of graphs on $n$ vertices with maximum number of edges and maximum spectral radius, respectively, with no subgraph in $\mathcal F$. We prove a general theorem which allows us to characterize the spectral extremal graphs for a wide range of forbidden families $\mathcal F$ and implies several new and existing results. In particular, whenever $\mathrm{EX}(n,\mathcal F)$ contains the complete bipartite graph $K_{k,n-k}$ (or certain similar graphs) then $\mathrm{SPEX}(n,\mathcal F)$ contains the same graph when $n$ is sufficiently large. We prove a similar theorem which relates $\mathrm{SPEX}(n,\mathcal F)$ and $\mathrm{SPEX}_α(n,\mathcal F)$, the set of $\mathcal F$-free graphs which maximize the spectral radius of the matrix $A_α=αD+(1-α)A$, where $A$ is the adjacency matrix and $D$ is the diagonal degree matrix.
Hub location with congestion and time-sensitive demand
Published
• View Publication
• BIB
This work studies the effect of hub congestion and time-sensitive demand on a hub-and-spoke location/allocation system. The Hub Location with Congestion and Time-sensitive Demand Problem is introduced, which combines these two main characteristics. On the one hand, hubs can be activated at several service levels, each of them characterized by a maximum capacity, expressed as the amount of flow that may circulate through the hub, which is associated with a hub transit time. On the other hand, alternative levels are available for served commodities, where each demand level is characterized by its amount of demand, unit revenue, and maximum service time. In this problem the efficiency of a hub-and-spoke system is given by the maximum net profit it may produce. To the best of our knowledge this is the first work where hub congestion and time-sensitive demand are jointly considered. Two alternative mixed-integer linear programming formulations are proposed. They include a new set of constraints, which are necessary to guarantee the consistency of the obtained solutions under the presence of the capacity-type constraints derived from hub service levels and served demand levels. The efficiency of the formulations is analyzed through a set of computational experiments. The results of the computational experiments allow to study the structure of the obtained solutions and to analyze how the different parameters affect them.
Rainbow Numbers for the Generalized Schur Equation $x_1 + x_2 + \cdots + x_{m-1} = x_m$
We consider the rainbow Schur number $RS_m(n)$, defined to be the minimum number of colors such that every coloring of $\{1,2,\ldots,n\}$, using all $RS_m(n)$ colors, contains a rainbow solution to the equation $x_1+x_2+\cdots +x_{m-1}=x_m$. Recently, the exact values of $RS_3(n)$ and $RS_4(n)$ were determined for all $n$. In this paper, we expand upon this work by providing a formula for $RS_m(n)$ that holds for all $m \geq 4$ and all $n$. A weakened version of the rainbow Schur number is also considered, for which one seeks solutions to the above-mentioned linear equation where, for a fixed $t \leq m$, at least $t$ colors are used.
Jones' conjecture for Halin graphs and a bit more
We prove Jones' famous conjecture for Halin graphs and a somewhat more general class of graphs too. A based planar graph is a planar one that has a face adjacent to every other face. We confirm Jones' conjecture for based planar graphs. Namely, if a based planar graph does not contain $k+1$ vertex-disjoint cycles, then it suffices to delete $2k$ vertices to make it acyclic.
Unit interval parking functions and the $r$-Fubini numbers
Published
• View Publication
• BIB
We recall that unit interval parking functions of length $n$ are a subset of parking functions in which every car parks in its preference or in the spot after its preference, and Fubini rankings of length $n$ are rankings of $n$ competitors allowing for ties. We present an independent proof of a result of Hadaway, which establishes that unit interval parking functions and Fubini rankings are in bijection. We also prove that the cardinality of these sets are given by Fubini numbers. In addition, we give a complete characterization of unit interval parking functions by determining when a rearrangement of a unit interval parking function is again a unit interval parking function. This yields an identity for the Fubini numbers as a sum of multinomials over compositions. Moreover, we introduce a generalization of Fubini rankings, which we call the $r$-Fubini rankings of length $n+r$. We show that this set is in bijection with unit interval parking functions of length $n+r$ where the first $r$ cars have distinct preferences. We conclude by establishing that these sets are enumerated by the $r$-Fubini numbers.
An approach to the moments subset sum problem through systems of diagonal equations over finite fields
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be the finite field of $q$ elements, for a given subset $D\subset \mathbb{F}_q$, $m\in \mathbb{N}$, an integer $k\leq |D|$ and $\boldsymbol{b}\in \mathbb{F}_q^m$ we are interested in determining the existence of a subset $S\subset D$ of cardinality $k$ such that $\sum_{a\in S}a^i=b_i$ for $i=1,\ldots, m$. This problem is known as the moment subset sum problem and it is $NP$-complete for a general $D$. We make a novel approach of this problem trough algebraic geometry tools analyzing the underlying variety and employing combinatorial techniques to estimate the number of $\mathbb{F}_q$-rational points on certain varieties. We managed to give estimates on the number of $\mathbb{F}_q$-rational points on certain diagonal equations and use this results to give estimations and existence results for the subset sum problem.
Colored stochastic vertex models with U-turn boundary
In this paper, we introduce a class of colored stochastic vertex models with U-turn right boundary. The vertex weights in the models satisfy the Yang-Baxter equations and the reflection equation. Based on these equations, we derive recursive relations for partition functions of the models.
Countable homogeneous ordered bipartite graphs
Published
• View Publication
• BIB
A classification is given of all the countable homogeneous ordered bipartite graphs.
Integral Cayley graphs over a group of order $6n$
Published
• View Publication
• BIB
In this paper, we study the integral Cayley graphs over a non-abelian group $U_{6n}=\langle a,b\mid a^{2n}=b^3=1, a^{-1}ba=b^{-1}\rangle$ of order $6n$. We give a necessary and sufficient condition for the integrality of Cayley graphs over $U_{6n}$. We also study relationships between the integrality of Cayley graphs over $U_{6n}$ and the Boolean algebra of cyclic groups. As applications, we construct some infinite families of connected integral Cayley graphs over $U_{6n}$.
Algebraic degrees of $n$-Cayley digraphs over abelian groups
Published
• View Publication
• BIB
A digraph is called an $n$-Cayley digraph if its automorphism group has an $n$-orbit semiregular subgroup. We determine the splitting fields of $n$-Cayley digraphs over abelian groups and compute a bound on their algebraic degrees, before applying our results on Cayley digraphs over non-abelian groups.
Are there "small cardinal models" of a Banach space, whose dual space is in Stegall`s class, but it is not $weak^{*}$-fragmentable, or large cardinals are a must?
It is well-known that if $Y$ is a Banach space the $weak^{*}$-fragmentability of its dual space by some metric $ρ$ implies that $Y^{*}$ belongs to the Stegall class -- the former for shortly $\mathcal{W^*}F$, being the latter $\mathcal{S}$ and hence $Y$ is weak Asplund -- call it $\mathcal{WA}$ . It has been proved by O. Kalenda and Kunen that existence of a measurable cardinal implies (it is consistent) that, for instance in the construction of Kalenda Compacts - this space is in the Stegall`s class iff both inclusions of classes are strictly proper. The same authors made following question, is there a model of ZFC, in which the inclusion of $\mathcal{WA}$ in $\mathcal{S}$ actually is equality. Obviously, because of their result the existence of large cardinals ( supercompacts, strongly-compacts, strong cardinals, huge cardinals, Vopěnka principle) would be a models of the proper inclusion of the above - mentioned classes, being with more consistency power even, see Thomas Jech [TJ03] and Saharon Shelah [SSH17].
A unified framework for the Expander Mixing Lemma for irregular graphs and its applications
Published
• View Publication
• BIB
A unified framework for the Expander Mixing Lemma for irregular graphs using adjacency eigenvalues is presented, as well as two new versions of it. While the existing Expander Mixing Lemmas for irregular graphs make use of the notion of volume (the sum of degrees within a vertex set), we instead propose to use the Perron eigenvector entries as vertex weights, which is a way to regularise the graph. This provides a new application of weight partitions of graphs. The new Expander Mixing Lemma versions are then applied to obtain several eigenvalue bounds for NP-hard parameters such as the zero forcing number, the vertex integrity and the routing number of a graph.
Spectral non-concentration near the top for unimodular random graphs
In recent work on equiangular lines, Jiang, Tidor, Yuan, Zhang, and Zhao showed that a connected bounded degree graph has sublinear second eigenvalue multiplicity. More generally they show that there cannot be too many eigenvalues near the top of the spectrum. We extend this result to infinite unimodular random graphs. As a corollary, the spectral distribution of the adjacency operator cannot have an atom at the top. For an infinite regular expander, we deduce that the singularity of the spectral measure at the top satisfies $μ_G[(1-θ)ρ,ρ] \lesssim θ^c$ for some constant $c>0$, where $ρ$ is the spectral radius of the adjacency operator of the graph. This implies new general estimates on the return probabilities of random walks.
Gorenstein toric Schubert varieties in Grassmannians
A partial flag variety is a smooth projective homogeneous variety admitting an action of a maximal torus $T$. Schubert varieties are $T$-invariant subvarieties of the partial flag varieties. We study toric Schubert varieties in Grassmannian varieties with respect to the action of the torus $T$. Indeed, we present an explicit description of the fan of a Gorenstein toric Schubert variety in a Grassmannian, and we prove that any Gorenstein toric Schubert variety in a Grassmannian variety is Fano.
Shuffle theorems and sandpiles
We provide an explicit description of the recurrent configurations of the sandpile model on a family of graphs $\widehat{G}_{μ,ν}$, which we call clique-independent graphs, indexed by two compositions $μ$ and $ν$. Moreover, we define a delay statistic on these configurations, and we show that, together with the usual level statistic, it can be used to provide a new combinatorial interpretation of the celebrated shuffle theorem of Carlsson and Mellit. More precisely, we will see how to interpret the polynomials $\langle \nabla e_n, e_μh_ν\rangle$ in terms of these configurations.
An Optimal Randomized Algorithm for Finding the Saddlepoint
A \emph{saddlepoint} of an $n \times n$ matrix is an entry that is the maximum of its row and the minimum of its column. Saddlepoints give the \emph{value} of a two-player zero-sum game, corresponding to its pure-strategy Nash equilibria; efficiently finding a saddlepoint is thus a natural and fundamental algorithmic task.
For finding a \emph{strict saddlepoint} (an entry that is the strict maximum of its row and the strict minimum of its column) we recently gave an $O({n\log^*{n}})$-time algorithm, improving the $O({n\log{n}})$ bounds from 1991 of Bienstock, Chung, Fredman, Schäffer, Shor, Suri and of Byrne and Vaserstein.
In this paper we present an optimal $O({n})$-time algorithm for finding a strict saddlepoint based on random sampling. Our algorithm, like earlier approaches, accesses matrix entries only via unit-cost binary comparisons. For finding a (non-strict) saddlepoint, we extend an existing lower bound to randomized algorithms, showing that the trivial $O(n^2)$ runtime cannot be improved even with the use of randomness.