Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Endomorphism algebras for a class of negative Calabi-Yau categories
We consider an orbit category of the bounded derived category of a path algebra of type A_n which can be viewed as a -(m+1)-cluster category, for m >= 1. In particular, we give a characterisation of those maximal m-rigid objects whose endomorphism algebras are connected, and then use it to explicitly study these algebras. Specifically, we give a full description of them in terms of quivers and relations, and relate them with (higher) cluster-tilted algebras of type A. As a by-product, we introduce a larger class of algebras, called 'tiling algebras'.
Computing Eigenvalues of Large Scale Sparse Tensors Arising from a Hypergraph
Published
• View Publication
• BIB
The spectral theory of higher-order symmetric tensors is an important tool to reveal some important properties of a hypergraph via its adjacency tensor, Laplacian tensor, and signless Laplacian tensor. Owing to the sparsity of these tensors, we propose an efficient approach to calculate products of these tensors and any vectors. Using the state-of-the-art L-BFGS approach, we develop a first-order optimization algorithm for computing H- and Z-eigenvalues of these large scale sparse tensors (CEST). With the aid of the Kurdyka-Łojasiewicz property, we prove that the sequence of iterates generated by CEST converges to an eigenvector of the tensor.When CEST is started from multiple randomly initial points, the resulting best eigenvalue could touch the extreme eigenvalue with a high probability. Finally, numerical experiments on small hypergraphs show that CEST is efficient and promising. Moreover, CEST is capable of computing eigenvalues of tensors corresponding to a hypergraph with millions of vertices.
Gysin maps, duality and Schubert classes
Published in Fundamenta Mathematicae 244 (2019), 191-208
• View Publication
• BIB
We establish a Gysin formula for Schubert bundles and a strong version of the duality theorem in Schubert calculus on Grassmann bundles. We then combine them to compute the fundamental classes of Schubert bundles in Grassmann bundles, which yields a new proof of the Giambelli formula for vector bundles.
Counting configuration-free sets in groups
We provide new examples of the asymptotic counting for the number of subsets on groups of given size which are free of certain configurations. These examples include sets without solutions to equations in non-abelian groups, and linear configurations in abelian groups defined from group homomorphisms. The results are obtained by combining the methodology of hypergraph containers joint with arithmetic removal lemmas. As a consequence, random counterparts are presented as well.
Counting spanning trees on fractal graphs and their asymptotic complexity
Published
• View Publication
• BIB
Using the method of spectral decimation and a modified version of Kirchhoff's Matrix-Tree Theorem, a closed form solution to the number of spanning trees on approximating graphs to a fully symmetric self-similar structure on a finitely ramified fractal is given in Theorem \ref{thm:maintheoremfull}. We show how spectral decimation implies the existence of the asymptotic complexity constant and obtain some bounds for it. Examples calculated include the Sierpinski Gasket, a non post critically finite analog of the Sierpinski Gasket, the Diamond fractal, and the Hexagasket. For each example, the asymptotic complexity constant is found.
The Structure of $W_4$-Immersion-Free Graphs
We study the structure of graphs that do not contain the wheel on 5 vertices W4 as an immersion, and show that these graphs can be constructed via 1, 2, and 3-edge-sums from subcubic graphs and graphs of bounded treewidth.
Graph parameters from symplectic group invariants
Published
• View Publication
• BIB
In this paper we introduce, and characterize, a class of graph parameters obtained from tensor invariants of the symplectic group. These parameters are similar to partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207-227]. Yet they give a completely different class of graph invariants. We moreover show that certain evaluations of the cycle partition polynomial, as defined by Martin [P. Martin, Enumérations eulériennes dans les multigraphes et invariants de Tutte-Grothendieck, Diss. Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier-Grenoble I, 1977], give examples of graph parameters that can be obtained this way.
Exponential extinction time of the contact process on rank-one inhomogeneous random graphs
Published
• View Publication
• BIB
We show that the contact process on the rank-one inhomogeneous random graphs and Erdos-R{é}nyi graphs with mean degree large enough survives a time exponential in the size of these graphs for any positive infection rate. In addition, a metastable result for the extinction time is also proved.
Spectral properties of cographs and $P_5$-free graphs
Published
• View Publication
• BIB
A cograph is a simple graph which contains no path on 4 vertices as an induced subgraph. We consider the eigenvalues of adjacency matrices of cographs and prove that a graph $G$ is a cograph if and only if no induced subgraph of $G$ has an eigenvalue in the interval $(-1,0)$. It is also shown that the multiplicity of any eigenvalue of a cograph $G$ does not exceed the sum of multiplicities of $0$ and $-1$ as eigenvalues of $G$. We introduce a partial order on the vertex set of graphs $G$ in terms of inclusions among the open and closed neighborhoods of vertices, and conjecture that the multiplicity of any eigenvalue of a cograph $G$ except for $0,-1$ does not exceed the maximum size of an antichain with respect to that partial order. In two extreme cases (in particular for threshold graphs), the conjecture is shown to be true. Finally, we give a simple proof for the result that bipartite $P_5$-free graphs have no eigenvalue in the intervals $(-1/2,0)$ and $(0,1/2)$.
A short conceptual proof of Narayana's path-counting formula
Published
• View Publication
• BIB
We deduce Narayana's formula for the number of lattice paths that fit in a Young diagram as a direct consequence of the Gessel-Viennot theorem on non-intersecting lattice paths.
The algebra of Kleene stars of the plane and polylogarithms
Published
• View Publication
• BIB
We extend the definition and study the algebraic properties of the polylogarithm Li(T), where T is rational series over the alphabet X = {x 0, x 1} belonging to suitable subalgebras of rational series.
Products of Differences in Prime Order Finite Fields
There exists an absolute constant $C$ with the following property. Let $A \subseteq \mathbb{F}_p$ be a set in the prime order finite field with $p$ elements. Suppose that $|A| > C p^{5/8}$. The set \[ (A \pm A)(A \pm A) = \{(a_1 \pm a_2)(a_3 \pm a_4) : a_1,a_2,a_3,a_4 \in A\} \] contains at least $p/2$ elements.
Oriented Book Embeddings
A graph $G$ has a $k$-page book embedding if $G$ can be embedded into a $k$-page book. The minimum $k$ such that $G$ has a $k$-page book embedding is the book thickness of $G$, denoted $bt(G)$. Most of the work on this subject has been done for unoriented graphs and oriented acyclic graphs (no directed cycles). In this work we discuss oriented graphs $\overrightarrow{D}$ containing directed cycles by using oriented book embeddings and oriented book thickness, $obt(\overrightarrow{D})$. To characterize $\overrightarrow{D}$ such that $obt(\overrightarrow{D}) = k$, we define the class $\mathcal{M}^k$ of $k$-page critical oriented graphs to be all oriented graphs $\overrightarrow{D}$ with $obt(\overrightarrow{D}) =k$, but for every proper oriented subgraph of $\overrightarrow{D}$, denoted $\overrightarrow{D}'$, we have that $obt(\overrightarrow{D}') < k$. Determining $\mathcal{M}^k$ for general $k$ is challenging; we narrow down the list of oriented graphs in $\mathcal{M}^k$ for small $k$. In this work we show complete lists for $\mathcal{M}^1$ and for $\mathcal{M}^2 \cap \mathcal{U}$, where $\mathcal{U}$ consists of all strictly dicyclic oriented graphs, that is, oriented graphs containing exactly one oriented cycle, which is a directed cycle.
Keywords: book embedding, book thickness, oriented book embedding, oriented book thickness, directed cycle, critical graph
Dimensions of the irreducible representations of the symmetric and alternating group
Published
• View Publication
• BIB
We establish the existence of an irreducible representation of $A_n$ whose dimension does not occur as the dimension of an irreducible representation of $S_n$, and vice versa. This proves a conjecture by Tong-Viet. The main ingredient in the proof is a result on large prime factors in short intervals.
A Decomposition of Parking Functions by Undesired Spaces
Published in Electron. J. Comb. 23 (3) (2016) #P3.32
• View Publication
• BIB
There is a well-known bijection between parking functions of a fixed length and maximal chains of the noncrossing partition lattice which we can use to associate to each set of parking functions a poset whose Hasse diagram is the union of the corresponding maximal chains. We introduce a decomposition of parking functions based on the largest number omitted and prove several theorems about the corresponding posets. In particular, they share properties with the noncrossing partition lattice such as local self-duality, a nice characterization of intervals, a readily computable Möbius function, and a symmetric chain decomposition. We also explore connections with order complexes, labeled Dyck paths, and rooted forests.
Endomorphisms of The Hamming Graph and Related Graphs
In this paper we determine all singular endomorphisms of the Hamming graph and other related graphs. The Hamming graph has vertices $\mathbb{Z}^{m}_n$ where two vertices are adjacent, if their Hamming distance is $1$. We show that its singular endomorphisms are uniform (each kernel has the same size) and that they are induced by Latin hypercubes (which essentially determines the number of singular endomorphisms). However, we do the same for its complement and some related graphs where the Hamming distance is allowed to be one of $1,...,k$, for some $1\leq k\leq m-1$. Ultimately, we consider the same situation where the vertices are tuples in $\mathbb{Z}_{n_1}\times\mathbb{Z}_{n_2}\times\cdots \times\mathbb{Z}_{n_m}$ (not all $n_i$ are equal).
$k$-geometric graphs
A finite, simple and undirected graph $G = (V, E)$ with $p$ vertices and $q$ edges is said to be a $k$-geometric mean graph for a positive integer $k$ if there is an injection $ψ:V(G)\to \{k,k+1,\dots,k+q\}$ such that, when each edge $uv\in E(G)$ is assigned the label $\lfloor\sqrt{ψ(u)ψ(v)}\rfloor$ or $\lceil\sqrt{ψ(u)ψ(v)}\rceil$, the resulting edge label set is $\{k,k+1,...,k+q-1\}$ and $ψ$ is called a \emph{$k$-geometric mean labeling} of $G$. The special case $k=1$, a $1$-geometric mean labeling is called a geometric mean labeling, and a $1$-geometric mean graph is called a geometric mean graph.
In this paper, we present new classes of geometric mean graphs. Then we introduce $k$-geometric mean labeling and prove some classes of graphs are $k$-geometric mean. We also study some classes of finite join of graphs that admit geometric mean labeling.
On the Construction of High Dimensional Simple Games
Published
• View Publication
• BIB
Voting is a commonly applied method for the aggregation of the preferences of multiple agents into a joint decision. If preferences are binary, i.e., "yes" and "no", every voting system can be described by a (monotone) Boolean function $χ\colon\{0,1\}^n\rightarrow \{0,1\}$. However, its naive encoding needs $2^n$ bits. The subclass of threshold functions, which is sufficient for homogeneous agents, allows a more succinct representation using $n$ weights and one threshold. For heterogeneous agents, one can represent $χ$ as an intersection of $k$ threshold functions. Taylor and Zwicker have constructed a sequence of examples requiring $k\ge 2^{\frac{n}{2}-1}$ and provided a construction guaranteeing $k\le {n\choose {\lfloor n/2\rfloor}}\in 2^{n-o(n)}$. The magnitude of the worst-case situation was thought to be determined by Elkind et al.~in 2008, but the analysis unfortunately turned out to be wrong. Here we uncover a relation to coding theory that allows the determination of the minimum number $k$ for a subclass of voting systems. As an application, we give a construction for $k\ge 2^{n-o(n)}$, i.e., there is no gain from a representation complexity point of view.
Proof of some divisibility results on sums involving binomial coefficients
Published in J. Number Theory 180 (2017), 566--572
• View Publication
• BIB
By using the Rodriguez-Villegas-Mortenson supercongruences, we prove four supercongruences on sums involving binomial coefficients, which were originally conjectured by Sun. We also confirm a related conjecture of Guo on integer-valued polynomials.
The intricate labyrinth of Collatz sequences
In a previous article, we reduced the unsolved problem of the convergence of Collatz sequences, to convergence of Collatz sequences of odd numbers, that are divisible by 3. In this article, we further reduce this set to odd numbers that are congruent to 21 mod 24. We also show that either the Collatz sequence of a given odd number or an equivalent Collatz sequence reverses to a multiple of 3. Moreover, we construct a network composed of Collatz sequences of all odd numbers.