Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Perfect state transfer in NEPS of complete graphs
Published
• View Publication
• BIB
Perfect state transfer in graphs is a concept arising from quantum physics and quantum computing. Given a graph $G$ with adjacency matrix $A_G$, the transition matrix of $G$ with respect to $A_G$ is defined as $H_{A_{G}}(t) = \exp(-\mathrm{i}tA_{G})$, $t \in \mathbb{R},\ \mathrm{i}=\sqrt{-1}$. We say that perfect state transfer from vertex $u$ to vertex $v$ occurs in $G$ at time $τ$ if $u \ne v$ and the modulus of the $(u,v)$-entry of $H_{A_G}(τ)$ is equal to $1$. If the moduli of all diagonal entries of $H_{A_G}(τ)$ are equal to $1$ for some $τ$, then $G$ is called periodic with period $τ$. In this paper we give a few sufficient conditions for NEPS of complete graphs to be periodic or exhibit perfect state transfer.
Excellent graphs with respect to domination: subgraphs induced by minimum dominating sets
A graph $G=(V,E)$ is $γ$-excellent if $V$ is a union of all $γ$-sets of $G$, where $γ$ stands for the domination number. Let $\mathcal{I}$ be a set of all mutually nonisomorphic graphs and $\emptyset \not= \mathcal{H} \subsetneq \mathcal{I}$. In this paper we initiate the study of the $\mathcal{H}$-$γ$-excellent graphs, which we define as follows. A graph $G$ is $\mathcal{H}$-$γ$-excellent if the following hold: (i) for every $H \in \mathcal{H}$ and for each $x \in V(G)$ there exists an induced subgraph $H_x$ of $G$ such that $H$ and $H_x$ are isomorphic, $x \in V(H_x)$ and $V(H_x)$ is a subset of some $γ$-set of $G$, and (ii) the vertex set of every induced subgraph $H$ of $G$, which is isomorphic to some element of $\mathcal{H}$, is a subset of some $γ$-set of $G$. For each of some well known graphs, including cycles, trees and some cartesian products of two graphs, we describe its largest set $\mathcal{H} \subsetneq \mathcal{I}$ for which the graph is $\mathcal{H}$-$γ$-excellent. Results on $γ$-excellent regular graphs and a generalized lexicographic product of graphs are presented. Several open problems and questions are posed.
The structure of translational tilings in $\mathbb{Z}^d$
We obtain structural results on translational tilings of periodic functions in $\mathbb{Z}^d$ by finite tiles. In particular, we show that any level one tiling of a periodic set in $\mathbb{Z}^2$ must be weakly periodic (the disjoint union of sets that are individually periodic in one direction), but present a counterexample of a higher level tiling of $\mathbb{Z}^2$ that fails to be weakly periodic. We also establish a quantitative version of the two-dimensional periodic tiling conjecture which asserts that any finite tile in $\mathbb{Z}^2$ that admits a tiling, must admit a periodic tiling, by providing a polynomial bound on the period; this also gives an exponential-type bound on the computational complexity of the problem of deciding whether a given finite subset of $\mathbb{Z}^2$ tiles or not. As a byproduct of our structural theory, we also obtain an explicit formula for a universal period for all tilings of a one-dimensional tile.
Long-range order in discrete spin systems
We establish long-range order for discrete nearest-neighbor spin systems on $\mathbb{Z}^d$ satisfying a certain symmetry assumption, when the dimension $d$ is higher than an explicitly described threshold. The results characterize all periodic, maximal-pressure Gibbs states of the system. The results further apply in low dimensions provided that the lattice $\mathbb{Z}^d$ is replaced by $\mathbb{Z}^{d_1}\times\mathbb{T}^{d_2}$ with $d_1\ge 2$ and $d=d_1+d_2$ sufficiently high, where $\mathbb{T}$ is a cycle of even length. Applications to specific systems are discussed in detail and models for which new results are provided include the antiferromagnetic Potts model, Lipschitz height functions, and the hard-core, Widom--Rowlinson and beach models and their multi-type extensions. We also establish a formula conjectured by Jenssen and Keevash for the topological pressure in the high-dimensional limit.
Symmetric polynomials associated with numerical semigroups
We study a new kind of symmetric polynomials P_n(x_1,...,x_m) of degree n in m real variables, which have arisen in the theory of numerical semigroups. We establish their basic properties and find their representation through the power sums E_k=\sum_{j=1}^m x_j^k. We observe a visual similarity between normalized polynomials P_n(x_1,...,x_m)/χ_m, where χ_m=\prod_{j=1}^m x_j, and a polynomial part of a partition function W(s,{d_1,...,d_m}), which gives a number of partitions of s\ge 0 into m positive integers d_j, and put forward a conjecture about their relationship.
Small doubling in cyclic groups
Published
• View Publication
• BIB
We give a comprehensive description of the sets $A$ in finite cyclic groups such that $|2A|<\frac94|A|$; namely, we show that any set with this property is densely contained in a (one-dimensional) coset progression. This improves earlier results of Deshouillers-Freiman and Balasubramanian-Pandey.
Poincaré polynomial for fully commutative elements in the symmetric group
Let $W^c(A_n)$ be the set of fully commutative elements of the Coxeter group $W(A_n)$. Let $$ a_n(q)= \sum_{w \in W^c(A_n)} q^{l(w)} . $$ We compute $a_n(q)$.
An Introduction to Completeness of Positive Linear Recurrence Sequences
A positive linear recurrence sequence (PLRS) is a sequence defined by a homogeneous linear recurrence relation with positive coefficients and a particular set of initial conditions. A sequence of positive integers is \emph{complete} if every positive integer is a sum of distinct terms of the sequence. One consequence of Zeckendorf's theorem is that the sequence of Fibonacci numbers is complete. Previous work has established a generalized Zeckendorf's theorem for all PLRS's. We consider PLRS's and want to classify them as complete or not. We study how completeness is affected by modifying the recurrence coefficients of a PLRS. Then, we determine in many cases which sequences generated by coefficients of the forms $[1, \ldots, 1, 0, \ldots, 0, N]$ are complete. Further, we conjecture bounds for other maximal last coefficients in complete sequences in other families of PLRS's. Our primary method is applying Brown's criterion, which says that an increasing sequence $\{H_n\}_{n = 1}^{\infty}$ is complete if and only if $H_1 = 1$ and $H_{n + 1} \leq 1 + \sum_{i = 1}^n H_i$. This paper is an introduction to the topic that is explored further in Completeness of Positive Linear Recurrence Sequences arXiv:2010.01655.
Maker-Breaker total domination game on cubic graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (June 2, 2022) dmtcs:8529
• View Publication
• BIB
We study Maker--Breaker total domination game played by two players, Dominator and Staller, on the connected cubic graphs. Staller (playing the role of Maker) wins if she manages to claim an open neighbourhood of a vertex. Dominator wins otherwise (i.e.\ if he can claim a total dominating set of a graph). For certain graphs on $n\geq 6$ vertices, we give the characterization on those which are Dominator's win and those which are Staller's win.
Tight bounds on the maximal perimeter and the maximal width of convex small polygons
Published in Journal of Global Optimization, 84(4), 1033-1051, 2022
• View Publication
• BIB
A small polygon is a polygon of unit diameter. The maximal perimeter and the maximal width of a convex small polygon with $n=2^s$ vertices are not known when $s \ge 4$. In this paper, we construct a family of convex small $n$-gons, $n=2^s$ and $s\ge 3$, and show that the perimeters and the widths obtained cannot be improved for large $n$ by more than $a/n^6$ and $b/n^4$ respectively, for certain positive constants $a$ and $b$. In addition, assuming that a conjecture of Mossinghoff is true, we formulate the maximal perimeter problem as a nonlinear optimization problem involving trigonometric functions and, for $n=2^s$ with $3 \le s\le 7$, we provide global optimal solutions.
Strongly separable matrices for nonadaptive combinatorial group testing
Published
• View Publication
• BIB
In nonadaptive combinatorial group testing (CGT), it is desirable to identify a small set of up to $d$ defectives from a large population of $n$ items with as few tests (i.e. large rate) and efficient identifying algorithm as possible. In the literature, $d$-disjunct matrices ($d$-DM) and $\bar{d}$-separable matrices ($\bar{d}$-SM) are two classical combinatorial structures having been studied for several decades. It is well-known that a $d$-DM provides a more efficient identifying algorithm than a $\bar{d}$-SM, while a $\bar{d}$-SM could have a larger rate than a $d$-DM. In order to combine the advantages of these two structures, in this paper, we introduce a new notion of \emph{strongly $d$-separable matrix} ($d$-SSM) for nonadaptive CGT and show that a $d$-SSM has the same identifying ability as a $d$-DM, but much weaker requirements than a $d$-DM. Accordingly, the general bounds on the largest rate of a $d$-SSM are established. Moreover, by the random coding method with expurgation, we derive an improved lower bound on the largest rate of a $2$-SSM which is much higher than the best known result of a $2$-DM.
On the size of maximal intersecting families
Published
• View Publication
• BIB
We show that an $n$-uniform maximal intersecting family has size at most $e^{-n^{0.5+o(1)}}n^n$. This improves a recent bound by Frankl. The Spread Lemma of Alweiss, Lowett, Wu and Zhang plays an important role in the proof.
The Approximation Ratio of the 2-Opt Heuristic for the Euclidean Traveling Salesman Problem
Published
• View Publication
• BIB
The 2-Opt heuristic is a simple improvement heuristic for the Traveling Salesman Problem. It starts with an arbitrary tour and then repeatedly replaces two edges of the tour by two other edges, as long as this yields a shorter tour. We will prove that for Euclidean Traveling Salesman Problems with $n$ cities the approximation ratio of the 2-Opt heuristic is $Θ(\log n/ \log \log n)$. This improves the upper bound of $O(\log n$) given by Chandra, Karloff, and Tovey [3] in 1999.
The construction and weight distributions of all projective binary linear codes
Boolean functions can be used to construct binary linear codes in many ways, and vice versa. The objective of this short article is to point out a connection between the weight distributions of all projective binary linear codes and the Walsh spectra of all Boolean functions. New research problems are also proposed.
Structural properties of the first-order transduction quasiorder
Logical transductions provide a very useful tool to encode classes of structures inside other classes of structures. In this paper we study first-order (FO) transductions and the quasiorder they induce on infinite classes of finite graphs. Surprisingly, this quasiorder is very complex, though shaped by the locality properties of first-order logic. This contrasts with the conjectured simplicity of the monadic second order (MSO) transduction quasiorder.
We first establish a local normal form for FO transductions, which is of independent interest. Then we prove that the quotient partial order is a bounded distributive join-semilattice, and that the subposet of \emph{additive} classes is also a bounded distributive join-semilattice. The FO transduction quasiorder has a great expressive power, and many well studied class properties can be defined using it. We apply these structural properties to prove, among other results, that FO transductions of the class of paths are exactly perturbations of classes with bounded bandwidth, that the local variants of monadic stability and monadic dependence are equivalent to their (standard) non-local versions, and that the classes with pathwidth at most $k$, for $k\geq 1$ form a strict hierarchy in the FO transduction quasiorder.
On the Bicriterion Maximum Flow Network Interdiction Problem
This article focuses on a biobjective extension of the maximum flow network interdiction problem, where each arc in the network is associated with two capacity values. Two maximum flows from a source to a sink are to be computed independently of each other with respect to the first and second capacity function, respectively, while an interdictor aims to minimize the value of both maximum flows by interdicting arcs. We show that this problem is intractable and that the decision problem, which asks whether or not a feasible interdiction strategy is efficient, is NP-complete. We propose a pseudopolynomial time algorithm in the case of two-terminal series-parallel graphs and positive integer-valued interdiction costs. We extend this algorithm to a fully polynomial-time approximation scheme for the case of unit interdiction costs by appropriately partitioning the objective space.
Counting the parts divisible by k in all the partitions of n whose parts have multiplicity less than k
Published in INTEGERS 22 (2022), Article A49
• Search Publication
Recent results by Andrews and Merca on the number of even parts in all partitions of n into distinct parts, a(n), were derived via generating functions. This paper extends these results to the number of parts divisible by k in all the partitions of n for which the multiplicity of each part is strictly less than k, ak(n). Moreover, a combinatorial proof is provided using an extension of Glaisher's bijection. Finally, we give the generating functions for this new family of integer sequences and use it to verify generalized pentagonal, triangular, and square power recurrence relations.
Optimal orientations of vertex-multiplications of cartesian products of graphs
Published in Australas. J. Combin., 83, (2022), 109-128
• Search Publication
Koh and Tay proved a fundamental classification of $G$ vertex-multiplications into three classes $\mathscr{C}_0, \mathscr{C}_1$ and $\mathscr{C}_2$. In this paper, we prove that vertex-multiplications of cartesian products of graphs $G\times H$ lie in $\mathscr{C}_0$ ($\mathscr{C}_0\cup \mathscr{C}_1$ resp.) if $G^{(2)}\in \mathscr{C}_0$ ($\mathscr{C}_1$ resp.), $d(G)\ge 2$ and $d(G\times H)\ge 4$. We also focus on cartesian products involving trees, paths and cycles and show that most of them lie in $\mathscr{C}_0$.
Three new lengths for cyclic Legendre pairs
Published in Informatsionno-upravl. sistemy; Information and Control Systems 2021; 1: 2-7
• View Publication
• BIB
There are 20 odd integers v less than 200 for which the existence of Legendre pairs of length v is undecided. The smallest among them is v=77. We have constructed Legendre pairs of lengths 91, 93 and 123 reducing the number of undecided cases to 17.
Edge rings with $q$-linear resolutions
Published in Journal of Algebra 593 (2022), 550--567
• View Publication
• BIB
In the present paper, we give a complete classification of connected simple graphs whose edge rings have a $q$-linear resolution with $q \geq 2$. In particular, we show that the edge ring of a finite connected simple graph with a $q$-linear resolution, where $q \geq 3$, is a hypersurface, which was conjectured by Hibi, Matsuda, and Tsuchiya.