Showing 20 papers (Total: 84460 papers, 48641 authors in database)
New Extremal binary self-dual codes from a Baumert-Hall array
Published
• View Publication
• BIB
In this work, we introduce new construction methods for self-dual codes using a Baumert-Hall array. We apply the constructions over the alphabets F_2 and F_4 + uF_4 and combine them with extension theorems and neighboring constructions. As a result, we construct 46 new extremal binary self-dual codes of length 68, 26 new best known Type II codes of length 72 and 8 new extremal Type II codes of length 80 that lead to new 3-(80,16,665) designs. Among the new codes of length 68 are the examples of codes with the rare γ= 5 parameter in W68;2. All these new codes are tabulated in the paper.
An Optimal Algorithm for Online Freeze-tag
In the freeze-tag problem, one active robot must wake up many frozen robots. The robots are considered as points in a metric space, where active robots move at a constant rate and activate other robots by visiting them. In the (time-dependent) online variant of the problem, frozen robots are not revealed until a specified time. Hammar, Nilsson, and Persson have shown that no online algorithm can achieve a competitive ratio better than $7/3$ for online freeze-tag, and asked whether there is any $O(1)$-competitive algorithm. In this paper, we provide a $(1+\sqrt{2})$-competitive algorithm for online time-dependent freeze-tag, and show that no algorithm can achieve a lower competitive ratio on every metric space.
On two subclasses of Motzkin paths and their relation to ternary trees
Published
• View Publication
• BIB
Two subclasses of Motzkin paths, S-Motzkin and T-Motzkin paths, are introduced. We provide bijections between S-Motzkin paths and ternary trees, S-Motzkin paths and non-crossing trees, and T-Motzkin paths and ordered pairs of ternary trees. Symbolic equations for both paths, and thus generating functions for the paths, are provided. Using these, various parameters involving the two paths are analyzed.
Unary Patterns of Size Four with Morphic Permutations
We investigate the avoidability of unary patterns of size of four with morphic permutations. More precisely, we show that, for the positive integers $i,j,k$, the sizes of the alphabets over which a pattern $x π^ {i} (x) π^{j}(x) π^{k}(x)$ is avoidable are an interval of the integers (where $x$ is a word variable and $π$ is a function variable with values in the set of all morphic permutations of the respective alphabets). We also show how to compute a good approximation of this interval. This continues the work of [Manea et al., 2015], where a complete characterisation of the avoidability of cubic patterns with permutations was given.
Hamiltonicity below Dirac's condition
Published
• View Publication
• BIB
Dirac's theorem (1952) is a classical result of graph theory, stating that an $n$-vertex graph ($n \geq 3$) is Hamiltonian if every vertex has degree at least $n/2$. Both the value $n/2$ and the requirement for every vertex to have high degree are necessary for the theorem to hold.
In this work we give efficient algorithms for determining Hamiltonicity when either of the two conditions are relaxed. More precisely, we show that the Hamiltonian cycle problem can be solved in time $c^k \cdot n^{O(1)}$, for some fixed constant $c$, if at least $n-k$ vertices have degree at least $n/2$, or if all vertices have degree at least $n/2-k$. The running time is, in both cases, asymptotically optimal, under the exponential-time hypothesis (ETH).
The results extend the range of tractability of the Hamiltonian cycle problem, showing that it is fixed-parameter tractable when parameterized below a natural bound. In addition, for the first parameterization we show that a kernel with $O(k)$ vertices can be found in polynomial time.
Colored five-vertex models and Demazure atoms
Published
• View Publication
• BIB
Type A Demazure atoms are pieces of Schur functions, or sets of tableaux whose weights sum to such functions. Inspired by colored vertex models of Borodin and Wheeler, we will construct solvable lattice models whose partition functions are Demazure atoms; the proof of this makes use of a Yang-Baxter equation for a colored five-vertex model. As a biproduct, we construct Demazure atoms on Kashiwara's $\mathcal{B}_\infty$ crystal and give new algorithms for computing Lascoux-Schützenberger keys.
A Note on the Modified Albertson Index
Published in Utliltas Mathematica 117, (2020) 139-146
• Search Publication
The modified Albertson index, denoted by $A\!^*\!$, of a graph $G$ is defined as $A\!^*\!(G)=\sum_{uv\in E(G)} |(d_{u})^{2}- (d_{v})^{2}|$, where $d_u$, $d_v$ denote the degrees of the vertices $u$, $v$, respectively, of $G$ and $E(G)$ is the edge set of $G$. In this note, a sharp lower bound of $A\!^*$ in terms of the maximum degree for the case of trees is derived. The $n$-vertex trees having maximal and minimal $A\!^*$ values are also characterized here. Moreover, it is shown that $A\!^*\!(G)$ is non-negative even integer for every graph $G$ and that there exist infinitely many connected graphs whose $A\!^*$ value is $2t$ for every integer $t\in\{0,3,4,5\}\cup\{8,9,10,\cdots\}$.
2-universality in randomly perturbed graphs
Published
• View Publication
• BIB
A graph $G$ is called universal for a family of graphs $\mathcal{F}$ if it contains every element $F \in \mathcal{F}$ as a subgraph. Let $\mathcal{F}(n,2)$ be the family of all graphs with maximum degree $2$. Ferber, Kronenberg, and Luh [Optimal Threshold for a Random Graph to be 2-Universal, to appear in Transactions of the American Mathematical Society] proved that there exists a $C$ such that for $p \ge C (n^{-2/3} \log^{1/3} n )$ the random graph $G(n,p)$ a.a.s is $\mathcal{F}(n,2)$-universal, which is asymptotically optimal. For any $n$-vertex graph $G_α$ with minimum degree $δ(G_α) \ge αn$ Aigner and Brandt [Embedding arbitrary graphs of maximum degree two, Journal of the London Mathematical Society 48 (1993), 39-51] proved that $G_α$ is $\mathcal{F}(n,2)$-universal for an optimal $α\ge 2/3$.
In this note, we consider the model of randomly perturbed graphs, which is the union $G_α\cup G(n,p)$. We prove that $G_α\cup G(n,p)$ is a.a.s. $\mathcal{F}(n,2)$-universal provided that $α>0$ and $p=ω(n^{-2/3})$. This is asymptotically optimal and improves on both results from above in the respective parameter. Furthermore, this extends a result of Böttcher, Montgomery, Parczyk, and Person [Embedding spanning bounded degree subgraphs in randomly perturbed graphs, arXiv:1802.04603 (2018)], who embed a given $F \in \mathcal{F}(n,2)$ at these values. We also prove variants with universality for the family $\mathcal{F}^\ell(n,2)$, all graphs from $\mathcal{F}(n,2)$ with girth at least $\ell$. For example, there exists an $\ell_0$ depending only on $α$ such that for all $\ell \ge \ell_0$ already $p=ω(1/n)$ is sufficient for $\mathcal{F}^\ell(n,2)$-universality.
All Ramsey $(C_n,K_6)$ critical graphs for large $n$
Let $G$ and $H$ be finite graphs. If for any two-coloring of the edges of a complete graph $K_n$, there is a copy of $G$ in the first color, red, or a copy of $H$ in the second color, blue, we will say $K_n\rightarrow (G,H)$. The Ramsey number $r(G, H)$ is defined as the smallest positive integer $n$ such that $K_{n} \rightarrow (G, H)$. A two-coloring of $K_{r(G, H)-1}$ such that $K_{r(G, H)-1} \not \rightarrow (G,H)$ is called a critical coloring. A Ramsey critical $r(G, H)$ graph is a graph induced by the first color of a critical coloring. In this paper, when $n \geq 15$, we show that there exist exactly sixty eight non-isomorphic Ramsey critical $r(C_n, K_6)$ graphs.
The Fuglede conjecture holds in $\mathbb{Z}^3_5$
The Fuglede conjecture states that a set is spectral if and only if it tiles by translation. The conjecture was disproved by T. Tao for dimensions 5 and higher by giving a counterexample in $\mathbb{Z}_3^5$. We present a computer program that determines that the Fuglede conjecture holds in $\mathbb{Z}_5^3$ by exhausting the search space. A. Iosevich, A. Mayeli and J. Pakianathan showed that the Fuglede conjecture holds over prime fields when the dimension does not exceed 2. The question for dimension 3 was previously addressed by Aten et al. for $p=3$. In this paper we build upon the results of their work to allow a computer to carry out the lengthy computations.
Normal distributions of finite Markov chains
Published in Intern. J. of Algebra and Computation (2019) Vol. 29, No. 08, pp. 1431-1449
• View Publication
• BIB
We show that the stationary distribution of a finite Markov chain can be expressed as the sum of certain normal distributions. These normal distributions are associated to planar graphs consisting of a straight line with attached loops. The loops touch only at one vertex either of the straight line or of another attached loop. Our analysis is based on our previous work, which derives the stationary distribution of a finite Markov chain using semaphore codes on the Karnofsky--Rhodes and McCammond expansion of the right Cayley graph of the finite semigroup underlying the Markov chain.
Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds
Published
• View Publication
• BIB
We prove a general form of the regularity theorem for uniformity norms, and deduce an inverse theorem for these norms which holds for a class of compact nilspaces including all compact abelian groups, and also nilmanifolds; in particular we thus obtain the first non-abelian versions of such theorems. We derive these results from a general structure theorem for cubic couplings, thereby unifying these results with the Host-Kra Ergodic Structure Theorem. A unification of this kind had been propounded as a conceptual prospect by Host and Kra. Our work also provides new results on nilspaces. In particular, we obtain a new stability result for nilspace morphisms. We also strengthen a result of Gutman, Manners and Varjú, by proving that a $k$-step compact nilspace of finite rank is a toral nilspace (in particular, a connected nilmanifold) if and only if its $k$-dimensional cube set is connected. We also prove that if a morphism from a cyclic group of prime order into a compact finite-rank nilspace is sufficiently balanced (i.e. equidistributed in a certain quantitative and multidimensional sense), then the nilspace is toral. As an application of this, we obtain a new proof of a refinement of the Green-Tao-Ziegler inverse theorem.
Partition regularity and multiplicatively syndetic sets
Published
• View Publication
• BIB
We show how multiplicatively syndetic sets can be used in the study of partition regularity of dilation invariant systems of polynomial equations. In particular, we prove that a dilation invariant system of polynomial equations is partition regular if and only if it has a solution inside every multiplicatively syndetic set. We also adapt the methods of Green-Tao and Chow-Lindqvist-Prendiville to develop a syndetic version of Roth's density increment strategy. This argument is then used to obtain bounds on the Rado numbers of configurations of the form $\{x, d, x + d, x + 2d\}$.
Small 4-regular planar graphs that are not circle representable
A 4-regular planar graph $G$ is said to be circle representable if there exists a collection of circles drawn on the plane such that the touching and crossing points correspond to the vertices of $G$, and the circular arcs between those points correspond to the edges of $G$. Lovász (1970) conjectured that every 4-regular planar graph has a circle representation, but an infinite family of counterexamples was given by Bekos and Raftopoulou (2015). We reduce the order of the smallest known counterexamples among simple graphs from 822 to 68 based on a multigraph counterexample of order 12.
Improved bound for the dimension of posets of treewidth two
Published
• View Publication
• BIB
Joret et al. proved that posets with cover graphs of treewidth at most 2 have dimension at most 1276. Their proof is long and very complex. We give a short and much simpler proof that the dimension of such posets is at most 12.
Equivariant Kazhdan-Lusztig polynomials of thagomizer matroids
Published
• View Publication
• BIB
The equivariant Kazhdan-Lusztig polynomial of a matroid was introduced by Gedeon, Proudfoot, and Young. Gedeon conjectured an explicit formula for the equivariant Kazhdan-Lusztig polynomials of thagomizer matroids with an action of symmetric groups. In this paper, we discover a new formula for these polynomials which is related to the equivariant Kazhdan-Lusztig polynomials of uniform matroids. Based on our new formula, we confirm Gedeon's conjecture by the Pieri rule.
Equivalent definitions for (degree one) Cameron-Liebler classes of generators in finite classical polar spaces
In this article, we study degree one Cameron-Liebler sets of generators in all finite classical polar spaces, which is a particular type of a Cameron-Liebler set of generators in this polar space, [9]. These degree one Cameron-Liebler sets are defined similar to the Boolean degree one functions, [15]. We summarize the equivalent definitions for these sets and give a classification result for the degree one Cameron-Liebler sets in the polar spaces W(5,q) and Q(6,q).
Real-rootedness of variations of Eulerian polynomials
Published
• View Publication
• BIB
The binomial Eulerian polynomials, introduced by Postnikov, Reiner, and Williams, are $γ$-positive polynomials and can be interpreted as $h$-polynomials of certain flag simplicial polytopes. Recently, Athanasiadis studied analogs of these polynomials for colored permutations. In this paper, we generalize them to $\mathbf{s}$-inversion sequences and prove that these new polynomials have only real roots by the method of interlacing polynomials. Three applications of this result are presented. The first one is to prove the real-rootedness of binomial Eulerian polynomials, which confirms a conjecture of Ma, Ma, and Yeh. The second one is to prove that the symmetric decomposition of binomial Eulerian polynomials for colored permutations is real-rooted. Thirdly, our polynomials for certain $\mathbf{s}$-inversion sequences are shown to admit a similar geometric interpretation related to edgewise subdivisions of simplexes.
On Anti-Powers in Aperiodic Recurrent Words
Published
• View Publication
• BIB
Fici, Restivo, Silva, and Zamboni define a $\textit{$k$-anti-power}$ to be a concatenation of $k$ consecutive words that are pairwise distinct and have the same length. They ask for the maximum $k$ such that every aperiodic recurrent word must contain a $k$-anti-power, and they prove that this maximum must be 3, 4, or 5. We resolve this question by demonstrating that the maximum is 5. We also conjecture that if $W$ is a reasonably nice aperiodic morphic word, then there is some constant $C = C(W)$ such that for all $i,k\geq 1$, $W$ contains a $k$-anti-power with blocks of length at most $Ck$ beginning at its $i^\text{th}$ position. We settle this conjecture for binary words that are generated by a uniform morphism, characterizing the small exceptional set of words for which such a constant cannot be found. This generalizes recent results of the second author, Gaetz, and Narayanan that have been proven for the Thue-Morse word, which also show that such a linear bound is the best one can hope for in general.
Constructive Methods in Gallai-Ramsey Theory for Hypergraphs
Much recent progress in hypergraph Ramsey theory has focused on constructions that lead to lower bounds for the corresponding Ramsey numbers. In this paper, we consider applications of these results to Gallai colorings. That is, we focus on the Ramsey numbers resulting from only considering $t$-colorings of the hyperedges of complete $r$-uniform hypergraphs in which no rainbow $K_{r+1}^{(r)}$-subhypergraphs exists. We also provide new constructions which imply improved lower bounds for many $3$ and $4$-uniform Ramsey numbers and $3$ and $4$-uniform Gallai-Ramsey numbers.