Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Cut-Down de Bruijn Sequences
Published
• View Publication
• BIB
A cut-down de Bruijn sequence is a cyclic string of length $L$, where $1 \leq L \leq k^n$, such that every substring of length $n$ appears at most once. Etzion [Theor. Comp. Sci 44 (1986)] gives an algorithm to construct binary cut-down de Bruijn sequences that requires $o(n)$ simple $n$-bit operations per symbol generated. In this paper, we simplify the algorithm and improve the running time to $\mathcal{O}(n)$ time per symbol generated using $\mathcal{O}(n)$ space. We then provide the first successor-rule approach for constructing a binary cut-down de Bruijn sequence by leveraging recent ranking algorithms for fixed-density Lyndon words. Finally, we develop an algorithm to generate cut-down de Bruijn sequences for $k>2$ that runs in $\mathcal{O}(n)$ time per symbol using $\mathcal{O}(n)$ space after some initialization. While our $k$-ary algorithm is based on our simplified version of Etzion's binary algorithm, a number of non-trivial adaptations are required to generalize to larger alphabets.
Independence number of hypergraphs under degree conditions
A well-known result of Ajtai et al. from 1982 states that every $k$-graph $H$ on $n$ vertices, with girth at least five, and average degree $t^{k-1}$ contains an independent set of size $c n (\log t)^{1/(k-1)}/t$ for some $c>0$. In this paper we show that an independent set of the same size can be found under weaker conditions allowing certain cycles of length 2, 3 and 4.
Our work is motivated by a problem of Lo and Zhao, who asked for $k\ge 4$, how large of an independent set a $k$-graph $H$ on $n$ vertices necessarily has when its maximum $(k-2)$-degree $Δ_{k-2}(H)\le dn$. (The corresponding problem with respect to $(k-1)$-degrees was solved by Kostochka, Mubayi, and Varstraëte [Random Structures & Algorithms 44, 224--239, 2014].) In this paper we show that every $k$-graph $H$ on $n$ vertices with $Δ_{k-2}(H)\le dn$ contains an independent set of size $c (\frac nd \log\log \frac nd)^{1/(k-1)}$, and under additional conditions, an independent set of size $c (\frac nd \log \frac nd)^{1/(k-1)}$. The former assertion gives a new upper bound for the $(k-2)$-degree Turán density of complete $k$-graphs.
A Crystal Analysis of $P$-Arrays
Gasharov introduced the combinatorial objects known as $P$-arrays to prove $s$-positivity for the chromatic symmetric functions of incomparability graphs of (3+1)-free posets. We define a crystal, a directed colored graph with some additional axioms, on the set of $P$-arrays. The components of the crystal have $s$-positive characters, thereby refining the $s$-positivity theorems of Gasharov, as well as Shareshian and Wachs. The crystal hints at a possible generalization of the Robinson-Schensted correspondence applied to $P$-arrays.
Ramsey, expanders, and Borel chromatic numbers
We construct bounded degree acyclic Borel graphs with large Borel chromatic number using a graph arising from Ramsey theory and limits of expander sequences.
Results on bar-core partitions, core shifted Young diagrams, and doubled distinct cores
Published
• View Publication
• BIB
Simultaneous bar-cores, core shifted Young diagrams (or CSYDs), and doubled distinct cores have been studied since Morris and Yaseen introduced the concept of bar-cores. In this paper, our goal is to give a formula for the number of these core partitions on $(s,t)$-cores and $(s,s+d,s+2d)$-cores for the remaining cases that are not covered yet. In order to achieve this goal, we observe a characterization of $\bar{s}$-core partitions to obtain characterizations of doubled distinct $s$-core partitions and $s$-CSYDs. By using them, we construct $NE$ lattice path interpretations of these core partitions on $(s,t)$-cores. Also, we give free Motzkin path interpretations of these core partitions on $(s,s+d,s+2d)$-cores.
On chromatic vertex stability of 3-chromatic graphs with maximum degree 4
The (independent) chromatic vertex stability ($\ivs(G)$) $\vs(G)$ is the minimum size of (independent) set $S\subseteq V(G)$ such that $χ(G-S)=χ(G)-1$. In this paper we construct infinitely many graphs $G$ with $Δ(G)=4$, $χ(G)=3$, $\ivs(G)=3$ and $\vs(G)=2$, which gives a partial negative answer to a problem posed in \cite{ABKM}.
Geometric multiplicity of unitary non-backtracking eigenvalues
We completely characterize the conditions under which a complex unitary number is an eigenvalue of the non-backtracking matrix of an undirected graph. Further, we provide a closed formula to compute its geometric multiplicity and describe an algorithm to compute this multiplicity without making a single matrix computation. The algorithm has time complexity that is linear in the size of the graph.
Turán numbers of $r$-graphs on $r+1$ vertices
Published in J. Combin. Theory, ser. B, vol 169, 2024, p. 150-160
• View Publication
• BIB
Let $H_k^r$ denote an $r$-uniform hypergraph with $k$ edges and $r+1$ vertices, where $k \leq r+1$ (it is easy to see that such a hypergraph is unique up to isomorphism). The known general bounds on its Turán density are $π(H_k^r) \leq \frac{k-2}{r}$ for all $k \geq 3$, and $π(H_3^r) \geq 2^{1-r}$ for $k=3$. We prove that $π(H_k^r) \geq (C_k - o(1)) \, r^{-(1+\frac{1}{k-2})}$ as $r\to\infty$. In the case $k=3$, we prove $π(H_3^r) \geq (1.7215 - o(1)) \, r^{-2}$ as $r\to\infty$, and $π(H_3^r) \geq r^{-2}$ for all $r$.
Weight distribution of random linear codes and Krawchouk polynomials
Published
• View Publication
• BIB
For $0 < λ< 1$ and $n \rightarrow \infty$ pick uniformly at random $λn$ vectors in $\{0,1\}^n$ and let $C$ be the orthogonal complement of their span. Given $0 < γ< \frac12$ with $0 < λ< h(γ)$, let $X$ be the random variable that counts the number of words in $C$ of Hamming weight $i = γn$ (where $i$ is assumed to be an even integer). Linial and Mosheiff determined the asymptotics of the moments of $X$ of all orders $o\left(\frac{n}{\log n}\right)$. In this paper we extend their estimates up to moments of linear order. Our key observation is that the behavior of the suitably normalized $k^{th}$ moment of $X$ is essentially determined by the $k^{th}$ norm of the Krawchouk polynomial $K_i$.
Biembeddings of Archdeacon type: their full automorphism group and their number
Archdeacon, in his seminal paper $[1]$, defined the concept of Heffter array in order to provide explicit constructions of $\mathbb{Z}_{v}$-regular biembeddings of complete graphs $K_v$ into orientable surfaces.
In this paper, we first introduce the quasi-Heffter arrays as a generalization of the concept of Heffer array and we show that, in this context, we can define a $2$-colorable embedding of Archdeacon type of the complete multipartite graph $K_{\frac{v}{t}\times t}$ into an orientable surface. Then, our main goal is to study the full automorphism groups of these embeddings: here we are able to prove, using a probabilistic approach, that, almost always, this group is exactly $\mathbb{Z}_{v}$.
As an application of this result, given a positive integer $t\not\equiv 0\pmod{4}$, we prove that there are, for infinitely many pairs of $v$ and $k$, at least $(1-o(1)) \frac{(\frac{v-t}{2})!}{φ(v)} $ non-isomorphic biembeddings of $K_{\frac{v}{t}\times t}$ whose face lengths are multiples of $k$. Here $φ(\cdot)$ denotes the Euler's totient function. Moreover, in case $t=1$ and $v$ is a prime, almost all these embeddings define faces that are all of the same length $kv$, i.e. we have a more than exponential number of non-isomorphic $kv$-gonal biembeddings of $K_{v}$.
Combinatorial games on Galton-Watson trees involving several-generation-jump moves
Published in Comb. Number Th. 13 (2024) 1-58
• View Publication
• BIB
We study the $k$-jump normal and $k$-jump misère games on rooted Galton-Watson trees, expressing the probabilities of various outcomes of these games as specific fixed points of certain functions that depend on $k$ and the offspring distribution. We discuss results on phase transitions pertaining to draw probabilities when the offspring distribution is Poisson$(λ)$ (i.e. for which values of $λ$, the draw probability is strictly positive). We compare the probabilities of the various outcomes of the $2$-jump normal game with those of the $2$-jump misère game, and a similar comparison is drawn between the $2$-jump normal game and the $1$-jump normal game, under the Poisson regime. We describe the rate of decay of the probability that the first player loses the $2$-jump normal game as $λ\rightarrow \infty$. Finally, we discuss a sufficient condition for the average duration of the $k$-jump normal game to be finite.
Existence of the $det^{S^2}$ map
Published
• View Publication
• BIB
In this paper we show that for a vector space $V_d$ of dimension $d$ there exists a linear map $det^{S^2}:V_d^{\otimes d(2d-1)}\to k$ with the property that $det^{S^2}(\otimes_{1\leq i<j\leq 2d}(v_{i,j}))=0$ if there exists $1\leq x<y<z\leq 2d$ such that $v_{x,y}=v_{x,z}=v_{y,z}$. The existence of such a map was conjectured in [4]. We present two applications of the map $det^{S^2}$ to geometry and combinatorics.
Symmetric Layer-Rainbow Colorations of Cubes
Published
• View Publication
• BIB
Can we color the $n^3$ cells of an $n\times n\times n$ cube $L$ with $n^2$ colors in such a way that each layer parallel to each face contains each color exactly once and that the coloring is symmetric so that $L_{ij\ell}=L_{j\ell i}=L_{\ell ij}$ for distinct $i,j,\ell \in \{1,\dots,n\}$, and $L_{iij}=L_{jj i}, L_{iji}=L_{jij}, L_{ij j}=L_{jii}$ for $i,j\in \{1,\dots,n\}$?
Using transportation networks, we show that such a coloring is possible if and only if $n\equiv 0,2 \mod 3$ (with two exceptions, $n=1$ and $n\neq 3$). Motivated by the designs of experiments, the study of these objects (without symmetry) was initiated by Kishen and Fisher in the 1940's. These objects are also closely related to orthogonal arrays whose existence has been extensively investigated, and they are natural three-dimensional analogues of symmetric latin squares.
Poset Ramsey Number $R(P,Q_n)$. II. Antichains
For two posets $(P,\le_P)$ and $(P',\le_{P'})$, we say that $P'$ contains a copy of $P$ if there exists an injective function $f\colon P'\to P$ such that for every two $X,Y\in P$, $X\le_P Y$ if and only if $f(X)\le_{P'} f(Y)$. Given two posets $P$ and $Q$, let the poset Ramsey number $R(P,Q)$ be the smallest integer $N$ such that any coloring of the elements of an $N$-dimensional Boolean lattice in blue or red contains either a copy of $P$ where all elements are blue or a copy of $Q$ where all elements are red. We determine the poset Ramsey number $R(A_t,Q_n)$ of an antichain versus a Boolean lattice for small $t$ by showing that $R(A_t,Q_n)=n+3$ for $3\le t\le \log \log n$.
Iterated line graphs with only negative eigenvalues $-2$, their complements and energy
Published in Palest. J. Math. 14 (2025) 926-939
• Search Publication
The graphs with all equal negative or positive eigenvalues are special kind in the spectral graph theory. In this article, several iterated line graphs $\mathcal{L}^k(G)$ with all equal negative eigenvalues $-2$ are characterized for $k\ge 1$ and their energy consequences are presented. Also, the spectra and the energy of complement of these graphs are obtained, interestingly they have exactly two positive eigenvalues with different multiplicities. Moreover, we characterize a large class of equienergetic graphs which generalize some of the existing results. There are two different quotient matrices defined for an equitable partition of $H$-join (generalized composition) of regular graphs to find the spectrum (partial) of adjacency matrix, Laplacian matrix and signless Laplacian matrix, it has been proved that these two quotient matrices give the same respective spectrum of graphs.
Improved error bounds for the distance distribution of Reed-Solomon codes
Published
• View Publication
• BIB
We use the generating function approach to derive simple expressions for the factorial moments of the distance distribution over Reed-Solomon codes. We obtain better upper bounds for the error term of a counting formula given by Li and Wan, which gives nontrivial estimates on the number of polynomials over finite fields with prescribed leading coefficients and a given number of linear factors. This improvement leads to new results on the classification of deep holes of Reed Solomon codes.
Lattices with lots of congruence energy
In 1978, motivated by E. Hückel's work in quantum chemistry, I. Gutman introduced the concept of the energy of a finite simple graph $G$ as the sum of the absolute values of the eigenvalues of the adjacency matrix of $G$. At the time of writing, the MathSciNet search for "Title=(graph energy) AND Review Text=(eigenvalue)" returns 351 publications, most of which going after Gutman's definition.
A congruence $α$ of a finite algebra $A$ turns $A$ into a simple graph: we connect $x\neq y\in A$ by an edge iff $(x,y)\inα$; we let En$(α)$ be the energy of this graph. We introduce the congruence energy CE$(A)$ of $A$ by CE$(A):=\sum\{$En$(α): α\in$ Con$(A)\}$. Let LAT$(n)$ and CDA$(n)$ stand for the class of $n$-element lattices and that of $n$-element congruence distributive algebras of any type. For a class $\mathcal X$, let CE$(\mathcal X):= \{$CE$(A): A\in \mathcal X\}$. We prove the following.
(1) For $α\in A$, En$(α)/2$ is the height of $α$ in the equivalence lattice of $A$.
(2) The largest number and the second largest number in CE(LAT($n$)) are $(n-1)\cdot 2^{n-1}$ and, for $n\geq 4$, $(n-1)\cdot 2^{n-2}+2^{n-3}$; these numbers are only witnessed by chains and lattices with exactly one two-element antichain, respectively.
(3) The largest number in CE(CDA($n$)) is also $(n-1)\cdot 2^{n-1}$, and if CE$(A)=(n-1)\cdot 2^{n-1}$ for an $A\in$ CDA$(n)$, then Con$(A)$ is a boolean lattice with size $|$Con$(A)|=2^{n-1}$.
Counterexample to a conjecture of Aharoni and Korman
Ron Aharoni and Vladimir Korman conjectured that any hypergraph with only finite edges has a strongly minimal cover. We present a counterexample.
Critical Window of The Symmetric Perceptron
Published
• View Publication
• BIB
We study the critical window of the symmetric binary perceptron, or equivalently, combinatorial discrepancy. Consider the problem of finding a binary vector $σ$ satisfying $\|Aσ\|_\infty \le K$, where $A$ is an $αn \times n$ matrix with iid Gaussian entries. For fixed $K$, at which densities $α$ is this constraint satisfaction problem (CSP) satisfiable? A sharp threshold was recently established by Perkins and Xu, and Abbe, Li, and Sly , answering this to first order. Namely, for each $K$ there exists an explicit critical density $α_c$ so that for any fixed $ε> 0$, with high probability the CSP is satisfiable for $αn < (α_c - ε) n$ and unsatisfiable for $αn > (α_c + ε) n$. This corresponds to a bound of $o(n)$ on the size of the critical window.
We sharpen these results significantly, as well as provide exponential tail bounds. Our main result is that, perhaps surprisingly, the critical window is actually at most $O(\log n)$. More precisely, with high probability the CSP is satisfiable for $αn < α_c n -O(\log n)$ and unsatisfiable for any $αn > α_c n + ω(1)$. This implies the symmetric perceptron has nearly the "sharpest possible transition," adding it to a short list of CSP for which the critical window is rigorously known to be of near-constant width.
A Fully Adaptive Strategy for Hamiltonian Cycles in the Semi-Random Graph Process
The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the problem of constructing a Hamiltonian cycle in as few rounds as possible. In particular, we present an adaptive strategy for the player which achieves it in $αn$ rounds, where $α< 2.01678$ is derived from the solution to some system of differential equations. We also show that the player cannot achieve the desired property in less than $βn$ rounds, where $β> 1.26575$. These results improve the previously best known bounds and, as a result, the gap between the upper and lower bounds is decreased from 1.39162 to 0.75102.