Conference Agenda
Overview and details of the sessions of this conference. Please select a date or location to show only sessions at that day or location. Please select a single session for detailed view (with abstracts and downloads if available).
|
|
|
Session Overview |
| Date: Wednesday, 10/Jul/2019 | |||
| 8:25am - 8:30am |
Announcements Location: vonRoll, Fabrikstr. 6, 001 |
||
| 8:30am - 9:30am |
IP03: Lauren K. Williams: Cluster algebras and applications to geometry Location: vonRoll, Fabrikstr. 6, 001 Cluster algebras and applications to geometry Harvard University, United States of America |
IP03-streamed from 001: Lauren K. Williams: Cluster algebras and applications to geometry Location: vonRoll, Fabrikstr. 6, 004 |
|
| 9:30am - 10:00am |
Coffee break Location: Unitobler, F wing, floors 0 and -1 |
||
| 10:00am - 12:00pm |
MS147, part 1: SC-square 2019 workshop on satisfiability checking and symbolic computation Location: Unitobler, F005 SC-square 2019 workshop on satisfiability checking and symbolic computation (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Invited Talk of SC-Square: SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks---Part I: Background and and basic methods Invited Talk of SC-Square: SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks---Part II: Advanced methods for chemical reaction networks Regular Paper 1 of SC-Square: Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving Regular Paper 2 of SC-Square: On the proof complexity of MCSAT |
MS143, part 2: Algebraic geometry in topological data analysis Location: Unitobler, F006 Algebraic geometry in topological data analysis (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) High-throughput topological screening of nanoporous materials Sampling real algebraic varieties for topological data analysis How wild is the homological clustering problem? Learning elliptic curves |
MS200, part 1: From algebraic geometry to geometric topology: Crossroads on applications Location: Unitobler, F007 From algebraic geometry to geometric topology: crossroads on applications (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Momentum of vortex tangles by weighted area information Alexandrov spaces and topological data analysis Geometrical and topological analysis of chromosome conformation capture data Asymptotic behavior of the homology of random polyominoes |
| MS177, part 2: Algebraic and combinatorial phylogenetics Location: Unitobler, F011 Algebraic and combinatorial phylogenetics (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Weighting the Coalescent Identifiability of 2-tree mixtures for the Kimura 3ST model Markov association schemes Existence of maximally probable ranked gene tree topologies with a matching unranked topology |
Room free Location: Unitobler, F012 |
MS156: Tropical geometry in statistics Location: Unitobler, F013 Tropical geometry in statistics (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Tropical principal component analysis Tropical Foundations for Probability and Statistics on Phylogenetic Tree Spaces Tropical Gaussians Tropical hardware for data intensive applications: DNA sequence alignment to machine learning |
|
| MS182, part 2: Matrix and tensor optimization Location: Unitobler, F021 Matrix and tensor optimization (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Matrix and Tensor Factorizations with Nonnegativity Decompositions and optimizations of conjugate symmetric complex tensors Chebyshev polynomials and best rank-one approximation ratio Optimization methods for computing low rank eigenspaces |
MS130, part 1: Polynomial optimization and its applications Location: Unitobler, F022 Polynomial optimization and its applications (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) The Geometry of SDP-Exactness in Quadratic Optimization Semidefinite representations of the set of separable states Noncommutative polynomial optimization and quantum graph parameters On Convexity of Polynomials over a Box |
MS163: Theory and methods for tensor decomposition Location: Unitobler, F023 Theory and methods for tensor decomposition (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) A nearly optimal algorithm to decompose binary forms On convergence of matrix and tensor approximate diagonalization algorithms by unitary transformations Non-linear singular value decomposition A symmetrization approach to hypermatrix {SVD} |
|
| MS148, part 2: Algebraic neural coding Location: Unitobler, F-105 Algebraic Neural Coding (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Sunflowers of Convex Sets and New Obstructions to Convexity Convex Codes and Oriented Matroids Sufficient Conditions for 1- and 2- Inductively Pierced Codes Progress Toward a Classification of Inductively Pierced Codes via Polyhedra |
MS151, part 2: Cluster algebras and positivity Location: Unitobler, F-106 Cluster algebras and positivity (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Combinatorics of cluster structures in Schubert varieties Cluster tilting modules for mesh algebras Strings, snake graphs and the cluster expansion formulas Friezes and Grassmannian cluster structures |
MS140, part 2: Multivariate spline approximation and algebraic geometry Location: Unitobler, F-107 Multivariate spline approximation and algebraic geometry (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Bounds on the dimension of spline spaces on polyhedral cells On the gradient conjecture for homogeneous polynomials Ambient Spline Approximation of Functions on Submanifolds Watertight Trimmed NURBS Surfaces |
|
| MS149, part 2: Stability of moment problems and super-resolution imaging Location: Unitobler, F-111 Stability of moment problems and super-resolution imaging (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) The condition number of Vandermonde matrices with clustered nodes Prony's problem and the hyperbolic cross Reconstruction of generalized exponential sums Phase retrieval of sparse continuous-time signals by Prony's method |
Room free Location: Unitobler, F-112 |
MS166, part 1: Computational aspects of finite groups and their representations Location: Unitobler, F-113 Computational aspects of finite groups and their representations (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Construction and enumeration of finite groups Linear Time Fourier Transforms of $S_{n-k}$-invariant Functions on the Symmetric Group $S_n$ Quadratic Probabilistic Algorithms for Normal Bases |
|
| MS172, part 2: Algebraic statistics Location: Unitobler, F-121 Algebraic Statistics (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Geometry of Exponential Graph Models Moment Varieties of Measures on Polytopes The stratification of the maximum likelihood degree for toric varieties Nested Determinantal Constraints in Linear Structural Equation Models |
MS134, part 3: Coding theory and cryptography Location: Unitobler, F-122 Coding theory and cryptography (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Linear Complementary Pair of Codes and Some Results on Boolean Functions Optimal Locally Recoverable Codes via Chebotarev Density Theorem Explicit optimal-length locally repairable codes of small distances Fast Computation of the Roots of Polynomials Over the Ring of Power Series |
MS145, part 1: Isogenies in Cryptography Location: Unitobler, F-123 Isogenies in Cryptography (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Overview of isogenies in cryptography (Part I) Overview of isogenies in cryptography (Part II) Quantum attacks against isogenies Pre- and post-quantum Diffie-Hellman |
|
| 1:30pm - 2:30pm |
IP04: Helmut Pottman: Applications of sphere geometries in computational design Location: vonRoll, Fabrikstr. 6, 001 Applications of sphere geometries in computational design KAUST, Saudi Arabia |
IP04-streamed from 001: Helmut Pottman: Applications of sphere geometries in computational design Location: vonRoll, Fabrikstr. 6, 004 |
|
| 2:30pm - 3:00pm |
Coffee break Location: Unitobler, F wing, floors 0 and -1 |
||
| 3:00pm - 5:00pm |
MS165, part 2: Multiparameter persistence: algebra, algorithms, and applications Location: Unitobler, F006 Multiparameter persistence: algebra, algorithms, and applications (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Algebraic distances for persistent homology Multiparameter persistence landscapes Geometric perspectives on multiparameter persistence Persistent homology of noise |
MS200, part 2: From algebraic geometry to geometric topology: Crossroads on applications Location: Unitobler, F007 From algebraic geometry to geometric topology: crossroads on applications (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Privileged topologies of self-assembling molecular knots Why are there knots in proteins? The study of 2-stratifolds as models for applications (Part 1) The study of 2-stratifolds as models for applications (Part 2) |
MS199, part 1: Applications of topology in neuroscience Location: Unitobler, F011 Applications of topology in neuroscience (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Understanding neuronal shapes with algebraic topology Computing homotopy types of directed flag complexes Applications of persistent homology to stroke therapy Neural decoding using TDA |
| MS160, part 2: Numerical methods for structured polynomial system solving Location: Unitobler, F012 Numerical methods for structured polynomial system solving (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Polyhedral Real Homotopy Continuation Root counts of structured algebraic systems A local complexity theory Low-degree approximation of real singularities |
MS167, part 1: Computational tropical geometry Location: Unitobler, F013 Computational tropical geometry (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) The tropical geometry of shortest paths Tropicalization of semialgebraic sets arising in convex optimization Linear algebra and convexity over symmetrized semirings, hyperfields and systems Linear algebra and convexity over symmetrized semirings, hyperfields and systems. |
MS191, part 2: Algebraic and geometric methods in optimization. Location: Unitobler, F021 Algebraic and geometric methods in optimization. (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Convergence analysis of measure-based bounds for polynomial optimization on the box, ball and sphere Dynamic programming algorithms for integer programming The support of integer optimal solutions New Fourier interpolation formulas and optimization in Euclidean space |
|
| MS195, part 2: Algebraic methods for convex sets Location: Unitobler, F022 Algebraic methods for convex sets (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Determinantal representations of stable and hyperbolic polynomials Noncommutative polynomials describing convex sets Semidefinite Programming and Nash Equilibria in Bimatrix Games Low Rank Tensor Methods in High Dimensional Data Analysis |
MS187, part 2: Signature tensors of paths Location: Unitobler, F023 Signature tensors of paths (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Invariants of the iterated-integral signature The areas of areas problem Persistence paths and signature features in topological data analysis Character groups of Hopf algebras and their applications |
MS183, part 1: Polyhedral geometry methods for biochemical reaction networks Location: Unitobler, F-105 Polyhedral geometry methods for biochemical reaction networks (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Endotactic Networks and Toric Differential Inclusions Approximating Convex Hulls of Curves by Polytopes Multistationarity conditions in a network motif describing ERK activation Oscillations in a mixed phosphorylation mechanism |
|
| MS154, part 2: New developments in matroid theory Location: Unitobler, F-106 New developments in matroid theory (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Cohomology rings of projective models of toric arrangements Arithmetic matroids, posets and cohomology of toric arrangements Categories of matroids, Hopf algebras, and Hall algebras |
MS168, part 2: Riemann Surfaces Location: Unitobler, F-107 Riemann Surfaces (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Computing endomorphism rings of Jacobians Inverse Jacobian problem for cyclic plane quintic curves Teichmüller curves, Kobayashi geodesics and Hilbert modular forms Counting special points on teichmüller curves |
MS175, part 1: Algebraic geometry and combinatorics of jammed structures Location: Unitobler, F-111 Algebraic geometry and combinatorics of jammed structures (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Flexibility of graphs on the sphere: the case of K_{3,3} Algebraic Geometry for Counting Realizations of Minimally Rigid Graphs Pairing symmetry groups for spherical and Euclidean frameworks |
|
| MS178: Geometric design for fabrication Location: Unitobler, F-112 Geometric design for fabrication (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Geometric modeling of flank CNC machining Modeling developable surfaces through orthogonal geodesics Developability of triangle meshes Statics-aware design of freeform architecture |
MS184, part 2: Algebraic geometry for kinematics, mechanism science, and rigidity Location: Unitobler, F-113 Algebraic geometry for kinematics, mechanism science, and rigidity (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Bond theory and linkages with joints of helical type Polygon spaces and other compactifications of M_{0,n}: Chow ring, \psi-classes and intersection numbers Distinguishing metal-organic frameworks Degree Reduction of Rational Motions |
MS157, part 2: Graphical models Location: Unitobler, F-121 Graphical Models (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Interventional Markov Equivalence for Mixed Graph Models Sequential Monte Carlo-based inference in decomposable graphical models CausalKinetiX: Learning stable structures in kinetic systems Autoencoders memorize training images |
|
| MS134, part 4: Coding theory and cryptography Location: Unitobler, F-122 Coding theory and cryptography (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Pairing-friendly curves in cryptography On a question of F.R.K. Chung and its relevance to the discrete logarithm problem in extension fields Using the ring structure to solve Ring-Learning-with-Errors MDP convolutional codes |
MS132, part 3: Polynomial equations in coding theory and cryptography Location: Unitobler, F-123 Polynomial equations in coding theory and cryptography (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Classical and Quantum Evaluation Codes at the Trace Roots Optimal curves and codes with locality The Story of Solving Random Quadratic Multivariate Systems of Equations The Zeta Function for Generalized Rank Weights |
||
| 3:00pm - 5:30pm |
MS147, part 2: SC-square 2019 workshop on satisfiability checking and symbolic computation Location: Unitobler, F005 SC-square 2019 workshop on satisfiability checking and symbolic computation (25 minutes for each presentation, including questions, followed by a 5-minute break; in case of x<4 talks, the first x slots are used unless indicated otherwise) Regular Paper 3 of SC-Square: Algorithmically generating new algebraic features of polynomial systems for machine learning Extended Abstract 1 of SC-Square: On variable orderings in MCSAT for non-linear real arithmetic Extended Abstract 2 of SC-Square: On Benefits of Equality Constraints in Lex-Least Invariant CAD Extended Abstract 3 of SC-Square: Evolutionary Virtual Term Substitution in a Quantifier Elimination System Extended Abstract 4 of SC-Square: Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization |
||
| 5:15pm - 6:00pm |
SI(AG)^2 Early Career Prize Lecture: Elina Robeva: Orthogonal Tensor Decomposition Location: vonRoll, Fabrikstr. 6, 001 Orthogonal Tensor Decomposition Massachusetts Institute of Technology, United States of America |
SI(AG)^2 Early Career Prize Lecture streamed from 001: Elina Robeva: Orthogonal Tensor Decomposition Location: vonRoll, Fabrikstr. 6, 004 |
|
