Showing 20 papers (Total: 84253 papers, 48533 authors in database)
The sequence of prime gaps is graphic
Published in Math. Ann. 388 (2024), 2195-2215
• View Publication
• BIB
Let us call a simple graph on $n\geq 2$ vertices a prime gap graph if its vertex degrees are $1$ and the first $n-1$ prime gaps. We show that such a graph exists for every large $n$, and in fact for every $n\geq 2$ if we assume the Riemann hypothesis. Moreover, an infinite sequence of prime gap graphs can be generated by the so-called degree preserving growth process. This is the first time a naturally occurring infinite sequence of positive integers is identified as graphic. That is, we show the existence of an interesting, and so far unique, infinite combinatorial object.
Local permutation polynomials and the action of e-Klenian groups
Published
• View Publication
• BIB
Permutation polynomials of finite fields have many applications in Coding Theory, Cryptography and Combinatorics. In the first part of this paper we present a new family of local permutation polynomials based on a class of symmetric subgroups without fixed points, the so called e-Klenian groups. In the second part we use the fact that bivariate local permutation polynomials define Latin Squares, to discuss several constructions of Mutually Orthogonal Latin Squares (MOLS) and, in particular, we provide a new family of MOLS on size a prime power.
On the spectrum and energy of Seidel matrix for chain graphs
We study various spectral properties of the Seidel matrix $S$ of a connected chain graph. We prove that $-1$ is always an eigenvalue of $S$ and all other eigenvalues of $S$ can have multiplicity at most two. We obtain the multiplicity of the Seidel eigenvalue $-1$, minimum number of distinct eigenvalues, eigenvalue bounds, characteristic polynomial, lower and upper bounds of Seidel energy of a chain graph. It is also shown that the energy bounds obtained here work better than the bounds conjectured by Haemers. We also obtain the minimal Seidel energy for some special chain graphs of order $n$. We also give a number of open problems.
A Privacy-Aware Distributed Approach for Loosely Coupled Mixed Integer Linear Programming Problems
In this paper, we propose two exact distributed algorithms to solve mixed integer linear programming (MILP) problems with multiple agents where data privacy is important for the agents. A key challenge is that, because of the non-convex nature of MILPs, classical distributed and decentralized optimization approaches cannot be applied directly to find their optimal solutions. The proposed exact algorithms are based on adding primal cuts and restricting the Lagrangian relaxation of the original MILP problem. We show finite convergence of these algorithms for MILPs with only binary and continuous variables. We test the proposed algorithms on the unit commitment problem and discuss its pros and cons comparing to the central MILP approach.
Average Redundancy of Variable-Length Balancing Schemes à la Knuth
Published
• View Publication
• BIB
We study and propose schemes that map messages onto constant-weight codewords using variable-length prefixes. We provide polynomial-time computable formulas that estimate the average number of redundant bits incurred by our schemes. In addition to the exact formulas, we also perform an asymptotic analysis and demonstrate that our scheme uses $\frac12 \log n+O(1)$ redundant bits to encode messages into length-$n$ words with weight $(n/2)+{\sf q}$ for constant ${\sf q}$. We also propose schemes that map messages into balanced codebooks with error-correcting capabilities. For such schemes, we provide methods to enumerate the average number of redundant bits.
Revisiting the Random Subset Sum problem
The average properties of the well-known Subset Sum Problem can be studied by the means of its randomised version, where we are given a target value $z$, random variables $X_1, \ldots, X_n$, and an error parameter $\varepsilon > 0$, and we seek a subset of the $X_i$s whose sum approximates $z$ up to error $\varepsilon$. In this setup, it has been shown that, under mild assumptions on the distribution of the random variables, a sample of size $\mathcal{O}(\log(1/\varepsilon))$ suffices to obtain, with high probability, approximations for all values in $[-1/2, 1/2]$. Recently, this result has been rediscovered outside the algorithms community, enabling meaningful progress in other fields. In this work we present an alternative proof for this theorem, with a more direct approach and resourcing to more elementary tools.
On the total versions of 1-2-3-conjecture for graphs and hypergraphs
Published
• View Publication
• BIB
In 2004, Karoński, Łuczak and Thomason proposed $1$-$2$-$3$-conjecture: For every nice graph $G$ there is an edge weighting function $ w:E(G)\rightarrow\{1,2,3\} $ such that the induced vertex coloring is proper.
After that, the total versions of this conjecture were suggested in the literature and recently, Kalkowski et al. have generalized this conjecture to hypergraphs. In this paper, some previously known results on the total versions are improved. Moreover, an affirmative answer is given to the conjecture for some well-known families of hypergraphs like complete $n$-partite hypergraphs, paths, cycles, theta hypergraphs and some geometric planes. Also, these hypergraphs are characterized based on the corresponding parameter.
Two-dimensional Fibonacci Words: Tandem Repeats and Factor Complexity
If $x$ is a non-empty string then the repetition $xx$ is called a tandem repeat. Similarly, a tandem in a two dimensional array $X$ is a configuration consisting of a same primitive block $W$ that touch each other with one side or corner. In \cite{Apostolico:2000}, Apostolico and Brimkov have proved various bounds for the number of tandems in a two dimensional word of size $m \times n$. Of the two types of tandems considered therein, they also proved that, for one type, the number of occurrences in an $m \times n$ Fibonacci array attained the general upper bound, $\mathcal{O}(m^{2}n \hspace{0.1cm} \mbox{log} \hspace{0.1cm} n)$. In this paper, we derive an expression for the exact number of tandems in a given finite Fibonacci array $f_{m,n}$. As a required result, we derive the factor complexities of $f_{m,n}$, $m,n \ge 0$ and that of the infinite Fibonacci word $f_{\infty, \infty}$. Generations of $f_{\infty, \infty}$ and $f_{m,n}$, for any given $m,n \ge 1$ using a two-dimensional homomorphism is also achieved.
Enumeration of Generalized Dyck Paths Based on the Height of Down-Steps Modulo $k$
Published in Electron. J. Combin.30(2023), no.1, Paper No. 1.26, 18 pp
• View Publication
• BIB
For fixed non-negative integers $k$, $t$, and $n$, with $t < k$, a $k_t$-Dyck path of length $(k+1)n$ is a lattice path that starts at $(0, 0)$, ends at $((k+1)n, 0)$, stays weakly above the line $y = -t$, and consists of steps from the step-set $\{(1, 1), (1, -k)\}$. We enumerate the family of $k_t$-Dyck paths by considering the number of down-steps at a height of $i$ modulo $k$. Given a tuple $(a_1, a_2, \ldots, a_k)$ we find an exact enumeration formula for the number of $k_t$-Dyck paths of length $(k+1)n$ with $a_i$ down-steps at a height of $i$ modulo $k$, $1 \leq i \leq k$. The proofs given are done via bijective means or with generating functions.
Comparing Wiener, Szeged and revised Szeged index on cactus graphs
Published
• View Publication
• BIB
We show that on cactus graphs the Szeged index is bounded above by twice the Wiener index. For the revised Szeged index the situation is reversed if the graph class is further restricted. Namely, if all blocks of a cactus graph are cycles, then its revised Szeged index is bounded below by twice its Wiener index. Additionally, we show that these bounds are sharp and examine the cases of equality. Along the way, we provide a formulation of the revised Szeged index as a sum over vertices, which proves very helpful, and may be interesting in other contexts.
Acyclic Coloring of Products of Digraphs and of Digraphs with Bounded Treewidth
Published
• View Publication
• BIB
The dichromatic number of a digraph $G$ is the smallest integer $χ_a(G)$ such that the vertex set of $G$ can be partitioned into $χ_a(G)$ sets, each of which induces an acyclic subdigraph. This is a generalization of the classic chromatic number of graphs. Here, we investigate the dichromatic number of the cartesian, direct, strong and lexicographic products, giving generalizations of some classic results on the chromatic number of products. More specifically, we prove that the following inequalities, known to hold for the chromatic number of graphs, still hold for the dichromatic number of digraphs: $χ_a(G\square H)=\max\{χ_a(G),χ_a(H)\}$; $χ_a(G\times H)\le \min\{χ_a(G),χ_a(H)\}$; and $χ_a(G[H]) = χ_a(G[\overset{\leftrightarrow}{K}_k])$, where $k =χ_a(H)$ and $\overset{\leftrightarrow}{K}_k$ denotes the complete digraph on $k$ vertices. In addition, we investigate the products of directed cycles, giving exact values for $χ_a(\overset{\rightarrow}{C}_n\times \overset{\rightarrow}{C}_m)$ and $χ_a(\overset{\rightarrow}{C}_n\boxtimes \overset{\rightarrow}{C}_m)$ for every $n,m$, and for $χ_a(\overset{\rightarrow}{C}_n[H])$ for every positive integer $n$. This latter result generalizes a result given in \cite{PP.16}, where they give exact values when $n>χ_a(H)$. We also provide a upper-bound to the dichromatic number of a digraph $G$ as a function of the treewidth of its underlying graph and we present an {\FPT}-time algorithm that computes the dichromatic number of $G$, when parameterized by treewidth of the underlying graph of $G$.
Tropical medians by transportation
Published in Mathematical Programming, Volume 205 (2024), pp. 813-839
• View Publication
• BIB
Fermat-Weber points with respect to an asymmetric tropical distance function are studied. It turns out that they correspond to the optimal solutions of a transportation problem. The results are applied to obtain a new method for computing consensus trees in phylogenetics. This method has several desirable properties; e.g., it is Pareto and co-Pareto on rooted triplets.
Intersections and Distinct Intersections in Cross-intersecting Families
Published
• View Publication
• BIB
Let $\mathcal{F},\mathcal{G}$ be two cross-intersecting families of $k$-subsets of $\{1,2,\ldots,n\}$. Let $\mathcal{F}\wedge \mathcal{G}$, $\mathcal{I}(\mathcal{F},\mathcal{G})$ denote the families of all intersections $F\cap G$ with $F\in \mathcal{F},G\in \mathcal{G}$, and all distinct intersections $F\cap G$ with $F\neq G, F\in \mathcal{F},G\in \mathcal{G}$, respectively. For a fixed $T\subset \{1,2,\ldots,n\}$, let $\mathcal{S}_T$ be the family of all $k$-subsets of $\{1,2,\ldots,n\}$ containing $T$. In the present paper, we show that $|\mathcal{F}\wedge \mathcal{G}|$ is maximized when $\mathcal{F}=\mathcal{G}=\mathcal{S}_{\{1\}}$ for $n\geq 2k^2+8k$, while surprisingly $|\mathcal{I}(\mathcal{F}, \mathcal{G})|$ is maximized when $\mathcal{F}=\mathcal{S}_{\{1,2\}}\cup \mathcal{S}_{\{3,4\}}\cup \mathcal{S}_{\{1,4,5\}}\cup \mathcal{S}_{\{2,3,6\}}$ and $\mathcal{G}=\mathcal{S}_{\{1,3\}}\cup \mathcal{S}_{\{2,4\}}\cup \mathcal{S}_{\{1,4,6\}}\cup \mathcal{S}_{\{2,3,5\}}$ for $n\geq 100k^2$. The maximum number of distinct intersections in a $t$-intersecting family is determined for $n\geq 3(t+2)^3k^2$ as well.
Microlocal Theory of Legendrian Links and Cluster Algebras
Published
• View Publication
• BIB
We show the existence of quasi-cluster $\mathcal{A}$-structures and cluster Poisson structures on moduli stacks of sheaves with singular support in the alternating strand diagram of grid plabic graphs by studying the microlocal parallel transport of sheaf quantizations of Lagrangian fillings of Legendrian links. The construction is in terms of contact and symplectic topology, showing that there exists an initial seed associated to a canonical relative Lagrangian skeleton. In particular, mutable cluster $\mathcal{A}$-variables are intrinsically characterized via the symplectic topology of Lagrangian fillings in terms of dually $\mathbb{L}$-compressible cycles. New ingredients are introduced throughout this work, including the initial weave associated to a grid plabic graph, cluster mutation along a non-square face of a plabic graph, the concept of the sugar-free hull, and the notion of microlocal merodromy. Finally, a contact geometric realization of the DT-transformation is constructed for shuffle graphs, proving cluster duality for the cluster ensembles.
Sums of Distances on Graphs and Embeddings into Euclidean Space
Published
• View Publication
• BIB
Let $G=(V,E)$ be a finite, connected graph. We consider a greedy selection of vertices: given a list of vertices $x_1, \dots, x_k$, take $x_{k+1}$ to be any vertex maximizing the sum of distances to the existing vertices and iterate: we keep adding the `most remote' vertex. The frequency with which the vertices of the graph appear in this sequence converges to a set of probability measures with nice properties. The support of these measures is, generically, given by a rather small number of vertices $m \ll |V|$. We prove that this suggests that the graph $G$ is at most '$m$-dimensional' by exhibiting an explicit $1-$Lipschitz embedding $φ: G \rightarrow \ell^1(\mathbb{R}^m)$ with good properties.
Information Inequalities via Submodularity and a Problem in Extremal Graph Theory
Published
• View Publication
• BIB
The present paper offers, in its first part, a unified approach for the derivation of families of inequalities for set functions which satisfy sub/supermodularity properties. It applies this approach for the derivation of information inequalities with Shannon information measures. Connections of the considered approach to a generalized version of Shearer's lemma, and other related results in the literature are considered. Some of the derived information inequalities are new, and also known results (such as a generalized version of Han's inequality) are reproduced in a simple and unified way. In its second part, this paper applies the generalized Han's inequality to analyze a problem in extremal graph theory. This problem is motivated and analyzed from the perspective of information theory, and the analysis leads to generalized and refined bounds. The two parts of this paper are meant to be independently accessible to the reader.
Clustering Systems of Phylogenetic Networks
Published
• View Publication
• BIB
Rooted acyclic graphs appear naturally when the phylogenetic relationship of a set $X$ of taxa involves not only speciations but also recombination, horizontal transfer, or hybridization, that cannot be captured by trees. A variety of classes of such networks have been discussed in the literature, including phylogenetic, level-1, tree-child, tree-based, galled tree, regular, or normal networks as models of different types of evolutionary processes. Clusters arise in models of phylogeny as the sets $\mathtt{C}(v)$ of descendant taxa of a vertex $v$. The clustering system $\mathscr{C}_N$ comprising the clusters of a network $N$ conveys key information on $N$ itself. In the special case of rooted phylogenetic trees, $T$ is uniquely determined by its clustering system $\mathscr{C}_T$. Although this is no longer true for networks in general, it is of interest to relate properties of $N$ and $\mathscr{C}_N$. Here, we systematically investigate the relationships of several well-studied classes of networks and their clustering systems. The main results are correspondences of classes of networks and clustering system of the following form: If $N$ is a network of type $\mathbb{X}$, then $\mathcal{C}_N$ satisfies $\mathbb{Y}$, and conversely if $\mathscr{C}$ is a clustering system satisfying $\mathbb{Y}$ then there is network $N$ of type $\mathbb{X}$ such that $\mathscr{C}\subseteq\mathscr{C}_N$.This, in turn, allows us to investigate the mutual dependencies between the distinct types of networks in much detail.
Every signed planar graph without cycles of length from 4 to 7 is 3-colorable
Hu and Li investigate the signed graph version of Erd$\ddot{\mathrm{o}}$s problem: Is there a constant $c$ such that every signed planar graph without $k$-cycles, where $4\leq k\leq c$, is $3$-colorable and prove that each signed planar graph without cycles of length from 4 to 8 is 3-colorable. We give a very short and simple proof of this result and improve it, based on a recent observation.
The tropical and zonotopal geometry of periodic timetables
Published
• View Publication
• BIB
The Periodic Event Scheduling Problem (PESP) is the standard mathematical tool for optimizing periodic timetabling problems in public transport. A solution to PESP consists of three parts: a periodic timetable, a periodic tension, and integer periodic offset values. While the space of periodic tension has received much attention in the past, we explore geometric properties of the other two components, establishing novel connections between periodic timetabling and discrete geometry. Firstly, we study the space of feasible periodic timetables, and decompose it into polytropes, i.e., polytopes that are convex both classically and in the sense of tropical geometry. We then study this decomposition and use it to outline a new heuristic for PESP, based on the tropical neighbourhood of the polytropes. Secondly, we recognize that the space of fractional cycle offsets is in fact a zonotope. We relate its zonotopal tilings back to the hyperrectangle of fractional periodic tensions and to the tropical neighbourhood of the periodic timetable space. To conclude we also use this new understanding to give tight lower bounds on the minimum width of an integral cycle basis.
New Correlation Bound and Construction of Quasi-Complementary Code Sets
Published
• View Publication
• BIB
Quasi-complementary sequence sets (QCSSs) have attracted sustained research interests for simultaneously supporting more active users in multi-carrier code-division multiple-access (MC-CDMA) systems compared to complete complementary codes (CCCs). In this paper, we investigate a novel class of QCSSs composed of multiple CCCs. We derive a new aperiodic correlation lower bound for this type of QCSSs, which is tighter than the existing bounds for QCSSs. We then present a systematic construction of such QCSSs with a small alphabet size and low maximum correlation magnitude, and also show that the constructed aperiodic QCSSs can meet the newly derived bound asymptotically.