Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Artin-Ihara L-functions for hypergraphs
Published
• View Publication
• BIB
We generalize Artin-Ihara L-functions for graphs to hypergraphs by exploring several analogous notions, such as (unramified) Galois coverings and Frobenius elements. To a hypergraph $H$, one can naturally associate a bipartite graph $B_H$ encoding incidence relations of $H$. We study Artin-Ihara $L$-functions of hypergraphs $H$ by using Artin-Ihara $L$-functions of associated bipartite graphs $B_H$. As a result, we prove various properties for Artin-Ihara L-functions for hypergraphs. For instance, we prove that the Ihara zeta function of a hypergraph $H$ can be written as a product of Artin-Ihara $L$-functions.
Counterintuitive patterns on angles and distances between lattice points in high dimensional hypercubes
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a finite set of integer points in $\mathbb{R}^d$, which we assume has many symmetries, and let $P\in\mathbb{R}^d$ be a fixed point. We calculate the distances from $P$ to the points in $\mathcal{S}$ and compare the results. In some of the most common cases, we find that they lead to unexpected conclusions if the dimension is sufficiently large. For example, if $\mathcal{S}$ is the set of vertices of a hypercube in $\mathbb{R}^d$ and $P$ is any point inside, then almost all triangles $PAB$ with $A,B\in\mathcal{S}$ are almost equilateral. Or, if $P$ is close to the center of the cube, then almost all triangles $PAB$ with $A\in \mathcal{S}$ and $B$ anywhere in the hypercube are almost right triangles.
Distinguishing graphs with two integer matrices
It is well known that the spectrum and the Smith normal form of a matrix can be computed in polynomial time. Thus, it is interesting to explore how good are these parameters for distinguishing graphs. This is relevant since it is related to the Graph Isomorphism Problem (GIP), which asks to determine whether two graphs are isomorphic. In this paper, we explore the computational advantages of using the spectrum and the Smith normal form of two matrices associated with a graph. By considering the SNF or the spectrum of two matrices of a graph as a single parameter, we compute the number of non-isomorphic graphs with the same parameter with up to 9 vertices, and with up to 10 vertices when the number of graphs with 9 vertices with the same parameter is less than 1000. Focusing on the best 20 combinations of matrices for graphs with 10 vertices, we notice that the number of such graphs with a mate is less than 100 in any of these 20 cases. This computational result improves on similar previous explorations. Therefore, the use of the spectrum or the SNF of two matrices at the same time shows a substantial improvement in distinguishing graphs.
Standard Monomials for Positroid Varieties
Published
• View Publication
• BIB
We give an explicit characterization of the standard monomials for positroid varieties with respect to the Hodge degeneration and give a Gröbner basis. Furthermore, we show that promotion and evacuation biject standard monomials of a positroid variety with those of its cyclic shifts and $w_0$-reflection, respectively. The connection to promotion allows us to identify standard monomials of a positroid variety with Lam's cyclic Demazure crystal. Using a recurrence on the Hilbert series, we give an inductive formula for the character of cyclic Demazure modules.
The Sierpiński Domination Number
Published
• View Publication
• BIB
Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. In this paper, we define the Sierpiński domination number as the minimum of $γ(G\otimes _f H)$ over all functions $f \colon V(G)\rightarrow V(H)$. The upper Sierpiński domination number is defined analogously as the corresponding maximum. After establishing general upper and lower bounds, we determine the upper Sierpiński domination number of the Sierpiński product of two cycles, and determine the lower Sierpiński domination number of the Sierpiński product of two cycles in half of the cases and in the other half cases restrict it to two values.
Hypergraph $p$-Laplacians and Scale Spaces
Published in In: Scale Space and Variational Methods in Computer Vision. SSVM 2023. Lecture Notes in Computer Science, vol 14009. Springer, Cham (2023)
• View Publication
• BIB
This paper introduces gradient, adjoint, and $p$-Laplacian definitions for oriented hypergraphs as well as differential and averaging operators for unoriented hypergraphs. These definitions are used to define gradient flows in the form of diffusion equations with applications in modelling group dynamics and information flow in social networks as well as performing local and non-local image processing.
A mathematical approach to mechanical properties of networks in thermoplastic elastomers
We employ a mathematical model to analyze stress chains in thermoplastic elastomers (TPEs) with a microphase-separated spherical structure composed of triblock copolymers. The model represents stress chains during uniaxial and biaxial extensions using networks of spherical domains connected by bridges. We advance previous research and discuss permanent strain and other aspects of the network. It explores the dependency of permanent strain on the extension direction, using the average of tension tensors to represent isotropic material behavior. The concept of deviation angle is introduced to measure network anisotropy and is shown to play an essential role in predicting permanent strain when a network is extended in a specific direction. The paper also discusses methods to create a new network structure using various polymers.
Spectral Turán problem for $\mathcal{K}_5^{-}$-free signed graphs
Published
• View Publication
• BIB
The classical spectral Turán problem is to determine the maximum spectral radius of an $\mathcal{F}$-free graph of order $n.$ Let $\mathcal{K}_{k}^{-}$ be the set of all unbalanced $K_k.$ In this paper, we focus on the spectral Turán problem of $\mathcal{K}_{k}^{-}$-free unbalanced signed graph for $k\geq5$. Moreover, we give an answer for $k=5$ and completely characterize the corresponding extremal signed graph.
Explicit forms in lower degrees of rank 2 cluster scattering diagrams
Published
• View Publication
• BIB
In this paper, we study wall elements of rank 2 cluster scattering diagrams based on dilogarithm elements. We derive two major results. First, we give a method to calculate wall elements in lower degrees. By this method, we may see the explicit forms of wall elements including the Badlands, which is the complement of $G$-fan. In this paper, we write one up to 7 degrees. Also, by using this method, we derive some walls independent of their degrees. Second, we find a certain admissible form of them. In the proof of these facts, we introduce a matrix action on a structure group, which we call a similarity transformation, and we argue the relation between this action and ordered products.
Cumulant expansion for counting Eulerian orientations
Published
• View Publication
• BIB
An Eulerian orientation is an orientation of the edges of a graph such that every vertex is balanced: its in-degree equals its out-degree. Counting Eulerian orientations corresponds to the crucial partition function in so-called ``ice-type models'' in statistical physics and is known to be hard for general graphs. For all graphs with good expansion properties and degrees larger than $\log^{8} n$, we derive an asymptotic expansion for this count that approximates it to precision $O(n^{-c})$ for arbitrary large $c$, where $n$ is the number of vertices. The proof relies on a new tail bound for the cumulant expansion of the Laplace transform, which is of independent interest.
Embedding simply connected 2-complexes in 3-space
Published
• View Publication
• BIB
Firstly, we characterise the embeddability of simply connected locally 3-connected 2-dimensional simplicial complexes in 3-space in a way analogous to Kuratowski's characterisation of graph planarity, by nine excluded minors. This answers questions of Lovász, Pardon and U. Wagner.
The excluded minors are the cones over $K_5$ and $K_{3,3}$, five related constructions, and the remaining two are obtained from triangulations of the Möbius strip by attaching a disc at its central cycle.
Secondly, we extend the above theorem to all simply connected 2-dimensional simplicial complexes.
Some results and conjectures about Hankel determinants of sequences which are related to Catalan-like numbers
Martin Aigner introduced Catalan-like numbers as elements of the first column of admissible matrices and studied Hankel determinants of their forward shifts. In this paper we collect some properties of the Hankel determinants of the other columns which are suggested by computer experiments. By prepending zero rows to admissible matrices we also consider Hankel determinants of backward shifts.
Connected graphs with a given dissociation number attaining the minimum spectral radius
A dissociation set of a graph is a set of vertices which induces a subgraph with maximum degree less than or equal to one. The dissociation number of a graph is the maximum cardinality of its dissociation sets. In this paper, we study the connected graphs of order $n$ with a given dissociation number that attains the minimum spectral radius. We characterize these graphs when the dissociation number is in $\{n-1,~n-2,~\lceil2n/3\rceil,~\lfloor2n/3\rfloor,~2\}$. We also prove that these graphs are trees when the dissociation number is larger than $\lceil {2n}/{3}\rceil$.
On equitably 2-colourable odd cycle decompositions
Published
• View Publication
• BIB
An $\ell$-cycle decomposition of $K_v$ is said to be \emph{equitably $2$-colourable} if there is a $2$-vertex-colouring of $K_v$ such that each colour is represented (approximately) an equal number of times on each cycle: more precisely, we ask that in each cycle $C$ of the decomposition, each colour appears on $\lfloor \ell/2 \rfloor$ or $\lceil \ell/2 \rceil$ of the vertices of $C$. In this paper we study the existence of equitably 2-colourable $\ell$-cycle decompositions of $K_v$, where $\ell$ is odd, and prove the existence of such a decomposition for $v \equiv 1, \ell$ (mod $2\ell$).
Politopality of 2-orbit maniplexes
Abstract polytopes are a combinatorial generalization of convex and skeletal polytopes. Counting how many flag orbits a polytope has under its automorphism group is a way of measuring how symmetric it is. Polytopes with one flag orbit are called regular and are very well known. Polytopes with two flag orbits (called 2-orbit polytopes) are, however, way more elusive. There are $2^n-1$ possible classes of 2-orbit polytopes in rank (dimension) $n$, but for most of those classes, determining whether or not they are empty is still an open problem. In 2019, in their article An existence result on two-orbit maniplexes, Pellicer, Potočnik and Toledo constructed 2-orbit maniplexes (objects that generalize abstract polytopes and maps) in all these classes, but the question of whether or not they are also polytopes remained open. In this paper we use the results of a previous paper by the author and Hubard to show that some of these 2-orbit maniplexes are, in fact, polytopes. In particular we prove that there are 2-orbit polytopes in all the classes where exactly two kinds of reflections are forbidden. We use this to show that there are at least $n^2-n+1$ classes of 2-orbit polytopes of rank $n$ that are not empty. We also show that the maniplexes constructed with this method in the remaining classes satisfy all but (possibly) one of the properties necessary to be polytopes, therefore we get closer to proving that there are 2-orbit polytopes in all the classes.
Enumerating pattern-avoiding permutations by leading terms
The number of 123-avoiding permutation on $\{1,2,\ldots,n\}$ with a fixed leading terms is counted by the ballot numbers. The same holds for $132$-avoiding permutations. These results were proved by Miner and Pak using the Robinson-Schensted-Knuth (RSK) correspondence to connect permutations with Dyck paths. In this paper, we first provide an alternate proof of these enumeration results via a direct counting argument. We then study the number of pattern-avoiding permutations with a fixed prefix of length $t\geq1$, generalizing the $t=1$ case. We find exact expressions for single and pairs of patterns of length three as well as the pair $3412$ and $3421$. These expressions depend on $t$, the extrema, and the order statistics. We also define $r$-Wilf equivalence for permutations with a single fixed leading term $r$, and classify the $r$-Wilf-equivalence classes for both classical and vincular patterns of length three.
On Unique Factorization of Non-periodic Words
Given a bi-order $\succ$ on the free group $\mathcal{F}$, we show that every non-periodic cyclically reduced word $W\in \mathcal{F}$ admits a maximal ascent that is uniquely positioned. This provides a cyclic permutation of $W'$ that decomposes as $W'=AD$ where $A$ is the maximal ascent and $D$ is either trivial or a descent. We show that if $D$ is not uniquely positioned in $W$, then it must be an internal subword in $A$. Moreover, we show that when $\succ$ is the Magnus ordering, $D=1_\mathcal{F}$ if and only if $W$ is monotonic.
m-distance-regular graphs and their relation to multivariate P-polynomial association schemes
Published
• View Publication
• BIB
An association scheme is $P$-polynomial if and only if it consists of the distance matrices of a distance-regular graph. Recently, bivariate $P$-polynomial association schemes of type $(α,β)$ were introduced by Bernard et al., and multivariate $P$-polynomial association schemes were later defined by Bannai et al. In this paper, the notion of $m$-distance-regular graph is defined and shown to give a graph interpretation of the multivariate $P$-polynomial association schemes. Various examples are provided. Refined structures and additional constraints for multivariate $P$-polynomial association schemes and $m$-distance-regular graphs are also considered. In particular, bivariate $P$-polynomial schemes of type $(α, β)$ are discussed, and their connection to 2-distance-regular graphs is established.
Deterministic stack-sorting for set partitions
Published
• View Publication
• BIB
A sock sequence is a sequence of elements, which we will refer to as socks, from a finite alphabet. A sock sequence is sorted if all occurrences of a sock appear consecutively. We define equivalence classes of sock sequences called sock patterns, which are in bijection with set partitions. The notion of stack-sorting for set partitions was originally introduced by Defant and Kravitz. In this paper, we define a new deterministic stack-sorting map $φ_σ$ for sock sequences that uses a $σ$-avoiding stack, where pattern containment need not be consecutive. When $σ= aba$, we show that our stack-sorting map sorts any sock sequence with $n$ distinct socks in at most $n$ iterations, and that this bound is tight for $n \geq 3$. We obtain a fine-grained enumeration of the number of sock patterns of length $n$ on $r$ distinct socks that are $1$-stack-sortable under $φ_{aba}$, and we also obtain asymptotics for the number of sock patterns of length $n$ that are $1$-stack-sortable under $φ_{aba}$. Finally, we show that for all unsorted sock patterns $σ\neq a\cdots a b a \cdots a$, the map $φ_σ$ cannot eventually sort all sock sequences on any multiset $M$ unless every sock sequence on $M$ is already sorted.
Conditions for matchability in groups and field extensions II
Published
• View Publication
• BIB
We present sufficient conditions for the existence of matchings in abelian groups and their linear counterparts. These conditions lead to extensions of existing results in matching theory. Additionally, we classify subsets within abelian groups that cannot be matched. We introduce the concept of Chowla subspaces and formulate and conjecture a linear analogue of a result originally attributed to Y. O. Hamidoune [20] concerning Chowla sets. If proven true, this result would extend matchings in primitive subspaces. Throughout the paper, we emphasize the analogy between matchings in abelian groups and field extensions. We also pose numerous open questions for future research. Our approach relies on classical theorems in group theory, additive number theory and linear algebra. As the title of the paper suggests, this work is the second sequel to a previous paper [5] with a similar theme. This paper is self-contained and can be read independently.