Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Strong Structural Controllability of Diffusively Coupled Networks: Comparison of Bounds Based on Distances and Zero Forcing
Published
• View Publication
• BIB
We study the strong structural controllability (SSC) of diffusively coupled networks, where the external control inputs are injected to only some nodes, namely the leaders. For such systems, one measure of controllability is the dimension of strong structurally controllable subspace, which is equal to the smallest possible rank of controllability matrix under admissible (positive) coupling weights. In this paper, we compare two tight lower bounds on the dimension of strong structurally controllable subspace: one based on the distances of followers to leaders, and the other based on the graph coloring process known as zero forcing. We show that the distance-based lower bound is usually better than the zero-forcing-based bound when the leaders do not constitute a zero-forcing set. On the other hand, we also show that any set of leaders that can be shown to achieve complete SSC via the distance-based bound is necessarily a zero-forcing set. These results indicate that while the zero-forcing based approach may be preferable when the focus is only on verifying complete SSC, the distance-based approach is usually more informative when partial SSC is also of interest. Furthermore, we also present a novel bound based on the combination of these two approaches, which is always at least as good as, and in some cases strictly greater than, the maximum of the two bounds. We support our analysis with numerical results for various graphs and leader sets.
The projective cover of tableau-cyclic indecomposable $H_n(0)$-modules
Published
• View Publication
• BIB
Let $α$ be a composition of $n$ and $σ$ a permutation in $\mathfrak{S}_{\ell(α)}$. This paper concerns the projective covers of $H_n(0)$-modules $\mathcal{V}_α$, $X_α$ and $\mathbf{S}^σ_α$, which categorify the dual immaculate quasisymmetric function, the extended Schur function, and the quasisymmetric Schur function when $σ$ is the identity, respectively. First, we show that the projective cover of $\mathcal{V}_α$ is the projective indecomposable module $\mathbf{P}_α$ due to Norton, and $X_α$ and the $φ$-twist of the canonical submodule $\mathbf{S}^σ_{β,C}$ of $\mathbf{S}^σ_β$ for $(β,σ)$'s satisfying suitable conditions appear as $H_n(0)$-homomorphic images of $\mathcal{V}_α$. Second, we introduce a combinatorial model for the $φ$-twist of $\mathbf{S}^σ_α$ and derive a series of surjections starting from $\mathbf{P}_α$ to the $φ$-twist of $\mathbf{S}^{\mathrm{id}}_{α,C}$. Finally, we construct the projective cover of every indecomposable direct summand $\mathbf{S}^σ_{α, E}$ of $\mathbf{S}^σ_α$. As a byproduct, we give a characterization of triples $(σ, α, E)$ such that the projective cover of $\mathbf{S}^σ_{α, E}$ is indecomposable.
Random $K_k$-removal algorithm
One interesting question is how a graph develops from some constrained random graph process, which is a fundamental mechanism in the formation and evolution of dynamic networks. The problem here is referred to the random $K_k$-removal algorithm. For a fixed integer $k\geqslant 3$, it starts with a complete graph on $n\rightarrow\infty$ vertices and iteratively removes the edges of an uniformly chosen $K_k$. This algorithm terminates once no $K_k$s remain and at the same time it generates one linear $k$-uniform hypergraph. For $k=3$, it was shown that the size in the final graph is $n^{3/2+o(1)}$. Less results are on the cases when $k\geqslant 4$. In this paper, we prove that the exact expected trajectories of various key parameters in the algorithm to some iteration such that the final size in the algorithm is at most $n^{2-1/(k(k-1)-2)+o(1)}$ for $k\geqslant 4$. We also show the bound is a natural barrier.
Diameter Polytopes of Feasible Binary Programs
Feasible binary programs often have multiple optimal solutions, which is of interest in applications as they allow the user to choose between alternative optima without deteriorating the objective function. In this article, we present the optimal diameter of a feasible binary program as a metric for measuring the diversity among all optimal solutions. In addition, we present the diameter binary program whose optima contains two optimal solutions of the given feasible binary program that are as diverse as possible with respect to the optimal diameter. Our primary interest is in the study of the diameter polytope, i.e., the polytope underlying the diameter binary program. Under suitable conditions, we show that much of the structure of the diameter polytope is inherited from the polytope underlying the given binary program. Finally, we apply our results on the diameter binary program and diameter polytope to cases where the given binary program corresponds to the linear ordering problem and the symmetric traveling salesman problem.
Antipalindromic numbers
Everybody has certainly heard about palindromes: words that stay the same when read backwards. For instance kayak, radar, or rotor. Mathematicians are interested in palindromic numbers: positive integers whose expansion in a certain integer base is a palindrome. The following problems are studied: palindromic primes, palindromic squares and higher powers, multibased palindromic numbers, etc. In this paper, we define and study antipalindromic numbers: positive integers whose expansion in a certain integer base is an antipalindrome. We present new results concerning divisibility and antipalindromic primes, antipalindromic squares and higher powers, and multibased antipalindromic numbers. We provide a user-friendly application for all studied questions.
A Family of Tetravalent Half-transitive Graphs
Published
• View Publication
• BIB
In this paper, we introduce a new family of graphs, $Γ(n,a)$. We show that it is an infinite family of tetravalent half-transitive Cayley graphs. Apart from that, we determine some structural properties of $Γ(n,a)$.
Convex polyominoes revisited: Enumeration of outer site perimeter, interior vertices, and boundary vertices of certain degrees
Published
• View Publication
• BIB
The main contribution of this paper is a new column-by-column method for the decomposition of generating functions of convex polyominoes suitable for enumeration with respect to various statistics including but not limited to interior vertices, boundary vertices of certain degrees, and outer site perimeter. Using this decomposition, among other things, we show that
A) the average number of interior vertices over all convex polyominoes of perimeter $2n$ is asymptotic to $\frac{n^2}{12}+\frac{n\sqrt{n}}{3\sqrtπ} -\frac{(21π-16)n}{12π}.$
B) the average number of boundary vertices with degree two over all convex polyominoes of perimeter $2n$ is asymptotic to $\frac{n+6}{2}+\frac{1}{\sqrt{πn}}+\frac{(16-7π)}{4πn}.$ Additionally, we obtain an explicit generating function counting the number of convex polyominoes with $n$ boundary vertices of degrees at most three and show that this number is asymptotic to $ \frac{n+1}{40}\left(\frac{3+\sqrt{5}}{2}\right)^{n-3} +\frac{\sqrt[4]{5}(2-\sqrt{5})}{80\sqrt{πn}}\left(\frac{3+\sqrt{5}}{2}\right)^{n-2}. $ Moreover, we show that the expected number of the boundary vertices of degree four over all convex polyominoes with $n$ vertices of degrees at most three is asymptotically $ \frac{n}{\sqrt{5}}-\frac{\sqrt[4]{125}(\sqrt{5}-1)\sqrt{n}}{10\sqrtπ}. $
C) the number of convex polyominoes with the outer-site perimeter $n$ is asymptotic to $\frac{3(\sqrt{5}-1)}{20\sqrt{π
n}\sqrt[4]{5}}\left(\frac{3+\sqrt{5}}{2}\right)^n,$ and show the expected number of the outer-site perimeter over all convex polyominoes with perimeter $2n$ is asymptotic to $\frac{25n}{16}+\frac{\sqrt{n}}{4\sqrtπ}+\frac{1}{8}.$ Lastly, we prove that the expected perimeter over all convex polyominoes with the outer-site perimeter $n$ is asymptotic to $\sqrt[4]{5}n$.
Simplicial spanning trees in random Steiner complexes
Published
• View Publication
• BIB
A spanning tree $T$ in a graph $G$ is a sub-graph of $G$ with the same vertex set as $G$ which is a tree. In 1981, McKay proved an asymptotic result regarding the number of spanning trees in random $k$-regular graphs. In this paper we prove a high-dimensional generalization of McKay's result for random $d$-dimensional, $k$-regular simplicial complexes on $n$ vertices, showing that the weighted number of simplicial spanning trees is of order $(ξ_{d,k}+o(1))^{\binom{n}{d}}$ as $n\to\infty$, where $ξ_{d,k}$ is an explicit constant, provided $k> 4d^2+d+2$. A key ingredient in our proof is the local convergence of such random complexes to the $d$-dimensional, $k$-regular arboreal complex, which allows us to generalize McKay's result regarding the Kesten-McKay distribution.
Hamiltonian cycles in annular decomposable Barnette graphs
Published
• View Publication
• BIB
Barnette's conjecture is an unsolved problem in graph theory. The problem states that every 3-regular (cubic), 3-connected, planar, bipartite (Barnette) graph is Hamiltonian. Partial results have been derived with restrictions on number of vertices, several properties of face-partitions and dual graphs of Barnette graphs while some studies focus just on structural characterizations of Barnette graphs. Noting that Spider web graphs are a subclass of Annular Decomposable Barnette (ADB graphs) graphs and are Hamiltonian, we study ADB graphs and their annular-connected subclass (ADB-AC graphs). We show that ADB-AC graphs can be generated from the smallest Barnette graph using recursive edge operations. We derive several conditions assuring the existence of Hamiltonian cycles in ADB-AC graphs without imposing restrictions on number of vertices, face size or any other constraints on the face partitions. We show that there can be two types of annuli in ADB-AC graphs, ring annuli and block annuli. Our main result is, ADB-AC graphs having non singular sequences of ring annuli are Hamiltonian.
A $p$-adic analogue of Chan and Verrill's formula for $1/π$
We prove three supercongruences for sums of Almkvist-Zudilin numbers, which confirm some conjectures of Zudilin and Z.-H. Sun. A typical example is the Ramanujan-type supercongruence: \begin{align*} \sum_{k=0}^{p-1} \frac{4k+1}{81^k}γ_k \equiv \left(\frac{-3}{p}\right) p\pmod{p^3}, \end{align*} which is corresponding to Chan and Verrill's formula for $1/π$: \begin{align*} \sum_{k=0}^\infty \frac{4k+1}{81^k}γ_k = \frac{3\sqrt{3}}{2π}. \end{align*} Here $γ_n$ are the Almkvist-Zudilin numbers.
An identity for the coefficients of characteristic polynomials of hyperplane arrangements
Published
• View Publication
• BIB
Consider a finite collection of affine hyperplanes in $\mathbb R^d$. The hyperplanes dissect $\mathbb R^d$ into finitely many polyhedral chambers. For a point $x\in \mathbb R^d$ and a chamber $P$ the metric projection of $x$ onto $P$ is the unique point $y\in P$ minimizing the Euclidean distance to $x$. The metric projection is contained in the relative interior of a uniquely defined face of $P$ whose dimension is denoted by $\text{dim}(x,P)$. We prove that for every given $k\in \{0,\ldots, d\}$, the number of chambers $P$ for which $\text{dim}(x,P) = k$ does not depend on the choice of $x$, with an exception of some Lebesgue null set. Moreover, this number is equal to the absolute value of the $k$-th coefficient of the characteristic polynomial of the hyperplane arrangement. In a special case of reflection arrangements, this proves a conjecture of Drton and Klivans [A geometric interpretation of the characteristic polynomial of reflection arrangements, Proc. Amer. Math. Soc., 138(8): 2873-2887, 2010].
Finding a Shortest Even Hole in Polynomial Time
Published in Journal of Graph Theory, 2022
• View Publication
• BIB
An even (respectively, odd) hole in a graph is an induced cycle with even (respectively, odd) length that is at least four. Bienstock [DM 1991 and 1992] proved that detecting an even (respectively, odd) hole containing a given vertex is NP-complete. Conforti, Chornuéjols, Kappor, and Vušković [FOCS 1997] gave the first known polynomial-time algorithm to determine whether a graph contains even holes. Chudnovsky, Kawarabayashi, and Seymour [JGT 2005] estimated that Conforti et al.'s algorithm runs in $O(n^{40})$ time on an $n$-vertex graph and reduced the required time to $O(n^{31})$. Subsequently, da~Silva and Vušković~[JCTB 2013], Chang and Lu [JCTB 2017], and Lai, Lu, and Thorup [STOC 2020] improved the time to $O(n^{19})$, $O(n^{11})$, and $O(n^9)$, respectively. The tractability of determining whether a graph contains odd holes has been open for decades until the algorithm of Chudnovsky, Scott, Seymour, and Spirkl [JACM 2020] that runs in $O(n^9)$ time, which Lai et al. also reduced to $O(n^8)$. By extending Chudnovsky et al.'s techniques for detecting odd holes, Chudnovsky, Scott, and Seymour [Combinatorica 2020 to appear] (respectively, [arXiv 2020]) ensured the tractability of finding a long (respectively, shortest) odd hole. They also ensured the NP-hardness of finding a longest odd hole, whose reduction also works for finding a longest even hole. Recently, Cook and Seymour ensured the tractability of finding a long even hole. An intriguing missing piece is the tractability of finding a shortest even hole, left open for at least 15 years by, e.g., Chudnovsky et al. [JGT 2005] and Johnson [TALG 2005]. We resolve this long-standing open problem by giving the first known polynomial-time algorithm, running in $O(n^{31})$ time, for finding a shortest even hole in an $n$-vertex graph that contains even holes.
Classifications of $Γ$-colored $d$-complete posets and upper $P$-minuscule Borel representations
Published in Electronic Journal of Combinatorics 28(1), #P1.15 (2021)
• View Publication
• BIB
The $Γ$-colored $d$-complete posets correspond to certain Borel representations that are analogous to minuscule representations of semisimple Lie algebras. We classify $Γ$-colored $d$-complete posets which specifies the structure of the associated representations. We show that finite $Γ$-colored $d$-complete posets are precisely the dominant minuscule heaps of J.R. Stembridge. These heaps are reformulations and extensions of the colored $d$-complete posets of R.A. Proctor. We also show that connected infinite $Γ$-colored $d$-complete posets are precisely order filters of the connected full heaps of R.M. Green.
A combinatorial viewpoint on preserving notion of largeness and an abstract Rado theorem
In this paper we will systematically study the preservation of the notion of largeness of sets, arises from the algebraic structure of Stone-Cech compactification, under homomorphism and difference group. Some of these results were studied previously using algebra of Stone-Cech compactification. But our approach is purely combinatorial.
On cryptological schemes for r-person secret vote and r-person authentication
We introduce a scheme for the membership verification, a scheme for a secret ballot, a scheme for the unanimity rule which can hide the number of voter using some partition number identities.
On the homology of independence complexes
Published
• View Publication
• BIB
The independence complex $\mathrm{Ind}(G)$ of a graph $G$ is the simplicial complex formed by its independent sets. This article introduces a deformation of the simplicial boundary map of $\mathrm{Ind}(G)$ that gives rise to a double complex with trivial homology. Filtering this double complex in the right direction induces a spectral sequence that converges to zero and contains on its first page the homology of the independence complexes of $G$ and various subgraphs of $G$, obtained by removing independent sets and their neighborhoods from $G$. It is shown that this spectral sequence may be used to study the homology of $\mathrm{Ind}(G)$. Furthermore, a careful investigation of the sequence's first page exhibits a relation between the cardinality of maximal independent sets in $G$ and the vanishing of certain homology groups of the independence complexes of some subgraphs of $G$. This relation is shown to hold for all paths and cyclic graphs.
On the sunflower bound for $k$-spaces, pairwise intersecting in a point
Published
• View Publication
• BIB
A $t$-intersecting constant dimension subspace code $C$ is a set of $k$-dimensional subspaces in a projective space PG(n,q), where distinct subspaces intersect in a $t$-dimensional subspace. A classical example of such a code is the sunflower, where all subspaces pass through the same $t$-space. The sunflower bound states that such a code is a sunflower if $|C| > \left( \frac {q^{k + 1} - q^{t + 1}}{q - 1} \right)^2 + \left( \frac {q^{k + 1} - q^{t + 1}}{q - 1} \right) + 1$. In this article we will look at the case $t=0$ and we will improve this bound for $q\geq 9$: a set $\mathcal{S}$ of $k$-spaces in PG(n,q), $q\geq 9$, pairwise intersecting in a point is a sunflower if $|\mathcal{S}|> \left(\frac{2}{\sqrt[6]{q}}+\frac{4}{\sqrt[3]{q}}-\frac{5}{\sqrt{q}}\right)\left(\frac {q^{k + 1} - 1}{q - 1}\right)^2$.
Bounded affine permutations II. Avoidance of decreasing patterns
Published in Ann. Comb. 25 (2021), 1007-1048, https://rdcu.be/czXKF
• View Publication
• BIB
We continue our study of a new boundedness condition for affine permutations, motivated by the fruitful concept of periodic boundary conditions in statistical physics. We focus on bounded affine permutations of size $N$ that avoid the monotone decreasing pattern of fixed size $m$. We prove that the number of such permutations is asymptotically equal to $(m-1)^{2N} N^{(m-2)/2}$ times an explicit constant as $N\to\infty$. For instance, the number of bounded affine permutations of size $N$ that avoid $321$ is asymptotically equal to $4^N (N/4π)^{1/2}$. We also prove a permuton-like result for the scaling limit of random permutations from this class, showing that the plot of a typical bounded affine permutation avoiding $m\cdots1$ looks like $m-1$ random lines of slope $1$ whose $y$ intercepts sum to $0$.
Genus expansion of matrix models and $\hbar$ expansion of KP hierarchy
Published in J. High Energ. Phys. 2020, 38 (2020)
• View Publication
• BIB
We study $\hbar$ expansion of the KP hierarchy following Takasaki-Takebe arXiv:hep-th/9405096 considering several examples of matrix model $τ$-functions with natural genus expansion. Among the examples there are solutions of KP equations of special interest, such as generating function for simple Hurwitz numbers, Hermitian matrix model, Kontsevich model and Brezin-Gross-Witten model. We show that all these models with parameter $\hbar$ are $τ$-functions of the $\hbar$-KP hierarchy and the expansion in $\hbar$ for the $\hbar$-KP coincides with the genus expansion for these models. Furthermore, we show a connection of recent papers considering the $\hbar$-formulation of the KP hierarchy arXiv:1509.04472, arXiv:1512.07172 with original Takasaki-Takebe approach. We find that in this approach the recovery of enumerative geometric meaning of $τ$-functions is straightforward and algorithmic.
Open associahedra and scattering forms
Published in JHEP 12 (2020) 134
• View Publication
• BIB
We continue the study of open associahedra associated with bi-color scattering amplitudes initiated in arXiv:1912.08307. We focus on the facet geometries of the open associahedra, uncovering many new phenomena such as fiber-product geometries. We then provide novel recursion procedures for calculating the canonical form of open associahedra, generalizing recursion relations for bounded polytopes to unbounded polytopes.