Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Zero-sum cycles in flexible non-triangular polyhedra
Published in In: Holderbaum W., Selig J.M. (eds) 2nd IMA Conference on Mathematics of Robotics. IMA 2020. Springer Proceedings in Advanced Robotics, vol 21. Springer, Cham (2022)
• View Publication
• BIB
Finding necessary conditions for the geometry of flexible polyhedra is a classical problem that has received attention also in recent times. For flexible polyhedra with triangular faces, we showed in a previous work the existence of cycles with a sign assignment for their edges, such that the signed sum of the edge lengths along the cycle is zero. In this work, we extend this result to flexible non-triangular polyhedra.
Paley-like graphs for the Ramsey number $r(C_4,K_t)$
An earlier version of this paper constructed a family of $n$-vertex $C_4$-free graphs which we conjectured to have independence number $n^{\frac 12+o(1)}$. This conjecture is false, as pointed out by Michael Tait.
Parallel Quasi-concave set optimization: A new frontier that scales without needing submodularity
Classes of set functions along with a choice of ground set are a bedrock to determine and develop corresponding variants of greedy algorithms to obtain efficient solutions for combinatorial optimization problems. The class of approximate constrained submodular optimization has seen huge advances at the intersection of good computational efficiency, versatility and approximation guarantees while exact solutions for unconstrained submodular optimization are NP-hard. What is an alternative to situations when submodularity does not hold? Can efficient and globally exact solutions be obtained? We introduce one such new frontier: The class of quasi-concave set functions induced as a dual class to monotone linkage functions. We provide a parallel algorithm with a time complexity over $n$ processors of $\mathcal{O}(n^2g) +\mathcal{O}(\log{\log{n}})$ where $n$ is the cardinality of the ground set and $g$ is the complexity to compute the monotone linkage function that induces a corresponding quasi-concave set function via a duality. The complexity reduces to $\mathcal{O}(gn\log(n))$ on $n^2$ processors and to $\mathcal{O}(gn)$ on $n^3$ processors. Our algorithm provides a globally optimal solution to a maxi-min problem as opposed to submodular optimization which is approximate. We show a potential for widespread applications via an example of diverse feature subset selection with exact global maxi-min guarantees upon showing that a statistical dependency measure called distance correlation can be used to induce a quasi-concave set function.
Helly-type Problems
In this paper, we present a variety of problems in the interface between combinatorics and geometry around the theorems of Helly, Radon, Carathéodory, and Tverberg. Through these problems we describe the fascinating area of Helly-type theorems, and explain some of its main themes and goals.
Gromov-Witten theory and invariants of matroids
Published
• View Publication
• BIB
We use techniques from Gromov-Witten theory to construct new invariants of matroids taking value in the Chow groups of spaces of rational curves in the permutohedral toric variety. When the matroid is realizable by a complex hyperplane arrangement, our invariants coincide with virtual fundamental classes used to define the logarithmic Gromov-Witten theory of wonderful models of arrangement complements, for any logarithmic structure supported on the wonderful boundary. When the boundary is empty, this implies that the quantum cohomology ring of a hyperplane arrangement's wonderful model is a combinatorial invariant, i.e., it depends only on the matroid. When the boundary divisor is maximal, we use toric intersection theory to convert the virtual fundamental class into a balanced weighted fan in a vector space, having the expected dimension. We explain how the associated Gromov-Witten theory is completely encoded by intersections with this weighted fan. We include a number of questions whose positive answers would lead to a well-defined Gromov-Witten theory of non-realizable matroids.
Rainbow subdivisions of cliques
Published
• View Publication
• BIB
We show that for every integer $m \ge 2$ and large $n$, every properly edge-coloured graph on $n$ vertices with at least $n (\log n)^{53}$ edges contains a rainbow subdivision of $K_m$. This is sharp up to a polylogarithmic factor. Our proof method exploits the connection between the mixing time of random walks and expansion in graphs.
Partitioned K-nearest neighbor local depth for scalable comparison-based learning
A triplet comparison oracle on a set $S$ takes an object $x \in S$ and for any pair $\{y, z\} \subset S \setminus \{x\}$ declares which of $y$ and $z$ is more similar to $x$. Partitioned Local Depth (PaLD) supplies a principled non-parametric partitioning of $S$ under such triplet comparisons but needs $O(n^2 \log{n})$ oracle calls and $O(n^3)$ post-processing steps.
We introduce Partitioned Nearest Neighbors Local Depth (PaNNLD), a computationally tractable variant of PaLD leveraging the $K$-nearest neighbors digraph on $S$. PaNNLD needs only $O(n K \log{n})$ oracle calls, by replacing an oracle call by a coin flip when neither $y$ nor $z$ is adjacent to $x$ in the undirected version of the $K$-nearest neighbors digraph. By averaging over randomizations, PaNNLD subsequently requires (at best) only $O(n K^2)$ post-processing steps. Concentration of measure shows that the probability of randomization-induced error $δ$ in PaNNLD is no more than $2 e^{-δ^2 K^2}$.
Pendant 3-tree Connectivity of Augmented Cubes
Published
• View Publication
• BIB
The Steiner tree problem in graphs has applications in network design or circuit layout. Given a set $S$ of vertices, $|S| \geq 2,$ a tree connecting all vertices of $S$ is called an $S$-Steiner tree (tree connecting $S$). The reliability of a network $G$ to connect any $S$ vertices ($|S|$ number of vertices) in $G$ can be measure by this parameter. For an $S$-Steiner tree, if the degree of each vertex in $S$ is equal to one, then that tree is called a pendant S-Steiner tree. Two pendant $S$-Steiner trees $T$ and $T'$ are said to be internally disjoint if $E(T) \cap E(T') = \emptyset$ and $V(T) \cap V(T') = S.$ The local pendant tree-connectivity $τ_{G}(S)$ is the maximum number of internally disjoint pendant $S$-Steiner trees in $G.$ For an integer $k$ with $2 \leq k \leq n,$ the pendant k-tree-connectivity is defined as $τ_{k}(G) = min\{ τ_{G}(S) : S \subseteq V(G), |S| = k\}.$ In this paper, we study the pendant $3$-tree connectivity of Augmented cubes which are modifications of hypercubes invented to increase the connectivity and decrease the diameter hence superior to hypercubes. We show that $τ_3(AQ_n) = 2n-3.$ , which attains the upper bound of $τ_3(G)$ given by Hager, for $G = AQ_n$.
On generalized Turán results in height two posets
Published
• View Publication
• BIB
For given posets $P$ and $Q$ and an integer $n$, the generalized Turán problem for posets, asks for the maximum number of copies of $Q$ in a $P$-free subset of the $n$-dimensional Boolean lattice, $2^{[n]}$.
In this paper, among other results, we show the following:
(i) For every $n\geq 5$, the maximum number of $2$-chains in a butterfly-free subfamily of $2^{[n]}$ is $\left\lceil\frac{n}{2}\right\rceil\binom{n}{\lfloor n/2\rfloor}$.
(ii) For every fixed $s$, $t$ and $k$, a $K_{s,t}$-free family in $2^{[n]}$ has $O\left(n\binom{n}{\lfloor n/2\rfloor}\right)$ $k$-chains.
(iii) For every $n\geq 3$, the maximum number of $2$-chains in an $\textbf{N}$-free family is $\binom{n}{\lfloor n/2\rfloor}$, where $\textbf{N}$ is a poset on 4 distinct elements $\{p_1,p_2,q_1,q_2\}$ for which $p_1 < q_1$, $p_2 < q_1$ and $p_2 < q_2$.
(iv) We also prove exact results for the maximum number of $2$-chains in a family that has no $5$-path and asymptotic estimates for the number of $2$-chains in a family with no $6$-path.
$F$-factors in Quasi-random Hypergraphs
Published
• View Publication
• BIB
Given $k\ge 2$ and two $k$-graphs ($k$-uniform hypergraphs) $F$ and $H$, an $F$-factor in $H$ is a set of vertex-disjoint copies of $F$ that together covers the vertex set of $H$. Lenz and Mubayi [J. Combin. Theory Ser. B, 2016] studied the $F$-factor problem in quasi-random $k$-graphs with minimum degree $Ω(n^{k-1})$. They posed the problem of characterizing the $k$-graphs $F$ such that every sufficiently large quasi-random $k$-graph with constant edge density and minimum degree $Ω(n^{k-1})$ contains an $F$-factor, and in particular, they showed that all linear $k$-graphs satisfy this property. In this paper we prove a general theorem on $F$-factors which reduces the $F$-factor problem of Lenz and Mubayi to a natural sub-problem, that is, the $F$-cover problem. By using this result, we answer the question of Lenz and Mubayi for those $F$ which are $k$-partite $k$-graphs, and for all 3-graphs $F$, separately. Our characterization result on 3-graphs is motivated by the recent work of Reiher, Rödl and Schacht [J. Lond. Math. Soc., 2018] that classifies the 3-graphs with vanishing Turán density in quasi-random $k$-graphs.
Algorithmic techniques for finding resistance distances on structured graphs
Published
• View Publication
• BIB
In this paper we give a survey of methods used to calculate values of resistance distance (also known as effective resistance) in graphs. Resistance distance has played a prominent role not only in circuit theory and chemistry, but also in combinatorial matrix theory and spectral graph theory. Moreover resistance distance has applications ranging from quantifying biological structures, distributed control systems, network analysis, and power grid systems. In this paper we discuss both exact techniques and approximate techniques and for each method discussed we provide an illustrative example of the technique. We also present some open questions and conjectures.
Bounding the edge cover of a hypergraph
Let $H=(V,E)$ be a hypergraph. Let $C\subseteq E$, then $C$ is an {\it edge cover}, or a {\it set cover}, if $\cup_{e\in C} \{v|v\in e\}=V$. A subset of vertices $X$ is {\it independent} in $H,$ if no two vertices in $X$ are in any edge. Let $c(H)$ and $α(H)$ denote the cardinalities of a smallest edge cover and largest independent set in $H$, respectively. We show that $c(H)\le {\hat m}(h)c(H)$, where ${\hat m}(H)$ is a parameter called the {\it mighty degeneracy} of $H$.
Furthermore, we show that the inequality is tight and demonstrate the applications in domination theory.
Improved Lower Bounds for Secure Codes and Related Structures
Secure codes are widely-studied combinatorial structures which were introduced for traitor tracing in broadcast encryption. To determine the maximum size of such structures is the main research objective. In this paper, we investigate the lower bounds for secure codes and their related structures. First, we give some improved lower bounds for the rates of $2$-frameproof codes and $\overline{2}$-separable codes for slightly large alphabet size. Then we improve the lower bounds for the rate of some related structures, i.e., strongly $2$-separable matrices and $2$-cancellative set families. Finally, we give a general method to derive new lower bounds for strongly $t$-separable matrices and $t$-cancellative set families for $t\ge 3.$
Witten-Morse functions and Morse inequalities on digraphs
In this paper, we prove that discrete Morse functions on digraphs are flat Witten-Morse functions and Witten complexes of transitive digraphs approach to Morse complexes. We construct a chain complex consisting of the formal linear combinations of paths which are not only critical paths of the transitive closure but also allowed elementary paths of the digraph, and prove that the homology of the new chain complex is isomorphic to the path homology. On the basis of the above results, we give the Morse inequalities on digraphs.
Ramsey Properties for $V$-shaped Posets in the Boolean Lattices
Published
• View Publication
• BIB
Given posets $\mathbf{P}_1,\mathbf{P}_2,\ldots,\mathbf{P}_k$, let the {\em Boolean Ramsey number} $R(\mathbf{P}_1,\mathbf{P}_2,\ldots,\mathbf{P}_k)$ be the minimum number $n$ such that no matter how we color the elements in the Boolean lattice $\mathbf{B}_n$ with $k$ colors, there always exists a poset $\mathbf{P}_i$ contained in $\mathbf{B}_n$ whose elements are all colored with $i$. This function was first introduced by Axenovich and Walzer~\cite{AW}. Recently, many results on determining $R(\mathbf{B}_m,\mathbf{B}_n)$ have been published. In this paper, we will study the function $R(\mathbf{P}_1,\mathbf{P}_2,\ldots,\mathbf{P}_k)$ for each $\mathbf{P}_i$'s being the $V$-shaped poset. That is, a poset obtained by identifying the minimal elements of two chains.
Another major result presented in the paper is to determine the minimal posets $\mathbf{Q}$ contained in $\mathbf{B}_n$, when $R(\mathbf{P}_1,\mathbf{P}_2,\ldots,\mathbf{P}_k)=n$ is determined, having the Ramsey property described in the previous paragraph.
In addition, we define the {\em Boolean rainbow Ramsey number} $RR(\mathbf{P},\mathbf{Q})$ the minimum number $n$ such that when arbitrarily coloring the elements in $\mathbf{B}_n$, there always exists either a monochromatic $\mathbf{P}$ or a rainbow $\mathbf{Q}$ contained in $\mathbf{B}_n$. The upper bound for $RR(\mathbf{P},\mathbf{A}_k)$ was given by Chang, Li, Gerbner, Methuku, Nagy, Patkos, and Vizer for general poset $\mathbf{P}$ and $k$-element antichain $\mathbf{A}_k$. We study the function for $\mathbf{P}$ being the $V$-shaped posets in this paper as well.
The Hats game. On maximum degree and diameter
Published
• View Publication
• BIB
We analyze the following version of the deterministic \hats game. We have a graph $G$, and a sage resides at each vertex of $G$. When the game starts, an adversary puts on the head of each sage a hat of a color arbitrarily chosen from a set of $k$ possible colors. Each sage can see the hat colors of his neighbors but not his own hat color. All of sages are asked to guess their own hat colors simultaneously, according to a predetermined guessing strategy and the hat colors they see, where no communication between them is allowed. The strategy is winning if it guarantees at least one correct individual guess for every assignment of colors. Given a graph $G$, its hat guessing number ${\text{HG}}(G)$ is the maximal number $k$ such that there exists a winning strategy.
We disprove the hypothesis that ${\text{HG}}(G) \le Δ+ 1$ and demonstrate that diameter of graph and ${\text{HG}}(G$) are independent.
Exact enumeration of satisfiable 2-SAT formulae
Published
• View Publication
• BIB
We obtain exact expressions counting the satisfiable 2-SAT formulae and describe the structure of associated implication digraphs. Our approach is based on generating function manipulations. To reflect the combinatorial specificities of the implication digraphs, we introduce a new kind of generating function, the Implication generating function, inspired by the Graphic generating function used in digraph enumeration. Using the underlying recurrences, we make accurate numerical predictions of the phase transition curve of the 2-SAT problem inside the critical window. We expect these exact formulae to be amenable to rigorous asymptotic analysis using complex analytic tools, leading to a more detailed picture of the 2-SAT phase transition in the future.
A Simple Approach to the Tiling Problem Using Recursive Sequence
The tiling problem has been a famous problem that has appeared in many Mathematics problems. Many of its solutions are rooted in high-level Mathematics. Thus we hope to tackle this problem using more elementary Mathematics concepts. In this report, we start with the simplest cases, with the smaller numbers: the number of ways to tile a $2 \times n$, $3 \times n$, $4 \times n$ rectangular board using $2 \times 1$ domino tiles, where the number of rows is fixed and we present a recursive formula based on $m$ and the earlier terms. This allows us to deduce the non-recursive formula for each case that is only dependent on $m$. For each case, we also expand and generalize the problem, not just for $2$, $3$, $4$ but for any positive integer $k$, for certain types of configurations of the board. We also focus on one of the famous variations of the tiling problem: tatami tiling, and present a solution for simple cases: $2 \times n$, $3 \times n$, $4 \times n$. In the end, we have managed to find a simpler solution for three different configurations of the board, with some we even deduced the non-recursive formula. We have also solved simple cases of the tatami tiling problem, with the hope to tackle the general case in the future. We realized that our method only works on a case-by-case basis, with little success in solving the general case. This approach is also applicable in many other counting problems which we wish to pursue for further research.
The geometry of Hermitian self-orthogonal codes
Published
• View Publication
• BIB
We prove that if $n >k^2$ then a $k$-dimensional linear code of length $n$ over ${\mathbb F}_{q^2}$ has a truncation which is linearly equivalent to a Hermitian self-orthogonal linear code. In the contrary case we prove that truncations of linear codes to codes equivalent to Hermitian self-orthogonal linear codes occur when the columns of a generator matrix of the code do not impose independent conditions on the space of Hermitian forms. In the case that there are more than $n$ common zeros to the set of Hermitian forms which are zero on the columns of a generator matrix of the code, the additional zeros give the extension of the code to a code that has a truncation which is equivalent to a Hermitian self-orthogonal code.
Crumby colorings -- red-blue vertex partition of subcubic graphs regarding a conjecture of Thomassen
Thomassen formulated the following conjecture: Every $3$-connected cubic graph has a red-blue vertex coloring such that the blue subgraph has maximum degree at most $1$ (that is, it consists of a matching and some isolated vertices) and the red subgraph has minimum degree at least $1$ and contains no $3$-edge path. Since all monochromatic components are small in this coloring and there is a certain irregularity, we call such a coloring \emph{crumby}. Recently, Bellitto, Klimošová, Merker, Witkowski and Yuditsky \cite{counter} constructed an infinite family refuting the above conjecture. Their prototype counterexample is $2$-connected, planar, but contains a $K_4$-minor and also a $5$-cycle. This leaves the above conjecture open for some important graph classes: outerplanar graphs, $K_4$-minor-free graphs, bipartite graphs. In this regard, we prove that $2$-connected outerplanar graphs, subdivisions of $K_4$ and $1$-subdivisions of cubic graphs admit crumby colorings. A subdivision of $G$ is {\it genuine} if every edge is subdivided at least once. We show that every genuine subdivision of any subcubic graph admits a crumby coloring. We slightly generalise some of these results and formulate a few conjectures.