title: Entanglement entropy scaling of noisy random quantum circuits in two dimensions

abstract: Whether noisy quantum devices without error correction can provide quantum advantage over classical computers is a critical issue of current quantum computation. In this work, the random quantum circuits, which are used as the paradigm model to demonstrate quantum advantage, are simulated with depolarizing noise on experiment relevant two-dimensional architecture. With comprehensive numerical simulation and theoretical analysis, we find that the maximum achievable operator entanglement entropy, which indicates maximal simulation cost, has area law scaling with the system size for constant noise rate. On the other hand, we also find that the maximum achievable operator entanglement entropy has power law scaling with the noise rate for fixed system size, and the volume law scaling can be obtained only if the noise rate decreases when system size increase.


title: A Study on Quantum Radar Technology Developments and Design Consideration for its integration

abstract: This paper presents a study on quantum radar technology developments, design Consideration for its integration, and quantum radar cross-section, QRCS based on quantum electrodynamics and interferometric considerations. Quantum radar systems supported by quantum measurement can fulfill not only conventional target detection and recognition tasks but are also capable of detecting and identifying the RF stealth platform and weapons systems. The development of radar technology is of the utmost importance in many avenues of research. The concept of a quantum radar has been proposed which utilizes quantum states of photons to establish information on a target at a distance. A photon, or a little cluster of photons, is distributed towards the target. The photons are absorbed and reemitted from the target and into the receiver. The measurement process may be executed in two alternative ways. One can perform an interferometric measurement (or phase measurement) on the photon, or one can simply count the number of photons that return. the previous method is named Interferometric Quantum Radar, and therefore the latter method is termed Quantum Illumination. For either of those methods, one can use stationary quantum states of photons or use entangled states. Its been shown that entangled states provide the most effective possible boost in resolution, achieving within the ideal case. The benefit of using quantum states is that they exhibit extra degrees of correlation by which to get information compared to classical methods. These extra correlations (called quantum correlations) serve to boost the resolution and signal/noise (SNR) that may be achieved within the radar system.


title: A Single-Adversary-Single-Detector Zero-Sum Game in Networked Control Systems

abstract: This paper proposes a game-theoretic approach to address the problem of optimal sensor placement for detecting cyber-attacks in networked control systems. The problem is formulated as a zero-sum game with two players, namely a malicious adversary and a detector. Given a protected target vertex, the detector places a sensor at a single vertex to monitor the system and detect the presence of the adversary. On the other hand, the adversary selects a single vertex through which to conduct a cyber-attack that maximally disrupts the target vertex while remaining undetected by the detector. As our first contribution, for a given pair of attack and monitor vertices and a known target vertex, the game payoff function is defined as the output-to-output gain of the respective system. Then, the paper characterizes the set of feasible actions by the detector that ensures bounded values of the game payoff. Finally, an algebraic sufficient condition is proposed to examine whether a given vertex belongs to the set of feasible monitor vertices. The optimal sensor placement is then determined by computing the mixed-strategy Nash equilibrium of the zero-sum game through linear programming. The approach is illustrated via a numerical example of a 10-vertex networked control system with a given target vertex.


title: Infinite-randomness criticality in monitored quantum dynamics with static disorder

abstract: We consider a model of monitored quantum dynamics with quenched spatial randomness: specifically, random quantum circuits with spatially varying measurement rates. These circuits undergo a measurement-induced phase transition (MIPT) in their entanglement structure, but the nature of the critical point differs drastically from the case with constant measurement rate. In particular, at the critical measurement rate, we find that the entanglement of a subsystem of size $\ell$ scales as $S \sim \sqrt{\ell}$; moreover, the dynamical critical exponent $z = \infty$. The MIPT is flanked by Griffiths phases with continuously varying dynamical exponents. We argue for this infinite-randomness scenario on general grounds and present numerical evidence that it captures some features of the universal critical properties of MIPT using large-scale simulations of Clifford circuits. These findings demonstrate that the relevance and irrelevance of perturbations to the MIPT can naturally be interpreted using a powerful heuristic known as the Harris criterion.


title: Choiceless Polynomial Time with Witnessed Symmetric Choice

abstract: We extend Choiceless Polynomial Time (CPT), the currently only remaining promising candidate in the quest for a logic capturing PTime, so that this extended logic has the following property: for every class of structures for which isomorphism is definable, the logic automatically captures PTime. For the construction of this logic we extend CPT by a witnessed symmetric choice operator. This operator allows for choices from definable orbits. But, to ensure polynomial time evaluation, automorphisms have to be provided to certify that the choice set is indeed an orbit. We argue that, in this logic, definable isomorphism implies definable canonization. Thereby, our construction removes the non-trivial step of extending isomorphism definability results to canonization. This step was a part of proofs that show that CPT or other logics capture PTime on a particular class of structures. The step typically required substantial extra effort.


title: Relativistic dynamical inversion in manifestly covariant form

abstract: The Relativistic Dynamical Inversion technique, a novel tool for finding analytical solutions to the Dirac equation, is written in explicitly covariant form. It is then shown how the technique can be used to make a change from Cartesian to spherical coordinates of a given Dirac spinor. Moreover the most remarkable feature of the new method, which is the ease of performing non-trivial change of reference frames, is demonstrated. Such a feature constitutes a potentially powerful tool for finding novel solutions to the Dirac equation. Furthermore, a whole family of normalizable analytic solutions to the Dirac equation is constructed. More specifically, we find exact solutions for the case of a Dirac electron in the presence of a magnetic field as well as a novel solution comprising of a combination of a spherically symmetric electric field and magnetic fields. These solutions shed light on the possibility of separating the positive and negative energy parts of localized Dirac spinors in the presence as well as in the absence of magnetic fields. The presented solutions provide an illustration of the connection between the geometrical properties of the spinor and spin-orbit coupling for normalizable spinorial wave functions.


title: RecipeRec: A Heterogeneous Graph Learning Model for Recipe Recommendation

abstract: Recipe recommendation systems play an essential role in helping people decide what to eat. Existing recipe recommendation systems typically focused on content-based or collaborative filtering approaches, ignoring the higher-order collaborative signal such as relational structure information among users, recipes and food items. In this paper, we formalize the problem of recipe recommendation with graphs to incorporate the collaborative signal into recipe recommendation through graph modeling. In particular, we first present URI-Graph, a new and large-scale user-recipe-ingredient graph. We then propose RecipeRec, a novel heterogeneous graph learning model for recipe recommendation. The proposed model can capture recipe content and collaborative signal through a heterogeneous graph neural network with hierarchical attention and an ingredient set transformer. We also introduce a graph contrastive augmentation strategy to extract informative graph knowledge in a self-supervised manner. Finally, we design a joint objective function of recommendation and contrastive learning to optimize the model. Extensive experiments demonstrate that RecipeRec outperforms state-of-the-art methods for recipe recommendation. Dataset and codes are available at https://github.com/meettyj/RecipeRec.


title: The Utility of Synthetic Reflexes and Haptic Feedback for Upper-Limb Prostheses in a Dexterous Task Without Direct Vision

abstract: Individuals who use myoelectric upper-limb prostheses often rely heavily on vision to complete their daily activities. They thus struggle in situations where vision is overloaded, such as multitasking, or unavailable, such as poor lighting conditions. Non-amputees can easily accomplish such tasks due to tactile reflexes and haptic sensation guiding their upper-limb motor coordination. Based on these principles, we developed and tested two novel prosthesis systems that incorporate autonomous controllers and provide the user with touch-location feedback through either vibration or distributed pressure. These capabilities were made possible by installing a custom contact-location sensor on thefingers of a commercial prosthetic hand, along with a custom pressure sensor on the thumb. We compared the performance of the two systems against a standard myoelectric prosthesis and a myoelectric prosthesis with only autonomous controllers in a difficult reach-to-pick-and-place task conducted without direct vision. Results from 40 non-amputee participants in this between-subjects study indicated that vibrotactile feedback combined with synthetic reflexes proved significantly more advantageous than the standard prosthesis in several of the task milestones. In addition, vibrotactile feedback and synthetic reflexes improved grasp placement compared to only synthetic reflexes or pressure feedback combined with synthetic reflexes. These results indicate that both autonomous controllers and haptic feedback facilitate success in dexterous tasks without vision, and that the type of haptic display matters.


title: The hidden quantum origin of gauge connections

abstract: A fibre bundle viewpoint of gauge field theories is reviewed with focus on a possible quantum interpretation. The fundamental quantum properties of non-separability of state spaces is considered in the context of defining the connection on the fibre bundle, leading to an application of the quantum principles to the geometrical and topological definition of gauge theories. As a result, one could justifiably ask oneself if all interactions of the standard model, and perhaps even classical gravity have some quantum component after all. I employ a standard fibre bundle approach to introduce gauge theories, albeit it is known that a quantum bundle exists, simply because the main scope is to show that in the usual way in which we formulate classical gauge theories one can find quantum aspects that have been unknown until now. In a sense, I will try to justify the assessment that if we are to allow for gauge fields and parallel transport, we may have to allow at least some level of quantumness even in our classical gauge theories. The main statement is that propagation of interactions in spacetime is a quantum phenomenon.


title: Towards the construction of multi-centered black holes in AdS

abstract: We find a class of approximate perturbative solutions describing multi-centered BPS black holes in asymptotically AdS$_4$. These black holes are moving coplanarly in a circular orbit with common radius but fixed phase differences, where the radius is characterized by a common boost velocity $v$. While the solutions are not complete, as they are only accurate up to $\mathcal{O}(M^2v^2)$, we are able to locally investigate their supersymmetric properties in four-dimensional $\mathcal{N} = 2$ supergravity. The result indicates that, while a single BPS black hole preserves half of the supersymmetries, a configuration with two or more black holes is only 1/4 BPS. These perturbative solutions reduce in the asymptotically Minkowski limit to the multi-black hole solution of Majumdar and Papapetrou.


title: Universality of minimal length

abstract: We present an argument reinterpreting the generalized uncertainty principle (GUP) and its associated minimal length as an effective variation of Planck constant ($\hbar$), complementing Dirac's large number hypothesis of varying $G$. We argue that the charge radii (i.e. the minimal length of a scattering process) of hadrons/nuclei along with their corresponding masses support an existence of an effective variation of $\hbar$. This suggests a universality of a minimal length in measurement of scattering process. Varying $\hbar$ and $G$ explains the necessity of Von Neumann entropy correction in Bekenstein-Hawking entropy-area law. Lastly, we suggest that the effective value of $\hbar$ derived from various elements may be related to the epoch of their creation via nucleosynthesis.


title: The Hubble tension: Change in dark energy or a case for modified gravity?

abstract: Recently much controversy has been raised about the cosmological conundrum involving the discrepancy in the value of the Hubble constant as implied by Planck satellite observations of the CMBR in the early Universe and that deduced from other distance indicators (for instance using standard candles like supernovae, tip of the Red Giant branch, etc.) in the present epoch. The Planck estimate is about 67 km/s/Mpc, while that deduced from distance indicators at the present epoch is around 73-74 km/s/Mpc. Also the independent determination of the local value of the Hubble constant based on a calibration of the Tip of the Red Giant Branch (TRGB) and applied to Type Ia supernovae found a value of 69.8 km/s/Mpc. Here we propose a modification of the gravitational field on large scales as an alternate explanation for this discrepancy in the value of the Hubble constant as implied in the above-mentioned method, i.e., by Planck observations of the CMBR in the early Universe and that deduced from other distance indicators in the present epoch.


title: Probing the existence of the ZTF Casimir wormholes in the framework of $f(\mathcal{R})$ gravity

abstract: For the spherically symmetric static traversable wormholes, supported by the Casimir energy in $f(\mathcal{R})=\mathcal{R}+\alpha \mathcal{R}^2$ Quadratic, $f(\mathcal{R})=f_0 \mathcal{R}^n$ power-law Modified Gravity (MOG) theories we investigate energy conditions and dynamical stability of the wormhole solutions. Especially, we study Zero Tidal Forces (ZTF) Casimir WH's with anisotropic fluid located at the throat. By using the Casimir energy density and modified Einstein Field Equations (EFE's) we derived suitable shape functions for each modified gravity of our consideration. The stability of Casimir traversable wormholes in different modified gravity theories is also analyzed in our paper with a modified Tolman-Oppenheimer-Voklov (MTOV) equation. Besides, we have numerically solved MTOV and derived hydrodynamical, anisotropic and extra forces, that is present due to the non-conserved stress-energy tensor. Moreover, other fundamental quantities, such as Volume Integral Quantifier and total gravitational energy were derived.


title: Analysis of FCNC $\Xi_{QQ} \to \Lambda_Q l^+ l^-$ decay in light-cone sum rules

abstract: The weak decays of doubly heavy $\Xi_{QQ}$ baryon induced by flavor changing $b \to d$ and $ c \to u$ flavor changing neutral current within the light cone sum rules are studied. Using the parallel components of the light cone distribution amplitudes for $\Lambda_Q$ baryon, the sum rules are constructed and analyzed for the corresponding transition form factors. Having the results for the form factors, the corresponding branching ratios for $\Xi_{QQ} \to \Lambda_Q l^+ l^-$ decays are estimated. While the branching ratio due to $b \to d$ transition is around $10^{-9}$, in $c \to u$ transition case, it is found as around $10^{-13}$. Hence, $\Xi_{bb} \to \Lambda_b l^+ l^-$ decay has the potential of being discovered at LHCb. However, $\Xi_{bb} \to \Lambda_b l^+ l^-$ is difficult to be measured due to the extremely small values of obtained branching ratio. Our results on the branching ratio are also compared with the results of the light-front approach.


title: Resonant Ion Confinement Fusion Concept

abstract: Based on the theorized possibilities of resonant ion confinement, for a Deuteron cloud in a Penning-Malmberg trap with a specially configured rotating wall, the opportunity to design a new type of fusion device is prospected. It is proven that, for some trap configurations, nuclear fusion reactions should take place and, in that case, Lawson's criterion for an efficient fusion reactor is met. Furthermore, the reactor could have a compact design and, since it should not require a large facility, it can function as a fusion cell with a pure ion thermal gas.


title: What Dense Graph Do You Need for Self-Attention?

abstract: Transformers have made progress in miscellaneous tasks, but suffer from quadratic computational and memory complexities. Recent works propose sparse Transformers with attention on sparse graphs to reduce complexity and remain strong performance. While effective, the crucial parts of how dense a graph needs to be to perform well are not fully explored. In this paper, we propose Normalized Information Payload (NIP), a graph scoring function measuring information transfer on graph, which provides an analysis tool for trade-offs between performance and complexity. Guided by this theoretical analysis, we present Hypercube Transformer, a sparse Transformer that models token interactions in a hypercube and shows comparable or even better results with vanilla Transformer while yielding $O(N\log N)$ complexity with sequence length $N$. Experiments on tasks requiring various sequence lengths lay validation for our graph function well.


title: Coherent Plasma in a Lattice

abstract: We present a fully second-quantized calculation showing the emergence of spontaneous coherent configurations of the electromagnetic field in interaction with charged bosons in a regular lattice. The bosons tend to oscillate at their plasma frequency, but are also subjected to electrostatic forces which keep them confined close to lattice sites and cause a frequency shift in the oscillation. Under certain conditions on these frequencies, we find that a suitably defined set of coherent states (coherent both in the field and matter degrees of freedom) exhibit a negative energy gap with respect to the perturbative ground state. This is true in the RWA approximation and for position-independent fields, both to first and second order in the interaction Hamiltonian. We compare this result with other recent findings from cavity QED and notice that: (1) consideration of full 3D wavefunctions and a careful definition of the coherent states are essential for obtaining the energy gap; (2) although our calculation is referred to bosons, it may also apply to protons bound in a crystal matrix, if their density is very low compared to the density of available states.


title: The paradoxical nature of easily improvable evidence

abstract: Established frameworks to understand problems with reproducibility in science begin with the relationship between our understanding of the prior probability of a claim and the statistical certainty that should be demanded of it, and explore the ways in which independent investigations, biases in study design and publication bias interact with these considerations. We propose a complementary perspective; namely, that to improve reproducibility in science, our interpretation of the persuasiveness of evidence (e.g., statistical significance thresholds) should be responsive to our understanding of the effort that would be required to improve that evidence. We will quantify this notion in some formal settings. Indeed, we will demonstrate that even simplistic models of evidence publication can exhibit an improvable evidence paradox, where the publication of easily improvable evidence in favor of a claim can best seen as evidence the claim is false.


title: BASALISC: Programmable Hardware Accelerator for BGV Fully Homomorphic Encryption

abstract: Fully Homomorphic Encryption (FHE) allows for secure computation on encrypted data. Unfortunately, huge memory size, computational cost and bandwidth requirements limit its practicality. We present BASALISC, an architecture family of hardware accelerators that aims to substantially accelerate FHE computations in the cloud. BASALISC is the first to implement the BGV scheme with fully-packed bootstrapping -- the noise removal capability necessary for arbitrary-depth computation. It supports a customized version of bootstrapping that can be instantiated with hardware multipliers optimized for area and power. BASALISC is a three-abstraction-layer RISC architecture, designed for a 1 GHz ASIC implementation and underway toward 150mm2 die tape-out in a 12nm GF process. BASALISC's four-layer memory hierarchy includes a two-dimensional conflict-free inner memory layer that enables 32 Tb/s radix-256 NTT computations without pipeline stalls. Its conflict-resolution permutation hardware is generalized and re-used to compute BGV automorphisms without throughput penalty. BASALISC also has a custom multiply-accumulate unit to accelerate BGV key switching. The BASALISC toolchain comprises a custom compiler and a joint performance and correctness simulator. To evaluate BASALISC, we study its physical realizability, emulate and formally verify its core functional units, and we study its performance on a set of benchmarks. Simulation results show a speedup of more than 5,000 times over HElib -- a popular software FHE library.


title: Synchronizable functions on integers

abstract: For all natural numbers a,b and d > 0, we consider the function f_{a,b,d} which associates n/d to any integer n when it is a multiple of d, and an + b otherwise; in particular f_{3,1,2} is the Collatz function. Coding in base a > 1 with b < a, we realize these functions by input-deterministic letter-to-letter transducers with additional output final words. This particular form allows to explicit, for any integer n, the composition n times of such a transducer to compute f^n_{a,b,d}. We even realize the closure under composition f^*_{a,b,d by an infinite input-deterministic letter-to-letter transducer with a regular set of initial states and a length recurrent terminal function.


title: Dispersive interactions between standard and Dirac materials and the role of dimensionality

abstract: The van der Waals (vdW) interaction plays a prominent role between neutral objects at separations where short ranged chemical forces are negligible. This type of dispersive coupling is determined by the interplay between geometry and response properties of the materials making up the objects. Here, we investigate the vdW interaction between 1D, 2D, and 3D standard and Dirac materials within the Random Phase Approximation, which takes into account collective excitations originating from the electronic Coulomb potential. A comprehensive understanding of characteristic functionalities and scaling laws are obtained for systems with parabolic energy dispersion (standard materials) and crossing linear bands (Dirac materials). By comparing the quantum mechanical and thermal limits the onset of thermal fluctuations in the vdW interaction is discussed showing that thermal effects are significantly pronounced at smaller scales in reduced dimensions.


title: Properties of the radius valley around low mass stars: Predictions from the core-powered mass-loss mechanism

abstract: In recent years, analyzing the bimodality in the size distribution of small planets, i.e., the `radius valley', has given us unprecedented insight into the planet formation process. Here we explore the properties of the radius valley for low mass stars, assuming that the core-powered mass-loss is the dominant process shaping the small exoplanet population. We show that the slope of radius valley in the planet size-orbital period space, to first-order, does not vary with stellar mass and has a negative slope of $\text{d log}R_p/\text{d log}P \simeq -0.11$ even for stars as small as 0.1 $M_\odot$, as observed in latest studies. Furthermore, we find that the slope of the radius valley in the planet size-stellar mass space is $\text{d log}R_p/\text{d log}M_\ast \simeq (3 \zeta - 2)/36$ where $\zeta$ is given by the stellar mass-luminosity relation $L_\ast \propto M_\ast^\zeta$. Because $\zeta$ is $\gtrsim$ 2 and increases with stellar mass, we predict that the radius valley has a positive slope in the planet size-stellar mass space across FGKM dwarfs. This slope, however, decreases (increases) in magnitude towards lower (higher) mass stars, due to the variation of $\zeta$ with stellar mass. While around 1.0 $M_\odot$ stars the slope is $\text{d log}R_p/\text{d log}M_\ast \sim 0.37$, it is as low as $\sim 0.13$ around 0.1 $M_\odot$ stars. In addition, we find that the radius valley is narrower and less empty around lower mass stars. Finally, we show that predictions for the radius valley for core-powered mass-loss and photoevaporation become increasingly distinct for lower mass stars.


title: Data-driven clustering and Bernoulli merging for the Poisson multi-Bernoulli mixture filter

abstract: This paper proposes a clustering and merging approach for the Poisson multi-Bernoulli mixture (PMBM) filter to lower its computational complexity and make it suitable for multiple target tracking with a high number of targets. We define a measurement-driven clustering algorithm to reduce the data association problem into several subproblems, and we provide the derivation of the resulting clustered PMBM posterior density via Kullback-Leibler divergence minimisation. Furthermore, we investigate different strategies to reduce the number of single target hypotheses by approximating the posterior via merging and inter-track swapping of Bernoulli components. We evaluate the performance of the proposed algorithm on simulated tracking scenarios with more than one thousand targets.


title: Future Transformer for Long-term Action Anticipation

abstract: The task of predicting future actions from a video is crucial for a real-world agent interacting with others. When anticipating actions in the distant future, we humans typically consider long-term relations over the whole sequence of actions, i.e., not only observed actions in the past but also potential actions in the future. In a similar spirit, we propose an end-to-end attention model for action anticipation, dubbed Future Transformer (FUTR), that leverages global attention over all input frames and output tokens to predict a minutes-long sequence of future actions. Unlike the previous autoregressive models, the proposed method learns to predict the whole sequence of future actions in parallel decoding, enabling more accurate and fast inference for long-term anticipation. We evaluate our method on two standard benchmarks for long-term action anticipation, Breakfast and 50 Salads, achieving state-of-the-art results.


title: Finding many Collisions via Reusable Quantum Walks

abstract: Given a random function $f$ with domain $[2^n]$ and codomain $[2^m]$, with $m \geq n$, a collision of $f$ is a pair of distinct inputs with the same image. Collision finding is an ubiquitous problem in cryptanalysis, and it has been well studied using both classical and quantum algorithms. Indeed, the quantum query complexity of the problem is well known to be $\Theta(2^{m/3})$, and matching algorithms are known for any value of $m$. The situation becomes different when one is looking for multiple collision pairs. Here, for $2^k$ collisions, a query lower bound of $\Theta(2^{(2k+m)/3})$ was shown by Liu and Zhandry (EUROCRYPT~2019). A matching algorithm is known, but only for relatively small values of $m$, when many collisions exist. In this paper, we improve the algorithms for this problem and, in particular, extend the range of admissible parameters where the lower bound is met. Our new method relies on a chained quantum walk algorithm, which might be of independent interest. It allows to extract multiple solutions of an MNRS-style quantum walk, without having to recompute it entirely: after finding and outputting a solution, the current state is reused as the initial state of another walk. As an application, we improve the quantum sieving algorithms for the shortest vector problem (SVP), with a complexity of $2^{0.2563d + o(d)}$ instead of the previous $2^{0.2570d + o(d)}$.


title: Convergence of densities of spatial averages of the parabolic Anderson model driven by colored noise

abstract: In this paper, we present a rate of convergence in the uniform norm for the densities of spatial averages of the solution to the d-dimensional parabolic Anderson model driven by a Gaussian multiplicative noise, which is white in time and has a spatial covariance given by the Riesz kernel. The proof is based on the combination of Malliavin calculus techniques and the Stein's method for normal approximations.


title: Inference and Sampling for Archimax Copulas

abstract: Understanding multivariate dependencies in both the bulk and the tails of a distribution is an important problem for many applications, such as ensuring algorithms are robust to observations that are infrequent but have devastating effects. Archimax copulas are a family of distributions endowed with a precise representation that allows simultaneous modeling of the bulk and the tails of a distribution. Rather than separating the two as is typically done in practice, incorporating additional information from the bulk may improve inference of the tails, where observations are limited. Building on the stochastic representation of Archimax copulas, we develop a non-parametric inference method and sampling algorithm. Our proposed methods, to the best of our knowledge, are the first that allow for highly flexible and scalable inference and sampling algorithms, enabling the increased use of Archimax copulas in practical settings. We experimentally compare to state-of-the-art density modeling techniques, and the results suggest that the proposed method effectively extrapolates to the tails while scaling to higher dimensional data. Our findings suggest that the proposed algorithms can be used in a variety of applications where understanding the interplay between the bulk and the tails of a distribution is necessary, such as healthcare and safety.


title: On-Device Voice Authentication with Paralinguistic Privacy

abstract: Using our voices to access, and interact with, online services raises concerns about the trade-offs between convenience, privacy, and security. The conflict between maintaining privacy and ensuring input authenticity has often been hindered by the need to share raw data, which contains all the paralinguistic information required to infer a variety of sensitive characteristics. Users of voice assistants put their trust in service providers; however, this trust is potentially misplaced considering the emergence of first-party 'honest-but-curious' or 'semi-honest' threats. A further security risk is presented by imposters gaining access to systems by pretending to be the user leveraging replay or 'deepfake' attacks. Our objective is to design and develop a new voice input-based system that offers the following specifications: local authentication to reduce the need for sharing raw voice data, local privacy preservation based on user preferences, allowing more flexibility in integrating such a system given target applications privacy constraints, and achieving good performance in these targeted applications. The key idea is to locally derive token-based credentials based on unique-identifying attributes obtained from the user's voice and offer selective sensitive information filtering before transmitting raw data. Our system consists of (i) 'VoiceID', boosted with a liveness detection technology to thwart replay attacks; (ii) a flexible privacy filter that allows users to select the level of privacy protection they prefer for their data. The system yields 98.68% accuracy in verifying legitimate users with cross-validation and runs in tens of milliseconds on a CPU and single-core ARM processor without specialized hardware. Our system demonstrates the feasibility of filtering raw voice input closer to users, in accordance with their privacy preferences, while maintaining their authenticity.


title: Learning Dynamical Systems via Koopman Operator Regression in Reproducing Kernel Hilbert Spaces

abstract: We study a class of dynamical systems modelled as Markov chains that admit an invariant distribution via the corresponding transfer, or Koopman, operator. While data-driven algorithms to reconstruct such operators are well known, their relationship with statistical learning is largely unexplored. We formalize a framework to learn the Koopman operator from finite data trajectories of the dynamical system. We consider the restriction of this operator to a reproducing kernel Hilbert space and introduce a notion of risk, from which different estimators naturally arise. We link the risk with the estimation of the spectral decomposition of the Koopman operator. These observations motivate a reduced-rank operator regression (RRR) estimator. We derive learning bounds for the proposed estimator, holding both in i.i.d. and non i.i.d. settings, the latter in terms of mixing coefficients. Our results suggest RRR might be beneficial over other widely used estimators as confirmed in numerical experiments both for forecasting and mode decomposition.


title: A new variational discretization technique for initial value problems bypassing governing equations

abstract: Motivated by the fact that both the classical and quantum description of nature rest on causality and a variational principle, we develop a novel and highly versatile discretization prescription for classical initial value problems (IVPs). It is based on an optimization (action) functional with doubled degrees of freedom, which is discretized using a single regularized summation-by-parts (SBP) operator. Formulated as optimization task it allows us to obtain classical trajectories without the need to derive an equation of motion. The novel regularization we develop in this context is inspired by the weak imposition of initial data, often deployed in the modern treatment of IVPs and is implemented using affine coordinates. We demonstrate numerically the stability, accuracy and convergence properties of our approach in systems with classical equations of motion featuring both first and second order derivatives in time. onvergence properties of our approach in systems with classical equations of motion featuring both first and second order derivatives in time.


title: Lesion classification by model-based feature extraction: A differential affine invariant model of soft tissue elasticity

abstract: The elasticity of soft tissues has been widely considered as a characteristic property to differentiate between healthy and vicious tissues and, therefore, motivated several elasticity imaging modalities, such as Ultrasound Elastography, Magnetic Resonance Elastography, and Optical Coherence Elastography. This paper proposes an alternative approach of modeling the elasticity using Computed Tomography (CT) imaging modality for model-based feature extraction machine learning (ML) differentiation of lesions. The model describes a dynamic non-rigid (or elastic) deformation in differential manifold to mimic the soft tissues elasticity under wave fluctuation in vivo. Based on the model, three local deformation invariants are constructed by two tensors defined by the first and second order derivatives from the CT images and used to generate elastic feature maps after normalization via a novel signal suppression method. The model-based elastic image features are extracted from the feature maps and fed to machine learning to perform lesion classifications. Two pathologically proven image datasets of colon polyps (44 malignant and 43 benign) and lung nodules (46 malignant and 20 benign) were used to evaluate the proposed model-based lesion classification. The outcomes of this modeling approach reached the score of area under the curve of the receiver operating characteristics of 94.2 % for the polyps and 87.4 % for the nodules, resulting in an average gain of 5 % to 30 % over ten existing state-of-the-art lesion classification methods. The gains by modeling tissue elasticity for ML differentiation of lesions are striking, indicating the great potential of exploring the modeling strategy to other tissue properties for ML differentiation of lesions.


title: A method to prove that a modular Galois representation has large image

abstract: Let $\rho$ be a mod $\ell$ Galois representation attached to a newform $f$. Explicit methods are sometimes able to determine the image of $\rho$, or even the number field cut out by $\rho$, provided that $\ell$ and the level $N$ of $f$ are small enough; however these methods are not amenable to the case where $\ell$ or $N$ are large. The purpose of this short note is to establish a sufficient condition for the image of $\rho$ to be large and which remains easy to test for moderately large $\ell$ and $N$.


title: Measurements of the absolute branching fractions of hadronic $D$-meson decays involving kaons and pions

abstract: By analyzing an electron-positron collision data sample corresponding to an integrated luminosity of $2.93\,\rm fb^{-1}$ taken at the center-of-mass energy of 3.773 GeV with the BESIII detector, we obtain for the first time the absolute branching fractions for seven $D^0$ and $D^+$ hadronic decay modes and search for the hadronic decay $D^0\to K^0_S K^0_S\pi^0$ with much improved sensitivity. The results are ${\mathcal B}(D^0\to K^0_S\pi^0\pi^0\pi^0 )=( 7.64\pm 0.30\pm 0.29)\times 10^{-3}$, ${\mathcal B}(D^0\to K^-\pi^+\pi^0\pi^0\pi^0 )=( 9.54\pm 0.30\pm 0.31)\times 10^{-3}$, ${\mathcal B}(D^0\to K^0_S\pi^+\pi^-\pi^0\pi^0)=(12.66\pm 0.45\pm 0.43)\times 10^{-3}$, ${\mathcal B}(D^+\to K^0_S\pi^+\pi^0\pi^0 )=(29.04\pm 0.62\pm 0.87)\times 10^{-3}$, ${\mathcal B}(D^+\to K^0_S\pi^+\pi^+\pi^-\pi^0)=(15.28\pm 0.57\pm 0.60)\times 10^{-3}$, ${\mathcal B}(D^+\to K^0_S\pi^+\pi^0\pi^0\pi^0)=( 5.54\pm 0.44\pm 0.32)\times 10^{-3}$, ${\mathcal B}(D^+\to K^-\pi^+\pi^+\pi^0\pi^0 )=( 4.95\pm 0.26\pm 0.19)\times 10^{-3}$, ${\mathcal B}({D^0\to K^0_S K^0_S\pi^0}) < 1.57 \times 10^{-4}$ at the 90\% confidence level. Here the first uncertainties are statistical and the second ones systematic. The newly studied decays greatly enrich the knowledge of the $D\to \bar K\pi\pi\pi$ and $D\to \bar K\pi\pi\pi\pi$ hadronic decays, and open a bridge to access more two-body hadronic $D$ decays containing scalar, vector, axial and tensor mesons in the charm sector.


title: Ontology Design Facilitating Wikibase Integration -- and a Worked Example for Historical Data

abstract: Wikibase -- which is the software underlying Wikidata -- is a powerful platform for knowledge graph creation and management. However, it has been developed with a crowd-sourced knowledge graph creation scenario in mind, which in particular means that it has not been designed for use case scenarios in which a tightly controlled high-quality schema, in the form of an ontology, is to be imposed, and indeed, independently developed ontologies do not necessarily map seamlessly to the Wikibase approach. In this paper, we provide the key ingredients needed in order to combine traditional ontology modeling with use of the Wikibase platform, namely a set of \emph{axiom} patterns that bridge the paradigm gap, together with usage instructions and a worked example for historical data.


title: Implementation of single-qubit gates via parametric modulation in the Majorana transmon

abstract: We present a voltage gate-based method for controlling the Majorana transmon, using a sinusoidal modulation of the induced offset charge $n_g$. Working in the transmon regime and in the instantaneous eigenstates basis, we find the time evolution under this protocol that realises tunable $X$-$Z$ rotations. We optimise the parameters of the system for different single-qubit gates in both the laboratory frame and the qubit rotating frame, obtaining qubit control errors $1-\mathcal{F}$ smaller than $\sim2\times 10^{-4}$. In addition to this, we conduct an analysis of the effects of the charge noise, assuming wide-band $1/f$ additive noise in $n_g$, both for the free and the driven evolutions. For the free evolution, the relaxation and dephasing rates are calculated perturbatively, obtaining long dephasing times of the order of milliseconds at the system's sweet-spots. For the driven case, the average fidelity for the $X$-gate is obtained via a numerical simulation, demonstrating remarkable resilience.


title: The lure of sirens: joint distance and velocity measurements with third generation detectors

abstract: The next generation of detectors will detect gravitational waves from binary neutron stars at cosmological distances, for which around a thousand electromagnetic follow-ups may be observed per year. So far, most work devoted to the expected cosmological impact of these standard sirens employed them only as distance indicators. Only recently their use as tracers of clustering, similar to what already proposed for supernovae, has been studied. Focusing on the expected specifications of the Einstein Telescope (ET), we forecast here the performance on cosmological parameters of future standard sirens as both distance and density indicators, with emphasis on the linear perturbation growth index and on spatial curvature. We improve upon previous studies in a number of ways: a more detailed analysis of available telescope time, the inclusion of more cosmological and nuisance parameters, the Alcock-Paczynski correction, the use of sirens also as both velocity and density tracers, and a more accurate estimation of the distance posterior. We find that the analysis of the clustering of sirens improves the constraints on $H_0$ by 30% and on $\Omega_{k0}$ by over an order of magnitude, with respect to their use merely as distance indicators. With 5 years of joint ET and Rubin Observatory follow-ups we could reach precision of 0.1 km/s/Mpc in $H_0$ and 0.02 in $\Omega_{k0}$ using only data in the range $0<z<0.5$. We also find that the use of sirens as tracers of density, and not only velocity, yields good improvements on the growth of structure constraints.


title: Learning to Control Linear Systems can be Hard

abstract: In this paper, we study the statistical difficulty of learning to control linear systems. We focus on two standard benchmarks, the sample complexity of stabilization, and the regret of the online learning of the Linear Quadratic Regulator (LQR). Prior results state that the statistical difficulty for both benchmarks scales polynomially with the system state dimension up to system-theoretic quantities. However, this does not reveal the whole picture. By utilizing minimax lower bounds for both benchmarks, we prove that there exist non-trivial classes of systems for which learning complexity scales dramatically, i.e. exponentially, with the system dimension. This situation arises in the case of underactuated systems, i.e. systems with fewer inputs than states. Such systems are structurally difficult to control and their system theoretic quantities can scale exponentially with the system dimension dominating learning complexity. Under some additional structural assumptions (bounding systems away from uncontrollability), we provide qualitatively matching upper bounds. We prove that learning complexity can be at most exponential with the controllability index of the system, that is the degree of underactuation.


title: StereoKG: Data-Driven Knowledge Graph Construction for Cultural Knowledge and Stereotypes

abstract: Analyzing ethnic or religious bias is important for improving fairness, accountability, and transparency of natural language processing models. However, many techniques rely on human-compiled lists of bias terms, which are expensive to create and are limited in coverage. In this study, we present a fully data-driven pipeline for generating a knowledge graph (KG) of cultural knowledge and stereotypes. Our resulting KG covers 5 religious groups and 5 nationalities and can easily be extended to include more entities. Our human evaluation shows that the majority (59.2%) of non-singleton entries are coherent and complete stereotypes. We further show that performing intermediate masked language model training on the verbalized KG leads to a higher level of cultural awareness in the model and has the potential to increase classification performance on knowledge-crucial samples on a related task, i.e., hate speech detection.


title: 3D confinement of water: H2O exhibits long-range (> 50 nm) structure while D2O does not

abstract: Water is the liquid of life, thanks to its three-dimensional adaptive hydrogen (H)-bond network. Confinement of this network may lead to dramatic structural changes that influence chemical and physical transformations. Although confinement effects occur on a < 1 nm length scale, the upper length scale limit is not known. Here, we investigate 3D confinement over lengths scales ranging from 58 - 140 nm. By confining water in zwitterionic liposomes of different sizes and measuring the change in H-bond network conformation using second harmonic scattering (SHS) we determined long range confinement effects in light and heavy water. D2O displays no detectable 3D-confinement effects < 58 nm (< 3.10^6 D2O molecules). H2O is distinctly different: The vesicle enclosed inner H-bond network has a different conformation compared to the outside network and the SHS response scales with the volume of the confining space. H2O displays confinement effects over distances > 140 nm (> 4.10^7 H2O molecules).


title: Quantum Simulation of the Two-Dimensional Weyl Equation in a Magnetic Field

abstract: Quantum simulation of 1D relativistic quantum mechanics has been achieved in well-controlled systems like trapped ions, but properties like spin dynamics and response to external magnetic fields that appear only in higher dimensions remain unexplored. Here we simulate the dynamics of a 2D Weyl particle. We show the linear dispersion relation of the free particle and the discrete Landau levels in a magnetic field, and we explicitly measure the spatial and spin dynamics from which the conservation of helicity and properties of antiparticles can be verified. Our work extends the application of an ion trap quantum simulator in particle physics with the additional spatial and spin degrees of freedom.


title: Group-invariant max filtering

abstract: Given a real inner product space $V$ and a group $G$ of linear isometries, we construct a family of $G$-invariant real-valued functions on $V$ that we call max filters. In the case where $V=\mathbb{R}^d$ and $G$ is finite, a suitable max filter bank separates orbits, and is even bilipschitz in the quotient metric. In the case where $V=L^2(\mathbb{R}^d)$ and $G$ is the group of translation operators, a max filter exhibits stability to diffeomorphic distortion like that of the scattering transform introduced by Mallat. We establish that max filters are well suited for various classification tasks, both in theory and in practice.


title: Intelligent Transportation Systems' Orchestration: Lessons Learned & Potential Opportunities

abstract: The growing deployment efforts of 5G networks globally has led to the acceleration of the businesses/services' digital transformation. This growth has led to the need for new communication technologies that will promote this transformation. 6G is being proposed as the set of technologies and architectures that will achieve this target. Among the main use cases that have emerged for 5G networks and will continue to play a pivotal role in 6G networks is that of Intelligent Transportation Systems (ITSs). With all the projected benefits of developing and deploying efficient and effective ITSs comes a group of unique challenges that need to be addressed. One prominent challenge is ITS orchestration due to the various supporting technologies and heterogeneous networks used to offer the desired ITS applications/services. To that end, this paper focuses on the ITS orchestration challenge in detail by highlighting the related previous works from the literature and listing the lessons learned from current ITS deployment orchestration efforts. It also presents multiple potential data-driven research opportunities in which paradigms such as reinforcement learning and federated learning can be deployed to offer effective and efficient ITS orchestration.


title: Double Deep Q Networks for Sensor Management in Space Situational Awareness

abstract: We present a novel Double Deep Q Network (DDQN) application to a sensor management problem in space situational awareness (SSA). Frequent launches of satellites into Earth orbit pose a significant sensor management challenge, whereby a limited number of sensors are required to detect and track an increasing number of objects. In this paper, we demonstrate the use of reinforcement learning to develop a sensor management policy for SSA. We simulate a controllable Earth-based telescope, which is trained to maximise the number of satellites tracked using an extended Kalman filter. The estimated state covariance matrices for satellites observed under the DDQN policy are greatly reduced compared to those generated by an alternate (random) policy. This work provides the basis for further advancements and motivates the use of reinforcement learning for SSA.


title: Reinforced Pedestrian Attribute Recognition with Group Optimization Reward

abstract: Pedestrian Attribute Recognition (PAR) is a challenging task in intelligent video surveillance. Two key challenges in PAR include complex alignment relations between images and attributes, and imbalanced data distribution. Existing approaches usually formulate PAR as a recognition task. Different from them, this paper addresses it as a decision-making task via a reinforcement learning framework. Specifically, PAR is formulated as a Markov decision process (MDP) by designing ingenious states, action space, reward function and state transition. To alleviate the inter-attribute imbalance problem, we apply an Attribute Grouping Strategy (AGS) by dividing all attributes into subgroups according to their region and category information. Then we employ an agent to recognize each group of attributes, which is trained with Deep Q-learning algorithm. We also propose a Group Optimization Reward (GOR) function to alleviate the intra-attribute imbalance problem. Experimental results on the three benchmark datasets of PETA, RAP and PA100K illustrate the effectiveness and competitiveness of the proposed approach and demonstrate that the application of reinforcement learning to PAR is a valuable research direction.


title: An Elementary Proof of the Minimal Euclidean Function on the Gaussian Integers

abstract: Every Euclidean domain $R$ has a minimal Euclidean function, $\phi_R$. A companion paper \cite{Graves} introduced a formula to compute $\phi_{\mathbb{Z}[i]}$. It is the first formula for a minimal Euclidean function for the ring of integers of a non-trivial number field. It did so by studying the geometry of the set $B_n = \left \{ \sum_{j=0}^n v_j (1+i)^j : v_j \in \{0, \pm 1, \pm i \} \right \}$ and then applied Lenstra's result that $\phi_{\mathbb{Z}[i]}^{-1}([0,n]) = B_n$ to provide a short proof of $\phi_{\mathbb{Z}[i]}$. Lenstra's proof requires s substantial algebra background. This paper uses the new geometry of the sets $B_n$ to prove the formula for $\phi_{\mathbb{Z}[i]}$ without using Lenstra's result. The new geometric method lets us prove Lenstra's theorem using only elementary methods. We then apply the new formula to answer Pierre Samuel's open question: what is the size of $\phi_{\mathbb{Z}[i]}^{-1}(n)$?. Appendices provide a table of answers and the associated SAGE code.


title: Non-Abelian topological order with SO(5)$_{1}$ chiral edge states

abstract: We consider a chiral spin liquid constructed using the parton theory. This state supports non-Abelian anyons and neutral fermions, which share some similarities with the celebrated Moore-Read state. The edge physics of the parton state and the Moore-Read state is very different. Based on conformal field theory (CFT) analysis, it is proposed that the edge states exhibit an emergent SO(5) symmetry. The counting of edge states in the low-lying SO(5)$_{1}$ CFT towers is computed. The chiral spin liquid is generated using tensor network methods, which allows us to confirm the SO(5)$_{1}$ counting using entanglement spectrum. An additional feature of multiple branches in the entanglement spectrum is observed and analyzed.


title: There is no electroweak horizon problem

abstract: Contrary to a recent assertion [Fulvio Melia "The electroweak horizon problem" 2022], there is no electroweak horizon problem.


title: The Electroweak Horizon Problem

abstract: Spontaneously broken symmetries in particle physics may have produced several phase transitions in cosmology, e.g., at the GUT energy scale (~10^15 GeV), resulting in a quasi-de Sitter inflationary expansion, solving the background temperature horizon problem. This transition would have occurred at t~10^-36 to 10^-33 seconds, leading to a separation of the strong and electroweak forces. The discovery of the Higgs boson confirms that the Universe must have undergone another phase transition at the electroweak (EWPT) scale 159.5+/-1.5 GeV, about 10^-11 seconds later, when fermions and the W^+/- and Z^0 bosons gained mass, leading to the separation of the electric and weak forces. But today the vacuum expectation value (vev) of the Higgs field appears to be uniform throughout the visible Universe, a region much larger than causally-connected volumes at the EWPT. The discovery of the Higgs boson thus creates another serious horizon problem for LCDM, for which there is currently no established theoretical resolution. The EWPT was a smooth crossover, however, so previously disconnected electroweak vacuua might have homogenized as they gradually came into causal contact. But using the known Higgs potential and vev, we estimate that this process would have taken longer than the age of the Universe, so it probably could not have mitigated the emergence of different standard model parameters across the sky. The EWPT horizon problem thus argues against the expansion history of the early Universe predicted by standard cosmology.


title: The Ancient Globular Clusters of NGC 1291

abstract: We present a new catalog of 81 ancient globular clusters (GCs) in the early-type spiral (SB0/a) galaxy NGC 1291. Candidates have been selected from B,V, and I band images taken with the Hubble Space Telescope, which also reveal 17 younger (t < few x 100Myr) clusters. The luminosity function shows a peaked shape similar to that found for GC systems in other spiral and elliptical galaxies. The ancient clusters have a bimodal color distribution, with approximately 65% (35%) of the population having blue (red) colors. The red, presumably metal-rich GCs are more centrally concentrated, as expected for a bulge population; while the blue, presumably metal-poor GCs, are more broadly distributed, consistent with expectations of a halo population. The specific frequency of GCs in NGC 1291 is higher than found previously in most spiral galaxies. However, if we consider just the blue subpopulation, we find Sn,blue=0.50 +/- 0.06, quite similar to that found for other spirals. This result supports the hypothesis of a universal population of halo GCs in spirals. The fraction of red GCs in NGC 1291, when compared with those found in other galaxies, suggests that these correlate with host galaxy type rather than with host galaxy luminosity.


title: Average Adjusted Association: Efficient Estimation with High Dimensional Confounders

abstract: The log odds ratio is a well-established metric for evaluating the association between binary outcome and exposure variables. Despite its widespread use, there has been limited discussion on how to summarize the log odds ratio as a function of confounders through averaging. To address this issue, we propose the Average Adjusted Association (AAA), which is a summary measure of association in a heterogeneous population, adjusted for observed confounders. To facilitate the use of it, we also develop efficient double/debiased machine learning (DML) estimators of the AAA. Our DML estimators use two equivalent forms of the efficient influence function, and are applicable in various sampling scenarios, including random sampling, outcome-based sampling, and exposure-based sampling. Through real data and simulations, we demonstrate the practicality and effectiveness of our proposed estimators in measuring the AAA.


title: Strong radiation condition bounds

abstract: We construct solutions to the eikonal equation for a class of long-range potentials, derive strong radiation condition bounds for the corresponding Schr\"odinger operator and apply them to construct the generalized Fourier transform, diagonalizing the continuous part the operator.


title: MIMO Integrated Sensing and Communication with Extended Target: CRB-Rate Tradeoff

abstract: This paper studies a multiple-input multiple-output (MIMO) integrated sensing and communication (ISAC) system, in which a multi-antenna base station (BS) sends unified wireless signals to estimate an extended target and communicate with a multi-antenna communication user (CU) at the same time. We investigate the fundamental tradeoff between the estimation Cram\'er-Rao bound (CRB) for sensing and the data rate for communication, by characterizing the Pareto boundary of the achievable CRB-rate (C-R) region. Towards this end, we formulate a new MIMO rate maximization problem by optimizing the transmit covariance matrix at the BS, subject to a new form of maximum CRB constraint together with a maximum transmit power constraint. We derive the optimal transmit covariance solution in a semi-closed form, by first implementing the singular-value decomposition (SVD) to diagonalize the communication channel and then properly allocating the transmit power over these subchannels for communication and other orthogonal subchannels (if any) for dedicated sensing. It is shown that the optimal transmit covariance is of full rank, which unifies the conventional rate maximization design with water-filling power allocation and the CRB minimization design with isotropic transmission. Numerical results are provided to validate the performance achieved by our proposed optimal design, in comparison with other benchmark schemes.


title: Fine-tuning deep learning models for stereo matching using results from semi-global matching

abstract: Deep learning (DL) methods are widely investigated for stereo image matching tasks due to their reported high accuracies. However, their transferability/generalization capabilities are limited by the instances seen in the training data. With satellite images covering large-scale areas with variances in locations, content, land covers, and spatial patterns, we expect their performances to be impacted. Increasing the number and diversity of training data is always an option, but with the ground-truth disparity being limited in remote sensing due to its high cost, it is almost impossible to obtain the ground-truth for all locations. Knowing that classical stereo matching methods such as Census-based semi-global-matching (SGM) are widely adopted to process different types of stereo data, we therefore, propose a finetuning method that takes advantage of disparity maps derived from SGM on target stereo data. Our proposed method adopts a simple scheme that uses the energy map derived from the SGM algorithm to select high confidence disparity measurements, at the same utilizing the images to limit these selected disparity measurements on texture-rich regions. Our approach aims to investigate the possibility of improving the transferability of current DL methods to unseen target data without having their ground truth as a requirement. To perform a comprehensive study, we select 20 study-sites around the world to cover a variety of complexities and densities. We choose well-established DL methods like geometric and context network (GCNet), pyramid stereo matching network (PSMNet), and LEAStereo for evaluation. Our results indicate an improvement in the transferability of the DL methods across different regions visually and numerically.


title: Thermal self-oscillations in monolayer graphene coupled to a superconducting microwave cavity

abstract: Nonlinear phenomena in superconducting resonator circuits are of great significance in the field of quantum technology. We observe thermal self-oscillations in a monolayer graphene flake coupled to Molybdenum-Rhenium superconducting resonator. The graphene flake forms a SINIS junction coupled to the resonator with strong temperature dependent resistance. In certain conditions of pump power and frequency, this nonlinearity leads to thermal self-oscillations appearing as sidebands in cavity transmission measurements with strong temperature dependence and gate tunability. The experimental observations fit well with theoretical model based on thermal instability. The modelling of the oscillation sidebands provides a method to evaluate electron phonon coupling in disordered graphene sample at low energies.


title: Inductive Limits of Noncommutative Cartan Inclusions

abstract: We prove that an inductive limit of aperiodic noncommutative Cartan inclusions is a noncommutative Cartan inclusion whenever the connecting maps are injective, preserve normalisers and entwine conditional expectations. We show that under the additional assumption that the inductive limit Cartan subalgebra is either essentially separable, essentially simple or essentially of Type I we get an aperiodic inclusion in the limit. Consequently, we subsume the case where the building block Cartan subalgebras are commutative and provide a proof of a theorem of Xin Li without passing to twisted \'etale groupoids.


title: Contrastive Siamese Network for Semi-supervised Speech Recognition

abstract: This paper introduces contrastive siamese (c-siam) network, an architecture for leveraging unlabeled acoustic data in speech recognition. c-siam is the first network that extracts high-level linguistic information from speech by matching outputs of two identical transformer encoders. It contains augmented and target branches which are trained by: (1) masking inputs and matching outputs with a contrastive loss, (2) incorporating a stop gradient operation on the target branch, (3) using an extra learnable transformation on the augmented branch, (4) introducing new temporal augment functions to prevent the shortcut learning problem. We use the Libri-light 60k unsupervised data and the LibriSpeech 100hrs/960hrs supervised data to compare c-siam and other best-performing systems. Our experiments show that c-siam provides 20% relative word error rate improvement over wav2vec baselines. A c-siam network with 450M parameters achieves competitive results compared to the state-of-the-art networks with 600M parameters.


title: A Blessing of Dimensionality in Membership Inference through Regularization

abstract: Is overparameterization a privacy liability? In this work, we study the effect that the number of parameters has on a classifier's vulnerability to membership inference attacks. We first demonstrate how the number of parameters of a model can induce a privacy--utility trade-off: increasing the number of parameters generally improves generalization performance at the expense of lower privacy. However, remarkably, we then show that if coupled with proper regularization, increasing the number of parameters of a model can actually simultaneously increase both its privacy and performance, thereby eliminating the privacy--utility trade-off. Theoretically, we demonstrate this curious phenomenon for logistic regression with ridge regularization in a bi-level feature ensemble setting. Pursuant to our theoretical exploration, we develop a novel leave-one-out analysis tool to precisely characterize the vulnerability of a linear classifier to the optimal membership inference attack. We empirically exhibit this "blessing of dimensionality" for neural networks on a variety of tasks using early stopping as the regularizer.


title: Dual Convexified Convolutional Neural Networks

abstract: We propose the framework of dual convexified convolutional neural networks (DCCNNs). In this framework, we first introduce a primal learning problem motivated by convexified convolutional neural networks (CCNNs), and then construct the dual convex training program through careful analysis of the Karush-Kuhn-Tucker (KKT) conditions and Fenchel conjugates. Our approach reduces the computational overhead of constructing a large kernel matrix and more importantly, eliminates the ambiguity of factorizing the matrix. Due to the low-rank structure in CCNNs and the related subdifferential of nuclear norms, there is no closed-form expression to recover the primal solution from the dual solution. To overcome this, we propose a highly novel weight recovery algorithm, which takes the dual solution and the kernel information as the input, and recovers the linear weight and the output of convolutional layer, instead of weight parameter. Furthermore, our recovery algorithm exploits the low-rank structure and imposes a small number of filters indirectly, which reduces the parameter size. As a result, DCCNNs inherit all the statistical benefits of CCNNs, while enjoying a more formal and efficient workflow.


title: General Optimization Framework for Recurrent Reachability Objectives

abstract: We consider the mobile robot path planning problem for a class of recurrent reachability objectives. These objectives are parameterized by the expected time needed to visit one position from another, the expected square of this time, and also the frequency of moves between two neighboring locations. We design an efficient strategy synthesis algorithm for recurrent reachability objectives and demonstrate its functionality on non-trivial instances.


title: Image Harmonization with Region-wise Contrastive Learning

abstract: Image harmonization task aims at harmonizing different composite foreground regions according to specific background image. Previous methods would rather focus on improving the reconstruction ability of the generator by some internal enhancements such as attention, adaptive normalization and light adjustment, $etc.$. However, they pay less attention to discriminating the foreground and background appearance features within a restricted generator, which becomes a new challenge in image harmonization task. In this paper, we propose a novel image harmonization framework with external style fusion and region-wise contrastive learning scheme. For the external style fusion, we leverage the external background appearance from the encoder as the style reference to generate harmonized foreground in the decoder. This approach enhances the harmonization ability of the decoder by external background guidance. Moreover, for the contrastive learning scheme, we design a region-wise contrastive loss function for image harmonization task. Specifically, we first introduce a straight-forward samples generation method that selects negative samples from the output harmonized foreground region and selects positive samples from the ground-truth background region. Our method attempts to bring together corresponding positive and negative samples by maximizing the mutual information between the foreground and background styles, which desirably makes our harmonization network more robust to discriminate the foreground and background style features when harmonizing composite images. Extensive experiments on the benchmark datasets show that our method can achieve a clear improvement in harmonization quality and demonstrate the good generalization capability in real-scenario applications.


title: Convexity, Squeezing, and the Elekes-Szab\'{o} Theorem

abstract: This paper explores the relationship between convexity and sum sets. In particular, we show that elementary number theoretical methods, principally the application of a squeezing principle, can be augmented with the Elekes-Szab\'{o} Theorem in order to give new information. Namely, if we let $A \subset \mathbb R$, we prove that there exist $a,a' \in A$ such that \[\left | \frac{(aA+1)^{(2)}(a'A+1)^{(2)}}{(aA+1)^{(2)}(a'A+1)} \right | \gtrsim |A|^{31/12}.\] We are also able to prove that \[ \max \{|A+A-A|, |A^2+A^2-A^2|, |A^3 + A^3 - A^3|\} \gtrsim |A|^{19/12}.\] Both of these bounds are improvements of recent results and takes advantage of computer algebra to tackle some of the computations.


title: Content Filtering with Inattentive Information Consumers

abstract: We develop a model of content filtering as a game between the filter and the content consumer, where the latter incurs information costs for examining the content. Motivating examples include censoring misinformation, spam/phish filtering, and recommender systems. When the attacker is exogenous, we show that improving the filter's quality is weakly Pareto improving, but has no impact on equilibrium payoffs until the filter becomes sufficiently accurate. Further, if the filter does not internalize the information costs, its lack of commitment power may render it useless and lead to inefficient outcomes. When the attacker is also strategic, improvements to filter quality may sometimes decrease equilibrium payoffs.


title: 43-GHz bandwidth real-time amplitude measurement of 5-dB squeezed light using modularized optical parametric amplifier with 5G technology

abstract: Continuous-variable optical quantum information processing (CVOQIP), where quantum information is encoded in a traveling wave of light called a flying qubit, is a candidate for a practical quantum computer with high clock frequencies. Homodyne detectors for quadrature-phase amplitude measurements have been the major factor limiting the clock frequency. Here, we developed a real-time amplitude measurement method using a modular optical parametric amplifier (OPA) and a broadband balanced photodiode that is commercially used for coherent wavelength-division multiplexing telecommunication of the fifth-generation mobile communication systems (5G). The OPA amplifies one quadrature-phase component of the quantum-level signal to a loss-tolerant macroscopic level, and acts as a "magic wand," which suppresses the loss after the OPA from 92.4\% to only 0.4\%. When the method was applied to a broadband squeezed vacuum with a center wavelength of 1545.32 nm, we observed 5.2 $\pm$ 0.5 dB of squeezing from DC to 43 GHz without any loss correction. The marriage of CVOQIP and 5G technology arranged by the modular OPA will lead to a paradigm shift from the conventional method of using stationary qubits, where the information is encoded in a standing wave system, to a method using flying qubits for ultra-fast practical quantum computation. This means that quantum computer research will move from the stage of developing machines that execute only specific quantum algorithms to a stage of developing machines that can outperform classical computers in running any algorithm.


title: Mall bundles and flat connections on Hopf manifolds

abstract: A Mall bundle on a Hopf manifold H is a holomorphic vector bundle whose pullback to the universal cover of H is trivial. We define resonant and non-resonant Mall bundles, generalizing the notion of the resonance in ODE, and prove that a non-resonant Mall bundle always admits a flat holomorphic connection. We use this observation to prove a version of Poincare-Dulac linearization theorem, showing that any non-resonant invertible holomorphic contraction of a complex space is linear in appropriate holomorphic coordinates. We define the notion of resonance in Hopf manifolds, and show that all non-resonant Hopf manifolds are linear; previously, this result was obtained by Kodaira using the Poincare-Dulac theorem.


title: Magnetic Ordering in GdAuAl$_4$Ge$_2$ and TbAuAl$_4$Ge$_2$: layered compounds with triangular lanthanide nets

abstract: We report the synthesis of the entire $Ln$AuAl$_4$Ge$_2$ ($Ln$ = Y, Pr, Nd, Sm, Gd, Tb, Dy, Ho, Er, and Tm) series and focus on the magnetic properties of GdAuAl$_4$Ge$_2$ and TbAuAl$_4$Ge$_2$. Temperature and magnetic field dependent magnetization, heat capacity, and electrical resistivity measurements reveal that both compounds exhibit several magnetically ordered states at low temperatures, with evidence for magnetic fluctuations extending into the paramagnetic temperature region. For magnetic fields applied in the $ab$-plane there are several ordered state regions that are associated with metamagnetic phase transitions, consistent with there being multiple nearly degenerate ground states. Despite Gd being an isotropic $S$-state ion and Tb having an anisotropic $J$-state, there are similarities in the phase diagrams for the two compounds, suggesting that factors such as the symmetry of the crystalline lattice, which features well separated triangular planes of lanthanide ions, or the Ruderman-Kittel-Kasuya-Yosida interaction as defined by the Fermi surface topography control the magnetism. We also point out similarities to other centrosymmetric compounds that host skyrmion lattices such as Gd$_2$PdSi$_3$, and propose that the $Ln$AuAl$_4$Ge$_2$ family of compounds are of interest as reservoirs for complex magnetism and electronic behaviors such as the topological Hall effect.


title: Combining experimental and computational methods to unravel the dynamical structure of photoelectrosynthetic interfaces

abstract: At photoelectrosynthetic interfaces, an electrochemical reaction is driven by excited charge-carriers from a semiconducting photoabsorber. Structure and composition of this interface determine both the electronic and electrochemical performance of devices, yet this structure is often highly dynamic both in the time-domain and upon applied potentials. We discuss the arising challenges from this dynamical nature and review recent approaches to gain an atomistic understanding of the involved processes, which increasingly involves a combination of experimental and computational methods. Bearing a similarity to solid-electrolyte interphase formation in batteries, their apprehension could help to develop functional passivation layers for high-performance photoelectrosynthetic devices.


title: Simple Unsupervised Object-Centric Learning for Complex and Naturalistic Videos

abstract: Unsupervised object-centric learning aims to represent the modular, compositional, and causal structure of a scene as a set of object representations and thereby promises to resolve many critical limitations of traditional single-vector representations such as poor systematic generalization. Although there have been many remarkable advances in recent years, one of the most critical problems in this direction has been that previous methods work only with simple and synthetic scenes but not with complex and naturalistic images or videos. In this paper, we propose STEVE, an unsupervised model for object-centric learning in videos. Our proposed model makes a significant advancement by demonstrating its effectiveness on various complex and naturalistic videos unprecedented in this line of research. Interestingly, this is achieved by neither adding complexity to the model architecture nor introducing a new objective or weak supervision. Rather, it is achieved by a surprisingly simple architecture that uses a transformer-based image decoder conditioned on slots and the learning objective is simply to reconstruct the observation. Our experiment results on various complex and naturalistic videos show significant improvements compared to the previous state-of-the-art.


title: Accelerating multimodal gravitational waveforms from precessing compact binaries with artificial neural networks

abstract: Gravitational waves from the coalescences of black hole and neutron stars afford us the unique opportunity to determine the sources' properties, such as their masses and spins, with unprecedented accuracy. To do so, however, theoretical models of the emitted signal that are i) extremely accurate and ii) computationally highly efficient are necessary. The inclusion of more detailed physics such as higher-order multipoles and relativistic spin-induced orbital precession increases the complexity and hence also computational cost of waveform models, which presents a severe bottleneck to the parameter inference problem. A popular method to generate waveforms more efficiently is to build a fast surrogate model of a slower one. In this paper, we show that traditional surrogate modelling methods combined with artificial neural networks can be used to build a computationally highly efficient while still accurate emulation of multipolar time-domain waveform models of precessing binary black holes. We apply this method to the state-of-the-art waveform model SEOBNRv4PHM and find significant computational improvements: On a traditional CPU, the typical generation of a single waveform using our neural network surrogate SEOBNN_v4PHM_4dq2 takes 18ms for a binary black hole with a total mass of $44 M_{\odot}$ when generated from 20Hz. In comparison to SEOBNRv4PHM itself, this amounts to an improvement in computational efficiency by two orders of magnitude. Utilising additional GPU acceleration, we find that this speed-up can be increased further with the generation of batches of waveforms simultaneously. Even without additional GPU acceleration, this dramatic decrease in waveform generation cost can reduce the inference timescale from weeks to hours.


title: Finite mixture of skewed sub-Gaussian stable distributions

abstract: We propose the finite mixture of skewed sub-Gaussian stable distributions. The maximum likelihood estimator for the parameters of proposed finite mixture model is computed through the expectation-maximization algorithm. The proposed model contains the finite mixture of normal and skewed normal distributions. Since the tails of proposed model is heavier than even the Student's t distribution, it can be used as a powerful model for robust model-based clustering. Performance of the proposed model is demonstrated by clustering simulation data and two sets of real data.


title: Interleaved Prange: A New Generic Decoder for Interleaved Codes

abstract: Due to the recent challenges in post-quantum cryptography, several new approaches for code-based cryptography have been proposed. For example, a variant of the McEliece cryptosystem based on interleaved codes was proposed. In order to deem such new settings secure, we first need to understand and analyze the complexity of the underlying problem, in this case the problem of decoding a random interleaved code. A simple approach to decode such codes, would be to randomly choose a vector in the row span of the received matrix and run a classical information set decoding algorithm on this erroneous codeword. In this paper, we propose a new generic decoder for interleaved codes, which is an adaption of the classical idea of information set decoding by Prange and perfectly fits the interleaved setting. We then analyze the cost of the new algorithm and a comparison to the simple approach described above shows the superiority of Interleaved Prange.


title: Deep Coding Patterns Design for Compressive Near-Infrared Spectral Classification

abstract: Compressive spectral imaging (CSI) has emerged as an attractive compression and sensing technique, primarily to sense spectral regions where traditional systems result in highly costly such as in the near-infrared spectrum. Recently, it has been shown that spectral classification can be performed directly in the compressive domain, considering the amount of spectral information embedded in the measurements, skipping the reconstruction step. Consequently, the classification quality directly depends on the set of coding patterns employed in the sensing step. Therefore, this work proposes an end-to-end approach to jointly design the coding patterns used in CSI and the network parameters to perform spectral classification directly from the embedded near-infrared compressive measurements. Extensive simulation on the three-dimensional coded aperture snapshot spectral imaging (3D-CASSI) system validates that the proposed design outperforms traditional and random design in up to 10% of classification accuracy.


title: Multi-criteria Decision-making of Intelligent Vehicles under Fault Condition Enhancing Public-private Partnership

abstract: With the development of vehicular technologies on automation, electrification, and digitalization, vehicles are becoming more intelligent while being exposed to more complex, uncertain, and frequently occurring faults. In this paper, we look into the maintenance planning of an operating vehicle under fault condition and formulate it as a multi-criteria decision-making problem. The maintenance decisions are generated by route searching in road networks and evaluated based on risk assessment considering the uncertainty of vehicle breakdowns. Particularly, we consider two criteria, namely the risk of public time loss and the risk of mission delay, representing the concerns of the public sector and the private sector, respectively. A public time loss model is developed to evaluate the traffic congestion caused by a vehicle breakdown and the corresponding towing process. The Pareto optimal set of non-dominated decisions is derived by evaluating the risk of the decisions. We demonstrate the relevance of the problem and the effectiveness of the proposed method by numerical experiments derived from real-world scenarios. The experiments show that neglecting the risk of vehicle breakdown on public roads can cause a high risk of public time loss in dense traffic flow. With the proposed method, alternate decisions can be derived to reduce the risks of public time loss significantly with a low increase in the risk of mission delay. This study aims at catalyzing public-private partnership through collaborative decision-making between the private sector and the public sector, thus archiving a more sustainable transportation system in the future.


title: A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument

abstract: I use mechanized verification to examine several first- and higher-order formalizations of Anselm's Ontological Argument against the charge of begging the question. I propose three different but related criteria for a premise to beg the question in fully formal proofs and find that one or another applies to all the formalizations examined. I also show that all these formalizations entail variants that are vacuous, in the sense that they apply no interpretation to "than which there is no greater" and are therefore vulnerable to Gaunilo's refutation. My purpose is to demonstrate that mechanized verification provides an effective and reliable technique to perform these analyses; readers may decide whether the forms of question begging and vacuity so identified affect their interest in the Argument or its various formalizations. This version updates the paper that originally appeared as Chapter 13 in "Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy" published by Springer to respond to criticisms by Oppenheimer and Zalta.


title: Self-similar diffuse boundary method for phase boundary driven flow

abstract: Interactions between an evolving solid and inviscid flow can result in substantial computational complexity, particularly in circumstances involving varied boundary conditions between the solid and fluid phases. Examples of such interactions include melting, sublimation, and deflagration, all of which exhibit bidirectional coupling, mass/heat transfer, and topological change of the solid-fluid interface. The diffuse interface method is a powerful technique that has been used to describe a wide range of solid-phase interface-driven phenomena. The implicit treatment of the interface eliminates the need for cumbersome interface tracking, and advances in adaptive mesh refinement have provided a way to sufficiently resolve diffuse interfaces without excessive computational cost. However, the general scale-invariant coupling of these techniques to flow solvers has been relatively unexplored. In this work, a robust method is presented for treating diffuse solid-fluid interfaces with arbitrary boundary conditions. Source terms defined over the diffuse region mimic boundary conditions at the solid-fluid interface, and it is demonstrated that the diffuse length scale has no adverse effects. To show the efficacy of the method, a one-dimensional implementation is introduced and tested for three types of boundaries: mass flux through the boundary, a moving boundary, and passive interaction of the boundary with an incident acoustic wave. These demonstrate expected behavior in all cases. Convergence analysis is also performed and compared against the sharp-interface solution, and linear convergence is observed. This method lays the groundwork for the extension to viscous flow, and the solution of problems involving time-varying mass-flux boundaries.


title: Forecasting Change in Conflict Fatalities with Dynamic Elastic Net

abstract: This article illustrates an approach to forecasting change in conflict fatalities designed to address the complexity of the drivers and processes of armed conflicts. The design of this approach is based on two main choices. First, to account for the specificity of conflict drivers and processes over time and space, we model conflicts in each individual country separately. Second, we draw on an adaptive model -- Dynamic Elastic Net, DynENet -- which is able to efficiently select relevant predictors among a large set of covariates. We include over 700 variables in our models, adding event data on top of the data features provided by the con-venors of the forecasting competition. We show that our approach is suitable and computa-tionally efficient enough to address the complexity of conflict dynamics. Moreover, the adaptive nature of our model brings a significant added value. Because for each country our model only selects the variables that are relevant to predict conflict intensity, the retained predictors can be analyzed to describe the dynamic configuration of conflict drivers both across countries and within countries over time. Countries can then be clustered to observe the emergence of broader patterns related to correlates of conflict. In this sense, our ap-proach produces interpretable forecasts, addressing one key limitation of contemporary ap-proaches to forecasting.


title: Advanced technique for measuring relative length changes under control of temperature and helium-gas pressure

abstract: We report the realization of an advanced technique for measuring relative length changes $\Delta L/L$ of mm-sized samples under control of temperature ($T$) and helium-gas pressure ($P$). The system, which is an extension of the apparatus described in Manna et al., Rev. Sci. Instrum. 83, 085111 (2012), consists of two $^4$He-bath cryostats each of which houses a pressure cell and a capacitive dilatometer. The interconnection of the pressure cells, the temperature of which can be controlled individually, opens up various modes of operation to perform measurements of $\Delta L/L$ under variation of temperature and pressure. Special features of this apparatus include the possibilities (1) to increase the pressure to values much in excess of the external pressure reservoir, (2) to substantially improve the pressure stability during temperature sweeps, (3) to enable continuous pressure sweeps both with decreasing and increasing pressure, and (4) to simultaneously measure the dielectric constant of the pressure-transmitting medium helium, $\varepsilon_{\mathrm{r}}^{\mathrm{He}}(T,P)$, along the same $T$-$P$ trajectory as used for taking the $\Delta L(T,P)/L$ data. The performance of the setup is demonstrated by measurements of relative length changes $(\Delta L/L)_T$ at $T=180\,\mathrm{K}$ of single crystalline NaCl upon continuously varying the pressure in the range $6\,\mathrm{MPa}\leq P \leq 40\,\mathrm{MPa}$.


title: Nonlinear $\sigma$-model for disordered systems with intrinsic spin-orbit coupling

abstract: We derive the nonlinear $\sigma$-model to describe diffusive transport in normal metals and superconductors with intrinsic spin-orbit coupling (SOC). The SOC is described via an SU(2) gauge field, and we expand the model to the fourth order in gradients to find the leading non-Abelian field-strength contribution. This contribution generates the spin-charge coupling that is responsible for the spin-Hall effect. We discuss how its symmetry differs from the leading quasiclassical higher-order gradient terms. We also derive the corresponding Usadel equation describing the diffusive spin-charge dynamics in superconducting systems. As an example, we apply the obtained equations to describe the anomalous supercurrent in dirty Rashba superconductors at arbitrary temperatures.


title: How to Tame Multiple Spending in Decentralized Cryptocurrencies

abstract: The last decade has seen a variety of Asset-Transfer systems designed for decentralized environments. To address the problem of double-spending, these systems inherently make strong model assumptions and spend a lot of resources. In this paper, we take a non-orthodox approach to the double-spending problem that might suit better realistic environments in which these systems are to be deployed. We consider the decentralized trust setting, where each user may independently choose who to trust by forming its local quorums. In this setting, we define $k$-Spending Asset Transfer, a relaxed version of asset transfer which bounds the number of times the same asset can be spent. We establish a precise relationship between the decentralized trust assumptions and $k$, the optimal spending number of the system.


title: ARKODE: a flexible IVP solver infrastructure for one-step methods

abstract: We describe the ARKODE library of one-step time integration methods for ordinary differential equation (ODE) initial-value problems (IVPs). In addition to providing standard explicit and diagonally implicit Runge--Kutta methods, ARKODE also supports one-step methods designed to treat additive splittings of the IVP, including implicit-explicit (ImEx) additive Runge--Kutta methods and multirate infinitesimal (MRI) methods. We present the role of ARKODE within the SUNDIALS suite of time integration and nonlinear solver libraries, the core ARKODE infrastructure for utilities common to large classes of one-step methods, as well as its use of ``time stepper'' modules enabling easy incorporation of novel algorithms into the library. Numerical results show example problems of increasing complexity, highlighting the algorithmic flexibility afforded through this infrastructure, and include a larger multiphysics application leveraging multiple algorithmic features from ARKODE and SUNDIALS.


title: q-Stirling numbers in type B

abstract: Stirling numbers, which count partitions of a set and permutations in the symmetric group, have found extensive application in combinatorics, geometry, and algebra. We study analogues and q-analogues of these numbers corresponding to the Coxeter group of type B. In particular, we show how they are related to complete homogeneous and elementary symmetric polynomials; demonstrate how they q-count signed partitions and permutations; compute their ordinary, exponential, and q-exponential generating functions; and prove various identities about them. Ordered analogues of the q-Stirling numbers of the second kind have recently appeared in conjectures of Zabrocki and of Swanson--Wallach concerning the Hilbert series of certain super coinvariant algebras. We provide conjectural bases for these algebras and show that they have the correct Hilbert series.


title: Haptic Shared Control Improves Neural Efficiency During Myoelectric Prosthesis Use

abstract: Clinical myoelectric prostheses lack the sensory feedback and sufficient dexterity required to complete activities of daily living efficiently and accurately. Providing haptic feedback of relevant environmental cues to the user or imbuing the prosthesis with autonomous control authority have been separately shown to improve prosthesis utility. Few studies, however, have investigated the effect of combining these two approaches in a shared control paradigm, and none have evaluated such an approach from the perspective of neural efficiency (the relationship between task performance and mental effort measured directly from the brain). In this work, we analyzed the neural efficiency of 30 non-amputee participants in a grasp-and-lift task of a brittle object. Here, a myoelectric prosthesis featuring vibrotactile feedback of grip force and autonomous control of grasping was compared with a standard myoelectric prosthesis with and without vibrotactile feedback. As a measure of mental effort, we captured the prefrontal cortex activity changes using functional near infrared spectroscopy during the experiment. Results showed that only the haptic shared control system enabled users to achieve high neural efficiency, and that vibrotactile feedback was important for grasping with the appropriate grip force. These results indicate that the haptic shared control system synergistically combines the benefits of haptic feedback and autonomous controllers, and is well-poised to inform such hybrid advancements in myoelectric prosthesis technology.


title: Milne Spacetime with Conical Defect: Some Holographic Studies

abstract: In this work, we initiate a holographic study of field theory on time dependent background with conical defect. We focus on the Milne space-time to which, in the absence of cosmological constant, at late time any hyperbolic Friedmann-Robertson-Walker metric flows to. When the Milne vacuum is represented by the adiabatic one, we are able to compute the two point correlators of operators which are dual to the massive scalars in the bulk AdS-Milne background with defect. We find, for both twisted and untwisted operators, the correlators can be represented as the sum over images. This sum can be carried out explicitly to write the results in compact forms.


title: Towards Quantum Gravity in the Lab on Quantum Processors

abstract: The holographic principle and its realization in the AdS/CFT correspondence led to unexpected connections between general relativity and quantum information. This set the stage for studying aspects of quantum gravity models, which are otherwise difficult to access, in table-top quantum-computational experiments. Recent works have designed a special teleportation protocol that realizes a surprising communication phenomenon most naturally explained by the physics of a traversable wormhole. In this work, we have carried out quantum experiments based on this protocol on state-of-the-art quantum computers. The target quantum processing units (QPUs) included the Quantinuum's trapped-ion System Model H1-1 and five IBM superconducting QPUs of various architectures, with public and premium user access. We report the observed teleportation signals from these QPUs with the best one reaching 80% of theoretical predictions. We outline the experimental challenges we have faced in the course of implementation, as well as the new theoretical insights into quantum dynamics the work has led to. We also developed QGLab -- an open-source end-to-end software solution that facilitates conducting the wormhole-inspired teleportation experiments on state-of-the-art and emergent generations of QPUs supported by the Qiskit and tket SDKs. We consider our study and deliverables as an early practical step towards the realization of more complex experiments for the indirect probing of quantum gravity in the lab.


title: AANG: Automating Auxiliary Learning

abstract: Auxiliary objectives, supplementary learning signals that are introduced to help aid learning on data-starved or highly complex end-tasks, are commonplace in machine learning. Whilst much work has been done to formulate useful auxiliary objectives, their construction is still an art which proceeds by slow and tedious hand-design. Intuition for how and when these objectives improve end-task performance has also had limited theoretical backing. In this work, we present an approach for automatically generating a suite of auxiliary objectives. We achieve this by deconstructing existing objectives within a novel unified taxonomy, identifying connections between them, and generating new ones based on the uncovered structure. Next, we theoretically formalize widely-held intuitions about how auxiliary learning improves generalization on the end-task. This leads us to a principled and efficient algorithm for searching the space of generated objectives to find those most useful to a specified end-task. With natural language processing (NLP) as our domain of study, we demonstrate that our automated auxiliary learning pipeline leads to strong improvements over competitive baselines across continued training experiments on a pre-trained model on 5 NLP tasks.