Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A Combinatorial Identity for Rooted Labeled Forests
Published in Aequationes Math. (July 2019)
• View Publication
• BIB
In this brief note a straightforward combinatorial proof for an identity directly connecting rooted forests and unordered set partitions is provided. Furthermore, references that put this type of identity in the context of forest volumes and multinomial identities are given.
A Cheeger inequality for graphs based on a reflection principle
Published in Involve 13 (2020) 475-486
• View Publication
• BIB
Given a graph with a designated set of boundary vertices, we define a new notion of a Neumann Laplace operator on a graph using a reflection principle. We show that the first eigenvalue of this Neumann graph Laplacian satisfies a Cheeger inequality.
Asymptotic Hecke algebras and Lusztig-Vogan bijection via affine matrix-ball construction
Published
• View Publication
• BIB
Affine matrix-ball construction (abbreviated AMBC) was developed by Chmutov, Lewis, Pylyavskyy, and Yudovina as an affine generalization of Robinson-Schensted correspondence. We show that AMBC gives a simple way to compute a distinguished (or Duflo) involution in each Kazhdan-Lusztig cell of affine symmetric groups. We then use AMBC to give the first known canonical presentation for the asymptotic Hecke algebras of extended affine symmetric groups. As an application, we show that AMBC gives a conceptual way to compute Lusztig-Vogan bijection. For the latter we build upon prior works of Achar and Rush.
A constructive solution to a problem of ranking tournaments
Published
• View Publication
• BIB
A tournament is an oriented complete graph. The problem of ranking tournaments was firstly investigated by P. Erdős and J. W. Moon. By probabilistic methods, the existence of "unrankable" tournaments was proved. On the other hand, they also mentioned the problem of explicit constructions. However, there seems to be only a few of explicit constructions of such tournaments. In this note, we give a construction of many such tournaments by using skew Hadamard difference sets which have been investigated in combinatorial design theory.
On a theorem of Baxter and Zeilberger via a result of Roselle
Published
• View Publication
• BIB
We provide a new proof of a result of Baxter and Zeilberger showing that inv and maj on permutations are jointly independently asymptotically normally distributed. The main feature of our argument is that it uses a generating function due to Roselle, answering a question raised by Romik and Zeilberger.
Characterizing the Integrality Gap of the Subtour LP for the Circulant Traveling Salesman Problem
Published
• View Publication
• BIB
We consider the integrality gap of the subtour LP relaxation of the Traveling Salesman Problem restricted to circulant instances. De Klerk and Dobre conjectured that the value of the optimal solution to the subtour LP on these instances is equal to an entirely combinatorial lower bound from Van der Veen, Van Dal, and Sierksma. We prove this conjecture by giving an explicit optimal solution to the subtour LP. We then use it to show that the integrality gap of the subtour LP is 2 on circulant instances, making such instances one of the few non-trivial classes of TSP instances for which the integrality gap of the subtour LP is exactly known. We also show that the degree constraints do not strengthen the subtour LP on circulant instances, mimicking the parsimonious property of metric, symmetric TSP instances shown in Goemans and Bertsimas in a distinctly non-metric set of instances.
Integral cographs and applications
A graph is called integral if all the eigenvalues of its adjacency matrix are integers. In this paper, we show a cograph that has a balanced cotree $T_{G}(a_{1},\ldots,a_{r-1},0|0,\ldots,0,a_{r})$ is integral computing its spectrum. As an application, these integral cographs can be used to estimate the eigenvalues of any cograph.
Moderate deviations of subgraph counts in the Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$
Published
• View Publication
• BIB
The main contribution of this article is an asymptotic expression for the rate associated with moderate deviations of subgraph counts in the Erdős-Rényi random graph $G(n,m)$. Our approach is based on applying Freedman's inequalities for the probability of deviations of martingales to a martingale representation of subgraph count deviations. In addition, we prove that subgraph count deviations of different subgraphs are all linked, via the deviations of two specific graphs, the path of length two and the triangle. We also deduce new bounds for the related $G(n,p)$ model.
Enumerating Unique Computational Graphs via an Iterative Graph Invariant
In this report, we describe a novel graph invariant for computational graphs (colored directed acylic graphs) and how we used it to generate all distinct computational graphs up to isomorphism for small graphs. The algorithm iteratively applies isomorphism-invariant operations, which take into account the graph structure and coloring, and outputs a fixed-length hash that is identical for all isomorphic computational graphs. While the algorithm cannot perfectly distinguish all pairs of non-isomorphic computational graphs, we suggest that it may be useful as a heuristic for comparing graphs.
Lagrangian densities of short 3-uniform linear paths and Turán numbers of their extensions
Published
• View Publication
• BIB
For a fixed positive integer $n$ and an $r$-uniform hypergraph $H$, the Turán number $ex(n,H)$ is the maximum number of edges in an $H$-free $r$-uniform hypergraph on $n$ vertices, and the Lagrangian density of $H$ is defined as $π_λ(H)=\sup \{r! λ(G) : G \;\text{is an}\; H\text{-free} \;r\text{-uniform hypergraph}\}$, where $λ(G)$ is the Lagrangian of $G$. For an $r$-uniform hypergraph $H$ on $t$ vertices, it is clear that $π_λ(H)\ge r!λ{(K_{t-1}^r)}$. We say that an $r$-uniform hypergraph $H$ on $t$ vertices is perfect if $π_λ(H)= r!λ{(K_{t-1}^r)}$. Let $P_t=\{e_1, e_2, \dots, e_t\}$ be the linear $3$-uniform path of length $t$, that is, $|e_i|=3$, $|e_i \cap e_{i+1}|=1$ and $e_i \cap e_j=\emptyset$ if $|i-j|\ge 2$. We show that $P_3$ and $P_4$ are perfect, this supports a conjecture in \cite{yanpeng} proposing that all $3$-uniform linear hypergraphs are perfect. Applying the results on Lagrangian densities, we determine the Turán numbers of their extensions.
Enumerative combinatorics on determinants and signed bigrassmannian polynomials
Published in Math. J. Okayama Univ. 57 (2015), 159--172
• Search Publication
As an application of linear algebra for enumerative combinatorics, we introduce two new ideas, signed bigrassmannian polynomials and bigrassmannian determinant. First, a signed bigrassmannian polynomial is a variant of the statistic given by the number of bigrassmannian permutations below a permutation in Bruhat order as Reading suggested (2002) and afterward the author developed (2011). Second, bigrassmannian determinant is a $q$-analog of the determinant with respect to our statistic. It plays a key role for a determinantal expression of those polynomials. We further show that bigrassmannian determinant satisfies weighted condensation as a generalization of Dodgson, Jacobi-Desnanot and Robbins-Rumsey (1986).
Double coverings of arrangement complements and $2$-torsion in Milnor fiber homology
Published in European Journal of Mathematics 6 (2020) 1097-1109
• View Publication
• BIB
We prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence.
Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude that the first homology of the Milnor fiber has non-trivial $2$-torsion.
$3$-uniform hypergraphs without a cycle of length five
Published
• View Publication
• BIB
In this paper we show that the maximum number of hyperedges in a $3$-uniform hypergraph on $n$ vertices without a (Berge) cycle of length five is less than $(0.254 + o(1))n^{3/2}$, improving an estimate of Bollobás and Győri.
We obtain this result by showing that not many $3$-paths can start from certain subgraphs of the shadow.
Reflexponents
Published
• View Publication
• BIB
Certain classical generating functions for elements of reflection groups can be expressed using fundamental invariants called exponents. We give new analogues of such generating functions that accommodate orbits of reflecting hyperplanes using similar invariants we call reflexponents. Our verifications are case-by-case.
On the additive period length of the Sprague-Grundy function of certain Nim-like games
We examine the structure of the additive period of the Sprague-Grundy function of Nim-like games, among them Wythoff's Game, and deduce a bound for the length of the period and preperiod.
Braces of Perfect Matching Width 2
Published
• View Publication
• BIB
Perfect matching width is a treewidth-like parameter designed for graphs with perfect matchings. The concept was originally introduced by Norine for the study of non-bipartite Pfaffian graphs. Additionally, perfect matching width appears to be a useful structural tool for investigating matching minors, a specialised version of minors related to perfect matchings. In this paper we lay the groundwork for understanding the interaction of perfect matching width and matching minors by establishing tight connections between the perfect matching width of any matching covered graph $G$ and the perfect matching width of its bricks and braces (a matching theoretic version of blocks) and proving that perfect matching width is almost monotone under the matching minor relation. As an application, we give several characterisations for braces of perfect matching width two, including one that allows for a polynomial time recognition algorithm.
A Generalization of the "Raboter" Operation
We generalize an operation described by Sloane on the binary representation of an integer to other bases, thus finding several new sequences.
Questions on the Structure of Perfect Matchings inspired by Quantum Physics
Published in Proceedings of the 2nd Croatian Combinatorial Days, 57-70 (2019)
• View Publication
• BIB
We state a number of related questions on the structure of perfect matchings. Those questions are inspired by and directly connected to Quantum Physics. In particular, they concern the constructability of general quantum states using modern photonic technology. For that we introduce a new concept, denoted as inherited vertex coloring. It is a vertex coloring for every perfect matching. The colors are inherited from the color of the incident edge for each perfect matching. First, we formulate the concepts and questions in pure graph-theoretical language, and finally we explain the physical context of every mathematical object that we use. Importantly, every progress towards answering these questions can directly be translated into new understanding in quantum physics.
Flip distances between graph orientations
Flip graphs are a ubiquitous class of graphs, which encode relations induced on a set of combinatorial objects by elementary, local changes. Skeletons of associahedra, for instance, are the graphs induced by quadrilateral flips in triangulations of a convex polygon. For some definition of a flip graph, a natural computational problem to consider is the flip distance: Given two objects, what is the minimum number of flips needed to transform one into the other?
We consider flip graphs on orientations of simple graphs, where flips consist of reversing the direction of some edges. More precisely, we consider so-called $α$-orientations of a graph $G$, in which every vertex $v$ has a specified outdegree $α(v)$, and a flip consists of reversing all edges of a directed cycle. We prove that deciding whether the flip distance between two $α$-orientations of a planar graph $G$ is at most two is \NP-complete. This also holds in the special case of perfect matchings, where flips involve alternating cycles. This problem amounts to finding geodesics on the common base polytope of two partition matroids, or, alternatively, on an alcoved polytope. It therefore provides an interesting example of a flip distance question that is computationally intractable despite having a natural interpretation as a geodesic on a nicely structured combinatorial polytope.
We also consider the dual question of the flip distance betwe en graph orientations in which every cycle has a specified number of forward edges, and a flip is the reversal of all edges in a minimal directed cut. In general, the problem remains hard. However, if we restrict to flips that only change sinks into sources, or vice-versa, then the problem can be solved in polynomial time. Here we exploit the fact that the flip graph is the cover graph of a distributive lattice. This generalizes a recent result from Zhang, Qian, and Zhang.
A simple proof of a congruence for a series involving the little $q$-Jacobi polynomials
We give a simple and a more explicit proof of a mod $4$ congruence for a series involving the little $q$-Jacobi polynomials which arose in a recent study of a certain restricted overpartition function.