Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Arrowhead and Diamond Diameters
{\em Arrowhead} and {\em diamond} are two hierarchical Cayley graphs defined on the triangular grid. In their undirected version, they are isomorphic and merely define two distinct representations of the same graph. This paper gives the expression of their diameter, in the oriented and non--oriented case. It also displays the full distribution of antipodals.
Finite Free Point Processes
We use techniques from finite free probability to analyze matrix processes related to eigenvalues, singular values, and generalized singular values of random matrices. The models we use are quite basic and the analysis consists entirely of expected characteristic polynomials. A number of our results match known results in random matrix theory, however our main result (regarding generalized singular values) seems to be more general than any of the standard random matrix processes (Hermite/Laguerre/Jacobi) in the field. To test this, we perform a series of simulations of this new process that, on the one hand, confirms that this process can exhibit behavior not seen in the standard random matrix processes, but on the other hand provides evidence that the true behavior is captured quite well by our techniques. This, coupled with the fact that we are able to compute the same statistics for this new model that we are for the standard models, suggests that further investigation could be both interesting and fruitful.
On Finite Analogs of Schmidt's Problem and Its Variants
We refine Schmidt's problem and a partition identity related to 2-color partitions which we will refer to as Uncu-Andrews-Paule theorem. We will approach the problem using Boulet-Stanley weights and a formula on Rogers-Szegő polynomials by Berkovich-Warnaar, and present various Schmidt's problem alike theorems and their refinements. Our new Schmidt type results include the use of even-indexed parts' sums, alternating sum of parts, and hook lengths as well as the odd-indexed parts' sum which appears in the original Schmidt's problem. We also translate some of our Schmidt's problem alike relations to weighted partition counts with multiplicative weights in relation to Rogers-Ramanujan partitions.
Vertex spanning planar Laman graphs in triangulated surfaces
Published
• View Publication
• BIB
We prove that every triangulation of either of the torus, projective plane and Klein bottle, contains a vertex-spanning planar Laman graph as a subcomplex. Invoking a result of Kir{á}ly, we conclude that every $1$-skeleton of a triangulation of a surface of nonnegative Euler characteristic has a rigid realization in the plane using at most 26 locations for the vertices.
QC-LDPC Codes from Difference Matrices and Difference Covering Arrays
Published
• View Publication
• BIB
We give a framework for generalizing LDPC code constructions that use Transversal Designs or related structures such as mutually orthogonal Latin squares. Our construction offers a broader range of code lengths and codes rates. Similar earlier constructions rely on the existence of finite fields of order a power of a prime. In contrast the LDPC codes constructed here are based on difference matrices and difference covering arrays, structures available for any order $a$. They satisfy the RC constraint and have, for $a$ odd, length $a^2$ and rate $1-\frac{4a-3}{a^2}$, and for $a$ even, length $a^2-a$ and rate at least $1-\frac{4a-6}{a^2-a}$. When $3$ does not divide $a$, these LDPC codes have stopping distance at least $8$. When $a$ is odd and both $3$ and $5$ do not divide $a$, our construction delivers an infinite family of QC-LDPC codes with minimum distance at least $10$. The simplicity of the construction allows us to theoretically verify these properties and analytically determine lower bounds for the minimum distance and stopping distance of the code. The BER and FER performance of our codes over AWGN (via simulation) is at the least equivalent to codes constructed previously, while in some cases significantly outperforming them.
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.