title: A Sparse Model of Quantum Holography

abstract: We study a sparse version of the Sachdev-Ye-Kitaev (SYK) model defined on random hypergraphs constructed either by a random pruning procedure or by randomly sampling regular hypergraphs. The resulting model has a new parameter, $k$, defined as the ratio of the number of terms in the Hamiltonian to the number of degrees of freedom, with the sparse limit corresponding to the thermodynamic limit at fixed $k$. We argue that this sparse SYK model recovers the interesting global physics of ordinary SYK even when $k$ is of order unity. In particular, at low temperature the model exhibits a gravitational sector which is maximally chaotic. Our argument proceeds by constructing a path integral for the sparse model which reproduces the conventional SYK path integral plus gapped fluctuations. The sparsity of the model permits larger scale numerical calculations than previously possible, the results of which are consistent with the path integral analysis. Additionally, we show that the sparsity of the model considerably reduces the cost of quantum simulation algorithms. This makes the sparse SYK model the most efficient currently known route to simulate a holographic model of quantum gravity. We also define and study a sparse supersymmetric SYK model, with similar conclusions to the non-supersymmetric case. Looking forward, we argue that the class of models considered here constitute an interesting and relatively unexplored sparse frontier in quantum many-body physics.


title: Hidden duality and accidental degeneracy in cycloacene and M\"obius cycloacene

abstract: The accidental degeneracy appearing in cycloacenes as triplets and quadruplets is explained with the concept of segmentation, introduced here with the aim of describing the effective disconnection of $\pi$ orbitals on these organic compounds. For periodic systems with time reversal symmetry, the emergent nodal domains are shown to divide the atomic chains into simpler carbon structures analog to benzene rings, diallyl chains, anthracene (triacene) chains and tetramethyl-naphtalene skeletal forms. The common electronic levels of these segments are identified as members of degenerate multiplets of the global system. The peculiar degeneracy of M\"obius cycloacene is also explained by segmentation. In the last part, it is shown that the multiplicity of energies for cycloacene can be foreseen by studying the continuous limit of the tight-binding model; the degeneracy conditions are put in terms of Chebyshev polynomials. The results obtained in this work have important consequences on the physics of electronic transport in organic wires, together with their artificial realizations.


title: Induced optimal partition invariancy in linear optimization: constraints perturbation

abstract: In this paper, we study uni-parametric linear optimization problems, in which simultaneously the right-hand-side and the left-hand-side of constraints are linearly perturbed with identical parameter. In addition to the concept of change point, the induced optimal partition is introduced, and its relation to the well-known optimal partition is investigated. Further, the concept of free variables in each invariancy intervals is described. A modified generalized computational method is provided with the capability of identifying the intervals for the parameter value where induced optimal partitions are invariant. The behavior of the optimal value function is described in its domain. Some concrete examples depict the results. We further implement the methodology on some test problems to observe its behavior on large scale problems.


title: Modeling the temperature of maximum density of aqueous tert-butanol solutions

abstract: Short-chain alcohols at high dilution are among the very few solutes that enhance the anomalous behavior of water, in particular the value of the temperature of maximum density. This peculiar feature, first discovered experimentally in the early sixties, has remained elusive to a full explanation in terms of atomistic models. In this paper, we first introduce a two-site model of tert-butanol in which the interactions involving hydrogen bonding are represented by a Stillinger-Weber potential, following the ideas first introduced by Molinero and Moore, [J. Phys. Chem. B, 113, 4008, (2009)]. Our model parameters are fit so as to semi-quantitatively reproduce the experimental densities and vaporization enthalpies of previously proposed united atom and all atom OPLS models. Water is represented using the aforementioned potential model introduced by Molinero and Moore, with cross interaction parameters between water and tert-butanol optimized to yield a reasonable description of the experimental excess enthalpies and volumes over the whole composition range of the mixture. We will see that our simple model is able to reproduce the presence of a maximum in the change of the temperature of maximum density for very low alcohol mole fractions, followed by a considerable decrease until the density anomaly itself disappears. We have correlated this behavior with changes in the local structure of water and compared it with the results of all-atom simulations of water/tert-butanol mixtures.


title: Speculative Dereferencing of Registers:Reviving Foreshadow

abstract: Since 2016, multiple microarchitectural attacks have exploited an effect that is attributed to prefetching. These works observe that certain user-space operations can fetch kernel addresses into the cache. Fetching user-inaccessible data into the cache enables KASLR breaks and assists various Meltdown-type attacks, especially Foreshadow. In this paper, we provide a systematic analysis of the root cause of this prefetching effect. While we confirm the empirical results of previous papers, we show that the attribution to a prefetching mechanism is fundamentally incorrect in all previous papers describing or exploiting this effect. In particular, neither the prefetch instruction nor other user-space instructions actually prefetch kernel addresses into the cache, leading to incorrect conclusions and ineffectiveness of proposed defenses. The effect exploited in all of these papers is, in fact, caused by speculative dereferencing of user-space registers in the kernel. Hence, mitigation techniques such as KAISER do not eliminate this leakage as previously believed. Beyond our thorough analysis of these previous works, we also demonstrate new attacks enabled by understanding the root cause, namely an address-translation attack in more restricted contexts, direct leakage of register values in certain scenarios, and the first end-to-end Foreshadow (L1TF) exploit targeting non-L1 data. The latter is effective even with the recommended Foreshadow mitigations enabled and thus revives the Foreshadow attack. We demonstrate that these dereferencing effects exist even on the most recent Intel CPUs with the latest hardware mitigations, and on CPUs previously believed to be unaffected, i.e., ARM, IBM, and AMD CPUs.


title: Wreath products of semigroups in universal algebraic geometry and Plotkin's problem

abstract: We prove that the wreath product $C=A wr B$ of a semigroup $A$ with zero and an infinite cyclic semigroup $B$ is $q_\omega$-compact (logically Noetherian). Our result partially solves the Plotkin`s problem about wreath products


title: Equations over direct powers of algebraic structures in relational languages

abstract: We study equations over relational structures that approximate groups and semigroups. For such structures we proved the criteria, when a direct power of such algebraic structures is equationally Noetherian.


title: R\'ealisations galoisiennes explicites de certaines familles de $2$-groupes

abstract: In this paper, we construct, for some $2$-groups $G$, explicit Galois extensions $E/\mathbb{Q}(T)$ of group $G$ with $E\cap\overline{\mathbb{Q}}=\mathbb{Q}$. We also provide explicit arithmetic progressions of integers $t_0$ such that the specialization $E_{t_0}/\mathbb{Q}$ of $E/\mathbb{Q}(T)$ at $t_0$ has Galois group $G$.


title: Conceptual Metaphors Impact Perceptions of Human-AI Collaboration

abstract: With the emergence of conversational artificial intelligence (AI) agents, it is important to understand the mechanisms that influence users' experiences of these agents. We study a common tool in the designer's toolkit: conceptual metaphors. Metaphors can present an agent as akin to a wry teenager, a toddler, or an experienced butler. How might a choice of metaphor influence our experience of the AI agent? Sampling metaphors along the dimensions of warmth and competence---defined by psychological theories as the primary axes of variation for human social perception---we perform a study (N=260) where we manipulate the metaphor, but not the behavior, of a Wizard-of-Oz conversational agent. Following the experience, participants are surveyed about their intention to use the agent, their desire to cooperate with the agent, and the agent's usability. Contrary to the current tendency of designers to use high competence metaphors to describe AI products, we find that metaphors that signal low competence lead to better evaluations of the agent than metaphors that signal high competence. This effect persists despite both high and low competence agents featuring human-level performance and the wizards being blind to condition. A second study confirms that intention to adopt decreases rapidly as competence projected by the metaphor increases. In a third study, we assess effects of metaphor choices on potential users' desire to try out the system and find that users are drawn to systems that project higher competence and warmth. These results suggest that projecting competence may help attract new users, but those users may discard the agent unless it can quickly correct with a lower competence metaphor. We close with a retrospective analysis that finds similar patterns between metaphors and user attitudes towards past conversational agents such as Xiaoice, Replika, Woebot, Mitsuku, and Tay.


title: Axiom-based Grad-CAM: Towards Accurate Visualization and Explanation of CNNs

abstract: To have a better understanding and usage of Convolution Neural Networks (CNNs), the visualization and interpretation of CNNs has attracted increasing attention in recent years. In particular, several Class Activation Mapping (CAM) methods have been proposed to discover the connection between CNN's decision and image regions. In spite of the reasonable visualization, lack of clear and sufficient theoretical support is the main limitation of these methods. In this paper, we introduce two axioms -- Conservation and Sensitivity -- to the visualization paradigm of the CAM methods. Meanwhile, a dedicated Axiom-based Grad-CAM (XGrad-CAM) is proposed to satisfy these axioms as much as possible. Experiments demonstrate that XGrad-CAM is an enhanced version of Grad-CAM in terms of conservation and sensitivity. It is able to achieve better visualization performance than Grad-CAM, while also be class-discriminative and easy-to-implement compared with Grad-CAM++ and Ablation-CAM. The code is available at https://github.com/Fu0511/XGrad-CAM.


title: Huffman-Coded Sphere Shaping for Extended-Reach Single-Span Links

abstract: Huffman-coded sphere shaping (HCSS) is an algorithm for finite-length probabilistic constellation shaping, which provides nearly optimal energy efficiency at low implementation complexity. In this paper, we experimentally study the nonlinear performance of HCSS employing dual-polarization 64-ary quadrature amplitude modulation (DP-64QAM) in an extended reach single-span link comprising 200 km of standard single mode fiber (SSMF). We investigate the effects of shaping sequence length, dimensionality of symbol mapping, and shaping rate. We determine that the na\"ive approach of Maxwell-Boltzmann distribution matching - which is optimal in the additive white Gaussian noise channel - provides a maximum achievable information rate gain of 0.18 bits/4D-symbol in the infinite length regime. Conversely, HCSS can achieve a gain of 0.37 bits/4Dsymbol using amplitude sequence lengths of 32, which may be implemented without multiplications, using integer comparison and addition operations only. Coded system performance, with a net data rate of approximately 425 Gb/s for both shaped and uniform inputs, is also analyzed.


title: Orbital-selective spin waves in detwinned NaFeAs

abstract: The existence of orbital-dependent electronic correlations has been recognized as an essential ingredient to describe the physics of iron-based superconductors. NaFeAs, a parent compound of iron based superconductors, exhibits a tetragonal-to-orthorhombic lattice distortion below $T_s\approx 60$ K, forming an electronic nematic phase with two 90$^\circ$ rotated (twinned) domains, and orders antiferromagnetically below $T_N\approx 42$ K. We use inelastic neutron scattering to study spin waves in uniaxial pressure-detwinned NaFeAs. By comparing the data with combined density functional theory and dynamical mean-field theory calculations, we conclude that spin waves up to an energy scale of $E_\text{crossover} \approx 100$ meV are dominated by $d_{yz}$-$d_{yz}$ intra-orbital scattering processes, which have the two-fold ($C_2$) rotational symmetry of the underlying lattice. On the other hand, the spin wave excitations above $E_\text{crossover}$, which have approximately fourfold ($C_4$) rotational symmetry, arise from the $d_{xy}$-$d_{xy}$ intra-orbital scattering that controls the overall magnetic bandwidth in this material. In addition, we find that the low-energy ($E\approx 6$ meV) spin excitations change from approximate $C_4$ to $C_2$ rotational symmetry below a temperature $T^\ast$ ($>T_s$), while spin excitations at energies above $E_\text{crossover}$ have approximate $C_4$ rotational symmetry and are weakly temperature dependent. These results are consistent with angle resolved photoemission spectroscopy measurements, where the presence of an uniaxial strain necessary to detwin NaFeAs also raises the onset temperature $T^\ast$ of observable orbital-dependent band splitting to above $T_s$, thus supporting the notion of orbital selective spin waves in the nematic phase of iron-based superconductors.


title: The ATHENA Class of Risk-Limiting Ballot Polling Audits

abstract: The main risk-limiting ballot polling audit in use today, BRAVO, is designed for use when single ballots are drawn at random and a decision regarding whether to stop the audit or draw another ballot is taken after each ballot draw (ballot-by-ballot (B2) audits). On the other hand, real ballot polling audits draw many ballots in a single round before determining whether to stop (round-by-round (R2) audits). We show that BRAVO results in significant inefficiency when directly applied to real R2 audits. We present the ATHENA class of R2 stopping rules, which we show are risk-limiting if the round schedule is pre-determined (before the audit begins). We prove that each rule is at least as efficient as the corresponding BRAVO stopping rule applied at the end of the round. We have open-source software libraries implementing most of our results. We show that ATHENA halves the number of ballots required, for all state margins in the 2016 US Presidential election and a first round with $90\%$ stopping probability, when compared to BRAVO (stopping rule applied at the end of the round). We present simulation results supporting the 90% stopping probability claims and our claims for the risk accrued in the first round. Further, ATHENA reduces the number of ballots by more than a quarter for low margins, when compared to the BRAVO stopping rule applied on ballots in selection order. This implies that keeping track of the order when drawing ballots R2 is not beneficial, because ATHENA is more efficient even without information on selection order. These results are significant because current approaches to real ballot polling election audits use the B2 BRAVO rules, requiring about twice as much work on the part of election officials. Applying the rules in selection order requires fewer ballots, but keeping track of the order, and entering it into audit software, adds to the effort.


title: The local period function for Hamiltonian systems with applications

abstract: In the first part of the paper we develop a constructive procedure to obtain the Taylor expansion, in terms of the energy, of the period function for a non-degenerated center of any planar analytic Hamiltonian system. We apply it to several examples, including the whirling pendulum and a cubic Hamiltonian system. The knowledge of this Taylor expansion of the period function for this system is one of the key points to study the number of zeroes of an Abelian integral that controls the number of limit cycles bifurcating from the periodic orbits of a planar Hamiltonian system that is inspired by a physical model on capillarity. Several other classical tools, like for instance Chebyshev systems are applied to study this number of zeroes. The approach introduced can also be applied in other situations.


title: Magnon-driven dynamics of a hybrid system excited with ultrafast optical pulses

abstract: The potential of photon-magnon hybrid systems as building blocks for quantum information science has been widely demonstrated, and it is still the focus of much research. We leverage the strengths of this unique heterogeneous physical system in the field of precision physics beyond the standard model, where the sensitivity to the so-called "invisibles" is currently being boosted by quantum technologies. Here, we demonstrate that quanta of spin waves, driven by tiniest, effective magnetic field, can be detected in a large frequency band using a hybrid system as transducer. This result can be applied to the search of cosmological signals related, for example, to cold Dark Matter, which may directly interact with magnons. Our model of the transducer is based on a second-quantisation two-oscillators hybrid system, it matches the observations, and can be easily extended to thoroughly describe future large-scale ferromagnetic haloscopes.


title: On the Size Control of the Hybrid Test for Predictive Ability

abstract: We analyze theoretical properties of the hybrid test for superior predictability. We demonstrate with a simple example that the test may not be pointwise asymptotically of level $\alpha$ at commonly used significance levels and may lead to rejection rates over $11\%$ when the significance level $\alpha$ is $5\%$. Generalizing this observation, we provide a formal result that pointwise asymptotic invalidity of the hybrid test persists in a setting under reasonable conditions. As an easy alternative, we propose a modified hybrid test based on the generalized moment selection method and show that the modified test enjoys pointwise asymptotic validity. Monte Carlo simulations support the theoretical findings.


title: Critical Phenomena in Complex Networks: from Scale-free to Random Networks

abstract: Within the conventional statistical physics framework, we study critical phenomena in a class of configuration network models with hidden variables controlling links between pairs of nodes. We find analytical expressions for the average node degree, the expected number of edges, and the Landau and Helmholtz free energies, as a function of the temperature and number of nodes. We show that the network's temperature is a parameter that controls the average node degree in the whole network and the transition from unconnected graphs to a power-law degree (scale-free) and random graphs. With increasing temperature, the degree distribution is changed from power-law degree distribution, for lower temperatures, to a Poisson-like distribution for high temperatures. We also show that phase transition in the so-called Type A networks leads to fundamental structural changes in the network topology. Below the critical temperature, the graph is completely disconnected. Above the critical temperature, the graph becomes connected, and a giant component appears.

categories: physics.soc-ph cond-mat.dis-nn gr-qc quant-ph


title: Machine learning for faster and smarter fluorescence lifetime imaging microscopy

abstract: Fluorescence lifetime imaging microscopy (FLIM) is a powerful technique in biomedical research that uses the fluorophore decay rate to provide additional contrast in fluorescence microscopy. However, at present, the calculation, analysis, and interpretation of FLIM is a complex, slow, and computationally expensive process. Machine learning (ML) techniques are well suited to extract and interpret measurements from multi-dimensional FLIM data sets with substantial improvement in speed over conventional methods. In this topical review, we first discuss the basics of FILM and ML. Second, we provide a summary of lifetime extraction strategies using ML and its applications in classifying and segmenting FILM images with higher accuracy compared to conventional methods. Finally, we discuss two potential directions to improve FLIM with ML with proof of concept demonstrations.


title: Can I Pour into It? Robot Imagining Open Containability Affordance of Previously Unseen Objects via Physical Simulations

abstract: Open containers, i.e., containers without covers, are an important and ubiquitous class of objects in human life. In this letter, we propose a novel method for robots to "imagine" the open containability affordance of a previously unseen object via physical simulations. We implement our imagination method on a UR5 manipulator. The robot autonomously scans the object with an RGB-D camera. The scanned 3D model is used for open containability imagination which quantifies the open containability affordance by physically simulating dropping particles onto the object and counting how many particles are retained in it. This quantification is used for open-container vs. non-open-container binary classification (hereafter referred to as open container classification). If the object is classified as an open container, the robot further imagines pouring into the object, again using physical simulations, to obtain the pouring position and orientation for real robot autonomous pouring. We evaluate our method on open container classification and autonomous pouring of granular material on a dataset containing 130 previously unseen objects with 57 object categories. Although our proposed method uses only 11 objects for simulation calibration (training), its open container classification aligns well with human judgements. In addition, our method endows the robot with the capability to autonomously pour into the 55 containers in the dataset with a very high success rate. We also compare to a deep learning method. Results show that our method achieves the same performance as the deep learning method on open container classification and outperforms it on autonomous pouring. Moreover, our method is fully explainable.


title: Spatiotemporal dynamic of COVID-19 mortality in the city of Sao Paulo, Brazil: shifting the high risk from the best to the worst socio-economic conditions

abstract: Currently, Brazil has one of the fastest increasing COVID-19 epidemics in the world, that has caused at least 94 thousand confirmed deaths until now. The city of Sao Paulo is particularly vulnerable because it is the most populous in the country. Analyzing the spatiotemporal dynamics of COVID-19 is important to help the urgent need to integrate better actions to face the pandemic. Thus, this study aimed to analyze the COVID-19 mortality, from March to July 2020, considering the spatio-time architectures, the socio-economic context of the population, and using a fine granular level, in the most populous city in Brazil. For this, we conducted an ecological study, using secondary public data from the mortality information system. We describe mortality rates for each epidemiological week and the entire period by sex and age. We modelled the deaths using spatiotemporal and spatial architectures and Poisson probability distributions in a latent Gaussian Bayesian model approach. We obtained the relative risks for temporal and spatiotemporal trends and socio-economic conditions. To reduce possible sub notification, we considered the confirmed and suspected deaths. Our findings showed an apparent stabilization of the temporal trend, at the end of the period, but that may change in the future. Mortality rate increased with increasing age and was higher in men. The risk of death was greater in areas with the worst social conditions throughout the study period. However, this was not a uniform pattern over time, since we identified a shift from the high risk in the areas with best socio-economic conditions to the worst ones. Our study contributed by emphasizing the importance of geographic screening in areas with a higher risk of death, and, currently, worse socio-economic contexts, as a crucial aspect to reducing disease mortality and health inequities, through integrated public health actions.


title: Hybrid Transformer/CTC Networks for Hardware Efficient Voice Triggering

abstract: We consider the design of two-pass voice trigger detection systems. We focus on the networks in the second pass that are used to re-score candidate segments obtained from the first-pass. Our baseline is an acoustic model(AM), with BiLSTM layers, trained by minimizing the CTC loss. We replace the BiLSTM layers with self-attention layers. Results on internal evaluation sets show that self-attention networks yield better accuracy while requiring fewer parameters. We add an auto-regressive decoder network on top of the self-attention layers and jointly minimize the CTC loss on the encoder and the cross-entropy loss on the decoder. This design yields further improvements over the baseline. We retrain all the models above in a multi-task learning(MTL) setting, where one branch of a shared network is trained as an AM, while the second branch classifies the whole sequence to be true-trigger or not. Results demonstrate that networks with self-attention layers yield $\sim$60% relative reduction in false reject rates for a given false-alarm rate, while requiring 10% fewer parameters. When trained in the MTL setup, self-attention networks yield further accuracy improvements. On-device measurements show that we observe 70% relative reduction in inference time. Additionally, the proposed network architectures are $\sim$5X faster to train.


title: Predicting Crack Growth and Fatigue Life with Surrogate Models

abstract: Fatigue-induced damage is still one of the most uncertain failures in structural systems. Prognostic health monitoring together with surrogate models can help to predict the fatigue life of a structure. This paper demonstrates how to combine data from previously observed crack evolutions with data from the currently observed structure in order to predict crack growth and the total fatigue life. We show the application of one physics-based model, which is based on Paris' law, and four mathematical surrogate models: recurrent neural networks, Gaussian process regression, k-nearest neighbors, and support vector regression. For a coupon test, we predict the time to failure and the crack growth with confidence intervals. Moreover, we compare the performance of all proposed models by the mean absolute error, coefficient of determination, mean of log-likelihood, and their confidence intervals. The results show that the best mathematical surrogate models are Gaussian process regression and recurrent neural networks. Furthermore, this paper shows that the mathematical surrogate models tend to have conservative confidence intervals, whereas the physics-based model exhibits overly optimistic (too small) confidence intervals.


title: Effects of QCD critical point on light nuclei production

abstract: Using the nucleon coalescence model, which can naturally take into account the correlations in the nucleon density distribution, we study the effects of QCD critical point on light nuclei production in relativistic heavy-ion collisions. We find that the yield ratio $N_tN_p/N_d^2$ of proton ($p$), deuteron ($d$) and triton ($t$) increases monotonically with the nucleon density correlation length, which is expected to increase significantly near the critical point in the QCD phase diagram. Our study thus demonstrates that the yield ratio $N_tN_p/N_d^2$ can be used as a sensitive probe of the QCD critical phenomenon. We further discuss the relation between the QCD phase transitions in heavy-ion collisions and the possible non-monotonic behavior of \pdt~in its collision energy dependence.


title: Gravitational and electromagnetic radiation from binary black holes with electric and magnetic charges: Circular orbits on a cone

abstract: We derive the equations of motion of dyonic black hole binaries with electric and magnetic charges and explore features of static orbits. By using a Newtonian method with the inclusion of radiation reaction, we calculate the total emission rate of energy and angular momentum due to gravitational radiation and electromagnetic radiation for circular orbits. Moreover, we obtain the evolutions of orbits and calculate merger times of dyonic binaries. We show that electric and magnetic charges significantly suppress the merger times of dyonic binaries. Our results provide rich information about dyonic binaries and can be used to test black holes with magnetic charges.


title: Bayesian Optimization with Machine Learning Algorithms Towards Anomaly Detection

abstract: Network attacks have been very prevalent as their rate is growing tremendously. Both organization and individuals are now concerned about their confidentiality, integrity and availability of their critical information which are often impacted by network attacks. To that end, several previous machine learning-based intrusion detection methods have been developed to secure network infrastructure from such attacks. In this paper, an effective anomaly detection framework is proposed utilizing Bayesian Optimization technique to tune the parameters of Support Vector Machine with Gaussian Kernel (SVM-RBF), Random Forest (RF), and k-Nearest Neighbor (k-NN) algorithms. The performance of the considered algorithms is evaluated using the ISCX 2012 dataset. Experimental results show the effectiveness of the proposed framework in term of accuracy rate, precision, low-false alarm rate, and recall.


title: Everettian relative states in the Heisenberg picture

abstract: Everett's relative-state construction in quantum theory has never been satisfactorily expressed in the Heisenberg picture. What one might have expected to be a straightforward process was impeded by conceptual and technical problems that we solve here. The result is a construction which, unlike Everett's one in the Schr\"odinger picture, makes manifest the locality of Everettian multiplicity, and its inherently approximative nature, and its origin in certain kinds of entanglement and locally inaccessible information. Our construction also allows us to give a more precise definition of an Everett 'universe', under which it is fully quantum, not quasi-classical, and we compare the Everettian decomposition of a quantum state with the foliation of a spacetime.


title: A particle-based Ising model

abstract: We characterize equilibrium properties and relaxation dynamics of a two-dimensional lattice containing, at each site, two particles connected by a double-well potential (dumbbell). Dumbbells are oriented in the orthogonal direction with respect to the lattice plane and interact with each other through a Lennard-Jones potential truncated at the nearest neighbor distance. We show that the system's equilibrium properties are accurately described by a two-dimensional Ising model with an appropriate coupling constant. Moreover, we characterize the coarsening kinetics by calculating the cluster size as a function of time and compare the results with Monte Carlo simulations based on Glauber or reactive dynamics rate constants.


title: Piezoacoustics for precision control of electrons floating on helium

abstract: Piezoelectric surface acoustic waves (SAWs) are powerful for investigating and controlling elementary and collective excitations in condensed matter. In semiconductor two-dimensional electron systems SAWs have been used to reveal the spatial and temporal structure of electronic states, produce quantized charge pumping, and transfer quantum information. In contrast to semiconductors, electrons trapped above the surface of superfluid helium form an ultra-high mobility, two-dimensional electron system home to strongly-interacting Coulomb liquid and solid states, which exhibit non-trivial spatial structure and temporal dynamics prime for SAW-based experiments. Here we report on the coupling of electrons on helium to an evanescent piezoelectric SAW. We demonstrate precision acoustoelectric transport of as little as ~0.01% of the electrons, opening the door to future quantized charge pumping experiments. We also show SAWs are a route to investigating the high-frequency dynamical response, and relaxational processes, of collective excitations of the electronic liquid and solid phases of electrons on helium.


title: Relativistic partial waves for celestial amplitudes

abstract: The formalism of relativistic partial wave expansion is developed for four-point celestial amplitudes of massless external particles. In particular, relativistic partial waves are found as eigenfunctions to the product representation of celestial Poincar\'e Casimir operators with appropriate eigenvalues. The requirement of hermiticity of Casimir operators is used to fix the corresponding integral inner product, and orthogonality of the obtained relativistic partial waves is verified explicitly. The completeness relation, as well as the relativistic partial wave expansion follow. Example celestial amplitudes of scalars, gluons, gravitons and open superstring gluons are expanded on the basis of relativistic partial waves for demonstration. A connection with the formulation of relativistic partial waves in the bulk of Minkowski space is made in appendices.


title: Time-reversal symmetry violations and entropy production in field theories of polar active matter

abstract: We investigate the steady-state entropy production rate (EPR) in the Hydrodynamic Vicsek Model (HVM) and Diffusive Flocking Model (DFM). Both models display a transition from an isotropic gas to a polar liquid (flocking) phase, in addition to traveling polar clusters and microphase-separation in the miscibility gap. The phase diagram of the DFM, which may be considered an extension of the HVM, contains additional structure at low densities where we find a novel crystal phase in which a stationary hexagonal lattice of high-density ridges surround low density valleys. From an assessment of the scaling of the EPR at low noise, we uncover that the dynamics in this limit may be organised into three main classes based on the dominant contribution. Truly nonequilibrium dynamics is characterised by a divergent EPR in this limit, and sustains global time-reversal symmetry (TRS) violating currents at zero noise. On the other hand, marginally nonequilibrium and effectively equilibrium dynamics have a finite EPR in this limit, and TRS is broken only at the level of fluctuations. For the latter of these two cases, detailed balance is restored in the small noise limit and we recover effective Boltzmann statistics to lowest nontrivial order. We further demonstrate that the scaling of the EPR may change depending on the dynamical variables that are tracked when it is computed, and the protocol chosen for time-reversal. Results acquired from numerical simulations of the dynamics confirm both the asymptotic scaling relations we derive and our quantitative predictions.


title: Fast Position-Aided MIMO Beam Training via Noisy Tensor Completion

abstract: In this paper, a data-driven position-aided approach is proposed to reduce the training overhead in MIMO systems, by leveraging side information and on-the-field measurements. A data tensor is constructed by collecting beam-training measurements on a subset of positions and beams, and a hybrid noisy tensor completion (HNTC) algorithm is proposed to predict the received power across the coverage area, which exploits both the spatial smoothness and the low-rank property of MIMO channels. A recommendation algorithm based on the completed tensor, beam subset selection (BSS), is proposed to achieve fast and accurate beam-training. Besides, a grouping-based BSS algorithm is proposed to combat the detrimental effect of noisy positional information. Numerical results evaluated with the Quadriga channel simulator at 60 GHz millimeter-wave channels show that the proposed BSS recommendation algorithm in combination with HNTC achieve accurate received power predictions, enabling beam-alignment with small overhead: given power measurements on 40% of possible discretized positions, HNTC-based BSS attains a probability of correct alignment of 91%, with only 2% of trained beams, as opposed to a state-of-the-art position-aided beam-alignment scheme which achieves 54% correct alignment in the same configuration. Finally, an online HNTC method via warm-start is proposed, that alleviates the computational complexity by 50%, with no degradation in prediction accuracy.


title: Whistler Waves and Electron Properties in the Inner Heliosphere: Helios Observations

abstract: We present the analysis of narrowband whistler wave signatures observed in the inner heliosphere (0.3-1 au). These signatures are bumps in the spectral density in the 10-200 Hz frequency range of the AC magnetic field as measured by the search coil magnetometer on board the Helios1 spacecraft. We show that the majority of whistler signatures are observed in the slow solar wind (<500 km/s) and their occurrence increases with the radial distance (R), from ~3% at 0.3 au to ~10% at 0.9 au. In the fast solar wind (>600 km/s), whistler activity is significantly lower; whistler signatures start to appear for R > 0.6 au and their number increases from ~0.03% at 0.65 au to ~1% at 0.9 au. We have studied the variation of the electron core and halo anisotropy, as well as the electron normalized heat flux as a function of R and of the solar wind speed. We find that, in the slow wind electron core and halo anisotropy is higher than in fast one, and also that these anisotropies increase radially in both types of winds, which is in line with the occurrence of whistler signatures. We hypothesize the existence of a feedback mechanism to explain the observed radial variations of the occurrence of whistlers in relation with the halo anisotropy.


title: Regularization of multiplicative SDEs through additive noise

abstract: We investigate the regularizing effect of certain additive continuous perturbations on SDEs with multiplicative fractional Brownian motion (fBm). Traditionally, a Lipschitz requirement on the drift and diffusion coefficients is imposed to ensure existence and uniqueness of the SDE. We show that suitable perturbations restore existence, uniqueness and regularity of the flow for the resulting equation, even when both the drift and the diffusion coefficients are distributional, thus extending the program of regularization by noise to the case of multiplicative SDEs. Our method relies on a combination of the non-linear Young formalism developed by Catellier and Gubinelli, and stochastic averaging estimates recently obtained by Hairer and Li.


title: Weak curvatures of irregular curves in high dimension Euclidean spaces

abstract: We deal with a robust notion of weak normals for a wide class of irregular curves defined in Euclidean spaces of high dimension. Concerning polygonal curves, the discrete normals are built up through a Gram-Schmidt procedure applied to consecutive oriented segments, and they naturally live in the projective space associated to the Gauss hyper-sphere. By using sequences of inscribed polygonals with infinitesimal modulus, a relaxed notion of total variation of the $j$-th normal to a generic curve is then introduced. For smooth curves satisfying the Jordan system, in fact, our relaxed notion agrees with the length of the smooth $j$-th normal. Correspondingly, a good notion of weak $j$-th normal of irregular curves with finite relaxed energy is introduced, and it turns out to be the strong limit of any sequence of approximating polygonals. The length of our weak normal agrees with the corresponding relaxed energy, for which a related integral-geometric formula is also obtained. We then discuss a wider class of smooth curves for which the weak normal is strictly related to the classical one, outside the inflection points. Finally, starting from the first variation of the length of the weak $j$-th normal, a natural notion of curvature measure is also analyzed.


title: Optimal Data Detection and Signal Estimation in Systems with Input Noise

abstract: Practical systems often suffer from hardware impairments that already appear during signal generation. Despite the limiting effect of such input-noise impairments on signal processing systems, they are routinely ignored in the literature. In this paper, we propose an algorithm for data detection and signal estimation, referred to as Approximate Message Passing with Input noise (AMPI), which takes into account input-noise impairments. To demonstrate the efficacy of AMPI, we investigate two applications: Data detection in large multiple-input multiple output (MIMO) wireless systems and sparse signal recovery in compressive sensing. For both applications, we provide precise conditions in the large-system limit for which AMPI achieves optimal performance. We furthermore use simulations to demonstrate that AMPI achieves near-optimal performance at low complexity in realistic, finite-dimensional systems.


title: Jordan types with small parts for Artinian Gorenstein algebras of codimension three

abstract: We study Jordan types of linear forms for graded Artinian Gorenstein algebras having arbitrary codimension. We introduce rank matrices of linear forms for such algebras that represent the ranks of multiplication maps in various degrees. We show that there is a 1-1 correspondence between rank matrices and Jordan degree types. For Artinian Gorenstein algebras with codimension three we classify all rank matrices that occur for linear forms with vanishing third power. As a consequence, we show for such algebras that the possible Jordan types with parts of length at most four are uniquely determined by at most three parameters.


title: A Large Repository of 3D Climate Model Outputs for Community Analysis and Postprocessing

abstract: As the number of known exoplanets has climbed into the thousands, efforts by theorists to understand the diversity of climates that may exist on terrestrial planets in the habitable zone have also accelerated. These efforts have ranged from analytical, to simple 0-D, 1-D, and 2-D models, to highly-sophisticated 3D global climate models (GCMs) adapted from Earth climate and weather models. The advantage of the latter is that fewer physical processes are reduced to simple parameterizations and empirical fits, and may instead be represented by physically-motivated algorithms. However, many such models are difficult to use, and take a long time to reach a converged state relative to simpler models, thereby limiting the amount of parameter space that can be explored. We use PlaSim, a 3D climate model of intermediate complexity, to bridge this gap, allowing us to produce hundreds to thousands of model outputs that have reached energy balance equilibrium at the surface and top of the atmosphere. We are making our model outputs available to the community in a permanent Dataverse repository (https://dataverse.scholarsportal.info/dataverse/kmenou). A subset of our model outputs can be used directly with external spectral postprocessing tools, and we have used them with petitRADTRANS and SBDART in order to create synthetic observables representative of fully-3D climates. Another natural use of this repository will be to use more-sophisticated GCMs to cross-check and verify PlaSim's results, and to explore in more detail those regions of the exoplanet parameter space identified in our PlaSim results as being of particular interest. We will continue to add models to this repository in the future, including more than 1000 models in the short- to medium-term future, expanding the diversity of climates represented therein.


title: Global Voxel Transformer Networks for Augmented Microscopy

abstract: Advances in deep learning have led to remarkable success in augmented microscopy, enabling us to obtain high-quality microscope images without using expensive microscopy hardware and sample preparation techniques. However, current deep learning models for augmented microscopy are mostly U-Net based neural networks, thus sharing certain drawbacks that limit the performance. In this work, we introduce global voxel transformer networks (GVTNets), an advanced deep learning tool for augmented microscopy that overcomes intrinsic limitations of the current U-Net based models and achieves improved performance. GVTNets are built on global voxel transformer operators (GVTOs), which are able to aggregate global information, as opposed to local operators like convolutions. We apply the proposed methods on existing datasets for three different augmented microscopy tasks under various settings. The performance is significantly and consistently better than previous U-Net based approaches.


title: Bayesian Set of Best Dynamic Treatment Regimes and Sample Size Determination for SMARTs with Binary Outcomes

abstract: One of the main goals of sequential, multiple assignment, randomized trials (SMART) is to find the most efficacious design embedded dynamic treatment regimes. The analysis method known as multiple comparisons with the best (MCB) allows comparison between dynamic treatment regimes and identification of a set of optimal regimes in the frequentist setting for continuous outcomes, thereby, directly addressing the main goal of a SMART. In this paper, we develop a Bayesian generalization to MCB for SMARTs with binary outcomes. Furthermore, we show how to choose the sample size so that the inferior embedded DTRs are screened out with a specified power. We compare log-odds between different DTRs using their exact distribution without relying on asymptotic normality in either the analysis or the power calculation. We conduct extensive simulation studies under two SMART designs and illustrate our method's application to the Adaptive Treatment for Alcohol and Cocaine Dependence (ENGAGE) trial.


title: A simple proof of Talbot's theorem for intersecting separated sets

abstract: A subset $A$ of $[n] = \{1, \dots, n\}$ is $k$-separated if, when the elements of $[n]$ are considered on a circle, between any two elements of $A$ there are at least $k$ elements of $[n]$ that are not in $A$. A family $\mathcal{A}$ of sets is intersecting if every two sets in $\mathcal{A}$ intersect. We give a short and simple proof of a remarkable result of Talbot (2003), stating that if $n \geq (k + 1)r$ and $\mathcal{A}$ is an intersecting family of $k$-separated $r$-element subsets of $[n]$, then $|\mathcal{A}| \leq \binom{n - kr - 1}{r - 1}$. This bound is best possible.


title: A note on sequences not having metric Poissonian pair correlations

abstract: The purpose of this note is to present a construction of sequences which do not have metric Poissonian pair correlations (MPPC) and whose additive energies grow at rates that come arbitrarily close to a threshold below which it is believed that all sequences have MPPC. A similar result appears in work of Lachmann and Technau and is proved using a totally different strategy. The main novelty here is the simplicity of the proof, which we arrive at by modifying a construction of Bourgain.


title: Exploiting Temporal Attention Features for Effective Denoising in Videos

abstract: Video Denoising is one of the fundamental tasks of any videoprocessing pipeline. It is different from image denoising due to the tem-poral aspects of video frames, and any image denoising approach appliedto videos will result in flickering. The proposed method makes use oftemporal as well as spatial dimensions of video frames as part of a two-stage pipeline. Each stage in the architecture named as Spatio-TemporalNetwork uses a channel-wise attention mechanism to forward the encodersignal to the decoder side. The Attention Block used in this paper usessoft attention to ranks the filters for better training.


title: Local characterizations for decomposability of 2-parameter persistence modules

abstract: We investigate the existence of sufficient local conditions under which poset representations decompose as direct sums of indecomposables from a given class. In our work, the indexing poset is the product of two totally ordered sets, corresponding to the setting of 2-parameter persistence in topological data analysis. Our indecomposables of interest belong to the so-called interval modules, which by definition are indicator representations of intervals in the poset. While the whole class of interval modules does not admit such a local characterization, we show that the subclass of rectangle modules does admit one and that it is, in some precise sense, the largest subclass to do so.


title: High-Fidelity Measurement of a Superconducting Qubit using an On-Chip Microwave Photon Counter

abstract: We describe an approach to the high-fidelity measurement of a superconducting qubit using an on-chip microwave photon counter. The protocol relies on the transient response of a dispersively coupled measurement resonator to map the state of the qubit to "bright" and "dark" cavity pointer states that are characterized by a large differential photon occupation. Following this mapping, we photodetect the resonator using the Josephson Photomultipler (JPM), which transitions between classically distinguishable flux states when cavity photon occupation exceeds a certain threshold. Our technique provides access to the binary outcome of projective quantum measurement at the millikelvin stage without the need for quantum-limited preamplification and thresholding at room temperature. We achieve raw single-shot measurement fidelity in excess of 98% across multiple samples using this approach in total measurement times under 500 ns. In addition, we show that the backaction and crosstalk associated with our measurement protocol can be mitigated by exploiting the intrinsic damping of the JPM itself.


title: An Interpretable Deep Learning System for Automatically Scoring Request for Proposals

abstract: The Managed Care system within Medicaid (US Healthcare) uses Request For Proposals (RFP) to award contracts for various healthcare and related services. RFP responses are very detailed documents (hundreds of pages) submitted by competing organisations to win contracts. Subject matter expertise and domain knowledge play an important role in preparing RFP responses along with analysis of historical submissions. Automated analysis of these responses through Natural Language Processing (NLP) systems can reduce time and effort needed to explore historical responses, and assisting in writing better responses. Our work draws parallels between scoring RFPs and essay scoring models, while highlighting new challenges and the need for interpretability. Typical scoring models focus on word level impacts to grade essays and other short write-ups. We propose a novel Bi-LSTM based regression model, and provide deeper insight into phrases which latently impact scoring of responses. We contend the merits of our proposed methodology using extensive quantitative experiments. We also qualitatively asses the impact of important phrases using human evaluators. Finally, we introduce a novel problem statement that can be used to further improve the state of the art in NLP based automatic scoring systems.


title: Nontopological zero-bias peaks in full-shell nanowires induced by flux tunable Andreev states

abstract: A semiconducting nanowire fully wrapped by a superconducting shell has been proposed as a platform for obtaining Majorana modes at small magnetic fields. In this study, we demonstrate that the appearance of subgap states in such structures is actually governed by the junction region in tunneling spectroscopy measurements, and not the full-shell nanowire itself. Short tunneling regions never show subgap states, whereas longer junctions always do. This can be understood in terms of quantum dots forming in the junction and hosting Andreev levels in the Yu-Shiba-Rusinov regime. The intricate magnetic field dependence of the Andreev levels, through both the Zeeman and Little-Parks effects, may result in robust zero-bias peaks, features that could be easily misinterpreted as originating from Majorana zero modes, but are unrelated to topological superconductivity.


title: Inverse design of deployable origami structures that approximate a general surface

abstract: Shape-morphing finds widespread utility, from the deployment of small stents and large solar sails to actuation and propulsion in soft robotics. Origami structures provide a template for shape-morphing, but rules for designing and folding the structures are challenging to integrate into broad and versatile design tools. Here, we develop a sequential two-stage optimization framework to approximate a general surface by a deployable origami structure. The optimization is performed over the space of all possible rigidly and flat-foldable quadrilateral mesh origami. So, the origami structures produced by our framework come with desirable engineering properties: they can be easily manufactured on a flat reference sheet, deployed to their target state by a controlled folding motion, then to a compact folded state in applications involving storage and portability. The attainable surfaces demonstrated include those with modest but diverse curvatures and unprecedented ones with sharp ridges. The framework provides not only a tool to design various deployable and retractable surfaces in engineering and architecture, but also a route to optimizing other properties and functionality.


title: Ultrathin catalyst-free InAs nanowires on silicon with distinct 1D sub-band transport properties

abstract: Ultrathin InAs nanowires (NW) with one-dimensional (1D) sub-band structure are promising materials for advanced quantum-electronic devices, where dimensions in the sub-30 nm diameter limit together with post-CMOS integration scenarios on Si are much desired. Here, we demonstrate two site-selective synthesis methods that achieve epitaxial, high aspect ratio InAs NWs on Si with ultrathin diameters below 20 nm. The first approach exploits direct vapor-solid growth to tune the NW diameter by interwire spacing, mask opening size and growth time. The second scheme explores a unique reverse-reaction growth by which the sidewalls of InAs NWs are thermally decomposed under controlled arsenic flux and annealing time. Interesting kinetically limited dependencies between interwire spacing and thinning dynamics are found, yielding diameters as low as 12 nm for sparse NW arrays. We clearly verify the 1D sub-band structure in ultrathin NWs by pronounced conductance steps in low-temperature transport measurements using back-gated NW-field effect transistors. Correlated simulations reveal single- and double degenerate conductance steps, which highlight the rotational hexagonal symmetry and reproduce the experimental traces in the diffusive 1D transport limit. Modelling under the realistic back-gate configuration further evidences regimes that lead to asymmetric carrier distribution and lifts of the degeneracy in dependence of gate bias.


title: Remarks about inhomogeneous pair correlations

abstract: Given an infinite subset $\mathcal A \subseteq\mathbb N$, let $A$ denote its smallest $N$ elements. There is a rich and growing literature on the question of whether for typical $\alpha\in[0,1]$, the pair correlations of the set $\alpha A \pmod 1\subset [0,1]$ are asymptotically Poissonian as $N$ increases. We define an inhomogeneous generalization of the concept of pair correlation, and we consider the corresponding doubly metric question. Many of the results from the usual setting carry over to this new setting. Moreover, the double metricity allows us to establish some new results whose singly metric analogues are missing from the literature.


title: Efficient Compactions Between Storage Tiers with PrismDB

abstract: In recent years, emerging storage hardware technologies have focused on divergent goals: better performance or lower cost-per-bit. Correspondingly, data systems that employ these technologies are typically optimized either to be fast (but expensive) or cheap (but slow). We take a different approach: by architecting a storage engine to natively utilize two tiers of fast and low-cost storage technologies, we can achieve a Pareto-efficient balance between performance and cost-per-bit. This paper presents the design and implementation of PrismDB, a novel key-value store that exploits two extreme ends of the spectrum of modern NVMe storage technologies (3D XPoint and QLC NAND) simultaneously. Our key contribution is how to efficiently migrate and compact data between two different storage tiers. Inspired by the classic cost-benefit analysis of log cleaning, we develop a new algorithm for multi-tiered storage compaction that balances the benefit of reclaiming space for hot objects in fast storage with the cost of compaction I/O in slow storage. Compared to the standard use of RocksDB on flash in datacenters today, PrismDB's average throughput on tiered storage is 3.3$\times$ faster and its read tail latency is 2$\times$ better, using equivalently priced hardware.


title: Protein Conformational States: A First Principles Bayesian Method

abstract: Automated identification of protein conformational states from simulation of an ensemble of structures is a hard problem because it requires teaching a computer to recognize shapes. We adapt the naive Bayes classifier from the machine learning community for use on atom-to-atom pairwise contacts. The result is an unsupervised learning algorithm that samples a `distribution' over potential classification schemes. We apply the classifier to a series of test structures and one real protein, showing that it identifies the conformational transition with > 95% accuracy in most cases. A nontrivial feature of our adaptation is a new connection to information entropy that allows us to vary the level of structural detail without spoiling the categorization. This is confirmed by comparing results as the number of atoms and time-samples are varied over 1.5 orders of magnitude. Further, the method's derivation from Bayesian analysis on the set of inter-atomic contacts makes it easy to understand and extend to more complex cases.


title: CrowDEA: Multi-view Idea Prioritization with Crowds

abstract: Given a set of ideas collected from crowds with regard to an open-ended question, how can we organize and prioritize them in order to determine the preferred ones based on preference comparisons by crowd evaluators? As there are diverse latent criteria for the value of an idea, multiple ideas can be considered as "the best". In addition, evaluators can have different preference criteria, and their comparison results often disagree. In this paper, we propose an analysis method for obtaining a subset of ideas, which we call frontier ideas, that are the best in terms of at least one latent evaluation criterion. We propose an approach, called CrowDEA, which estimates the embeddings of the ideas in the multiple-criteria preference space, the best viewpoint for each idea, and preference criterion for each evaluator, to obtain a set of frontier ideas. Experimental results using real datasets containing numerous ideas or designs demonstrate that the proposed approach can effectively prioritize ideas from multiple viewpoints, thereby detecting frontier ideas. The embeddings of ideas learned by the proposed approach provide a visualization that facilitates observation of the frontier ideas. In addition, the proposed approach prioritizes ideas from a wider variety of viewpoints, whereas the baselines tend to use to the same viewpoints; it can also handle various viewpoints and prioritize ideas in situations where only a limited number of evaluators or labels are available.


title: Adiabatic Quantum Linear Regression

abstract: A major challenge in machine learning is the computational expense of training these models. Model training can be viewed as a form of optimization used to fit a machine learning model to a set of data, which can take up significant amount of time on classical computers. Adiabatic quantum computers have been shown to excel at solving optimization problems, and therefore, we believe, present a promising alternative to improve machine learning training times. In this paper, we present an adiabatic quantum computing approach for training a linear regression model. In order to do this, we formulate the regression problem as a quadratic unconstrained binary optimization (QUBO) problem. We analyze our quantum approach theoretically, test it on the D-Wave 2000Q adiabatic quantum computer and compare its performance to a classical approach that uses the Scikit-learn library in Python. Our analysis shows that the quantum approach attains up to 2.8x speedup over the classical approach on larger datasets, and performs at par with the classical approach on the regression error metric.


title: A Neural-Symbolic Framework for Mental Simulation

abstract: We present a neural-symbolic framework for observing the environment and continuously learning visual semantics and intuitive physics to reproduce them in an interactive simulation. The framework consists of five parts, a neural-symbolic hybrid network based on capsules for inverse graphics, an episodic memory to store observations, an interaction network for intuitive physics, a meta-learning agent that continuously improves the framework and a querying language that acts as the framework's interface for simulation. By means of lifelong meta-learning, the capsule network is expanded and trained continuously, in order to better adapt to its environment with each iteration. This enables it to learn new semantics using a few-shot approach and with minimal input from an oracle over its lifetime. From what it learned through observation, the part for intuitive physics infers all the required physical properties of the objects in a scene, enabling predictions. Finally, a custom query language ties all parts together, which allows to perform various mental simulation tasks, such as navigation, sorting and simulation of a game environment, with which we illustrate the potential of our novel approach.


title: Bijections for faces of the Shi and Catalan arrangements

abstract: In 1986, Shi derived the famous formula $(n+1)^{n-1}$ for the number of regions of the Shi arrangement, a hyperplane arrangement in $\mathbb{R}^n$. There are at least two different bijective explanations of this formula, one by Pak and Stanley, another by Athanasiadis and Linusson. In 1996, Athanasiadis used the finite field method to derive a formula for the number of $k$-dimensional faces of the Shi arrangement for any $k$. Until now, the formula of Athanasiadis did not have a bijective explanation. In this paper, we extend a bijection for regions defined by Bernardi to obtain a bijection between the $k$-dimensional faces of the Shi arrangement for any $k$ and a set of decorated binary trees. Furthermore, we show how these trees can be converted to a simple set of functions of the form $f: [n-1] \to [n+1]$ together with a marked subset of $\text{Im}(f)$. This correspondence gives the first bijective proof of the formula of Athanasiadis. In the process, we also obtain a bijection and counting formula for the faces of the Catalan arrangement. All of our results generalize to both extended arrangements.


title: Cosmic censorship conjecture in a general Kerr-Newman black hole

abstract: Using some probes, the violation of cosmic censorship conjecture in a general Kerr-Newman black hole is investigated. The result depends on many factors, like the relative sign of charge and rotation direction of the probe and black hole. Moreover the comparison of the angular momentum of the black hole and its charge has an impressive effect. Considering all these together, we have found the range of the angular momentum, energy and charge of the probe for which the event horizon disappears. We have found that cosmic censorship conjecture violation is possible only for near extremal black hole if the parameters of the probe are too large and fine tuned. Taking into account the hoop conjecture, we see that the cosmic censorship conjecture is respected for a general Kerr-Newman black hole subject to a large enough number of falling particles and also field quanta.


title: Risk, Trust, and Bias: Causal Regulators of Biometric-Enabled Decision Support

abstract: Biometrics and biometric-enabled decision support systems (DSS) have become a mandatory part of complex dynamic systems such as security checkpoints, personal health monitoring systems, autonomous robots, and epidemiological surveillance. Risk, trust, and bias (R-T-B) are emerging measures of performance of such systems. The existing studies on the R-T-B impact on system performance mostly ignore the complementary nature of R-T-B and their causal relationships, for instance, risk of trust, risk of bias, and risk of trust over biases. This paper offers a complete taxonomy of the R-T-B causal performance regulators for the biometric-enabled DSS. The proposed novel taxonomy links the R-T-B assessment to the causal inference mechanism for reasoning in decision making. Practical details of the R-T-B assessment in the DSS are demonstrated using the experiments of assessing the trust in synthetic biometric and the risk of bias in face biometrics. The paper also outlines the emerging applications of the proposed approach beyond biometrics, including decision support for epidemiological surveillance such as for COVID-19 pandemics.


title: From Mott Insulators to Quantum Metals

abstract: High critical temperature cuprate superconducting materials are composed of copper oxide layers and interlayer charge reservoirs. When not doped, these cuprates are antiferromagnetic insulators. We propose to design new materials by combining alternating layers of parents of hole-doped and electron-doped of these cuprates and modifications thereof. Our goal is to find undoped cuprates that can be either an antiferromagnetic insulator or a quantum metal. The term quantum metal means a metal characterized by long range antiferromagnetic order or only strong antiferromagnetic correlations, i.e., it is thus a stable ground state against any other perturbations. The new metallic states sought here could be precursors to new superconducting states in the absence or presence of doping. Using the density functional theory, we report on two compounds {La}{Pr}CuO4 and {La}{V}CuO4 that illustrate the different physics described above. The curly brackets mean that the preparation of these compounds shall be done by depositing a layer containing Pr, then one CuO2 layer, then finally the La layer in {La}{Pr}CuO4 for example. The configuration formed by the positions of the charge reservoir atoms with respect to the CuO2 layer is an important factor in the new procedure we propose here. This paper reports on the X-ray diffraction, electronic, optical, and magnetic properties of these hypothetical materials. We found that {La}{Pr}CuO4 is a Mott insulator, but {La}{V}CuO4 is an undoped correlated quantum metal with long-range order. Our calculations were performed using the linearized plane wave method (FP-LAPW) implemented within the Wien2k software.


title: Orbits and structure of quadruple systems GJ 225.1 and FIN 332

abstract: Only a handful of quadruple systems with two accurate inner visual orbits are known. Architecture of two such systems is studied here to determine period ratios, mutual orbit orientation, and other parameters; updated orbital elements and their errors are derived. Gliese 225.1 (HIP 28442) is composed of three K-type and one M-type dwarfs and has inner orbital periods of 67.2+-0.2 and 23.4+-0.5 yr. Its inner orbits have small mutual inclination and are likely coplanar with the outer orbit of ~2 kyr period. The quadruple system FIN 332 (HIP 92037) consists of four early A type stars with similar masses and magnitudes. Both its inner orbits with periods of 27.6+-0.2 and 39.8+-0.4 yr have large eccentricities (0.82 and 0.84). Their orientation in the sky is remarkably similar. In contrast, the outer orbit with a period of ~5 kyr has a large relative inclination to the inner orbits. Dynamics and formation of these quadruple systems are briefly discussed.


title: Single-hemisphere dynamos in M-dwarf stars

abstract: M-dwarf stars below a certain mass are convective from their cores to their photospheres. These fully convective objects are extremely numerous, very magnetically active, and the likely hosts of many exoplanets. Here we study, for the first time, dynamo action in simulations of stratified, rotating fully convective M-dwarf stars. Importantly, we use new techniques to capture the correct full ball geometry down to the center of the star. We find surprising dynamo states in these systems, with the global-scale mean fields confined strongly to a single hemisphere, in contrast to prior stellar dynamo solutions. These hemispheric-dynamo stars are likely to have profoundly different interactions with their surroundings, with important implications for exoplanet habitability and stellar spindown.


title: Microalloying effect in ternary Al-Sm-X (X=Ag, Au, Cu) metallic glasses studied by ab initio molecular dynamics

abstract: The icosahedral-like polyhedral fraction (ICO-like fraction) has been studied as a criterion for predicting the glass-forming ability of bulk ternary metallic glasses, Al90Sm8X2 (X = Al (binary), Cu, Ag, Au), using ab initio molecular dynamics (AIMD) simulations. We found that the ICO-like fraction can be determined with adequate precision to explore correlations with AIMD simulations. We then demonstrated that ICO-like fraction correlates with the critical cooling rate, which is a widely used intrinsic measure of glass forming ability. These results suggest that the ICO-like fraction from AIMD simulations may offer a useful guide for searching and screening for good glass formers.


title: Physics-Informed Learning for High Impedance Faults Detection

abstract: High impedance faults (HIFs) in distribution grids may cause wildfires and threaten human lives. Conventional protection relays at substations fail to detect more than 10\% HIFs since over-currents are low and the signatures of HIFs are local. With more $\mu$PMU being installed in the distribution system, high-resolution $\mu$PMU datasets provide the opportunity of detecting HIFs from multiple points. Still, the main obstacle in applying the $\mu$PMU datasets is the lack of labels. To address this issue, we construct a physics-informed convolutional auto-encoder (PICAE) to detect HIFs without labeled HIFs for training. The significance of our PICAE is a physical regularization, derived from the elliptical trajectory of voltages-current characteristics, to distinguish HIFs from other abnormal events even in highly noisy situations. We formulate a system-wide detection framework that merges multiple nodes' local detection results to improve the detection accuracy and reliability. The proposed approaches are validated in the IEEE 34-node test feeder simulated through PSCAD/EMTDC. Our PICAE outperforms the existing works in various scenarios and is robust to different observability and noise.


title: Sequential change point test in the presence of outliers: the density power divergence based approach

abstract: In this study, we consider a problem of monitoring parameter changes particularly in the presence of outliers. To propose a sequential procedure that is robust against outliers, we use the density power divergence to derive a detector and stopping time that make up our procedure. We first investigate the asymptotic properties of our sequential procedure for i.i.d. sequences, and then extend the proposed procedure to stationary time series models, where we provide a set of sufficient conditions under which the proposed procedure has an asymptotically controlled size and consistency in power. As an application, our procedure is applied to the GARCH models. We demonstrate the validity and robustness of the proposed procedure through a simulation study. Finally, two real data analyses are provided to illustrate the usefulness of the proposed sequential procedure.


title: A robot that counts like a child: a developmental model of counting and pointing

abstract: In this paper, a novel neuro-robotics model capable of counting real items is introduced. The model allows us to investigate the interaction between embodiment and numerical cognition. This is composed of a deep neural network capable of image processing and sequential tasks performance, and a robotic platform providing the embodiment - the iCub humanoid robot. The network is trained using images from the robot's cameras and proprioceptive signals from its joints. The trained model is able to count a set of items and at the same time points to them. We investigate the influence of pointing on the counting process and compare our results with those from studies with children. Several training approaches are presented in this paper all of them uses pre-training routine allowing the network to gain the ability of pointing and number recitation (from 1 to 10) prior to counting training. The impact of the counted set size and distance to the objects are investigated. The obtained results on counting performance show similarities with those from human studies.


title: Capturing Turbulent Dynamics and Statistics in Experiments with Unstable Periodic Orbits

abstract: In laboratory studies and numerical simulations, we observe clear signatures of unstable time-periodic solutions in a moderately turbulent quasi-two-dimensional flow. We validate the dynamical relevance of such solutions by demonstrating that turbulent flows in both experiment and numerics transiently display time-periodic dynamics when they shadow unstable periodic orbits (UPOs). We show that UPOs we computed are also statistically significant, with turbulent flows spending a sizable fraction of the total time near these solutions. As a result, the average rates of energy input and dissipation for the turbulent flow and frequently visited UPOs differ only by a few percent.


title: The spectrum of derived Mackey functors

abstract: We compute the spectrum of the category of derived Mackey functors (in the sense of Kaledin) for all finite groups. We find that this space captures precisely the top and bottom layers (i.e. the height infinity and height zero parts) of the spectrum of the equivariant stable homotopy category. Due to this truncation of the chromatic information, we are able to obtain a complete description of the spectrum for all finite groups, despite our incomplete knowledge of the topology of the spectrum of the equivariant stable homotopy category. From a different point of view, we show that the spectrum of derived Mackey functors can be understood as the space obtained from the spectrum of the Burnside ring by "ungluing" closed points. In order to compute the spectrum, we provide a new description of Kaledin's category, as the derived category of an equivariant ring spectrum, which may be of independent interest. In fact, we clarify the relationship between several different categories, establishing symmetric monoidal equivalences and comparisons between the constructions of Kaledin, the spectral Mackey functors of Barwick, the ordinary derived category of Mackey functors, and categories of modules over certain equivariant ring spectra. We also illustrate an interesting feature of the ordinary derived category of Mackey functors that distinguishes it from other equivariant categories relating to the behavior of its geometric fixed points.


title: QUBO Formulations for Training Machine Learning Models

abstract: Training machine learning models on classical computers is usually a time and compute intensive process. With Moore's law coming to an end and ever increasing demand for large-scale data analysis using machine learning, we must leverage non-conventional computing paradigms like quantum computing to train machine learning models efficiently. Adiabatic quantum computers like the D-Wave 2000Q can approximately solve NP-hard optimization problems, such as the quadratic unconstrained binary optimization (QUBO), faster than classical computers. Since many machine learning problems are also NP-hard, we believe adiabatic quantum computers might be instrumental in training machine learning models efficiently in the post Moore's law era. In order to solve a problem on adiabatic quantum computers, it must be formulated as a QUBO problem, which is a challenging task in itself. In this paper, we formulate the training problems of three machine learning models---linear regression, support vector machine (SVM) and equal-sized k-means clustering---as QUBO problems so that they can be trained on adiabatic quantum computers efficiently. We also analyze the time and space complexities of our formulations and compare them to the state-of-the-art classical algorithms for training these machine learning models. We show that the time and space complexities of our formulations are better (in the case of SVM and equal-sized k-means clustering) or equivalent (in case of linear regression) to their classical counterparts.


title: Quantum Magic Rectangles: Characterization and Application to Certified Randomness Expansion

abstract: We study a generalization of the Mermin-Peres magic square game to arbitrary rectangular dimensions. After exhibiting some general properties, these rectangular games are fully characterized in terms of their optimal win probabilities for quantum strategies. We find that for $m \times n$ rectangular games of dimensions $m,n \geq 3$ there are quantum strategies that win with certainty, while for dimensions $1 \times n$ quantum strategies do not outperform classical strategies. The final case of dimensions $2 \times n$ is richer, and we give upper and lower bounds that both outperform the classical strategies. Finally, we apply our findings to quantum certified randomness expansion to find the noise tolerance and rates for all magic rectangle games. To do this, we use our previous results to obtain the winning probability of games with a distinguished input for which the devices give a deterministic outcome, and follow the analysis of C. A. Miller and Y. Shi [SIAM J. Comput. 46, 1304 (2017)].


title: Recognition-Synthesis Based Non-Parallel Voice Conversion with Adversarial Learning

abstract: This paper presents an adversarial learning method for recognition-synthesis based non-parallel voice conversion. A recognizer is used to transform acoustic features into linguistic representations while a synthesizer recovers output features from the recognizer outputs together with the speaker identity. By separating the speaker characteristics from the linguistic representations, voice conversion can be achieved by replacing the speaker identity with the target one. In our proposed method, a speaker adversarial loss is adopted in order to obtain speaker-independent linguistic representations using the recognizer. Furthermore, discriminators are introduced and a generative adversarial network (GAN) loss is used to prevent the predicted features from being over-smoothed. For training model parameters, a strategy of pre-training on a multi-speaker dataset and then fine-tuning on the source-target speaker pair is designed. Our method achieved higher similarity than the baseline model that obtained the best performance in Voice Conversion Challenge 2018.


title: Reinforcement Learning-driven Information Seeking: A Quantum Probabilistic Approach

abstract: Understanding an information forager's actions during interaction is very important for the study of interactive information retrieval. Although information spread in uncertain information space is substantially complex due to the high entanglement of users interacting with information objects~(text, image, etc.). However, an information forager, in general, accompanies a piece of information (information diet) while searching (or foraging) alternative contents, typically subject to decisive uncertainty. Such types of uncertainty are analogous to measurements in quantum mechanics which follow the uncertainty principle. In this paper, we discuss information seeking as a reinforcement learning task. We then present a reinforcement learning-based framework to model forager exploration that treats the information forager as an agent to guide their behaviour. Also, our framework incorporates the inherent uncertainty of the foragers' action using the mathematical formalism of quantum mechanics.


title: Exponentially faster cooling in a colloidal system

abstract: As the temperature of a cooling object decreases as it relaxes to thermal equilibrium, it is intuitively assumed that a hot object should take longer to cool than a warm one. Yet, some 2,300 years ago, Aristotle observed that "to cool hot water quickly, begin by putting it in the sun". In the 1960s, this counterintuitive phenomenon was rediscovered as the statement that "hot water can freeze faster than cold water" and has become known as the Mpemba effect; it has since been the subject of much experimental investigation and some controversy. Although many specific mechanisms have been proposed, no general consensus exists as to the underlying cause. Here we demonstrate the Mpemba effect in a controlled setting - the thermal quench of a colloidal system immersed in water, which serves as a heat bath. Our results are reproducible and agree quantitatively with calculations based on a recently proposed theoretical framework. By carefully choosing parameters, we observe cooling that is exponentially faster than that observed using typical parameters, in accord with the recently predicted strong Mpemba effect. Our experiments outline the generic conditions needed to accelerate heat removal and relaxation to thermal equilibrium and support the idea that the Mpemba effect is not simply a scientific curiosity concerning how water freezes into ice - one of the many anomalous features of water - but rather the prototype for a wide range of anomalous relaxation phenomena of broad technological importance.


title: Spontaneous valley polarization of interacting carriers in a monolayer semiconductor

abstract: We report magneto-absorption spectroscopy of gated WSe$_2$ monolayers in high magnetic fields up to 60~T. When doped with a 2D Fermi sea of mobile holes, well-resolved sequences of optical transitions are observed in both $\sigma^\pm$ circular polarizations, which unambiguously and separately indicate the number of filled Landau levels (LLs) in both $K$ and $K'$ valleys. This reveals the interaction-enhanced valley Zeeman energy, which is found to be highly tunable with hole density $p$. We exploit this tunability to align the LLs in $K$ and $K'$, and find that the 2D hole gas becomes unstable against small changes in LL filling and can spontaneously valley-polarize. These results cannot be understood within a single-particle picture, highlighting the importance of exchange interactions in determining the ground state of 2D carriers in monolayer semiconductors.


title: Colouring homogeneous structures

abstract: A relational structure is indivisible if for every partition of its set of elements into two parts there exists an embedding of the structure into one of the parts of the partition. A relational structure is homogeneous if every embedding of a finite induced substructure to a finite induced substructure extends to an automorphism. This article establishes a necessary and sufficient condition for Henson type, see [4], homogeneous structures to be indivisible.


title: Single-Pixel Fluorescent Diffraction Tomography

abstract: Optical diffraction tomography is an indispensable tool for studying objects in three-dimensions due to its ability to accurately reconstruct scattering objects. Until now this technique has been limited to coherent light because spatial phase information is required to solve the inverse scattering problem. We introduce a method that extends optical diffraction tomography to imaging spatially incoherent contrast mechanisms such as fluorescent emission. Our strategy mimics the coherent scattering process with two spatially coherent illumination beams. The interferometric illumination pattern encodes spatial phase in temporal variations of the fluorescent emission, thereby allowing incoherent fluorescent emission to mimic the behavior of coherent illumination. The temporal variations permit recovery of the propagation phase, and thus the spatial distribution of incoherent fluorescent emission can be recovered with an inverse scattering model.


title: Dark matter assisted lepton anomalous magnetic moments and neutrino masses

abstract: We propose a framework that addresses the origin of neutrino mass, explains the observed discrepancies in the electron and the muon anomalous magnetic moments (AMMs) data and incorporates the dark matter (DM) relic abundance. Both the neutrino mass and the lepton AMMs are generated at one-loop level mediated by a common set of beyond the Standard Model (SM) states. In this class of models, the SM is extended with vector-like charged fermion and scalar multiplets, all odd under an imposed $\mathcal{Z}_2$ symmetry, which stabilizes the fermionic or scalar DM candidate residing in one of them. Two scalar multiplets appear in the AMM loops, thus allowing for different signs of their contributions, in agreement with the observed discrepancies which are of opposite sign for electron and muon. The vector-like fermions give rise to large new physics contributions to the lepton AMMs via chirally enhanced terms that are proportional to their mass. To demonstrate the viability of this framework, we perform a detailed study of a particular model for which a fit to the neutrino masses and mixing together with lepton AMMs are provided. Furthermore, DM phenomenology and collider signatures are explored.


title: Electronic structure of quantum materials studied by angle-resolved photoemission spectroscopy

abstract: The physics of quantum materials is dictated by many-body interactions and mathematical concepts such as symmetry and topology that have transformed our understanding of matter. Angle-resolved photoemission spectroscopy (ARPES), which directly probes the electronic structure in momentum space, has played a central role in the discovery, characterization, and understanding of quantum materials ranging from strongly-correlated states of matter to those exhibiting non-trivial topology. Over the past two decades, ARPES as a technique has matured dramatically with ever-improving resolution and continued expansion into the space-, time-, and spin-domains. Simultaneously, the capability to synthesize new materials and apply non-thermal tuning parameters \emph{in-situ} has unlocked new dimensions in the study of all quantum materials. We review these developments, and survey the scientific contributions they have enabled in contemporary quantum materials research.


title: Optimal Control of Connected and Automated Vehicles at Multiple Adjacent Intersections

abstract: In this paper, we establish a decentralized optimal control framework for connected and automated vehicles (CAVs) crossing multiple adjacent, multi-lane signal-free intersections to minimize energy consumption and improve traffic throughput. Our framework consists of two layers of planning. In the upper-level planning, each CAV computes its optimal arrival time at each intersection recursively along with the optimal lane to improve the traffic throughput. In the low-level planning, we formulate an energy-optimal control problem with interior-point constraints, the solution of which yields the optimal control input (acceleration/deceleration) of each CAV to cross the intersections at the time specified by the upper-level planning. Moreover, we extend the results of the proposed bi-level framework to include a bounded steady-state error in tracking the optimal position of the CAVs. Finally, we demonstrate the effectiveness of the proposed framework through simulation for symmetric and asymmetric intersections and comparison with traditional signalized intersections.


title: Counting the Nontrivial Equivalence Classes of $S_n$ under $\{1234,3412\}$-Pattern-Replacement

abstract: We study the $\{1234, 3412\}$ pattern-replacement equivalence relation on the set $S_n$ of permutations of length $n$, which is conceptually similar to the Knuth relation. In particular, we enumerate and characterize the nontrivial equivalence classes, or equivalence classes with size greater than 1, in $S_n$ for $n \geq 7$ under the $\{1234, 3412\}$-equivalence. This proves a conjecture by Ma, who found three equivalence relations of interest in studying the number of nontrivial equivalence classes of $S_n$ under pattern-replacement equivalence relations with patterns of length $4$, enumerated the nontrivial classes under two of these relations, and left the aforementioned conjecture regarding enumeration under the third as an open problem.


title: On the geometry of Cayley automatic groups

abstract: In contrast to being automatic, being Cayley automatic \emph{a priori} has no geometric consequences. Specifically, Cayley graphs of automatic groups enjoy a fellow traveler property. Here we study a distance function introduced by the first author and Trakuldit which aims to measure how far a Cayley automatic group is from being automatic, in terms of how badly the Cayley graph fails the fellow traveler property. The first author and Trakuldit showed that if it fails by at most a constant amount, then the group is in fact automatic. In this article we show that for a large class of non-automatic Cayley automatic groups this function is bounded below by a linear function in a precise sense defined herein. In fact, for all Cayley automatic groups which have super-quadratic Dehn function, or which are not finitely presented, we can construct a non-decreasing function which (1) depends only on the group and (2) bounds from below the distance function for any Cayley automatic structure on the group.


title: OverNet: Lightweight Multi-Scale Super-Resolution with Overscaling Network

abstract: Super-resolution (SR) has achieved great success due to the development of deep convolutional neural networks (CNNs). However, as the depth and width of the networks increase, CNN-based SR methods have been faced with the challenge of computational complexity in practice. Moreover, most of them train a dedicated model for each target resolution, losing generality and increasing memory requirements. To address these limitations we introduce OverNet, a deep but lightweight convolutional network to solve SISR at arbitrary scale factors with a single model. We make the following contributions: first, we introduce a lightweight recursive feature extractor that enforces efficient reuse of information through a novel recursive structure of skip and dense connections. Second, to maximize the performance of the feature extractor we propose a reconstruction module that generates accurate high-resolution images from overscaled feature maps and can be independently used to improve existing architectures. Third, we introduce a multi-scale loss function to achieve generalization across scales. Through extensive experiments, we demonstrate that our network outperforms previous state-of-the-art results in standard benchmarks while using fewer parameters than previous approaches.


title: Odd and even major indices and one-dimensional characters for classical Weyl groups

abstract: We define and study odd and even analogues of the major index statistics for the classical Weyl groups. More precisely, we show that the generating functions of these statistics, twisted by the one-dimensional characters of the corresponding groups, always factor in an explicit way. In particular, we obtain odd and even analogues of Carlitz's identity, of the Gessel-Simion Theorem, and a parabolic extension, and refinement, of a result of Wachs.


title: A fractional parabolic inverse problem involving a time-dependent magnetic potential

abstract: We study a class of fractional parabolic equations involving a time-dependent magnetic potential and formulate the corresponding inverse problem. We determine both the magnetic potential and the electric potential from the exterior partial measurements of the Dirichlet-to-Neumann map.


title: Efficient MDI Adaptation for n-gram Language Models

abstract: This paper presents an efficient algorithm for n-gram language model adaptation under the minimum discrimination information (MDI) principle, where an out-of-domain language model is adapted to satisfy the constraints of marginal probabilities of the in-domain data. The challenge for MDI language model adaptation is its computational complexity. By taking advantage of the backoff structure of n-gram model and the idea of hierarchical training method, originally proposed for maximum entropy (ME) language models, we show that MDI adaptation can be computed in linear-time complexity to the inputs in each iteration. The complexity remains the same as ME models, although MDI is more general than ME. This makes MDI adaptation practical for large corpus and vocabulary. Experimental results confirm the scalability of our algorithm on very large datasets, while MDI adaptation gets slightly worse perplexity but better word error rate results compared to simple linear interpolation.


title: Bayesian learning of orthogonal embeddings for multi-fidelity Gaussian Processes

abstract: We present a Bayesian approach to identify optimal transformations that map model input points to low dimensional latent variables. The "projection" mapping consists of an orthonormal matrix that is considered a priori unknown and needs to be inferred jointly with the GP parameters, conditioned on the available training data. The proposed Bayesian inference scheme relies on a two-step iterative algorithm that samples from the marginal posteriors of the GP parameters and the projection matrix respectively, both using Markov Chain Monte Carlo (MCMC) sampling. In order to take into account the orthogonality constraints imposed on the orthonormal projection matrix, a Geodesic Monte Carlo sampling algorithm is employed, that is suitable for exploiting probability measures on manifolds. We extend the proposed framework to multi-fidelity models using GPs including the scenarios of training multiple outputs together. We validate our framework on three synthetic problems with a known lower-dimensional subspace. The benefits of our proposed framework, are illustrated on the computationally challenging three-dimensional aerodynamic optimization of a last-stage blade for an industrial gas turbine, where we study the effect of an 85-dimensional airfoil shape parameterization on two output quantities of interest, specifically on the aerodynamic efficiency and the degree of reaction.


title: ClipUp: A Simple and Powerful Optimizer for Distribution-based Policy Evolution

abstract: Distribution-based search algorithms are an effective approach for evolutionary reinforcement learning of neural network controllers. In these algorithms, gradients of the total reward with respect to the policy parameters are estimated using a population of solutions drawn from a search distribution, and then used for policy optimization with stochastic gradient ascent. A common choice in the community is to use the Adam optimization algorithm for obtaining an adaptive behavior during gradient ascent, due to its success in a variety of supervised learning settings. As an alternative to Adam, we propose to enhance classical momentum-based gradient ascent with two simple techniques: gradient normalization and update clipping. We argue that the resulting optimizer called ClipUp (short for "clipped updates") is a better choice for distribution-based policy evolution because its working principles are simple and easy to understand and its hyperparameters can be tuned more intuitively in practice. Moreover, it removes the need to re-tune hyperparameters if the reward scale changes. Experiments show that ClipUp is competitive with Adam despite its simplicity and is effective on challenging continuous control benchmarks, including the Humanoid control task based on the Bullet physics simulator.


title: Dynamic model of HIV infection with immune system response of T-lymphocytes, B-cells and dendritic cells: a review

abstract: A dynamic model of non-lineal time-dependent ordinary differential equations (ODE) has been applied to the interactions of a HIV infection with the immune system cells. This model has been simplified into two compartments: lymph node and peripheral blood. The model includes CD4 T-lymphocytes in several states (quiescent Q, naive N and activated T), cytotoxic CD8 T-cells, B-cells and dendritic cells. Cytokines and immunoglobulins specific for each antigen (i.e. gp41 or p24) have been also included in the model, modelling the atraction effect of CD4 T-cells to the infected area and the reduction of virus concentration by immunoglobulins. HIV virus infection of CD4 T-lymphocytes is modelled in several stages: before fusion as HIV-attached (H) and after fusion as non-permissive / abortively infected (M), and permissive / latently infected (L) and permissive / actively infected (I). These equations have been implemented in a C++/Python interface application, called Immune System app, which runs Open Modelica software to solve the ODE system through a 4th order Runge-Kutta numerical approximation. Results of the simulation show that although HIV virus concentration in both compartments is lower than $10^{-10}$ virus/$\mu L$ after t=2 years, quiescent lymphocytes reach an equilibrium with a concentration lower than the initial conditions, due to the latency state, which serves as a reservoir in time of virus production. As a conclusion, this model can provide reliable results in other conditions, such as antiviral therapies.