Inducibility of directed paths

Ilkyoo Choi, Bernard Lidický, Florian Pfender

This page contains computer assisted parts of the paper Inducibility of directed paths.

A preliminary version of the paper can be downloaded here or from arXiv.

Here, you can download the technical things as one archive

• anc-full.tar.gz (zip, around 1.2MB)

Dependencies

• Some C++ compiler
• Sage
• CSDP

Description of the content of anc-full.tar.gz

• F_edges2orientedblind__forbidden.txt ... List of forbidden flags (i.e. $\vec{T}_3$)
• F_edges2orientedblind__nX_labeled.txt ... List of labeled flags for caclulating $P_X$
• F_edges2orientedblind__nX_unlabeled.txt ... List of unlabeled flags on $X$ vertices
• F_edges2orientedblind__objective_PX.txt ... objective function, i.e. $\vec{P}_X$
• SDP_nX_UB_F_edges2orientedblind__objective_PX.txt.dat-s ... semidefinite program
• SDP_nX_UB_F_edges2orientedblind__objective_PX.txt.dat-s.result ... numerical solution of the semidefinite program
• altered_PX.dat-s ... projection of the semidefinite program
• altered_PX.dat-s.result ... numerical solution to the projection
• flag.cpp ... C++ program generating flags and their products
• readme.txt ... some small comments
• rounding_exact.sage ... sage script for exact rounding
• round_particular_PX.sage ... sage script for exact rounding for $\vec{P}_X$.
• check_PX.sage ... sage script for checking only the rounding for $\vec{P}_X$.
• Makefile ... for compiling flag.cpp
• mesh-opt.cpp ... C++ program for optimizing the mesh (P)
• generate_funky.py ... Python script to check possible embeddings of $\vec{P}_4$ with funky edges.