Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Bipyramid Volume, Mahler Measure and Some $\mathbb{Z}^2$-periodic Links
Champanerkar, Kofman and Lalín conjectured an inequality between bipyramid volume of links and Mahler measure of associated dimer models induced from alternating links on torus. Hyperbolic volume and Mahler measure can be related for isoradial graphs, which allows us to confirm the conjecture for two examples. By exploiting a connection between perfect matchings of dimer models and spanning trees on lattices, five more examples are calculated.
Length partition of random multicurves on large genus hyperbolic surfaces
Published
• View Publication
• BIB
We study the length statistics of the components of a random multicurve on a surface of genus $g \geq 2$. For each fixed genus, the existence of such statistics follows from the work of M.~Mirzakhani, F.~Arana-Herrera and M.~Liu. We prove that as the genus $g$ tends to infinity the statistics converge in law to the Poisson--Dirichlet distribution of parameter $θ=1/2$. In particular, as the genus tends to infinity the mean length of the three longest components converge respectively to $75.8\%$, $17.1\%$ and $4.9\%$ of the total length.
On the Information-theoretic Security of Combinatorial All-or-nothing Transforms
Published
• View Publication
• BIB
All-or-nothing transforms (AONT) were proposed by Rivest as a message preprocessing technique for encrypting data to protect against brute-force attacks, and have numerous applications in cryptography and information security. Later the unconditionally secure AONT and their combinatorial characterization were introduced by Stinson. Informally, a combinatorial AONT is an array with the unbiased requirements and its security properties in general depend on the prior probability distribution on the inputs $s$-tuples. Recently, it was shown by Esfahani and Stinson that a combinatorial AONT has perfect security provided that all the inputs $s$-tuples are equiprobable, and has weak security provided that all the inputs $s$-tuples are with non-zero probability.
This paper aims to explore on the gap between perfect security and weak security for combinatorial $(t,s,v)$-AONTs. Concretely, we consider the typical scenario that all the $s$ inputs take values independently (but not necessarily identically) and quantify the amount of information $H(\mathcal{X}|\mathcal{Y})$ about any $t$ inputs $\mathcal{X}$ that is not revealed by any $s-t$ outputs $\mathcal{Y}$. In particular, we establish the general lower and upper bounds on $H(\mathcal{X}|\mathcal{Y})$ for combinatorial AONTs using information-theoretic techniques, and also show that the derived bounds can be attained in certain cases. Furthermore, the discussions are extended for the security properties of combinatorial asymmetric AONTs.
Hypergraph LSS-ideals and coordinate sections of symmetric tensors
Published
• View Publication
• BIB
Let K be a field, [n]= {1,...,n} and H=([n],E) be a hypergraph. For an integer d >= 1 the Lovasz-Saks-Schrijver ideal (LSS-ideal) L_H^K (d) in K[y_{ij}~:~(i,j) \in [n] x [d]] is the ideal generated by the polynomials $f^{(d)}_{e}= \sum\limits_{j=1}^{d} \prod\limits_{i \in e} y_{ij}$ for edges e of H. In this paper for an algebraically closed field K and a k-uniform hypergraph H=([n],E) we employ a connection between LSS-ideals and coordinate sections of the closure of the set S_{n,k}^d of homogeneous degree k symmetric tensors in n variables of rank <= d to derive results on the irreducibility of its coordinate sections. To this end we provide results on primality and the complete intersection property of L_H^K (d). We then use the combinatorial concept of positive matching decomposition of a hypergraph H to provide bounds on when L_H^K(d) turns prime to provide results on the irreducibility of coordinate sections of S_{n, k}^d.
A proof of Frankl's conjecture on cross-union families
Published
• View Publication
• BIB
The families $\mathcal F_0,\ldots,\mathcal F_s$ of $k$-element subsets of $[n]:=\{1,2,\ldots,n\}$ are called cross-union if there is no choice of $F_0\in \mathcal F_0, \ldots, F_s\in \mathcal F_s$ such that $F_0\cup\ldots\cup F_s=[n]$. A natural generalization of the celebrated Erdős--Ko--Rado theorem, due to Frankl and Tokushige, states that for $n\le (s+1)k$ the geometric mean of $\lvert \mathcal F_i\rvert$ is at most $\binom{n-1}{k}$. Frankl conjectured that the same should hold for the arithmetic mean under some mild conditions. We prove Frankl's conjecture in a strong form by showing that the unique (up to isomorphism) maximizer for the arithmetic mean of cross-union families is the natural one $\mathcal F_0=\ldots=\mathcal F_s={[n-1]\choose k}$.
On Ramsey size-linear graphs and related questions
In this paper we prove several results on Ramsey numbers $R(H,F)$ for a fixed graph $H$ and a large graph $F$, in particular for $F = K_n$. These results extend earlier work of Erdős, Faudree, Rousseau and Schelp and of Balister, Schelp and Simonovits on so-called Ramsey size-linear graphs. Among others, we show that if $H$ is a subdivision of $K_4$ with at least $6$ vertices, then $R(H,F) = O(v(F) + e(F))$ for every graph $F$. We also conjecture that if $H$ is a connected graph with $e(H) - v(H) \leq \binom{k+1}{2} - 2$, then $R(H,K_n) = O(n^k)$. The case $k=2$ was proved by Erdős, Faudree, Rousseau and Schelp. We prove the case $k=3$.
Polynomial bounds for chromatic number VI. Adding a four-vertex path
Published in European Journal of Combinatorics, Volume 110, May 2023, 103710
• View Publication
• BIB
A class of graphs is $χ$-bounded if there is a function $f$ such that every graph $G$ in the class has chromatic number at most $f(ω(G))$, where $ω(G)$ is the clique number of $G$; the class is polynomially $χ$-bounded if $f$ can be taken to be a polynomial. The Gyárfás-Sumner conjecture asserts that, for every forest $H$, the class of $H$-free graphs (graphs with no induced copy of $H$) is $χ$-bounded. Let us say a forest $H$ is good if it satisfies the stronger property that the class of $H$-free graphs is polynomially $χ$-bounded.
Very few forests are known to be good: for example, it is open for the five-vertex path. Indeed, it is not even known that if every component of a forest $H$ is good then $H$ is good, and in particular, it was not known that the disjoint union of two four-vertex paths is good. Here we show the latter, and more generally, that if $H$ is good then so is the disjoint union of $H$ and a four-vertex path. We also prove a more general result: if every component of $H_1$ is good, and $H_2$ is any path (or broom) then the class of graphs that are both $H_1$-free and $H_2$-free is polynomially $χ$-bounded.
Bad list assignments for non-$k$-choosable $k$-chromatic graphs with $2k+2$-vertices
Published
• View Publication
• BIB
It was conjectured by Ohba, and proved by Noel, Reed and Wu that $k$-chromatic graphs $G$ with $|V(G)| \le 2k+1$ are chromatic-choosable. This upper bound on $|V(G)|$ is tight: if $k$ is even, then $K_{3 \star (k/2+1), 1 \star (k/2-1)}$ and $K_{4, 2 \star (k-1)}$ are $k$-chromatic graphs with $2 k+2$ vertices that are not chromatic-choosable. It was proved in [arXiv:2201.02060] that these are the only non-$k$-choosable complete $k$-partite graphs with $2k+2$ vertices. For $G =K_{3 \star (k/2+1), 1 \star (k/2-1)}$ or $K_{4, 2 \star (k-1)}$, a bad list assignment of $G$ is a $k$-list assignment $L$ of $G$ such that $G$ is not $L$-colourable. Bad list assignments for $G=K_{4, 2 \star (k-1)}$ were characterized in [Discrete Mathematics 244 (2002), 55-66]. In this paper, we first give a simpler proof of this result, and then we characterize bad list assignments for $G=K_{3 \star (k/2+1), 1 \star (k/2-1)}$. Using these results, we characterize all non-$k$-choosable (non-complete) $k$-partite graphs with $2k+2$ vertices.
Notes on finite totally $2$-closed permutation groups
Let $N$ be a normal subgroup of a finite group $G$. For a faithful $N$-set $Δ$, applying the university embedding theorem one can construct a faithful $G$-set $Ω$. In this short note, it is proved that if the $2$-closure of $N$ in $Ω$ is equal to $N$, then the $2$-closure of $N$ in $Δ$ is also equal to $N$; in addition, it is proved that any abelian normal subgroup of a finite totally $2$-closed group is cyclic; finally, it is proved that if a finite nilpotent group is a direct of two nilpotent subgroups where the two factors have coprime orders and both of them are totally 2-closed then G is totally $2$-closed. As corollaries, several well-known results on finite totally 2-closed groups are reproved in more simple ways.
Some new results about $q$-trinomial coefficients
Published
• View Publication
• BIB
In this paper, we present several new congruences on the $q$-trinomial coefficients introduced by Andrews and Baxter. A new congruence on sums of central $q$-binomial coefficients is also established.
How to Physically Verify a Rectangle in a Grid: A Physical ZKP for Shikaku
Published
• View Publication
• BIB
Shikaku is a pencil puzzle consisting of a rectangular grid, with some cells containing a number. The player has to partition the grid into rectangles such that each rectangle contains exactly one number equal to the area of that rectangle. In this paper, we propose two physical zero-knowledge proof protocols for Shikaku using a deck of playing cards, which allow a prover to physically show that he/she knows a solution of the puzzle without revealing it. Most importantly, in our second protocol we develop a general technique to physically verify a rectangle-shaped area with a certain size in a rectangular grid, which can be used to verify other problems with similar constraints.
Uni-width subgroups, universal elements, and lambda number of finite groups
A cyclic subgroup $N$ of a finite group $G$ is called a uni-width subgroup of $G$ if $N$ is the unique cyclic subgroup of $G$ of order $|N|$. In this article, we prove that a finite group $G$ admits a unique largest uni-width subgroup denoted by $U(1;G)$. We then show that the prime factors of the order of $U(1;G)$ influence the structure decomposition of its Fitting subgroup ${\mathrm{Fit}}(G)$. A power graph $Γ_G$ of a finite group is defined by $G$ being its set of vertices, and a pair of distinct elements $x,y \in G$ are connected by an edge if either $x \in \langle y \rangle$ or $y \in \langle x \rangle$. A universal element of a graph is a vertex that is adjacent to each of the remaining vertices. Our following result shows that a power graph $Γ_G$ of a finite non-trivial group admits a non-identity universal element if and only if it is either cyclic or a generalized quaternion $2$-group. The lambda number $λ(G)$ of a finite group $G$ is a measure of the least number of colors required for an $L(2,1)$-type of vertex coloring on $Γ_G$, which is known to be $\geq |G|$. Generalizing an earlier result, we then derive a necessary condition on a finite group $G$ such that $λ(G) = |G|$. Finally, we show that this result is best possible by exhibiting a family of groups without the necessary condition for which $λ(G) > |G|$.
Lognormal Degree Distribution in the Partition Graphs
We demonstrate a method for listing all ordinary partitions of n as binary words of length (n-1). The resulting family imbued with the hamming distance yields subgraphs of the Hamming Graphs. The existence of a 2-Gray Code for ordinary partitions follows from the fact that the graph (with the all 0s partition omitted) is 2-connected. However, the graphs fail to be hamiltonian for ordinary partitions when n > 7, ruling out the possibility of a Gray code for all such flip graphs. We further investigate the degree distribution of the graph for n, and provide computational evidence that this is a long-tailed lognormal distribution. This conjecture connects to a closely related, and much older, question of the distribution of the number of parts of a partition and the same evidence suggests that this distribution is also lognormal for large n. These methods extend to higher dimensional partitions of n which can be then written as words of length (n-1) on d + 1 letters. The resulting graphs are connected, proving that d-dimensional partitions allow a 3-Gray code.
Odd Covers of Graphs
Published
• View Publication
• BIB
Given a finite simple graph $G$, an odd cover of $G$ is a collection of complete bipartite graphs, or bicliques, in which each edge of $G$ appears in an odd number of bicliques and each non-edge of $G$ appears in an even number of bicliques. We denote the minimum cardinality of an odd cover of $G$ by $b_2(G)$ and prove that $b_2(G)$ is bounded below by half of the rank over $\mathbb{F}_2$ of the adjacency matrix of $G$. We show that this lower bound is tight in the case when $G$ is a bipartite graph and almost tight when $G$ is an odd cycle. However, we also present an infinite family of graphs which shows that this lower bound can be arbitrarily far away from $b_2(G)$.
Babai and Frankl (1992) proposed the "odd cover problem," which in our language is equivalent to determining $b_2(K_n)$. Radhakrishnan, Sen, and Vishwanathan (2000) determined $b_2(K_n)$ for an infinite but density zero subset of positive integers $n$. In this paper, we determine $b_2(K_n)$ for a density $3/8$ subset of the positive integers.
Normalized Volumes of Type-PQ Adjacency Polytopes for Certain Classes of Graphs
Published in Involve 17 (2024) 425-440
• View Publication
• BIB
The type-PQ adjacency polytope associated to a simple graph is a $0/1$-polytope containing valuable information about an underlying power network. Chen and the first author have recently demonstrated that, when the underlying graph $G$ is connected, the normalized volumes of the adjacency polytopes can be computed by counting sequences of nonnegative integers satisfying restrictions determined by $G$. This article builds upon their work, namely by showing that one of their main results -- the so-called "triangle recurrence" -- applies in a more general setting. Formulas for the normalized volumes when $G$ is obtained by deleting a path or a cycle from a complete graph are also established.
The real equiangular tight frames obtained from rank $3$ graphs
Published in Electron. J. Graph Theory Appl. 12 (2024) 329-341
• View Publication
• BIB
We present all nontrivial real equiangular tight frames $\{\varphi_m\}_{m=1}^M$ in $\mathbb{R}^N$ obtained as spherical embeddings of primitive rank $3$ graphs on $M$ vertices, and those such that one of their associated $M$ strongly regular graphs on $M-1$ vertices is a primitive rank $3$ graph.
Résolution du jeu de Juniper Green
In this article, we describe the solution of the Juniper Green game for every integer, with techniques that are elementary enough to be explained to students who have mastered the notions of divisors and multiples. A general method allows us to solve the game for almost every integer, then there are less than fifty cases left to deal with. Each of these cases can be solved within a few minutes, with a paper and a pencil.
--
Dans cet article, nous décrivons la résolution du jeu de Juniper Green pour tout entier, avec des techniques suffisamment élémentaires pour être expliquées à des élèves maîtrisant les notions de diviseurs et multiples. Une méthode générale permet de résoudre le jeu pour presque tout entier, si bien qu'il reste alors moins de cinquante cas à traiter, chacun pouvant être résolu au prix d'une étude sur papier de quelques minutes.
Number of $k$-normal elements over a finite field
An element $α\in \mathbb{F}_{q^n}$ is a normal element over $\mathbb{F}_q$ if the conjugates $α^{q^i}$, $0 \leq i \leq n-1$, are linearly independent over $\mathbb{F}_q$. Hence a normal basis for $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$ is of the form $\{α,α^q, \ldots, α^{q^{n-1}}\}$, where $α\in \mathbb{F}_{q^n}$ is normal over $\mathbb{F}_q$. In 2013, Huczynska, Mullen, Panario and Thomson introduce the concept of k-normal elements, as a generalization of the notion of normal elements. In the last few years, several results have been known about these numbers. In this paper, we give an explicit combinatorial formula for the number of $k$-normal elements in the general case, answering an open problem proposed by Huczynska et al. (2013).
Resolution to Sutner's Conjecture
Consider a game played on a simple graph $G = (V,E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. One wins the game by finding a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Sutner was one of the first to study these games mathematically. He found that when $d(G) = \text{dim}(\text{ker}(A + I))$ over the field $GF(2)$, where $A$ is the adjacency matrix of $G$, is 0 all initial configurations are solvable. When investigating $n \times n$ grid graphs, Sutner conjectured that $d_{2n+1} = 2d_{n} + δ_{n}, δ_{n} \in \{0,2\}, δ_{2n+1} = δ_{n}$, where $d_n = d(G)$ for $G$ an $n \times n$ grid graph. We resolve this conjecture in the affirmative. We use results from Sutner that give $d_n$ as the GCD of two polynomials in the ring $\mathbb{Z}_2[x]$. We then apply identities from Hunziker, Machiavelo, and Park that relate the polynomials of $(2n+1) \times (2n+1)$ grids and $n \times n$ grids. Finally, we use a result from Ore about the GCD of two products. Together these results allow us to prove Sutner's conjecture. We then go further and show for exactly which values of $n$ $δ_n$ is 0 or 2.
A Linear Time, and Constant Space, Algorithm to Compute the Mixed Moments of the Multivariate Normal Distributions
Using recurrences gotten from the Apagodu-Zeilberger Multivariate Almkvist-Zeilberger algorithm we present a linear-time, and constant-space, algorithm to compute the general mixed moments of the k-variate general normal distribution, with any covariance matrix, for any specific k. Besides their obvious importance in statistics, these numbers are also very significant in enumerative combinatorics, since they count in how many ways, in a species with k different genders, a bunch of individuals can all get married, keeping track of the different kinds of heterosexual marriages. We completely implement our algorithm (with an accompanying Maple package, MVNM.txt) for the bivariate and trivariate cases (and hence taking care of our own 2-sex society and a putative 3-sex society), but alas, the actual recurrences for larger k took too long for us to compute. We leave them as computational challenges.