Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Symmetric Functions over Finite Fields
Published in EPTCS 389, 2023, pp. 131-143
• View Publication
• BIB
The number of linear independent algebraic relations among elementary symmetric polynomial functions over finite fields is computed. An algorithm able to find all such relations is described. It is proved that the basis of the ideal of algebraic relations found by the algorithm consists of polynomials having coefficients in the prime field F_p.
Semidefinite programming bounds for distance distribution of spherical codes
We present an extension of known semidefinite and linear programming upper bounds for spherical codes. We apply the main result for the distance distribution of a spherical code and show that this method can work effectively In particular, we get a shorter solution to the kissing number problem in dimension 4.
Adaptive Softassign via Hadamard-Equipped Sinkhorn
Published
• View Publication
• BIB
Softassign is a pivotal method in graph matching and other learning tasks. Many softassign-based algorithms exhibit performance sensitivity to a parameter in the softassign. However, tuning the parameter is challenging and almost done empirically. This paper proposes an adaptive softassign method for graph matching by analyzing the relationship between the objective score and the parameter. This method can automatically tune the parameter based on a given error bound to guarantee accuracy. The Hadamard-Equipped Sinkhorn formulas introduced in this study significantly enhance the efficiency and stability of the adaptive softassign. Moreover, these formulas can also be used in optimal transport problems. The resulting adaptive softassign graph matching algorithm enjoys significantly higher accuracy than previous state-of-the-art large graph matching algorithms while maintaining comparable efficiency.
Cellularity of KLR and weighted KLRW algebras via crystals
We prove that the weighted KLRW algebras of finite type, and their cyclotomic quotients, are cellular algebras. The cellular bases are explicitly described using crystal graphs. As a special case, this proves that the KLR algebras of finite type are cellular. As one application, we give explicit formulas for the graded decomposition numbers of the cyclotomic algebras in level one.
New cases of the Strong Stanley Conjecture
We make progress towards understanding the structure of Littlewood-Richardson coefficients $g_{λ,μ}^ν$ for products of Jack symmetric functions. Building on recent results of the second author, we are able to prove new cases of a conjecture of Stanley in which certain families of these coefficients can be expressed as a product of upper or lower hook lengths for every box in each of the partitions. In particular, we prove that conjecture in the case of a rectangular union, i.e. for $g_{μ,\bar σ}^{μ\cup m^n}$ where $\bar σ$ is the complementary partition of $σ= μ\cap m^n$ in the rectangular partition $m^n$. We give a formula for these coefficients through an explicit prescription of such choices of hooks. Lastly, we conjecture an analogue of this conjecture of Stanley holds in the case of Shifted Jack functions.
On a class of strong valid inequalities for the connected matching polytope
We identify a family of $O(|E(G)|^2)$ nontrivial facets of the connected matching polytope of a graph $G$, that is, the convex hull of incidence vectors of matchings in $G$ whose covered vertices induce a connected subgraph. Accompanying software to further inspect the polytope of an input graph is available.
A unified worst case for classical simplex and policy iteration pivot rules
We construct a family of Markov decision processes for which the policy iteration algorithm needs an exponential number of improving switches with Dantzig's rule, with Bland's rule, and with the Largest Increase pivot rule. This immediately translates to a family of linear programs for which the simplex algorithm needs an exponential number of pivot steps with the same three pivot rules. Our results yield a unified construction that simultaneously reproduces well-known lower bounds for these classical pivot rules, and we are able to infer that any (deterministic or randomized) combination of them cannot avoid an exponential worst-case behavior. Regarding the policy iteration algorithm, pivot rules typically switch multiple edges simultaneously and our lower bound for Dantzig's rule and the Largest Increase rule, which perform only single switches, seem novel. Regarding the simplex algorithm, the individual lower bounds were previously obtained separately via deformed hypercube constructions. In contrast to previous bounds for the simplex algorithm via Markov decision processes, our rigorous analysis is reasonably concise.
Superport networks
Published in Journal of Combinatorial Theory, Series A, Volume 220, 2026, 106134
• View Publication
• BIB
We study multiport networks, common in electrical engineering. They have boundary conditions different from electrical networks: the boundary vertices are split into pairs and the sum of the incoming currents is set to be zero in each pair. If one sets the voltage difference for each pair, then the incoming currents are uniquely determined. We generalize Kirchhoff's matrix-tree theorem to this setup. Different forests now contribute with different signs, making the proof subtle. In particular, we use the formula for the response matrix minors by R. Kenyon-D. Wilson, determinantal identities, and combinatorial bijections. We introduce superport networks, generalizing both ordinary networks and multiport ones.
The Upper Clique Transversal Problem
A clique transversal in a graph is a set of vertices intersecting all maximal cliques. The problem of determining the minimum size of a clique transversal has received considerable attention in the literature. In this paper, we initiate the study of the ''upper'' variant of this parameter, the upper clique transversal number, defined as the maximum size of a minimal clique transversal. We investigate this parameter from the algorithmic and complexity points of view, with a focus on various graph classes. We show that the corresponding decision problem is NP-complete in the classes of chordal graphs, chordal bipartite graphs, cubic planar bipartite graphs, and line graphs of bipartite graphs, but solvable in linear time in the classes of split graphs, proper interval graphs, and cographs, and in polynomial time for graphs of bounded cliquewidth. We conclude the paper with a number of open questions.
Symmetry of $f$-vectors of toric arrangements in general position and some applications
A toric hyperplane is the preimage of a point $x \in S^1$ of a continuous surjective group homomorphism $θ: \mathbb{T}^n \to S^1$. A finite hyperplane arrangement is a finite collection of such hyperplanes. In this paper, we study the combinatorial properties of finite hyperplane arrangements on $\mathbb{T}^n$ which are spanning and in general position. Specifically, we describe the symmetry of $f$-vectors arising in such arrangements and a few applications of the result to count configurations of hyperplanes.
Finite regular semigroups with permutations that map elements to inverses
Published
• View Publication
• BIB
We give an account on what is known on the subject of permutation matchings, which are bijections of a finite regular semigroup that map each element to one of its inverses. This includes partial solutions to some open questions, including a related novel combinatorial problem.
Resilience for Loose Hamilton Cycles
Published
• View Publication
• BIB
We study the emergence of loose Hamilton cycles in subgraphs of random hypergraphs. Our main result states that the minimum $d$-degree threshold for loose Hamiltonicity relative to the random $k$-uniform hypergraph $H_k(n,p)$ coincides with its dense analogue whenever $p \geq n^{- (k-1)/2+o(1)}$. The value of $p$ is approximately tight for $d>(k+1)/2$. This is particularly interesting because the dense threshold itself is not known beyond the cases when $d \geq k-2$.
On the expressive power of mod-$p$ linear forms on the Boolean cube
Let $(\mathcal{A}_i)_{i \in [s]}$ be a sequence of dense subsets of the Boolean cube $\{0,1\}^n$ and let $p$ be a prime. We show that if $s$ is assumed to be superpolynomial in $n$ then we can find distinct $i,j$ such that the two distributions of every mod-$p$ linear form on $\mathcal{A}_i$ and $\mathcal{A}_j$ are almost positively correlated. We also prove that if $s$ is merely assumed to be sufficiently large independently of $n$ then we may require the two distributions to have overlap bounded below by a positive quantity depending on $p$ only.
The $s$-weak order and $s$-permutahedra II: The combinatorial complex of pure intervals
Published in The Electronic Journal of Combinatorics, 31(3):P3.12, August 2024
• View Publication
• BIB
This paper introduces the geometric foundations for the study of the $s$-permutahedron and the $s$-associahedron, two objects that encode the underlying geometric structure of the $s$-weak order and the $s$-Tamari lattice. We introduce the $s$-permutahedron as the complex of pure intervals of the $s$-weak order, present enumerative results about its number of faces, and prove that it is a combinatorial complex. This leads, in particular, to an explicit combinatorial description of the intersection of two faces. We also introduce the $s$-associahedron as the complex of pure $s$-Tamari intervals of the $s$-Tamari lattice, show some enumerative results, and prove that it is isomorphic to a well chosen $ν$-associahedron. Finally, we present three polytopality conjectures, evidence supporting them, and some hints about potential generalizations to other finite Coxeter groups.
Chow Rings of Matroids as Permutation Representations
Published
• View Publication
• BIB
Given a matroid and a group of its matroid automorphisms, we study the induced group action on the Chow ring of the matroid. This turns out to always be a permutation action. Work of Adiprasito, Huh and Katz showed that the Chow ring satisfies Poincaré duality and the Hard Lefschetz theorem. We lift these to statements about this permutation action, and suggest further conjectures in this vein.
Strange Expectations in Affine Weyl Groups
Published
• View Publication
• BIB
Our main result is a generalization, to all affine Weyl groups, of P. Johnson's proof of D. Armstrong's conjecture for the expected number of boxes in a simultaneous core. This extends earlier results by the second and third authors in simply-laced type. We do this by modifying and refining the appropriate notion of the "size" of a simultaneous core. In addition, we provide combinatorial core-like models for the coroot lattices in classical type and type $G_2$.
Packing mixed hyperarborescences
Published
• View Publication
• BIB
The aim of this paper is twofold. We first provide a new orientation theorem which gives a natural and simple proof of a result of Gao, Yang \cite{GY} on matroid-reachability-based packing of mixed arborescences in mixed graphs by reducing it to the corresponding theorem of Cs. Király \cite{cskir} on directed graphs. Moreover, we extend another result of Gao, Yang \cite{GY2} by providing a new theorem on mixed hypergraphs having a packing of mixed hyperarborescences such that their number is at least $\ell$ and at most $\ell'$, each vertex belongs to exactly $k$ of them, and each vertex $v$ is the root of least $f(v)$ and at most $g(v)$ of them.
Colorful Borsuk--Ulam theorems and applications
Published
• View Publication
• BIB
We prove a colorful generalization of the Borsuk--Ulam theorem and derive colorful consequences from it, such as a colorful generalization of the ham sandwich theorem. Even in the uncolored case this specializes to a strengthening of the ham sandwich theorem, which given an additional condition, contains a result of Bárány, Hubard, and Jerónimo on well-separated measures as a special case. We prove a colorful generalization of Fan's antipodal sphere covering theorem, we derive a short proof of Gale's colorful KKM theorem, and we prove a colorful generalization of Brouwer's fixed point theorem. Our results also provide an alternative between Radon-type intersection results and KKM-type covering results. Finally, we prove colorful Borsuk--Ulam theorems for higher symmetry.
Following in Yiu's Footsteps but on the Eisenstein Lattice
Published
• View Publication
• BIB
Paul Yiu proved that all Heron triangles are realizable on the integer lattice. We give an analogous result for triangles with vertices on the Eisenstein lattice.
Descent representations and colored quasisymmetric functions
The quasisymmetric generating function of the set of permutations whose inverses have a fixed descent set is known to be symmetric and Schur-positive. The corresponding representation of the symmetric group is called the descent representation. In this paper, we provide an extension of this result to colored permutation groups, where Gessel's fundamental quasisymmetric functions are replaced by Poirier's colored quasisymmetric functions. For this purpose, we introduce a colored analogue of zigzag shapes and prove that the representations associated with these shapes coincide with colored descent representations studied by Adin, Brenti and Roichman in the case of two colors and Bagno and Biagioli in the general case. Additionally, we provide a colored analogue of MaMahon's alternating formula which expresses ribbon Schur functions in the basis of complete homogeneous symmetric functions.