title: A Third-Order Weighted Essentially Non-Oscillatory Scheme in Optimal Control Problems Governed by Nonlinear Hyperbolic Conservation Laws

abstract: The weighted essentially non-oscillatory (WENO) methods are popular and effective spatial discretization methods for nonlinear hyperbolic partial differential equations. Although these methods are formally first-order accurate when a shock is present, they still have uniform high-order accuracy right up to the shock location. In this paper, we propose a novel third-order numerical method for solving optimal control problems subject to scalar nonlinear hyperbolic conservation laws. It is based on the first-disretize-then-optimize approach and combines a discrete adjoint WENO scheme of third order with the classical strong stability preserving three-stage third-order Runge-Kutta method SSPRK3. We analyze its approximation properties and apply it to optimal control problems of tracking-type with non-smooth target states. Comparisons to common first-order methods such as the Lax-Friedrichs and Engquist-Osher method show its great potential to achieve a higher accuracy along with good resolution around discontinuities.


title: Valence-Bond Order in a Honeycomb Antiferromagnet Coupled to Quantum Phonons

abstract: We use exact quantum Monte Carlo simulations to demonstrate that the N\'eel ground state of an antiferromagnetic SU(2) spin-$\frac{1}{2}$ Heisenberg model on the honeycomb lattice can be destroyed by a coupling to quantum phonons. We find a clear first-order transition to a valence-bond-solid state with Kekul\'e order instead of a deconfined quantum critical point. However, quantum lattice fluctuations can drive the transition towards weakly first-order, revealing a tunability of the transition by the retardation of the interaction. In contrast to the one-dimensional case, our phase diagram in the adiabatic regime is qualitatively different from the frustrated $J_1$-$J_2$ model. Our results suggest that a coupling to bond phonons can induce Kekul\'e order in Dirac systems.


title: Scalar curvature and the relative capacity of geodesic balls

abstract: In a Riemannian manifold, it is well known that the scalar curvature at a point can be recovered from the volumes (areas) of small geodesic balls (spheres). We show the scalar curvature is likewise determined by the relative capacities of concentric small geodesic balls. This result has motivation from general relativity (as a complement to a previous study by the author of the capacity of large balls in an asymptotically flat manifold) and from weak definitions of nonnegative scalar curvature. It also motivates a conjecture (inspired by the famous volume conjecture of Gray and Vanhecke), regarding whether Euclidean-like behavior of the relative capacity on the small scale is sufficient to characterize a space as flat.


title: SceneGen: Generative Contextual Scene Augmentation using Scene Graph Priors

abstract: Spatial computing experiences are constrained by the real-world surroundings of the user. In such experiences, augmenting virtual objects to existing scenes require a contextual approach, where geometrical conflicts are avoided, and functional and plausible relationships to other objects are maintained in the target environment. Yet, due to the complexity and diversity of user environments, automatically calculating ideal positions of virtual content that is adaptive to the context of the scene is considered a challenging task. Motivated by this problem, in this paper we introduce SceneGen, a generative contextual augmentation framework that predicts virtual object positions and orientations within existing scenes. SceneGen takes a semantically segmented scene as input, and outputs positional and orientational probability maps for placing virtual content. We formulate a novel spatial Scene Graph representation, which encapsulates explicit topological properties between objects, object groups, and the room. We believe providing explicit and intuitive features plays an important role in informative content creation and user interaction of spatial computing settings, a quality that is not captured in implicit models. We use kernel density estimation (KDE) to build a multivariate conditional knowledge model trained using prior spatial Scene Graphs extracted from real-world 3D scanned data. To further capture orientational properties, we develop a fast pose annotation tool to extend current real-world datasets with orientational labels. Finally, to demonstrate our system in action, we develop an Augmented Reality application, in which objects can be contextually augmented in real-time.


title: Gel rupture in a dynamic environment

abstract: Hydrogels have had a profound impact in the fields of tissue engineering, drug delivery, and materials science as a whole. Due to the network architecture of these materials, imbibement with water often results in uniform swelling and isotropic expansion which scales with the degree of cross-linking. However, the development of internal stresses during swelling can have dramatic consequences, leading to surface instabilities as well as rupture or bursting events. To better understand hydrogel behavior, macroscopic mechanical characterization techniques (e.g.\ tensile testing, rheometry) are often used, however most commonly these techniques are employed on samples that are in two distinct states: (1) unswollen and without any solvent, or (2) in an equilibrium swelling state where the maximum amount of water has been imbibed. Rarely is the dynamic process of swelling studied, especially in samples where rupture or failure events are observed. To address this gap, here we focus on rupture events in poly(ethylene glycol)-based networks that occur in response to swelling with water. Rupture events were visualized using high-speed imaging, and the influence of swelling on material properties was characterized using dynamic mechanical analysis. We find that rupture events follow a three-stage process that includes a waiting period, a slow fracture period, and a final stage in which a rapid increase in the velocity of crack propagation is observed. We describe this fracture behavior based on changes in material properties that occur during swelling, and highlight how this rupture behavior can be controlled by straight-forward modifications to the hydrogel network structure.


title: Stability Theory for Nullity and Deficiency of Linear Relations

abstract: Let $\mathcal A$ and $\mathcal B$ be two closed linear relation acting between two Banach spaces $X$ and $Y$ and let $\lambda$ be a complex number. We study the stability of the nullity and deficiency of $\mathcal A$ when it is perturbed by $\lambda\mathcal B$. In particular, we show the existence of a constant $\rho>0$ for which both the nullity and deficiency of $\mathcal A$ remain stable under perturbation by $\lambda\mathcal B$ for all $\lambda$ inside the disk $\vert \lambda\vert <\rho$.


title: Andreev-Coulomb Drag in Coupled Quantum Dots

abstract: The Coulomb drag effect has been observed as a tiny current induced by both electron-hole asymmetry and interactions in normal coupled quantum dot devices. In the present work we show that the effect can be boosted by replacing one of the normal electrodes by a superconducting one. Moreover, we show that at low temperatures and for sufficiently strong coupling to the superconducting lead, the Coulomb drag is dominated by Andreev processes, is robust against details of the system parameters and can be controlled with a single gate voltage. This mechanism can be distinguished from single-particle contributions by a sign inversion of the drag current.


title: Charting the Fifth Force Landscape

abstract: Fifth forces arising from hidden sector scalar operator exchange, as probed in a variety of present and planned experiments, can be captured by a general dispersion relation involving one real, positive, spectral density function. Previously considered scalar fifth forces, from tree-level to more exotic loop-level possibilities, are derived in this formalism, without explicitly performing conventional loop calculations. A variety of experimental observables commonly used in fifth force searches are also presented in the same formalism, allowing the straightforward extraction of limits on any specific model. The speculative possibility of probing hidden sector violations of unitarity, causality, or locality, manifested as a breakdown of the positivity of the spectral density, is also discussed.


title: Double layer in quadratic gravity and least action principle

abstract: The Israel equations for thin shells in General Relativity are derived directly from the least action principle. The method is elaborated for obtaining the equations for double layers in quadratic gravity from the least action principle.


title: Semantic-based Distance Approaches in Multi-objective Genetic Programming

abstract: Semantics in the context of Genetic Program (GP) can be understood as the behaviour of a program given a set of inputs and has been well documented in improving performance of GP for a range of diverse problems. There have been a wide variety of different methods which have incorporated semantics into single-objective GP. The study of semantics in Multi-objective (MO) GP, however, has been limited and this paper aims at tackling this issue. More specifically, we conduct a comparison of three different forms of semantics in MOGP. One semantic-based method, (i) Semantic Similarity-based Crossover (SSC), is borrowed from single-objective GP, where the method has consistently being reported beneficial in evolutionary search. We also study two other methods, dubbed (ii) Semantic-based Distance as an additional criteriOn (SDO) and (iii) Pivot Similarity SDO. We empirically and consistently show how by naturally handling semantic distance as an additional criterion to be optimised in MOGP leads to better performance when compared to canonical methods and SSC. Both semantic distance based approaches made use of a pivot, which is a reference point from the sparsest region of the search space and it was found that individuals which were both semantically similar and dissimilar to this pivot were beneficial in promoting diversity. Moreover, we also show how the semantics successfully promoted in single-objective optimisation does not necessary lead to a better performance when adopted in MOGP.


title: A Novel Regularization Scheme for Nucleon-Nucleon Lattice Simulations with Effective Field Theory

abstract: We propose a new regularization scheme to study the bound state of two-nucleon systems in Lattice Effective Field Theory. Inspired by continuum EFT calculation, we study an exponential regulator acting on the leading-order (LO) and next-to-leading order (NLO) interactions, consisting of local contact terms. By fitting the low-energy coefficients (LECs) to deuteron binding energy and the asymptotic normalization coefficient (ANC) on a lattice simulation, we extract the effective range expansion (ERE) parameters in the $^3S_1$ channel to order $p^2$. We explore the impact of different powers of the regulator on the extracted ERE parameters for the lattice spacing $a=1.97$ fm. Moreover, we investigate how the implementation of the regularization scheme improves the predicted ERE parameters on the lattice spacing in the range of $1.4 \le a \le 2.6$ fm. Our numerical analysis indicates that for lattice spacing greater than $2$ fm, the predicted observables are very close to the experimental data.


title: Universal behavior of the bosonic metallic ground state in a two-dimensional superconductor

abstract: Anomalous metallic behavior, marked by a saturating finite resistivity much lower than the Drude estimate, has been observed in a wide range of two-dimensional superconductors. Utilizing the electrostatically gated LaAlO3/SrTiO3 interface as a versatile platform for superconductor-metal quantum phase transitions, we probe variations in the gate, magnetic field, and temperature to construct a phase diagram crossing from superconductor, anomalous metal, vortex liquid, to Drude metal states, combining longitudinal and Hall resistivity measurements. We find that the anomalous metal phases induced by gating and magnetic field, although differing in symmetry, are connected in the phase diagram and exhibit similar magnetic field response approaching zero temperature. Namely, within a finite regime of the anomalous metal state, the longitudinal resistivity linearly depends on field while the Hall resistivity diminishes, indicating an emergent particle-hole symmetry. The universal behavior highlights the uniqueness of the quantum bosonic metallic state, distinct from bosonic insulators and vortex liquids.


title: Visually Grounded Compound PCFGs

abstract: Exploiting visual groundings for language understanding has recently been drawing much attention. In this work, we study visually grounded grammar induction and learn a constituency parser from both unlabeled text and its visual groundings. Existing work on this task (Shi et al., 2019) optimizes a parser via Reinforce and derives the learning signal only from the alignment of images and sentences. While their model is relatively accurate overall, its error distribution is very uneven, with low performance on certain constituents types (e.g., 26.2% recall on verb phrases, VPs) and high on others (e.g., 79.6% recall on noun phrases, NPs). This is not surprising as the learning signal is likely insufficient for deriving all aspects of phrase-structure syntax and gradient estimates are noisy. We show that using an extension of probabilistic context-free grammar model we can do fully-differentiable end-to-end visually grounded learning. Additionally, this enables us to complement the image-text alignment loss with a language modeling objective. On the MSCOCO test captions, our model establishes a new state of the art, outperforming its non-grounded version and, thus, confirming the effectiveness of visual groundings in constituency grammar induction. It also substantially outperforms the previous grounded model, with largest improvements on more `abstract' categories (e.g., +55.1% recall on VPs).


title: Fair and Efficient Online Allocations with Normalized Valuations

abstract: A set of divisible resources becomes available over a sequence of rounds and needs to be allocated immediately and irrevocably. Our goal is to distribute these resources to maximize fairness and efficiency. Achieving any non-trivial guarantees in an adversarial setting is impossible. However, we show that normalizing the agent values, a very common assumption in fair division, allows us to escape this impossibility. Our main result is an online algorithm for the case of two agents that ensures the outcome is envy-free while guaranteeing 91.6% of the optimal social welfare. We also show that this is near-optimal: there is no envy-free algorithm that guarantees more than 93.3% of the optimal social welfare.


title: Why have a Unified Predictive Uncertainty? Disentangling it using Deep Split Ensembles

abstract: Understanding and quantifying uncertainty in black box Neural Networks (NNs) is critical when deployed in real-world settings such as healthcare. Recent works using Bayesian and non-Bayesian methods have shown how a unified predictive uncertainty can be modelled for NNs. Decomposing this uncertainty to disentangle the granular sources of heteroscedasticity in data provides rich information about its underlying causes. We propose a conceptually simple non-Bayesian approach, deep split ensemble, to disentangle the predictive uncertainties using a multivariate Gaussian mixture model. The NNs are trained with clusters of input features, for uncertainty estimates per cluster. We evaluate our approach on a series of benchmark regression datasets, while also comparing with unified uncertainty methods. Extensive analyses using dataset shits and empirical rule highlight our inherently well-calibrated models. Our work further demonstrates its applicability in a multi-modal setting using a benchmark Alzheimer's dataset and also shows how deep split ensembles can highlight hidden modality-specific biases. The minimal changes required to NNs and the training procedure, and the high flexibility to group features into clusters makes it readily deployable and useful. The source code is available at https://github.com/wazeerzulfikar/deep-split-ensembles


title: An Optimal Computing Budget Allocation Tree Policy for Monte Carlo Tree Search

abstract: We analyze a tree search problem with an underlying Markov decision process, in which the goal is to identify the best action at the root that achieves the highest cumulative reward. We present a new tree policy that optimally allocates a limited computing budget to maximize a lower bound on the probability of correctly selecting the best action at each node. Compared to widely used Upper Confidence Bound (UCB) tree policies, the new tree policy presents a more balanced approach to manage the exploration and exploitation trade-off when the sampling budget is limited. Furthermore, UCB assumes that the support of reward distribution is known, whereas our algorithm relaxes this assumption. Numerical experiments demonstrate the efficiency of our algorithm in selecting the best action at the root.


title: DeepControl: 2D RF pulses facilitating $B_1^+$ inhomogeneity and $B_0$ off-resonance compensation in vivo at 7T

abstract: Purpose: Rapid 2D RF pulse design with subject specific $B_1^+$ inhomogeneity and $B_0$ off-resonance compensation at 7 T predicted from convolutional neural networks is presented. Methods: The convolution neural network was trained on half a million single-channel transmit, 2D RF pulses optimized with an optimal control method using artificial 2D targets, $B_1^+$ and $B_0$ maps. Predicted pulses were tested in a phantom and in vivo at 7 T with measured $B_1^+$ and $B_0$ maps from a high-resolution GRE sequence. Results: Pulse prediction by the trained convolutional neural network was done on the fly during the MR session in approximately 9 ms for multiple hand drawn ROIs and the measured $B_1^+$ and $B_0$ maps. Compensation of $B_1^+$ inhomogeneity and $B_0$ off-resonances has been confirmed in the phantom and in vivo experiments. The reconstructed image data agrees well with the simulations using the acquired $B_1^+$ and $B_0$ maps and the 2D RF pulse predicted by the convolutional neural networks is as good as the conventional RF pulse obtained by optimal control. Conclusion: The proposed convolutional neural network based 2D RF pulse design method predicts 2D RF pulses with an excellent excitation pattern and compensated $B_1^+$ and $B_0$ variations at 7 T. The rapid 2D RF pulse prediction (9 ms) enables subject-specific high-quality 2D RF pulses without the need to run lengthy optimizations.


title: Robust Trajectory Optimization over Uncertain Terrain with Stochastic Complementarity

abstract: Trajectory optimization with contact-rich behaviors has recently gained attention for generating diverse locomotion behaviors without pre-specified ground contact sequences. However, these approaches rely on precise models of robot dynamics and the terrain and are susceptible to uncertainty. Recent works have attempted to handle uncertainties in the system model, but few have investigated uncertainty in contact dynamics. In this study, we model uncertainty stemming from the terrain and design corresponding risk-sensitive objectives under the framework of contact-implicit trajectory optimization. In particular, we parameterize uncertainties from the terrain contact distance and friction coefficients using probability distributions and propose a corresponding expected residual minimization cost design approach. We evaluate our method in three simple robotic examples, including a legged hopping robot, and we benchmark one of our examples in simulation against a robust worst-case solution. We show that our risk-sensitive method produces contact-averse trajectories that are robust to terrain perturbations. Moreover, we demonstrate that the resulting trajectories converge to those generated by a traditional, non-robust method as the terrain model becomes more certain. Our study marks an important step towards a fully robust, contact-implicit approach suitable for deploying robots on real-world terrain.


title: Fundamental limitations to no-jerk gearshifts of multi-speed transmission architectures in electric vehicles

abstract: Multi-speed transmissions can enhance the performance and reduce the overall cost of an electric vehicle, but they also introduce a challenge: avoiding gearshift jerk, which may sometimes prove to be impossible in the presence of motor and clutch saturation. In this article, we introduce three theorems that explicitly define the fundamental limitations to no-jerk gearshifts resulting from motor or actuator saturation. We compare gearshifts that consist of transferring transmission torque from one friction clutch to another, to the case in which one of the clutches is a one-way clutch. We show that systems with a one-way clutch are more prone to motor saturation, causing gearshift jerk to be more often inevitable. We also study the influence of planetary gearsets on the gearshift dynamical trajectories, and expose the impact on the no-jerk limitations. This work offers tools to compare transmission architectures during the conceptual design phase of a new electric vehicle.


title: How Does Thermal Scattering Shape the Infrared Spectra of Cloudy Exoplanets? A Theoretical Framework and Consequences for Atmospheric Retrievals in the JWST era

abstract: Observational studies of exoplanets are suggestive of a ubiquitous presence of clouds. The current modelling techniques used in emission to account for the clouds tend to require prior knowledge of the cloud condensing species and often do not consider the scattering effects of the cloud. We explore the effects that thermal scattering has on the emission spectra by modelling a suite of hot Jupiter atmospheres with varying cloud single-scattering albedos (SSAs) and temperature profiles. We examine cases ranging from simple isothermal conditions to more complex structures and physically driven cloud modelling. We show that scattering from nightside clouds would lead to brightness temperatures that are cooler than the real atmospheric temperature if scattering is unaccounted for. We show that scattering can produce spectral signatures in the emission spectrum even for isothermal atmospheres. We identify the retrieval degeneracies and biases that arise in the context of simulated JWST spectra when the scattering from the clouds dominates the spectral shape. Finally, we propose a novel method of fitting the SSA spectrum of the cloud in emission retrievals, using a technique that does not require any prior knowledge of the cloud chemical or physical properties.


title: Quantum Groverian Geodesic Paths with Gravitational and Thermal Analogies

abstract: We present a unifying variational calculus derivation of Groverian geodesics for both quantum state vectors and quantum probability amplitudes. In the first case, we show that horizontal affinely parametrized geodesic paths on the Hilbert space of normalized vectors emerge from the minimization of the length specified by the Fubini-Study metric on the manifold of Hilbert space rays. In the second case, we demonstrate that geodesic paths for probability amplitudes arise by minimizing the length expressed in terms of the Fisher information. In both derivations, we find that geodesic equations are described by simple harmonic oscillators (SHOs). However, while in the first derivation the frequency of oscillations is proportional to the (constant) energy dispersion of the Hamiltonian system, in the second derivation the frequency of oscillations is proportional to the square-root of the (constant) Fisher information. Interestingly, by setting these two frequencies equal to each other, we recover the well-known Anandan-Aharonov relation linking the squared speed of evolution of an Hamiltonian system with its energy dispersion. Finally, upon transitioning away from the quantum setting, we discuss the universality of the emergence of geodesic motion of SHO type in the presence of conserved quantities by analyzing two specific phenomena of gravitational and thermodynamical origin, respectively.


title: Maximum Covering Subtrees for Phylogenetic Networks

abstract: Tree-based phylogenetic networks, which may be roughly defined as leaf-labeled networks built by adding arcs only between the original tree edges, have elegant properties for modeling evolutionary histories. We answer an open question of Francis, Semple, and Steel about the complexity of determining how far a phylogenetic network is from being tree-based, including non-binary phylogenetic networks. We show that finding a phylogenetic tree covering the maximum number of nodes in a phylogenetic network can be be computed in polynomial time via an encoding into a minimum-cost maximum flow problem.


title: Towards a Natural Language Query Processing System

abstract: Tackling the information retrieval gap between non-technical database end-users and those with the knowledge of formal query languages has been an interesting area of data management and analytics research. The use of natural language interfaces to query information from databases offers the opportunity to bridge the communication challenges between end-users and systems that use formal query languages. Previous research efforts mainly focused on developing structured query interfaces to relational databases. However, the evolution of unstructured big data such as text, images, and video has exposed the limitations of traditional structured query interfaces. While the existing web search tools prove the popularity and usability of natural language query, they return complete documents and web pages instead of focused query responses and are not applicable to database systems. This paper reports our study on the design and development of a natural language query interface to a backend relational database. The novelty in the study lies in defining a graph database as a middle layer to store necessary metadata needed to transform a natural language query into structured query language that can be executed on backend databases. We implemented and evaluated our approach using a restaurant dataset. The translation results for some sample queries yielded a 90% accuracy rate.


title: A Big Data Lake for Multilevel Streaming Analytics

abstract: Large organizations are seeking to create new architectures and scalable platforms to effectively handle data management challenges due to the explosive nature of data rarely seen in the past. These data management challenges are largely posed by the availability of streaming data at high velocity from various sources in multiple formats. The changes in data paradigm have led to the emergence of new data analytics and management architecture. This paper focuses on storing high volume, velocity and variety data in the raw formats in a data storage architecture called a data lake. First, we present our study on the limitations of traditional data warehouses in handling recent changes in data paradigms. We discuss and compare different open source and commercial platforms that can be used to develop a data lake. We then describe our end-to-end data lake design and implementation approach using the Hadoop Distributed File System (HDFS) on the Hadoop Data Platform (HDP). Finally, we present a real-world data lake development use case for data stream ingestion, staging, and multilevel streaming analytics which combines structured and unstructured data. This study can serve as a guide for individuals or organizations planning to implement a data lake solution for their use cases.


title: Process mining classification with a weightless neural network

abstract: Using a weightless neural network architecture WiSARD we propose a straightforward graph to retina codification to represent business process graph flows avoiding kernels, and we present how WiSARD outperforms the classification performance with small training sets in the process mining context.


title: An Analysis of the Impact of SEO on University Website Ranking

abstract: Today, ranking systems in universities have been considered by the academic community, and there is a tight competition between world universities to achieve higher ranks. In the meantime, the ranking of university websites is also in the spotlight, and the Webometric research center announces the ranks of university websites twice a year. Examining university rankings indicators and the Webometric ranks of the university indicates that some of these indicators, directly and indirectly, affect each other. On the other hand, a preliminary study of Webometric indicators shows that some Search Engine Optimization (SEO) indicators can affect Webometric ranks. The purpose of this research is to show how far the SEO metrics can affect the website rank of the university. To do this, after extracting 38 points of the significant SEO metrics of the extracted universities using various tools, data analysis was conducted along with applying association rules on the data. The results of the research show that some of the SEO metrics, such as the number of backlinks, Alexa Rank, and Page Rank have a direct and significant impact on the website rank of universities, and in this regard, interesting rules have been extracted.


title: Three open clusters containing Cepheids: NGC 6649, NGC 6664 and Berkeley 55

abstract: Classical Cepheids in open clusters play an important role in benchmarking stellar evolution models, anchoring the cosmic distance scale, and invariably securing the Hubble constant. NGC 6649, NGC 6664 and Berkeley 55 are three pertinent clusters that host classical Cepheids and red (super)giants, and an analysis was consequently initiated to assess newly acquired spectra ($\approx$50), archival photometry, and $Gaia$ DR2 data. Importantly, for the first time chemical abundances are determined for the evolved members of NGC 6649 and NGC 6664. We find that they are slightly metal-poor relative to the mean Galactic gradient, and an overabundance of Ba is observed. Those clusters likely belong to the thin disc, and the latter finding supports D'Orazi et al. (2009) "$s$-enhanced" scenario. NGC 6664 and Berkeley 55 exhibit radial velocities consistent with Galactic rotation, while NGC 6649 displays a peculiar velocity. The resulting age estimates for the clusters ($\approx$70 Ma) imply masses for the (super)giant demographic of $\approx$6 M$_{sun}$. Lastly, the observed yellow-to-red (super)giant ratio is lower than expected, and the overall differences relative to models reflect outstanding theoretical uncertainties.


title: Towards General Purpose Geometry-Preserving Single-View Depth Estimation

abstract: Single-view depth estimation (SVDE) plays a crucial role in scene understanding for AR applications, 3D modeling, and robotics, providing the geometry of a scene based on a single image. Recent works have shown that a successful solution strongly relies on the diversity and volume of training data. This data can be sourced from stereo movies and photos. However, they do not provide geometrically complete depth maps (as disparities contain unknown shift value). Therefore, existing models trained on this data are not able to recover correct 3D representations. Our work shows that a model trained on this data along with conventional datasets can gain accuracy while predicting correct scene geometry. Surprisingly, only a small portion of geometrically correct depth maps are required to train a model that performs equally to a model trained on the full geometrically correct dataset. After that, we train computationally efficient models on a mixture of datasets using the proposed method. Through quantitative comparison on completely unseen datasets and qualitative comparison of 3D point clouds, we show that our model defines the new state of the art in general-purpose SVDE.


title: Scattering from layered seafloors: Comparisons between theory and integral equations

abstract: Acoustic scattering from layered seafloors exhibits dependence on both the mean geoacoustic layering, as well as the roughness properties of each layer. Several theoretical treatments of this environment exist, including the small roughness perturbation approximation, the Kirchhoff approximation, and three different versions of the small slope approximation. All of these models give different results for the scattering cross section and coherent reflection coefficient, and there is currently no way to distinguish which model is the most correct. In this work, an integral equation for scattering from a layered seafloor with rough interfaces is presented, and compared with small roughness perturbation method, and two of the small slope approximations. It is found that the most recent small slope approximation by Jackson and Olson is the most accurate when the root mean square (rms) roughness is large, and some models are in close agreement with each other when the rms roughness is small.


title: Learning Sparse Sentence Encoding without Supervision: An Exploration of Sparsity in Variational Autoencoders

abstract: It has been long known that sparsity is an effective inductive bias for learning efficient representation of data in vectors with fixed dimensionality, and it has been explored in many areas of representation learning. Of particular interest to this work is the investigation of the sparsity within the VAE framework which has been explored a lot in the image domain, but has been lacking even a basic level of exploration in NLP. Additionally, NLP is also lagging behind in terms of learning sparse representations of large units of text e.g., sentences. We use the VAEs that induce sparse latent representations of large units of text to address the aforementioned shortcomings. First, we move in this direction by measuring the success of unsupervised state-of-the-art (SOTA) and other strong VAE-based sparsification baselines for text and propose a hierarchical sparse VAE model to address the stability issue of SOTA. Then, we look at the implications of sparsity on text classification across 3 datasets, and highlight a link between performance of sparse latent representations on downstream tasks and its ability to encode task-related information.


title: Hydrogel-based Bio-nanomachine Transmitters for Bacterial Molecular Communications

abstract: Bacterial quorum sensing can be engineered with a view to the design of biotechnological applications based on their intrinsic role as a means of communication. We propose the creation of a positive feedback loop that will promote the emission of a superfolded green fluorescence protein from a bacterial population that will flow through hydrogel, which is used to encapsulate the cells. These engineered cells are heretofore referred to as bio-nanomachine transmitters and we show that for lower values of diffusion coefficient, a higher molecular output signal power can be produced, which supports the use of engineered bacteria contained within hydrogels for molecular communications systems. In addition, our wet lab results show the propagation of the molecular output signal, proving the feasibility of engineering a positive feedback loop to create a bio-nanomachine transmitter that can be used for biosensing applications.


title: Different Sodium enhancements among multiple populations of Milky Way globular clusters

abstract: We searched for trails to understand the different Na abundances measured in first and second generation stars of ancient Milky Way globular clusters. For that purpose, we gathered from the recent literature the aforementioned Na abundances, orbital parameters, structural and internal dynamical properties and ages in an homogeneous scale of 28 globular clusters. We found that the intra-cluster Na enrichment, measured by the difference of Na abundances between first and second generation stars, exhibits a trend as a function of the Na abundances of first generation stars, in the sense that the more Na-poor the first generation stars, the larger the Na enrichment. By using the inclinations of the globular clusters' orbits, the analyzed Na enrichments also hinted at a boundary at ~0.3 dex to differentiate globular clusters with an accreted or in situ origin, the accreted globular clusters having larger Na enrichments. Because relatively larger intra-cluster Na enhancements are seen in accreted globular clusters, and small Na enhancements are observed in globular clusters formed in situ (although not exclusively), we speculate with the possibility that the amplitude of the Na enrichment could be linked with the building block paradigm. Globular clusters at the time of formation of first and second generation stars would seem to keep memory of this hierarchical galaxy formation process.


title: Skew Brownian Motion and Complexity of the ALPS Algorithm

abstract: Simulated tempering is a popular method of allowing MCMC algorithms to move between modes of a multimodal target density {\pi}. The paper [24] introduced the Annealed Leap-Point Sampler (ALPS) to allow for rapid movement between modes. In this paper, we prove that, under appropriate assumptions, a suitably scaled version of the ALPS algorithm converges weakly to skew Brownian motion. Our results show that under appropriate assumptions, the ALPS algorithm mixes in time O(d[log(d)]^2 ) or O(d), depending on which version is used.


title: Towards Inclusive Practices with Indigenous Knowledge

abstract: Astronomy across world cultures is rooted in Indigenous Knowledge. We share models of partnering with indigenous communities involving Collaboration with Integrity to co-create an inclusive scientific enterprise on Earth and in space.


title: On Semi-Invariants of a Matrix

abstract: For an algebraically closed field $K$ of characteristic zero and a non-singular matrix $A\in \mbox{GL}_n(K)$, a semi-invariant polynomial of $A$ is defined to be a polynomial $p(x)=p(x_1,\dots,x_n)$ with coefficients in $K$ such that $p(xA)=\lambda p(x)$ for some $\lambda\in K$. In this article, we classify all semi-invariant polynomials of $A$ in terms of a canonically constructed basis that will be made precise in the text.


title: Genus 2 Cantor sets

abstract: We construct a geometrically self-similar Cantor set $X$ of genus $2$ in $\mathbb{R}^3$. This construction is the first for which the local genus is shown to be $2$ at every point of $X$. As an application, we construct, also for the first time, a uniformly quasiregular mapping $f:\mathbb{R}^3 \to \mathbb{R}^3$ for which the Julia set $J(f)$ is a genus $2$ Cantor set.


title: Enhancement of superconductivity with external phonon squeezing

abstract: Squeezing of phonons due to the non-linear coupling to electrons is a way to enhance superconductivity as theoretically studied in a recent work [Kennes et al. Nature Physics 13, 479 (2017)]. We study quadratic electron-phonon interaction in the presence of phonon pumping and an additional external squeezing. Interference between these two driving sources induces a phase-sensitive enhancement of electron-electron attraction, which we find as a generic mechanism to enhance any boson-mediated interactions. The strongest enhancement of superconductivity is shown to be on the boundary with the dynamical lattice instabilities caused by driving. We propose several experimental platforms to realize our scheme.


title: Isotope effects in x-ray absorption spectra of liquid water

abstract: The isotope effects in x-ray absorption spectra of liquid water are studied by a many-body approach within electron-hole excitation theory. The molecular structures of both light and heavy water are modeled by path-integral molecular dynamics based on the advanced deep-learning technique. The neural network is trained on ab initio data obtained with SCAN density functional theory. The experimentally observed isotope effect in x-ray absorption spectra is reproduced semiquantitatively in theory. Compared to the spectrum in normal water, the blueshifted and less pronounced pre- and main-edge in heavy water reflect that the heavy water is more structured at short- and intermediate-range of the hydrogen-bond network. In contrast, the isotope effect on the spectrum is negligible at post-edge, which is consistent with the identical long-range ordering in both liquids as observed in the diffraction experiment.


title: Pareto-Optimal Bit Allocation for Collaborative Intelligence

abstract: In recent studies, collaborative intelligence (CI) has emerged as a promising framework for deployment of Artificial Intelligence (AI)-based services on mobile/edge devices. In CI, the AI model (a deep neural network) is split between the edge and the cloud, and intermediate features are sent from the edge sub-model to the cloud sub-model. In this paper, we study bit allocation for feature coding in multi-stream CI systems. We model task distortion as a function of rate using convex surfaces similar to those found in distortion-rate theory. Using such models, we are able to provide closed-form bit allocation solutions for single-task systems and scalarized multi-task systems. Moreover, we provide analytical characterization of the full Pareto set for 2-stream k-task systems, and bounds on the Pareto set for 3-stream 2-task systems. Analytical results are examined on a variety of DNN models from the literature to demonstrate wide applicability of the results


title: XTE: Explainable Text Entailment

abstract: Text entailment, the task of determining whether a piece of text logically follows from another piece of text, is a key component in NLP, providing input for many semantic applications such as question answering, text summarization, information extraction, and machine translation, among others. Entailment scenarios can range from a simple syntactic variation to more complex semantic relationships between pieces of text, but most approaches try a one-size-fits-all solution that usually favors some scenario to the detriment of another. Furthermore, for entailments requiring world knowledge, most systems still work as a "black box", providing a yes/no answer that does not explain the underlying reasoning process. In this work, we introduce XTE - Explainable Text Entailment - a novel composite approach for recognizing text entailment which analyzes the entailment pair to decide whether it must be resolved syntactically or semantically. Also, if a semantic matching is involved, we make the answer interpretable, using external knowledge bases composed of structured lexical definitions to generate natural language justifications that explain the semantic relationship holding between the pieces of text. Besides outperforming well-established entailment algorithms, our composite approach gives an important step towards Explainable AI, allowing the inference model interpretation, making the semantic reasoning process explicit and understandable.


title: Tensor-restriction categories

abstract: Restriction categories were established to handle maps that are partially defined with respect to composition. Tensor topology realises that monoidal categories have an intrinsic notion of space, and deals with objects and maps that are partially defined with respect to this spatial structure. We introduce a construction that turns a firm monoidal category into a restriction category and axiomatise the monoidal restriction categories that arise this way, called tensor-restriction categories.


title: Deep Artifact-Free Residual Network for Single Image Super-Resolution

abstract: Recently, convolutional neural networks have shown promising performance for single-image super-resolution. In this paper, we propose Deep Artifact-Free Residual (DAFR) network which uses the merits of both residual learning and usage of ground-truth image as target. Our framework uses a deep model to extract the high-frequency information which is necessary for high-quality image reconstruction. We use a skip-connection to feed the low-resolution image to the network before the image reconstruction. In this way, we are able to use the ground-truth images as target and avoid misleading the network due to artifacts in difference image. In order to extract clean high-frequency information, we train the network in two steps. The first step is a traditional residual learning which uses the difference image as target. Then, the trained parameters of this step are transferred to the main training in the second step. Our experimental results show that the proposed method achieves better quantitative and qualitative image quality compared to the existing methods.


title: Online Learnable Keyframe Extraction in Videos and its Application with Semantic Word Vector in Action Recognition

abstract: Video processing has become a popular research direction in computer vision due to its various applications such as video summarization, action recognition, etc. Recently, deep learning-based methods have achieved impressive results in action recognition. However, these methods need to process a full video sequence to recognize the action, even though most of these frames are similar and non-essential to recognizing a particular action. Additionally, these non-essential frames increase the computational cost and can confuse a method in action recognition. Instead, the important frames called keyframes not only are helpful in the recognition of an action but also can reduce the processing time of each video sequence for classification or in other applications, e.g. summarization. As well, current methods in video processing have not yet been demonstrated in an online fashion. Motivated by the above, we propose an online learnable module for keyframe extraction. This module can be used to select key-shots in video and thus can be applied to video summarization. The extracted keyframes can be used as input to any deep learning-based classification model to recognize action. We also propose a plugin module to use the semantic word vector as input along with keyframes and a novel train/test strategy for the classification models. To our best knowledge, this is the first time such an online module and train/test strategy have been proposed. The experimental results on many commonly used datasets in video summarization and in action recognition have shown impressive results using the proposed module.


title: Efficient matrix-product-state preparation of highly entangled trial states: Weak Mott insulators on the triangular lattice revisited

abstract: Using tensor network states to unravel the physics of quantum spin liquids in minimal, yet generic microscopic spin or electronic models remains notoriously challenging. A prominent open question concerns the nature of the insulating ground state of two-dimensional half-filled Hubbard-type models on the triangular lattice in the vicinity of the Mott metal-insulator transition, a regime which can be approximated microscopically by a spin-1/2 Heisenberg model supplemented with additional "ring-exchange" interactions. Using a novel and efficient state preparation technique whereby we initialize full density matrix renormalization group (DMRG) calculations with highly entangled Gutzwiller-projected Fermi surface trial wave functions, we show -- contrary to previous works -- that the simplest triangular lattice $J$-$K$ spin model with four-site ring exchange likely does not harbor a fully gapless U(1) spinon Fermi surface (spin Bose metal) phase on four- and six-leg wide ladders. Our methodology paves the way to fully resolve with DMRG other controversial problems in the fields of frustrated quantum magnetism and strongly correlated electrons.


title: FLC tuned with Gravitational Search Algorithm for Nonlinear Pose Filter

abstract: Nonlinear pose (\textit{i.e,} attitude and position) filters are characterized with simpler structure and better tracking performance in comparison with other methods of pose estimation. A critical factor when designing a nonlinear pose filter is the selection of the error function. Conventional design of nonlinear pose filter design trade-off between fast adaptation and robustness. This paper introduces a new practical approach based on fuzzy rules for on-line continuous tuning of the nonlinear pose filter. Each of input and output membership functions are optimally tuned using graphical search algorithm optimization considering both pose error and its rate of change. The proposed approach is characterized with high adaptation features and strong level of robustness. Therefore, the proposed approach results of robust and fast convergence properties. The simulation results show the effectiveness of the proposed approach considering uncertain measurements and large error in initialization.


title: Democratizing Artificial Intelligence in Healthcare: A Study of Model Development Across Two Institutions Incorporating Transfer Learning

abstract: The training of deep learning models typically requires extensive data, which are not readily available as large well-curated medical-image datasets for development of artificial intelligence (AI) models applied in Radiology. Recognizing the potential for transfer learning (TL) to allow a fully trained model from one institution to be fine-tuned by another institution using a much small local dataset, this report describes the challenges, methodology, and benefits of TL within the context of developing an AI model for a basic use-case, segmentation of Left Ventricular Myocardium (LVM) on images from 4-dimensional coronary computed tomography angiography. Ultimately, our results from comparisons of LVM segmentation predicted by a model locally trained using random initialization, versus one training-enhanced by TL, showed that a use-case model initiated by TL can be developed with sparse labels with acceptable performance. This process reduces the time required to build a new model in the clinical environment at a different institution.


title: Quantum Enhanced Precision Estimation of Transmission with Bright Squeezed Light

abstract: Squeezed light enables measurements with sensitivity beyond the quantum noise limit (QNL) for optical techniques such as spectroscopy, gravitational wave detection, magnetometry and imaging. Precision of a measurement -- as quantified by the variance of repeated estimates -- has also been enhanced beyond the QNL using squeezed light. However, sub-QNL sensitivity is not sufficient to achieve sub-QNL precision. Furthermore, demonstrations of sub-QNL precision in estimating transmission have been limited to picowatts of probe power. Here we demonstrate simultaneous enhancement of precision and sensitivity to beyond the QNL for estimating modulated transmission with a squeezed amplitude probe of 0.2 mW average (25 W peak) power, which is 8 orders of magnitude above the power limitations of previous sub-QNL precision measurements of transmission. Our approach enables measurements that compete with the optical powers of current classical techniques, but have both improved precision and sensitivity beyond the classical limit.


title: Spin-selective resonant tunneling induced by Rashba spin-orbit interaction in semiconductor nanowire

abstract: We consider a single electron confined within a quantum wire in a system of two electrostatically-induced QDs defined by nearby gates. The time-varying electric field, of single GHz frequency, perpendicular to the quantum wire, is used to induce the Rashba coupling and enable spin-dependent resonant tunneling of the electron between two adjacent potential wells with fidelity over 99.5%. This effect can be used for the high fidelity all-electrical electron-spin initialization or readout in the spin-based quantum computer. In contrast to other spin initialization methods, our technique can be performed adiabatically without increase in the energy of the electron. Our simulations are supported by a realistic self-consistent time-dependent Poisson-Schroedinger calculations.


title: Subharmonic Dynamics of Wave Trains in Reaction Diffusion Systems

abstract: We investigate the stability and nonlinear local dynamics of spectrally stable wave trains in reaction-diffusion systems. For each $N\in\mathbb{N}$, such $T$-periodic traveling waves are easily seen to be nonlinearly asymptotically stable (with asymptotic phase) with exponential rates of decay when subject to $NT$-periodic, i.e., subharmonic, perturbations. However, both the allowable size of perturbations and the exponential rates of decay depend on $N$, and, in particular, they tend to zero as $N\to\infty$, leading to a lack of uniformity in such subharmonic stability results. In this work, we build on recent work by the authors and introduce a methodology that allows us to achieve a stability result for subharmonic perturbations which is uniform in $N$. Our work is motivated by the dynamics of such waves when subject to perturbations which are localized (i.e. integrable on the line), which has recently received considerable attention by many authors.


title: On feasibility of extrapolation of the complex electromagnetic permittivity function using Kramer-Kronig relations

abstract: We study the degree of reliability of extrapolation of complex electromagnetic permittivity functions based on their analyticity properties. Given two analytic functions, representing extrapolants of the same experimental data, we examine how much they can differ at an extrapolation point outside of the experimentally accessible frequency band. We give a sharp upper bound on the worst case extrapolation error, in terms of a solution of an integral equation of Fredholm type. We conjecture and give numerical evidence that this bound exhibits a power law precision deterioration as one moves further away from the frequency band containing measurement data.


title: Hypergraph $k$-cut for fixed $k$ in deterministic polynomial time

abstract: We consider the Hypergraph-$k$-cut problem. The input consists of a hypergraph $G=(V,E)$ with non-negative hyperedge-costs $c: E\rightarrow R_+$ and a positive integer $k$. The objective is to find a least-cost subset $F\subseteq E$ such that the number of connected components in $G-F$ is at least $k$. An alternative formulation of the objective is to find a partition of $V$ into $k$ non-empty sets $V_1,V_2,\ldots,V_k$ so as to minimize the cost of the hyperedges that cross the partition. Graph-$k$-cut, the special case of Hypergraph-$k$-cut obtained by restricting to graph inputs, has received considerable attention. Several different approaches lead to a polynomial-time algorithm for Graph-$k$-cut when $k$ is fixed, starting with the work of Goldschmidt and Hochbaum (1988). In contrast, it is only recently that a randomized polynomial time algorithm for Hypergraph-$k$-cut was developed (Chandrasekaran, Xu, Yu, 2018) via a subtle generalization of Karger's random contraction approach for graphs. In this work, we develop the first deterministic polynomial time algorithm for Hypergraph-$k$-cut for all fixed $k$. We describe two algorithms both of which are based on a divide and conquer approach. The first algorithm is simpler and runs in $n^{O(k^2)}$ time while the second one runs in $n^{O(k)}$ time. Our proof relies on new structural results that allow for efficient recovery of the parts of an optimum $k$-partition by solving minimum $(S,T)$-terminal cuts. Our techniques give new insights even for Graph-$k$-cut.


title: A Generic Framework for Clustering Vehicle Motion Trajectories

abstract: The development of autonomous vehicles requires having access to a large amount of data in the concerning driving scenarios. However, manual annotation of such driving scenarios is costly and subject to the errors in the rule-based trajectory labeling systems. To address this issue, we propose an effective non-parametric trajectory clustering framework consisting of five stages: (1) aligning trajectories and quantifying their pairwise temporal dissimilarities, (2) embedding the trajectory-based dissimilarities into a vector space, (3) extracting transitive relations, (4) embedding the transitive relations into a new vector space, and (5) clustering the trajectories with an optimal number of clusters. We investigate and evaluate the proposed framework on a challenging real-world dataset consisting of annotated trajectories. We observe that the proposed framework achieves promising results, despite the complexity caused by having trajectories of varying length. Furthermore, we extend the framework to validate the augmentation of the real dataset with synthetic data generated by a Generative Adversarial Network (GAN) where we examine whether the generated trajectories are consistent with the true underlying clusters.


title: Quantum Fluctuations and New Instantons II: Quartic Unbounded Potential

abstract: We study the fate of a false vacuum in the case of a potential that contains a portion which is quartic and unbounded. We first prove that an $O(4)$ invariant instanton with the Coleman boundary conditions does not exist in this case. This, however, does not imply that the false vacuum does not decay. We show how the quantum fluctuations may regularize the singular classical solutions. This gives rise to a new class of $O(4)$ invariant regularized instantons which describe the vacuum instability in the absence of the Coleman instanton. We derive the corresponding solutions and calculate the decay rate they induce.


title: Quantum Fluctuations and New Instantons I: Linear Unbounded Potential

abstract: We consider the decay of a false vacuum in circumstances where the methods suggested by Coleman run into difficulties. We find that in these cases quantum fluctuations play a crucial role. Namely, they naturally induce both an ultraviolet and infrared cutoff scales, determined by the parameters of the classical solution, beyond which this solution cannot be trusted anymore. This leads to the appearance of a broad class of new $O(4)$ invariant instantons, which would have been singular in the absence of an ultraviolet cutoff. We apply our results to a case where the potential is unbounded from below in a linear way and in particular show how the problem of small instantons is resolved by taking into account the inevitable quantum fluctuations.


title: A Complex Stiffness Human Impedance Model with Customizable Exoskeleton Control

abstract: The natural impedance, or dynamic relationship between force and motion, of a human operator can determine the stability of exoskeletons that use interaction-torque feedback to amplify human strength. While human impedance is typically modelled as a linear system, our experiments on a single-joint exoskeleton testbed involving 10 human subjects show evidence of nonlinear behavior: a low-frequency asymptotic phase for the dynamic stiffness of the human that is different than the expected zero, and an unexpectedly consistent damping ratio as the stiffness and inertia vary. To explain these observations, this paper considers a new frequency-domain model of the human joint dynamics featuring complex value stiffness comprising a real stiffness term and a hysteretic damping term. Using a statistical F-test we show that the hysteretic damping term is not only significant but is even more significant than the linear damping term. Further analysis reveals a linear trend linking hysteretic damping and the real part of the stiffness, which allows us to simplify the complex stiffness model down to a 1-parameter system. Then, we introduce and demonstrate a customizable fractional-order controller that exploits this hysteretic damping behavior to improve strength amplification bandwidth while maintaining stability, and explore a tuning approach which ensures that this stability property is robust to muscle co-contraction for each individual.


title: Walnut: A low-trust trigger-action platform

abstract: Trigger-action platforms are a new type of system that connect IoT devices with web services. For example, the popular IFTTT platform can connect Fitbit with Google Calendar to add a bedtime reminder based on sleep history. However, these platforms present confidentiality and integrity risks as they run on public cloud infrastructure and compute over sensitive user data. This paper describes the design, implementation, and evaluation of Walnut, a low-trust trigger-action platform that mimics the functionality of IFTTT, while ensuring confidentiality of data and correctness of computation, at a low resource cost. The key enabler for Walnut is a new two-party secure computation protocol that (i) efficiently performs strings substitutions, which is a common computation in trigger-action platform workloads, and (ii) replicates computation over heterogeneous trusted-hardware machines from different vendors to ensure correctness of computation output as long as one of the machines is not compromised. An evaluation of Walnut demonstrates its plausible deployability and low overhead relative to a non-secure baseline--3.6x in CPU and 4.3x in network for all but a small percentage of programs.


title: Moment maps of Abelian groups and commuting Toeplitz operators acting on the unit ball

abstract: We prove that to every connected Abelian subgroup $H$ of the biholomorphisms of the unit ball $\mathbb{B}^n$ we can associate a set of bounded symbols whose corresponding Toeplitz operators generate a commutative $C^*$-algebra on every weighted Bergman space. These symbols are of the form $a(z) = f(\mu^H(z))$, where $\mu^H$ is the moment map for the action of $H$ on $\mathbb{B}^n$. We show that, for this construction, if $H$ is a maximal Abelian subgroup, then the symbols introduced are precisely the $H$-invariant symbols. We provide the explicit computation of moment maps to obtain special sets of symbols described in terms of coordinates. In particular, it is proved that our symbol sets have as particular cases all symbol sets from the current literature that yield Toeplitz operators generating commutative $C^*$-algebras on all weighted Bergman spaces on the unit ball $\mathbb{B}^n$. Furthermore, we exhibit examples that show that some of the symbol sets introduced in this work have not been considered before. Finally, several explicit formulas for the corresponding spectra of the Toeplitz operators are presented. These include spectral integral expressions that simplify the known formulas for maximal Abelian subgroups for the unit ball.


title: Sudden Freezing and Thawing of Entanglement Sharing in a Shrunken Volume

abstract: Within the one-excitation context of two identical two-level atoms interacting with a common cavity, we examine the dynamics of all bipartite one-to-other entanglements between each qubit and the remaining part of the whole system. We find a new non-analytic "sudden" dynamical behavior of entanglement. Specifically, the sum of the three one-to-other entanglements of the system can be suddenly frozen at its maximal value or can be suddenly thawed from this value in a periodic manner. We calculate the onset timing of sudden freezing and sudden thawing under several different initial conditions. The phenomenon of permanent freezing for entanglement is also found. We also identify a non-trivial upper limit for the sum of three individual entanglements, which exposes the concept of entanglement sharing in a shrunken "volume". Further analyses about freezing and thawing processes reveal quantitative and qualitative laws of entanglement sharing.


title: Tinkering with Lattices: A New Take on the Erd\H{o}s Distance Problem

abstract: The Erd\H{o}s distance problem concerns the least number of distinct distances that can be determined by $N$ points in the plane. The integer lattice with $N$ points is known as \textit{near-optimal}, as it spans $\Theta(N/\sqrt{\log(N)})$ distinct distances, the lower bound for a set of $N$ points (Erd\H{o}s, 1946). The only previous non-asymptotic work related to the Erd\H{o}s distance problem that has been done was for $N \leq 13$. We take a new non-asymptotic approach to this problem in a model case, studying the distance distribution, or in other words, the plot of frequencies of each distance of the $N\times N$ integer lattice. In order to fully characterize this distribution, we adapt previous number-theoretic results from Fermat and Erd\H{o}s in order to relate the frequency of a given distance on the lattice to the sum-of-squares formula. We study the distance distributions of all the lattice's possible subsets; although this is a restricted case, the structure of the integer lattice allows for the existence of subsets which can be chosen so that their distance distributions have certain properties, such as emulating the distribution of randomly distributed sets of points for certain small subsets, or emulating that of the larger lattice itself. We define an error which compares the distance distribution of a subset with that of the full lattice. The structure of the integer lattice allows us to take subsets with certain geometric properties in order to maximize error; we show these geometric constructions explicitly. Further, we calculate explicit upper bounds for the error when the number of points in the subset is $4$, $5$, $9$ or $\left \lceil N^2/2\right\rceil$ and prove a lower bound in cases with a small number of points.


title: Emergent dynamics from entangled mixed states

abstract: Entanglement is at the core of quantum physics, playing a central role in quantum phenomena involving composite systems. According to the timeless picture of quantum dynamics, entanglement may also be essential for understanding the very origins of dynamical evolution and the flow of time. Within this point of view, the Universe is regarded as a bipartite entity comprising a clock $C$ and a system $R$ (or "rest of the Universe") jointly described by a global stationary state, and the dynamical evolution of $R$ is construed as an emergent phenomena arising from the entanglement between $C$ and $R$. In spite of substantial recent efforts, many aspects of this approach remain unexplored, particularly those involving mixed states. In the present contribution we investigate the timeless picture of quantum dynamics for mixed states of the clock-system composite, focusing on quantitative relations linking the clock-system entanglement with the emerging dynamical evolution experienced by the system.


title: BET: A Backtranslation Approach for Easy Data Augmentation in Transformer-based Paraphrase Identification Context

abstract: Newly-introduced deep learning architectures, namely BERT, XLNet, RoBERTa and ALBERT, have been proved to be robust on several NLP tasks. However, the datasets trained on these architectures are fixed in terms of size and generalizability. To relieve this issue, we apply one of the most inexpensive solutions to update these datasets. We call this approach BET by which we analyze the backtranslation data augmentation on the transformer-based architectures. Using the Google Translate API with ten intermediary languages from ten different language families, we externally evaluate the results in the context of automatic paraphrase identification in a transformer-based framework. Our findings suggest that BET improves the paraphrase identification performance on the Microsoft Research Paraphrase Corpus (MRPC) to more than 3% on both accuracy and F1 score. We also analyze the augmentation in the low-data regime with downsampled versions of MRPC, Twitter Paraphrase Corpus (TPC) and Quora Question Pairs. In many low-data cases, we observe a switch from a failing model on the test set to reasonable performances. The results demonstrate that BET is a highly promising data augmentation technique: to push the current state-of-the-art of existing datasets and to bootstrap the utilization of deep learning architectures in the low-data regime of a hundred samples.


title: Theoretical Justification of the Bi Error Method

abstract: Incorrect usage of $p$-values, particularly within the context of significance testing using the arbitrary .05 threshold, has become a major problem in modern statistical practice. The prevalence of this problem can be traced back to the context-free 5-step method commonly taught to undergraduates: we teach it because it is what is done, and we do it because it is what we are taught. This hold particularly true for practitioners of statistics who are not formal statisticians. Thus, in order to improve scientific practice and overcome statistical dichotomania, an accessible replacement for the 5-step method is warranted. We propose a method foundational on the utilization of the Youden Index as a potential decision threshold, which has been shown in the literature to be effective in conjunction with neutral zones. Unlike the traditional 5-step method, our 5-step method (the Bi Error method) allows for neutral results, does not require $p$-values, and does not provide any default threshold values. Instead, our method explicitly requires contextual error analysis as well as quantification of statistical power. Furthermore, and in part due to its lack of usage of p-values, the method sports improved accessibility. This accessibility is supported by a generalized analytical derivation of the Youden Index.


title: The commutative inverse semigroup of partial abelian extensions

abstract: This paper is a new contribution to the partial Galois theory of groups. First, given a unital partial action $\alpha_G$ of a finite group $G$ on an algebra $S$ such that $S$ is an $\alpha_G$-partial Galois extension of $S^{\alpha_G}$ and a normal subgroup $H$ of $G$, we prove that $\alpha_G$ induces a unital partial action $\alpha_{G/H}$ of $G/H$ on the subalgebra of invariants $S^{\alpha_H}$ of $S$ such that $S^{\alpha_H}$ is an $\alpha_{G/H}$-partial Galois extension of $S^{\alpha_G}$. Second, assuming that $G$ is abelian, we construct a commutative inverse semigroup $T_{par}(G,R)$, whose elements are equivalence classes of $\alpha_G$-partial abelian extensions of a commutative algebra $R$. We also prove that there exists a group isomorphism between $T_{par}(G,R)/\rho$ and $T(G,A)$, where $\rho$ is a congruence on $T_{par}(G,R)$ and $T(G,A)$ is the classical Harrison group of the $G$-isomorphism classes of the abelian extensions of a commutative ring $A$. It is shown that the study of $T_{par}(G,R)$ reduces to the case where $G$ is cyclic. The set of idempotents of $T_{par}(G,R)$ is also investigated.


title: Controlled ${\ast}$-operator Frames for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$

abstract: In this paper we study the concept of controlled $\ast$-operator frmae for $End_{\mathcal{A}}^{\ast}(\mathcal{H})$. Also we discuss characterizations of controlled $\ast$-operator frames and we give some properties


title: Multiple-Layer Integrated Interleaved Codes: A Class of Hierarchical Locally Recoverable Codes

abstract: The traditional definition of Integrated Interleaved (II) codes generally assumes that the component nested codes are either Reed-Solomon (RS) or shortened Reed-Solomon codes. By taking general classes of codes, we present a recursive construction of Extended Integrated Interleaved (EII) codes into multiple layers, a problem that brought attention in literature for II codes. The multiple layer approach allows for a hierarchical scheme where each layer of the code provides for a different locality. In particular, we present the erasure-correcting capability of the new codes and we show that they are ideally suited as Locally Recoverable (LRC) codes due to their hierarchical locality and the small finite field required by the construction. Properties of the multiple layer EII codes, like their minimum distance and dimension, as well as their erasure decoding algorithms, parity-check matrices and performance analysis, are provided and illustrated with examples. Finally, we will observe that the parity-check matrices of high layer EII codes have low density.


title: A Block-Based Triangle Counting Algorithm on Heterogeneous Environments

abstract: Triangle counting is a fundamental building block in graph algorithms. In this paper, we propose a block-based triangle counting algorithm to reduce data movement during both sequential and parallel execution. Our block-based formulation makes the algorithm naturally suitable for heterogeneous architectures. The problem of partitioning the adjacency matrix of a graph is well-studied. Our task decomposition goes one step further: it partitions the set of triangles in the graph. By streaming these small tasks to compute resources, we can solve problems that do not fit on a device. We demonstrate the effectiveness of our approach by providing an implementation on a compute node with multiple sockets, cores and GPUs. The current state-of-the-art in triangle enumeration processes the Friendster graph in 2.1 seconds, not including data copy time between CPU and GPU. Using that metric, our approach is 20 percent faster. When copy times are included, our algorithm takes 3.2 seconds. This is 5.6 times faster than the fastest published CPU-only time.


title: On differential operators over a map, thick morphisms of supermanifolds, and symplectic micromorphisms

abstract: We recall the notion of a differential operator over a smooth map (in linear and non-linear settings) and consider its versions such as formal $\hbar$-differential operators over a map. We study constructions and examples of such operators, which include pullbacks by thick morphisms and quantization of symplectic micromorphisms.


title: Multiphoton absorption excited upconversion luminescence in optical fiber

abstract: We experimentally demonstrate a novel nonlinear effect in optical fibers: upconversion luminescence generation excited by multiphoton absorption of femtosecond infrared pulses. We directly estimate the average number of photons involved in the up-conversion process, by varying the wavelength of the pump source. We highlight the role of non-bridging oxygen hole centers and oxygen deficient center defects, and directly compare the intensity of side-scattered luminescence with numerical simulations of pulse propagation.


title: Homogenization of Steklov eigenvalues with rapidly oscillating weights

abstract: In this article we study the homogenization rates of eigenvalues of a Steklov problem with rapidly oscillating periodic weight functions. The results are obtained via a careful study of oscillating functions on the boundary and a precise estimate of the $L^\infty$ bound of eigenfunctions. As an application we provide some estimates on the first nontrivial curve of the Dancer-{F}u{\v{c}}{\'{\i}}k spectrum.


title: Blind Image Super-Resolution with Spatial Context Hallucination

abstract: Deep convolution neural networks (CNNs) play a critical role in single image super-resolution (SISR) since the amazing improvement of high performance computing. However, most of the super-resolution (SR) methods only focus on recovering bicubic degradation. Reconstructing high-resolution (HR) images from randomly blurred and noisy low-resolution (LR) images is still a challenging problem. In this paper, we propose a novel Spatial Context Hallucination Network (SCHN) for blind super-resolution without knowing the degradation kernel. We find that when the blur kernel is unknown, separate deblurring and super-resolution could limit the performance because of the accumulation of error. Thus, we integrate denoising, deblurring and super-resolution within one framework to avoid such a problem. We train our model on two high quality datasets, DIV2K and Flickr2K. Our method performs better than state-of-the-art methods when input images are corrupted with random blur and noise.


title: Symbolic Relational Deep Reinforcement Learning based on Graph Neural Networks and Autoregressive Policy Decomposition

abstract: We focus on reinforcement learning (RL) in relational problems that are naturally defined in terms of objects, their relations, and object-centric actions. These problems are characterized by variable state and action spaces, and finding a fixed-length representation, required by most existing RL methods, is difficult, if not impossible. We present a deep RL framework based on graph neural networks and auto-regressive policy decomposition that naturally works with these problems and is completely domain-independent. We demonstrate the framework's broad applicability in three distinct domains and show impressive zero-shot generalization over different problem sizes.


title: Lateral Force Prediction using Gaussian Process Regression for Intelligent Tire Systems

abstract: Understanding the dynamic behavior of tires and their interactions with road plays an important role in designing integrated vehicle control strategies. Accordingly, having access to reliable information about the tire-road interactions through tire embedded sensors is very demanding for developing enhanced vehicle control systems. Thus, the main objectives of the present research work are i. to analyze data from an experimental accelerometer-based intelligent tire acquired over a wide range of maneuvers, with different vertical loads, velocities, and high slip angles; and ii. to develop a lateral force predictor based on a machine learning tool, more specifically the Gaussian Process Regression (GPR) technique. It is delineated that the proposed intelligent tire system can provide reliable information about the tire-road interactions even in the case of high slip angles. Besides, the lateral forces model based on GPR can predict forces with acceptable accuracy and provide level of uncertainties that can be very useful for designing vehicle control strategies.


title: Quantum de Sitter horizon entropy from quasicanonical bulk, edge, sphere and topological string partition functions

abstract: Motivated by the prospect of constraining microscopic models, we calculate the exact one-loop corrected de Sitter entropy (the logarithm of the sphere partition function) for every effective field theory of quantum gravity, with particles in arbitrary spin representations. In doing so, we universally relate the sphere partition function to the quotient of a quasi-canonical bulk and a Euclidean edge partition function, given by integrals of characters encoding the bulk and edge spectrum of the observable universe. Expanding the bulk character splits the bulk (entanglement) entropy into quasinormal mode (quasiqubit) contributions. For 3D higher-spin gravity formulated as an sl($n$) Chern-Simons theory, we obtain all-loop exact results. Further to this, we show that the theory has an exponentially large landscape of de Sitter vacua with quantum entropy given by the absolute value squared of a topological string partition function. For generic higher-spin gravity, the formalism succinctly relates dS, AdS$^\pm$ and conformal results. Holography is exhibited in quasi-exact bulk-edge cancelation.


title: Critical Laboratory Studies to Advance Planetary Science and Support Missions

abstract: Laboratory studies for planetary science and astrobiology aimat advancing our understanding of the Solar System through the promotion of theoretical and experimental research into the underlying processes that shape it. Laboratory studies (experimental and theoretical) are crucial to interpret observations and mission data, and are key incubators for new mission concepts as well as instrument development and calibration. They also play a vital role in determining habitability of Solar System bodies, enhancing our understanding of the origin of life, and in the search for signs of life beyond Earth, all critical elements of astrobiology. Here we present an overview of the planetary science areas where laboratory studies are critically needed, in particular in the next decade. These areas include planetary & satellites atmospheres, surfaces, and interiors, primitive bodies such as asteroids, meteorites, comets, and trans-Neptunian objects, and signs of life. Generating targeted experimental and theoretical laboratory data that are relevant for a better understanding of the physical, chemical, and biological processes occurring in these environments is crucial. For each area we present i) a brief overview of the state-of-the-art laboratory work, ii) the challenges to analyze and interpret data sets from missions and ground-based observations and to support mission and concept development, and iii) recommendations for high priority laboratory studies.


title: Enhanced 3D Myocardial Strain Estimation from Multi-View 2D CMR Imaging

abstract: In this paper, we propose an enhanced 3D myocardial strain estimation procedure, which combines complementary displacement information from multiple orientations of a single imaging modality (untagged CMR SSFP images). To estimate myocardial strain across the left ventricle, we register the sets of short-axis, four-chamber and two-chamber views via a 2D non-rigid registration algorithm implemented in a commercial software (Segment, Medviso). We then create a series of interpolating functions for the three orthogonal directions of motion and use them to deform a tetrahedral mesh representation of a patient-specific left ventricle. Additionally, we correct for overestimation of displacement by introducing a weighting scheme that is based on displacement along the long axis. The procedure was evaluated on the STACOM 2011 dataset containing CMR SSFP images for 16 healthy volunteers. We show increased accuracy in estimating the three strain components (radial, circumferential, longitudinal) compared to reported results in the challenge, for the imaging modality of interest (SSFP). Our peak strain estimates are also significantly closer to reported measurements from studies of a larger cohort in the literature and our own ground truth measurements using Segment Strain Analysis Module. Our proposed procedure provides a relatively fast and simple method to improve 2D tracking results, with the added flexibility in either deforming a reconstructed mesh model from other image modalities or using the built-in CMR mesh reconstruction procedure. Our, proposed scheme presents a deforming patient-specific model of the left ventricle, using the commonest imaging modality , routinely administered in clinical settings, without requiring additional or specialized imaging protocols.


title: How to empirically model star formation in dark matter halos: I. Inferences about central galaxies from numerical simulations

abstract: We use TNG and EAGLE hydrodynamic simulations to investigate the central galaxy - dark matter halo relations that are needed for a halo-based empirical model of star formation in galaxies. Using a linear dimension reduction algorithm and a model ensemble method, we find that for both star-forming and quenched galaxies, the star formation history (SFH) is tightly related to the halo mass assembly history (MAH). The quenching of a low-mass galaxy is mainly due to the infall-ejection process related to a nearby massive halo, while the quenching of a high-mass galaxy is closely related to the formation of a massive progenitor in its host halo. The classification of star-forming and quenched populations based solely on halo properties contains contamination produced by sample imbalance and overlapping distributions of the two populations. Guided by the results from hydrodynamic simulations, we build an empirical model to predict the SFH of central galaxies based on the MAH of their host halos, and we model the star-forming and quenched populations separately. Our model is based on the idea of adopting star formation templates from hydrodynamic simulations to reduce model complexity. We use various tests to demonstrate that the model can recover star formation histories of individual galaxies, and can statistically reproduce the galaxy bimodal distribution, stellar mass - halo mass and star formation rate - halo mass relations from low to high redshift, and assembly bias. Our study provides a framework of using hydrodynamic simulations to discover, and to motivate the use of, key ingredients to model galaxy formation using halo properties.


title: Investigating Misinformation in Online Marketplaces: An Audit Study on Amazon

abstract: Search and recommendation systems are ubiquitous and irreplaceable tools in our daily lives. Despite their critical role in selecting and ranking the most relevant information, they typically do not consider the veracity of information presented to the user. In this paper, we introduce an audit methodology to investigate the extent of misinformation presented in search results and recommendations on online marketplaces. We investigate the factors and personalization attributes that influence the amount of misinformation in searches and recommendations. Recently, several media reports criticized Amazon for hosting and recommending items that promote misinformation on topics such as vaccines. Motivated by those reports, we apply our algorithmic auditing methodology on Amazon to verify those claims. Our audit study investigates (a) factors that might influence the search algorithms of Amazon and (b) personalization attributes that contribute to amplifying the amount of misinformation recommended to users in their search results and recommendations. Our audit study collected ~526k search results and ~182k homepage recommendations, with ~8.5k unique items. Each item is annotated for its stance on vaccines' misinformation (pro, neutral, or anti). Our study reveals that (1) the selection and ranking by the default Featured search algorithm of search results that have misinformation stances are positively correlated with the stance of search queries and customers' evaluation of items (ratings and reviews), (2) misinformation stances of search results are neither affected by users' activities nor by interacting (browsing, wish-listing, shopping) with items that have a misinformation stance, and (3) a filter bubble built-in users' homepages have a misinformation stance positively correlated with the misinformation stance of items that a user interacts with.


title: A Context Integrated Relational Spatio-Temporal Model for Demand and Supply Forecasting

abstract: Traditional methods for demand forecasting only focus on modeling the temporal dependency. However, forecasting on spatio-temporal data requires modeling of complex nonlinear relational and spatial dependencies. In addition, dynamic contextual information can have a significant impact on the demand values, and therefore needs to be captured. For example, in a bike-sharing system, bike usage can be impacted by weather. Existing methods assume the contextual impact is fixed. However, we note that the contextual impact evolves over time. We propose a novel context integrated relational model, Context Integrated Graph Neural Network (CIGNN), which leverages the temporal, relational, spatial, and dynamic contextual dependencies for multi-step ahead demand forecasting. Our approach considers the demand network over various geographical locations and represents the network as a graph. We define a demand graph, where nodes represent demand time-series, and context graphs (one for each type of context), where nodes represent contextual time-series. Assuming that various contexts evolve and have a dynamic impact on the fluctuation of demand, our proposed CIGNN model employs a fusion mechanism that jointly learns from all available types of contextual information. To the best of our knowledge, this is the first approach that integrates dynamic contexts with graph neural networks for spatio-temporal demand forecasting, thereby increasing prediction accuracy. We present empirical results on two real-world datasets, demonstrating that CIGNN consistently outperforms state-of-the-art baselines, in both periodic and irregular time-series networks.


title: Effective Voice: Beyond Exit and Affect in Online Communities

abstract: Online communities provide ample opportunities for user self-expression but generally lack the means for average users to exercise direct control over community policies. This paper sets out to identify a set of strategies and techniques through which the voices of participants might be better heard through defined mechanisms for institutional governance. Drawing on Albert O. Hirschman's distinction between "exit" and "voice" in institutional life, it introduces a further distinction between two kinds of participation: effective voice, as opposed to the far more widespread practices of affective voice. Effective voice is a form of individual or collective speech that brings about a binding effect according to transparent processes. Platform developers and researchers might explore this neglected form of voice by introducing mechanisms for authority and accountability, collective action, and community evolution.


title: Reducing Operation Cost of LPWAN Roadside Sensors Using Cross Technology Communication

abstract: Low-Power Wide-Area Network (LPWAN) is an emerging communication standard for Internet of Things (IoT) that has strong potential to support connectivity of a large number of roadside sensors with an extremely long communication range. However, the high operation cost to manage such a large-scale roadside sensor network remains as a significant challenge. In this article, we propose Low Operation-Cost LPWAN (LOC-LPWAN), a novel optimization framework that is designed to reduce the operation cost using the cross-technology communication (CTC). LOC-LPWAN allows roadside sensors to offload sensor data to passing vehicles that in turn forward the data to a LPWAN server using CTC aiming to reduce the data subscription cost. LOC-LPWAN finds the optimal communication schedule between sensors and vehicles to maximize the throughput given an available budget. Furthermore, LOC-LPWAN optimizes the fairness among sensors by preventing certain sensors from dominating the channel for data transmission. LOC-LPWAN can also be configured to ensure that data packets are received within a specific time bound. Extensive numerical analysis performed with real-world taxi data consisting of 40 vehicles with 24-hour trajectories demonstrate that LOC-LPWAN reduces the cost by 50% compared with the baseline approach where no vehicle is used to relay packets. The results also show that LOC-LPWAN improves the throughput by 72.6%, enhances the fairness by 65.7%, and reduces the delay by 28.8% compared with a greedy algorithm given the same amount of budget.


title: How will quantum computers provide an industrially relevant computational advantage in quantum chemistry?

abstract: Numerous reports claim that quantum advantage, which should emerge as a direct consequence of the advent of quantum computers, will herald a new era of chemical research because it will enable scientists to perform the kinds of quantum chemical simulations that have not been possible before. Such simulations on quantum computers, promising a significantly greater accuracy and speed, are projected to exert a great impact on the way we can probe reality, predict the outcomes of chemical experiments, and even drive design of drugs, catalysts, and materials. In this work we review the current status of quantum hardware and algorithm theory and examine whether such popular claims about quantum advantage are really going to be transformative. We go over subtle complications of quantum chemical research that tend to be overlooked in discussions involving quantum computers. We estimate quantum computer resources that will be required for performing calculations on quantum computers with chemical accuracy for several types of molecules. In particular, we directly compare the resources and timings associated with classical and quantum computers for the molecules H$_2$ for increasing basis set sizes, and Cr$_2$ for a variety of complete active spaces (CAS) within the scope of the CASCI and CASSCF methods. The results obtained for the chromium dimer enable us to estimate the size of the active space at which computations of non-dynamic correlation on a quantum computer should take less time than analogous computations on a classical computer. Using this result, we speculate on the types of chemical applications for which the use of quantum computers would be both beneficial and relevant to industrial applications in the short term.


title: SIA-GCN: A Spatial Information Aware Graph Neural Network with 2D Convolutions for Hand Pose Estimation

abstract: Graph Neural Networks (GNNs) generalize neural networks from applications on regular structures to applications on arbitrary graphs, and have shown success in many application domains such as computer vision, social networks and chemistry. In this paper, we extend GNNs along two directions: a) allowing features at each node to be represented by 2D spatial confidence maps instead of 1D vectors; and b) proposing an efficient operation to integrate information from neighboring nodes through 2D convolutions with different learnable kernels at each edge. The proposed SIA-GCN can efficiently extract spatial information from 2D maps at each node and propagate them through graph convolution. By associating each edge with a designated convolution kernel, the SIA-GCN could capture different spatial relationships for different pairs of neighboring nodes. We demonstrate the utility of SIA-GCN on the task of estimating hand keypoints from single-frame images, where the nodes represent the 2D coordinate heatmaps of keypoints and the edges denote the kinetic relationships between keypoints. Experiments on multiple datasets show that SIA-GCN provides a flexible and yet powerful framework to account for structural constraints between keypoints, and can achieve state-of-the-art performance on the task of hand pose estimation.


title: Predicting activation energies for vacancy-mediated diffusion in alloys using a transition-state cluster expansion

abstract: Kinetic Monte Carlo models parameterized by first principles calculations are widely used to simulate atomic diffusion. However, accurately predicting the activation energies for diffusion in substitutional alloys remains challenging due to the wide variety of local environments that may exist around the diffusing atom. We address this challenge using a cluster expansion model that explicitly includes a sublattice of sites representing transition states and assess its accuracy in comparison with other models, such as the broken bond model and a model related to Marcus theory, by modeling vacancy-mediated diffusion in Pt-Ni nanoparticles. We find that the prediction error of the cluster expansion is similar to that of other models for small training sets, but with larger training sets the cluster expansion has a significantly lower prediction error than the other models with comparable execution speed. Of the simpler models, the model related to Marcus theory yields predictions of nanoparticle evolution that are most similar to those of the cluster expansion, and a weighted average of the two approaches has the lowest prediction error for activation energies across all training set sizes.


title: Extending Zeckendorf's Theorem to a Non-constant Recurrence and the Zeckendorf Game on this Non-constant Recurrence Relation

abstract: Zeckendorf's Theorem states that every positive integer can be uniquely represented as a sum of non-adjacent Fibonacci numbers, indexed from $1, 2, 3, 5,\ldots$. This has been generalized by many authors, in particular to constant coefficient fixed depth linear recurrences with positive (or in some cases non-negative) coefficients. In this work we extend this result to a recurrence with non-constant coefficients, $a_{n+1} = n a_{n} + a_{n-1}$. The decomposition law becomes every $m$ has a unique decomposition as $\sum s_i a_i$ with $s_i \le i$, where if $s_i = i$ then $s_{i-1} = 0$. Similar to Zeckendorf's original proof, we use the greedy algorithm. We show that almost all the gaps between summands, as $n$ approaches infinity, are of length zero, and give a heuristic that the distribution of the number of summands tends to a Gaussian. Furthermore, we build a game based upon this recurrence relation, generalizing a game on the Fibonacci numbers. Given a fixed integer $n$ and an initial decomposition of $n= na_1$, the players alternate by using moves related to the recurrence relation, and whoever moves last wins. We show that the game is finite and ends at the unique decomposition of $n$, and that either player can win in a two-player game. We find the strategy to attain the shortest game possible, and the length of this shortest game. Then we show that in this generalized game when there are more than three players, no player has the winning strategy. Lastly, we demonstrate how one player in the two-player game can force the game to progress to their advantage.


title: Magnetization Plateau Observed by Ultra-High Field Faraday Rotation in a Kagom\'e Antiferromagnet Herbertsmithite

abstract: To capture the high-field magnetization process of herbertsmithite (ZnCu3(OH)6Cl2), Faraday rotation (FR) measurements were carried out on a single crystal in magnetic fields of up to 190 T. The magnetization data evaluated from the FR angle exhibited a saturation behavior above 150 T at low temperatures, which was attributed to the 1/3 magnetization plateau. The overall behavior of the magnetization process was reproduced by theoretical models based on the nearest-neighbor Heisenberg model. This suggests that herbertsmithite is a proximate kagome antiferromagnet hosting an ideal quantum spin liquid in the ground state. A distinguishing feature is the superlinear magnetization increase, which is in contrast to the Brillouin function-type increase observed by conventional magnetization measurements and indicates a reduced contribution from free spins located at the Zn sites to the FR signal.