Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Open-locating-dominating sets with error correction
Published
• View Publication
• BIB
An open-locating-dominating set of a graph models a detection system for a facility with a possible "intruder" or a multiprocessor network with a possible malfunctioning processor. A "sensor" or "detector" is assumed to be installed at a subset of vertices where it can detect an intruder or a malfunctioning processor in their neighborhood, but not at itself. We consider a fault-tolerant variant of an open-locating-dominating set called an error-correcting open-locating-dominating set, which can correct a false-positive or a false-negative signal from a detector. In particular, we prove the problem of finding a minimum error-correcting open-locating-dominating set in an arbitrary graph is NP-complete. Additionally, we characterize the existence criteria for an error-correcting open-locating-dominating sets for an arbitrary graph. We also consider extremal graphs that require every vertex to be a detector and minimum error-correcting open-locating-dominating sets in infinite grids.
Constructing cost-effective infrastructure networks
The need for reliable and low-cost infrastructure is crucial in today's world. However, achieving both at the same time is often challenging. Traditionally, infrastructure networks are designed with a radial topology lacking redundancy, which makes them vulnerable to disruptions. As a result, network topologies have evolved towards a ring topology with only one redundant edge and, from there, to more complex mesh networks. However, we prove that large rings are unreliable. Our research shows that a sparse mesh network with a small number of redundant edges that follow some design rules can significantly improve reliability while remaining cost-effective. Moreover, we have identified key areas where adding redundant edges can impact network reliability the most by using the SAIDI index, which measures the expected number of consumers disconnected from the source node. These findings offer network planners a valuable tool for quickly identifying and addressing reliability issues without the need for complex simulations. Properly planned sparse mesh networks can thus provide a reliable and a cost-effective solution to modern infrastructure challenges.
Shortest paths search method based on the projective description of unweighted mixed graphs
Published in https://vspu2024.ipu.ru/files/%D0%A2%D1%80%D1%83%D0%B4%D1%8B%20%D0%92%D0%A1%D0%9F%D0%A3-2024%20%285%29.zip
• Search Publication
The method is based on the preliminary transformation of the traditionally used matrices or adjacency lists in the graph theory into refined projections free from redundant information, and their subsequent use in constructing shortest paths. Unlike adjacency matrices and lists based on enumerating binary adjacency relations, the refined projection is based on enumerating more complex relations: simple paths from a given graph vertex that are shortest. The preliminary acquisition of such projections reduces the algorithmic complexity of applications using them and improves their volumetric and real-time characteristics to linear ones for a pair of vertices. The class of graphs considered is extended to mixed graphs.
Almost Difference Sets from Unions of Cyclotomic Classes of Order 14
Published
• View Publication
• BIB
Almost difference sets have emerged as a fascinating and important area of research as they can produce functions with optimal nonlinearity, cyclic codes, and binary sequences with optimal autocorrelation. This study aims to investigate the existence of almost difference sets from the union of suitable cyclotomic classes of order 14 (with and without the residue zero) of the finite field $GF(q)$, where $q$ is a prime of the form $q=14n+1$ for positive integers $n\geq 1$ and $q<1000$. The construction utilized an exhaustive computer search using Python. The method computes the unions of two classes up to thirteen classes and tests the existence of almost difference sets. The equivalence of the generated almost difference sets with the same parameters is also determined. The findings will contribute to the literature with a new construction of almost difference sets via cyclotomy of order 14.
Laplacian Immanantal Polynomials of a Bipartite Graph and Graph Shift Operation
Let $G$ be a bipartite graph on $n$ vertices with the Laplacian matrix $L_G$. When $G$ is a tree, inequalities involving coefficients of immanantal polynomials of $L_G$ are known as we go up $GTS_n$ poset of unlabelled trees with $n$ vertices. We extend $GTS$ operation on a tree to an arbitrary graph, we call it generalized graph shift (hencefourth $GGS$) operation. Using $GGS$ operation, we generalize these known inequalities associated with trees to bipartite graphs. Using vertex orientations of $G$, we give a combinatorial interpretation for each coefficient of the Laplacian immanantal polynomial of $G$ which is used to prove counter parts of Schur theorem and Lieb's conjecture for these coefficients. We define $GGS_n$ poset on $Ω_{C_k}^v(n)$, the set of unlabelled unicyclic graphs with $n$ vertices where each vertex of the cycle $C_k$ has degree $2$ except one vertex $v$. Using $GGS_n$ poset on $Ω_{C_{2k}}^v(n)$, we solves an extreme value problem of finding the max-min pair in $Ω_{C_{2k}}^v(n)$ for each coefficient of the generalized Laplacian polynomials. At the end of this paper, we also discuss the monotonicity of the spectral radius and the Wiener index of an unicyclic graph when we go up along $GGS_n$ poset of $Ω_{C_k}^v(n)$.
Inequalities among two rowed immanants of the $q$-Laplacian of Trees and Odd height peaks in generalized Dyck paths
Published in Journal of Difference Equations and Applications (2022), 28(2) 198-221
• View Publication
• BIB
Let $T$ be a tree on $n$ vertices and let $L_q^T$ be the $q$-analogue of its Laplacian. For a partition $λ\vdash n$, let the normalized immanant of $L_q^T$ indexed by $λ$ be denoted as $d_λ(L_q^T)$. A string of inequalities among $d_λ(L_q^T)$ is known when $λ$ varies over hook partitions of $n$ as the size of the first part of $λ$ decreases. In this work, we show a similar sequence of inequalities when $λ$ varies over two row partitions of $n$ as the size of the first part of $λ$ decreases. Our main lemma is an identity involving binomial coefficients and irreducible character values of $S_n$ indexed by two row partitions. Our proof can be interpreted using the combinatorics of Riordan paths and our main lemma admits a nice probabilisitic interpretation involving peaks at odd heights in generalized Dyck paths or equivalently involving special descents in Standard Young Tableaux with two rows. As a corollary, we also get inequalities between $d_{λ_1}(L_q^{T_1})$ and $d_{λ_2}(L_q^{T_2})$ when $T_1$ and $T_2$ are comparable trees in the $GTS_n$ poset and when $λ_1$ and $λ_2$ are both two rowed partitions of $n$, with $λ_1$ having a larger first part than $λ_2$.
Locked Polyomino Tilings
A locked $t$-omino tiling is a grid tiling by $t$-ominoes such that, if you remove any pair of tiles, the only way to fill in the remaining $2t$ grid cells with $t$-ominoes is to use the same two tiles in the exact same configuration as before. We exclude degenerate cases where there is only one tiling overall due to small dimensions. It is a classic (and straightforward) result that finite grids do not admit locked 2-omino tilings. In this paper, we construct explicit locked $t$-omino tilings for $t \geq 3$ on grids of various dimensions. Most notably, we show that locked 3- and 4-omino tilings exist on finite square grids of arbitrarily large size, and locked $t$-omino tilings of the infinite grid exist for arbitrarily large $t$. The result for 4-omino tilings in particular is remarkable because they are so rare and difficult to construct: Only a single tiling is known to exist on any grid up to size $40 \times 40$. In a weighted version of the problem where vertices of the grid may have weights from the set $\{1, 2\}$ that count toward the total tile size, we demonstrate the existence of locked tilings on arbitrarily large square weighted grids with only 6 tiles.
Locked $t$-omino tilings arise as obstructions to widely used political redistricting algorithms in a model of redistricting where the underlying census geography is a grid graph. Most prominent is the ReCom Markov chain, which takes a random walk on the space of redistricting plans by iteratively merging and splitting pairs of districts (tiles) at a time. Locked $t$-omino tilings are isolated states in the state space of ReCom. The constructions in this paper are counterexamples to the meta-conjecture that ReCom is irreducible on graphs of practical interest.
Discrete neural nets and polymorphic learning
Theorems from universal algebra such as that of Murskiĭ from the 1970s have a striking similarity to universal approximation results for neural nets along the lines of Cybenko's from the 1980s. We consider here a discrete analogue of the classical notion of a neural net which places these results in a unified setting. We introduce a learning algorithm based on polymorphisms of relational structures and show how to use it for a classical learning task.
Constructing a Gröbner basis of Griffin's ideal
Published
• View Publication
• BIB
In his Ph.D. thesis, Sean Griffin introduced a family of ideals and found monomial bases for their quotient rings. These rings simultaneously generalize the Delta Conjecture coinvariant rings of Haglund-Rhoades-Shimozono and the cohomology rings of Springer fibers studied by Tanisaki and Garsia-Procesi. We recursively construct a Gröbner basis of Griffin's ideals with respect to the graded reverse lexicographical order. Consequently, Griffin's monomial basis is the standard monomial basis. Coefficients of polynomials in our Gröbner basis are integers and leading coefficients are one.
Lots and Lots of Perrin-Type Primality Tests and Their Pseudo-Primes
Published in INTEGERS v. 23 (2023) #A95
• Search Publication
We use Experimental Mathematics and Symbolic Computation (with Maple), to search for lots and lots of Perrin- and Lucas- style primality tests, and try to sort the wheat from the chaff. More impressively, we find quite a few such primality tests for which we can explicitly construct infinite families of pseudo-primes, rather, like in the cases of Perrin pseudo-primes and the famous Carmichael primes, only proving the mere existence of infinitely many of them.
Inverting the General Order Sweep Map
Building upon the foundational work of Thomas and Williams on the modular sweep map, Garsia and Xin have developed a straightforward algorithm for the inversion of the sweep map on rational $(m,n)$-Dyck paths, where $(m,n)$ represents coprime pairs of integers. Our research reveals that their innovative approach readily generalizes to encompass a broader spectrum of Dyck paths. To this end, we introduce a family of Order sweep maps applicable to general Dyck paths, which are differentiated by their respective sweep orders at level $0$. We demonstrate that each of these Order sweep maps constitutes a bijective transformation. Our findings encapsulate the sweep maps for both general Dyck paths and their incomplete counterparts as specific instances within this more extensive framework.
Kruskal--Katona-Type Problems via the Entropy Method
Published in J. Combin. Theory Ser. B169(2024), 480--506
• View Publication
• BIB
In this paper, we investigate several extremal combinatorics problems that ask for the maximum number of copies of a fixed subgraph given the number of edges. We call problems of this type Kruskal--Katona-type problems. Most of the problems that will be discussed in this paper are related to the joints problem. There are two main results in this paper. First, we prove that, in a $3$-edge-colored graph with $R$ red, $G$ green, $B$ blue edges, the number of rainbow triangles is at most $\sqrt{2RGB}$, which is sharp. Second, we give a generalization of the Kruskal--Katona theorem that implies many other previous generalizations. Both arguments use the entropy method, and the main innovation lies in a more clever argument that improves bounds given by Shearer's inequality.
Tight Bound and Structural Theorem for Joints
A joint of a set of lines $\mathcal{L}$ in $\mathbb{F}^d$ is a point that is contained in $d$ lines with linearly independent directions. The joints problem asks for the maximum number of joints that are formed by $L$ lines. Guth and Katz showed that the number of joints is at most $O(L^{3/2})$ in $\mathbb{R}^3$ using polynomial method. This upper bound is met by the construction given by taking the joints and the lines to be all the $d$-wise intersections and all the $(d-1)$-wise intersections of $M$ hyperplanes in general position. Furthermore, this construction is conjectured to be optimal.
In this paper, we verify the conjecture and show that this is the only optimal construction by using a more sophisticated polynomial method argument. This is the first tight bound and structural theorem obtained using this method. We also give a new definition of multiplicity that strengthens the main result of a previous work by Tidor, Zhao and the second author. Lastly, we relate the joints problem to some set-theoretic problems and prove conjectures of Bollobás and Eccles regarding partial shadows.
The convergence of discrete period matrices
We study compact polyhedral surfaces as Riemann surfaces and their discrete counterparts obtained through quadrilateral cellular decompositions and a linear discretization of the Cauchy-Riemann equation. By ensuring uniformly bounded interior and intersection angles of diagonals, we establish the convergence of discrete Dirichlet energies of discrete harmonic differentials with equal black and white periods to the Dirichlet energy of the corresponding continuous harmonic differential with the same periods. This convergence also extends to the discrete period matrix, with a description of the blocks of the complete discrete period matrix in the limit. Moreover, when the quadrilaterals have orthogonal diagonals, we observe convergence of discrete Abelian integrals of the first kind. Adapting the quadrangulations around conical singularities allows us to improve the convergence rate to a linear function of the maximum edge length.
Catching a robber on a random $k$-uniform hypergraph
Published
• View Publication
• BIB
The game of \emph{Cops and Robber} is usually played on a graph, where a group of cops attempt to catch a robber moving along the edges of the graph. The \emph{cop number} of a graph is the minimum number of cops required to win the game. An important conjecture in this area, due to Meyniel, states that the cop number of an $n$-vertex connected graph is $O(\sqrt{n})$. In 2016, Prałat and Wormald [Meyniel's conjecture holds for random graphs, Random Structures Algorithms. 48 (2016), no. 2, 396-421. MR3449604] showed that this conjecture holds with high probability for random graphs above the connectedness threshold. Moreoever, Łuczak and Prałat [Chasing robbers on random graphs: Zigzag theorem, Random Structures Algorithms. 37 (2010), no. 4, 516-524. MR2760362] showed that on a $\log$-scale the cop number demonstrates a surprising \emph{zigzag} behaviour in dense regimes of the binomial random graph $G(n,p)$. In this paper, we consider the game of Cops and Robber on a hypergraph, where the players move along hyperedges instead of edges. We show that with high probability the cop number of the $k$-uniform binomial random hypergraph $G^k(n,p)$ is $O\left(\sqrt{\frac{n}{k}}\, \log n \right)$ for a broad range of parameters $p$ and $k$ and that on a $\log$-scale our upper bound on the cop number arises as the minimum of \emph{two} complementary zigzag curves, as opposed to the case of $G(n,p)$. Furthermore, we conjecture that the cop number of a connected $k$-uniform hypergraph on $n$ vertices is $O\left(\sqrt{\frac{n}{k}}\,\right)$.
Three remarks on $\mathbf{W_2}$ graphs
Published
• View Publication
• BIB
Let $k \geq 1$. A graph $G$ is $\mathbf{W_k}$ if for any $k$ pairwise disjoint independent vertex subsets $A_1, \dots, A_k$ in $G$, there exist $k$ pairwise disjoint maximum independent sets $S_1, \dots, S_k$ in $G$ such that $A_i \subseteq S_i$ for $i \in [k]$. Recognizing $\mathbf{W_1}$ graphs is co-NP-hard, as shown by Chvátal and Slater (1993) and, independently, by Sankaranarayana and Stewart (1992). Extending this result and answering a recent question of Levit and Tankus, we show that recognizing $\mathbf{W_k}$ graphs is co-NP-hard for $k \geq 2$. On the positive side, we show that recognizing $\mathbf{W_k}$ graphs is, for each $k\geq 2$, FPT parameterized by clique-width and by tree-width. Finally, we construct graphs $G$ that are not $\mathbf{W_2}$ such that, for every vertex $v$ in $G$ and every maximal independent set $S$ in $G - N[v]$, the largest independent set in $N(v) \setminus S$ consists of a single vertex, thereby refuting a conjecture of Levit and Tankus.
Larger matchings and independent sets in regular uniform hypergraphs of high girth
Published
• View Publication
• BIB
In this note we analyze two algorithms, one for producing a matching and one for an independent set, on $k$-uniform $d$-regular hypergraphs of large girth. As a result we obtain new lower bounds on the size of a maximum matching or independent set in such hypergraphs.
Disproof of a conjecture on the minimum spectral radius and the domination number
Published
• View Publication
• BIB
Let $G_{n,γ}$ be the set of all connected graphs on $n$ vertices with domination number $γ$. A graph is called a minimizer graph if it attains the minimum spectral radius among $G_{n,γ}$. Very recently, Liu, Li and Xie [Linear Algebra and its Applications 673 (2023) 233--258] proved that the minimizer graph over all graphs in $\mathbb{G}_{n,γ}$ must be a tree. Moreover, they determined the minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for even $n$, and posed the conjecture on the minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for odd $n$. In this paper, we disprove the conjecture and completely determine the unique minimizer graph among $G_{n,\lfloor\frac{n}{2}\rfloor}$ for odd $n$.
Nonabelian partial difference sets constructed using abelian techniques
Published
• View Publication
• BIB
A $(v,k,λ, μ)$-partial difference set (PDS) is a subset $D$ of a group $G$ such that $|G| = v$, $|D| = k$, and every nonidentity element $x$ of $G$ can be written in either $λ$ or $μ$ different ways as a product $gh^{-1}$, depending on whether or not $x$ is in $D$. Assuming the identity is not in $D$ and $D$ is inverse-closed, the corresponding Cayley graph ${\rm Cay}(G,D)$ will be strongly regular. Partial difference sets have been the subject of significant study, especially in abelian groups, but relatively little is known about PDSs in nonabelian groups. While many techniques useful for abelian groups fail to translate to a nonabelian setting, the purpose of this paper is to show that examples and constructions using abelian groups can be modified to generate several examples in nonabelian groups. In particular, in this paper we use such techniques to construct the first known examples of PDSs in nonabelian groups of order $q^{2m}$, where $q$ is a power of an odd prime $p$ and $m \ge 2$. The groups constructed can have exponent as small as $p$ or as large as $p^r$ in a group of order $p^{2r}$. Furthermore, we construct what we believe are the first known Paley-type PDSs in nonabelian groups and what we believe are the first examples of Paley-Hadamard difference sets in nonabelian groups, and, using analogues of product theorems for abelian groups, we obtain several examples of each. We conclude the paper with several possible future research directions.
Almost perfect nonlinear power functions with exponents expressed as fractions
Let $F$ be a finite field, let $f$ be a function from $F$ to $F$, and let $a$ be a nonzero element of $F$. The discrete derivative of $f$ in direction $a$ is $Δ_a f \colon F \to F$ with $(Δ_a f)(x)=f(x+a)-f(x)$. The differential spectrum of $f$ is the multiset of cardinalities of all the fibers of all the derivatives $Δ_a f$ as $a$ runs through $F^*$. An almost perfect nonlinear (APN) function is one for which the largest cardinality in its differential spectrum is $2$. Almost perfect nonlinear functions are of interest as cryptographic primitives. If $d$ is a positive integer, then the power function over $F$ with exponent $d$ is the function $f \colon F \to F$ with $f(x)=x^d$ for every $x \in F$. There is a small number of known infinite families of APN power functions. In this paper, we re-express the exponents for one such family in a more convenient form. This enables us not only to obtain the differential spectrum of each power function $f$ with an exponent in our family, but also to determine the elements that lie in an arbitrary fiber of the discrete derivative of $f$. This differential analysis, which is far more detailed than previous results, is achieved by composing the discrete derivative of $f$ with some permutations and a double covering of its domain to obtain a function whose fibers can more readily be analyzed.