Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Graph-Based Multivariate Multiscale Dispersion Entropy: Efficient Implementation and Applications to Real-World Network Data
Published
• View Publication
• BIB
We introduce Multivariate Multiscale Graph-based Dispersion Entropy (mvDEG), a novel, computationally efficient method for analyzing multivariate time series data in graph and complex network frameworks, and demonstrate its application in real-world data. mvDEG effectively combines temporal dynamics with topological relationships, offering enhanced analysis compared to traditional nonlinear entropy methods. Its efficacy is established through testing on synthetic signals, such as uncorrelated and correlated noise, showcasing its adeptness in discerning various levels of dependency and complexity.
The robustness of mvDEG is further validated with real-world datasets, effectively differentiating various two-phase flow regimes and capturing distinct dynamics in weather data analysis. An important advancement of mvDEG is its computational efficiency. Our optimized algorithm displays a computational time that grows linearly with the number of vertices or nodes, in contrast to the exponential growth observed in classical methods. This efficiency is achieved through refined matrix power calculations that exploit matrix and Kronecker product properties, making our method faster than the state of the art. The significant acceleration in computational time positions mvDEG as a transformative tool for extensive and real-time applications, setting a new benchmark in the analysis of time series recorded at distributed locations and opening avenues for innovative applications.
Construction of extremal Type II $\mathbb{Z}_{8}$-codes via doubling method
Extremal Type II $\mathbb{Z}_{8}$-codes are a class of self-dual $\mathbb{Z}_{8}$-codes with Euclidean weights divisible by $16$ and the largest possible minimum Euclidean weight for a given length. We introduce a doubling method for constructing a Type II $\mathbb{Z}_{2k}$-code of length $n$ from a known Type II $\mathbb{Z}_{2k}$-code of length $n$. Based on this method, we develop an algorithm to construct new extremal Type II $\mathbb{Z}_8$-codes starting from an extremal Type II $\mathbb{Z}_8$-code of type $(\frac{n}{2},0,0)$ with an extremal $\mathbb{Z}_4$-residue code and length $24, 32$ or $40$.
We construct at least ten new extremal Type II $\mathbb{Z}_8$-codes of length $32$ and type $(15,1,1)$. Extremal Type II $\mathbb{Z}_8$-codes of length $32$ of this type were not known before. Moreover, the binary residue codes of the constructed extremal $\mathbb{Z}_8$-codes are optimal $[32,15]$ binary codes.
Growth in products of matrices: fastest, average, and generic
The problems that we consider in this paper are as follows. Let A and B be 2x2 matrices (over reals). Let w(A, B) be a word of length n. After evaluating w(A, B) as a product of matrices, we get a 2x2 matrix, call it W. What is the largest (by the absolute value) possible entry of W, over all w(A, B) of length n, as a function of n? What is the expected absolute value of the largest (by the absolute value) entry in a random product of n matrices, where each matrix is A or B with probability 0.5? What is the Lyapunov exponent for a random matrix product like that? We give partial answer to the first of these questions and an essentially complete answer to the second question. For the third question (the most difficult of the three), we offer a very simple method to produce an upper bound on the Lyapunov exponent in the case where all entries of the matrices A and B are nonnegative.
Clique packings in random graphs
Published
• View Publication
• BIB
We consider the question of how many edge-disjoint near-maximal cliques may be found in the dense Erdős-Rényi random graph $G(n,p)$. Recently Acan and Kahn showed that the largest such family contains only $O(n^2/(\log{n})^3)$ cliques, with high probability, which disproved a conjecture of Alon and Spencer. We prove the corresponding lower bound, $Ω(n^2/(\log{n})^3)$, by considering a random graph process which sequentially selects and deletes near-maximal cliques. To analyse this process we use the Differential Equation Method. We also give a new proof of the upper bound $O(n^2/(\log{n})^3)$ and discuss the problem of the precise size of the largest such clique packing.
Rigidity matroids and linear algebraic matroids with applications to matrix completion and tensor codes
Published
• View Publication
• BIB
We establish a connection between problems studied in rigidity theory and matroids arising from linear algebraic constructions like tensor products and symmetric products. A special case of this correspondence identifies the problem of giving a description of the correctable erasure patterns in a maximally recoverable tensor code with the problem of describing bipartite rigid graphs or low-rank completable matrix patterns. Additionally, we relate dependencies among symmetric products of generic vectors to graph rigidity and symmetric matrix completion. With an eye toward applications to computer science, we study the dependency of these matroids on the characteristic by giving new combinatorial descriptions in several cases, including the first description of the correctable patterns in an (m, n, a=2, b=2) maximally recoverable tensor code.
A cornering strategy for synchronizing a DFA
Published
• View Publication
• BIB
This paper considers the existence of short synchronizing words in deterministic finite automata (DFAs). We define two general strategies for generating synchronizing words, and we show that each of these strategies can be applied if and only if a DFA is synchronizable. Furthermore, we show that if a synchronizable DFA is well-structured, then our strategies generate short synchronizing words. The first of our strategies, called the cornering strategy, takes advantage of states in a DFA with properties similar to those of a polytope vertex. The second of our strategies, similar to the cornering strategy and called the $f$-ordered strategy, takes advantage of a partial order defined on the states of a DFA.
We apply our cornering strategy to the class of difference DFAs, whose states form subsets of $\mathbb R^d$ and whose input symbols correspond to translation vectors between states. We show that difference DFAs share many similarities with aperiodic DFAs, and in particular, a difference DFA $M$ has a synchronizing word if and only if it has a universally reachable state. Using the cornering strategy, we also show that under certain conditions, such an $n$-state DFA $M$ has a synchronizing word of length at most $(n-1)^2$ and thereby satisfies Černý's conjecture. Using the $f$-ordered strategy, we also show that a synchronizable DFA whose states have a certain partial order that is preserved by a set of short words also has a short synchronizing word, and we consider several consequences of this result.
Finally, we consider how the cornering strategy can be applied to the problem of synchronizing the product of two DFAs $M_1, M_2$ that share a common alphabet, and we show that the product $M_1 \times M_2$ often has a synchronizing word that is subquadratic in the number of states of $M_1 \times M_2$.
Lovasz' Conjecture and Other Applications of Topological Methods in Discrete Mathematics
In 20th century mathematics, the field of topology, which concerns the properties of geometric objects under continuous transformation, has proved surprisingly useful in application to the study of discrete mathematics, such as combinatorics, graph theory, and theoretical computer science. In this paper, we seek to provide an introduction to the relevant topological concepts to non-specialists, as well as a selection of some existing applications to theorems in discrete mathematics.
The Furstenberg-Sárközy theorem for polynomials in one or more prime variables
Published
• View Publication
• BIB
We establish upper bounds on the size of the largest subset of $\{1,2,\dots,N\}$ lacking nonzero differences of the form $h(p_1,\dots,p_{\ell})$, where $h\in \mathbb{Z}[x_1,\dots,x_{\ell}]$ is a fixed polynomial satisfying appropriate conditions and $p_1,\dots,p_{\ell}$ are prime. The bounds are of the same type as the best-known analogs for unrestricted integer inputs, due to Bloom-Maynard and Arala for $\ell=1$, and to the authors for $\ell \geq 2$.
Bijective and Automated Approaches to Abel Sums
We present both bijective and automated approaches to Abel-type sums, dear to Dominique Foata.
Analysing 2-$(v,k,2)$ designs admitting a flag-transitive almost simple automorphism group with socle $PSL(2,q)$ by means of conics and hyperovals of $PG(2,q)$
The classification of the $2$-designs with $λ=2$ admitting a flag-transitive automorphism groups with socle $PSL(2,q)$ is completed by settling the two open cases in \cite{ABDT}. The result is achieved by using conics and hyperovals of $PG(2,q)$.
All bipartite circulants are dispersable
Published
• View Publication
• BIB
We show that a cyclic vertex order due to Yu, Shao and Li gives a dispersable book embedding for any bipartite circulant.
Cycles of Well-Linked Sets I: an Elementary Bound for Directed Cycle Packing
In 1996, Reed, Robertson, Seymour and Thomas [Combinatorica 1996] proved Younger's Conjecture, which states that, for all directed graphs $D$, there exists a function $f$ such that, if $D$ does not contain $k$ disjoint cycles, then $D$ contains a feedback vertex set, i.e.~a subset of vertices whose deletion renders the graph acyclic, of size bounded by $f(k)$. However, the function obtained by Reed, Robertson, Seymour and Thomas in their paper is enormous and, in fact, not even elementary. We prove the first elementary upper bound for the function $f$ above, showing it is upper-bounded by a power tower of height 8.
Our proof is inspired by the breakthrough result of Chekuri and Chuzhoy [J.~ACM 2016], who proved a polynomial bound for the Excluded Grid Theorem for undirected graphs. We translate a key concept of their proof to directed graphs by introducing \emph{paths of well-linked sets (PWS)}, and show that any digraph of large directed treewidth contains a large PWS, which in turn contains a large fence.
We believe that the theoretical tools developed in this work may find applications beyond the results above, in a similar way as the path-of-sets-system framework due to Chekuri and Chuzhoy [J.~ACM 2016] did for undirected graphs (see, for example, Hatzel, Komosa, Pilipczuk and Sorge [Discret.~Math.~Theor.~Comput.~Sci.~2022], Chekuri and Chuzhoy [SODA 2015] and Chuzhoy and Nimavat [arXiv 2019]). Indeed, in a follow-up paper, we apply this framework to improve the bounds of the Directed Grid Theorem.
Avoiding short progressions in Euclidean Ramsey theory
Published in J. Combin. Theory Ser. A 217 (2026), Paper No. 106080, 17pp
• View Publication
• BIB
We provide a general framework to construct colorings avoiding short monochromatic arithmetic progressions in Euclidean Ramsey theory. Specifically, if $\ell_m$ denotes $m$ collinear points with consecutive points of distance one apart, we say that $\mathbb{E}^n \not \to (\ell_r,\ell_s)$ if there is a red/blue coloring of $n$-dimensional Euclidean space that avoids red congruent copies of $\ell_r$ and blue congruent copies of $\ell_s$. We show that $\mathbb{E}^n \not \to (\ell_3, \ell_{20})$, improving the best-known result $\mathbb{E}^n \not \to (\ell_3, \ell_{1177})$ by Führer and Tóth, and also establish $\mathbb{E}^n \not \to (\ell_4, \ell_{14})$ and $\mathbb{E}^n \not \to (\ell_5, \ell_{8})$ in the spirit of the classical result $\mathbb{E}^n \not \to (\ell_6, \ell_{6})$ due to Erdős et. al. We also show a number of similar $3$-coloring results, as well as $\mathbb{E}^n \not \to (\ell_3, α\ell_{6889})$, where $α$ is an arbitrary positive real number. This final result answers a question of Führer and Tóth in the positive.
Polynomial Divided Difference Operators Satisfying the Braid Relations
Published
• View Publication
• BIB
Many interesting families of polynomials are indexed by permutations or related objects, and are defined by applying divided difference operators, modified by polynomials, on some initial base case. The fact that these constructions produce well-defined polynomials is based on the applied modified divided difference operators satisfying the braid relations. We thus determine all the families of polynomial divided difference operators that satisfy the braid relations.
Lower General Position in Cartesian Products
A subset $S$ of vertices of a graph $G$ is in \emph{general position} if no shortest path in $G$ contains three vertices of $S$. The \emph{general position problem} consists of finding the number of vertices in a largest general position set of $G$, whilst the \emph{lower general position problem} asks for a smallest maximal general position set. In this paper we determine the lower general position numbers of several families of Cartesian products. We also show that the existence of small maximal general position sets in a Cartesian product is connected to a special type of general position set in the factors, which we call a \emph{terminal set}, for which adding any vertex $u$ from outside the set creates three vertices in a line with $u$ as an endpoint. We give a constructive proof of the existence of terminal sets for graphs with diameter at most three. We also present conjectures on the existence of terminal sets for all graphs and a lower bound on the lower general position number of a Cartesian product in terms of the lower general position numbers of its factors.
Structural Parameters for Dense Temporal Graphs
Published
• View Publication
• BIB
Temporal graphs provide a useful model for many real-world networks. Unfortunately the majority of algorithmic problems we might consider on such graphs are intractable. There has been recent progress in defining structural parameters which describe tractable cases by simultaneously restricting the underlying structure and the times at which edges appear in the graph. These all rely on the temporal graph being sparse in some sense. We introduce temporal analogues of three increasingly restrictive static graph parameters -- cliquewidth, modular-width and neighbourhood diversity -- which take small values for highly structured temporal graphs, even if a large number of edges are active at each timestep. The computational problems solvable efficiently when the temporal cliquewidth of the input graph is bounded form a subset of those solvable efficiently when the temporal modular-width is bounded, which is in turn a subset of problems efficiently solvable when the temporal neighbourhood diversity is bounded. By considering specific temporal graph problems, we demonstrate that (up to standard complexity theoretic assumptions) these inclusions are strict.
Reachability in temporal graphs under perturbation
Published
• View Publication
• BIB
Reachability and other path-based measures on temporal graphs can be used to understand spread of infection, information, and people in modelled systems. Due to delays and errors in reporting, temporal graphs derived from data are unlikely to perfectly reflect reality, especially with respect to the precise times at which edges appear. To reflect this uncertainty, we consider a model in which some number $ζ$ of edge appearances may have their timestamps perturbed by $\pmδ$ for some $δ$. Within this model, we investigate temporal reachability and consider the problem of determining the maximum number of vertices any vertex can reach under these perturbations. We show that this problem is intractable in general but is efficiently solvable when $ζ$ is sufficiently large. We also give algorithms which solve this problem in several restricted settings. We complement this with some contrasting results concerning the complexity of related temporal eccentricity problems under perturbation.
Commuting matrices via commuting endomorphisms
Evidences have suggested that counting representations are sometimes tractable even when the corresponding classification problem is almost impossible, or "wild" in a precise sense. Such counting problems are directly related to matrix counting problems, many of which are under active research. Using a general framework we formulate for such counting problems, we reduce some counting problems about commuting matries to problems about endomorphisms on all finite abelian $p$-groups. As an application, we count finite modules on some first examples of nonreduced curves over $\mathbb{F}_q$. We also relate some classical and hard problems regarding commuting triples of matrices to a conjecture of Onn on counting conjugacy classes of the automorphism group of an arbitrary finite abelian $p$-group.
On irreducibility of eccentricity matrix of graphs and construction of $ε-$equienergetic graphs
Published
• View Publication
• BIB
The eccentricity matrix $ε(G)$, of a connected graph $G$ is obtained by retaining the maximum distance from each row and column of the distance matrix of $G$ and the other entries are assigned with 0. In this paper, we discuss the eccentricity spectrum of subdivision vertex (edge) join of regular graphs. Also, we obtain new families of graphs having irreducible or reducible eccentricity matrix. Furthermore, we use these results to construct infinitely many $ε-$cospectral graph pairs as well as infinitely many pairs and triplets of $ε-$cospectral $ε-$equienergetic graphs. Moreover, we present some new family of $ε-$integral graphs.
A logarithmic approximation of linearly ordered colourings
A linearly ordered (LO) $k$-colouring of a hypergraph assigns to each vertex a colour from the set $\{0,1,\ldots,k-1\}$ in such a way that each hyperedge has a unique maximum element. Barto, Batistelli, and Berg conjectured that it is NP-hard to find an LO $k$-colouring of an LO 2-colourable 3-uniform hypergraph for any constant $k\geq 2$ [STACS'21] but even the case $k=3$ is still open. Nakajima and Živný gave polynomial-time algorithms for finding, given an LO 2-colourable 3-uniform hypergraph, an LO colouring with $O^*(\sqrt{n})$ colours [ICALP'22] and an LO colouring with $O^*(\sqrt[3]{n})$ colours [ACM ToCT'23]. Very recently, Louis, Newman, and Ray gave an SDP-based algorithm with $O^*(\sqrt[5]{n})$ colours [FSTTCS'24]. We present two simple polynomial-time algorithms that find an LO colouring with $O(\log_2(n))$ colours, which is an exponential improvement.