Showing 20 papers (Total: 84253 papers, 48533 authors in database)
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
Published
• View Publication
• BIB
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.
Categorical view of the Partite Lemma in structural Ramsey Theory
Published
• View Publication
• BIB
We construct of the main object of the Partite Lemma as the colimit over a certain diagram. This gives a purely category theoretic take on the Partite Lemma and establishes the canonicity of the object. Additionally, the categorical point of view allows us to unify the direct Partite Lemma in the Nešetřil--Rödl Theorem with the dual Paritite Lemma by Solecki.
Universality for low degree factors of random polynomials over finite fields
Published
• View Publication
• BIB
We show that the counts of low degree irreducible factors of a random polynomial $f$ over $\mathbb{F}_q$ with independent but non-uniform coefficients behave like that of a uniform random polynomial, exhibiting a form of universality for random polynomials over finite fields. Our strongest results require various assumptions on the parameters, but we are able to obtain results requiring only $q=p$ a prime with $p\leq \exp({n^{1/13}})$ where $n$ is the degree of the polynomial. Our proofs use Fourier analysis, and rely on tools recently applied by Breuillard and Varjú to study the $ax+b$ process, which show equidistribution for $f(α)$ at a single point. We extend this to handle multiple roots and the Hasse derivatives of $f$, which allow us to study the irreducible factors with multiplicity.
The girths of the cubic Pancake graphs
Published in Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2022
• View Publication
• BIB
The Pancake graphs $P_n, n\geqslant 2$, are Cayley graphs over the symmetric group $\mathrm{Sym}_n$ generated by prefix-reversals. There are six generating sets of prefix-reversals of cardinality three which give connected Cayley graphs over the symmetric group known as cubic Pancake graphs. In this paper we study the girth of the cubic Pancake graphs. It is proved that considered cubic Pancake graphs have the girths at most twelve.
Self-Adaptive Binary-Addition-Tree Algorithm-Based Novel Monte Carlo Simulation for Binary-State Network Reliability Approximation
Published
• View Publication
• BIB
The Monte Carlo simulation (MCS) is a statistical methodology used in a large number of applications. It uses repeated random sampling to solve problems with a probability interpretation to obtain high-quality numerical results. The MCS is simple and easy to develop, implement, and apply. However, its computational cost and total runtime can be quite high as it requires many samples to obtain an accurate approximation with low variance. In this paper, a novel MCS, called the self-adaptive BAT-MCS, based on the binary-adaption-tree algorithm (BAT) and our proposed self-adaptive simulation-number algorithm is proposed to simply and effectively reduce the run time and variance of the MCS. The proposed self-adaptive BAT-MCS was applied to a simple benchmark problem to demonstrate its application in network reliability. The statistical characteristics, including the expectation, variance, and simulation number, and the time complexity of the proposed self-adaptive BAT-MCS are discussed. Furthermore, its performance is compared to that of the traditional MCS extensively on a large-scale problem.
On Strict Brambles
Published
• View Publication
• BIB
A strict bramble of a graph $G$ is a collection of pairwise-intersecting connected subgraphs of $G.$ The order of a strict bramble ${\cal B}$ is the minimum size of a set of vertices intersecting all sets of ${\cal B}.$ The strict bramble number of $G,$ denoted by ${\sf sbn}(G),$ is the maximum order of a strict bramble in $G.$ The strict bramble number of $G$ can be seen as a way to extend the notion of acyclicity, departing from the fact that (non-empty) acyclic graphs are exactly the graphs where every strict bramble has order one. We initiate the study of this graph parameter by providing three alternative definitions, each revealing different structural characteristics. The first is a min-max theorem asserting that ${\sf sbn}(G)$ is equal to the minimum $k$ for which $G$ is a minor of the lexicographic product of a tree and a clique on $k$ vertices (also known as the lexicographic tree product number). The second characterization is in terms of a new variant of a tree decomposition called lenient tree decomposition. We prove that ${\sf sbn}(G)$ is equal to the minimum $k$ for which there exists a lenient tree decomposition of $G$ of width at most $k.$ The third characterization is in terms of extremal graphs. For this, we define, for each $k,$ the concept of a $k$-domino-tree and we prove that every edge-maximal graph of strict bramble number at most $k$ is a $k$-domino-tree. We also identify three graphs that constitute the minor-obstruction set of the class of graphs with strict bramble number at most two. We complete our results by proving that, given some $G$ and $k,$ deciding whether ${\sf sbn}(G) \leq k$ is an ${\sf NP}$-complete problem.
Generalized weights of codes over rings and invariants of monomial ideals
Published
• View Publication
• BIB
We develop an algebraic theory of supports for $R$-linear codes of fixed length, where $R$ is a finite commutative unitary ring. A support naturally induces a notion of generalized weights and allows one to associate a monomial ideal to a code. Our main result states that, under suitable assumptions, the generalized weights of a code can be obtained from the graded Betti numbers of its associated monomial ideal. In the case of $\mathbb{F}_q$-linear codes endowed with the Hamming metric, the ideal coincides with the Stanley-Reisner ideal of the matroid associated to the code via its parity-check matrix. In this special setting, we recover the known result that the generalized weights of an $\mathbb{F}_q$-linear code can be obtained from the graded Betti numbers of the ideal of the matroid associated to the code. We also study subcodes and codewords of minimal support in a code, proving that a large class of $R$-linear codes is generated by its codewords of minimal support.
Orientation-preserving and orientation-reversing mappings: a new description
Published
• View Publication
• BIB
We characterise the respective semigroups of mappings that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all mappings that preserve intersections of chords on the corresponding circle.
Zeon and Idem-Clifford Formulations of Hypergraph Problems
Published in Adv. Appl. Clifford Algebras 32, 61 (2022)
• View Publication
• BIB
Zeon algebras have proven to be useful for enumerating structures in graphs, such as paths, trails, cycles, matchings, cliques, and independent sets. In contrast to an ordinary graph, in which each edge connects exactly two vertices, an edge (or, "hyperedge") can join any number of vertices in a hypergraph. In game theory, hypergraphs are called simple games. Hypergraphs have been used for problems in biology, chemistry, image processing, wireless networks, and more. In the current work, zeon ("nil-Clifford") and "idem-Clifford" graph-theoretic methods are generalized to hypergraphs. In particular, zeon and idem-Clifford methods are used to enumerate paths, trails, independent sets, cliques, and matchings in hypergraphs. An approach for finding minimum hypergraph transversals is developed, and zeon formulations of some open hypergraph problems are presented.
Generic 1-connectivity of flag domains in Hermitian symmetric spaces
Published in Journal of Lie Theory 32 (2022), No. 2, 553--561
• View Publication
• BIB
A flag domain is an open real group orbit in a complex flag manifold. It has been shown that a flag domain is either pseudoconvex or pseudoconcave. Moreover, generically 1-connected flag domains are pseudoconcave. In this study, for flag domains contained in irreducible Hermitian symmetric spaces of type AIII or CI, we determine which pseudoconcave flag domain is generically 1-connected.