Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Counting quiddities of polygon dissections
Published
• View Publication
• BIB
We formulate the following general problem. To the best of our knowledge, it is open and has not previously been considered. It seems (at least to us!) to be difficult; at any rate, more difficult than enumerating the dissections themselves. Enumerate the distinct quiddities of dissections of the $N$-gon into $m$ cells.
Comparing Eigenvector and Degree Dispersion with the Principal Ratio of a Graph
Published
• View Publication
• BIB
The principal ratio of a graph is the ratio of the greatest and least entry of its principal eigenvector. Since the principal ratio compares the extreme values of the principal eigenvector it is sensitive to outliers. This can be problematic for graphs (networks) drawn from empirical data. To account for this we consider the dispersion of the principal eigenvector (and degree vector). More precisely, we consider the coefficient of variation of the aforementioned vectors, that is, the ratio of the vector's standard deviation and mean. We show how both of these statistics are bounded above by the same function of the principal ratio. Further this bound is sharp for regular graphs. The goal of this paper is to show that the coefficient of variation of the principal eigenvector (and degree vector) can converge or diverge to the principal ratio in the limit. In doing so we find an example of a graph family (the complete split graph) whose principal ratio converges to the golden ratio. We conclude with conjectures concerning extremal graphs of the aforementioned statistics and interesting properties of the complete split graph.
Eigenvalues and spectral gap in sparse random simplicial complexes
Published
• View Publication
• BIB
We consider the adjacency operator $A$ of the Linial-Meshulam model $X(d,n,p)$ for random $d-$dimensional simplicial complexes on $n$ vertices, where each $d-$cell is added independently with probability $p\in[0,1]$ to the complete $(d-1)$-skeleton. We consider sparse random matrices $H$, which are generalizations of the centered and normalized adjacency matrix $\mathcal{A}:=(np(1-p))^{-1/2}\cdot(A-\mathbb{E}\left[A\right])$, obtained by replacing the Bernoulli$(p)$ random variables used to construct $A$ with arbitrary bounded distribution $Z$. We obtain bounds on the expected Schatten norm of $H$, which allow us to prove results on eigenvalue confinement and in particular that $\left\Vert H\right\Vert _{2}$ converges to $2\sqrt{d}$ both in expectation and $\mathbb{P}-$almost surely as $n\to\infty$, provided that $\mathrm{Var}(Z)\gg\frac{\log n}{n}$. The main ingredient in the proof is a generalization of [LVHY18,Theorem 4.8] to the context of high-dimensional simplicial complexes, which may be regarded as sparse random matrix models with dependent entries.
On the bounding, splitting, and distributivity numbers
Published
• View Publication
• BIB
The cardinal invariants $ \mathfrak h, \mathfrak b, \mathfrak s$ of $\mathcal P (ω)$ are known to satisfy that $ω_1 \leq \mathfrak h \leq\min\{\mathfrak b, \mathfrak s\}$. We prove that all inequalities can be strict. We also introduce a new upper bound for $\mathfrak h$ and show that it can be less than $\mathfrak s$. The key method is to utilize finite support matrix iterations of ccc posets following \cite{BlassShelah}.
On packing dijoins in digraphs and weighted digraphs
Published
• View Publication
• BIB
Let $D=(V,A)$ be a digraph. A dicut is a cut $δ^+(U)\subseteq A$ for some nonempty proper vertex subset $U$ such that $δ^-(U)=\emptyset$, a dijoin is an arc subset that intersects every dicut at least once, and more generally a $k$-dijoin is an arc subset that intersects every dicut at least $k$ times. Our first result is that $A$ can be partitioned into a dijoin and a $(τ-1)$-dijoin where $τ$ denotes the smallest size of a dicut. Woodall conjectured the stronger statement that $A$ can be partitioned into $τ$ dijoins.
Let $w\in \mathbb{Z}^A_{\geq 0}$ and suppose every dicut has weight at least $τ$, for some integer $τ\geq 2$. Let $ρ(τ,D,w):=\frac{1}τ\sum_{v\in V} m_v$, where each $m_v$ is the integer in $\{0,1,\ldots,τ-1\}$ equal to $w(δ^+(v))-w(δ^-(v))$ mod $τ$. We prove the following results: (i) If $ρ(τ,D,w)\in \{0,1\}$, then there is an equitable $w$-weighted packing of dijoins of size $τ$. (ii) If $ρ(τ,D,w)= 2$, then there is a $w$-weighted packing of dijoins of size $τ$. (iii) If $ρ(τ,D,w)=3$, $τ=3$, and $w={\bf 1}$, then $A$ can be partitioned into three dijoins.
Each result is best possible: (i) does not hold for $ρ(τ,D,w)=2$ even if $w=\1$, (ii) does not hold for $ρ(τ,D,w)=3$, and (iii) do not hold for general $w$.
Bounds On The Inducibility Of Double Loop Graphs
In the area of extremal graph theory, there exists a problem that investigates the maximum induced density of a $k$-vertex graph $H$ in any $n$-vertex graph $G$. This is known as the problem of \emph{inducibility} that was first introduced by Pippenger and Golumbic in 1975. In this paper, we give a new upper bound for the inducibility for a family of \emph{Double Loop Graphs} of order $k$. The upper bound obtained for order $k=5$ is within a factor of 0.964506 of the exact inducibility, and the upper bound obtained for $k=6$ is within a factor of 3 of the best known lower bound.
Waiter-Client Clique-Factor Game
Fix two integers $n, k$, with $n$ divisible by $k$, and consider the following game played by two players, Waiter and Client, on the edges of $K_n$. Starting with all the edges marked as unclaimed, in each round, Waiter picks two yet unclaimed edges. Client then chooses one of these edges to be added to Client's graph, while the other edge is added to Waiter's graph. Waiter wins if she eventually forces Client to create a $K_k$-factor in Client's graph. If she does not manage to do that, Client wins.
For fixed $k$ and large enough $n$, it can be easily shown that Waiter wins if she plays optimally (in particular, this is an immediate consequence of our result that for such $n$, Waiter can win quite fast). The question posed by Clemens et al. is how long the game will last if Waiter aims to win as fast as she can, Client tries to delay her as much as he can, and they both play optimally. We denote this optimal number of rounds by $τ_{WC}(\mathcal{F}_{n,K_k-\text{fac}},1 ) $. In the present paper, we obtain the first non-trivial lower bound on this quantity for large $k$. Together with a simple upper bound following the strategy of Clemens et al., this gives $2^{k/3-o(k)}n \leq τ_{WC}(\mathcal{F}_{n,K_k-\text{fac}},1 ) \leq 2^k\frac{n}{k}+C(k)$, where $C(k)$ is a constant dependent only on $k$ and the $o(k)$ term is independent of $n$ as well.
$D$-finite multivariate series with arithmetic restrictions on their coefficients
Published in Can. J. Math. 75, No. 6, 1745-1779 (2023)
• View Publication
• BIB
A multivariate, formal power series over a field $K$ is a Bézivin series if all of its coefficients can be expressed as a sum of at most $r$ elements from a finitely generated subgroup $G \le K^*$; it is a Pólya series if one can take $r=1$. We give explicit structural descriptions of $D$-finite Bézivin series and $D$-finite Pólya series over fields of characteristic $0$, thus extending classical results of Pólya and Bézivin to the multivariate setting.
Combinatorial properties of lazy expansions in Cantor real bases
The lazy algorithm for a real base $β$ is generalized to the setting of Cantor bases $\boldsymbolβ=(β_n)_{n\in \mathbb{N}}$ introduced recently by Charlier and the author. To do so, let $x_{\boldsymbolβ}$ be the greatest real number that has a $\boldsymbolβ$-representation $a_0a_1a_2\cdots$ such that each letter $a_n$ belongs to $\{0,\ldots,\lceil β_n \rceil -1\}$. This paper is concerned with the combinatorial properties of the lazy $\boldsymbolβ$-expansions, which are defined when $x_{\boldsymbolβ}<+\infty$. As an illustration, Cantor bases following the Thue-Morse sequence are studied and a formula giving their corresponding value of $x_{\boldsymbolβ}$ is proved. First, it is shown that the lazy $\boldsymbolβ$-expansions are obtained by "flipping" the digits of the greedy $\boldsymbolβ$-expansions. Next, a Parry-like criterion characterizing the sequences of non-negative integers that are the lazy $\boldsymbolβ$-expansions of some real number in $(x_{\boldsymbolβ}-1,x_{\boldsymbolβ}]$ is proved. Moreover, the lazy $\boldsymbolβ$-shift is studied and in the particular case of alternate bases, that is the periodic Cantor bases, an analogue of Bertrand-Mathis' theorem in the lazy framework is proved: the lazy $\boldsymbolβ$-shift is sofic if and only if all quasi-lazy $\boldsymbolβ^{(i)}$-expansions of $x_{\boldsymbolβ^{(i)}}-1$ are ultimately periodic, where $\boldsymbolβ^{(i)}$ is the $i$-th shift of the alternate base $\boldsymbolβ$.
Characterization of the alldifferent kernel by Hall partitions and a calculation method
We consider a set-valued mapping between two finite sets and define the alldifferent kernel which describes the submapping of alldifferent selections. This submapping is characterized by Hall partitions which are introduced in this paper. The existence of a Hall partition is equivalent to the Hall condition. The unicity of Hall partitions is proved and the unicity of an alldifferent selection is characterized. A calculation method for the determination of the Hall partition and the alldifferent kernel is presented.
Generalization of some weighted zero-sum theorems and related Extremal sequence
Let $G$ be a finite abelian group of exponent $n$ and let $A$ be a non-empty subset of $[1,n-1]$. The Davenport constant of $G$ with weight $A$, denoted by $D_A(G)$, is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has a non-empty $A$-weighted zero-sum subsequence. Similarly, the combinatorial invariant $E_{A}(G)$ is defined to be the least positive integer $\ell$ such that any sequence over $G$ of length $\ell$ has an $A$-weighted zero-sum subsequence of length $|G|$. In this article, we determine the exact value of $D_A(\mathbb{Z}_n)$, for some particular values of $n$, where $A$ is the set of all cubes in $\mathbb{Z}_n^*$. We also determine the structure of the related extremal sequence in this case.
Testability and local certification of monotone properties in minor-closed classes
The main problem in the area of graph property testing is to understand which graph properties are \emph{testable}, which means that with constantly many queries to any input graph $G$, a tester can decide with good probability whether $G$ satisfies the property, or is far from satisfying the property. Testable properties are well understood in the dense model and in the bounded degree model, but little is known in sparse graph classes when graphs are allowed to have unbounded degree. This is the setting of the \emph{sparse model}.
We prove that for any proper minor-closed class $\mathcal{G}$, any monotone property (i.e., any property that is closed under taking subgraphs) is testable for graphs from $\mathcal{G}$ in the sparse model. This extends a result of Czumaj and Sohler (FOCS'19), who proved it for monotone properties with finitely many forbidden subgraphs. Our result implies for instance that for any integers $k$ and $t$, $k$-colorability of $K_t$-minor free graphs is testable in the sparse model.
Elek recently proved that monotone properties of bounded degree graphs from minor-closed classes that are closed under disjoint union can be verified by an approximate proof labeling scheme in constant time. We show again that the assumption of bounded degree can be omitted in his result.
Sumsets and monomial projective curves
Published
• View Publication
• BIB
The aim of this note is to exploit a new relationship between additive combinatorics and the geometry of monomial projective curves. We associate to a finite set of non-negative integers $A=\{a_1,\cdots, a_n\}$ a monomial projective curve $C_A\subset \mathbb P^{n-1}_{k}$ such that the Hilbert function of $C_A$ and the cardinalities of $sA:=\{a_{i_1}+\cdots+a_{i_s}\mid 1\le i_1\le \cdots \le i_s\le n\}$ agree. The singularities of $C_A$ determines the asymptotic behaviour of $|sA|$, equivalently the Hilbert polynomial of $C_A$, and the asymptotic structure of $sA$. We show that some additive inverse problems can be translate to the rigidity of Hilbert polynomials and we improve an upper bound of the Castelnuovo-Mumford regularity of monomial projective curves by using results of additive combinatorics.
The Uniform Infinite Cubic Planar Graph
Published
• View Publication
• BIB
We prove that the random simple cubic planar graph $\mathsf{C}_n$ with an even number $n$ of vertices admits a novel uniform infinite cubic planar graph (UICPG) as quenched local limit. We describe how the limit may be constructed by a series of random blow-up operations applied to the dual map of the type~III Uniform Infinite Planar Triangulation established by Angel and Schramm (Comm. Math. Phys., 2003). Our main technical lemma is a contiguity relation between $\mathsf{C}_n$ and a model where the networks inserted at the links of the largest $3$-connected component of $\mathsf{C}_n$ are replaced by independent copies of a specific Boltzmann network. We prove that the number of vertices of the largest $3$-connected component concentrates at $κn$ for $κ\approx 0.85085$, with Airy-type fluctuations of order $n^{2/3}$. The second-largest component is shown to have significantly smaller size $O_p(n^{2/3})$.
Generalisations of multiple zeta values to rooted forests
Published
• View Publication
• BIB
We show that any convergent (shuffle) arborified zeta value admits a series representation. This justifies the introduction of a new generalisation to rooted forests of multiple zeta values, and we study its algebraic properties. As a consequence of the series representation, we derive elementary proofs of some results of Bradley and Zhou for Mordell-Tornheim zeta values and give explicit formulas. The series representation for shuffle arborified zeta values also implies that they are conical zeta values. We characterise which conical zeta values are arborified zeta values and evaluate them as sums of multiple zeta values with rational coefficients.
Log-Concavity of Infinite Product Generating Functions
Published
• View Publication
• BIB
In the $1970$s Nicolas proved that the coefficients $p_d(n)$ defined by the generating function \begin{equation*} \sum_{n=0}^{\infty} p_d(n) \, q^n = \prod_{n=1}^{\infty} \left( 1- q^n\right)^{-n^{d-1}} \end{equation*} are log-concave for $d=1$. Recently, Ono, Pujahari, and Rolen have extended the result to $d=2$. Note that $p_1(n)=p(n)$ is the partition function and $p_2(n)=\func{pp}\left( n\right) $ is the number of plane partitions. In this paper, we invest in properties for $p_d(n)$ for general $d$. Let $n \geq 6$. Then $p_d(n)$ is almost log-concave for $n$ divisible by $3$ and almost strictly log-convex otherwise.
Doubly stochastic arrays with small support
Published in Australasian Journal of Combinatorics, Volume 86 (2023)
• Search Publication
An $n \times m$ non-negative matrix with row sum $m$ and column sum $n$ is called doubly stochastic. We answer the problem of finding doubly stochastic matrices of smallest posible support for every $1 <n \leq m$. Any matrix of minimum support is extremal in the sence of convexity, while examples of extremal matrices that are not of minimum support are given. But when $n,m$ are coprime integers extremal matrices are precisely those of minimum support.
Row-strict dual immaculate functions
Published in Advances in Applied Mathematics 149 (2023) 102540
• View Publication
• BIB
We define a new basis of quasisymmetric functions, the row-strict dual immaculate functions, as the generating function of a particular set of tableaux. We establish that this definition gives a function that can also be obtained by applying the $ψ$ involution to the dual immaculate functions of Berg, Bergeron, Saliola, Serrano, and Zabrocki (2014) and establish numerous combinatorial properties for our functions. We give an equivalent formulation of our functions via Bernstein-like operators, in a similar fashion to Berg et. al (2014). We conclude the paper by defining skew dual immaculate functions and hook dual immaculate functions and establishing combinatorial properties for them.
0-Hecke modules for row-strict dual immaculate functions
Published in Trans. Amer. Math. Soc. 377 (2024), no. 4, 2525-2582
• View Publication
• BIB
We introduce a new basis of quasisymmetric functions, the row-strict dual immaculate functions. We construct a cyclic, indecomposable 0-Hecke algebra module for these functions. Our row-strict immaculate functions are related to the dual immaculate functions of Berg-Bergeron-Saliola-Serrano-Zabrocki (2014-15) by the involution $ψ$ on the ring of quasisymmetric functions. We give an explicit description of the effect of $ψ$ on the associated 0-Hecke modules, via the poset induced by the 0-Hecke action on standard immaculate tableaux. This remarkable poset reveals other 0-Hecke submodules and quotient modules, often cyclic and indecomposable, notably for a row-strict analogue of the extended Schur functions studied in Assaf-Searles (2019).
Like the dual immaculate function, the row-strict dual immaculate function is the generating function of a suitable set of tableaux, corresponding to a specific descent set. We give a complete combinatorial and representation-theoretic picture by constructing 0-Hecke modules for the remaining variations on descent sets, and showing that \emph{all} the possible variations for generating functions of tableaux occur as characteristics of the 0-Hecke modules determined by these descent sets.
Metric dimension of lexicographic product of some known graphs
For an ordered set W = {w1,w2,...,wk} of vertices and a vertex v in a connected graph G, the ordered k-vector r(v|W) := (d(v,w1),d(v,w2),...,d(v,wk)) is called the (metric) representation of v with respect to W, where d(x,y) is the distance between the vertices x and y. The set W is called a resolving set for G if distinct vertices of G have distinct representations with respect to W. The minimum cardinality of a resolving set for G is its metric dimension. In this paper, we investigate the metric dimension of the lexicographic product of graphs G and H, G[H] for some known graphs.