Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A geometrization of Stanley--Reisner theory
Published
• View Publication
• BIB
We give a geometric interpretation of the Stanley--Reisner correspondence, extend it to schemes, and interpret it in terms of the field of one element.
Complexity and equivalency of multiset dimension and ID-colorings
Published in Fundamenta Informaticae, Volume 191, Issues 3-4: Iiro Honkala's 60 Birthday (November 10, 2024) fi:11068
• View Publication
• BIB
This investigation is firstly focused into showing that two metric parameters represent the same object in graph theory. That is, we prove that the multiset resolving sets and the ID-colorings of graphs are the same thing. We also consider some computational and combinatorial problems of the multiset dimension, or equivalently, the ID-number of graphs. We prove that the decision problem concerning finding the multiset dimension of graphs is NP-complete. We consider the multiset dimension of king grids and prove that it is bounded above by 4. We also give a characterization of the strong product graphs with one factor being a complete graph, and whose multiset dimension is not infinite.
Discrete Morse theory and the topology of matching complexes of complete graphs
We denote the matching complex of the complete graph with $n$ vertices by $M_n$. Bouc first studied the topological properties of $M_n$ in connection with the Quillen complex. Later Björner, Lovász, Vrećica, and Živaljević showed that $M_n$ is homotopically $(ν_n-1)$-connected, where $ν_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, but in general the topology of $M_n$ is not very well-understood even for smaller natural numbers.
Forman developed discrete Morse theory, which has various applications in diverse fields of studies. In this article, we develop a discrete Morse theoretic technique to capture deeper structural topological properties of $M_n$. We show that $M_n$ is \emph{geometrically} $(ν_n-1)$-connected, where the notion of geometrical $k$-connectedness as defined in this article, is stronger than that of homotopical $k$-connectedness.
Previously, Björner et al. showed that $M_8$ is simply connected, but not 2-connected. The technique developed here helped us determine that $M_8$ is in fact homotopy equivalent to a wedge of 132 spheres of dimension 2.
Evolutionary quantum feature selection
Effective feature selection is essential for enhancing the performance of artificial intelligence models. It involves identifying feature combinations that optimize a given metric, but this is a challenging task due to the problem's exponential time complexity. In this study, we present an innovative heuristic called Evolutionary Quantum Feature Selection (EQFS) that employs the Quantum Circuit Evolution (QCE) algorithm. Our approach harnesses the unique capabilities of QCE, which utilizes shallow depth circuits to generate sparse probability distributions. Our computational experiments demonstrate that EQFS can identify good feature combinations with quadratic scaling in the number of features. To evaluate EQFS's performance, we counted the number of times a given classical model assesses the cost function for a specific metric, as a function of the number of generations.
Hereditary extriangulated categories: Silting objects, mutation, negative extensions
In this article, we initiate the study of hereditary extriangulated categories. Many important categories arising in representation theory in connection with various theories of mutation are hereditary extriangulated. Special cases include homotopy categories of 2-term complexes with projective components, which are related to silting mutation, and cluster categories (with relevant relative extriangulated structures) where cluster tilting mutation take place.
We prove that there is a theory of irreducible mutation for maximal rigid objects and subcategories in hereditary extriangulated categories of dominant dimension 1. Applied to the examples above, this recovers 2-term silting mutation in triangulated categories and cluster tilting mutation. By constructing suitable extriangulated categories, we also recover tau-tilting mutation for gentle algebras and flips for their non-kissing facets. Combined with results by Adachi-Tsukamoto and Pauksztello-Zvonareva, our mutation also provides mutation for intermediate co-t-structures.
In spirit of our earlier work, we study negative extensions in hereditary extriangulated categories. We give sufficient conditions for the existence of universal balanced negative extensions. We explicitly compute certain, a priori non-universal, versions of negative extensions in hereditary categories constructed from triangulated categories with rigid subcategories. We discuss examples where these two constructions give the same delta-functors and where they disagree.
A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)
Published
• View Publication
• BIB
Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem. Basically, we transform the problem into an easier optimization problem. If the new problem can be solved explicitly, then we will be able to obtain a formula of $g(A)$. We illustrate the idea by giving concise proof of some existing formulas and finding some interesting new formulas of $g(A), n(A), s(A)$. Moreover, we find that MacMahon's partition analysis applies to give a new way of calculating $n(A), s(A)$ by using a rational function representation of a polynomial determined by $A$.
Classification of causally complete spaces on 3 events with binary inputs
We present an exhaustive classification of the 2644 causally complete spaces of input histories on 3 events with binary inputs, together with the algorithm used to find them. This paper forms the supplementary material for a trilogy of works: spaces of input histories, our dynamical generalisation of causal orders, are introduced in "The Combinatorics of Causality"; the sheaf-theoretic treatment of causal distributions is detailed in "The Topology of Causality"; the polytopes formed by the associated empirical models are studied in "The Geometry of Causality".
Unimodality of the $h^*$-vector for unimodular triangulations whose boundary is an induced subcomplex
We prove that the Ehrhart $h^*$-vector is unimodal for unimodular triangulations whose boundary is an induced subcomplex.
Geometric dual and sum-rank minimal codes
Published
• View Publication
• BIB
The main purpose of this paper is to further study the structure, parameters and constructions of the recently introduced minimal codes in the sum-rank metric. These objects form a bridge between the classical minimal codes in the Hamming metric, the subject of intense research over the past three decades partly because of their cryptographic properties, and the more recent rank-metric minimal codes. We prove some bounds on their parameters, existence results, and, via a tool that we name geometric dual, we manage to construct minimal codes with few weights. A generalization of the celebrated Ashikhmin-Barg condition is proved and used to ensure minimality of certain constructions.
On the full Kostant-Toda hierarchy and its $\ell$-banded reductions for the Lie algebras of type $A, B$ and $G$
Published
• View Publication
• BIB
This paper concerns the solutions of the full Kostant-Toda (f-KT) hierarchy in the Hessenberg form and their reductions to the $\ell$-banded Kostant-Toda ($\ell$-KT) hierarchy. We also study the f-KT hierarchy and the corresponding $\ell$-KT hierarchy on simple Lie algebras of type $A, B$ and $G$ based on root space reductions with proper Chevalley systems. Explicit formulas of the polynomial solutions for the $τ$-functions are also given in terms of the Schur functions and Schur's $Q$-functions.
New bounds in the discrete analogue of Minkowski's second theorem
Published in Discrete Analysis, 2024:7, 6 pp
• Search Publication
We adapt an argument of Tao and Vu to show that if $λ_1\le\cdots\leλ_d$ are the successive minima of an origin-symmetric convex body $K$ with respect to some lattice $Λ<\mathbb{R}^d$, and if we set $k=\max\{j:λ_j\le1\}$, then $K$ contains at most $2^k(1+\frac{λ_k}2)^k/λ_1\cdotsλ_k$ lattice points. This provides improved bounds in a conjecture of Betke, Henk and Wills (1993), and verifies that conjecture asymptotically as $λ_k\to0$. We also obtain a similar result without the symmetry assumption.
Computing the hull and interval numbers in the weakly toll convexity
Published
• View Publication
• BIB
A walk $u_0u_1 \ldots u_{k-1}u_k$ of a graph $G$ is a \textit{weakly toll walk} if $u_0u_k \not\in E(G)$, $u_0u_i \in E(G)$ implies $u_i = u_1$, and $u_ju_k\in E(G)$ implies $u_j=u_{k-1}$. The {\em weakly toll interval} of a set $S \subseteq V(G)$, denoted by $I(S)$, is formed by $S$ and the vertices belonging to some weakly toll walk between two vertices of $S$. Set $S$ is {\it weakly toll convex} if $I(S) = S$. The {\em weakly toll convex hull} of $S$, denote by $H(S)$, is the minimum weakly toll convex set containing $S$. The {\em weakly toll interval number} of $G$ is the minimum cardinality of a set $S \subseteq V(G)$ such that $I(S) = V(G)$; and the {\em weakly toll hull number} of $G$ is the minimum cardinality of a set $S \subseteq V(G)$ such that $H(S) = V(G)$. In this work, we show how to compute the weakly toll interval and the weakly toll hull numbers of a graph in polynomial time. In contrast, we show that determining the weakly toll convexity number of a graph $G$ (the size of a maximum weakly toll convex set distinct from $V(G)$) is \NP-hard.
Polynomial-Time Approximation Schemes for Independent Packing Problems on Fractionally Tree-Independence-Number-Fragile Graphs
Published
• View Publication
• BIB
We investigate a relaxation of the notion of treewidth-fragility, namely tree-independence-number-fragility. In particular, we obtain polynomial-time approximation schemes for independent packing problems on fractionally tree-independence-number-fragile graph classes. Our approach unifies and extends several known polynomial-time approximation schemes on seemingly unrelated graph classes, such as classes of intersection graphs of fat objects in a fixed dimension or proper minor-closed classes. We also study the related notion of layered tree-independence number, a relaxation of layered treewidth.
A $q$-Morris constant term identity for the Lie algebra $A_n$ and its symmetric function generalizations
It is well-known that the Selberg integral is equivalent to the Morris constant term identity. In 2009 Warnaar obtained the Selberg integral for the Lie algebra $A_n$. In this paper, from the point view of constant term identities, we obtain a $q$-Morris constant term identity of type $A_n$ and its several symmetric function generalizations. The type $A_n$ $q$-Morris identity looks as if a constant term version of Warnaar's $A_n$ Selberg integral to some extend.
Reconstructing Graphs from Connected Triples
Published
• View Publication
• BIB
We introduce a new model of indeterminacy in graphs: instead of specifying all the edges of the graph, the input contains all triples of vertices that form a connected subgraph. In general, different (labelled) graphs may have the same set of connected triples, making unique reconstruction of the original graph from the triples impossible. We identify some families of graphs (including triangle-free graphs) for which all graphs have a different set of connected triples. We also give algorithms that reconstruct a graph from a set of triples, and for testing if this reconstruction is unique. Finally, we study a possible extension of the model in which the subsets of size $k$ that induce a connected graph are given for larger (fixed) values of $k$.
Classifying quotients on Coxeter groups by isomorphism in Bruhat order
We classify all quotients $W/W_J$ up to isomorphism in Bruhat order, with $(W,S)$ a Coxeter system and $W_J$ a parabolic subgroup of $W$. In particular, the non-trivial isomorphisms fall into a small number of cases which are highly restricted; all have $W$ finite and $W_J$ a maximal parabolic. This has the immediate application of classifying dominant and antidominant blocks of category $\mathcal O$ for Kac-Moody algebras up to equivalence.
Erdős-Ko-Rado Theorem for Bounded Multisets
Published
• View Publication
• BIB
Let $ k, m, n $ be positive integers with $ k \geq 2 $. A $ k $-multiset of $ [n]_m $ is a collection of $ k $ integers from the set $ \{1, 2, \ldots, n\} $ in which the integers can appear more than once but at most $ m $ times. A family of such $ k $-multisets is called an intersecting family if every pair of $ k $-multisets from the family have non-empty intersection. A finite sequence of real numbers $\{a_1,a_2,\ldots,a_n\}$ is said to be unimodal if there is some $k\in \{1,2,\ldots,n\}$, such that $a_1\leq a_2\leq\ldots\leq a_{k-1}\leq a_k\geq a_{k+1}\geq \ldots\geq a_n$. Given $m,n,k$, denote $C_{k,l}$ as the coefficient of $x^k$ in the generating function $(\sum_{i=1}^mx^i)^l$, where $1\leq l\leq n$. In this paper, we first show that the sequence of $\{C_{k,1},C_{k,2},\ldots,C_{k,n}\}$ is unimodal. Then we use this as a tool to prove that the intersecting family in which every $ k $-multiset contains a fixed element attains the maximum cardinality for $ n \geq k + \lceil k/m\rceil $. In the special case when $m = 1$ and $m=\infty$, our result gives rise to the famous Erdős-Ko-Rado Theorem and an unbounded multiset version for this problem given by Meagher and Purdy, respectively. The main result in this paper can be viewed as a bounded multiset version of the Erdős-Ko-Rado Theorem.
An axiomatization of matroids and oriented matroids as conditional independence models
Published
• View Publication
• BIB
Matroids and semigraphoids are discrete structures abstracting and generalizing linear independence among vectors and conditional independence among random variables, respectively. Despite the different nature of conditional independence from linear independence, deep connections between these two areas are found and still undergoing active research. In this paper, we give a characterization of the embedding of matroids into conditional independence structures and its oriented counterpart, which lead to new axiom systems of matroids and oriented matroids.
The set-theoretic Yang-Baxter equation, Kimura semigroups and functional graphs
Published in Research in the Mathematical Sciences, volume 12, article number 34, (2025)
• View Publication
• BIB
We prove that the category of solutions of the set-theoretic Yang-Baxter equation of Frobenius-Separability (FS) type is equivalent to the category of pointed Kimura semigroups. As applications, all involutive, idempotent, nondegenerate, surjective, finite order, unitary or indecomposable solutions of FS type are classified. For instance, if $|X| = n$, then the number of isomorphism classes of all such solutions on $X$ that are (a) left non-degenerate, (b) bijective, (c) unitary or (d) indecomposable and left-nondegenerate is: (a) the Davis number $d(n)$, (b) $\sum_{m|n} \, p(m)$, where $p(m)$ is the Euler partition number, (c) $τ(n) + \sum_{d|n}\left\lfloor \frac d2\right\rfloor$, where $τ(n)$ is the number of divisors of $n$, or (d) the Harary number $\mathfrak{c} (n)$. The automorphism groups of such solutions can also be recovered as automorphism groups $\mathrm{Aut}(f)$ of sets $X$ equipped with a single endo-function $f:X\to X$. We describe all groups of the form $\mathrm{Aut}(f)$ as iterations of direct and (possibly infinite) wreath products of cyclic or full symmetric groups, characterize the abelian ones as products of cyclic groups, and produce examples of symmetry groups of FS solutions not of the form $\mathrm{Aut}(f)$.
On the Number of Distinct Tilings of Finite Subsets of $\mathbb{Z}^{d}$ With Tiles of Fixed Size
In this work, we study the number of finite tiles $A\subset\mathbb{Z}^{d}$ of size $α$ that translationally tile a finite $C\subset\mathbb{Z}^{d}$. We consider two tiles $A$ and $A'$ to be congruent if and only if one can be transformed into the other via some translation. We make several significant contributions to the study of this problem. For any $α\in\mathbb{Z}^{+}$ and $C=[x_{1}]\times[x_{2}]\times\ldots [x_{d}]$ where $x_{1},\ldots,x_{d}\in\mathbb{Z}^{+}$ (which we refer to as a finite contiguous $C$), we give an efficient method for enumerating all elements of $\mathcal{T}(α,C)$, where $(A,B)\in \mathcal{T}(α,C)$ if and only if $A,B\subset\mathbb{Z}^{d}$, the Minkowsji sum of $A$ and $B$ equals $C$, the size of $A$ equals $α$, and $|C|=α|B|$. We then use this to prove a partial order on $|\mathcal{T}(α,C)|$ with respect to $α$ for any finite contiguous $C$.
We then study the extremal question as to the the growth rate of $\text{max}_{α,C}[|\mathcal{T}(α,C)|]$ with respect to $|C|$. For finite contiguous $C$, we improve the trivial lower and upper bounds of $\log n$ and ${n\choose n/2}$ respectively to an upper bound of \[n^{\frac{(1+ε)\log n}{\log\log n}}\] and an infinitely often super-polynomial lower bound such that, for all constants $c$ and some infinite $N\subset\mathbb{Z}^{+}$, \[\forall n\in N, \existsα\in\mathbb{Z}^{+}(|\mathcal{T}(α,C)|>n^{c}),\] where $n=|C|$.
We conjecture that the number of tilings of any finite contiguous $C$ by tiles of size $α$ is an upper bound on the number of tilings of any finite $C'\subset \mathbb{Z}^{d}$ by tiles of size $α$. To begin working towards this, we prove that any $A$ of size $α$ that tiles some finite contiguous $C$ itself has at most as many tilings by tiles of size $α'$ as there are tilings of $[α]$ by tiles of size $α'$.