Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Connection formulae for trivariate $q$-polynomials
In this short paper, we establish connection formulae for trivariate $q$-polynomials.
Star-specific Key-homomorphic PRFs from Learning with Linear Regression
Published in IEEE Access, vol. 11, pp. 73235-73267, 2023
• View Publication
• BIB
We introduce a novel method to derandomize the learning with errors (LWE) problem by generating deterministic yet sufficiently independent LWE instances that are constructed by using linear regression models, which are generated via (wireless) communication errors. We also introduce star-specific key-homomorphic (SSKH) pseudorandom functions (PRFs), which are defined by the respective sets of parties that construct them. We use our derandomized variant of LWE to construct a SSKH PRF family. The sets of parties constructing SSKH PRFs are arranged as star graphs with possibly shared vertices, i.e., the pairs of sets may have non-empty intersections. We reduce the security of our SSKH PRF family to the hardness of LWE. To establish the maximum number of SSKH PRFs that can be constructed -- by a set of parties -- in the presence of passive/active and external/internal adversaries, we prove several bounds on the size of maximally cover-free at most $t$-intersecting $k$-uniform family of sets $\mathcal{H}$, where the three properties are defined as: (i) $k$-uniform: $\forall A \in \mathcal{H}: |A| = k$, (ii) at most $t$-intersecting: $\forall A, B \in \mathcal{H}, B \neq A: |A \cap B| \leq t$, (iii) maximally cover-free: $\forall A \in \mathcal{H}: A \not\subseteq \bigcup\limits_{\substack{B \in \mathcal{H} \\ B \neq A}} B$. For the same purpose, we define and compute the mutual information between different linear regression hypotheses that are generated from overlapping training datasets.
The Laplacians, Kirchhoff index and complexity of linear Möbius and cylinder octagonal-quadrilateral networks
Published
• View Publication
• BIB
Spectrum graph theory not only facilitate comprehensively reflect the topological structure and dynamic characteristics of networks, but also offer significant and noteworthy applications in theoretical chemistry, network science and other fields. Let $L_{n}^{8,4}$ represent a linear octagonal-quadrilateral network, consisting of $n$ eight-member ring and $n$ four-member ring. The Möbius graph $Q_{n}(8,4)$ is constructed by reverse identifying the opposite edges, whereas cylinder graph $Q'_{n}(8,4)$ identifies the opposite edges by order. In this paper, the explicit formulas of Kirchhoff indices and complexity of $Q_{n}(8,4)$ and $Q'_{n}(8,4)$ are demonstrated by Laplacian characteristic polynomials according to decomposition theorem and Vieta's theorem. In surprise, the Kirchhoff index of $Q_{n}(8,4)$($Q'_{n}(8,4)$) is approximately one-third half of its Wiener index as $n\to\infty$.
The existence of balanced neighborly polynomials
Published
• View Publication
• BIB
Inspired by the definition of balanced neighborly spheres, we define balanced neighborly polynomials and study the existence of these polynomials. The goal of this article is to construct balanced neighborly polynomials of type $(k,k,k,k)$ over any field $K$ for all $k \neq 2$, and show that a balanced neighborly polynomial of type $(2,2,2,2)$ exists if and only if ${\rm char}(K) \neq 2$. Besides, we also discuss a relation between balanced neighborly polynomials and balanced neighborly simplicial spheres.
Operadic categories and quasi-Gröbner categories
Quasi-Gröbner categories were introduced by Sam and Snowden to unify treatment of categories in representation stability. We give new examples of quasi-Gröbner categories. Most of these categories are operadic categories of Batanin and Markl which are used to encode homotopy coherent structures. This suggests that other operadic categories might also be quasi-Gröbner. Additionally, we show that set-operads form a full subcategory of the category of operadic categories. We state several open problems.
The spectral even cycle problem
In this paper, we study the maximum adjacency spectral radii of graphs of large order that do not contain an even cycle of given length. For $n>k$, let $S_{n,k}$ be the join of a clique on $k$ vertices with an independent set of $n-k$ vertices and denote by $S_{n,k}^+$ the graph obtained from $S_{n,k}$ by adding one edge. In 2010, Nikiforov conjectured that for $n$ large enough, the $C_{2k+2}$-free graph of maximum spectral radius is $S_{n,k}^+$ and that the $\{C_{2k+1},C_{2k+2}\}$-free graph of maximum spectral radius is $S_{n,k}$. We solve this two-part conjecture.
Refined enumeration of $k$-plane trees and $k$-noncrossing trees
Published
• View Publication
• BIB
A $k$-plane tree is a plane tree whose vertices are assigned labels between $1$ and $k$ in such a way that the sum of the labels along any edge is no greater than $k+1$. These trees are known to be related to $(k+1)$-ary trees, and they are counted by a generalised version of the Catalan numbers. We prove a surprisingly simple refined counting formula, where we count trees with a prescribed number of labels of each kind. Several corollaries are derived from this formula, and an analogous theorem is proven for $k$-noncrossing trees, a similarly defined family of labelled noncrossing trees that are related to $(2k+1)$-ary trees.
Token sliding on graphs of girth five
Published
• View Publication
• BIB
In the Token Sliding problem we are given a graph $G$ and two independent sets $I_s$ and $I_t$ in $G$ of size $k \geq 1$. The goal is to decide whether there exists a sequence $\langle I_1, I_2, \ldots, I_\ell \rangle$ of independent sets such that for all $i \in \{1,\ldots, \ell\}$ the set $I_i$ is an independent set of size $k$, $I_1 = I_s$, $I_\ell = I_t$ and $I_i \triangle I_{i + 1} = \{u, v\} \in E(G)$. Intuitively, we view each independent set as a collection of tokens placed on the vertices of the graph. Then, the problem asks whether there exists a sequence of independent sets that transforms $I_s$ into $I_t$ where at each step we are allowed to slide one token from a vertex to a neighboring vertex. In this paper, we focus on the parameterized complexity of Token Sliding parameterized by $k$. As shown by Bartier et al., the problem is W[1]-hard on graphs of girth four or less, and the authors posed the question of whether there exists a constant $p \geq 5$ such that the problem becomes fixed-parameter tractable on graphs of girth at least $p$. We answer their question positively and prove that the problem is indeed fixed-parameter tractable on graphs of girth five or more, which establishes a full classification of the tractability of Token Sliding parameterized by the number of tokens based on the girth of the input graph.
Random multi-hooking networks
Published
• View Publication
• BIB
We introduce a broad class of multi-hooking networks, wherein multiple copies of a seed are hooked at each step at random locations, and the number of copies follows a predetermined building sequence of numbers.
We analyze the degree profile in random multi-hooking networks by tracking two kinds of node degrees -- the local average degree of a specific node over time and the global overall average degree in the graph. The former experiences phases and the latter is invariant with respect to the type of building sequence and is somewhat similar to the average degree in the initial seed. We also discuss the expected number of nodes of the smallest degree.
Additionally, we study distances in the network through the lens of the average total path length, the average depth of a node, the eccentricity of a node, and the diameter of the graph.
Taming graphs with no large creatures and skinny ladders
We confirm a conjecture of Gartland and Lokshtanov [arXiv:2007.08761]: if for a hereditary graph class $\mathcal{G}$ there exists a constant $k$ such that no member of $\mathcal{G}$ contains a $k$-creature as an induced subgraph or a $k$-skinny-ladder as an induced minor, then there exists a polynomial $p$ such that every $G \in \mathcal{G}$ contains at most $p(|V(G)|)$ minimal separators. By a result of Fomin, Todinca, and Villanger [SIAM J. Comput. 2015] the latter entails the existence of polynomial-time algorithms for Maximum Weight Independent Set, Feedback Vertex Set and many other problems, when restricted to an input graph from $\mathcal{G}$. Furthermore, as shown by Gartland and Lokshtanov, our result implies a full dichotomy of hereditary graph classes defined by a finite set of forbidden induced subgraphs into tame (admitting a polynomial bound of the number of minimal separators) and feral (containing infinitely many graphs with exponential number of minimal separators).
Lattice Minors and Eulerian Posets
Published
• View Publication
• BIB
We introduce posets of simple vertex labeled minors of graphs and a generalization to the level of polymatroids, collectively termed minor posets. We show that any minor poset is isomorphic to the face poset of a regular CW sphere, and in particular, is Eulerian. We establish cd-index inequalities induced by strong maps, a tight upper bound for cd-indices of minor posets and a tight lower bound for cd-indices of minor posets arising from lattices of maximal length.
Connectivity keeping caterpillars and spiders in bipartite graphs with connectivity at most three
Published
• View Publication
• BIB
A conjecture of Luo, Tian and Wu (2022) says that for every positive integer $k$ and every finite tree $T$ with bipartition $X$ and $Y$ (denote $t = \max\{|X|,|Y |\})$, every $k$-connected bipartite graph $G$ with $δ(G) \geq k + t$ contains a subtree $T' \cong T$ such that $κ(G-V (T')) \geq k$. In this paper, we confirm this conjecture for caterpillars when $k=3$ and spiders when $k\leq 3$.
Odd-gon relations and their cohomology
Published
• View Publication
• BIB
A cohomology theory for "odd polygon" relations -- algebraic imitations of Pachner moves in dimensions 3, 5, ... -- is constructed. Manifold invariants based on polygon relations and nontrivial polygon cocycles are proposed. Example calculation results are presented.
Nonrational polytopes and fans in toric geometry
Published in Riv. Mat. Univ. Parma, 14 (2023), 67-86
• Search Publication
First, we examine the notion of nonrational convex polytope and nonrational fan in the context of toric geometry. We then discuss and interrelate some recent developments in the subject.
Counterexamples to Gerbner's Conjecture on Stability of Maximal $F$-free Graphs
Published
• View Publication
• BIB
Let $F$ be an $(r+1)$-color critical graph with $r\geq 2$, that is, $χ(F)=r+1$ and there is an edge $e$ in $F$ such that $χ(F-e)=r$. Gerbner recently conjectured that every $n$-vertex maximal $F$-free graph with at least $(1-\frac{1}{r})\frac{n^2}{2}- o(n^{\frac{r+1}{r}})$ edges contains an induced complete $r$-partite graph on $n-o(n)$ vertices. Let $F_{s,k}$ be a graph obtained from $s$ copies of $C_{2k+1}$ by sharing a common edge. In this paper, we show that for all $k\geq 2$ if $G$ is an $n$-vertex maximal $F_{s,k}$-free graph with at least $n^{2}/4 - o(n^{\frac{s+2}{s+1}})$ edges, then $G$ contains an induced complete bipartite graph on $n-o(n)$ vertices. We also show that it is best possible. This disproves Gerbner's conjecture for $r=2$.
Toric Quasifolds
Published in Math. Intelligencer, 45 (2022), 133-138
• View Publication
• BIB
Toric quasifolds are highly singular spaces that were first introduced in order to address, from the symplectic viewpoint, the longstanding open problem of extending the classical constructions of toric geometry to those simple convex polytopes that are not rational. We illustrate toric quasifolds, and their atlases, by describing some notable examples. We conclude with a number of considerations.
A $C_{4}$-decomposition of the $λ$-fold line graph of $K_{m,n}$
The small cycle decompositions of line graph ($λ$-fold line graph) of complete graphs and complete bipartite graphs are studied by many papers. In particular, Colby and Rodger obtained necessary and sufficient conditions for the existence of a $C_{4}$-decomposition of the $λ$-fold line graph of $K_{n}$, and Ganesamurthy and Paulraja completely determined the values of $n$ and $λ$ for which the $λ$-fold line graph of $K_{n}$ has a $C_{5}$-decomposition. In this paper, we obtain the necessary and sufficient condition for the existence of a $C_{4}$-decomposition of the $λ$-fold line graph of $K_{m,n}$.
On the combinatorial and rank properties of certain subsemigroups of full contractions of a finite chain
Let $[n]=\{1,2,\ldots,n\}$ be a finite chain and let $\mathcal{CT}_{n}$ be the semigroup of full contractions on $[n]$. Denote $\mathcal{ORCT}_{n}$ and $\mathcal{OCT}_{n}$ to be the subsemigroup of order preserving or reversing and the subsemigroup of order preserving full contractions, respectively. It was shown in [17] that the collection of all regular elements (denoted by, Reg$(\mathcal{ORCT}_{n})$ and Reg$(\mathcal{OCT}_{n}$), respectively) and the collection of all idempotent elements (denoted by E$(\mathcal{ORCT}_{n})$ and E$(\mathcal{OCT}_{n}$), respectively) of the subsemigroups $\mathcal{ORCT}_{n}$ and $\mathcal{OCT}_{n}$, respectively are subsemigroups. In this paper, we study some combinatorial and rank properties of these subsemigroups.
A basis for the cohomology of compact models of toric arrangements
Published
• View Publication
• BIB
In this paper we find monomial bases for the integer cohomology rings of compact wonderful models of toric arrangements. In the description of the monomials various combinatorial objects come into play: building sets, nested sets, and the fan of a suitable toric variety. We provide some examples computed via a SageMath program and then we focus on the case of the toric arrangements associated with root systems of type A. Here the combinatorial description of our basis offers a geometrical point of view on the relation between some Eulerian statistics on the symmetric group.
Metzler/Zeta Correspondence
Published
• View Publication
• BIB
We present an explicit formula for the determinant on the Metzler matrix of a digraph $D$. Furthermore, we introduce a walk-type zeta function with respect to this Metzler matrix of the symmetric digraph of a finite torus, and express its limit formula by using the integral expression.