Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Low Autocorrelation Binary Sequences
Published in J. Phys. A: Math. Theor. 49 (2016) 165001
• View Publication
• BIB
Binary sequences with minimal autocorrelations have applications in communication engineering, mathematics and computer science. In statistical physics they appear as groundstates of the Bernasconi model. Finding these sequences is a notoriously hard problem, that so far can be solved only by exhaustive search. We review recent algorithms and present a new algorithm that finds optimal sequences of length $N$ in time $Θ(N\,1.73^N)$. We computed all optimal sequences for $N\leq 66$ and all optimal skewsymmetric sequences for $N\leq 119$.
Grid Intersection Graphs and Order Dimension
Published
• View Publication
• BIB
We study subclasses of grid intersection graphs from the perspective of order dimension. We show that partial orders of height two whose comparability graph is a grid intersection graph have order dimension at most four. Starting from this observation we provide a comprehensive study of classes of graphs between grid intersection graphs and bipartite permutation graphs and the containment relation on these classes. Order dimension plays a role in many arguments.
Light subgraphs in graphs with average degree at most four
Published in Discrete Mathematics, 339 (2016) 2581--2591
• View Publication
• BIB
A graph $H$ is said to be {\em light} in a family $\mathfrak{G}$ of graphs if at least one member of $\mathfrak{G}$ contains a copy of $H$ and there exists an integer $λ(H, \mathfrak{G})$ such that each member $G$ of $\mathfrak{G}$ with a copy of $H$ also has a copy $K$ of $H$ such that $°_{G}(v) \leq λ(H, \mathfrak{G})$ for all $v \in V(K)$. In this paper, we study the light graphs in the class of graphs with small average degree, including the plane graphs with some restrictions on girth.
Refining a Tree-Decomposition which Distinguishes Tangles
Published
• View Publication
• BIB
Roberston and Seymour introduced tangles of order $k$ as objects representing highly connected parts of a graph and showed that every graph admits a tree-decomposition of adhesion $<k$ in which each tangle of order $k$ is contained in a different part. Recently, Carmesin, Diestel, Hamann and Hundertmark showed that such a tree-decomposition can be constructed in a canonical way, which makes it invariant under automorphisms of the graph. These canonical tree-decompositions necessarily have parts which contain no tangle of order $k$. We call these parts inessential. Diestel asked what could be said about the structure of the inessential parts. In this paper we show that the torsos of the inessential parts in these tree-decompositions have branch width $<k$, allowing us to further refine the canonical tree-decompositions, and also show that a similar result holds for $k$-blocks.
Vertex-Coloring with Star-Defects
Published
• View Publication
• BIB
Defective coloring is a variant of traditional vertex-coloring, according to which adjacent vertices are allowed to have the same color, as long as the monochromatic components induced by the corresponding edges have a certain structure. Due to its important applications, as for example in the bipartisation of graphs, this type of coloring has been extensively studied, mainly with respect to the size, degree, and acyclicity of the monochromatic components.
In this paper we focus on defective colorings in which the monochromatic components are acyclic and have small diameter, namely, they form stars. For outerplanar graphs, we give a linear-time algorithm to decide if such a defective coloring exists with two colors and, in the positive case, to construct one. Also, we prove that an outerpath (i.e., an outerplanar graph whose weak-dual is a path) always admits such a two-coloring. Finally, we present NP-completeness results for non-planar and planar graphs of bounded degree for the cases of two and three colors.
Graphs, Disjoint Matchings and Some Inequalities
Published in Buletinul Academiei de Stiinte a Republicii Moldova. Matematica 103(3), (2023), 26--36
• View Publication
• BIB
For $k \geq 1$ and a graph $G$ let $ν_k(G)$ denote the size of a maximum $k$-edge-colorable subgraph of $G$. Mkrtchyan, Petrosyan and Vardanyan proved that $ν_2(G)\geq \frac45\cdot |V(G)|$, $ν_3(G)\geq \frac76\cdot |V(G)|$ for any cubic graph $G$ ~\cite{samvel:2010}. They were also able to show that if $G$ is a cubic graph, then $ν_2(G)+ν_3(G)\geq 2\cdot |V(G)|$ ~\cite{samvel:2014} and $ν_2(G) \leq \frac{|V(G)| + 2\cdot ν_3(G)}{4}$ ~\cite{samvel:2010}. In the first part of the present work, we show that the last two inequalities imply the first two of them.
Moreover, we show that $ν_2(G) \geq α\cdot \frac{|V(G)| + 2\cdot ν_3(G)}{4} $, where
$α=\frac{16}{17}$, if $G$ is a cubic graph,
$α=\frac{20}{21}$, if $G$ is a cubic graph containing a perfect matching,
$α=\frac{44}{45}$, if $G$ is a bridgeless cubic graph.
We also investigate the parameters $ν_2(G)$ and $ν_3(G)$ in the class of claw-free cubic graphs. We improve the lower bounds for $ν_2(G)$ and $ν_3(G)$ for claw-free bridgeless cubic graphs to $ν_2(G)\geq \frac{35}{36}\cdot |V(G)|$
($n \geq 48$), $ν_3(G)\geq \frac{43}{45}\cdot |E(G)|$. On the basis of these inequalities we are able to improve the coefficient $α$ for bridgeless claw-free cubic graphs.
In the second part of the work, we prove lower bounds for $ν_k(G)$ in terms of $\frac{ν_{k-1}(G)+ν_{k+1}(G)}{2}$ for $k\geq 2$ and graphs $G$ containing at most $1$ cycle. We also present the corresponding conjectures for bipartite and nearly bipartite graphs.
The combinatorial geometry of stresses in frameworks
Published
• View Publication
• BIB
In this paper we formulate and prove necessary and sufficient geometric conditions for existence of generic tensegrities in the plane for arbitrary graphs. The conditions are written in terms of "meet-join" relations for the configuration spaces of fixed points and non-fixed lines through fixed points.
The minimum volume of subspace trades
Published in Discrete Math. 340(12) 2017, 2723-2731
• View Publication
• BIB
A subspace bitrade of type $T_q(t,k,v)$ is a pair $(T_0,T_1)$ of two disjoint nonempty collections of $k$-dimensional subspaces of a $v$-dimensional space $V$ over the finite field of order $q$ such that every $t$-dimensional subspace of $V$ is covered by the same number of subspaces from $T_0$ and $T_1$. In a previous paper, the minimum cardinality of a subspace $T_q(t,t+1,v)$ bitrade was established. We generalize that result by showing that for admissible $v$, $t$, and $k$, the minimum cardinality of a subspace $T_q(t,k,v)$ bitrade does not depend on $k$. An example of a minimum bitrade is represented using generator matrices in the reduced echelon form. For $t=1$, the uniqueness of a minimum bitrade is proved.
The modular group and words in its two generators
Published in Lithuanian Mathematical Journal, 57 (1), (2017), 1-12
• View Publication
• BIB
Consider the full modular group $\sf{PSL}_{2}(\mathbb{Z})$ with presentation $\langle U,S|U^3,S^2\rangle$. Motivated by our investigations on quasi-modular forms and the Minkowski question mark function (so that this paper might be considered as a necessary appendix), we are lead to the following natural question. Some words in the alphabet $\{U,S\}$ are equal to the unity; for example, $USU^3SU^2$ is such a word of length $8$, and $USU^3SUSU^3S^3U$ is such a word of length $15$. Given $n\in\mathbb{N}_{0}$. Find the number of words of length $n$ which are equal to the unity. This is the new entry A265434 into the Online Encyclopedia of Integer Sequences. We investigate the generating function of this sequence and prove that it is an algebraic function over $\mathbb{Q}(x)$ of degree $3$. As an aside, we formulate the problem of describing all algebraic functions with a Fermat property.
Minimal supports of eigenfunctions of Hamming graphs
Published
• View Publication
• BIB
We find minimal supports of eigenfunctions of Hamming graphs for eigenvalue n(q-1)-q and describe eigenfunctions with minimal support.
On discrete values of bilinear forms
Published
• View Publication
• BIB
This paper is an erratum to our paper, entitled "On an application of Guth-Katz theorem", Math. Res. Lett. 18 (2011), no. 4, 691-697.
Let $F$ be the real or complex field and $ω$ a non-degenerate skew-symmetric bilinear form in the plane $F^2$. We prove that for finite a point set $P\subset F^2\setminus\{0\}$, the set $T_ω(P)$ of nonzero values of $ω$ in $P\times P$, if nonempty, has cardinality $Ω(N^{9/13}).$
A presumably near-sharp estimate $Ω(N/\log N)$ was claimed in the abovemnetioned paper over the reals for a symmetric or skew-symmetric form $ω$. However, the set-up for the proof was flawed. We discuss why we believe that justifying this claim in full strength is a major open problem.
In the special case when $P=A\times A$, where $A$ is a set of at least two reals, we establish the following sum-product type estimates: $$ |AA+ AA|= Ω\left(|A|^{19/12}\right), $$ and $$|AA-AA|= Ω\left( \frac{|A|^{26/17}}{\log^{2/17}|A|}\right).$$
Subsets of $\mathbb{F}_q[x]$ free of 3-term geometric progressions
Several recent papers have considered the Ramsey-theoretic problem of how large a subset of integers can be without containing any 3-term geometric progressions. This problem has also recently been generalized to number fields, determining bounds on the greatest possible density of ideals avoiding geometric progressions. We study the analogous problem over $\mathbb{F}_q[x]$, first constructing a set greedily which avoids these progressions and calculating its density, and then considering bounds on the upper density of subsets of $\mathbb{F}_q[x]$ which avoid 3-term geometric progressions. This new setting gives us a parameter $q$ to vary and study how our bounds converge to 1 as it changes, and finite characteristic introduces some extra combinatorial structure that increases the tractibility of common questions in this area.
Coloring points with respect to squares
Published
• View Publication
• BIB
We consider the problem of $2$-coloring geometric hypergraphs. Specifically, we show that there is a constant $m$ such that any finite set of points in the plane $\mathcal{S} \subset {\mathbb R}^2$ can be $2$-colored such that every axis-parallel square that contains at least $m$ points from $\mathcal{S}$ contains points of both colors. Our proof is constructive, that is, it provides a polynomial-time algorithm for obtaining such a $2$-coloring. By affine transformations this result immediately applies also when considering $2$-coloring points with respect to homothets of a fixed parallelogram.
On Konig-Egervary Collections of Maximum Critical Independent Sets
Published
• View Publication
• BIB
Let G be a simple graph with vertex set V(G). A set S is independent if no two vertices from S are adjacent. The graph G is known to be a Konig-Egervary if alpha(G)+mu(G)= |V(G)|, where alpha(G) denotes the size of a maximum independent set and mu(G) is the cardinality of a maximum matching. The number d(X)= |X|-|N(X)| is the difference of X, and an independent set A is critical if d(A) = max{d(I):I is an independent set in G} (Zhang; 1990). Let Omega(G) denote the family of all maximum independent sets. Let us say that a family Gamma of independent sets is a Konig-Egervary collection if |Union of Gamma| + |Intersection of Gamma| = 2alpha(G) (Jarden, Levit, Mandrescu; 2015). In this paper, we show that if the family of all maximum critical independent sets of a graph G is a Konig-Egervary collection, then G is a Konig-Egervary graph. It generalizes one of our conjectures recently validated in (Short; 2015).
On the vertex Folkman numbers $F_v(a_1, ..., a_s; m - 1)$ when $\max\{a_1, ..., a_s\} = 6$ or $7$
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, 109:213-243, 2019
• Search Publication
Let $G$ be a graph and $a_1, ..., a_s$ be positive integers. Then $G \overset{v}{\rightarrow} (a_1, ..., a_s)$ means that for every coloring of the vertices of $G$ in $s$ colors there exists $i \in \{1, ..., s\}$, such that there is a monochromatic $a_i$-clique of color $i$. The vertex Folkman number $F_v(a_1, ..., a_s; q)$ is defined by the equality: $$ F_v(a_1, ..., a_s; q) = \min\{|V(G)| : G \overset{v}{\rightarrow} (a_1, ..., a_s) \mbox{ and } K_q \not\subseteq G\}. $$ Let $m = \sum\limits_{i=1}^s (a_i - 1) + 1$. It is easy to see that $F_v(a_1, ..., a_s; q) = m$ if $q \geq m + 1$. In [11] it is proved that $F_v(a_1, ..., a_s; m) = m + \max\{a_1, ..., a_s\}$. We know all the numbers $F_v(a_1, ..., a_s; m - 1)$ when $\max\{a_1, ..., a_s\} \leq 5$ and none of these numbers is known if $\max\{a_1, ..., a_s\} \geq 6$. In this paper we compute the numbers $F_v(a_1, ..., a_s; m - 1)$ when $\max\{a_1, ..., a_s\} = 6$.
The Multi-Orientable Random Tensor Model, a Review
Published in SIGMA 12 (2016), 056, 23 pages
• View Publication
• BIB
After its introduction (initially within a group field theory framework) in [Tanasa A., J. Phys. A: Math. Theor. 45 (2012), 165401, 19 pages, arXiv:1109.0694], the multi-orientable (MO) tensor model grew over the last years into a solid alternative of the celebrated colored (and colored-like) random tensor model. In this paper we review the most important results of the study of this MO model: the implementation of the $1/N$ expansion and of the large $N$ limit ($N$ being the size of the tensor), the combinatorial analysis of the various terms of this expansion and finally, the recent implementation of a double scaling limit.
Infinite families of monohedral disk tilings
This paper gives new solutions to the problem: 'Can we construct monohedral tilings of the disk such that a neighbourhood of the origin has trivial intersection with at least one tile?'
The Class of Random Graphs Arising from Exchangeable Random Measures
We introduce a class of random graphs that we argue meets many of the desiderata one would demand of a model to serve as the foundation for a statistical analysis of real-world networks. The class of random graphs is defined by a probabilistic symmetry: invariance of the distribution of each graph to an arbitrary relabelings of its vertices. In particular, following Caron and Fox, we interpret a symmetric simple point process on $\mathbb{R}_+^2$ as the edge set of a random graph, and formalize the probabilistic symmetry as joint exchangeability of the point process. We give a representation theorem for the class of random graphs satisfying this symmetry via a straightforward specialization of Kallenberg's representation theorem for jointly exchangeable random measures on $\mathbb{R}_+^2$. The distribution of every such random graph is characterized by three (potentially random) components: a nonnegative real $I \in \mathbb{R}_+$, an integrable function $S: \mathbb{R}_+ \to \mathbb{R}_+$, and a symmetric measurable function $W: \mathbb{R}_+^2 \to [0,1]$ that satisfies several weak integrability conditions. We call the triple $(I,S,W)$ a graphex, in analogy to graphons, which characterize the (dense) exchangeable graphs on $\mathbb{N}$. Indeed, the model we introduce here contains the exchangeable graphs as a special case, as well as the "sparse exchangeable" model of Caron and Fox. We study the structure of these random graphs, and show that they can give rise to interesting structure, including sparse graph sequences. We give explicit equations for expectations of certain graph statistics, as well as the limiting degree distribution. We also show that certain families of graphexes give rise to random graphs that, asymptotically, contain an arbitrarily large fraction of the vertices in a single connected component.
Extremal k-apex Trees for Randic Index
The Randic (connectivity) index is one of the most successful molecular descriptors in structure-property and structure-activity relationships studies. J. Gao found the sharp upper bound for the Randic index of apex trees. In this paper, we proved that k-apex trees are not regular graphs for k\ge2 and proposed a sharp upper bound for the Randic index of k-apex trees for k>1.
On star-forest ascending subgraph decomposition
The Ascending Subgraph Decomposition (ASD) Conjecture asserts that every graph $G$ with ${n+1\choose 2}$ edges admits an edge decomposition $G=H_1\oplus\cdots \oplus H_n$ such that $H_i$ has $i$ edges and it is isomorphic to a subgraph of $H_{i+1}$, $i=1,\ldots ,n-1$. We show that every bipartite graph $G$ with ${n+1\choose 2}$ edges such that the degree sequence $d_1,\ldots ,d_k$ of one of the stable sets satisfies $ d_{k-i}\ge n-i\; \text{for each}\; 0\le i\le k-1,$, admits an ascending subgraph decomposition with star forests. We also give a necessary condition on the degree sequence which is not far from the above sufficient one.