sequence
6845 papers tagged with this keyword
Fundamental invariants of tensors, Latin hypercubes, and rectangular Kronecker coefficients
Published
• View Publication
• BIB
We study polynomial SL-invariants of tensors, mainly focusing on fundamental invariants which are of smallest degrees. In particular, we prove that certain 3-dimensional analogue of the Alon--Tarsi conjecture on Latin cubes considered previously by Bürgisser and Ikenmeyer, implies positivity of (generalized) Kronecker coefficients at rectangular partitions and as a result provides values for degree sequences of fundamental invariants.
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.
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.
Discrete Poisson hardcore 1D model and reinfections
Published
• View Publication
• BIB
We suggest a new hardcore Poisson-type distribution for Young diagrams with the row lengths from some finite list. A discrete variant of the time-ordered Matérn II process in 1D is employed. This approach is related to that based on the interlacing sequences due to Kerov and others, but we restrict the number of rows. The basic lengths are assumed comparable with the total order of the diagram in the quasi-classical limit, which results in new methods and new formulas. An interesting application is to random walks where the steps are at the points satisfying the classical Poisson distribution or our truncatedone. In the simplest case, one obtains the distribution in terms of Bessel I-functions, which provides some probabilistic interpretation of its many properties. An immediate application of our truncated Poisson distributions is to modeling reinfections in epidemics.
Non-standard linear recurring sequence subgroups and automorphisms of irreducible cyclic codes
Published
• View Publication
• BIB
Let \(\cU\) be the multiplicative group of order~\(n\) in the splitting field \(\bbF_{q^m}\) of \(x^n-1\) over the finite field \(\bbF_q\). Any map of the form \(x\rightarrow cx^t\) with \(c\in \cU\) and \(t=q^i\), \(0\leq i<m\), is \(\bbF_q\)-linear on~\(\bbF_{q^m}\) and fixes \(\cU\) set-wise; maps of this type will be called {\em standard\/}. Occasionally there are other, {\em non-standard\/} \(\bbF_q\)-linear maps on~\(\bbF_{q^m}\) fixing \(\cU\) set-wise, and in that case we say that the pair \((n, q)\) is {\em non-standard\/}. We show that an irreducible cyclic code of length~\(n\) over \(\bbF_q\) has ``extra'' permutation automorphisms (others than the {\em standard\/} permutations generated by the cyclic shift and the Frobenius mapping that every such code has) precisely when the pair \((n, q)\) is non-standard; we refer to such irreducible cyclic codes as {\em non-standard\/} or {\em NSIC-codes\/}. In addition, we relate these concepts to that of a non-standard linear recurring sequence subgroup as investigated in a sequence of papers by Brison and Nogueira. We present several families of NSIC-codes, and two constructions called ``lifting'' and ``extension'' to create new NSIC-codes from existing ones. We show that all NSIC-codes of dimension two can be obtained in this way, thus completing the classification for this case started by Brison and Nogueira.
A novel public key cryptography based on generalized Lucas matrices
Published in Communications in Combinatorics and Optimization 2024
• View Publication
• BIB
In this article, we have proposed a generalized Lucas matrix (recursive matrix of higher order) having relation with generalized Fibonacci sequences and established many special properties in addition to that usual matrix algebra. Further, we have proposed a modified public key cryptography using these matrices as keys in Affine cipher and key agreement for encryption-decryption with the combination of terms of generalized Lucas sequences under residue operations. In this scheme, instead of exchanging the whole key matrix, only a pair of numbers(parameters) need to be exchanged, which reduces the time complexity as well as space complexity of the key transmission and has a large key-space.
Simplicial $q$-connectivity of directed graphs with applications to network analysis
Directed graphs are ubiquitous models for networks, and topological spaces they generate, such as the directed flag complex, have become useful objects in applied topology. The simplices are formed from directed cliques. We extend Atkin's theory of $q$-connectivity to the case of directed simplices. This results in a preorder where simplices are related by sequences of simplices that share a $q$-face with respect to directions specified by chosen face maps. We leverage the Alexandroff equivalence between preorders and topological spaces to introduce a new class of topological spaces for directed graphs, enabling to assign new homotopy types different from those of directed flag complexes as seen by simplicial homology. We further introduce simplicial path analysis enabled by the connectivity preorders. As an application we characterise structural differences between various brain networks by computing their longest simplicial paths.
A generalization of a theorem about gapsets with depth at most three
Published in Involve 16 (2023) 313-319
• View Publication
• BIB
In this paper, we provide a generalization of a theorem proved by Eliahou and Fromentin, which exhibit a remarkable property of the sequence $(n'_g)$, where $n'_g$ denotes the number of gapsets with genus $g$ and depth at most $3$.
Combinatorial Exploration: An algorithmic framework for enumeration
Published
• View Publication
• BIB
Combinatorial Exploration is a new domain-agnostic algorithmic framework to automatically and rigorously study the structure of combinatorial objects and derive their counting sequences and generating functions. We describe how it works and provide an open-source Python implementation. As a prerequisite, we build up a new theoretical foundation for combinatorial decomposition strategies and combinatorial specifications.
We then apply Combinatorial Exploration to the domain of permutation patterns, to great effect. We rederive hundreds of results in the literature in a uniform manner and prove many new ones. These results can be found in a new public database, the Permutation Pattern Avoidance Library (PermPAL) at https://permpal.com. Finally, we give three additional proofs-of-concept, showing examples of how Combinatorial Exploration can prove results in the domains of alternating sign matrices, polyominoes, and set partitions.
Combinatorial aspects of sandpile models on wheel and fan graphs
Published in European Journal of Combinatorics, Volume 110, May 2023
• View Publication
• BIB
We study combinatorial aspects of the sandpile model on wheel and fan graphs, seeking bijective characterisations of the model's recurrent configurations on these families. For wheel graphs, we exhibit a bijection between these recurrent configurations and the set of subgraphs of the cycle graph which maps the level of the configuration to the number of edges of the subgraph. This bijection relies on two key ingredients. The first consists in considering a stochastic variant of the standard Abelian sandpile model (ASM), rather than the ASM itself. The second ingredient is a mapping from a given recurrent state to a canonical minimal recurrent state, exploiting similar ideas to previous studies of the ASM on complete bipartite graphs and Ferrers graphs. We also show that on the wheel graph with $2n$ vertices, the number of recurrent states with level $n$ is given by the first differences of the central Delannoy numbers. Finally, using similar tools, we exhibit a bijection between the set of recurrent configurations of the ASM on fan graphs and the set of subgraphs of the path graph containing the right-most vertex of the path. We show that these sets are also equinumerous with certain lattice paths, which we name Kimberling paths after the author of the corresponding entry in the Online Encyclopedia of Integer Sequences.
A characterization of normal $3$-pseudomanifolds with $g_2\leq4$
We characterize normal $3$-pseudomanifolds with $g_2\leq4$. We know that if a $3$-pseudomanifold with $g_2\leq4$ does not have any singular vertices then it is a $3$-sphere. We first prove that a normal $3$-pseudomanifold with $g_2\leq4$ has at most two singular vertices. Then we prove that a normal $3$-pseudomanifold with $g_2 \leq 4$, which is not a $3$-sphere is obtained from some boundary of $4$-simplices by a sequence of operations connected sum, edge expansion and an edge folding. In addition, by using [17], we re-framed the characterization of normal $3$-pseudomanifolds with $g_2\leq 9$, when it has no singular vertices.
Upper tail behavior of the number of triangles in random graphs with constant average degree
Published
• View Publication
• BIB
Let $N$ be the number of triangles in an Erdős-Rényi graph $\mathcal{G}(n,p)$ on $n$ vertices with edge density $p=d/n,$ where $d>0$ is a fixed constant. It is well known that $N$ weakly converges to the Poisson distribution with mean ${d^3}/{6}$ as $n\rightarrow \infty$. We address the upper tail problem for $N,$ namely, we investigate how fast $k$ must grow, so that the probability of $\{N\ge k\}$ is not well approximated anymore by the tail of the corresponding Poisson variable. Proving that the tail exhibits a sharp phase transition, we essentially show that the upper tail is governed by Poisson behavior only when $k^{1/3} \log k< (\frac{3}{\sqrt{2}})^{2/3} \log n$ (sub-critical regime) as well as pin down the tail behavior when $k^{1/3} \log k> (\frac{3}{\sqrt{2}})^{2/3} \log n$ (super-critical regime). We further prove a structure theorem, showing that the sub-critical upper tail behavior is dictated by the appearance of almost $k$ vertex-disjoint triangles whereas in the supercritical regime, the excess triangles arise from a clique like structure of size approximately $(6k)^{1/3}$. This settles the long-standing upper-tail problem in this case, answering a question of Aldous, complementing a long sequence of works, spanning multiple decades, culminating in (Harel, Moussat, Samotij,'19) which analyzed the problem only in the regime $p\gg \frac{1}{n}.$ The proofs rely on several novel graph theoretical results which could have other applications.
Enumerating solutions to grid based puzzles with a fixed number of rows
Published
• View Publication
• BIB
In this paper we demonstrate a method for counting the number of solutions to various logic puzzles. Specifically, we remove all of the "clues" from the puzzle which help the solver to a unique solution, and instead start from an empty grid. We then count the number of ways to fill in this empty grid to a valid solution. We fix the number of rows $r$, vary the number of columns $k$, and then compute the sequence $A_r(k)$, which gives the number of solutions on an empty grid of size $r \times k$.
Ore- and Pósa-type conditions for partitioning $2$-edge-coloured graphs into monochromatic cycles
Published in Electron. J. Combin. 30 (2023), no. 2, Paper 18
• View Publication
• BIB
In 2019, Letzter confirmed a conjecture of Balogh, Barát, Gerbner, Gyárfás and Sárközy, proving that every large $2$-edge-coloured graph $G$ on $n$ vertices with minimum degree at least $3n/4$ can be partitioned into two monochromatic cycles of different colours. Here, we propose a weaker condition on the degree sequence of $G$ to also guarantee such a partition and prove an approximate version. This resembles a similar generalisation to an Ore-type condition achieved by Barát and Sárközy.
Continuing work by Allen, Böttcher, Lang, Skokan and Stein, we also show that if $\operatorname{deg}(u) + \operatorname{deg}(v) \geq 4n/3 + o(n)$ holds for all non-adjacent vertices $u,v \in V(G)$, then all but $o(n)$ vertices can be partitioned into three monochromatic cycles.
On maximal autocorrelations of Rudin-Shapiro sequences
Published
• View Publication
• BIB
In this paper, we present an alternative proof showing that the maximal aperiodic autocorrelation of the $m$-th Rudin-Shapiro sequence is of the same order as $λ^{m}$, where $λ$ is the real root of $x^{3} + x^{2} - 2x - 4$. This result was originally proven by Allouche, Choi, Denise, Erdélyi, and Saffari (2019) and Choi (2020) using a translation of the problem into linear algebra. Our approach simplifies this linear algebraic translation and provides another method of dealing with the computations given by Choi. Additionally, we prove an analogous result for the maximal periodic autocorrelation of the $m$-th Rudin-Shapiro sequence. We conclude with a discussion on the connection between the proofs given and joint spectral radius theory, as well as a couple of conjectures on which autocorrelations are maximal.
Signs behaviour of sums of weighted numbers of partitions
Published
• View Publication
• BIB
Let $A$ be a subset of positive integers. By $A$-partition of $n$ we understand the representation of $n$ as a sum of elements from the set $A$. For given $i, n\in\N$, by $c_{A}(i,n)$ we denote the number of $A$-partitions of $n$ with exactly $i$ parts. In the paper we obtain several result concerning sign behaviour of the sequence $S_{A,k}(n)=\sum_{i=0}^{n}(-1)^{i}i^{k}c_{A}(i,n)$, where $k\in\N$ is fixed. In particular, we prove that for a broad class $\cal{A}$ of subsets of $\N_{+}$ we have that for each $A\in \cal{A}$ we have $(-1)^{n}S_{A,k}(n)\geq 0$ for each $n, k\in\N$.
Counting Various Classes of Tournament Score Sequences
Published in J. Integer Seq. 26 (2023), Article 23.5.2
• Search Publication
Based on known methods for computing the number of distinct score sequences for $n$-vertex tournaments, we develop algorithms for computing the number of distinct score sequences for self-complementary tournaments, strong tournaments, and tournaments that are both self-complementary and strong.
Uniform distribution and geometric incidence theory
Published
• View Publication
• BIB
A celebrated unit distance conjecture due to Erd\H os says that that the unit distances cannot arise more than $C_εn^{1+ε}$ times (for any $ε>0$) among $n$ points in the Euclidean plane (see e.g. \cite{SST84} and the references contained therein). In three dimensions, the conjectured bound is $Cn^{\frac{4}{3}}$ (see e.g. \cite{KMSS12} and \cite{Z19}). In dimensions four and higher, this problem, in its general formulation, loses meaning because the Lens example shows that one can construct a set of $n$ points in dimension $4$ and higher where the unit distance arises $\approx n^2$ times (see e.g. \cite{B97}). However, the Lens example is one-dimension in nature, which raises the possibility that the unit distance conjecture is still quite interesting in higher dimensions under additional structural assumptions on the point set. This point of view was explored in \cite{I19}, \cite{IS16}, \cite{IMT12}, \cite{IRU14}, \cite{OO15} and has led to some interesting connections between the unit distance problem and its continuous counterparts, especially the Falconer distance conjecture (\cite{Falc85}).
In this paper, we study the unit distance problem and its variants under the assumption that the underlying family of point sets is uniformly distributed. We prove several incidence bounds in this setting and clarify some key properties of uniformly distributed sequences in the context of incidence problems in combinatorial geometry.
Odd-distance and right-equidistant sets in the maximum and Manhattan metrics
Published in European Journal of Combinatorics, 2023, Vol. 107, 103603, 8 pp
• View Publication
• BIB
We solve two related extremal-geometric questions in the $n-$dimensional space $\mathbb{R}^n_{\infty}$ equipped with the maximum metric. First, we prove that the maximum size of a right-equidistant sequence of points in $\mathbb{R}^n_{\infty}$ equals $2^{n+1}-1$. A sequence is right-equidistant if each of the points is at the same distance from all the succeeding points. Second, we prove that the maximum number of points in $\mathbb{R}^n_{\infty}$ with pairwise odd distances equals $2^n$. We also obtain partial results for both questions in the $n-$dimensional space $\mathbb{R}^n_1$ with the Manhattan distance.
Coefficientwise Hankel-total positivity of the row-generating polynomials for the output matrices of certain production matrices
Published
• View Publication
• BIB
Total positivity of matrices is deeply studied and plays an important role in various branches of mathematics. The aim of this paper is to study the criteria for coefficientwise Hankel-total positivity of the row-generating polynomials of generalized $m$-Jacobi-Rogers triangles and their applications.
Using the theory of production matrices, we present the criteria for coefficientwise Hankel-total positivity of the row-generating polynomials of the output matrices of certain production matrices. In particular, we gain a criterion for coefficientwise Hankel-total positivity of the row-generating polynomial sequence of the generalized $m$-Jacobi-Rogers triangle. This immediately implies that the corresponding generalized $m$-Jacobi-Rogers triangular convolution preserves the Stieltjes moment property of sequences and its zeroth column sequence is coefficientwise Hankel-totally positive and log-convex of higher order in all the indeterminates. In consequence, for $m=1$, we immediately obtain some results on Hankel-total positivity for the Catalan-Stieltjes matrices. In particular, we in a unified manner apply our results to some combinatorial triangles or polynomials including the generalized Jacobi Stirling triangle, a generalized elliptic polynomial, a refined Stirling cycle polynomial and a refined Eulerian polynomial. For the general $m$, combining our criterion and a function satisfying an autonomous differential equation, we present different criteria for coefficientwise Hankel-total positivity of the row-generating polynomial sequence of exponential Rirodan arrays. In addition, we also derive some results for coefficientwise Hankel-total positivity in terms of compositional functions and $m$-branched Stieltjes-type continued fractions. We apply our results to many combinatorial polynomials and solve some conjcetures proposed by Sokal.