Showing 20 papers (Total: 82374 papers, 47635 authors in database)
The Newton polytope and Lorentzian property of chromatic symmetric functions
Published in Sel. Math. New Ser. 30, 42 (2024)
• View Publication
• BIB
Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize the chromatic polynomial and are related to Hessenberg varieties and diagonal harmonics. Motivated by the Stanley--Stembridge conjecture, we show that the allowable coloring weights for indifference graphs of Dyck paths are the lattice points of a permutahedron $\mathcal{P}_λ$, and we give a formula for the dominant weight $λ$. Furthermore, we conjecture that such chromatic symmetric functions are Lorentzian, a property introduced by Brändén and Huh as a bridge between discrete convex analysis and concavity properties in combinatorics, and we prove this conjecture for abelian Dyck paths. We extend our results on the Newton polytope to incomparability graphs of (3+1)-free posets, and we give a number of conjectures and results stemming from our work, including results on the complexity of computing the coefficients and relations with the $ζ$ map from diagonal harmonics.
Cassini, d'Ocagne, and Vajda identities for n-step Fibonacci numbers
Results of this paper concern $n$-determinants which we defined in the paper \cite{jan}. In the paper \cite{jabo}, $2$-determinants are considered. In this paper, we extend results from \cite{jabo} on $n$-determinants by proving that Cassini, d'Ocagne, Catalan and Vajda identities may be extended to hold for $n$-step Fibonacci numbers.
Detecting danger in gridworlds using Gromov's Link Condition
Gridworlds have been long-utilised in AI research, particularly in reinforcement learning, as they provide simple yet scalable models for many real-world applications such as robot navigation, emergent behaviour, and operations research. We initiate a study of gridworlds using the mathematical framework of reconfigurable systems and state complexes due to Abrams, Ghrist & Peterson. State complexes represent all possible configurations of a system as a single geometric space, thus making them conducive to study using geometric, topological, or combinatorial methods. The main contribution of this work is a modification to the original Abrams, Ghrist & Peterson setup which we introduce to capture agent braiding and thereby more naturally represent the topology of gridworlds. With this modification, the state complexes may exhibit geometric defects (failure of Gromov's Link Condition). Serendipitously, we discover these failures occur exactly where undesirable or dangerous states appear in the gridworld. Our results therefore provide a novel method for seeking guaranteed safety limitations in discrete task environments with single or multiple agents, and offer useful safety information (in geometric and topological forms) for incorporation in or analysis of machine learning systems. More broadly, our work introduces tools from geometric group theory and combinatorics to the AI community and demonstrates a proof-of-concept for this geometric viewpoint of the task domain through the example of simple gridworld environments.
Skip Letters for Short Supersequence of All Permutations
Published
• View Publication
• BIB
A supersequence over a finite set is a sequence that contains as subsequence all permutations of the set. This paper defines an infinite array of methods to create supersequences of decreasing lengths. This yields the shortest known supersequences over larger sets. It also provides the best results asymptotically. It is based on a general proof using a new property called strong completeness. The same technique also can be used to prove existing supersequences which combines the old and new ones into an unified conceptual framework.
$r$-cross $t$-intersecting families for vector spaces
Published
• View Publication
• BIB
Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. The families $\mathcal{F}_1\subseteq{V\brack k_1},\mathcal{F}_2\subseteq{V\brack k_2},\ldots,\mathcal{F}_r\subseteq{V\brack k_r}$ are said to be $r$-cross $t$-intersecting if $\dim(F_1\cap F_2\cap\cdots\cap F_r)\geq t$ for all $F_i\in\mathcal{F}_i,\ 1\leq i\leq r.$ The $r$-cross $t$-intersecting families $\mathcal{F}_1$, $\mathcal{F}_2,\ldots,\mathcal{F}_r$ are said to be non-trivial if $\dim(\cap_{1\leq i\leq r}\cap_{F\in\mathcal{F}_i}F)<t$. In this paper, we first determine the structure of $r$-cross $t$-intersecting families with maximum product of their sizes. As a consequence, we partially prove one of Frankl and Tokushige's conjectures about $r$-cross $1$-intersecting families for vector spaces. Then we describe the structure of non-trivial $r$-cross $t$-intersecting families $\mathcal{F}_1$, $\mathcal{F}_2,\ldots,\mathcal{F}_r$ with maximum product of their sizes under the assumptions $r=2$ and $\mathcal{F}_1=\mathcal{F}_2=\cdots=\mathcal{F}_r=\mathcal{F}$, respectively, where the $\mathcal{F}$ in the latter assumption is well known as $r$-wise $t$-intersecting family. Meanwhile, stability results for non-trivial $r$-wise $t$-intersecting families are also been proved.
Discrete curvature on graphs from the effective resistance
Published in J. Phys. Complex. 3 (2022) 025008
• View Publication
• BIB
This article introduces a new approach to discrete curvature based on the concept of effective resistances. We propose a curvature on the nodes and links of a graph and present the evidence for their interpretation as a curvature. Notably, we find a relation to a number of well-established discrete curvatures (Ollivier, Forman, combinatorial curvature) and show evidence for convergence to continuous curvature in the case of Euclidean random graphs. Being both efficient to calculate and highly amenable to theoretical analysis, these resistance curvatures have the potential to shed new light on the theory of discrete curvature and its many applications in mathematics, network science, data science and physics.
The corner element of generalized numerical semigroups
Published
• View Publication
• BIB
In this paper we introduce the concept of corner element of a generalized numerical semigroup, which extends in a sense the idea of conductor of a numerical semigroup to generalized numerical semigroups in higher dimensions. We present properties of this new notion and its relations with existing invariants in the literature, and provide an algorithm to compute all the generalized numerical semigroups with fixed corner. Besides that, we provide lower and upper bounds on the number of generalized numerical semigroups having a fixed corner element.
Infinite Hex is a draw
We introduce the game of infinite Hex, extending the familiar finite game to natural play on the infinite hexagonal lattice. Whereas the finite game is a win for the first player, we prove in contrast that infinite Hex is a draw -- both players have drawing strategies. Meanwhile, the transfinite game-value phenomenon, now abundantly exhibited in infinite chess and infinite draughts, regrettably does not arise in infinite Hex; only finite game values occur. Indeed, every game-valued position in infinite Hex is intrinsically local, meaning that winning play depends only on a fixed finite region of the board. This latter fact is proved under very general hypotheses, establishing the conclusion for all simple stone-placing games.
Shi arrangements and low elements in affine Coxeter groups
Published in Canadian Journal Mathematics p.1-31 (2024)
• View Publication
• BIB
Given an affine Coxeter group $W$, the corresponding Shi arrangement is a refinement of the corresponding Coxeter hyperplane arrangements that was introduced by Shi to study Kazhdan-Lusztig cells for $W$. In particular, Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in $W$. Low elements in $W$ were introduced to study the word problem of the corresponding Artin-Tits (braid) group and turns out to produce automata to study the combinatorics of reduced words in $W$.
In this article, we show in the case of an affine Coxeter group that the set of minimal length elements of the regions in the Shi arrangement is precisely the set of low elements, settling a conjecture of Dyer and the second author in this case. As a byproduct of our proof, we show that the descent-walls -- the walls that separate a region from the fundamental alcove -- of any region in the Shi arrangement are precisely the descent walls of the alcove of its corresponding low element.
Minimal equations for matrix Schubert varieties
Published
• View Publication
• BIB
Explicit minimal generators for Fulton's Schubert determinantal ideals are determined along with some implications.
Efficient Algorithms for Approximating Quantum Partition Functions at Low Temperature
Published in Quantum 7, 1155 (2023)
• View Publication
• BIB
We establish an efficient approximation algorithm for the partition functions of a class of quantum spin systems at low temperature, which can be viewed as stable quantum perturbations of classical spin systems. Our algorithm is based on combining the contour representation of quantum spin systems of this type due to Borgs, Kotecký, and Ueltschi with the algorithmic framework developed by Helmuth, Perkins, and Regts, and Borgs et al.
A characterization of simultaneous optimization, majorization, and (bi)submodular polyhedra
Motivated by resource allocation problems (RAPs) in power management applications, we investigate solutions to optimization problems that simultaneously minimize an entire class of objective functions. It is straightforward to show empirically that such solutions do not exist for most optimization problems. However, little is known on why this is the case and whether a characterization exists of problems that do have such solutions. In this article, we answer these questions by linking the existence of solutions that simultaneously optimize the class of Schur-convex functions, called least majorized elements, to (bi)submodular functions and the corresponding polyhedra. For this, we introduce a generalization of majorization and least majorized elements, called $(a,b)$-majorization and least $(a,b)$-majorized elements, and characterize the feasible sets of problems that have such elements in terms of these polyhedra. Hereby, we also obtain new characterizations of base and bisubmodular polyhedra that extend classical characterizations of these sets in terms of optimal greedy algorithms for linear optimization from the 1970s. We discuss the implications of our results for RAPs in power management applications and use the results to derive a new characterization of convex cooperative games and new properties of optimal estimators of specific regularized regression problems. In general, our results highlight the combinatorial nature of simultaneously optimizing solutions and, at the same time, provide a theoretical explanation for the observation that such solutions generally do not exist.
Distributions of Hook lengths in integer partitions
Published
• View Publication
• BIB
Motivated by the many roles that hook lengths play in mathematics, we study the distribution of the number of $t$-hooks in the partitions of $n$. We prove that the limiting distribution is normal with mean $μ_t(n)\sim \frac{\sqrt{6n}}π-\frac{t}{2}$ and variance $σ_t^2(n)\sim \frac{(π^2-6)\sqrt{6n}}{2π^3}.$ Furthermore, we prove that the distribution of the number of hook lengths that are multiples of a fixed $t\geq 4$ in partitions of $n$ converge to a shifted Gamma distribution with parameter $k=(t-1)/2$ and scale $θ=\sqrt{2/(t-1)}.$
On digital sequences associated with Pascal's triangle
Published
• View Publication
• BIB
We consider the sequence of integers whose $n$th term has base-$p$ expansion given by the $n$th row of Pascal's triangle modulo $p$ (where $p$ is a prime number). We first present and generalize well-known relations concerning this sequence. Then, with the great help of Sloane's On-Line Encyclopedia of Integer Sequences, we show that it appears naturally as a subsequence of a $2$-regular sequence. Its study provides interesting relations and surprisingly involves odious and evil numbers, Nim-sum and even Gray codes. Furthermore, we examine similar sequences emerging from prime numbers involving alternating sum-of-digits modulo~$p$. This note ends with a discussion about Pascal's pyramid involving trinomial coefficients.
Generalization of the Extended Minimal Excludant of Andrews and Newman
Published in Journal of Integer Sequences, Vol. 26 (2023), Article 23.3.7
• Search Publication
In a recent pioneering work, Andrews and Newman defined an extended function $p_{A,a}(n)$ of their minimal excludant or "mex" of a partition function. By considering the special cases $p_{k,k}(n)$ and $p_{2k,k}(n)$, they unearthed connections to the rank and crank of partitions and some restricted partitions. In this paper, we build on their work and obtain more general results associating the extended mex function with the number of partitions of an integer with arbitrary bound on the rank and crank. We also derive a new result expressing the smallest parts function of Andrews as a finite sum of the extended mex function in consideration with a curious coefficient. We also obtain a few restricted partition identities with some reminiscent of shifted partition identities. Finally, we define and explore a new minimal excludant for overpartitions.
Lower bounds on the performance of online algorithms for relaxed packing problems
Published
• View Publication
• BIB
We prove new lower bounds for suitable competitive ratio measures of two relaxed online packing problems: online removable multiple knapsack, and a recently introduced online minimum peak appointment scheduling problem. The high level objective in both problems is to pack arriving items of sizes at most 1 into bins of capacity 1 as efficiently as possible, but the exact formalizations differ. In the appointment scheduling problem, every item has to be assigned to a position, which can be seen as a time interval during a workday of length 1. That is, items are not assigned to bins, but only once all the items are processed, the optimal number of bins subject to chosen positions is determined, and this is the cost of the online algorithm. On the other hand, in the removable knapsack problem there is a fixed number of bins, and the goal of packing items, which consists in choosing a particular bin for every packed item (and nothing else), is to pack as valuable a subset as possible. In this last problem it is possible to reject items, that is, deliberately not pack them, as well as to remove packed items at any later point in time, which adds flexibility to the problem.
On generalized list $\G$-free colorings of graphs
For given graph $H$ and graphical property $P$, the conditional chromatic number $χ(H,P)$ of $H$, is the smallest number $k$, so that $V(H)$ can be decomposed into sets $V_1,V_2,\ldots, V_k$, in which $H[V_i]$ satisfies the property $P$, for each $1\leq i\leq k$. When property $P$ be that each color class contains no copy of $G$, we write $χ_{G}(H)$ instead of $χ(G,P)$, which is called the $G$-free chromatic number. Due to this, we say $H$ has a $k$-$G$-free coloring if there is a map $c : V(H) \longrightarrow \{1,\ldots,k\}$, so that each of the color classes of $c$ be $G$-free. Assume that for each vertex $v$ of a graph $H$ is assigned a set $L(V)$ of colors, called a color list. Set $g(L) = \{g(v): v\in V(H)\}$, that is the set of colors chosen for the vertices of $H$ under $g$. An $L$-coloring $g$ is called $G$-free, so that:
\begin{itemize} \item $g(v)\in L(v)$, for any $v\in V(H)$. \item $ H[V_i]$ is $G$-free for each $i=1,2,\ldots, L$. \end{itemize} If there exists an $L$-coloring of $H$, then $H$ is called $L$-$G$-free-colorable. A graph $H$ is said to be $k$-$G$-free-choosable if there exists an $L$-coloring for any list-assignment $L$ satisfying $|L(V)|\geq k$ for each $v\in V(H)$, and $H[V_i]$ be $G$-free for each $i=1,2,\ldots, L$. Let graph $H$ and a collection of graphs $\G$ are given, the $χ_{\G}^L(H)$ of $H$ is the last integer $k$, so that $H$ is $k$-$\G$-free-choosable i.e. $H[V_i]$ is $\G$-free for each $i=1,2,\ldots, k$ i.e. contains no copy of any member of $\G$. In this article, we show that $χ_G^L(H)=χ_G(H)$ for some graph $H$ and $G$, $χ_G^L(H\oplus H')\leq χ_G^L(H)+χ_G^L(H')$ for each $G$, $H$, and $H'$. Also, we show that $χ_{\G}(H\oplus K_n)=χ^L_{\G}(H\oplus K_n)$, where $\G$ is a collection of all $d$-regular graphs, and some $n$.
Stability of Erdős-Ko-Rado Theorems in Circle Geometries
Published
• View Publication
• BIB
Circle geometries are incidence structures that capture the geometry of circles on spheres, cones and hyperboloids in 3-dimensional space. In a previous paper, the author characterised the largest intersecting families in finite ovoidal circle geometries, except for Möbius planes of odd order. In this paper we show that also in these Möbius planes, if the order is greater than 3, the largest intersecting families are the sets of circles through a fixed point. We show the same result in the only known family of finite non-ovoidal circle geometries. Using the same techniques, we show a stability result on large intersecting families in all ovoidal circle geometries. More specifically, we prove that an intersecting family $\mathcal F$ in one of the known finite circle geometries of order $q$, with $|\mathcal F| \geq \frac 1 {\sqrt2} q^2 + 2 \sqrt 2 q + 8$, must consist of circles through a common point, or through a common nucleus in case of a Laguerre plane of even order.
Discovering a new universal partizan ruleset
In Combinatorial Game Theory, we study the set of games G, whose elements are mapped from positions of rulesets. In many case, given a ruleset, not all elements of G can be given as a position in the ruleset. It is an intriguing question what kind of ruleset would allow all of them to appear. In this paper, we introduce a ruleset named turning tiles and prove the ruleset is a universal partizan ruleset, that is, every element in G can occur as a position in the ruleset. This is the second universal partizan ruleset after generalized konane.
Independent sets in random subgraphs of the hypercube
Let $Q_{d,p}$ be the random subgraph of the $d$-dimensional hypercube $\{0,1\}^d$, where each edge is retained independently with probability $p$. We study the asymptotic number of independent sets in $Q_{d,p}$ as $d \to \infty$ for a wide range of parameters $p$, including values of $p$ tending to zero as fast as $\frac{C\log d}{d^{1/3}}$, constant values of $p$, and values of $p$ tending to one. The results extend to the hardcore model on $Q_{d,p}$, and are obtained by studying the closely related antiferromagnetic Ising model on the hypercube, which can be viewed as a positive-temperature hardcore model on the hypercube. These results generalize previous results by Galvin, Jenssen and Perkins on the hard-core model on the hypercube, corresponding to the case $p=1$, which extended Korshunov and Sapozhenko's classical result on the asymptotic number of independent sets in the hypercube.