title: Unique Distributions Under Non-IID Assumption

abstract: Applications of Strongly Convergent M-Estimators are discussed. Given the ubiquity of distributions across the sciences, multiple applications in the Physical, Biomedical and Social Sciences are elaborated. In one particular implementation unique utilities are attained. Finally, the importance of the results and findings to model fit, inference and prediction are highlighted for broad applicability across the sciences.


title: Constructing the Virasoro groups using differential cohomology

abstract: The Virasoro groups are a family of central extensions of $\mathrm{Diff}^+(S^1)$, the group of orientation-preserving diffeomorphisms of $S^1$, by the circle group $\mathbb T$. We give a novel, geometric construction of these central extensions using "off-diagonal" differential lifts of the first Pontryagin class, thus affirmatively answering a question of Freed-Hopkins.


title: One Sketch for All: One-Shot Personalized Sketch Segmentation

abstract: We present the first one-shot personalized sketch segmentation method. We aim to segment all sketches belonging to the same category provisioned with a single sketch with a given part annotation while (i) preserving the parts semantics embedded in the exemplar, and (ii) being robust to input style and abstraction. We refer to this scenario as personalized. With that, we importantly enable a much-desired personalization capability for downstream fine-grained sketch analysis tasks. To train a robust segmentation module, we deform the exemplar sketch to each of the available sketches of the same category. Our method generalizes to sketches not observed during training. Our central contribution is a sketch-specific hierarchical deformation network. Given a multi-level sketch-strokes encoding obtained via a graph convolutional network, our method estimates rigid-body transformation from the target to the exemplar, on the upper level. Finer deformation from the exemplar to the globally warped target sketch is further obtained through stroke-wise deformations, on the lower level. Both levels of deformation are guided by mean squared distances between the keypoints learned without supervision, ensuring that the stroke semantics are preserved. We evaluate our method against the state-of-the-art segmentation and perceptual grouping baselines re-purposed for the one-shot setting and against two few-shot 3D shape segmentation methods. We show that our method outperforms all the alternatives by more than $10\%$ on average. Ablation studies further demonstrate that our method is robust to personalization: changes in input part semantics and style differences.


title: Harmonic Analysis on the Affine Group of the Plane

abstract: For any natural number $n$, the group $G_n$ of all invertible affine transformations of $n$-dimensional Euclidean space has, up to equivalence, just one square-integrable representation and the left regular representation of $G_n$ is a multiple of this square-integrable representation. We provide a concrete realization $\sigma_2$ of this square-integrable representation of $G_2$ acting on the Hilbert space $L^2\big(\widehat{\mathbb{R}^2}\times\widehat{\mathbb{R}}\big)$. We explicitly decompose the Hilbert space $L^2(G_2)$ as a direct sum of left invariant closed subspaces on each of which the left regular representation acts as a representation equivalent to $\sigma_2$.


title: Anomalous Residual Surface Conductivity in a Superconductor with Strong Spin-Orbit Coupling

abstract: Conventional BCS superconductors are expected to exhibit a conductivity with vanishing dissipation with decreasing temperature. While bulk physical properties measurements indicate PdPb$_{2}$ is a conventional superconductor with a $T_c$ of 3.0 K, measurements of surface impedance through the microwave cavity perturbation technique indicate a large, non-vanishing dissipative component below $T_c$ that is at odds with conventional superconductivity. We demonstrate PdPb$_2$ to be a possible topological superconductor with a fully gapped bulk and a dissipative Majorana fluid surface.


title: Thermalization of light's orbital angular momentum in nonlinear multimode waveguide systems

abstract: We show that the orbital angular momentum (OAM) of a light field can be thermalized in a nonlinear cylindrical multimode optical waveguide. We find, that upon thermal equilibrium, the maximization of the optical entropy leads to a generalized Rayleigh-Jeans distribution that governs the power modal occupancies with respect to the discrete OAM charge numbers. This distribution is characterized by a temperature that is by nature different from that associated with the longitudinal electromagnetic momentum flow of the optical field. Counterintuitively and in contrast to previous results, we demonstrate that even under positive temperatures, the ground state of the fiber is not always the most populated in terms of power. Instead, because of OAM, the thermalization processes may favor higher order modes. A new equation of state is derived along with an extended Euler equation -- resulting from the extensivity of the entropy itself. By monitoring the nonlinear interaction between two multimoded optical wavefronts with opposite spins, we show that the exchange of angular momentum is dictated by the difference in OAM temperatures, in full accord with the second law of thermodynamics. The theoretical analysis presented here is corroborated by numerical simulations that take into account the complex nonlinear dynamics of hundreds of modes. Our results may pave the way towards high power optical sources with controllable orbital angular momenta, and at a more fundamental level, could shed light on the physics of other complex multimoded nonlinear bosonic systems that display additional conservation laws.


title: Harvesting information to control non-equilibrium states of active matter

abstract: We propose to use a correlated noise bath to drive an optically trapped Brownian particle that mimics active biological matter. Thanks to the flexibility and precision of our setup, we are able to control the different parameters that drive the stochastic motion of the particle with unprecedented accuracy, thus reaching strongly correlated regimes that are not easily accessible with real active matter. In particular, by using the correlation time (i.e., the "color") of the noise as a control parameter, we can trigger transitions between two non-equilibrium steady states with no expended work, but only a calorific cost. Remarkably, the measured heat production is directly proportional to the spectral entropy of the correlated noise, in a fashion that is reminiscent of Landauer's principle. Our procedure can be viewed as a method for harvesting information from the active fluctuations.


title: Automorphic symmetries and $ AdS_n $ integrable deformations

abstract: We develop the method based on $ \mathcal{B} $-automorphism for finding new lattice integrable models with various dimensions of local Hilbert spaces. We initiate the technique by implementing it to the two-dimensional models and resolve classification problem, which not only confirms known vertex model solution space, but also extends to the new $ \mathfrak{sl}_{2} $ deformed sector. The generalisation of the approach for string integrable models is provided and allows to find new integrable deformations and associated $ R $-matrices. Hence novel integrable solutions appear to be of non-difference form that admit $ AdS_2 $ and $ AdS_3 $ $ S $-matrices as special cases, we also obtain embedding of double deformed sigma model $ R $-matrix into one of the solutions. The braiding and crossing for the found models as well as their emergence with respect to the deformation parameter $ k $ are shown.


title: Encoding Hierarchical Information in Neural Networks helps in Subpopulation Shift

abstract: Over the past decade, deep neural networks have proven to be adept in image classification tasks, often surpassing humans in terms of accuracy. However, standard neural networks often fail to understand the concept of hierarchical structures and dependencies among different classes for vision related tasks. Humans on the other hand, seem to intuitively learn categories conceptually, progressively growing from understanding high-level concepts down to granular levels of categories. One of the issues arising from the inability of neural networks to encode such dependencies within its learned structure is that of subpopulation shift -- where models are queried with novel unseen classes taken from a shifted population of the training set categories. Since the neural network treats each class as independent from all others, it struggles to categorize shifting populations that are dependent at higher levels of the hierarchy. In this work, we study the aforementioned problems through the lens of a novel conditional supervised training framework. We tackle subpopulation shift by a structured learning procedure that incorporates hierarchical information conditionally through labels. Furthermore, we introduce a notion of graphical distance to model the catastrophic effect of mispredictions. We show that learning in this structured hierarchical manner results in networks that are more robust against subpopulation shifts, with an improvement up to 3\% in terms of accuracy and up to 11\% in terms of graphical distance over standard models on subpopulation shift benchmarks.


title: Covariance matrices for variance-suppressed simulations

abstract: Cosmological $N$-body simulations provide numerical predictions of the structure of the Universe against which to compare data from ongoing and future surveys, but the growing volume of the Universe mapped by surveys requires correspondingly lower statistical uncertainties in simulations, usually achieved by increasing simulation sizes at the expense of computational power. It was recently proposed to reduce simulation variance without incurring additional computational costs by adopting fixed-amplitude initial conditions. This method has been demonstrated not to introduce bias in various statistics, including the two-point statistics of galaxy samples typically used for extracting cosmological parameters from galaxy redshift survey data, but requires us to revisit current methods for estimating covariance matrices of clustering statistics for simulations. In this work, we find that it is not trivial to construct covariance matrices analytically for fixed-amplitude simulations, but we demonstrate that EZmock (Effective Zel'dovich approximation mock catalogue), the most efficient method for constructing mock catalogues with accurate two- and three-point statistics, provides reasonable covariance matrix estimates for such simulations. We further examine how the variance suppression obtained by amplitude-fixing depends on three-point clustering, small-scale clustering, and galaxy bias, and propose intuitive explanations for the effects we observe based on the EZmock bias model.


title: Limit pretrees for free group automorphisms: existence

abstract: To any free group automorphism, we associate a real pretree with several nice properties. First, it has a rigid/non-nesting action of the free group with trivial arc stabilizers. Secondly, there is an expanding pretree-automorphism of the real pretree that represents the free group automorphism. Finally and crucially, the loxodromic elements are exactly those whose (conjugacy class) length grows exponentially under iteration of the automorphism; thus, the action on the real pretree is able to detect the growth type of an element. This construction extends the theory of metric trees that has been used to study free group automorphisms. The new idea is that one can equivariantly blow up an isometric action on a real tree with respect to other real trees and get a rigid action on a treelike structure known as a real pretree. Topology plays no role in this construction as all the work is done in the language of pretrees (intervals).


title: Spectral Proper Orthogonal Decomposition using Multitaper Estimates

abstract: The use of multitaper estimates for spectral proper orthogonal decomposition (SPOD) is explored. Multitaper and multitaper-Welch estimators that use discrete prolate spheroidal sequences (DPSS) as orthogonal data windows are compared to the standard SPOD algorithm that exclusively relies on weighted overlapped segment averaging, or Welch's method, to estimate the cross-spectral density matrix. Two sets of turbulent flow data, one experimental and the other numerical, are used to discuss the choice of resolution bandwidth and the bias-variance tradeoff. Multitaper-Welch estimators that combine both approaches by applying orthogonal tapers to overlapping segments allow for flexible control of resolution, variance, and bias. At additional computational cost but for the same data, Multitaper-Welch estimators provide lower variance estimates at fixed frequency resolution or higher frequency resolution at similar variance compared to the standard algorithm.


title: Existence and asymptotic behavior of non-normal conformal metrics on $\mathbb{R}^4$ with sign-changing $Q$-curvature

abstract: We consider the following prescribed $Q$-curvature problem \begin{equation}\label{uno} \begin{cases} \Delta^2 u=(1-|x|^p)e^{4u}, \quad\text{on}\,\,\mathbb{R}^4\\ \Lambda:=\int_{\mathbb{R}^4}(1-|x|^p)e^{4u}dx<\infty. \end{cases} \end{equation} We show that for every polynomial $P$ of degree 2 such that $\lim\limits_{|x|\to+\infty}P=-\infty$, and for every $\Lambda\in(0,\Lambda_\mathrm{sph})$, there exists at least one solution which assume the form $u=w+P$, where $w$ behaves logarithmically at infinity. Conversely, we prove that all solutions have the form $v+P$, where $$v(x)=\frac{1}{8\pi^2}\int\limits_{\mathbb{R}^4}\log\left(\frac{|y|}{|x-y|}\right)(1-|y|^p)e^{4u}dy$$ and $P$ is a polynomial of degree at most 2 bounded from above. Moreover, if $u$ is a solution to the previous problem, it has the following asymptotic behavior $$u(x)=-\frac{\Lambda}{8\pi^2}\log|x|+P+o(\log|x|),\quad\text{as}\,\,|x|\to+\infty.$$ As a consequence, we give a geometric characterization of solutions in terms of the scalar curvature at infinity of the associated conformal metric $e^{2u}|dx|^2$.


title: The Synthesis of Optimal Control Laws Using Isaacs' Method for the Solution of Differential Games

abstract: In this paper we advocate for Isaacs' method for the solution of differential games to be applied to the solution of optimal control problems. To make the argument, the vehicle employed is Pontryagin's canonical optimal control example, which entails a double integrator plant. However, rather than controlling the state to the origin, we require the end state to reach a terminal set that contains the origin in its interior. Indeed, in practice, it is required to control to a prescribed tolerance rather than reach a desired end state; constraining the end state to a terminal manifold of co-dimension n-1 renders the optimal control problem easier to solve. The global solution of the optimal control problem is obtained and the synthesized optimal control law is in state feedback form. In this respect, two target sets are considered: a smooth circular target and a square target with corners. Closed-loop state-feedback control laws are synthesized that drive the double integrator plant from an arbitrary initial state to the target set in minimum time. This is accomplished using Isaacs' method for the solution of differential games, which entails Dynamic Programming (DP), working backward from the Usable Part (UP) of the target set, as opposed to obtaining the optimal trajectories using the necessary conditions for optimality provided by Pontryagin's Maximum Principle (PMP). In this paper, the case is made for Isaacs' method for the solution of differential games to be applied to the solution of optimal control problems by way of the juxtaposition of the PMP and DP methods.


title: Production of Ammonia Makes Venusian Clouds Habitable and Explains Observed Cloud-Level Chemical Anomalies

abstract: The atmosphere of Venus remains mysterious, with many outstanding chemical connundra. These include: the unexpected presence of ~10 ppm O2 in the cloud layers; an unknown composition of large particles in the lower cloud layers; and hard to explain measured vertical abundance profiles of SO2 and H2O. We propose a new hypothesis for the chemistry in the clouds that largely addresses all of the above anomalies. We include ammonia (NH3), a key component that has been tentatively detected both by the Venera 8 and Pioneer Venus probes. NH3 dissolves in some of the sulfuric acid cloud droplets, effectively neutralizing the acid and trapping dissolved SO2 as ammonium sulfite salts. This trapping of SO2 in the clouds together with the release of SO2 below the clouds as the droplets settle out to higher temperatures, explains the vertical SO2 abundance anomaly. A consequence of the presence of NH3 is that some Venus cloud droplets must be semi-solid ammonium salt slurries, with a pH~1, which matches Earth acidophile environments, rather than concentrated sulfuric acid. The source of NH3 is unknown, but could involve biological production; if so, then the most energy-efficient NH3-producing reaction also creates O2, explaining the detection of O2 in the cloud layers. Our model therefore predicts that the clouds are more habitable than previously thought, and may be inhabited. Unlike prior atmospheric models, ours does not require forced chemical constraints to match the data. Our hypothesis, guided by existing observations, can be tested by new Venus in situ measurements.


title: Bayesian, frequentist, and information geometric approaches to parametric uncertainty quantification of classical empirical interatomic potentials

abstract: In this paper, we consider the problem of quantifying parametric uncertainty in classical empirical interatomic potentials (IPs) using both Bayesian (Markov Chain Monte Carlo) and frequentist (profile likelihood) methods. We interface these tools with the Open Knowledgebase of Interatomic Models and study three models based on the Lennard-Jones, Morse, and Stillinger--Weber potentials. We confirm that IPs are typically sloppy, i.e., insensitive to coordinated changes in some parameter combinations. Because the inverse problem in such models is ill-conditioned, parameters are unidentifiable. This presents challenges for traditional statistical methods, as we demonstrate and interpret within both Bayesian and frequentist frameworks. We use information geometry to illuminate the underlying cause of this phenomenon and show that IPs have global properties similar to those of sloppy models from fields such as systems biology, power systems, and critical phenomena. IPs correspond to bounded manifolds with a hierarchy of widths, leading to low effective dimensionality in the model. We show how information geometry can motivate new, natural parameterizations that improve the stability and interpretation of uncertainty quantification analysis and further suggest simplified, less-sloppy models.


title: The effective noise of Stochastic Gradient Descent

abstract: Stochastic Gradient Descent (SGD) is the workhorse algorithm of deep learning technology. At each step of the training phase, a mini batch of samples is drawn from the training dataset and the weights of the neural network are adjusted according to the performance on this specific subset of examples. The mini-batch sampling procedure introduces a stochastic dynamics to the gradient descent, with a non-trivial state-dependent noise. We characterize the stochasticity of SGD and a recently-introduced variant, \emph{persistent} SGD, in a prototypical neural network model. In the under-parametrized regime, where the final training error is positive, the SGD dynamics reaches a stationary state and we define an effective temperature from the fluctuation-dissipation theorem, computed from dynamical mean-field theory. We use the effective temperature to quantify the magnitude of the SGD noise as a function of the problem parameters. In the over-parametrized regime, where the training error vanishes, we measure the noise magnitude of SGD by computing the average distance between two replicas of the system with the same initialization and two different realizations of SGD noise. We find that the two noise measures behave similarly as a function of the problem parameters. Moreover, we observe that noisier algorithms lead to wider decision boundaries of the corresponding constraint satisfaction problem.


title: Centers of Hecke Algebras of Complex Reflection Groups

abstract: We provide a dual version of the Geck--Rouquier Theorem on the center of an Iwahori--Hecke algebra, which also covers the complex case. For the eight complex reflection groups of rank $2$, for which the symmetrising trace conjecture is known to be true, we provide a new faithful matrix model for their Hecke algebra $H$. These models enable concrete calculations inside $H$. For each of the eight groups, we compute an explicit integral basis of the center of $H$.


title: Solubility of Additive Quartic Forms over Ramified Quadratic Extensions of $\mathbb{Q}_2$

abstract: We determine the minimal number of variables $\Gamma^*(d, K)$ which guarantees a nontrivial solution for every additive form of degree $d=4$ over the four ramified quadratic extensions $\mathbb{Q}_2(\sqrt{2}), \mathbb{Q}_2(\sqrt{10}), \mathbb{Q}_2(\sqrt{-2}), \mathbb{Q}_2(\sqrt{-10}) $ of $\mathbb{Q}_2$. In all four fields, we prove that $\Gamma^*(4,K) = 11$. This is the first example of such a computation for a proper extension of $\mathbb{Q}_p$ where the degree is a power of $p$ greater than $p$.


title: CP Decomposition for Tensors via Alternating Least Squares with QR Decomposition

abstract: The CP tensor decomposition is used in applications such as machine learning and signal processing to discover latent low-rank structure in multidimensional data. Computing a CP decomposition via an alternating least squares (ALS) method reduces the problem to several linear least squares problems. The standard way to solve these linear least squares subproblems is to use the normal equations, which inherit special tensor structure that can be exploited for computational efficiency. However, the normal equations are sensitive to numerical ill-conditioning, which can compromise the results of the decomposition. In this paper, we develop versions of the CP-ALS algorithm using the QR decomposition and the singular value decomposition (SVD), which are more numerically stable than the normal equations, to solve the linear least squares problems. Our algorithms utilize the tensor structure of the CP-ALS subproblems efficiently, have the same complexity as the standard CP-ALS algorithm when the rank is small, and are shown via examples to produce more stable results when ill-conditioning is present. Our MATLAB implementation achieves the same running time as the standard algorithm for small ranks, and we show that the new methods can obtain lower approximation error and more reliably recover low-rank signals from data with known ground truth.


title: Expressions and characterizations for the Moore-Penrose inverse

abstract: Under certain conditions, we prove that the Moore-Penrose inverse of a sum of operators is the sum of the Moore-Penrose inverses. From this, we derive expressions and characterizations for the Moore-Penrose inverse of an operator that are useful for its computation. We give formulations of them for finite matrices and study the Moore-Penrose inverse of circulant matrices and of distance matrices of certain graphs.


title: Absence of in-gap modes in charge density wave edge dislocations of the Weyl semimetal (TaSe$_4$)$_2$I

abstract: Axion electrodynamics in condensed matter could emerge from the formation of charge density waves (CDWs) in Weyl semimetals. (TaSe$_4$)$_2$I was proposed to be the first material platform for realizing axionic CDW that may host topological defects with one-dimensional in-gap modes. The real-space modulation of the CDW phase and the existence of in-gap modes remain elusive. Here, we present a comprehensive scanning tunneling microscopic and spectroscopic study of a CDW on a (TaSe$_4$)$_2$I (110) surface. The tunneling spectroscopic measurements reveal a CDW gap of $\sim 200$ meV, in good agreement with prior studies, while the spectroscopy of CDW edge dislocation shows no indication of in-gap states. The bias-dependent scanning tunneling microscopy images indicate that the CDW in(TaSe$_4$)$_2$I is dominated by a large periodic lattice distortion instead of charge modulation, suggesting a non-Peierls mechanism of the CDW instability.


title: Causality in extremes of time series

abstract: Consider two stationary time series with heavy-tailed marginal distributions. We aim to detect whether they have a causal relation, that is, if a change in one causes a change in the other. Usual methods for causal discovery are not well suited if the causal mechanisms only appear during extreme events. We propose a framework to detect a causal structure from the extremes of time series, providing a new tool to extract causal information from extreme events. We introduce the causal tail coefficient for time series, which can identify asymmetrical causal relations between extreme events under certain assumptions. This method can handle nonlinear relations and latent variables. Moreover, we mention how our method can help estimate a typical time difference between extreme events. Our methodology is especially well suited for large sample sizes, and we show the performance on the simulations. Finally, we apply our method to real-world space-weather and hydro-meteorological datasets.


title: Adaptive Incentive Design with Multi-Agent Meta-Gradient Reinforcement Learning

abstract: Critical sectors of human society are progressing toward the adoption of powerful artificial intelligence (AI) agents, which are trained individually on behalf of self-interested principals but deployed in a shared environment. Short of direct centralized regulation of AI, which is as difficult an issue as regulation of human actions, one must design institutional mechanisms that indirectly guide agents' behaviors to safeguard and improve social welfare in the shared environment. Our paper focuses on one important class of such mechanisms: the problem of adaptive incentive design, whereby a central planner intervenes on the payoffs of an agent population via incentives in order to optimize a system objective. To tackle this problem in high-dimensional environments whose dynamics may be unknown or too complex to model, we propose a model-free meta-gradient method to learn an adaptive incentive function in the context of multi-agent reinforcement learning. Via the principle of online cross-validation, the incentive designer explicitly accounts for its impact on agents' learning and, through them, the impact on future social welfare. Experiments on didactic benchmark problems show that the proposed method can induce selfish agents to learn near-optimal cooperative behavior and significantly outperform learning-oblivious baselines. When applied to a complex simulated economy, the proposed method finds tax policies that achieve better trade-off between economic productivity and equality than baselines, a result that we interpret via a detailed behavioral analysis.


title: Subdiffusion in wave packets with periodically kicked interactions

abstract: We study the quantum dynamics of a peculiar driven system, a Bose gas subjected to periodically kicked interactions. In the limit of infinitely short kicks, this system was recently shown to exhibit a fast exponential spreading of the wave function. Here we examine this problem for kicks or arbitrary duration and show that, in this case, the spreading is not exponential but rather subdiffusive at long time. This phenomenon stems from the competition between the kinetic and interaction energies within the kicks, which is absent in the limit of delta kicks. Our analysis further shows that the breakdown of exponential spreading occurs at relatively short times even for extremely short kicks, suggesting that, in practice, subdiffusion should be more the rule than the exception in this system.


title: Searching for a source without gradients: how good is infotaxis and how to beat it

abstract: Infotaxis is a popular search algorithm designed to track a source of odor in a turbulent environment using information provided by odor detections. To exemplify its capabilities, the source-tracking task was framed as a partially observable Markov decision process consisting in finding, as fast as possible, a stationary target hidden in a 2D grid using stochastic partial observations of the target location. Here we provide an extended review of infotaxis, together with a toolkit for devising better strategies. We first characterize the performance of infotaxis in domains from 1D to 4D. Our results show that, while being suboptimal, infotaxis is reliable (the probability of not reaching the source approaches zero), efficient (the mean search time scales as expected for the optimal strategy), and safe (the tail of the distribution of search times decays faster than any power law, though subexponentially). We then present three possible ways of beating infotaxis, all inspired by methods used in artificial intelligence: tree search, heuristic approximation of the value function, and deep reinforcement learning. The latter is able to find, without any prior human knowledge, the (near) optimal strategy. Altogether, our results provide evidence that the margin of improvement of infotaxis toward the optimal strategy gets smaller as the dimensionality increases.


title: Quasi-one-dimensional $^4$He in nanopores

abstract: Low temperature structural and superfluid properties of $^4$He confined in cylindrical nanopores are theoretically investigated by means of first principle Quantum Monte Carlo (QMC) simulations. We vary the density of $^4$He inside the pore, as well as the pore diameter and the potential describing the interaction of each $^4$He atom with the pore surface. Accordingly, the $^4$He fluid inside the pore forms either a single channel along the axis, or a series of concentric cylindrical shells, with varying degrees of shell overlap. In the limit of pore length greatly exceeding its radius, the $^4$He fluid always displays markedly one-dimensional behavior, with no "dimensional crossover" above some specific pore radius and/or as multiple concentric shells form, in contrast to what recently claimed by other authors [Phys. Rev. B 101, 104505 (2020)]. Indeed, the predicted robustness of one-dimensional physics suggests that this system may offer a broadly viable pathway to the experimental observation of exotic behavior of, e.g., junctions of interacting Tomonaga-Luttinger liquids, in an appropriately designed network of nanopores.


title: Big Bang Nucleosynthesis constraints on higher-order modified gravities

abstract: We use Big Bang Nucleosynthesis (BBN) data in order to impose constraints on higher-order modified gravity, and in particular on: (i) $f(G)$ Gauss-Bonnet gravity, and $f(P)$ cubic gravities, arising respectively through the use of the quadratic-curvature Gauss-Bonnet $G$ term, and the cubic-curvature combination, (ii) string-inspired quadratic Gauss-Bonnet gravity coupled to the dilaton field, (iii) models with string-inspired quartic curvature corrections, and (iv) running vacuum models. We perform a detailed investigation of the BBN epoch and we calculate the deviations of the freeze-out temperature $T_f$ in comparison to $\Lambda$CDM paradigm. We then use the observational bound on $ \left|\frac{\delta {T}_f}{{T}_f}\right|$ in order to extract constraints on the involved parameters of various models. We find that all models can satisfy the BBN constraints and thus they constitute viable cosmological scenarios, since they can additionally account for the dark energy sector and the late-time acceleration, in a quantitative manner, without spoiling the formation of light elements during the BBN epoch. Nevertheless, the obtained constraints on the relevant model parameters are quite strong.


title: Moduli spaces of Riemann surfaces as Hurwitz spaces

abstract: We consider the moduli space $\mathfrak{M}_{g,n}$ of Riemann surfaces of genus $g\ge0$ with $n\ge1$ ordered and directed marked points. For $d\ge 2g+n-1$ we show that $\mathfrak{M}_{g,n}$ is homotopy equivalent to a component of the simplicial Hurwitz space $\mathrm{Hur}^{\Delta}(\mathfrak{S}_d^{\mathrm{geo}})$ associated with the partially multiplicative quandle $\mathfrak{S}_d^{\mathrm{geo}}$. As an application, we give a new proof of the Mumford conjecture on the stable rational cohomology of moduli spaces of Riemann surfaces. We also provide a combinatorial model for the infinite loop space $\Omega^{\infty-2}\mathrm{MTSO}(2)$ of Hurwitz flavour.


title: Proposal to observe paths superpositions in a double-slit setup

abstract: The interference pattern produced by a quantum particle in Young's double-slit setup is attributed to the particle's wavefunction having gone through both slits. In the path integral formulation, this interference involves a superposition of paths, going through either slit, linking the source to the detection point. We show how these paths superpositions can in principle be observed by implementing a series of minimally-perturbing weak measurements between the slits and the detection plane. We further propose a simplified protocol in order to observe these "weak trajectories" with single photons.


title: Understanding the role of anharmonic phonons in diffusion of bcc metal

abstract: Diffusion in high-temperature bcc phase of IIIB-IVB metals such as Zr, Ti, and their alloys is observed to be orders of magnitude higher than bcc metals of group VB-VIB, including Cr, Mo, and W. The underlying reason for this higher diffusion is still poorly understood. To explain this observation, we compare the first-principles-calculated parameters of monovancy-mediated diffusion between bcc Ti, Zr, and dilute Zr- Sn alloys and bcc Cr, Mo, and W. Our results indicate that strongly anharmonic vibrations promote both the vacancy concentration and the diffusive jump rate in bcc IVB metals and can explain their markedly faster diffusion compared to bcc VIB metals. Additionally, we provide an efficient approach to calculate diffusive jump rates according to the transition state theory (TST). The use of standard harmonic TST is impractical in bcc IIIB/IVB metals due to the existence of ill-defined harmonic phonons, and most studies use classical or ab initio molecular dynamics for direct simulation of diffusive jumps. Here, instead, we use a stochastically-sampled temperature-dependent phonon analysis within the transition state theory to study diffusive jumps without the need of direct molecular dynamics simulations. We validate our first-principles diffusion coefficient predictions with available experimental measurements and explain the underlying reasons for the promotion of diffusion in bcc IVB metals/alloys compared to bcc VIB metals.


title: The role of coherence theory in attractor quantum neural networks

abstract: We investigate attractor quantum neural networks (aQNNs) within the framework of coherence theory. We show that: i) aQNNs are associated to non-coherence-generating quantum channels; ii) the depth of the network is given by the decohering power of the corresponding quantum map; and iii) the attractor associated to an arbitrary input state is the one minimizing their relative entropy. Further, we examine faulty aQNNs described by noisy quantum channels, derive their physical implementation and analyze under which conditions their performance can be enhanced by using entanglement or coherence as external resources.


title: Self-testing of multipartite GHZ states of arbitrary local dimension with arbitrary number of measurements per party

abstract: Device independent certification schemes have gained a lot of interest lately, not only for their applications in quantum information tasks but also their implications towards foundations of quantum theory. The strongest form of device independent certification, known as self-testing, often requires for a Bell inequality to be maximally violated by specific quantum states and measurements. In this work, using the techniques developed recently in [S. Sarkar et al., npj Quantum Inf. 7, 151 (2021)], we provide the first self-testing scheme for the multipartite Greenberger-Horne-Zeilinger (GHZ) states of arbitrary local dimension that does not rely on self-testing results for qubit states and that exploits the minimal number of two measurements per party. This makes our results interesting as far as practical implementation of device-independent certification methods is concerned. Our self-testing statement relies on maximal violation of a Bell inequality proposed recently in [R. Augusiak et al., New J. Phys. 21, 113001 (2019)].


title: Cell-Free Massive MIMO Meets OTFS Modulation

abstract: We provide the first-ever performance evaluation of orthogonal time frequency space (OTFS) modulation in cell-free massive multiple-input multiple-output (MIMO) systems. To investigate trade-off between performance and overhead, we apply embedded pilot-aided and superimposed pilot-based channel estimation methods. We then derive a closed-form expression for the individual user downlink and uplink spectral efficiencies as a function of the numbers of APs, users and delay-Doppler domain channel estimate parameters. Based on these analytical results, we also present new scaling laws that the AP's and user's transmit power should satisfy, to sustain a desirable quality of service. It is found that when the number of APs, $M_a$, grows without bound, we can reduce the transmit power of each user and AP proportionally to $1/M_a$ and $1/M_a^2$, respectively, during the uplink and downlink phases. We compare the OTFS performance with that of orthogonal frequency division multiplexing (OFDM) at high-mobility conditions. Our findings reveal that with shadowing correlation, OTFS modulation with embedded pilot-based channel estimation provides $30$-folds gain over the OFDM counterpart in terms of $95\%$-likely per-user downlink rate. Finally, with superimposed pilot-based channel estimation, the increase in the per-user throughput is more pronounced at the median rates over the correlated shadowing channels.


title: Phase Diffusion in Low-$E_J$ Josephson Junctions at milli-Kelvin Temperatures

abstract: Josephson junctions (JJs) with Josephson energy $E_J \lesssim 1K$ are widely employed as non-linear elements in superconducting circuits for quantum computing, operating at milli-Kelvin temperatures. Here we experimentally study incoherent phase slips (IPS) in low-$E_J$ Aluminum-based JJs at $T<0.2K$, where the IPS become the dominant source of dissipation. We observed strong suppression of the critical (switching) current and a very rapid growth of the zero-bias resistance with decreasing Josephson energy below $E_J \sim 1K$. This behavior is attributed to the IPSs whose rate exponentially increases with decreasing the ratio $E_J/T$. Our observations are in line with other data reported in literature. With further improvement of coherence of superconducting qubits, the observed dissipation from IPS might limit the performance of qubits based on low-$E_J$ junctions.


title: Translational Concept Embedding for Generalized Compositional Zero-shot Learning

abstract: Generalized compositional zero-shot learning means to learn composed concepts of attribute-object pairs in a zero-shot fashion, where a model is trained on a set of seen concepts and tested on a combined set of seen and unseen concepts. This task is very challenging because of not only the gap between seen and unseen concepts but also the contextual dependency between attributes and objects. This paper introduces a new approach, termed translational concept embedding, to solve these two difficulties in a unified framework. It models the effect of applying an attribute to an object as adding a translational attribute feature to an object prototype. We explicitly take into account of the contextual dependency between attributes and objects by generating translational attribute features conditionally dependent on the object prototypes. Furthermore, we design a ratio variance constraint loss to promote the model's generalization ability on unseen concepts. It regularizes the distances between concepts by utilizing knowledge from their pretrained word embeddings. We evaluate the performance of our model under both the unbiased and biased concept classification tasks, and show that our model is able to achieve good balance in predicting unseen and seen concepts.


title: Calabi-Yau Metrics, Energy Functionals and Machine-Learning

abstract: We apply machine learning to the problem of finding numerical Calabi-Yau metrics. We extend previous work on learning approximate Ricci-flat metrics calculated using Donaldson's algorithm to the much more accurate "optimal" metrics of Headrick and Nassar. We show that machine learning is able to predict the K\"ahler potential of a Calabi-Yau metric having seen only a small sample of training data.


title: A Cautionary Example Relating to the Interpretation of Numerical Results

abstract: In this paper we propose a very specific educational challenge that teachers can use to motivate ambitious and enthusiastic mathematics students who have mastered basic trigonometry and trig functions. The objective is to lead students to a result that will hopefully surprise and entertain and - more importantly - provide a lesson about when and when not to make inferences relating to "numerical error" when using mathematical software and calculators.


title: Comments on non-Abelian T-duals and their holographic description

abstract: We present three different Type IIB AdS$_4$ Supergravity solutions, derived using the electrostatic-like problem formalism which preserves 8 Poincar\'{e} Supercharges. Two of these solutions correspond to the Abelian and non-Abelian T-duals of a Type IIA background, obtained from the dimensional reduction of 11D AdS$_4 \times S^7$ Supegravity. The third solution is a new background with some special properties. We compute the Page charges in each case, and provide brane set-up descriptions of the geometries. Also, we argue that the non-Abelian T-dual can be understood as a zoom-in of a more general background with a well defined holographic dual.


title: Third-Order Moment Varieties of Linear Non-Gaussian Graphical Models

abstract: In this paper we study linear non-Gaussian graphical models from the perspective of algebraic statistics. These are acyclic causal models in which each variable is a linear combination of its direct causes and independent noise. The underlying directed causal graph can be identified uniquely via the set of second and third order moments of all random vectors that lie in the corresponding model. Our focus is on finding the algebraic relations among these moments for a given graph. We show that when the graph is a polytree these relations form a toric ideal. We construct explicit trek-matrices associated to 2-treks and 3-treks in the graph. Their entries are covariances and third order moments and their 2-minors define our model set-theoretically. Furthermore, we prove that their 2-minors also generate the vanishing ideal of the model. Finally, we describe the polytopes of third order moments and the ideals for models with hidden variables.


title: An isomorphism theorem for models of Weak K\"onig's Lemma without primitive recursion

abstract: We prove that if $(M,\mathcal{X})$ and $(M,\mathcal{Y})$ are countable models of the theory $\mathrm{WKL}^*_0$ such that $\mathrm{I}\Sigma_1(A)$ fails for some $A \in \mathcal{X} \cap \mathcal{Y}$, then $(M,\mathcal{X})$ and $(M,\mathcal{Y})$ are isomorphic. As a consequence, the analytic hierarchy collapses to $\Delta^1_1$ provably in $\mathrm{WKL}^*_0 + \neg\mathrm{I}\Sigma^0_1$, and $\mathrm{WKL}$ is the strongest $\Pi^1_2$ statement that is $\Pi^1_1$-conservative over $\mathrm{RCA}^*_0 + \neg\mathrm{I}\Sigma^0_1$. Applying our results to the $\Delta^0_n$-definable sets in models of $\mathrm{RCA}^*_0 + \mathrm{B}\Sigma^0_n + \neg\mathrm{I}\Sigma^0_n$ that also satisfy an appropriate relativization of Weak K\"onig's Lemma, we prove that for each $n \ge 1$, the set of $\Pi^1_2$ sentences that are $\Pi^1_1$-conservative over $\mathrm{RCA}^*_0 + \mathrm{B}\Sigma^0_n + \neg\mathrm{I}\Sigma^0_n$ is c.e. In contrast, we prove that the set of $\Pi^1_2$ sentences that are $\Pi^1_1$-conservative over $\mathrm{RCA}^*_0 + \mathrm{B}\Sigma^0_n$ is $\Pi_2$-complete. This answers a question of Towsner. We also show that $\mathrm{RCA}_0 + \mathrm{RT}^2_2$ is $\Pi^1_1$-conservative over $\mathrm{B}\Sigma^0_2$ if and only if it is conservative over $\mathrm{B}\Sigma^0_2$ with respect to $\forall \Pi^0_5$ sentences.


title: AGPNet -- Autonomous Grading Policy Network

abstract: In this work, we establish heuristics and learning strategies for the autonomous control of a dozer grading an uneven area studded with sand piles. We formalize the problem as a Markov Decision Process, design a simulation which demonstrates agent-environment interactions and finally compare our simulator to a real dozer prototype. We use methods from reinforcement learning, behavior cloning and contrastive learning to train a hybrid policy. Our trained agent, AGPNet, reaches human-level performance and outperforms current state-of-the-art machine learning methods for the autonomous grading task. In addition, our agent is capable of generalizing from random scenarios to unseen real world problems.


title: Enabling NAS with Automated Super-Network Generation

abstract: Recent Neural Architecture Search (NAS) solutions have produced impressive results training super-networks and then deriving subnetworks, a.k.a. child models that outperform expert-crafted models from a pre-defined search space. Efficient and robust subnetworks can be selected for resource-constrained edge devices, allowing them to perform well in the wild. However, constructing super-networks for arbitrary architectures is still a challenge that often prevents the adoption of these approaches. To address this challenge, we present BootstrapNAS, a software framework for automatic generation of super-networks for NAS. BootstrapNAS takes a pre-trained model from a popular architecture, e.g., ResNet- 50, or from a valid custom design, and automatically creates a super-network out of it, then uses state-of-the-art NAS techniques to train the super-network, resulting in subnetworks that significantly outperform the given pre-trained model. We demonstrate the solution by generating super-networks from arbitrary model repositories and make available the resulting super-networks for reproducibility of the results.


title: Quantitative homogenization for the obstacle problem and its free boundary

abstract: In this manuscript we prove quantitative homogenization results for the obstacle problem with bounded measurable coefficients. As a consequence, large-scale regularity results both for the solution and the free boundary for the heterogeneous obstacle problem are derived.


title: BOP2-DC: Bayesian optimal phase II designs with dual-criterion decision making

abstract: The conventional phase II trial design paradigm is to make the go/no-go decision based on the hypothesis testing framework. Statistical significance itself alone, however, may not be sufficient to establish that the drug is clinically effective enough to warrant confirmatory phase III trials. We propose the Bayesian optimal phase II trial design with dual-criterion decision making (BOP2-DC), which incorporates both statistical significance and clinical relevance into decision making. Based on the posterior probability that the treatment effect reaches the lower reference value (statistical significance) and the clinically meaningful value (clinical significance), BOP2-DC allows for go/consider/no-go decisions, rather than a binary go/no-go decision, and it is optimized to maximize the probability of a go decision when the treatment is effective or minimize the sample size when the treatment is futile. BOP2-DC is highly flexible and accommodates various types of endpoints, including binary, continuous, time-to-event, multiple, and co-primary endpoints, in single-arm and randomized trials. Simulation studies show that the BOP2-DC design yields desirable operating characteristics. The software to implement BOP2-DC is freely available at \url{www.trialdesign.org}.


title: Stochastic optimal switching and systems of variational inequalities with interconnected obstacles

abstract: This paper studies a system of $m$ variational inequalities with interconnected obstacles in infinite horizon associated to optimal multi-modes switching problems. Our main result is the existence and uniqueness of a continuous solution in viscosity sense, for that system. The proof of the main result strongly relies on the connection between the systems of variational inequalities and reflected backward stochastic differential equations (RBSDEs) with oblique reflection, which will be characterized through a Feynman-Kac's formula. The main feature of our system of infinite horizon RBSDEs is that its components are interconnected through both the generators and the obstacles.


title: Imagery agnosia and its phenomenology

abstract: Lack of vivid sensory imagery has recently become an active subject of research, under the name of aphantasia. Extremely vivid imagery, or hyperphantasia, is at the other end of the spectrum of individual differences. While most research has focused on visual imagery in this paper I argue that from a neuropsychological perspective this phenomenon is much more widespread, and should be categorized as imagery sensory agnosia. After over twenty years of learning to play music phenomenology of auditory imagery agnosia is described from the first-person perspective. Reflections on other forms of imagery agnosia and deficits of autobiographical memories are presented and a hypothesis about putative brain processes that can account for such phenomena is discussed. Extreme individual differences in imagery and in autobiographical memory have implications for many fields of study, from consciousness research to education.


title: Exact renormalization group equation for lattice Ginzburg-Landau models adapted to the solution in the local potential approximation

abstract: The Wilson Green's function approach and, alternatively, Feynman's diffusion equation and the Hori representation have been used to derive an exact functional RG equation (EFRGE) that in the course of the RG flow interpolates between the interaction part of the lattice Ginzburg-Landau Hamiltonian and the logarithm of the generating functional of the S-matrix. Because the S-matrix vertices are the amputated correlation functions of the fluctuating field, it has been suggested that in the critical region the amputation of the long-range tails makes the S-matrix functional more localized and thus more amenable to the local potential approximation (LPA) than the renormalized free energy functional used in Wilson's EFRGE. By means of a functional Legendre transform the S-matrix EFRGE has been converted into an EFRGE for the effective action (EA). It has been found that the field-dependent part of EA predicted by the equation is the same as calculated within the known EA EFRGE approaches but in addition it is accurately accounts for the field-independent terms. These are indispensable in calculation of such important quantities as the the specific heat, the latent heat, etc. With the use of the derived EFRGE a closed expression for the renormalization counterterm has been obtained which when subtracted from the divergent solution of the Wetterich equation would lead to a finite exact expression for the EA thus making two approaches formally equivalent. The S-matrix equation has been found to be simply connected with a generalized functional Burgers' equation which establishes a direct correspondence between the first order phase transitions and the shock wave solutions of the RG equation. The transparent semi-group structure of the S-matrix RG equation makes possible the use of different RG techniques at different stages of the RG flow in order to improve the LPA solution.


title: Learning Bayesian Networks in the Presence of Structural Side Information

abstract: We study the problem of learning a Bayesian network (BN) of a set of variables when structural side information about the system is available. It is well known that learning the structure of a general BN is both computationally and statistically challenging. However, often in many applications, side information about the underlying structure can potentially reduce the learning complexity. In this paper, we develop a recursive constraint-based algorithm that efficiently incorporates such knowledge (i.e., side information) into the learning process. In particular, we study two types of structural side information about the underlying BN: (I) an upper bound on its clique number is known, or (II) it is diamond-free. We provide theoretical guarantees for the learning algorithms, including the worst-case number of tests required in each scenario. As a consequence of our work, we show that bounded treewidth BNs can be learned with polynomial complexity. Furthermore, we evaluate the performance and the scalability of our algorithms in both synthetic and real-world structures and show that they outperform the state-of-the-art structure learning algorithms.


title: PRONTO: Preamble Overhead Reduction with Neural Networks for Coarse Synchronization

abstract: In IEEE 802.11 WiFi-based waveforms, the receiver performs coarse time and frequency synchronization using the first field of the preamble known as the legacy short training field (L-STF). The L-STF occupies upto 40% of the preamble length and takes upto 32 us of airtime. With the goal of reducing communication overhead, we propose a modified waveform, where the preamble length is reduced by eliminating the L-STF. To decode this modified waveform, we propose a neural network (NN)-based scheme called PRONTO that performs coarse time and frequency estimations using other preamble fields, specifically the legacy long training field (L-LTF). Our contributions are threefold: (i) We present PRONTO featuring customized convolutional neural networks (CNNs) for packet detection and coarse carrier frequency offset (CFO) estimation, along with data augmentation steps for robust training. (ii) We propose a generalized decision flow that makes PRONTO compatible with legacy waveforms that include the standard L-STF. (iii) We validate the outcomes on an over-the-air WiFi dataset from a testbed of software defined radios (SDRs). Our evaluations show that PRONTO can perform packet detection with 100% accuracy, and coarse CFO estimation with errors as small as 3%. We demonstrate that PRONTO provides upto 40% preamble length reduction with no bit error rate (BER) degradation. We further show that PRONTO is able to achieve the same performance in new environments without the need to re-train the CNNs. Finally, we experimentally show the speedup achieved by PRONTO through GPU parallelization over the corresponding CPU-only implementations.


title: A generalization of Bring's curve in any characteristic

abstract: Let $p\ge 7$ be a prime, and $m\ge 5$ an integer. A natural generalization of Bring's curve valid over any field $\mathbb{K}$ of zero characteristic or positive characteristic $p$, is the algebraic variety $V$ of $\textrm{PG}(m-1,\mathbb{K})$ which is the complete intersection of the projective algebraic hypersurfaces of homogeneous equations $x_1^k+\cdots +x_m^{k}=0$ with $1\leq k\leq m-2$. In positive characteristic, we also assume $m\le p-1$. Up to a change of coordinates in $\textrm{PG}(m-1,\mathbb{K})$, we show that $V$ is a projective, absolutely irreducible, non-singular curve of $\textrm{PG}(m-2,\mathbb{K})$ with degree $(m-2)!$, genus $\mathfrak{g}= \frac{1}{4} ((m-2)(m-3)-4)(m-2)!+1$, and tame automorphism group $G$ isomorphic to $\textrm{Sym}_m$. We compute the genera of the quotient curves of $V$ with respect to the stabilizers of one or more coordinates under the action of $G$. In positive characteristic, the two extremal cases, $m=5$ and $m=p-1$ are investigated further. For $m=5$, we show that there exist infinitely many primes $p$ such that $V$ is $\mathbb{F}_{p^2}$-maximal curve of genus $4$. The smallest such primes are $29,59,149,239,839$. For $m=p-1$ we prove that $V$ has as many as $(p-2)!$ points over $\mathbb{F}_p$ and has no further points over $\mathbb{F}_{p^2}$. We also point out a connection with previous work of R\'edei about the famous Minkowski conjecture proven by Haj\'os (1941), as well as with a more recent result of Rodr\'iguez Villegas, Voloch and Zagier (2001) on plane curves attaining the St\"ohr-Voloch bound, and the regular sequence problem for systems of diagonal equations introduced by Conca, Krattenthaler and Watanabe (2009).


title: Sparsity structures for Koopman operators

abstract: We present a decomposition of the Koopman operator based on the sparse structure of the underlying dynamical system, allowing one to consider the system as a family of subsystems interconnected by a graph. Using the intrinsic properties of the Koopman operator, we show that eigenfunctions for the subsystems induce eigenfunctions for the whole system. The use of principal eigenfunctions allows to reverse this result. Similarly for the adjoint operator, the Perron-Frobenius operator, invariant measures for the dynamical system induce invariant measures of the subsystems, while constructing invariant measures from invariant measures of the subsystems is less straightforward. We address this question and show that under necessary compatibility assumptions such an invariant measure exists. Based on these results we demonstrate that the a-priori knowledge of a decomposition of a dynamical system allows for a reduction of the computational cost for data driven approaches on the example of the dynamic mode decomposition.


title: Challenges for the 3-3-1 models

abstract: The so-called 3-3-1 models have been widely studied in the literature. However, in almost all cases, as with other models, just simplified versions have been considered. On the other hand, the LHC has not neither confirmed nor rejected any model. In this paper we discuss some aspects of the 3-3-1 models that must be investigated, or be re-analyzed, firstly theoretically and, eventually, experimentally. Some of these issues are independent of the representation content of the particular model, that is, they are independent of the value of the $\beta$ parameter. However, others strongly depend on the particular model considered.


title: Surrogate Model for Shallow Water Equations Solvers with Deep Learning

abstract: Shallow water equations are the foundation of most models for flooding and river hydraulics analysis. These physics-based models are usually expensive and slow to run, thus not suitable for real-time prediction or parameter inversion. An attractive alternative is surrogate model. This work introduces an efficient, accurate, and flexible surrogate model, NN-p2p, based on deep learning and it can make point-to-point predictions on unstructured or irregular meshes. The new method was evaluated and compared against existing methods based on convolutional neural networks (CNNs), which can only make image-to-image predictions on structured or regular meshes. In NN-p2p, the input includes both spatial coordinates and boundary features that can describe the geometry of hydraulic structures, such as bridge piers. All surrogate models perform well in predicting flow around different types of piers in the training domain. However, only NN-p2p works well when spatial extrapolation is performed. The limitations of CNN-based methods are rooted in their raster-image nature which cannot capture boundary geometry and flow features exactly, which are of paramount importance to fluid dynamics. NN-p2p also has good performance in predicting flow around piers unseen by the neural network. The NN-p2p model also respects conservation laws more strictly. The application of the proposed surrogate model was demonstrated by calculating the drag coefficient $C_D$ for piers and a new linear relationship between $C_D$ and the logarithmic transformation of pier's length/width ratio was discovered.


title: Revisiting Game Representations: The Hidden Costs of Efficiency in Sequential Decision-making Algorithms

abstract: Recent advancements in algorithms for sequential decision-making under imperfect information have shown remarkable success in large games such as limit- and no-limit poker. These algorithms traditionally formalize the games using the extensive-form game formalism, which, as we show, while theoretically sound, is memory-inefficient and computationally intensive in practice. To mitigate these challenges, a popular workaround involves using a specialized representation based on player specific information-state trees. However, as we show, this alternative significantly narrows the set of games that can be represented efficiently. In this study, we identify the set of large games on which modern algorithms have been benchmarked as being naturally represented by Sequential Bayesian Games. We elucidate the critical differences between extensive-form game and sequential Bayesian game representations, both theoretically and empirically. We further argue that the impressive experimental results often cited in the literature may be skewed, as they frequently stem from testing these algorithms only on this restricted class of games. By understanding these nuances, we aim to guide future research in developing more universally applicable and efficient algorithms for sequential decision-making under imperfect information.


title: Regularity of Optimal Solutions and the Optimal Cost for Hybrid Dynamical Systems via Reachability Analysis

abstract: For a general optimal control problem for dynamical systems with hybrid dynamics, we study the dependency of the optimal cost and of the value function on the initial conditions, parameters, and perturbations. We show that upper and lower semicontinuous dependence of solutions on initial conditions -- properties that are captured by outer and inner well-posedness, respectively -- lead to the existence of a solution to the hybrid optimal control problem and upper/lower semicontinuity of the optimal cost. In particular, by exploiting properties of finite horizon reachable sets for hybrid systems, we show that the optimal cost varies upper semicontinuously when the hybrid system is (nominally) outer well-posed, and lower semicontinuously when it is (nominally) inner well-posed and an additional assumption requiring partial knowledge of solutions. Consequently, when the system is both (nominally) inner and outer well-posed and the aforementioned assumption holds, the optimal cost varies continuously, and optimal solutions vary upper semicontinuously. We further show that even in the absence of this solution-based assumption, the optimal cost can be continuously approximated. The results are demonstrated in finite horizon optimization problems with hybrid dynamics, both theoretically and numerically.


title: A Constraint Programming Approach to Weighted Isomorphic Mapping of Fragment-based Shape Signatures

abstract: Fragment-based shape signature techniques have proven to be powerful tools for computer-aided drug design. They allow scientists to search for target molecules with some similarity to a known active compound. They do not require reference to the full underlying chemical structure, which is essential to deal with chemical databases containing millions of compounds. However, finding the optimal match of a part of the fragmented compound can be time-consuming. In this paper, we use constraint programming to solve this specific problem. It involves finding a weighted assignment of fragments subject to connectivity constraints. Our experiments demonstrate the practical relevance of our approach and open new perspectives, including generating multiple, diverse solutions. Our approach constitutes an original use of a constraint solver in a real time setting, where propagation allows to avoid an enumeration of weighted paths. The model must remain robust to the addition of constraints making some instances not tractable. This particular context requires the use of unusual criteria for the choice of the model: lightweight, standard propagation algorithms, data structures without prohibitive constant cost. The objective is not to design new, complex algorithms to solve difficult instances.


title: VELVET: a noVel Ensemble Learning approach to automatically locate VulnErable sTatements

abstract: Automatically locating vulnerable statements in source code is crucial to assure software security and alleviate developers' debugging efforts. This becomes even more important in today's software ecosystem, where vulnerable code can flow easily and unwittingly within and across software repositories like GitHub. Across such millions of lines of code, traditional static and dynamic approaches struggle to scale. Although existing machine-learning-based approaches look promising in such a setting, most work detects vulnerable code at a higher granularity -- at the method or file level. Thus, developers still need to inspect a significant amount of code to locate the vulnerable statement(s) that need to be fixed. This paper presents VELVET, a novel ensemble learning approach to locate vulnerable statements. Our model combines graph-based and sequence-based neural networks to successfully capture the local and global context of a program graph and effectively understand code semantics and vulnerable patterns. To study VELVET's effectiveness, we use an off-the-shelf synthetic dataset and a recently published real-world dataset. In the static analysis setting, where vulnerable functions are not detected in advance, VELVET achieves 4.5x better performance than the baseline static analyzers on the real-world data. For the isolated vulnerability localization task, where we assume the vulnerability of a function is known while the specific vulnerable statement is unknown, we compare VELVET with several neural networks that also attend to local and global context of code. VELVET achieves 99.6% and 43.6% top-1 accuracy over synthetic data and real-world data, respectively, outperforming the baseline deep-learning models by 5.3-29.0%.


title: Subject-Independent Drowsiness Recognition from Single-Channel EEG with an Interpretable CNN-LSTM model

abstract: For EEG-based drowsiness recognition, it is desirable to use subject-independent recognition since conducting calibration on each subject is time-consuming. In this paper, we propose a novel Convolutional Neural Network (CNN)-Long Short-Term Memory (LSTM) model for subject-independent drowsiness recognition from single-channel EEG signals. Different from existing deep learning models that are mostly treated as black-box classifiers, the proposed model can explain its decisions for each input sample by revealing which parts of the sample contain important features identified by the model for classification. This is achieved by a visualization technique by taking advantage of the hidden states output by the LSTM layer. Results show that the model achieves an average accuracy of 72.97% on 11 subjects for leave-one-out subject-independent drowsiness recognition on a public dataset, which is higher than the conventional baseline methods of 55.42%-69.27%, and state-of-the-art deep learning methods. Visualization results show that the model has discovered meaningful patterns of EEG signals related to different mental states across different subjects.


title: A fast recurrence for Fibonacci and Lucas numbers

abstract: We derive the double recurrence $e_n = \frac{1}{2}(a_{n-1}+5b_{n-1}); f_{n} = \frac{1}{2}(a_{n-1}+b_{n-1})$ with $e_0=2;f_0=0$ for the Fibonacci numbers, leading to an extremely simple and fast implementation. Though the recurrence is probably not new, we have not been able to find a reference for it.


title: Thermoelectric properties of topological chains coupled to a quantum dot

abstract: Topological one-dimensional superconductors can sustain in their extremities zero energy modes that are protected by different kinds of symmetries. The observation of these excitations in the form of Majorana fermions is one of the most intensive quests in condensed matter physics. Their study is not only interesting in itself, but also because they have promising applications in the area of quantum computation. In this work we are interested in another class of one dimensional topological systems, namely topological insulators. These also present symmetry protected end modes with robust properties and do not require the low temperatures necessary for topological superconductivity. We consider the simplest kind of topological insulators, namely chains of atoms with hybridized $sp$ orbitals. We study the transport properties of these chains in the trivial, non-trivial topological phases and at the quantum topological transition. We use a simple device consisting of two semi-infinite hybridized $sp$-chains connected to a quantum dot and obtain the thermoelectric properties of this system as a function of temperature and distance to the topological transition. We show that the electrical conductance and the Wiedemann-Franz ratio of the device at the topological transition have universal values at very low temperatures. The thermopower gives direct evidence of fractional charges in these systems.


title: Concentration effects of BV gradients have gradient structure

abstract: We prove that the concentration effects arising from weakly-* convergent sequences of gradients of maps of bounded variation have gradient structure. This is in stark contrast with the corresponding oscillation phenomena.


title: Load-balanced Gather-scatter Patterns for Sparse Deep Neural Networks

abstract: Deep neural networks (DNNs) have been proven to be effective in solving many real-life problems, but its high computation cost prohibits those models from being deployed to edge devices. Pruning, as a method to introduce zeros to model weights, has shown to be an effective method to provide good trade-offs between model accuracy and computation efficiency, and is a widely-used method to generate compressed models. However, the granularity of pruning makes important trade-offs. At the same sparsity level, a coarse-grained structured sparse pattern is more efficient on conventional hardware but results in worse accuracy, while a fine-grained unstructured sparse pattern can achieve better accuracy but is inefficient on existing hardware. On the other hand, some modern processors are equipped with fast on-chip scratchpad memories and gather/scatter engines that perform indirect load and store operations on such memories. In this work, we propose a set of novel sparse patterns, named gather-scatter (GS) patterns, to utilize the scratchpad memories and gather/scatter engines to speed up neural network inferences. Correspondingly, we present a compact sparse format. The proposed set of sparse patterns, along with a novel pruning methodology, address the load imbalance issue and result in models with quality close to unstructured sparse models and computation efficiency close to structured sparse models. Our experiments show that GS patterns consistently make better trade-offs between accuracy and computation efficiency compared to conventional structured sparse patterns. GS patterns can reduce the runtime of the DNN components by two to three times at the same accuracy levels. This is confirmed on three different deep learning tasks and popular models, namely, GNMT for machine translation, ResNet50 for image recognition, and Japser for acoustic speech recognition.


title: Classical analogs of the covariance matrix, purity, linear entropy, and von Neumann entropy

abstract: We obtain a classical analog of the quantum covariance matrix by performing its classical approximation for any continuous quantum state, and we illustrate this approach with the anharmonic oscillator. Using this classical covariance matrix, we propose classical analogs of the purity, linear quantum entropy, and von Neumann entropy for classical integrable systems, when the quantum counterpart of the system under consideration is in a Gaussian state. As is well known, this matrix completely characterizes the purity, linear quantum entropy, and von Neumann entropy for Gaussian states. These classical analogs can be interpreted as quantities that reveal how much information from the complete system remains in the considered subsystem. To illustrate our approach, we calculate these classical analogs for three coupled harmonic oscillators and two linearly coupled oscillators. We find that they exactly reproduce the results of their quantum counterparts. In this sense, it is remarkable that we can calculate these quantities from the classical viewpoint.

categories: quant-ph cond-mat.stat-mech hep-th physics.class-ph


title: The Cascading Metric Tree

abstract: This paper presents the Cascaded Metric Tree (CMT) for efficient satisfaction of metric search queries over a dataset of N objects. It provides extra information that permits query algorithms to exploit all distance calculations performed along each path in the tree for pruning purposes. In addition to improving standard metric range (ball) query algorithms, we present a new algorithm for exploiting the CMT cascaded information to achieve near-optimal performance for k-nearest neighbor (kNN) queries. We demonstrate the performance advantage of CMT over classical metric search structures on synthetic datasets of up to 10 million objects and on the 564K Swiss-Prot protein sequence dataset containing over $200$ million amino acids. As a supplement to the paper, we provide reference implementations of the empirically-examined algorithms to encourage improvements and further applications of CMT to practical scientific and engineering problems


title: Langevin Navier-Stokes simulation of protoplasmic streaming by 2D MAC method

abstract: We study protoplasmic streaming in plant cells such as chara brauni by simplifying the flow field to a two-dimensional Couette flow with Brownian random motion inside parallel plates. Protoplasmic streaming is receiving a lot of attention in many areas, such as agriculture-technology and biotechnology. The plant size depends on the velocity of streaming and the driving force originating in molecular motors. Therefore, it is interesting to study detailed information on the velocity of streaming. Recently, experimentally observed peaks in the velocity distribution have been simulated by a 2D Langevin Navier-Stokes (LNS) equation for vortex and flow function. However, to simulate actual 3D flows, we have to use the NS equation for velocity, which, in the case of 2D flows, is not always equivalent to that for vorticity and stream function. In this paper, we report that a 2D LNS equation for velocity and pressure successfully simulates protoplasmic streaming by comparing the results with the experimental data and those obtained by 2D LNS simulations for vortex and flow function. Moreover, a dimensional analysis clarifies the dependence of numerical results on the strength $D$ of Brownian random force and physical parameters such as kinematic viscosity and cell size. We find from this analysis how the peak position in normalized velocity distribution moves depending on these parameters.


title: All Prime Knots Through 10 Crossings Have Superbridge Index $\leq 5$

abstract: This paper gives new upper bounds on the stick numbers of the knots $9_{18}$, $10_{18}$, $10_{58}$, $10_{66}$, $10_{68}$, $10_{80}$, $10_{82}$, $10_{84}$, $10_{93}$, $10_{100}$, and $10_{152}$, as well as on the equilateral stick number of $10_{79}$. These bounds imply that the knots $10_{58}$, $10_{66}$, and $10_{80}$ have superbridge index $\leq 5$, completing the project of showing that no prime knots through 10 crossings can have superbridge index larger than 5. The current best bounds on stick number and superbridge index for prime knots through 10 crossings are given in Appendix A.


title: Generalized Uncertainty Principle effects in the Ho\v{r}ava-Lifshitz quantum theory of gravity

abstract: The Wheeler-DeWitt equation for a Kantowski-Sachs metric in Ho\v{r}ava-Lifshitz gravity with a set of coordinates in minisuperspace that obey a generalized uncertainty principle is studied. We first study the equation coming from a set of coordinates that obey the usual uncertainty principle and find analytic solutions in the infrared as well as a particular ultraviolet limit that allows us to find the solution found in Ho\v{r}ava-Lifshitz gravity with projectability and with detailed balance but now as an approximation of the theory without detailed balance. We then consider the coordinates that obey the generalized uncertainty principle by modifying the previous equation using the relations between both sets of coordinates. We describe two possible ways to obtain the Wheeler-DeWitt equation. One of them is useful to present the general equation but it is found to be very difficult to solve. Then we use the other proposal to study the limiting cases considered before, that is, the infrared limit that can be compared to the equation obtained by using general relativity and the particular ultraviolet limit. For the second limit we use a ultraviolet approximation and then solve analytically the resulting equation. We find that oscillatory behaviour is possible to be found but it is not a general feature for any values of the parameters involved.


title: An imprecise-probabilistic characterization of frequentist statistical inference

abstract: Between the two dominant schools of thought in statistics, namely, Bayesian and classical/frequentist, a main difference is that the former is grounded in the mathematically rigorous theory of probability while the latter is not. In this paper, I show that the latter is grounded in a different but equally mathematically rigorous theory of imprecise probability. Specifically, I show that for every suitable testing or confidence procedure with error rate control guarantees, there exists a consonant plausibility function whose derived testing or confidence procedure is no less efficient. Beyond its foundational implications, this characterization has at least two important practical consequences: first, it simplifies the interpretation of p-values and confidence regions, thus creating opportunities for improved education and scientific communication; second, the constructive proof of the main results leads to a strategy for new and improved methods in challenging inference problems.


title: State-of-the-Art in Smart Contact Lenses for Human Machine Interaction

abstract: Contact lenses have traditionally been used for vision correction applications. Recent advances in microelectronics and nanofabrication on flexible substrates have now enabled sensors, circuits and other essential components to be integrated on a small contact lens platform. This has opened up the possibility of using contact lenses for a range of human-machine interaction applications including vision assistance, eye tracking, displays and health care. In this article, we systematically review the range of smart contact lens materials, device architectures and components that facilitate this interaction for different applications. In fact, evidence from our systematic review demonstrates that these lenses can be used to display information, detect eye movements, restore vision and detect certain biomarkers in tear fluid. Consequently, whereas previous state-of the-art reviews in contact lenses focused exclusively on biosensing, our systematic review covers a wider range of smart contact lens applications in HMI. Moreover, we present a new method of classifying the literature on smart contact lenses according to their six constituent building blocks, which are the sensing, energy management, driver electronics, communications, substrate and the interfacing modules. Based on recent developments in each of these categories, we speculate the challenges and opportunities of smart contact lenses for human-machine interaction. Moreover, we propose a novel self-powered smart contact lens concept with integrated energy harvesters, sensors and communication modules to enable autonomous operation. Our review is therefore a critical evaluation of current data and is presented with the aim of guiding researchers to new research directions in smart contact lenses.


title: Persistent sheaf Laplacians

abstract: Recently various types of topological Laplacians have been studied from the perspective of data analysis. The spectral theory of these Laplacians has significantly extended the scope of algebraic topology and data analysis. Inspired by the theory of persistent Laplacians and cellular sheaves, this work develops the theory of persistent sheaf Laplacians for cellular sheaves, and describes how to construct sheaves for a point cloud where each point is associated with a quantity that can be devised to embed physical properties. As a result, the spectra of persistent sheaf Laplacians encode both geometrical and non-geometrical information of the given point cloud. The theory of persistent sheaf Laplacians is an elegant method for fusing different types of data and has huge potential for future development.


title: Observation of the superconducting proximity effect from surface states in SmB$_6$/YB$_6$ thin film heterostructures via terahertz spectroscopy

abstract: The AC conduction of epitaxially-grown SmB$_6$ thin films and superconducting heterostructures of SmB$_6$/YB$_6$ are investigated via time domain terahertz spectroscopy. A two-channel model of thickness-dependent bulk states and thickness-independent surface states accurately describes the measured conductance of bare SmB$_6$ thin films, demonstrating the presence of surface states in SmB$_6$. While the observed reductions in the simultaneously-measured superconducting gap, transition temperature, and superfluid density of SmB$_6$/YB$_6$ heterostructures relative to bare YB$_6$ indicate the penetration of proximity-induced superconductivity into the SmB$_6$ overlayer; the corresponding SmB$_6$-thickness independence between different heterostructures indicates that the induced superconductivity is predominantly confined to the interface surface state of the SmB$_6$. This study demonstrates the ability of terahertz spectroscopy to probe proximity-induced superconductivity at an interface buried within a heterostructure, and our results show that SmB$_6$ behaves as a predominantly insulating bulk surrounded by conducting surface states in both the normal and induced-superconducting states in both terahertz and DC responses, which is consistent with the topological Kondo insulator picture.


title: Higher Order Mandelbrot Sets and their Varying Shapes

abstract: Mandelbrot set arose from the pioneering work of French mathematician Gaston Julia in the field of complex dynamics at the beginning of the 20th century. French-American mathematician Benoit Mandelbrot used computers to calculate iterations of complex polynomials of second order and displayed intricate images of fractal geometry. While studying fundamental properties of the Mandelbrot set, little attention has been paid to study the relationship between the degree of the generating polynomials and the shape of the main body of the Mandelbrot set. This paper extends the work from generating polynomials of second degree to polynomials of higher degrees using basic principles of complex numbers and calculus and shows that the number of primary lobes in the Mandelbrot set corresponding to a polynomial of nth degree is n-1 and as n tends to infinity the shape of the primary lobe tends to a circle of unit radius. It is also shown that the arguments of the points where secondary lobes are attached to the primary lobes are given by the roots of unity. These results provide an easy way to predict shapes of the main lobes of Mandelbrot sets and the locations of the points where secondary lobes are attached to the main lobe and may be helpful in understanding features of the Mandelbrot set.


title: Spatiotemporal Motion Synchronization for Snowboard Big Air

abstract: During the training for snowboard big air, one of the most popular winter sports, athletes and coaches extensively shoot and check their jump attempts using a single camera or smartphone. However, by watching videos sequentially, it is difficult to compare the precise difference in performance between two trials. Therefore, side-by-side display or overlay of two videos may be helpful for training. To accomplish this, the spatial and temporal alignment of multiple performances must be ensured. In this study, we propose a conventional but plausible solution using the existing image processing techniques for snowboard big air training. We conducted interviews with expert snowboarders who stated that the spatiotemporally aligned videos enabled them to precisely identify slight differences in body movements. The results suggest that the proposed method can be used during the training of snowboard big air.


title: The generalized Jacobi metric

abstract: We present a new approach to the Jacobi metric formalism for Lorentzian spacetimes. We define a new Jacobi metric that inherits the spacetime, null and timelike geodesic equations for asymptotically flat spacetimes including the stationary ones. The method provides a way for finding a reduced 2-dimensional Jacobi metric, which in the static spherically symmetric case coincides with the already known Jacobi metric. We discuss about the conserved quantities for both proposals. Applying this formalism to black hole metrics, we show that the Gaussian curvature of the reduced 2-dimensional Jacobi metric attains an extremum at the points where the horizons are located giving one of the first characterizations of horizons in a Riemannian metric coming from a spacetime.


title: Quantum symmetric pairs

abstract: This is a survey of some recent progress on quantum symmetric pairs and applications. The topics include quasi K-matrices, $\imath$Schur duality, canonical bases, super Kazhdan-Lusztig theory, $\imath$Hall algebras, current presentations for affine $\imath$quantum groups, and braid group actions.


title: Big Data is not the New Oil: Common Misconceptions about Population Data

abstract: Databases covering all individuals of a population are increasingly used for research and decision-making. The massive size of such databases is often mistaken as a guarantee for valid inferences. However, population data have characteristics that make them challenging to use. Various assumptions on population coverage and data quality are commonly made, including how such data were captured and what types of processing have been applied to them. Furthermore, the full potential of population data can often only be unlocked when such data are linked to other databases. Record linkage often implies subtle technical problems, which are easily missed. We discuss a diverse range of misconceptions relevant for anybody capturing, processing, linking, or analysing population data. Remarkably many of these misconceptions are due to the social nature of data collections and are therefore missed by purely technical accounts of data processing. Many of these misconceptions are also not well documented in scientific publications. We conclude with a set of recommendations for using population data.


title: Accelerating Clique Counting in Sparse Real-World Graphs via Communication-Reducing Optimizations

abstract: Counting instances of specific subgraphs in a larger graph is an important problem in graph mining. Finding cliques of size k (k-cliques) is one example of this NP-hard problem. Different algorithms for clique counting avoid counting the same clique multiple times by pivoting or ordering the graph. Ordering-based algorithms include an ordering step to direct the edges in the input graph, and a counting step, which is dominated by building node or edge-induced subgraphs. Of the ordering-based algorithms, kClist is the state-of-the art algorithm designed to work on sparse real-world graphs. Despite its leading overall performance, kClist's vertex-parallel implementation does not scale well in practice on graphs with a few million vertices. We present CITRON (Clique counting with Traffic Reducing Optimizations) to improve the parallel scalability and thus overall performance of clique counting. We accelerate the ordering phase by abandoning kClist's sequential core ordering and using a parallelized degree ordering. We accelerate the counting phase with our reorganized subgraph data structures that reduce memory traffic to improve scaling bottlenecks. Our sorted, compact neighbor lists improve locality and communication efficiency which results in near-linear parallel scaling. CITRON significantly outperforms kClist while counting moderately sized cliques, and thus increases the size of graph practical for clique counting. We have recently become aware of ArbCount (arXiv:2002.10047), which often outperforms us. However, we believe that the analysis included in this paper will be helpful for anyone who wishes to understand the performance characteristics of k-clique counting.


title: Cohomologies and deformations of pre-Lie-morphism triples

abstract: A (pre-)Lie-morphism triple consists of two (pre-)Lie algebras and a (pre-)Lie algebra homomorphism between them. We give chomologies of pre-Lie-morphism triples. As an application, we study the infinitesimal deformations of pre-Lie-morphism triples. Finally, we show that the cohomology of the pre-Lie-morphism triple can be deduced from a new cohomology of the Lie-morphism triple.


title: Elixir: Effective object-oriented program repair

abstract: This work is motivated by the pervasive use of method invocations in object-oriented (OO) programs, and indeed their prevalence in patches of OO-program bugs. We propose a generate-and-validate repair technique, called ELIXIR designed to be able to generate such patches. ELIXIR aggressively uses method calls, on par with local variables, fields, or constants, to construct more expressive repair-expressions, that go into synthesizing patches. The ensuing enlargement of the repair space, on account of the wider use of method calls, is effectively tackled by using a machine-learnt model to rank concrete repairs. The machine-learnt model relies on four features derived from the program context, i.e., the code surrounding the potential repair location, and the bug report. We implement ELIXIR and evaluate it on two datasets, the popular Defects4J dataset and a new dataset Bugs.jar created by us, and against 2 baseline versions of our technique, and 5 other techniques representing the state of the art in program repair. Our evaluation shows that ELIXIR is able to increase the number of correctly repaired bugs in Defects4J by 85% (from 14 to 26) and by 57% in Bugs.jar (from 14 to 22), while also significantly out-performing other state-of-the-art repair techniques including ACS, HD-Repair, NOPOL, PAR, and jGenProg.


title: Cosmic adventures in stringland: Scattering of bosonic and fermionic fields in gravitating cosmic string spacetimes

abstract: We show that when considering a scalar field scattering in a gravitating cosmic string spacetime, the standard partial-wave approach's scattering amplitude is singular. In order to avoid the divergence caused by the spacetime asymptotically conical structure, we propose a modification of the asymptotic ansatz in the partial-wave formalism and find the corrections in the phase-shift and total scattering cross-section. We also developed a toy model for the spacetime metric of a cosmic string and showed how local interaction with the vortex gauge field affects the scalar field total cross-section. Then we apply this formalism to a Dirac field and show the explicit formula for the fermionic total cross-section. Finally, we study the scattering of bosonic and fermionic fields in the spacetime of an abelian and a nonabelian gravitating cosmic strings and show that the cross-sections have damped oscillations. In order to understand the origin of this behavior, we used the aforementioned toy model to show that the spacetime particular asymptotical structure causes the observed oscillations.


title: Room-Temperature Valence Transition in a Strain-Tuned Perovskite Oxide

abstract: Cobalt oxides have long been understood to display intriguing phenomena known as spin-state crossovers, where the cobalt ion spin changes vs. temperature, pressure, etc. A very different situation was recently uncovered in praseodymium-containing cobalt oxides, where a first-order coupled spin-state/structural/metal-insulator transition occurs, driven by a remarkable praseodymium valence transition. Such valence transitions, particularly when triggering spin-state and metal-insulator transitions, offer highly appealing functionality, but have thus far been confined to cryogenic temperatures in bulk materials (e.g., 90 K in Pr1-xCaxCoO3). Here, we show that in thin films of the complex perovskite (Pr1-yYy)1-xCaxCoO3-{\delta}, heteroepitaxial strain tuning enables stabilization of valence-driven spin-state/structural/metal-insulator transitions to at least 291 K, i.e., around room temperature. The technological implications of this result are accompanied by fundamental prospects, as complete strain control of the electronic ground state is demonstrated, from ferromagnetic metal under tension to nonmagnetic insulator under compression, thereby exposing a potential novel quantum critical point.


title: Higher-Order Regularity of the Free Boundary in the Inverse First-Passage Problem

abstract: Consider the inverse first-passage problem: Given a diffusion process $\{\frak{X}_{t}\}_{t\geqslant 0}$ on a probability space $(\Omega,\mathcal{F},\mathbb{P})$ and a survival probability function $p$ on $[0,\infty)$, find a boundary, $x=b(t)$, such that $p$ is the survival probability that $\frak{X}$ does not fall below $b$, i.e., for each $t\geqslant 0$, $p(t)= \mathbb{P}(\{\omega\in\Omega\;|\; {\frak{X}}_s(\omega) \geqslant b(s),\ \forall\, s\in(0,t)\})$. In earlier work, we analyzed viscosity solutions of a related variational inequality, and showed that they provided the only upper semi-continuous (usc) solutions of the inverse problem. We furthermore proved weak regularity (continuity) of the boundary $b$ under additional assumptions on $p$. The purpose of this paper is to study higher-order regularity properties of the solution of the inverse first-passage problem. In particular, we show that when $p$ is smooth and has negative slope, the viscosity solution, and therefore also the unique usc solution of the inverse problem, is smooth. Consequently, the viscosity solution furnishes a unique classical solution to the free boundary problem associated with the inverse first-passage problem.


title: Provable Hierarchical Lifelong Learning with a Sketch-based Modular Architecture

abstract: We propose a modular architecture for the lifelong learning of hierarchically structured tasks. Specifically, we prove that our architecture is theoretically able to learn tasks that can be solved by functions that are learnable given access to functions for other, previously learned tasks as subroutines. We empirically show that some tasks that we can learn in this way are not learned by standard training methods in practice; indeed, prior work suggests that some such tasks cannot be learned by any efficient method without the aid of the simpler tasks. We also consider methods for identifying the tasks automatically, without relying on explicitly given indicators.


title: How Do Developers Search for Architectural Information? An Industrial Survey

abstract: Building software systems often requires knowledge and skills beyond what developers already possess. In such cases, developers have to leverage different sources of information to seek help. A growing number of researchers and practitioners have started investigating what programming-related information developers seek during software development. However, being a high level and a type of the most important development-related information, architectural information search activity is seldom explored. To fill this gap, we conducted an industrial survey completed by 103 participants to understand how developers search for architectural information to solve their architectural problems in development. Our main findings are: (1) searching for architectural information to learn about the pros and cons of certain architectural solutions (e.g., patterns, tactics) and to make an architecture decision among multiple choices are the most frequent purposes or tasks; (2) developers find difficulties mostly in getting relevant architectural information for addressing quality concerns and making design decisions among multiple choices when seeking architectural information; (3) taking too much time to go through architectural information retrieved from various sources and feeling overwhelmed due to the dispersion and abundance of architectural information in various sources are the top two major challenges developers face when searching for architectural information. Our findings (1) provide researchers with future directions, such as the design and development of approaches and tools for searching architectural information from multiple sources, and (2) can be used to provide guidelines for practitioners to refer to when seeking architectural information and providing architectural information that could be considered useful.