-
On the Existence of Balanced Generalized de Bruijn Sequences
Authors:
Matthew Baker,
Bhumika Mittal,
Haran Mouli,
Eric Tang
Abstract:
A balanced generalized de Bruijn sequence with parameters $(n,l,k)$ is a cyclic sequence of $n$ bits such that (a) the number of 0's equals the number of 1's, and (b) each substring of length $l$ occurs at most $k$ times. We determine necessary and sufficient conditions on $n,l$, and $k$ for the existence of such a sequence.
A balanced generalized de Bruijn sequence with parameters $(n,l,k)$ is a cyclic sequence of $n$ bits such that (a) the number of 0's equals the number of 1's, and (b) each substring of length $l$ occurs at most $k$ times. We determine necessary and sufficient conditions on $n,l$, and $k$ for the existence of such a sequence.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Speeding up Computational Morphogenesis with Online Neural Synthetic Gradients
Authors:
Yuyu Zhang,
Heng Chi,
Binghong Chen,
Tsz Ling Elaine Tang,
Lucia Mirabella,
Le Song,
Glaucio H. Paulino
Abstract:
A wide range of modern science and engineering applications are formulated as optimization problems with a system of partial differential equations (PDEs) as constraints. These PDE-constrained optimization problems are typically solved in a standard discretize-then-optimize approach. In many industry applications that require high-resolution solutions, the discretized constraints can easily have m…
▽ More
A wide range of modern science and engineering applications are formulated as optimization problems with a system of partial differential equations (PDEs) as constraints. These PDE-constrained optimization problems are typically solved in a standard discretize-then-optimize approach. In many industry applications that require high-resolution solutions, the discretized constraints can easily have millions or even billions of variables, making it very slow for the standard iterative optimizer to solve the exact gradients. In this work, we propose a general framework to speed up PDE-constrained optimization using online neural synthetic gradients (ONSG) with a novel two-scale optimization scheme. We successfully apply our ONSG framework to computational morphogenesis, a representative and challenging class of PDE-constrained optimization problems. Extensive experiments have demonstrated that our method can significantly speed up computational morphogenesis (also known as topology optimization), and meanwhile maintain the quality of final solution compared to the standard optimizer. On a large-scale 3D optimal design problem with around 1,400,000 design variables, our method achieves up to 7.5x speedup while producing optimized designs with comparable objectives.
△ Less
Submitted 26 April, 2021; v1 submitted 25 April, 2021;
originally announced April 2021.
-
Factorizations of $k$-Nonnegative Matrices
Authors:
Sunita Chepuri,
Neeraja Kulkarni,
Joe Suk,
Ewin Tang
Abstract:
A matrix is $k$-nonnegative if all its minors of size $k$ or less are nonnegative. We give a parametrized set of generators and relations for the semigroup of $k$-nonnegative $n\times n$ invertible matrices in two special cases: when $k = n-1$ and when $k = n-2$, restricted to unitriangular matrices. For these two cases, we prove that the set of $k$-nonnegative matrices can be partitioned into cel…
▽ More
A matrix is $k$-nonnegative if all its minors of size $k$ or less are nonnegative. We give a parametrized set of generators and relations for the semigroup of $k$-nonnegative $n\times n$ invertible matrices in two special cases: when $k = n-1$ and when $k = n-2$, restricted to unitriangular matrices. For these two cases, we prove that the set of $k$-nonnegative matrices can be partitioned into cells based on their factorizations into generators, generalizing the notion of Bruhat cells from totally nonnegative matrices. Like Bruhat cells, these cells are homeomorphic to open balls and have a topological structure that neatly relates closure of cells to subwords of factorizations. In the case of $(n-2)$-nonnegative unitriangular matrices, we show the cells form a Bruhat-like CW-complex.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
Benchmarking measures of network controllability on canonical graph models
Authors:
Elena Wu-Yan,
Richard F. Betzel,
Evelyn Tang,
Shi Gu,
Fabio Pasqualetti,
Danielle S. Bassett
Abstract:
Many real-world systems are composed of many individual components that interact with one another in a complex pattern to produce diverse behaviors. Understanding how to intervene in these systems to guide behaviors is critically important to facilitate new discoveries and therapies in systems biology and neuroscience. A promising approach to optimizing interventions in complex systems is network…
▽ More
Many real-world systems are composed of many individual components that interact with one another in a complex pattern to produce diverse behaviors. Understanding how to intervene in these systems to guide behaviors is critically important to facilitate new discoveries and therapies in systems biology and neuroscience. A promising approach to optimizing interventions in complex systems is network control theory, an emerging conceptual framework and associated mathematics to understand how targeted input to nodes in a network system can predictably alter system dynamics. While network control theory is currently being applied to real-world data, the practical performance of these measures on simple networks with pre-specified structure is not well understood. In this study, we benchmark measures of network controllability on canonical graph models, providing an intuition for how control strategy, graph topology, and edge weight distribution mutually depend on one another. Our numerical studies motivate future analytical efforts to gain a mechanistic understanding of the relationship between graph topology and control, as well as efforts to design networks with specific control profiles.
△ Less
Submitted 15 June, 2017;
originally announced June 2017.
