Showing 20 papers (Total: 82661 papers, 47773 authors in database)
The Extremals of the Alexandrov-Fenchel Inequality for Convex Polytopes
Published
• View Publication
• BIB
The Alexandrov-Fenchel inequality, a far-reaching generalization of the classical isoperimetric inequality to arbitrary mixed volumes, lies at the heart of convex geometry. The characterization of its extremal bodies is a long-standing open problem that dates back to Alexandrov's original 1937 paper. The known extremals already form a very rich family, and even the fundamental conjectures on their general structure, due to Schneider, are incomplete. In this paper, we completely settle the extremals of the Alexandrov-Fenchel inequality for convex polytopes. In particular, we show that the extremals arise from the combination of three distinct mechanisms: translation, support, and dimensionality. The characterization of these mechanisms requires the development of a diverse range of techniques that shed new light on the geometry of mixed volumes of nonsmooth convex bodies. Our main result extends further beyond polytopes in a number of ways, including to the setting of quermassintegrals of arbitrary convex bodies. As an application of our main result, we settle a question of Stanley on the extremal behavior of certain log-concave sequences that arise in the combinatorics of partially ordered sets.
Jacobi Ensemble, Hurwitz Numbers and Wilson Polynomials
Published in Letters in Mathematical Physics (2021)
• View Publication
• BIB
We express the topological expansion of the Jacobi Unitary Ensemble in terms of triple monotone Hurwitz numbers. This completes the combinatorial interpretation of the topological expansion of the classical unitary invariant matrix ensembles. We also provide effective formulae for generating functions of multipoint correlators of the Jacobi Unitary Ensemble in terms of Wilson polynomials, generalizing the known relations between one point correlators and Wilson polynomials.
A new BAT for Acyclic Multistate Information Network Reliability Evaluation
The acyclic multistate information network (AMIN), which is a kind of MIN that does not require the conservation law of flow, plays an important role nowadays because many modern network structures present AMIN as the construction such as social networks, local area networks (LANs), 4G/5G networks, etc. To effectively evaluate the network reliability of AMIN, which indicates the reliable operation of the network, showing a major and primary metrics for determining the performance and quality of the overall network. The network reliability, which has been shown a NP-hard, has been successfully resolved and approached by the universal generation function method (UGFM). However, the UGFM can only solve small-scale problems due to the overflow in computer memory. To overcome the memory obstacle, an improved and enhanced binary-addition vectors tree algorithm (BAT) is proposed to effectively evaluate and analyze the reliability of AMIN. The performance of the proposed BAT is validated on examples.
Quantum Combinatorial Games: Structures and Computational Complexity
Recently, a standardized framework was proposed for introducing quantum-inspired moves in mathematical games with perfect information and no chance. The beauty of quantum games-succinct in representation, rich in structures, explosive in complexity, dazzling for visualization, and sophisticated for strategic reasoning-has drawn us to play concrete games full of subtleties and to characterize abstract properties pertinent to complexity consequence. Going beyond individual games, we explore the tractability of quantum combinatorial games as whole, and address fundamental questions including:
Quantum Leap in Complexity: Are there polynomial-time solvable games whose quantum extensions are intractable?
Quantum Collapses in Complexity: Are there PSPACE-complete games whose quantum extensions fall to the lower levels of the polynomial-time hierarchy?
Quantumness Matters: How do outcome classes and strategies change under quantum moves? Under what conditions doesn't quantumness matter?
PSPACE Barrier for Quantum Leap: Can quantum moves launch PSPACE games into outer polynomial space
We show that quantum moves not only enrich the game structure, but also impact their computational complexity. In settling some of these basic questions, we characterize both the powers and limitations of quantum moves as well as the superposition of game configurations that they create. Our constructive proofs-both on the leap of complexity in concrete Quantum Nim and Quantum Undirected Geography and on the continuous collapses, in the quantum setting, of complexity in abstract PSPACE-complete games to each level of the polynomial-time hierarchy-illustrate the striking computational landscape over quantum games and highlight surprising turns with unexpected quantum impact. Our studies also enable us to identify several elegant open questions fundamental to quantum combinatorial game theory (QCGT).
Combinatorial Bernoulli Factories
Published in Bernoulli, 29(2), pp.1246-1274 (2023)
• View Publication
• BIB
A Bernoulli factory is an algorithmic procedure for exact sampling of certain random variables having only Bernoulli access to their parameters. Bernoulli access to a parameter $p \in [0,1]$ means the algorithm does not know $p$, but has sample access to independent draws of a Bernoulli random variable with mean equal to $p$. In this paper, we study the problem of Bernoulli factories for polytopes: given Bernoulli access to a vector $x\in P$ for a given polytope $P\subset [0,1]^n$, output a randomized vertex such that the expected value of the $i$-th coordinate is \emph{exactly} equal to $x_i$. For example, for the special case of the perfect matching polytope, one is given Bernoulli access to the entries of a doubly stochastic matrix $[x_{ij}]$ and asked to sample a matching such that the probability of each edge $(i,j)$ be present in the matching is exactly equal to $x_{ij}$. We show that a polytope $P$ admits a Bernoulli factory if and and only if $P$ is the intersection of $[0,1]^n$ with an affine subspace. Our construction is based on an algebraic formulation of the problem, involving identifying a family of Bernstein polynomials (one per vertex) that satisfy a certain algebraic identity on $P$. The main technical tool behind our construction is a connection between these polynomials and the geometry of zonotope tilings. We apply these results to construct an explicit factory for the perfect matching polytope. The resulting factory is deeply connected to the combinatorial enumeration of arborescences and may be of independent interest. For the $k$-uniform matroid polytope, we recover a sampling procedure known in statistics as Sampford sampling.
Logarithmic Generalization of the Lambert W function and its Applications to Adiabatic Thermostatics of the Three-Parameter Entropy
Published
• View Publication
• BIB
A generalization of the Lambert W function called the logarithmic Lambert function is found to be a solution to the thermostatics of the three-parameter entropy of classical ideal gas in adiabatic ensembles. The derivative, integral, Taylor series, approximation formula and branches of the function are obtained. The thermostatics are computed and the heat functions are expressed in terms of the logarithmic Lambert function.
An application of the Goulden-Jackson cluster theorem
Published in Algebraic Combinatorics 5 (2022), no. 6, 1279-1286
• View Publication
• BIB
Let A be an alphabet and let F be a set of words with letters in A. We show that the sum of all words with letters in A with no consecutive subwords in F, as a formal power series in noncommuting variables, is the reciprocal of a series with all coefficients 0, 1 or -1. We also explain how this result is related to a result of Curtis Greene on lattices with Möbius function 0, 1, or -1.
Filtering cohomology of ordinary and Lagrangian Grassmannians
Published in Involve 15 (2022) 271-288
• View Publication
• BIB
This paper studies, for a positive integer $m$, the subalgebra of the cohomology ring of the complex Grassmannians generated by the elements of degree at most $m$. We build in two ways upon a conjecture for the Hilbert series of this subalgebra due to Reiner and Tudose. The first reinterprets it in terms of the operation of $k$-conjugation, suggesting two conjectural bases for the subalgebras that would imply their conjecture. The second introduces an analogous conjecture for the cohomology of Lagrangian Grassmannians.
Rank connectivity and pivot-minors of graphs
Published in European J. Combin., 108:103634, February 2023
• View Publication
• BIB
The cut-rank of a set $X$ in a graph $G$ is the rank of the $X\times (V(G)-X)$ submatrix of the adjacency matrix over the binary field. A split is a partition of the vertex set into two sets $(X,Y)$ such that the cut-rank of $X$ is less than $2$ and both $X$ and $Y$ have at least two vertices. A graph is prime (with respect to the split decomposition) if it is connected and has no splits. A graph $G$ is $k^{+\ell}$-rank-connected if for every set $X$ of vertices with the cut-rank less than $k$, $\lvert X\rvert$ or $\lvert V(G)-X\rvert $ is less than $k+\ell$. We prove that every prime $3^{+2}$-rank-connected graph $G$ with at least $10$ vertices has a prime $3^{+3}$-rank-connected pivot-minor $H$ such that $\lvert V(H)\rvert =\lvert V(G)\rvert -1$. As a corollary, we show that every excluded pivot-minor for the class of graphs of rank-width at most $k$ has at most $(3.5 \cdot 6^{k}-1)/5$ vertices for $k\ge 2$. We also show that the excluded pivot-minors for the class of graphs of rank-width at most $2$ have at most $16$ vertices.
The complexity of the Perfect Matching-Cut problem
Published
• View Publication
• BIB
Perfect Matching-Cut is the problem of deciding whether a graph has a perfect matching that contains an edge-cut. We show that this problem is NP-complete for planar graphs with maximum degree four, for planar graphs with girth five, for bipartite five-regular graphs, for graphs of diameter three and for bipartite graphs of diameter four. We show that there exist polynomial time algorithms for the following classes of graphs: claw-free, $P_5$-free, diameter two, bipartite with diameter three and graphs with bounded tree-width.
Linear fractional group as Galois group
Published
• View Publication
• BIB
We compute all signatures of $PSL_2(\mathbb{F}_7)$, and $PSL_2(\mathbb{F}_{11})$ which classify all orientation preserving actions of the groups $PSL_2(\mathbb{F}_7)$, and $PSL_2(\mathbb{F}_{11})$ on compact, connected, orientable surfaces with orbifold genus $\geq 0$. This classification is well-grounded in the other branches of Mathematics like topology, smooth, and conformal geometry, algebraic categories, and it is also directly related to the inverse Galois problem.
Eulerian ideals
Published
• View Publication
• BIB
Let $G$ be a simple graph and $I(X_G)=\varphi^{-1}(x_i^2-x_j^2 : i,j\in V_G)$, where $\varphi \colon K[E_G]\to K[V_G]$ is the homomorphism that sends an edge to the product of its vertices. The ideal $I(X_G)$ is Cohen--Macaulay, one-dimensional and binomial. If $G$ is bipartite, it is known that the Castelnuovo--Mumford regularity of $I(X_G)$ is equal to the maximum cardinality of a set of edges having no more than half of the edges of any Eulerian subgraph of $G$. Here, with respect to the grevlex order associated to an ordering of the edge set of $G$, we describe a Gröbner basis for $I(X_G)$, and we characterize the standard monomials of the ideal $(I(X_G),t_e)$ in terms of even sets of vertices marked with a parity. Using these results, we give a combinatorial interpretation of the degree of $I(X_G)$, via the set of even sets of vertices of $G$; and we show that the Castelnuovo--Mumford regularity of $I(X_G)$, for any graph, is the maximum cardinality of a set of edges having no more than half of the edges of any \emph{even} Eulerian subgraph of $G$ or, equivalently, the maximum cardinality of a minimum fixed parity $T$-join.
Enumerative Methods in Quantum Electrodynamics
We show that observables in QED-type theories can be realized in terms of a combinatorial structure called chord diagrams. One advantage of this combinatorial representation is that it simplifies the study of the asymptotic behavior of corresponding Green functions. Particularly, using the new representation, there is no need to use the standard approach of singularity analysis. This relation also reveals the unexplained correlation between the number of Feynman diagrams in Yukawa theory and the diagrams in quenched QED.
On the maximum order complexity of Thue-Morse and Rudin-Shapiro sequences along polynomial values
Published
• View Publication
• BIB
Both the Thue-Morse and Rudin-Shapiro sequences are not suitable sequences for cryptography since their expansion complexity is small and their correlation measure of order 2 is large. These facts imply that these sequences are highly predictable despite the fact that they have a large maximum order complexity. Sun and Winterhof (2019) showed that the Thue-Morse sequence along squares keeps a large maximum order complexity. Since, by Christol's theorem, the expansion complexity of this rarefied sequence is no longer bounded, this provides a potentially better candidate for cryptographic applications. Similar results are known for the Rudin-Shapiro sequence and more general pattern sequences. In this paper we generalize these results to any polynomial subsequence (instead of squares) and thereby answer an open problem of Sun and Winterhof. We conclude this paper by some open problems.
Semi-invariants of Binary Forms and Sylvester's Theorem
Published
• View Publication
• BIB
We obtain a combinatorial formula related to the shear transformation for semi-invariants of binary forms, which implies the classical characterization of semi-invariants in terms of a differential operator. Then, we present a combinatorial proof of an identity of Hilbert, which leads to a relation of Cayley on semi-invariants. This identity plays a crucial role in the original proof of Sylvester's theorem on semi-invariants in connection with the Gaussian coefficients. Moreover, we show that the additivity lemma of Pak and Panova which yields the strict unimodality of the Gaussian coefficients for $n,k \geq 8$ can be deduced from the ring property of semi-invariants.
Order-forcing in Neural Codes
Published
• View Publication
• BIB
Convex neural codes are subsets of the Boolean lattice that record the intersection patterns of convex sets in Euclidean space. Much work in recent years has focused on finding combinatorial criteria on codes that can be used to classify whether or not a code is convex. In this paper we introduce order-forcing, a combinatorial tool which recognizes when certain regions in a realization of a code must appear along a line segment between other regions. We use order-forcing to construct novel examples of non-convex codes, and to expand existing families of examples. We also construct a family of codes which shows that a dimension bound of Cruz, Giusti, Itskov, and Kronholm (referred to as monotonicity of open convexity) is tight in all dimensions.
An Efficient Scheme for the Generation of Ordered Trees in Constant Amortized Time
Published
• View Publication
• BIB
Trees are useful entities allowing to model data structures and hierarchical relationships in networked decision systems ubiquitously. An ordered tree is a rooted tree where the order of the subtrees (children) of a node is significant. In combinatorial optimization, generating ordered trees is relevant to evaluate candidate combinatorial objects. In this paper, we present an algebraic scheme to generate ordered trees with $n$ vertices with utmost efficiency; whereby our approach uses $\mathcal{O}(n)$ space and $\mathcal{O}(1)$ time in average per tree. Our computational studies have shown the feasibility and efficiency to generate ordered trees in constant time in average, in about one tenth of a millisecond per ordered tree. Due to the 1-1 bijective nature to other combinatorial classes, our approach is favorable to study the generation of binary trees with $n$ external nodes, trees with $n$ nodes, legal sequences of $n$ pairs of parentheses, triangulated $n$-gons, gambler's sequences and lattice paths. We believe our scheme may find its use in devising algorithms for planning and combinatorial optimization involving Catalan numbers.
Positivity and divisibility of alternating descent polynomials
Published
• View Publication
• BIB
The alternating descent statistic on permutations was introduced by Chebikin as a variant of the descent statistic. We show that the alternating descent polynomials on permutations are unimodal via a five-term recurrence relation. We also found a quadratic recursion for the alternating major index $q$-analog of the alternating descent polynomials. As an interesting application of this quadratic recursion, we show that $(1+q)^{\lfloor n/2\rfloor}$ divides $\sum_{π\in\mathfrak{S}_n}q^{\rm{altmaj}(π)}$, where $\mathfrak{S}_n$ is the set of all permutations of $\{1,2,\ldots,n\}$ and $\rm{altmaj}(π)$ is the alternating major index of $π$. This leads us to discover a $q$-analog of $n!=2^{\ell}m$, $m$ odd, using the statistic of alternating major index. Moreover, we study the $γ$-vectors of the alternating descent polynomials by using these two recursions and the ${\textbf{cd}}$-index. Further intriguing conjectures are formulated, which indicate that the alternating descent statistic deserves more work.
Exact Phase Transitions of Model RB with Slower-Growing Domains
The second moment method has always been an effective tool to lower bound the satisfiability threshold of many random constraint satisfaction problems. However, the calculation is usually hard to carry out and as a result, only some loose results can be obtained. In this paper, based on a delicate analysis which fully exploit the power of the second moment method, we prove that random RB instances can exhibit exact phase transition under more relaxed conditions, especially slower-growing domain size. These results are the best by using the second moment method, and new tools should be introduced for any better results.
On correlation of hyperbolic volumes of fullerenes with their properties
Published
• View Publication
• BIB
We observe that fullerene graphs are one-skeletons of polyhedra, which can be realized with all dihedral angles equal to $π/2$ in a hyperbolic 3-dimensional space. One of the most important invariants of such a polyhedron is its volume. We are referring this volume as a hyperbolic volume of a fullerene. It is known that some topological indices of graphs of chemical compounds serve as strong descriptors and correlate with chemical properties. We demonstrate that hyperbolic volume of fullerenes correlates with few important topological indices and so, hyperbolic volume can serve as a chemical descriptor too. The correlation between hyperbolic volume of fullerene and its Wiener index suggested few conjectures on volumes of hyperbolic polyhedra. These conjectures are confirmed for the initial list of fullerenes.