Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On Sign Pattern Matrices that Allow or Require Algebraic Positivity
Published
• View Publication
• BIB
A square matrix $M$ with real entries is said to be algebraically positive (AP) if there exists a real polynomial $p$ such that all entries of the matrix $p(M)>0$. A square sign pattern matrix $S$ is said to allow algebraic positivity if there is an algebraically positive matrix $M$ whose sign pattern class is $S$. On the other hand, $S$ is said to require algebraic positivity if any matrix $M$, having sign pattern class $S$, is algebraically positive. Motivated by open problems raised in the work of Kirkland, Qiao and Zhan (2016) on AP matrices, we list down all nonequivalent irreducible $3\times 3$ sign pattern matrices and classify each of them into three groups (i) those that require AP, (ii) those that allow but not require AP, or (iii) those that do not allow AP. We also give a necessary condition for an irreducible $n\times n$ sign pattern to allow algebraic positivity.
Even cycles in dense graphs
We will show that for $α>0$ there is $n_0$ such that if $G$ is a graph on $n\geq n_0$ vertices such that $αn< δ(G)< (n-1)/2$, then for every $n_1+n_2+\cdots +n_l= δ(G)$, $G$ contains a disjoint union of $C_{2n_1},C_{2n_2}, \dots, C_{2n_l}$ unless $G$ has a very specific structure.
Bounds on multiple self-avoiding polygons
Published in Can. Math. Bull. 61 (2018) 518-530
• View Publication
• BIB
A self-avoiding polygon is a lattice polygon consisting of a closed self-avoiding walk on a square lattice. Surprisingly little is known rigorously about the enumeration of self-avoiding polygons, although there are numerous conjectures that are believed to be true and strongly supported by numerical simulations. As an analogous problem of this study, we consider multiple self-avoiding polygons in a confined region, as a model for multiple ring polymers in physics. We find rigorous lower and upper bounds of the number $p_{m \times n}$ of distinct multiple self-avoiding polygons in the $m \times n$ rectangular grid on the square lattice. For $m=2$, $p_{2 \times n} = 2^{n-1}-1$. And, for integers $m,n \geq 3$, $$2^{m+n-3} \left(\frac{17}{10}\right)^{(m-2)(n-2)} \ \leq \ p_{m \times n} \ \leq \ 2^{m+n-3} \left(\frac{31}{16}\right)^{(m-2)(n-2)}.$$
Online Ramsey Numbers and the Subgraph Query Problem
Published
• View Publication
• BIB
The $(m,n)$-online Ramsey game is a combinatorial game between two players, Builder and Painter. Starting from an infinite set of isolated vertices, Builder draws an edge on each turn and Painter immediately paints it red or blue. Builder's goal is to force Painter to create either a red $K_m$ or a blue $K_n$ using as few turns as possible. The online Ramsey number $\tilde{r}(m,n)$ is the minimum number of edges Builder needs to guarantee a win in the $(m,n)$-online Ramsey game. By analyzing the special case where Painter plays randomly, we obtain an exponential improvement \[ \tilde{r}(n,n) \ge 2^{(2-\sqrt{2})n + O(1)} \] for the lower bound on the diagonal online Ramsey number, as well as a corresponding improvement \[ \tilde{r}(m,n) \ge n^{(2-\sqrt{2})m + O(1)} \] for the off-diagonal case, where $m\ge 3$ is fixed and $n\rightarrow\infty$. Using a different randomized Painter strategy, we prove that $\tilde{r}(3,n)=\tildeΘ(n^3)$, determining this function up to a polylogarithmic factor. We also improve the upper bound in the off-diagonal case for $m \geq 4$.
In connection with the online Ramsey game with a random Painter, we study the problem of finding a copy of a target graph $H$ in a sufficiently large unknown Erdős--Rényi random graph $G(N,p)$ using as few queries as possible, where each query reveals whether or not a particular pair of vertices are adjacent. We call this problem the Subgraph Query Problem. We determine the order of the number of queries needed for complete graphs up to five vertices and prove general bounds for this problem.
Summation formulas involving harmonic numbers with even or odd indexes
By means of the derivative operator and Chu-Vandermonde convolution, four families of summation formulas involving harmonic numbers with even or odd indexes are established.
A simple bijection for enhanced, classical, and 2-distant k-noncrossing partitions
Published in Discrete Math. 343 (2020), no. 6, 111705, 5pp
• View Publication
• BIB
In this note, we give a simple extension map from partitions of subsets of [n] to partitions of [n+1], which sends $δ$-distant k-crossings to $(δ+1)$-distant k-crossings (and similarly for nestings). This map provides a combinatorial proof of the fact that the numbers of enhanced, classical, and 2-distant k-noncrossing partitions are each related to the next via the binomial transform. Our work resolves a recent conjecture of Zhicong Lin and generalizes earlier reduction identities for partitions.
Generating functions for multiple zeta star values
Published
• View Publication
• BIB
We study generating functions for multiple zeta star values in general form. These generating functions provide a connection between multiple zeta star values and multiple Euler sums, which allows us to express each multiple zeta star value in terms of multiple alternating Euler sums, and specifically, reduce the length of blocks of twos in the resulting sums.
Urn Models and Fibonacci Series
We use probability urn models to discover some known and unknown series identities involving Fibonacci numbers.
Some combinatorial identities appearing in the calculation of the cohomology of Siegel modular varieties
Published
• View Publication
• BIB
In the computation of the intersection cohomology of Shimura varieties, or of the $L^2$ cohomology of equal rank locally symmetric spaces, combinatorial identities involving averaged discrete series characters of real reductive groups play a large technical role. These identities can become very complicated and are not always well-understood (see for example the appendix of [8]). We propose a geometric approach to these identities in the case of Siegel modular varieties using the combinatorial properties of the Coxeter complex of the symmetric group. Apart from some introductory remarks about the origin of the identities, our paper is entirely combinatorial and does not require any knowledge of Shimura varieties or of representation theory.
The analytic rank of tensors and its applications
Published
• View Publication
• BIB
The analytic rank of a tensor, first defined by Gowers and Wolf in the context of higher-order Fourier analysis, is defined to be the logarithm of the bias of the tensor. We prove that it is a subadditive measure of rank: that is, the analytic rank of the sum of two tensors is at most the sum of their individual analytic ranks.
This analytic property turns out to have surprising applications: (i) common roots of tensors are always positively correlated; and (ii) the slice rank and partition rank, which were defined recently in the resolution of the cap-set problem in Ramsey theory, can be replaced by the analytic rank.
Note on the multicolour size-Ramsey number for paths
Published
• View Publication
• BIB
The size-Ramsey number $\hat{R}(F,r)$ of a graph $F$ is the smallest integer $m$ such that there exists a graph $G$ on $m$ edges with the property that any colouring of the edges of $G$ with $r$ colours yields a monochromatic copy of $F$. In this short note, we give an alternative proof of the recent result of Krivelevich that $\hat{R}(P_n,r) = O((\log r)r^2 n)$. This upper bound is nearly optimal, since it is also known that $\hat{R}(P_n,r) = Ω(r^2 n)$.
Hankel determinants and shifted periodic continued fractions
Published
• View Publication
• BIB
Sulanke and Xin developed a continued fraction method that applies to evaluate Hankel determinants corresponding to quadratic generating functions. We use their method to give short proofs of Cigler's Hankel determinant conjectures, which were proved recently by Chang-Hu-Zhang using direct determinant computation. We find that shifted periodic continued fractions arise in our computation. We also discover and prove some new nice Hankel determinants relating to lattice paths with step set $\{(1,1),(q,0), (\ell-1,-1)\}$ for integer parameters $m,q,\ell$. Again shifted periodic continued fractions appear.
The second term for two-neighbour bootstrap percolation in two dimensions
Published in Trans. Amer. Math. Soc. 372 (2019), 6465-6505
• View Publication
• BIB
In the $r$-neighbour bootstrap process on a graph $G$, vertices are infected (in each time step) if they have at least $r$ already-infected neighbours. Motivated by its close connections to models from statistical physics, such as the Ising model of ferromagnetism, and kinetically constrained spin models of the liquid-glass transition, the most extensively-studied case is the two-neighbour bootstrap process on the two-dimensional grid $[n]^2$. Around 15 years ago, in a major breakthrough, Holroyd determined the sharp threshold for percolation in this model, and his bounds were subsequently sharpened further by Gravner and Holroyd, and by Gravner, Holroyd and Morris.
In this paper we strengthen the lower bound of Gravner, Holroyd and Morris by proving that the critical probability $p_c\big( [n]^2,2 \big)$ for percolation in the two-neighbour model on $[n]^2$ satisfies \[p_c\big( [n]^2,2 \big) = \frac{π^2}{18\log n} - \frac{Θ(1)}{(\log n)^{3/2}}\,.\] The proof of this result requires a very precise understanding of the typical growth of a critical droplet, and involves a number of technical innovations. We expect these to have other applications, for example, to the study of more general two-dimensional cellular automata, and to the $r$-neighbour process in higher dimensions.
Adjacency Matrix and Energy of the Line Graph of $Γ(\mathbb{Z}_n)$
Let $Γ(\mathbb{Z}_n)$ be the zero divisor graph of the commutative ring $\mathbb{Z}_n$ and $L(Γ(\mathbb{Z}_n))$ be the line graph of $Γ(\mathbb{Z}_n)$. In this paper, we discuss about the neighborhood of a vertex, the neighborhood number and the adjacency matrix of $L(Γ(\mathbb{Z}_n))$. We also study Wiener index and energy of $L(Γ(\mathbb{Z}_n))$, where $n=pq$, $p^2$ respectively for $p$ and $q$ are primes. Moreover, we give MATLAB coding of our calculations.
Veldkamp Spaces of Low-Dimensional Ternary Segre Varieties
Published in Results in Mathematics 74 (2019) 54
• View Publication
• BIB
Making use of the `Veldkamp blow-up' recipe, introduced by Saniga and others (Ann. Inst. H. Poincar\' e D2 (2015) 309) for binary Segre varieties, we study geometric hyperplanes and Veldkamp lines of Segre varieties $S_k(3)$, where $S_k(3)$ stands for the $k$-fold direct product of projective lines of size four and $k$ runs from 2 to 4. Unlike the binary case, the Veldkamp spaces here feature also non-projective elements. Although for $k=2$ such elements are found only among Veldkamp lines, for $k \geq 3$ they are also present among Veldkamp points of the associated Segre variety. Even if we consider only projective geometric hyperplanes, we find four different types of non-projective Veldkamp lines of $S_3(3)$, having 2268 members in total, and five more types if non-projective ovoids are also taken into account. Sole geometric and combinatorial arguments lead to as many as 62 types of projective Veldkamp lines of $S_3(3)$, whose blowing-ups yield 43 distinct types of projective geometric hyperplanes of $S_4(3)$. As the latter number falls short of 48, the number of different large orbits of $2 \times 2 \times 2 \times 2$ arrays over the three-element field found by Bremner and Stavrou (Lin. Multilin. Algebra 61 (2013) 986), there are five (explicitly indicated) hyperplane types such that each is the merger of two different large orbits. Furthermore, we single out those 22 types of geometric hyperplanes of $S_4(3)$, featuring 7 176 640 members in total, that are in a one-to-one correspondence with the points lying on the unique hyperbolic quadric $\mathcal{Q}_0^{+}(15,3) \subset {\rm PG}(15,3) \subset \mathcal{V}(S_4(3))$; and, out of them, seven ones that correspond bijectively to the set of 91 840 generators of the symplectic polar space $\mathcal{W}(7,3) \subset \mathcal{V}(S_3(3))$. For $k=3$ we also discuss embedding of the binary Veldkamp space into the ternary one.
Almost optimal Boolean matrix multiplication [BMM]-by multi-encoding of rows and columns
The Boolean product $R = P \cdot Q$ of two $\{ 0, 1\} \; m \times m \; $ matrices is $$R(j,k) = 1 \; \mathrm{\ IF\ for\ some\ } \; t \; \,P(j, t) = Q(t, k) = 1\; \; \mathrm{ELSE\ } \, R(j, k) = 0. $$ The near-optimal design reduces the complexity of computing $R$ from the standard $m^3$ to $O(m^{(2+e)})$, for arbitrary small $e > 0$, by a practical algorithm. This renders reduced complexity to several graph-property tests: Finding triangles and higher-size cliques; finding all-pairs shortest paths, and more. Also, parsing a string $w$ by a context-free grammar is reduced to near quadratic in $w$-size. The design uses several distinct 2-digit encodings: $j$ by $(j_1, j_2), \; k \, $ by $\, (k_1, k_2)$. Each one gives rise to bunches of short digraphs from sources $j$'s to sinks $k$'s via switching nodes, and walks between them. The combined information, using the Chinese remainder theorem, leads to the correct values of $R(j, k)$.
Doubly transitive lines I: Higman pairs and roux
Published
• View Publication
• BIB
We study lines through the origin of finite-dimensional complex vector spaces that enjoy a doubly transitive automorphism group. In doing so, we make fundamental connections with both discrete geometry and algebraic combinatorics. In particular, we show that doubly transitive lines are necessarily optimal packings in complex projective space, and we introduce a fruitful generalization of regular abelian distance-regular antipodal covers of the complete graph.
The Hopf monoid of hypergraphs and its sub-monoids: basic invariant and reciprocity theorem
Published in The Electronic Journal of Combinatorics, Volume 27, Issue 1 (2020) P1.34
• View Publication
• BIB
In arXiv:1709.07504 Ardila and Aguiar give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on hypergraphs. We give a combinatorial interpretation of this invariant on negative integers which leads to a reciprocity theorem on hypergraphs. Finally, we use this invariant to recover well-known invariants on other combinatorial objects (graphs, simplicial complexes, building sets etc) as well as the associated reciprocity theorems.
Coloring hypergraphs of low connectivity
Published
• View Publication
• BIB
For a hypergraph $G$, let $χ(G), Δ(G),$ and $λ(G)$ denote the chromatic number, the maximum degree, and the maximum local edge connectivity of $G$, respectively. A result of Rhys Price Jones from 1975 says that every connected hypergraph $G$ satisfies $χ(G) \leq Δ(G) + 1$ and equality holds if and only if $G$ is a complete graph, an odd cycle, or $G$ has just one (hyper-)edge. By a result of Bjarne Toft from 1970 it follows that every hypergraph $G$ satisfies $χ(G) \leq λ(G) + 1$. In this paper, we show that a hypergraph $G$ with $λ(G) \geq 3$ satisfies $χ(G) = λ(G) + 1$ if and only if $G$ contains a block which belongs to a family $\mathcal{H}_{λ(G)}$. The class $\mathcal{H}_3$ is the smallest family which contains all odd wheels and is closed under taking Hajós joins. For $k \geq 4$, the family $\mathcal{H}_k$ is the smallest that contains all complete graphs $K_{k+1}$ and is closed under Hajós joins. For the proofs of the above results we use critical hypergraphs. A hypergraph $G$ is called $(k+1)$-critical if $χ(G)=k+1$, but $χ(H)\leq k$ whenever $H$ is a proper subhypergraph of $G$. We give a characterization of $(k+1)$-critical hypergraphs having a separating edge set of size $k$ as well as a a characterization of $(k+1)$-critical hypergraphs having a separating vertex set of size $2$.
Optimal size of linear matrix inequalities in semidefinite approaches to polynomial optimization
Published
• View Publication
• BIB
The abbreviations LMI and SOS stand for `linear matrix inequality' and `sum of squares', respectively. The cone $Σ_{n,2d}$ of SOS polynomials in $n$ variables of degree at most $2d$ is known to have a semidefinite extended formulation with one LMI of size $\binom{n+d}{n}$. In other words, $Σ_{n,2d}$ is a linear image of a set described by one LMI of size $\binom{n+d}{n}$. We show that $Σ_{n,2d}$ has no semidefinite extended formulation with finitely many LMIs of size less than $\binom{n+d}{n}$. Thus, the standard extended formulation of $Σ_{n,2d}$ is optimal in terms of the size of the LMIs. As a direct consequence, it follows that the cone of $k \times k$ symmetric positive semidefinite matrices has no extended formulation with finitely many LMIs of size less than $k$. We also derive analogous results for further cones considered in polynomial optimization such as truncated quadratic modules, the cones of copositive and completely positive matrices and the cone of sums of non-negative circuit polynomials.