Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Multidimensional threshold matrices and extremal matrices of order $2$
The paper is devoted to multidimensional $(0,1)$-matrices extremal with respect to containing a polydiagonal (a fractional generalization of a diagonal). Every extremal matrix is a threshold matrix, i.e., an entry belongs to its support whenever a weighted sum of incident hyperplanes exceeds a given threshold. Firstly, we prove that nonequivalent threshold matrices have different distributions of ones in hyperplanes. Next, we establish that extremal matrices of order $2$ are exactly selfdual threshold Boolean functions. Using this fact, we find the asymptotics of the number of extremal matrices of order $2$ and provide counterexamples to several conjectures on extremal matrices. Finally, we describe extremal matrices of order $2$ with a small diversity of hyperplanes.
On a variant of Flory model
We consider a one-dimensional variant of a recently introduced settlement planning problem in which houses can be built on finite portions of the rectangular integer lattice subject to certain requirements on the amount of insolation they receive. In our model, each house occupies a unit square on a $1 \times n$ strip, with the restriction that at least one of the neighboring squares must be free. We are interested mostly in situations in which no further building is possible, i.e. in maximal configurations of houses in the strip. We reinterpret the problem as a problem of restricted packing of vertices in a path graph and then apply the transfer matrix method in order to compute the bivariate generating functions for the sequences enumerating all maximal configurations of a given length with respect to the number of houses. This allows us to determine the asymptotic behavior of the enumerating sequences and to compute some interesting statistics. Along the way, we establish close connections between our maximal configurations and several other types of combinatorial objects, including restricted permutations and walks on certain small oriented graphs. In all cases we provide combinatorial proofs. We then generalize our results in several directions by considering multi-story houses, by varying the insolation restrictions, and, finally, by considering strips of width 2 and 3. At the end we comment on several possible directions of future research.
Generic Networks of Votings
Published
• View Publication
• BIB
In this paper, we analyse results of the $15^{\textrm{th}}$ International Henryk Wieniawski Violin Competition by comparing the properties of its results network to the properties of \emph{generic networks of votings}.
Direction-Critical Configurations in Noncentral General Position
In 1982, Ungar proved that the connecting lines of a set of $n$ noncollinear points in the plane determine at least $2\lfloor n/2 \rfloor$ directions (slopes). Sets achieving this minimum for $n$ odd (even) are called \emph{direction-(near)-critical} and their full classification is still open. To date, there are four known infinite families and over 100 sporadic critical configurations. Jamison conjectured that any direction-critical configuration with at least 50 points belongs to those four infinite families. Interestingly, except for a handful of sporadic configurations, all these configurations are centrally symmetric. We prove Jamison's conjecture, and extend it to the near-critical case, for centrally symmetric configurations in \emph{noncentral general position}, where only the connecting lines through the center of symmetry may pass through more than two points. As in Ungar's proof, our results are proved in the more general setting of \emph{allowable sequences}. We show that, up to equivalence, the \emph{central signature} of a set uniquely determines a centrally symmetric direction-(near)-critical allowable sequence in noncentral general position, and classify such allowable sequences that are geometrically realizable.
The Euler characteristic, $q$-matroids, and a Möbius function
Published
• View Publication
• BIB
We first give two new proofs of an old result that the reduced Euler characteristic of a matroid complex is equal to the Möbius number of the lattice of cycles of the matroid up to the sign. The purpose has been to find a model to establish an analogous result for the case of $q$-matroids and we find a relation between the Euler characteristic of the simplicial chain complex associated to a $q$-matroid complex and the lattice of $q$-cycles of the $q$-matroid. We use this formula to find the complete homology over $\mathbb{Z}$ of this shellable simplicial complex. We give a characterization of nonzero Euler characteristic for such order complexes. Finally, based on these results we remark why singular homology of a $q$-matroid equipped with order topology may not be effective to describe the $q$-cycles unlike the classical case of matroids.
The appearance function for paper-folding words
We provide a complete characterisation of the appearance function for paper-folding sequences for factors of any length. We make use of the software package {\tt Walnut} to establish these results.
Analogues of Poisson type limit theorems in discrete bm-Fock spaces
Published
• View Publication
• BIB
We present analogues of the Poisson limit distribution for the noncommutative bm-independence, which is associated with several positive symmetric cones. We construct related discrete Fock spaces with creation, annihilation and conservation operators, and prove Poisson type limit theorems for them. Properties of the positive cones, in particular the volume characteristic property they enjoy, and the combinatorics of labelled noncrossing partitions, play crucial role in these considerations.
Generic curves and non-coprime Catalans
Published in Algebraic Geometry, 2024
• Search Publication
We compute the Poincaré polynomials of the compactified Jacobians for plane curve singularities with Puiseaux exponents $(nd,md,md+1)$, and relate them to the combinatorics of $q,t$-Catalan numbers in the non-coprime case. We also confirm a conjecture of Cherednik and Danilenko for such curves.
Dihedral groups with the $m$-DCI property
Published
• View Publication
• BIB
A Cayley digraph $\rm{Cay}(G,S)$ of a group $G$ with respect to a subset $S$ of $G$ is called a CI-digraph if for any Cayley digraph $\rm{Cay}(G,T)$ isomorphic to $\rm{Cay}(G,S)$, there is an $α\in \rm{Aut}(G)$ such that $S^α=T$. For a positive integer $m$, $G$ is said to have the $m$-DCI property if all Cayley digraphs of $G$ with out-valency $m$ are CI-digraphs. Li [The Cyclic groups with the $m$-DCI Property, European J. Combin. 18 (1997) 655-665] characterized cyclic groups with the $m$-DCI property, and in this paper, we characterize dihedral groups with the $m$-DCI property. For a dihedral group $\mathrm{D}_{2n}$ of order $2n$, assume that $\mathrm{D}_{2n}$ has the $m$-DCI property for some $1 \leq m\leq n-1$. Then it is shown that $n$ is odd, and if further $p+1\leq m\leq n-1$ for an odd prime divisor $p$ of $n$, then $p^2\nmid n$. Furthermore, if $n$ is a power of a prime $q$, then $\mathrm{D}_{2n}$ has the $m$-DCI property if and only if either $n=q$, or $q$ is odd and $1\leq m\leq q$.
Design and Guidance of a Multi-Active Debris Removal Mission
Published
• View Publication
• BIB
Space debris have been becoming exceedingly dangerous over the years as the number of objects in orbit continues to rise. Active debris removal (ADR) missions have garnered significant attention as an effective way to mitigate this collision risk. This research focuses on developing a multi-ADR mission that utilizes controlled reentry and deorbiting. The mission comprises two spacecraft: a Servicer that brings debris down to a low altitude and a Shepherd that rendezvous with the debris to later perform a controlled reentry. A preliminary mission design tool (PMDT) is developed to obtain time or fuel optimal trajectories for the proposed mission while taking the effect of $J_2$, drag, eclipses, and duty ratio into account. The PMDT can perform such trajectory optimizations within computational times that are under a minute. Three guidance schemes are also studied, taking the PMDT solution as a reference, to validate the design methodology and provide guidance solutions for this complex mission profile.
$2$-Reconstructibility of Weakly Distance-Regular Graphs
Published
• View Publication
• BIB
A graph is $\ell$-reconstructible if it is determined by its multiset of induced subgraphs obtained by deleting $\ell$ vertices. We prove that strongly regular graphs with at least six vertices are $2$-reconstructible.
Embedding dimensions of matrices whose entries are indefinite distances in the pseudo-Euclidean space
Published
• View Publication
• BIB
A finite set of the Euclidean space is called an $s$-distance set provided the number of Euclidean distances in the set is $s$. Determining the largest possible $s$-distance set for the Euclidean space of a given dimension is challenging. This problem was solved only when dealing with small values of $s$ and dimensions. Lisoněk (1997) achieved the classification of the largest 2-distance sets for dimensions up to $7$, using computer assistance and graph representation theory. In this study, we consider a theory analogous to these results of Lisoněk for the pseudo-Euclidean space $\mathbb{R}^{p,q}$. We consider an $s$-indefinite-distance set in a pseudo-Euclidean space that uses the value \[ || x-y ||=(x_1-y_1)^2 +\cdots +(x_p -y_p)^2-(x_{p+1}-y_{p+1})^2-\cdots -(x_{p+q}-y_{p+q})^2 \] instead of the Euclidean distance. We develop a representation theory for symmetric matrices in the context of $s$-indefinite-distance sets, which includes or improves the results of Euclidean $s$-distance sets with large $s$ values. Moreover, we classify the largest possible $2$-indefinite-distance sets for small dimensions.
Hamilton completion and the path cover number of sparse random graphs
Published
• View Publication
• BIB
We prove that for every $\varepsilon > 0$ there is $c_0$ such that if $G\sim G(n,c/n)$, $c\ge c_0$, then with high probability $G$ can be covered by at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ vertex disjoint paths, which is essentially tight. This is equivalent to showing that, with high probability, at most $(1+\varepsilon)\cdot \frac{1}{2}ce^{-c} \cdot n$ edges can be added to $G$ to create a Hamiltonian graph.
Rerouting Planar Curves and Disjoint Paths
Published
• View Publication
• BIB
In this paper, we consider a transformation of $k$ disjoint paths in a graph. For a graph and a pair of $k$ disjoint paths $\mathcal{P}$ and $\mathcal{Q}$ connecting the same set of terminal pairs, we aim to determine whether $\mathcal{P}$ can be transformed to $\mathcal{Q}$ by repeatedly replacing one path with another path so that the intermediates are also $k$ disjoint paths. The problem is called Disjoint Paths Reconfiguration. We first show that Disjoint Paths Reconfiguration is PSPACE-complete even when $k=2$. On the other hand, we prove that, when the graph is embedded on a plane and all paths in $\mathcal{P}$ and $\mathcal{Q}$ connect the boundaries of two faces, Disjoint Paths Reconfiguration can be solved in polynomial time. The algorithm is based on a topological characterization for rerouting curves on a plane using the algebraic intersection number. We also consider a transformation of disjoint $s$-$t$ paths as a variant. We show that the disjoint $s$-$t$ paths reconfiguration problem in planar graphs can be determined in polynomial time, while the problem is PSPACE-complete in general.
Groups having 12 cyclic subgroups
Published
• View Publication
• BIB
A finite group is said to be $n$-cyclic if it contains $n$ cyclic subgroups. For a finite group $G$, the ratio of the number of cyclic subgroups to the number of subgroups is known as the cyclicity degree of the group $G$ and is denoted by $cdeg (G)$. In this paper, we classify all $12$-cyclic groups. We also prove that the set of cyclicity degrees for all the finite groups is dense in $[0,1]$, which gives a solution to the problem asked by Tărnăuceanu and Tóth in [20] "For every $a\in [0, 1]$, does there exist a sequence $(G_n)$ of finite groups such that $\lim_{n\to\infty} cdeg(G_n)=a$ "?
Pascal's formulas and vector fields
Published
• View Publication
• BIB
We consider four examples of combinatorial triangles $\left(T(n,k)\right)_{0\le k\le n}$ (Pascal, Stirling of both types, Euler) : through saddle-point asymptotics, their \emph{Pascal's formulas} define four vector fields, together with their field lines that turn out to be the conjectured limit of sample paths of four well known Markov chains. We prove this asymptotic behaviour in three of the four cases.
Optimal Locating-Paired-Dominating Sets in King Grids
In this paper, we continue the study of locating-paired-dominating set, abbreviated LPDS, in graphs introduced by McCoy and Henning. Given a finite or infinite graph $G=(V,E)$, a set $S\subset V$ is paired-dominating if the induced subgraph $G[S]$ has a perfect matching and every vertex in $V$ is adjacent to a vertex in $S$. The other condition for LPDS requires that for any distinct vertices $u,v \in V\backslash S$, we have $N(u)\cap S\neq N(v)\cap S$. Motivated by the conjecture of Kinawi, Hussain and Niepel, we prove the minimal density of LPDS in the king grid is between $8/37$ and $2/9$, and we find uncountable many different LPDS with density $2/9$ in the king grid. These results partially solve their conjecture.
Tight Lower Bound for Pattern Avoidance Schur-Positivity
Published
• View Publication
• BIB
For a set of permutations (patterns) $Π$ in $S_k$, consider the set of all permutations in $S_n$ that avoid all patterns in $Π$. An important problem in current algebraic combinatorics is to find pattern sets $Π$ such that the corresponding quasi-symmetric function is symmetric for all $n$. Recently, Bloom and Sagan proved that for any $k \ge 4$, the size of such $Π$ must be at least $3$ unless $Π\subseteq \{[1, 2, \dots, k],\; [k, \dots, 1]\}$, and asked for a general lower bound.
We prove that the minimal size of such $Π$ is exactly $k - 1$. The proof applies a new generalization of a theorem of Bose from extremal combinatorics. This generalization is proved using the multilinear polynomial approach of Alon, Babai and Suzuki to the extension by Ray-Chaudhuri and Wilson to Bose's theorem.
The sequence reconstruction problem for permutations with the Hamming distance
Published
• View Publication
• BIB
V. Levenshtein first proposed the sequence reconstruction problem in 2001. This problem studies the model where the same sequence from some set is transmitted over multiple channels, and the decoder receives the different outputs. Assume that the transmitted sequence is at distance $d$ from some code and there are at most $r$ errors in every channel. Then the sequence reconstruction problem is to find the minimum number of channels required to recover exactly the transmitted sequence that has to be greater than the maximum intersection between two metric balls of radius $r$, where the distance between their centers is at least $d$. In this paper, we study the sequence reconstruction problem of permutations under the Hamming distance. In this model we define a Cayley graph over the symmetric group, study its properties and find the exact value of the largest intersection of its two metric balls for $d=2r$. Moreover, we give a lower bound on the largest intersection of two metric balls for $d=2r-1$.
Generalized Turan number for the edge blow-up graph
Published
• View Publication
• BIB
Let $H$ be a graph and $p$ be an integer. The edge blow-up $H^p$ of $H$ is the graph obtained from replacing each edge in $H$ by a copy of $K_p$ where the new vertices of the cliques are all distinct. Let $C_k$ and $P_k$ denote the cycle and path of length $k$, respectively. In this paper, we find sharp upper bounds for $ex(n,K_3,C_3^3)$ and the exact value for $ ex(n,K_3,P_3^3)$ and determine the graphs attaining these bounds.