-
Wasserstein Wormhole: Scalable Optimal Transport Distance with Transformers
Authors:
Doron Haviv,
Russell Zhang Kunes,
Thomas Dougherty,
Cassandra Burdziak,
Tal Nawy,
Anna Gilbert,
Dana Pe'er
Abstract:
Optimal transport (OT) and the related Wasserstein metric (W) are powerful and ubiquitous tools for comparing distributions. However, computing pairwise Wasserstein distances rapidly becomes intractable as cohort size grows. An attractive alternative would be to find an embedding space in which pairwise Euclidean distances map to OT distances, akin to standard multidimensional scaling (MDS). We pr…
▽ More
Optimal transport (OT) and the related Wasserstein metric (W) are powerful and ubiquitous tools for comparing distributions. However, computing pairwise Wasserstein distances rapidly becomes intractable as cohort size grows. An attractive alternative would be to find an embedding space in which pairwise Euclidean distances map to OT distances, akin to standard multidimensional scaling (MDS). We present Wasserstein Wormhole, a transformer-based autoencoder that embeds empirical distributions into a latent space wherein Euclidean distances approximate OT distances. Extending MDS theory, we show that our objective function implies a bound on the error incurred when embedding non-Euclidean distances. Empirically, distances between Wormhole embeddings closely match Wasserstein distances, enabling linear time computation of OT distances. Along with an encoder that maps distributions to embeddings, Wasserstein Wormhole includes a decoder that maps embeddings back to distributions, allowing for operations in the embedding space to generalize to OT spaces, such as Wasserstein barycenter estimation and OT interpolation. By lending scalability and interpretability to OT approaches, Wasserstein Wormhole unlocks new avenues for data analysis in the fields of computational geometry and single-cell biology.
△ Less
Submitted 3 June, 2024; v1 submitted 14 April, 2024;
originally announced April 2024.
-
Segre's theorem on ovals in Desarguesian projective planes
Authors:
Patrick J. Browne,
Steven T. Dougherty,
Padraig Ó Catháin
Abstract:
Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract algebra, provides a complete and self-contained proof. All necessary pre-requisites, principally evaluation of homogeneous polynomials at projective points and Desarg…
▽ More
Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract algebra, provides a complete and self-contained proof. All necessary pre-requisites, principally evaluation of homogeneous polynomials at projective points and Desargues' theorem are presented in full. While following the broad outline of Segre's proof, careful parameterisation of certain tangent lines results in shorter and simpler computations than the original.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Invisible Walls: Exploration of Microclimate Effects on Building Energy Consumption in New York City
Authors:
Thomas Dougherty,
Rishee Jain
Abstract:
The reduction of greenhouse gases from buildings forms the cornerstone of policy to mitigate the effects of climate change. However, the automation of urban scale building energy modeling systems required to meet global urban demand has proven challenging due to the bespoke characteristics of each city. One such point of uniqueness between cities is that of urban microclimate, which may play a maj…
▽ More
The reduction of greenhouse gases from buildings forms the cornerstone of policy to mitigate the effects of climate change. However, the automation of urban scale building energy modeling systems required to meet global urban demand has proven challenging due to the bespoke characteristics of each city. One such point of uniqueness between cities is that of urban microclimate, which may play a major role in altering the performance of energy efficiency in buildings. This research proposes a way to rapidly collect urban microclimate data through the utilization of satellite readings and climate reanalysis. We then demonstrate the potential utility of this data by composing an analysis against three years of monthly building energy consumption data from New York City. As a whole, microclimate in New York City may be responsible for large swings in urban energy consumption. We estimate that Central Park may reduce the electricity consumption of adjacent buildings by 5-10%, while vegetation overall seems to have no appreciable impact on gas consumption. We find that favorable urban microclimates may decrease the gas consumption of some buildings in New York by 71% while others may increase gas consumption by as much as 221%. Additionally, microclimates may be responsible for the decrease of electricity consumption by 28.6% in regions or increases of 77% consumption in others. This work provides a method of curating global, high resolution microclimate data, allowing researchers to explore the invisible walls of urban microclimate which interact with the buildings around them.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Group LCD and Group Reversible LCD Codes
Authors:
Steven T. Dougherty,
Joe Gildea,
Adrian Korban,
Adam M. Roberts
Abstract:
In this paper, we give a new method for constructing LCD codes. We employ group rings and a well known map that sends group ring elements to a subring of the $n \times n$ matrices to obtain LCD codes. Our construction method guarantees that our LCD codes are also group codes, namely, the codes are ideals in a group ring. We show that with a certain condition on the group ring element $v,$ one can…
▽ More
In this paper, we give a new method for constructing LCD codes. We employ group rings and a well known map that sends group ring elements to a subring of the $n \times n$ matrices to obtain LCD codes. Our construction method guarantees that our LCD codes are also group codes, namely, the codes are ideals in a group ring. We show that with a certain condition on the group ring element $v,$ one can construct non-trivial group LCD codes. Moreover, we also show that by adding more constraints on the group ring element $v,$ one can construct group LCD codes that are reversible. We present many examples of binary group LCD codes of which some are optimal and group reversible LCD codes with different parameters.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Data-driven optimization of building layouts for energy efficiency
Authors:
Andrew Sonta,
Thomas R. Dougherty,
Rishee K. Jain
Abstract:
One of the primary driving factors in building energy performance is occupant behavioral dynamics. As a result, the layout of building occupant workstations is likely to influence energy consumption. In this paper, we introduce methods for relating lighting zone energy to zone-level occupant dynamics, simulating energy consumption of a lighting system based on this relationship, and optimizing the…
▽ More
One of the primary driving factors in building energy performance is occupant behavioral dynamics. As a result, the layout of building occupant workstations is likely to influence energy consumption. In this paper, we introduce methods for relating lighting zone energy to zone-level occupant dynamics, simulating energy consumption of a lighting system based on this relationship, and optimizing the layout of buildings through the use of both a clustering-based approach and a genetic algorithm in order to reduce energy consumption. We find in a case study that nonhomogeneous behavior (i.e., high diversity) among occupant schedules positively correlates with the energy consumption of a highly controllable lighting system. We additionally find through data-driven simulation that the naïve clustering-based optimization and the genetic algorithm (which makes use of the energy simulation engine) produce layouts that reduce energy consumption by roughly 5% compared to the existing layout of a real office space comprised of 165 occupants. Overall, this study demonstrates the merits of utilizing low-cost dynamic design of existing building layouts as a means to reduce energy usage. Our work provides an additional path to reach our sustainable energy goals in the built environment through new non-capital-intensive interventions.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
Composite Matrices from Group Rings, Composite G-Codes and Constructions of Self-Dual Codes
Authors:
Steven T. Dougherty,
Joe Gildea,
Adrian Korban,
Abidin Kaya
Abstract:
In this work, we define composite matrices which are derived from group rings. We extend the idea of G-codes to composite G-codes. We show that these codes are ideals in a group ring, where the ring is a finite commutative Frobenius ring and G is an arbitrary finite group. We prove that the dual of a composite G-code is also a composite G-code. We define quasi-composite G-codes and give a construc…
▽ More
In this work, we define composite matrices which are derived from group rings. We extend the idea of G-codes to composite G-codes. We show that these codes are ideals in a group ring, where the ring is a finite commutative Frobenius ring and G is an arbitrary finite group. We prove that the dual of a composite G-code is also a composite G-code. We define quasi-composite G-codes and give a construction of these codes. We also study generator matrices, which consist of the identity matrices and the composite matrices. Together with the generator matrices, the well known extension method, the neighbour method and its generalization, we find extremal binary self-dual codes of length 68 with new weight enumerators for the rare parameters gamma=7,8 and 9. In particular, we find 49 new such codes. Moreover, we show that the codes we find are inaccessible from other constructions.
△ Less
Submitted 26 February, 2020;
originally announced February 2020.
-
Rank and Kernel of $\mathbb{F}_p$-Additive Generalised Hadamard Codes
Authors:
Steven T. Dougherty,
Josep Rifà,
Mercè Villanueva
Abstract:
A subset of a vector space $\mathbb{F}_q^n$ is $K$-additive if it is a linear space over the subfield $K\subseteq \mathbb{F}_q$. Let $q=p^e$, $p$ prime, and $e>1$. Bounds on the rank and dimension of the kernel of generalised Hadamard (GH) codes which are $\mathbb{F}_p$-additive are established. For specific ranks and dimensions of the kernel within these bounds, $\mathbb{F}_p$-additive GH codes a…
▽ More
A subset of a vector space $\mathbb{F}_q^n$ is $K$-additive if it is a linear space over the subfield $K\subseteq \mathbb{F}_q$. Let $q=p^e$, $p$ prime, and $e>1$. Bounds on the rank and dimension of the kernel of generalised Hadamard (GH) codes which are $\mathbb{F}_p$-additive are established. For specific ranks and dimensions of the kernel within these bounds, $\mathbb{F}_p$-additive GH codes are constructed. Moreover, for the case $e=2$, it is shown that the given bounds are tight and it is possible to construct an $\mathbb{F}_p$-additive GH code for all allowable ranks and dimensions of the kernel between these bounds. Finally, we also prove that these codes are self-orthogonal with respect to the trace Hermitian inner product, and generate pure quantum codes.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
On Z2Z4-additive complementary dual codes and related LCD codes
Authors:
Nasreddine Benbelkacem,
Joaquim Borges,
Steven T. Dougherty,
Cristina Fernández-Córdoba
Abstract:
Linear complementary dual codes were defined by Massey in 1992, and were used to give an optimum linear coding solution for the two user binary adder channel. In this paper, we define the analog of LCD codes over fields in the ambient space with mixed binary and quaternary alphabets. These codes are additive, in the sense that they are additive subgroups, rather than linear as they are not vector…
▽ More
Linear complementary dual codes were defined by Massey in 1992, and were used to give an optimum linear coding solution for the two user binary adder channel. In this paper, we define the analog of LCD codes over fields in the ambient space with mixed binary and quaternary alphabets. These codes are additive, in the sense that they are additive subgroups, rather than linear as they are not vector spaces over some finite field. We study the structure of these codes and we use the canonical Gray map from this space to the Hamming space to construct binary LCD codes in certain cases.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
Z2Z4-Additive Cyclic Codes: Kernel and Rank
Authors:
J. Borges,
S. T. Dougherty,
C. Fernández-Córdoba,
R. Ten-Valls
Abstract:
A Z2Z4-additive code C subset of Z_2^alpha x Z_4^beta is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. Let Phi(C) be the binary Gray image of C. We study the rank and the dimension of the kernel of a Z2Z4-additive cyclic code C, that…
▽ More
A Z2Z4-additive code C subset of Z_2^alpha x Z_4^beta is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. Let Phi(C) be the binary Gray image of C. We study the rank and the dimension of the kernel of a Z2Z4-additive cyclic code C, that is, the dimensions of the binary linear codes <Phi(C)> and ker(Phi(C)). We give upper and lower bounds for these parameters. It is known that the codes <Phi(C)> and ker(Phi(C)) are binary images of Z2Z4-additive codes R(C) and K(C), respectively. Moreover, we show that R(C) and K(C) are also cyclic and we determine the generator polynomials of these codes in terms of the generator polynomials of the code C.
△ Less
Submitted 16 January, 2018; v1 submitted 10 November, 2017;
originally announced November 2017.
-
$Θ_S-$cyclic codes over $A_k$
Authors:
Irwansyah,
Aleams Barra,
Steven T. Dougherty,
Ahmad Muchlis,
Intan Muchtadi-Alamsyah,
Patrick Solé,
Djoko Suprijanto,
Olfa Yemen
Abstract:
We study $Θ_S-$cyclic codes over the family of rings $A_k.$ We characterize $Θ_S-$cyclic codes in terms of their binary images. A family of Hermitian inner-products is defined and we prove that if a code is $Θ_S-$cyclic then its Hermitian dual is also $Θ_S-$cyclic. Finally, we give constructions of $Θ_S-$cyclic codes.
We study $Θ_S-$cyclic codes over the family of rings $A_k.$ We characterize $Θ_S-$cyclic codes in terms of their binary images. A family of Hermitian inner-products is defined and we prove that if a code is $Θ_S-$cyclic then its Hermitian dual is also $Θ_S-$cyclic. Finally, we give constructions of $Θ_S-$cyclic codes.
△ Less
Submitted 14 July, 2017;
originally announced July 2017.
-
Binary Images of Z2Z4-Additive Cyclic Codes
Authors:
J. Borges,
S. T. Dougherty,
C. Fernández-Córdoba,
R. Ten-Valls
Abstract:
A Z2Z4-additive code C is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. We study the binary images of Z2Z4-additive cyclic codes. We determine all Z2Z4-additive cyclic codes with odd beta whose Gray images are linear binary codes.
A Z2Z4-additive code C is called cyclic if the set of coordinates can be partitioned into two subsets, the set of Z_2 and the set of Z_4 coordinates, such that any cyclic shift of the coordinates of both subsets leaves the code invariant. We study the binary images of Z2Z4-additive cyclic codes. We determine all Z2Z4-additive cyclic codes with odd beta whose Gray images are linear binary codes.
△ Less
Submitted 11 July, 2017;
originally announced July 2017.
-
Constructions of Self-Dual and Formally Self-Dual Codes from Group Rings
Authors:
Steven T. Dougherty,
Joe Gildea,
Rhian Taylor,
Alexander Tylyshchak
Abstract:
We give constructions of self-dual and formally self-dual codes from group rings where the ring is a finite commutative Frobenius ring. We improve the existing construction given in \cite{Hurley1} by showing that one of the conditions given in the theorem is unnecessary and moreover it restricts the number of self-dual codes obtained by the construction. We show that several of the standard constr…
▽ More
We give constructions of self-dual and formally self-dual codes from group rings where the ring is a finite commutative Frobenius ring. We improve the existing construction given in \cite{Hurley1} by showing that one of the conditions given in the theorem is unnecessary and moreover it restricts the number of self-dual codes obtained by the construction. We show that several of the standard constructions of self-dual codes are found within our general framework. We prove that our constructed codes correspond to ideals in the group ring $RG$ and as such must have an automorphism group that contains $G$ as a subgroup. We also prove that a common construction technique for producing self-dual codes cannot produce the putative $[72,36,16]$ Type~II code. Additionally, we show precisely which groups can be used to construct the extremal Type II codes over length 24 and 48.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.
-
Ranks and Kernels of Codes from Generalized Hadamard Matrices
Authors:
Steven T. Dougherty,
Josep Rifà,
Mercè Villanueva
Abstract:
The ranks and kernels of generalized Hadamard matrices are studied. It is proven that any generalized Hadamard matrix $H(q,λ)$ over $F_q$, $q>3$, or $q=3$ and $\gcd(3,λ)\not =1$, generates a self-orthogonal code. This result puts a natural upper bound on the rank of the generalized Hadamard matrices. Lower and upper bounds are given for the dimension of the kernel of the corresponding generalized…
▽ More
The ranks and kernels of generalized Hadamard matrices are studied. It is proven that any generalized Hadamard matrix $H(q,λ)$ over $F_q$, $q>3$, or $q=3$ and $\gcd(3,λ)\not =1$, generates a self-orthogonal code. This result puts a natural upper bound on the rank of the generalized Hadamard matrices. Lower and upper bounds are given for the dimension of the kernel of the corresponding generalized Hadamard codes. For specific ranks and dimensions of the kernel within these bounds, generalized Hadamard codes are constructed.
△ Less
Submitted 30 June, 2015;
originally announced June 2015.
-
The combinatorics of LCD codes: Linear Programming bound and orthogonal matrices
Authors:
Steven T. Dougherty,
Jon-Lark Kim,
Buket Ozkaya,
Lin Sok,
Patrick Solé
Abstract:
Linear Complementary Dual codes (LCD) are binary linear codes that meet their dual trivially. We construct LCD codes using orthogonal matrices, self-dual codes, combinatorial designs and Gray map from codes over the family of rings $R_k$. We give a linear programming bound on the largest size of an LCD code of given length and minimum distance. We make a table of lower bounds for this combinatoria…
▽ More
Linear Complementary Dual codes (LCD) are binary linear codes that meet their dual trivially. We construct LCD codes using orthogonal matrices, self-dual codes, combinatorial designs and Gray map from codes over the family of rings $R_k$. We give a linear programming bound on the largest size of an LCD code of given length and minimum distance. We make a table of lower bounds for this combinatorial function for modest values of the parameters.
△ Less
Submitted 5 June, 2015;
originally announced June 2015.
-
The automorphism group of the doubly-even [72,36,16] code can only be of order 1, 3 or 5
Authors:
Steven T Dougherty,
Suat Karadeniz,
Bahattin Yildiz
Abstract:
We prove that a putative $[72,36,16]$ code is not the image of linear code over $\ZZ_4$, $\FF_2 + u \FF_2$ or $\FF_2+v\FF_2$, thus proving that the extremal doubly even $[72,36,16]$-binary code cannot have an automorphism group containing a fixed point-free involution. Combining this with the previously proved result by Bouyuklieva that such a code cannot have an automorphism group containing an i…
▽ More
We prove that a putative $[72,36,16]$ code is not the image of linear code over $\ZZ_4$, $\FF_2 + u \FF_2$ or $\FF_2+v\FF_2$, thus proving that the extremal doubly even $[72,36,16]$-binary code cannot have an automorphism group containing a fixed point-free involution. Combining this with the previously proved result by Bouyuklieva that such a code cannot have an automorphism group containing an involution with fixed points, we conclude that the automorphism group of the $[72,36,16]$-code cannot be of even order, leaving 3 and 5 as the only possibilities.
△ Less
Submitted 25 March, 2013; v1 submitted 20 March, 2013;
originally announced March 2013.
-
Self-Dual Codes over Z_2xZ_4
Authors:
J. Borges,
S. T. Dougherty,
C. Fernandez-Cordoba
Abstract:
Self-dual codes over $\Z_2\times\Z_4$ are subgroups of $\Z_2^α\times\Z_4^β$ that are equal to their orthogonal under an inner-product that relates to the binary Hamming scheme. Three types of self-dual codes are defined. For each type, the possible values $α,β$ such that there exist a code $\C\subseteq \Z_2^α\times\Z_4^β$ are established. Moreover, the construction of a $\add$-linear code for ea…
▽ More
Self-dual codes over $\Z_2\times\Z_4$ are subgroups of $\Z_2^α\times\Z_4^β$ that are equal to their orthogonal under an inner-product that relates to the binary Hamming scheme. Three types of self-dual codes are defined. For each type, the possible values $α,β$ such that there exist a code $\C\subseteq \Z_2^α\times\Z_4^β$ are established. Moreover, the construction of a $\add$-linear code for each type and possible pair $(α,β)$ is given. Finally, the standard techniques of invariant theory are applied to describe the weight enumerators for each type.
△ Less
Submitted 16 October, 2009;
originally announced October 2009.
-
Intrinsic Curvature in the X-ray Spectra of BL Lacertae Objects
Authors:
Eric S. Perlman,
Greg Madejski,
Markos Georganopoulos,
Karl Andersson,
Timothy Dougherty,
Julian Krolik,
Travis Rector,
John T. Stocke,
Anuradha Koratkar,
Stefan Wagner,
Margo Aller,
Hugh Aller,
Mark G. Allen
Abstract:
We report results from {\it XMM-Newton} observations of thirteen X-ray bright BL Lacertae objects, selected from the {\it Einstein} Slew Survey sample. The survey was designed to look for evidence of departures of the X-ray spectra from a simple power law shape (i.e., curvature and/or line features), and to find objects worthy of deeper study. Our data are generally well fit by power-law models,…
▽ More
We report results from {\it XMM-Newton} observations of thirteen X-ray bright BL Lacertae objects, selected from the {\it Einstein} Slew Survey sample. The survey was designed to look for evidence of departures of the X-ray spectra from a simple power law shape (i.e., curvature and/or line features), and to find objects worthy of deeper study. Our data are generally well fit by power-law models, with three cases having hard ($Γ<2; dN/dE \propto E^{-Γ}$) spectra that indicate synchrotron peaks at $E \gsim 5$ keV. Previous data had suggested a presence of absorption features in the X-ray spectra of some BL Lacs. In contrast, none of these spectra show convincing examples of line features, either in absorption or emission, suggesting that such features are rare amongst BL Lacs, or, more likely, artifacts caused by instrumental effects. We find significant evidence for intrinsic curvature (steepening by $dΓ/ d({\rm log} E) = 0.4 \pm 0.15$) in fourteen of the seventeen X-ray spectra. This cannot be explained satisfactorily via excess absorption, since the curvature is essentially constant from $0.5-6$ keV, an observation which is inconsistent with the modest amounts of absorption that would be required. We use the {\it XMM-Newton} Optical Monitor data with concurrent radio monitoring to derive broadband spectral energy distributions and peak frequency estimates. From these we examine models of synchrotron emission and model the spectral curvature we see as the result of episodic particle acceleration.
△ Less
Submitted 23 February, 2005; v1 submitted 15 February, 2005;
originally announced February 2005.