Showing 20 papers (Total: 81564 papers, 47262 authors in database)
A note on the no-$(d+2)$-on-a-sphere problem
For fixed $d\geq 3$, we construct subsets of the $d$-dimensional lattice cube $[n]^d$ of size $n^{\frac{3}{d + 1} - o(1)}$ with no $d+2$ points on a sphere or a hyperplane. This improves the previously best known bound of $Ω(n^{\frac{1}{d-1}})$ due to Thiele from 1995.
On the independence of shifts defined on $\mathbb{N}^d$ and trees
In this paper, we study the independence of shifts defined on $\mathbb{N}^d$ ($\mathbb{N}^d$ shift) and trees (tree-shift). Firstly, for the completeness of the article, we provide a proof that an $\mathbb{N}^d$ shift has positive (topological) entropy if and only if it has an independence set with positive upper density. Secondly, we obtain that when the base shift $X$ is a hereditary shift, then the associated tree-shift $\mathcal{T}_X$ on an unexpandable tree has positive entropy if and only if it has an independence set with positive density. However, the independence of the tree-shift on an expandable tree differs from that of $\mathbb{N}^d$ shifts or tree-shifts on unexpandable trees. The boundary independence property is introduced and we prove that it is equivalent to the positive entropy of a tree-shift on an expandable tree.
Spectral radii of sparse non-Hermitian random matrices
We provide estimates for the spectral radii of an $n\times n$ sparse non-Hermitian random matrix $Z$ with general entries in the regime $p=d/n$ where $0<d<1$ is fixed. Utilizing the structural results of (Łuczak, '90), we show that the spectral radius $ρ(Z)$ is $0$ with probability converging to some nonzero value, and satisfies the inequality $(φ(n))^{-1}\leq ρ(Z)\leq φ(n)$ in the asymptotic sense for any function $φ$ satisfying $\lim_{n\to\infty}φ(n)=\infty$ with the remaining probability.
Clonoids of Boolean functions with essentially unary, linear, semilattice, or 0- or 1-separating source and target clones
Published
• View Publication
• BIB
Extending Sparks's theorem, we determine the cardinality of the lattice of $(C_1,C_2)$-clonoids of Boolean functions for certain pairs $(C_1,C_2)$ of clones of essentially unary, linear, or $0$- or $1$-separating functions or semilattice operations. When such a $(C_1,C_2)$-clonoid lattice is uncountable, the proof is in most cases based on exhibiting a countably infinite family of functions with the property that distinct subsets thereof always generate distinct $(C_1,C_2)$-clonoids. In the cases when the lattice is finite, we enumerate the corresponding $(C_1,C_2)$-clonoids. We also provide a summary of the known results on cardinalities of $(C_1,C_2)$-clonoid lattices of Boolean functions.
Transversal Structures in Graph Systems: A Survey
Published
• View Publication
• BIB
Given a system $\mathcal{G} =\{G_1,G_2,\dots,G_m\}$ of graphs/digraphs/hypergraphs on the common vertex set $V$ of size $n$, an $m$-edge graph/digraph/hypergraph $H$ on $V$ is transversal in $\mathcal{G}$ if there exists a bijection $φ:E(H)\rightarrow [m]$ such that $e \in E(G_{φ(e)})$ for all $e\in E(H)$. In this survey, we consider extremal problems for transversal structures in graph systems. More precisely, we summarize some sufficient conditions that ensure the existence of transversal structures in graph/digraph/hypergraph systems, which generalize several classical theorems in extremal graph theory to transversal version. We also include a number of conjectures and open problems.
Representation stability in the (co)homology of vertical configuration spaces
In this paper, we study sequences of topological spaces called "vertical configuration spaces" of points in Euclidean space. We apply the theory of FI$_G$-modules, and results of Bianchi-Kranhold, to show that their (co)homology groups are "representation stable" with respect to natural actions of wreath products $S_k \wr S_n$. In particular, we show that in each (co)homological degree, the (co)homology groups (viewed as $S_k \wr S_n$-representations) can be expressed as induced representations of a specific form. Consequently, the characters of their rational (co)homology groups, and the patterns of irreducible $S_k \wr S_n$-representation constituents of these groups, stabilize in a strong sense. In addition, we give a new proof of rational (co)homological stability for unordered vertical configuration spaces, with an improved stable range.
Graph-Based Proofs of Indistinguishability of Linear Compartmental Models
Given experimental data, one of the main objectives of biological modeling is to construct a model which best represents the real world phenomena. In some cases, there could be multiple distinct models exhibiting the exact same dynamics, meaning from the modeling perspective it would be impossible to distinguish which model is ``correct.'' This is the study of indistinguishability of models, and in our case we focus on linear compartmental models which are often used to model pharmacokinetics, cell biology, ecology, and related fields. Specifically, we focus on a family of linear compartmental models called skeletal path models which have an underlying directed path, and have recently been shown to have the first recorded sufficient conditions for indistinguishability based on underlying graph structure. In this recent work, certain families of skeletal path models were proven to be indistinguishable, however the proofs relied heavily on linear algebra. In this work, we reprove several of these indistinguishability results instead using a graph theoretic framework.
Superhypergraph Neural Networks and Plithogenic Graph Neural Networks: Theoretical Foundations
Published in Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond. Fifth volume: Various SuperHyperConcepts (Collected Papers). pp. 577-653, 2025
• View Publication
• BIB
Hypergraphs extend traditional graphs by allowing edges to connect multiple nodes, while superhypergraphs further generalize this concept to represent even more complex relationships. Neural networks, inspired by biological systems, are widely used for tasks such as pattern recognition, data classification, and prediction. Graph Neural Networks (GNNs), a well-established framework, have recently been extended to Hypergraph Neural Networks (HGNNs), with their properties and applications being actively studied. The Plithogenic Graph framework enhances graph representations by integrating multi-valued attributes, as well as membership and contradiction functions, enabling the detailed modeling of complex relationships. In the context of handling uncertainty, concepts such as Fuzzy Graphs and Neutrosophic Graphs have gained prominence. It is well established that Plithogenic Graphs serve as a generalization of both Fuzzy Graphs and Neutrosophic Graphs. Furthermore, the Fuzzy Graph Neural Network has been proposed and is an active area of research. This paper establishes the theoretical foundation for the development of SuperHyperGraph Neural Networks (SHGNNs) and Plithogenic Graph Neural Networks, expanding the applicability of neural networks to these advanced graph structures. While mathematical generalizations and proofs are presented, future computational experiments are anticipated.
New Applications of Ergodic Theory to Sets of Differences
We apply the methods of ergodic theory to both simplify and significantly extend some classical results due to Stewart, Tijdeman, and Ruzsa. One of the notable features of our approach is the utilization of pointwise ergodic theory.
Big data approach to Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We investigate the structure of Kazhdan-Lusztig polynomials of the symmetric group by leveraging computational approaches from big data, including exploratory and topological data analysis, applied to the polynomials for symmetric groups of up to 11 strands.
Chromatic number of random graphs: an approach using a recurrence relation
Published in Results in Applied Mathematics 26 (2025) 100600
• View Publication
• BIB
The vertex coloring problem to find chromatic numbers is known to be unsolvable in polynomial time. Although various algorithms have been proposed to efficiently compute chromatic numbers, they tend to take an enormous amount of time for large graphs. In this paper, we propose a recurrence relation to rapidly obtain the expected value of the chromatic number of random graphs. Then we compare the results obtained using this recurrence relation with other methods using an exact investigation of all graphs, the Monte Carlo method, the iterated random color matching method, and the method presented in Bollobás' previous studies.
From spherical separation center set to the upper and lower bound theorems
In this paper, we provide the upper bound and the lower bound of the sum of the number of spherical face-partition pair of simple spherical polytope $P$ with $p$ facets.
The fractional Helly number for separable convexity spaces
Published
• View Publication
• BIB
A convex lattice set in $\mathbb{Z}^d$ is the intersection of a convex set in $\mathbb{R}^d$ and the integer lattice $\mathbb{Z}^d$. A well-known theorem of Doignon states that the Helly number of $d$-dimensional convex lattice sets equals $2^d$, while a remarkable theorem of Bárány and Matoušek states that the fractional Helly number is only $d+1$. In this paper we generalize their result to abstract convexity spaces that are equipped with a suitable separation property. We also disprove a conjecture of Bárány and Kalai about an existence of fractional Helly property for a family of solutions of bounded-degree polynomial inequalities.
Minimal Submanifolds and Waists of Locally Symmetric Spaces
We study the higher expansion properties of locally symmetric spaces, with a particular focus on octonionic hyperbolic manifolds. We show that codimension two minimal submanifolds of compact octonionic locally symmetric spaces must have large volume, at least linear in the volume of the ambient space. As a corollary we prove linear waist inequalities for octonionic hyperbolic manifolds in codimension two and construct the first locally symmetric examples of power-law systolic freedom. We also show that any codimension two submanifold of small volume can be homotoped to a lower dimensional set. We use this to prove that branched covers of octonionic hyperbolic manifolds are stable in the sense of Dinur-Meshulam and to establish a uniform lower bound on the non-abelian Cheeger constants of octonionic hyperbolic manifolds.
In a more general setting, we prove that maps from locally symmetric spaces to low dimensional euclidean spaces admit fibers whose fundamental group has large exponent of growth. We show as a consequence that cocompact lattices in $SL_n(\mathbb{R})$ have property $ FA_{\lfloor n/8\rfloor-1}$: any action on a contractible $CAT(0)$ simplicial complex of dimension at most $ \lfloor n/8\rfloor -1$ has a global fixed point.
An end degree for digraphs
Published
• View Publication
• BIB
In this paper we define a degree for ends of infinite digraphs. The well-definedness of our definition in particular resolves a problem by Zuther. Furthermore, we extend our notion of end degree to also respect, among others, the vertices dominating the end, which we denote as combined end degree. Our main result is a characterisation of the combined end degree in terms of certain sequences of vertices, which we call end-exhausting sequences. This establishes a similar, although more complex relationship as known for the combined end degree and end-defining sequences in undirected graphs.
Compression with wildcards: Enumerating specific induced subgraphs, and packing them as well
Various algorithms have been proposed to enumerate all connected induced subgraphs of a graph $G=(V,E)$. As a variation we enumerate all "packings of connected sets", i.e. partitions $Π$ of $V$ with the property that each part of $Π$ induces a connected subgraph. More generally, for various types $T$ of graphs we do (one or both of) the following: (i) enumerate all type $T$ (induced) subgraphs of a given graph $G$, or (ii) enumerate all packings of type $T$ subgraphs of $G$
Ehrhart theory of cosmological polytopes
The cosmological polytope of a graph $G$ was recently introduced to give a geometric approach to the computation of wavefunctions for cosmological models with associated Feynman diagram $G$. Basic results in the theory of positive geometries dictate that this wavefunction may be computed as a sum of rational functions associated to the facets in a triangulation of the cosmological polytope. The normalized volume of the polytope then provides a complexity estimate for these computations. In this paper, we examine the (Ehrhart) $h^\ast$-polynomial of cosmological polytopes. We derive recursive formulas for computing the $h^\ast$-polynomial of disjoint unions and $1$-sums of graphs. The degree of the $h^\ast$-polynomial for any $G$ is computed and a characterization of palindromicity is given. Using these observations, a tight lower bound on the $h^\ast$-polynomial for any $G$ is identified and explicit formulas for the $h^\ast$-polynomials of multitrees and multicycles are derived. The results generalize the existing results on normalized volumes of cosmological polytopes. A tight upper bound and a combinatorial formula for the $h^\ast$-polynomial of any cosmological polytope are conjectured.
Iwasawa theory for weighted graphs
Published
• View Publication
• BIB
Let $p$ be a prime number and let $d$ be a positive integer. In this paper, we generalize Iwasawa theory for graphs initiated by Gonet and Vallières to weighted graphs. In particular, we prove an analogue of Iwasawa's class number formula and that of Kida's formula for compatible systems of $(\mathbb{Z}/p^n\mathbb{Z})^d$-covers of weighted graphs. We also provide numerical examples of characteristic elements and Iwasawa invariants. At the end of this paper, we give an application of the ideas of Iwasawa theory to the theory of discrete-time quantum walks in graphs.
Topological Representations of Free Numerical Semigroups via Iterated Torus Knots
In this paper we will associate a family $\{K_1,\dots,K_l\}\subset \mathbb{S}^3$ of iterated torus knots to a given free numerical semigroup. We will describe the fundamental group of the knot complement of each knot of the family. Finally, we will show that all knots in the family have same Alexander polynomial and it coincides (up to a factor) with the Poincaré series of the free numerical semigroup. As a consequence, we will provide families of iterated torus knots with the same Alexander polynomial of an irreducible plane curve singularity but which are non-isotopic to its associated knot.
Quantifying Core Stability Relaxations in Hedonic Games
We study relationships between different relaxed notions of core stability in hedonic games, which are a class of coalition formation games. Our unified approach applies to a newly introduced family of hedonic games, called $α$-hedonic games, which contains previously studied variants such as fractional and additively separable hedonic games. In particular, we derive an upper bound on the maximum factor with which a blocking coalition of a certain size can improve upon an outcome in which no deviating coalition of size at most $q$ exists. Counterintuitively, we show that larger blocking coalitions might sometimes have lower improvement factors. We discuss the tightness conditions of our bound, as well as its implications on the price of anarchy of core relaxations. Our general result has direct implications for several well-studied classes of hedonic games, allowing us to prove two open conjectures by Fanelli et al. (2021) for fractional hedonic games.