title: The spontaneous exchange bias effect in La2-xCaxCoMnO6 series

abstract: Structural, electronic and magnetic properties of polycrystalline La2-xCaxCoMnO6 (0 $\leq$ x $\leq$ 0.75) compounds are investigated by x-ray diffraction and magnetometry. All the samples have an orthorhombic structure and show a slight decrease in the unit cell with Ca-doping. Temperature-dependent magnetization measurements reveal a complex magnetic behavior with two ferromagnetic transitions. These transitions are ascribed to Co2+--Mn4+ and Co3+--Mn3+ couplings and suggest the presence of additional antiferromagnetic couplings in these disordered compounds. Field-dependent magnetization curves, measured after cooling the samples in a zero external magnetic field, reveal the spontaneous exchange bias (SEB) effect for the Ca-doped samples. The strengthening of the uncompensated magnetic coupling at the interfaces, caused by the increased antiferromagnetic phase, explains the increase of SEB with increasing the Ca-content.


title: de Sitterization via Kerr-Schild

abstract: Spatially homogeneous cosmological spacetimes, evolving in the presence of a positive cosmological constant and matter satisfying some reasonable energy conditions, typically approach the de Sitter geometry asymptotically (at least locally). In this work, we propose an alternate way to characterize this phenomena. We focus on a subset of such models admitting a generalized Kerr-Schild representation. We argue that the functions which define such a representation can be chosen, such that, their asymptotic behavior make the evolution towards the de Sitter spacetime manifest through the representation. We verify our claim for the Kantowski-Sachs family of cosmological spacetimes.


title: Automorphism Shuffles for Graphs and Hypergraphs and Its Applications

abstract: In card-based cryptography, a deck of physical cards is used to achieve secure computation. A shuffle, which randomly permutes a card-sequence along with some probability distribution, ensures the security of a card-based protocol. The authors proposed a new class of shuffles called graph shuffles, which randomly permutes a card-sequence by an automorphism of a directed graph (New Generation Computing 2022). For a directed graph $G$ with $n$ vertices and $m$ edges, such a shuffle could be implemented with pile-scramble shuffles with $2(n+m)$ cards. In this paper, we study graph shuffles and give an implementation, an application, and a slight generalization of them. First, we propose a new protocol for graph shuffles with $2n+m$ cards. Second, as a new application of graph shuffles, we show that any cyclic group shuffle, which is a shuffle over a cyclic group, is a graph shuffle associated with some graph. Third, we define a hypergraph shuffle, which is a shuffle by an automorphism of a hypergraph, and show that any hypergraph shuffle can also be implemented with pile-scramble shuffles.


title: SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element

abstract: Fault attacks are active, physical attacks that an adversary can leverage to alter the control-flow of embedded devices to gain access to sensitive information or bypass protection mechanisms. Due to the severity of these attacks, manufacturers deploy hardware-based fault defenses into security-critical systems, such as secure elements. The development of these countermeasures is a challenging task due to the complex interplay of circuit components and because contemporary design automation tools tend to optimize inserted structures away, thereby defeating their purpose. Hence, it is critical that such countermeasures are rigorously verified post-synthesis. As classical functional verification techniques fall short of assessing the effectiveness of countermeasures, developers have to resort to methods capable of injecting faults in a simulation testbench or into a physical chip. However, developing test sequences to inject faults in simulation is an error-prone task and performing fault attacks on a chip requires specialized equipment and is incredibly time-consuming. To that end, this paper introduces SYNFI, a formal pre-silicon fault verification framework that operates on synthesized netlists. SYNFI can be used to analyze the general effect of faults on the input-output relationship in a circuit and its fault countermeasures, and thus enables hardware designers to assess and verify the effectiveness of embedded countermeasures in a systematic and semi-automatic way. To demonstrate that SYNFI is capable of handling unmodified, industry-grade netlists synthesized with commercial and open tools, we analyze OpenTitan, the first open-source secure element. In our analysis, we identified critical security weaknesses in the unprotected AES block, developed targeted countermeasures, reassessed their security, and contributed these countermeasures back to the OpenTitan repository.


title: Colorful Words and d-Tverberg Complexes

abstract: We give a complete combinatorial characterization of weakly $d$-Tverberg complexes. These complexes record which intersection combinatorics of convex hulls necessarily arise in any sufficiently large general position point set in $\mathbb R^d$. This strengthens the concept of $d$-representable complexes, which describe intersection combinatorics that arise in at least one point set. Our characterization allows us to construct for every fixed $d$ a graph that is not weakly $d'$-Tverberg for any $d'\le d$, answering a question of De Loera, Hogan, Oliveros, and Yang.


title: Polarized image of synchrotron radiations of hotspots in Schwarzschilld-Melvin black hole spacetime

abstract: We revisit the innermost stable circular orbits (ISCOs) of charged particles and study the polarized images of synchrotron radiations emitted from such orbiting hotspots on the equatorial plane in Schwarzchild-Melvin black hole spacetime. We obtain a constraint on the magnetic field to retain ISCOs for charged particles. In particular, we identify a critical value for the strength of the magnetic field $B_c$ that the circular orbits can have positive and negative angular momentums above $B_c$ while only one branch survive below $B_c$. Furthermore, we investigate and discuss the primary and secondary images of circularly orbiting charged hotspots carrying the information of polarization directions observed by distant observers.


title: Structural, electronic and magnetic properties of La$_{1.5}$Ca$_{0.5}$(Co$_{0.5}$Fe$_{0.5}$)IrO$_6$ double perovskite

abstract: In this work, we report the synthesis and investigation of structural, electronic, and magnetic properties of La$_{1.5}$Ca$_{0.5}$(Co$_{0.5}$Fe$_{0.5}$)IrO$_6$. Our polycrystalline sample forms as a single-phase double perovskite in monoclinic $P2_{1}/n$ space group. Co and Ir are most likely in bivalent and tetravalent oxidation states, respectively, while Mossbauer spectroscopy indicates that Fe is in a trivalent state. The ac and dc magnetization data suggest a ferrimagnetic behavior resulting from the presence of two antiferromagnetic sublattices at Co/Fe and Ir sites. The large coercive field H_C $\simeq$ 32 kOe observed at 10 K, comparable to that of other double perovskites of interest for hard magnets, is discussed in terms of the structural distortion and the spin and orbital magnetic moments of the transition metal ions.


title: Deep Learning-based Schemes for Singularly Perturbed Convection-Diffusion Problems

abstract: Deep learning-based numerical schemes such as Physically Informed Neural Networks (PINNs) have recently emerged as an alternative to classical numerical schemes for solving Partial Differential Equations (PDEs). They are very appealing at first sight because implementing vanilla versions of PINNs based on strong residual forms is easy, and neural networks offer very high approximation capabilities. However, when the PDE solutions are low regular, an expert insight is required to build deep learning formulations that do not incur in variational crimes. Optimization solvers are also significantly challenged, and can potentially spoil the final quality of the approximated solution due to the convergence to bad local minima, and bad generalization capabilities. In this paper, we present an exhaustive numerical study of the merits and limitations of these schemes when solutions exhibit low-regularity, and compare performance with respect to more benign cases when solutions are very smooth. As a support for our study, we consider singularly perturbed convection-diffusion problems where the regularity of solutions typically degrades as certain multiscale parameters go to zero.


title: Resonant and phonon-assisted ultrafast coherent control of a single hBN color center

abstract: Single-photon emitters in solid-state systems are important building blocks for scalable quantum technologies. Recently, quantum light emitters have been discovered in the wide-gap van der Waals insulator hBN. These color centers have attracted considerable attention due to their quantum performance at elevated temperatures and wide range of transition energies. Here, we demonstrate coherent state manipulation of a single hBN color center with ultrafast laser pulses and investigate in our joint experiment-theory study the coupling between the electronic system and phonons. We demonstrate that coherent control can not only be performed resonantly on the optical transition giving access to the decoherence but also phonon-assisted, which reveals the internal phonon quantum dynamics. In the case of optical phonons we measure their decoherence, stemming in part from their anharmonic decay. Dephasing induced by the creation of acoustic phonons manifests as a rapid decrease of the coherent control signal when traveling phonon wave packets are emitted. Furthermore, we demonstrate that the quantum superposition between a phonon-assisted process and the resonant excitation causes ultrafast oscillations of the coherent control signal. Our results pave the way for ultrafast phonon quantum state control on the nanoscale and open up a new promising perspective for hybrid quantum technologies.


title: The role of meson interactions in the $D_s^{+}\rightarrow \pi^{+}\pi^{+}\pi^{-}\eta$ decay

abstract: We perform a theoretical study of the $D_s^{+}\to \pi^{+}\pi^{+}\pi^{-}\eta$ decay. We look first at the basic $D_s^{+}$ decay at the quark level from external and internal emission. Then hadronize a pair or two pairs of $q\bar{q}$ states to have mesons at the end. Posteriorly the pairs of mesons are allowed to undergo final state interaction, by means of which the $a_0(980)$, $f_0(980)$, $a_1(1260)$, and $b_1(1235)$ resonances are dynamically generated. The $G$-parity is used as a filter of the possible channels, and from those with negative $G$-parity only the ones that can lead to $\pi^{+}\pi^{+}\pi^{-}\eta$ at the final state are kept. Using transition amplitudes from the chiral unitary approach that generates these resonances, and a few free parameters, we obtain a fair reproduction of the six mass distributions reported in BESIII experiment.


title: Spike-based computational models of bio-inspired memories in the hippocampal CA3 region on SpiNNaker

abstract: The human brain is the most powerful and efficient machine in existence today, surpassing in many ways the capabilities of modern computers. Currently, lines of research in neuromorphic engineering are trying to develop hardware that mimics the functioning of the brain to acquire these superior capabilities. One of the areas still under development is the design of bio-inspired memories, where the hippocampus plays an important role. This region of the brain acts as a short-term memory with the ability to store associations of information from different sensory streams in the brain and recall them later. This is possible thanks to the recurrent collateral network architecture that constitutes CA3, the main sub-region of the hippocampus. In this work, we developed two spike-based computational models of fully functional hippocampal bio-inspired memories for the storage and recall of complex patterns implemented with spiking neural networks on the SpiNNaker hardware platform. These models present different levels of biological abstraction, with the first model having a constant oscillatory activity closer to the biological model, and the second one having an energy-efficient regulated activity, which, although it is still bio-inspired, opts for a more functional approach. Different experiments were performed for each of the models, in order to test their learning/recalling capabilities. A comprehensive comparison between the functionality and the biological plausibility of the presented models was carried out, showing their strengths and weaknesses. The two models, which are publicly available for researchers, could pave the way for future spike-based implementations and applications.


title: Matrix and graph representations of vine copula structures

abstract: Vine copulas can efficiently model multivariate probability distributions. This paper focuses on a more thorough understanding of their structures, since in the literature, vine copula representations are often ambiguous. The graph representations include the original, cherry and chordal graph sequence structures, which we show equivalence between. Importantly we also show a new result, namely that when a perfect elimination ordering of a vine structure is given, then it can always be uniquely represented with a matrix. O. M. N\'apoles has shown a way to represent vines in a matrix, and we algorithmify this previous approach, while also showing a new method for constructing such a matrix, through cherry tree sequences. We also calculate the runtime of these algorithms. Lastly, we prove that these two matrix-building algorithms are equivalent if the same perfect elimination ordering is being used.


title: Fixed points and the stability of the linear functional equations in a single variable

abstract: We prove that an interesting result concerning generalized Hyers-Ulam-Rassias stability of a linear functional equation obtained in 2014 by S.M. Jung, D. Popa and M.T. Rassias in Journal of Global Optimization is a particular case of a fixed point theorem given by us in 2012. Moreover, we give a characterization of functions that can be approximated with a given error, by the solution of the previously mention linear equation.


title: Upper Bounds to Genome Rearrangement Problem using Prefix Transpositions

abstract: A Genome rearrangement problem studies large-scale mutations on a set of DNAs in living organisms. Various rearrangements like reversals, transpositions, translocations, fissions, fusions, and combinations and different variations have been studied extensively by computational biologists and computer scientists over the past four decades. From a mathematical point of view, a genome is represented by a permutation. The genome rearrangement problem is interpreted as a problem that transforms one permutation into another in a minimum number of moves under certain constraints depending on the chosen rearrangements. Finding the minimum number of moves is equivalent to sorting the permutation with the given rearrangement. A transposition is an operation on a permutation that moves a sublist of a permutation to a different position in the same permutation. A \emph{Prefix Transposition}, as the name suggests, is a transposition that moves a sublist which is a prefix of the permutation. In this thesis, we study prefix transpositions on permutations and present a better upper bound for sorting permutations with prefix transpositions. A greedy algorithm called the \emph{generalised sequence length algorithm} is defined as an extension of the sequence length algorithm where suitable alternate moves are also considered. This algorithm is used to sequentially improve the upper bound to $n-\log_{3.3} n$ and $n-\log_3 n$. In the latter part of the thesis, we defined the concept of a \emph{block}. We used it along with the greedy moves of the generalised sequence length algorithm to get an upper bound of $n-\log_2 n$ to sort permutations by prefix transpositions.


title: Large subsets of Euclidean space avoiding infinite arithmetic progressions

abstract: It is known that if a subset of $\mathbb{R}$ has positive Lebesgue measure, then it contains arbitrarily long finite arithmetic progressions. We prove that this result does not extend to infinite arithmetic progressions in the following sense: for each $\lambda$ in $[0,1)$, we construct a subset of $\mathbb{R}$ that intersects every interval of unit length in a set of measure at least $\lambda$, but that does not contain any infinite arithmetic progression.


title: Fixed-Template Promise Model Checking Problems

abstract: The fixed-template constraint satisfaction problem (CSP) can be seen as the problem of deciding whether a given primitive positive first-order sentence is true in a fixed structure (also called model). We study a class of problems that generalizes the CSP simultaneously in two directions: we fix a set $\mathcal{L}$ of quantifiers and Boolean connectives, and we specify two versions of each constraint, one strong and one weak. Given a sentence which only uses symbols from $\mathcal{L}$, the task is to distinguish whether the sentence is true in the strong sense, or it is false even in the weak sense. We classify the computational complexity of these problems for the existential positive equality-free fragment of first-order logic, i.e., $\mathcal{L} = \{\exists,\land,\lor\}$, and we prove some upper and lower bounds for the positive equality-free fragment, $\mathcal{L} = \{\exists,\forall,\land,\lor\}$. The partial results are sufficient, e.g., for all extensions of the latter fragment.


title: Temperature-induced dephasing in high-order harmonic generation from solids

abstract: High harmonic generation (HHG) in solid and gaseous targets has been proven to be a powerful avenue for the generation of attosecond pulses, whereas the influence of electron-phonon scattering on HHG is a critical outstanding problem. Here we first introduce a temperature dependent lattice vibration model by characterizing the spacing fluctuation. Our results reveal that (i) structural disorder induced by lattice vibration does not lead to generation of even-order harmonics; (ii) dephasing of HHG occurs as the lattice temperature is growing; (iii) an open-trajectory picture predicts the maximal photon energy in the temperature-dependent HHG spectra. Moreover, a formula assessing dephasing time with lattice temperature is proposed to identify the timescale of electron-phonon scattering. This work paves a way to study non-Born-Oppenheimer effect in solids driven by strong field.


title: Regularization by random translation of potentials for the continuous PAM and related models in arbitrary dimension

abstract: We study a regularization by noise phenomenon for the continuous parabolic Anderson model with a potential shifted along paths of fractional Brownian motion. We demonstrate that provided the Hurst parameter is chosen sufficiently small, this shift allows to establish well-posedness and stability to the corresponding problem - without the need of renormalization - in any dimension. We moreover provide a robustified Feynman-Kac type formula for the unique solution to the regularized problem building upon regularity estimates for the local time of fractional Brownian motion as well as non-linear Young integration.


title: Don't Throw it Away! The Utility of Unlabeled Data in Fair Decision Making

abstract: Decision making algorithms, in practice, are often trained on data that exhibits a variety of biases. Decision-makers often aim to take decisions based on some ground-truth target that is assumed or expected to be unbiased, i.e., equally distributed across socially salient groups. In many practical settings, the ground-truth cannot be directly observed, and instead, we have to rely on a biased proxy measure of the ground-truth, i.e., biased labels, in the data. In addition, data is often selectively labeled, i.e., even the biased labels are only observed for a small fraction of the data that received a positive decision. To overcome label and selection biases, recent work proposes to learn stochastic, exploring decision policies via i) online training of new policies at each time-step and ii) enforcing fairness as a constraint on performance. However, the existing approach uses only labeled data, disregarding a large amount of unlabeled data, and thereby suffers from high instability and variance in the learned decision policies at different times. In this paper, we propose a novel method based on a variational autoencoder for practical fair decision-making. Our method learns an unbiased data representation leveraging both labeled and unlabeled data and uses the representations to learn a policy in an online process. Using synthetic data, we empirically validate that our method converges to the optimal (fair) policy according to the ground-truth with low variance. In real-world experiments, we further show that our training approach not only offers a more stable learning process but also yields policies with higher fairness as well as utility than previous approaches.


title: Construction of a photon position operator with commuting components from natural axioms

abstract: A general form of the photon position operator with commuting components fulfilling some natural axioms is obtained. This operator commutes with the photon helicity operator, is Hermitian with respect to the Bialynicki-Birula scalar product and defined up to a unitary transformation preserving the transversality condition. It is shown that, using the procedure analogous to the one introduced by T. T. Wu and C. N. Yang for the case of the Dirac magnetic monopole, the photon position operator can be defined by a flat connection in some trivial vector bundle over $\mathbb{R}^3 \setminus \{(0,0,0)\}$. This observation enables us to reformulate quantum mechanics of a~single photon on $(\mathbb{R}^{3} \setminus \{(0,0,0)\}) \times \mathbb{C}^2$.


title: Neural Networks with Different Initialization Methods for Depression Detection

abstract: As a common mental disorder, depression is a leading cause of various diseases worldwide. Early detection and treatment of depression can dramatically promote remission and prevent relapse. However, conventional ways of depression diagnosis require considerable human effort and cause economic burden, while still being prone to misdiagnosis. On the other hand, recent studies report that physical characteristics are major contributors to the diagnosis of depression, which inspires us to mine the internal relationship by neural networks instead of relying on clinical experiences. In this paper, neural networks are constructed to predict depression from physical characteristics. Two initialization methods are examined - Xaiver and Kaiming initialization. Experimental results show that a 3-layers neural network with Kaiming initialization achieves $83\%$ accuracy.


title: Serre functors of residual categories via hybrid models

abstract: In this short note we observe that the Serre functor on the residual category of a complete intersection can be easily described in the framework of hybrid models. Using this description we recover some recent results of Kuznetsov and Perry.


title: Notes on the Chernoff estimate

abstract: The purpose of the present notes is to examine the following issues related to the the Chernoff estimate: (1) For contractions on a Banach space we modify the $\sqrt{n}$-estimate and apply it in the proof of the Chernoff product formula for $C_0$-semigroups in the \textit{strong} operator topology. (2) We use the idea of a {probabilistic} approach, proving the Chernoff estimate in the strong operator topology, to uplift it to the \textit{operator-norm} estimate for \textit{quasi-sectorial} contraction semigroups. (3) The operator-norm Chernoff estimate is applied to {quasi-sectorial} contraction semigroups for proving the operator-norm convergence of the \textit{Dunford-Segal} approximants.


title: Non-hermitian off-diagonal magnetic response of Dirac fermions

abstract: We perform a comparative study for the magnetization dynamics within linear response theory of one and two dimensional massive Dirac electrons, after switching on either a real (hermitian) or an imaginary (non-hermitian) magnetic field. While hermitian dc magnetic fields polarize the spins in the direction of the external magnetic field, non-hermitian magnetic fields induce only off diagonal response. An imaginary dc magnetic field perpendicular to the mass term induces finite magnetization in the third direction only according to the right hand rule. This can be understood by analyzing the non-hermitian equation of motion of the spin, which becomes analogous to a classical particle in crossed electric and magnetic fields. Therein, the spin expectation value, the mass term and imaginary magnetic field play the role of the classical momentum, magnetic and electric field, respectively. The latter two create a drift velocity perpendicular to them, which gives rise to the off-diagonal component of the dc spin susceptibility, similarly to how the Hall effect develops in the classical description.


title: Efficient Learning of Inverse Dynamics Models for Adaptive Computed Torque Control

abstract: Modelling robot dynamics accurately is essential for control, motion optimisation and safe human-robot collaboration. Given the complexity of modern robotic systems, dynamics modelling remains non-trivial, mostly in the presence of compliant actuators, mechanical inaccuracies, friction and sensor noise. Recent efforts have focused on utilising data-driven methods such as Gaussian processes and neural networks to overcome these challenges, as they are capable of capturing these dynamics without requiring extensive knowledge beforehand. While Gaussian processes have shown to be an effective method for learning robotic dynamics with the ability to also represent the uncertainty in the learned model through its variance, they come at a cost of cubic time complexity rather than linear, as is the case for deep neural networks. In this work, we leverage the use of deep kernel models, which combine the computational efficiency of deep learning with the non-parametric flexibility of kernel methods (Gaussian processes), with the overarching goal of realising an accurate probabilistic framework for uncertainty quantification. Through using the predicted variance, we adapt the feedback gains as more accurate models are learned, leading to low-gain control without compromising tracking accuracy. Using simulated and real data recorded from a seven degree-of-freedom robotic manipulator, we illustrate how using stochastic variational inference with deep kernel models increases compliance in the computed torque controller, and retains tracking accuracy. We empirically show how our model outperforms current state-of-the-art methods with prediction uncertainty for online inverse dynamics model learning, and solidify its adaptation and generalisation capabilities across different setups.


title: State Encoders in Reinforcement Learning for Recommendation: A Reproducibility Study

abstract: Methods for reinforcement learning for recommendation (RL4Rec) are increasingly receiving attention as they can quickly adapt to user feedback. A typical RL4Rec framework consists of (1) a state encoder to encode the state that stores the users' historical interactions, and (2) an RL method to take actions and observe rewards. Prior work compared four state encoders in an environment where user feedback is simulated based on real-world logged user data. An attention-based state encoder was found to be the optimal choice as it reached the highest performance. However, this finding is limited to the actor-critic method, four state encoders, and evaluation-simulators that do not debias logged user data. In response to these shortcomings, we reproduce and expand on the existing comparison of attention-based state encoders (1) in the publicly available debiased RL4Rec SOFA simulator with (2) a different RL method, (3) more state encoders, and (4) a different dataset. Importantly, our experimental results indicate that existing findings do not generalize to the debiased SOFA simulator generated from a different dataset and a Deep Q-Network (DQN)-based method when compared with more state encoders.


title: Non-reciprocal Exciton-Polariton Ring Lattices

abstract: Recent experiments have shown the transfer of orbital angular momentum (OAM) from a non-resonant laser onto an exciton-polariton condensate, despite earlier views that the phase information of such a laser should be lost during the process of polariton condensation. We study with a phenomenological theory the interplay of a usual angular momentum independent gain and an angular momentum preserving gain. We find that even when the latter is much smaller, it is enough to favour condensation into a given orbital angular momentum state. This further allows a breaking of symmetry in the system, which further manifests in non-reciprocal one-way propagation in a lattice of coupled rings. Even though we consider only Hermitian reciprocal coupling between rings, the local non-Hermiticity generates an effective non-reciprocal coupling and supports a non-Hermitian topological invariant (winding number) associated to a non-Hermitian skin effect.


title: Designing a Recurrent Neural Network to Learn a Motion Planner for High-Dimensional Inputs

abstract: The use of machine learning in the self-driving industry has boosted a number of recent advancements. In particular, the usage of large deep learning models in the perception and prediction stack have proved quite successful, but there still lacks significant literature on the use of machine learning in the planning stack. The current state of the art in the planning stack often relies on fast constrained optimization or rule-based approaches. Both of these techniques fail to address a significant number of fundamental problems that would allow the vehicle to operate more similarly to that of human drivers. In this paper, we attempt to design a basic deep learning system to approach this problem. Furthermore, the main underlying goal of this paper is to demonstrate the potential uses of machine learning in the planning stack for autonomous vehicles (AV) and provide a baseline work for ongoing and future research.


title: Non-Isometric Shape Matching via Functional Maps on Landmark-Adapted Bases

abstract: We propose a principled approach for non-isometric landmark-preserving non-rigid shape matching. Our method is based on the functional maps framework, but rather than promoting isometries we focus instead on near-conformal maps that preserve landmarks exactly. We achieve this, first, by introducing a novel landmark-adapted basis using an intrinsic Dirichlet-Steklov eigenproblem. Second, we establish the functional decomposition of conformal maps expressed in this basis. Finally, we formulate a conformally-invariant energy that promotes high-quality landmark-preserving maps, and show how it can be solved via a variant of the recently proposed ZoomOut method that we extend to our setting. Our method is descriptor-free, efficient and robust to significant mesh variability. We evaluate our approach on a range of benchmark datasets and demonstrate state-of-the-art performance on non-isometric benchmarks and near state-of-the-art performance on isometric ones.


title: Deconfinement phase transition and quark condensate in compact stars

abstract: We investigate systematically the possible deconfinement phase transition from nuclear matter to quark matter in compact stars. The properties of nuclear matter are fixed by expanding its binding energy to the order of $\rho^3$, while those of quark matter are predicted by an equivparticle model. The Maxwell construction is then applied for the quark-hadron mixed phase. By confronting compact star structures with pulsar observations, we obtain several EOSs that are compatible with the latest observations while supporting quark cores inside the most massive stars. It is found that the quark core is rather small and does not emerge for compact stars with $M\lesssim 2M_\odot$. The in-medium quark condensate of the stellar matter in those stars are then extracted within the framework of an equivparticle model, which decreases nonlinearly with density. At larger densities with pure quark matter, the quark condensate is still large and does not necessary decrease with density, indicating significant nonperturbative contributions within the density regions covered by compact stars.


title: Vibration-based communication for deafblind people

abstract: Deafblind people have both hearing and visual impairments, which makes communication with other people often dependent on expensive technologies e.g., Braille displays, or on caregivers acting as interpreters. This paper presents Morse I/O (MIO), a vibrotactile interface for Android, evaluated through experiments and interviews with deafblind participants. MIO was shown to enable consistent text entry and recognition after only a few hours of practice. The participants were willing to continue using the interface, although there were perceived difficulties in learning to use it. Overall, MIO is a cost-effective, portable interface for deafblind people without access to Braille displays or similar.


title: Nonintegrability of time-periodic perturbations of single-degree-of-freedom Hamiltonian systems near homo- and heteroclinic orbits

abstract: We consider time-periodic perturbations of single-degree-of-freedom Hamiltonian systems and study their real-meromorphic nonintegrability in the Bogoyavlenskij sense using a generalized version due to Ayoul and Zung of the Morales-Ramis theory. The perturbation terms are assumed to have finite Fourier series in time, and the perturbed systems are rewritten as higher-dimensional autonomous systems having the small parameter as a state variable.We show that if the Melnikov functions are not constant, then the autonomous systems are not real-meromorphically integrable near homo- and heteroclinic orbits. Our result is not just an extension of previous results for homocliic orbits to heteroclinic orbits and provides a stronger conclusion than them for the case of homoclinic orbits. We illustrate the theory for two periodically forced Duffing oscillators and a periodically forced two-dimensional system.


title: Dynamic skin effects in non-Hermitian systems

abstract: We study the time evolution processes of non-Hermitian systems under the open boundary condition and confirm that the dynamical skin effect exists in non-Hermitian systems analytically, and unveil the mechanism of its formation, which is caused by both the non-Hermitian skin effect and the Hermitian wave packet spreading. Furthermore, we find that in contrast to the uniform speed motion in Hermitian situations, the Gaussian wave packet can be accelerated and amplified during its time evolution in non-Hermitian systems. This additional motion is found to be responsible for the dynamic skin effect.

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas physics.optics


title: Weisfeiler-Leman Invariant Promise Valued CSPs

abstract: In a recent line of work, Butti and Dalmau have shown that a fixed-template Constraint Satisfaction Problem is solvable by a certain natural linear programming relaxation (equivalent to the basic linear programming relaxation) if and only if it is solvable on a certain distributed network, and this happens if and only if its set of Yes instances is closed under Weisfeiler-Leman equivalence. We generalize this result to the much broader framework of fixed-template Promise Valued Constraint Satisfaction Problems. Moreover, we show that two commonly used linear programming relaxations are no longer equivalent in this broader framework.


title: Fixed-point iterations for several dissimilarity measure barycenters in the Gaussian case

abstract: In target tracking and sensor fusion contexts it is not unusual to deal with a large number of Gaussian densities that encode the available information (multiple hypotheses), as in applications where many sensors, affected by clutter or multimodal noise, take measurements on the same scene. In such cases reduction procedures must be implemented, with the purpose of limiting the computational load. In some situations it is required to fuse all available information into a single hypothesis, and this is usually done by computing the barycenter of the set. However, such computation strongly depends on the chosen dissimilarity measure, and most often it must be performed making use of numerical methods, since in very few cases the barycenter can be computed analytically. Some issues, like the constraint on the covariance, that must be symmetric and positive definite, make it hard the numerical computation of the barycenter of a set of Gaussians. In this work, Fixed-Point Iterations (FPI) are presented for the computation of barycenters according to several dissimilarity measures, making up a useful toolbox for fusion/reduction of Gaussian sets in applications where specific dissimilarity measures are required.


title: Operator-norm Trotter product formula on Banach spaces

abstract: In this paper we collect results concerning the {operator-norm} convergent {Trotter} product formula for two semigroups $\{\e^{- t A}\}_{t\geq 0}$, $\{\e^{- t B}\}_{t\geq 0}$, with densely defined generators $A$ and $B$ in a {Banach} space. Although the {strong} convergence in Banach space for contraction semigroups is known since the seminal paper by Trotter (1959), which after more than three decades was extended to convergence in the {operator-norm} topology in {Hilbert} spaces by Rogava (1993), the {operator-norm} convergence in a {Banach} space was established only in (2001).


title: Modeling transient resonances in extreme-mass-ratio inspirals

abstract: Extreme-mass-ratio inspirals are one of the most exciting and promising target sources for space-based interferometers (such as LISA, TianQin). The observation of their emitted gravitational waves will offer stringent tests on general theory of relativity, and provide a wealth of information about the dense environment in galactic centers. To unlock such potential, it is necessary to correctly characterize EMRI signals. However, resonances are a phenomena that occurs in EMRI systems and can impact parameter inference, and therefore the science outcome, if not properly modeled. Here, we explore how to model resonances and develop an efficient implementation. Our previous work has demonstrated that tidal resonances induced by the tidal field of a nearby astrophysical object alters the orbital evolution, leading to a significant dephasing across observable parameter space. Here, we extensively explore a more generic model for the tidal perturber with additional resonance combinations, to study the dependence of resonance strength on the intrinsic orbital and tidal parameters. To analyze the resonant signals, accurate templates that correctly incorporate the effects of the tidal field are required. The evolution through resonances is obtained using a step function, whose amplitude is calculated using an analytic interpolation of the resonance jumps. We benchmark this procedure by comparing our approximate method to a numerical evolution. We find that there is no significant error caused by this simplified prescription, as far as the astronomically reasonable range in the parameter space is concerned. Further, we use Fisher matrices to study both the measurement precision of parameters and the systematic bias due to inaccurate modeling. Modeling of self-force resonances can also be carried out using the implementation presented in this study, which will be crucial for EMRI waveform modeling.


title: Luminosities and energies of $e^+e^-$ collision data taken between $\sqrt{s}$=4.612 GeV and 4.946 GeV at BESIII

abstract: From December 2019 to June 2021, the BESIII experiment collected about 5.85 fb$^{-1}$ of data at center-of-mass energies between 4.61 GeV and 4.95 GeV. This is the highest collision energy BEPCII has reached so far. The accumulated $e^+e^-$ annihilation data samples are useful for studying charmonium(-like) states and charmed-hadron decays. By adopting a novel method of analyzing the production of $\Lambda_{c}^{+}\bar{\Lambda}_{c}^{-}$ pairs in $e^+e^-$ annihilation, the center-of-mass energies are measured with a precision of $\sim$0.6 MeV. Integrated luminosities are measured with a precision of better than 1\% by analyzing the events of large-angle Bhabha scattering. These measurements provide important inputs to the analyses based on these data samples.


title: The Importance of Context in Very Low Resource Language Modeling

abstract: This paper investigates very low resource language model pretraining, when less than 100 thousand sentences are available. We find that, in very low resource scenarios, statistical n-gram language models outperform state-of-the-art neural models. Our experiments show that this is mainly due to the focus of the former on a local context. As such, we introduce three methods to improve a neural model's performance in the low-resource setting, finding that limiting the model's self-attention is the most effective one, improving on downstream tasks such as NLI and POS tagging by up to 5% for the languages we test on: English, Hindi, and Turkish.


title: An example of $A_2$ Rogers-Ramanujan bipartition identities of level 3

abstract: We give manifestly positive Andrews-Gordon type series for the level 3 standard modules of the affine Lie algebra of type $A^{(1)}_2$. We also give corresponding bipartition identities which have representation theoretic interpretations via the vertex operators. Our proof is based on the Bordin product formula and the Corteel-Welsh recursion for the cylindric partitions, a $q$-version of Sister Celine's technique and a generalization of Andrews' partition ideals by finite automata due to Takigiku and the author.


title: The Impact of Partial Occlusion on Pedestrian Detectability

abstract: Robust detection of vulnerable road users is a safety critical requirement for the deployment of autonomous vehicles in heterogeneous traffic. One of the most complex outstanding challenges is that of partial occlusion where a target object is only partially available to the sensor due to obstruction by another foreground object. A number of leading pedestrian detection benchmarks provide annotation for partial occlusion, however each benchmark varies greatly in their definition of the occurrence and severity of occlusion. Recent research demonstrates that a high degree of subjectivity is used to classify occlusion level in these cases and occlusion is typically categorized into 2 to 3 broad categories such as partially and heavily occluded. This can lead to inaccurate or inconsistent reporting of pedestrian detection model performance depending on which benchmark is used. This research introduces a novel, objective benchmark for partially occluded pedestrian detection to facilitate the objective characterization of pedestrian detection models. Characterization is carried out on seven popular pedestrian detection models for a range of occlusion levels from 0-99%, in order to demonstrate the efficacy and increased analysis capabilities of the proposed characterization method. Results demonstrate that pedestrian detection performance degrades, and the number of false negative detections increase as pedestrian occlusion level increases. Of the seven popular pedestrian detection routines characterized, CenterNet has the greatest overall performance, followed by SSDlite. RetinaNet has the lowest overall detection performance across the range of occlusion levels.


title: Relationship between Climate and Famine from 1250 to 1350 in Central Italy

abstract: This study aims to present an overview of how climate change brought about by events such as earthquakes, volcanic eruptions, flares and variations in solar activity, etc. have characterized the area of central Italy, analyzing and comparing astronomical, geological, meteorological, seismological, historical and climatic data, taking as reference some specific locations in the period between 1250 and 1350. The ultimate goal is to understand how long-term climatic and geological events in this geographical area have changed the territory both from a natural and anthropic point of view, leading to highlight the occurrence of extreme events such as wave of plague of the period 1347-1351. The analysis is performed using a statistical-historical approach and particular attention is paid to minimize any effect due to the error in the event of a lack of data.


title: Amplitude controlled electromagnetic pulse switching using waveguide junctions for high-speed computing processes

abstract: Performing computational tasks with wave-based devices is becoming a groundbreaking paradigm that can open new opportunities for the next generation of efficient analogue and digital computing systems. Decision-making processes for switching and routing of signal is fundamental for computing as it enables the transfer of information from one to many (or single) blocks within a system. Here, we propose and demonstrate a technique for the design of pulse-based switching devices for the computing of fundamental decision-making processes. In our technique, we encode information from multiple channels as transverse electromagnetic (TEM) pulses of varying amplitudes and polarities propagating through interconnected parallel plate waveguides modelled as simple transmission lines. An in-depth description of our technique is presented showing how switching and routing of information can be engineered by correctly exploiting the linear splitting and superposition of multiple pulses traveling through waveguide junctions. To demonstrate the potential of our technique for computing, we develop two devices: a comparator which can calculate the largest value between two real-valued numbers and a pulse director which exploits the reciprocity of waveguide junctions to create a similar yet different performance of a traditional AND gate (emulating its performance via our analogue linear system). These findings may open new pathways and possibilities for high-speed electromagnetic pulse-based computing systems.


title: Polarimetric investigation of selected cloud compositions in exoplanetary atmospheres

abstract: We investigated the impact of selected cloud condensates in exoplanetary atmospheres on the polarization of scattered stellar radiation. We considered a selection of 25 cloud condensates that are expected to be present in extrasolar planetary atmospheres. Using the three-dimensional Monte Carlo radiative transfer code POLARIS and assuming Mie scattering theory, we calculated and studied the net polarization of scattered radiation as a function of planetary phase angle at optical to near-infrared wavelengths. In addition to the well-known characteristics in the state of polarization, such as the rainbow determined by the real part of the refractive index, the behavior of the underlying imaginary part of the refractive index causes an increase or decrease in the degree of polarization and a change of sign in the polarization at a characteristic wavelength. In contrast to Al$_2$O$_3$ and MgFeSiO$_4$, clouds composed of SiO, MnS, Na$_2$S, or ZnS produce a rapidly decreasing degree of polarization with increasing wavelength in the context of an exoplanetary atmosphere. Furthermore, the sign of the polarization changes at a wavelength of about 0.5 $\mu$m to 0.6 $\mu$m, depending on the specific cloud condensate. The resulting net polarization is mainly positive for cloud compositions with large imaginary parts of the refractive index, such as Fe, FeS, and FeO. In addition, for Fe and FeS clouds, the maximum degree of polarization at long wavelengths is shifted to larger phase angles than for FeO. We found that most of these cloud condensates are distinguishable from each other due to their unique wavelength-dependent complex refractive index. In particular, an increase or decrease of the net polarization as a function of wavelength and a change of sign in the polarization at specific wavelengths are important features for characterizing cloud compositions in exoplanetary atmospheres.


title: Reconstruction Enhanced Multi-View Contrastive Learning for Anomaly Detection on Attributed Networks

abstract: Detecting abnormal nodes from attributed networks is of great importance in many real applications, such as financial fraud detection and cyber security. This task is challenging due to both the complex interactions between the anomalous nodes with other counterparts and their inconsistency in terms of attributes. This paper proposes a self-supervised learning framework that jointly optimizes a multi-view contrastive learning-based module and an attribute reconstruction-based module to more accurately detect anomalies on attributed networks. Specifically, two contrastive learning views are firstly established, which allow the model to better encode rich local and global information related to the abnormality. Motivated by the attribute consistency principle between neighboring nodes, a masked autoencoder-based reconstruction module is also introduced to identify the nodes which have large reconstruction errors, then are regarded as anomalies. Finally, the two complementary modules are integrated for more accurately detecting the anomalous nodes. Extensive experiments conducted on five benchmark datasets show our model outperforms current state-of-the-art models.


title: Trisections obtained by trivially regluing surface-knots

abstract: Let $S$ be a $P^2$-knot which is the connected sum of a 2-knot with normal Euler number 0 and an unknotted $P^2$-knot with normal Euler number $\pm2$ in a closed 4-manifold $X$ with trisection $T_{X}$. Then, we show that the trisection of $X$ obtained by the trivial gluing relative trisections of $\overline{\nu(S)}$ and $X-\nu(S)$ is diffeomorphic to a stabilization of $T_{X}$. It should be noted that this result is not obvious since boundary-stabilizations introduced by Kim and Miller are used to construct a relative trisection of $X-\nu(S)$. As a corollary, if $X=S^4$, the resulting trisection is diffeomorphic to a stabilization of the genus 0 trisection of $S^4$. This result is related to the conjecture that is a 4-dimensional analogue of Waldhausen's theorem on Heegaard splittings.


title: A Feynman integral depending on two elliptic curves

abstract: We study a two-loop four-point function with one internal mass. This Feynman integral is one of the simplest Feynman integrals depending on two elliptic curves. We transform the associated differential equation into an $\varepsilon$-form. We study the entries of the differential equation, and in particular the entries which depend on both elliptic curves.


abstract: In this paper, the process of converting the Enron email dataset (the version cited in the preprint) to thousands of features per email for a selected set of 2400 labelled emails is explained and evaluated. The final features are tailored for Cosine distance so that the Cosine distance invertly reflect the number of top indicative words of each email that are common between the two emails in an explainable normalized fashion. The labelling is based on the leaf folder name in the Enron email dataset (the version cited in the preprint) folders tree and the 2400 emails selected consist 300 emails for each of the 8 labels. The evaluation is based on the accuracy of a k nearest neighbours majority voting classification using Cosine distance. In addition to KNN majority voting classification accuracy and confusion matrix, some statistics for the process is reported. The KNN majority voting classification accuracy using Cosine distance is 76.75% which shows at least some level of success given the 8 labels involved. The result of conversion is 48557 features per selected email out of which exactly 40 features per email are non-zero. The result of conversion is a data set named MeeefTCD (Massive Enhanced Extracted Email Features Tailored for Cosine Distance) available at https://web.cs.dal.ca/~barahimi/data-sets/meeeftcd/ and on a github repository mentioned in this paper.


title: Bridging the prosody GAP: Genetic Algorithm with People to efficiently sample emotional prosody

abstract: The human voice effectively communicates a range of emotions with nuanced variations in acoustics. Existing emotional speech corpora are limited in that they are either (a) highly curated to induce specific emotions with predefined categories that may not capture the full extent of emotional experiences, or (b) entangled in their semantic and prosodic cues, limiting the ability to study these cues separately. To overcome this challenge, we propose a new approach called 'Genetic Algorithm with People' (GAP), which integrates human decision and production into a genetic algorithm. In our design, we allow creators and raters to jointly optimize the emotional prosody over generations. We demonstrate that GAP can efficiently sample from the emotional speech space and capture a broad range of emotions, and show comparable results to state-of-the-art emotional speech corpora. GAP is language-independent and supports large crowd-sourcing, thus can support future large-scale cross-cultural research.


title: Self-supervised regression learning using domain knowledge: Applications to improving self-supervised denoising in imaging

abstract: Regression that predicts continuous quantity is a central part of applications using computational imaging and computer vision technologies. Yet, studying and understanding self-supervised learning for regression tasks - except for a particular regression task, image denoising - have lagged behind. This paper proposes a general self-supervised regression learning (SSRL) framework that enables learning regression neural networks with only input data (but without ground-truth target data), by using a designable pseudo-predictor that encapsulates domain knowledge of a specific application. The paper underlines the importance of using domain knowledge by showing that under different settings, the better pseudo-predictor can lead properties of SSRL closer to those of ordinary supervised learning. Numerical experiments for low-dose computational tomography denoising and camera image denoising demonstrate that proposed SSRL significantly improves the denoising quality over several existing self-supervised denoising methods.


title: A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)

abstract: The semantics of probabilistic languages has been extensively studied, but specification languages for their properties have received little attention. This paper introduces the probabilistic dynamic logic pDL, a specification logic for programs in the probabilistic guarded command language (pGCL) of McIver and Morgan. The proposed logic pDL can express both first-order state properties and probabilistic reachability properties, addressing both the non-deterministic and probabilistic choice operators of pGCL. In order to precisely explain the meaning of specifications, we formally define the satisfaction relation for pDL. Since pDL embeds pGCL programs in its box-modality operator, pDL satisfiability builds on a formal MDP semantics for pGCL programs. The satisfaction relation is modeled after PCTL, but extended from propositional to first-order setting of dynamic logic, and also embedding program fragments. We study basic properties of pDL, such as weakening and distribution, that can support reasoning systems. Finally, we demonstrate the use of pDL to reason about program behavior.


title: Modelling O-star astrospheres with different relative speeds between the ISM and the star: 2D and 3D MHD model comparison

abstract: Context. State of the art simulations of astrospheres are modelled using three-dimensional (3D) magnetohydrodynamics (MHD). An astrospheric interaction of a stellar wind (SW) with its surrounding interstellar medium (ISM) can only generate a bow shock if the speed of the interstellar inflow is higher than the fast magnetosonic speed. Aims. The differences of astrospheres at differing speeds of the ISM inflow are investigated, and the necessity of the third dimension in modelling is evaluated. Methods. The model astrosphere of the runaway O-star $\lambda$ Cephei is computed in both two- and three-dimensional MHD at four different ISM inflow speeds, one of which is barely faster (superfast) and one of which is slower (subfast) than the fast magnetosonic speed. Results. The two-dimensional (2D) and 3D models of astrospheres with ISM inflow speeds considerably higher than the fast magnetosonic speed are in good agreement. However, in 2D models, where no realistic SW magnetic field can be modelled, the downwind structures of the astrospheres vacillate. Models where hydrodynamic effects are not clearly dominant over the magnetic field show asymmetries, thus necessitating a 3D approach. The physical times of simulations of astrospheres with slow ISM inflows can swiftly exceed the lifetime of the corresponding star. A hitherto unobserved structure has been found downwind of the astrotail in the subfast 3D model.


title: Heavier $W$ boson, dark matter and gravitational waves from strings in an $SO(10)$ axion model

abstract: Inspired by the recent determination of the $W$-boson mass by the CDF collaboration, we revisit an $SO(10)$ axion model in which a scalar $SU(2)_L$ triplet field with zero hypercharge is known to acquire a non-zero VEV through its mixing with the Standard Model Higgs doublet. The triplet VEV provides a sizable contribution to the $W$ mass, which helps in significantly lowering the $7\sigma$ discrepancy between the Standard Model prediction and the higher CDF value for $m_W$. We show that the relatively light triplet mass ($\sim (1-50)$ TeV) is compatible with gauge coupling unification and observable proton decay. An unbroken $Z_2$ gauge symmetry, coupled with the presence of two fermionic $10$-plets required to resolve the axion domain wall problem, means that both axions and a stable intermediate mass ($\sim 10^9-10^{10}$ GeV) fermion are plausible dark matter candidates. We also display the gravitational wave spectrum from the intermediate scale topologically stable cosmic strings predicted by the model.


title: Super connected direct product of graphs and cycles

abstract: The topology of an interconnection network can be modeled by a graph $G=(V(G),E(G))$. The connectivity of graph $G$ is a parameter to measure the reliability of corresponding network. Direct product is one important graph product. This paper mainly focuses on the super connectedness of direct product of graphs and cycles. The connectivity of $G$, denoted by $\kappa(G)$, is the size of a minimum vertex set $S\subseteq V(G)$ such that $G-S$ is not connected or has only one vertex. The graph $G$ is said to be super connected, simply super-$\kappa$, if every minimum vertex cut is the neighborhood of a vertex with minimum degree. The direct product of two graphs $G$ and $H$, denoted by $G\times H$, is the graph with vertex set $V(G \times H) = V (G)\times V (H)$ and edge set $E(G \times H) = \{(u_{1} ,v_{1} )(u_{2} ,v_{2} )|\ u_{1}u_{2} \in E(G), v_{1}v_{2} \in E(H)\}$. In this paper, we give some sufficient conditions for direct product $G\times C_{n}$ to be super connected, where $C_{n}$ is the cycle on $n$ vertices. Furthermore, those sufficient conditions are best possible.


title: Accretion of the Vlasov gas onto a Schwarzschild-like black hole

abstract: We consider spherical steady accretion of the relativistic Vlasov gas onto a Schwarzschild-like black hole. We determine the expressions for the particle current density and accretion rate and present the limiting expressions for the mass accretion rate at high and low temperature. The results show that the parameter characterizing the breaking of Lorentz symmetry can affects the radial component of the particle current density and the mass accretion rate.


title: Probabilistic and Non-Deterministic Event Data in Process Mining: Embedding Uncertainty in Process Analysis Techniques

abstract: Process mining is a subfield of process science that analyzes event data collected in databases called event logs. Recently, novel types of event data have become of interest due to the wide industrial application of process mining analyses. In this paper, we examine uncertain event data. Such data contain meta-attributes describing the amount of imprecision tied with attributes recorded in an event log. We provide examples of uncertain event data, present the state of the art in regard of uncertainty in process mining, and illustrate open challenges related to this research direction.


title: Voltage control of the quantum scattering time in InAs/GaSb/InAs trilayer quantum wells

abstract: We study the evolution of the quantum scattering time by gate voltage training in the topological insulator based on InAs/GaSb/InAs trilayer quantum wells. Depending on the minimal gate voltage applied during a gate voltage sweep cycle, the quantum scattering time can be improved by 50 % from 0.08 ps to 0.12 ps albeit the transport scattering time is rather constant around 1.0 ps. The ratio of the quantum scattering time versus transport scattering time scales linearly with the charge carrier density and varies from 10 to 30, indicating Coulombic scattering as the dominant scattering mechanism. Our findings may enable to improve the residual bulk conductivity issue and help in observing helical edge channels in topological insulators based on InAs/GaSb quantum well heterostructures even for macroscopic devices.


title: Software tool-set for automated quantum system identification and device bring up

abstract: We present a software tool-set which combines the theoretical, optimal control view of quantum devices with the practical operation and characterization tasks required for quantum computing. In the same framework, we perform model-based simulations to create control schemes, calibrate these controls in a closed-loop with the device (or in this demo - by emulating the experimental process) and finally improve the system model through minimization of the mismatch between simulation and experiment, resulting in a digital twin of the device. The model based simulator is implemented using TensorFlow, for numeric efficiency, scalability and to make use of automatic differentiation, which enables gradient-based optimization for arbitrary models and control schemes. Optimizations are carried out with a collection of state-of-the-art algorithms originated in the field of machine learning. All of this comes with a user-friendly Qiskit interface, which allows end-users to easily simulate their quantum circuits on a high-fidelity differentiable physics simulator.


title: Political Propagation of Social Botnets: Policy Consequences

abstract: The 2016 US election was a watershed event where an electoral intervention by an adversarial state made extensive use of networks of software robots and data driven communications which transformed the interference into a goal driven functionality of man-machine collaboration. Reviewing the debates post the debacle, we reflect upon the policy consequences of the use of Social Botnets and understand the impact of their adversarial operation in terms of catalysing institutional decay, growing infrastructural anxieties, increased industry regulations, more vulnerable Individuals and more distorted ideas, and most importantly, the emergence of an unintended constituency in form of the bot agency itself. The article first briefly introduces the nature and evolution of Social Botnets, and then moves over to discussing the policy consequences. For future work, it is important to understand the agency and collective properties of these software robots, in order to design the institutional and socio-technical mechanisms which mitigate the risk of adversarial social engineering using these bots from interfering into democratic processes.


title: An Engineer's Nightmare: 102 Years of Critical Robotics

abstract: A critical and re-configured HRI might look to the arts, where another history of robots has been unfolding since the Czech artist Karel Capek's critical robotic labor parable of 1921, in which the word robot was coined in its modern usage. This paper explores several vectors by which artist-created robots, both physical and imaginary, have offered pronounced contrasts to robots-as-usual, and offers directions as to how these more emancipated cousins might be useful to the field of HRI.


title: Single-spike solutions to the 1D shadow Gierer-Meinhardt problem

abstract: A fundamental example of reaction-diffusion system exhibiting Turing type pattern formation is the Gierer-Meinhardt system, which reduces to the shadow Gierer-Meinhardt problem in a suitable singular limit. Thanks to its applicability in a large range of biological applications, this singularly perturbed problem has been widely studied in the last few decades via rigorous, asymptotic, and numerical methods. However, standard matched asymptotics methods do not apply (Ni 1998, Wei 1998), and therefore analytical expressions for single spike solutions are generally lacking. By introducing an ansatz based on generalized hyperbolic functions, we determine exact radially symmetric solutions to the one-dimensional shadow Gierer-Meinhardt problem for any $1 < p < \infty$, representing both inner and boundary spike solutions depending on the location of the peak. Our approach not only confirms numerical results existing in literature, but also provides guidance for tackling extensions of the shadow Gierer-Meinhardt problem based on different boundary conditions (e.g. mixed) and/or $n$-dimensional domains.


title: Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns

abstract: We present an approach to analyzing the safety of asynchronous, independent, non-deterministic, turn-to-bearing horizontal maneuvers for two vehicles. Future turn rates, final bearings, and continuously varying ground speeds throughout the encounter are unknown but restricted to known ranges. We develop a library of formal proofs about turning kinematics, and apply the library to create a formally verified timing computation. Additionally, we create a technique that evaluates future collision possibilities that is based on waves of position possibilities and relies on the timing computation. The result either determines that the encounter will be collision-free, or computes a safe overapproximation for when and where collisions may occur.


title: Cognitive Visual-learning Environment for PostgreSQL

abstract: PostgreSQL is an object-relational database (ORDBMS) that was introduced into the database community and has been avidly used for a variety of information extraction use cases. It is also known to be an advanced SQL-compliant open source Object RDBMS. However, users have not yet resolved to PostgreSQL due to the fact that it is still under the layers and the complexity of its persistent textual environment for an amateur user. Hence, there is a dire need to provide an easy environment for users to comprehend the procedure and standards with which databases are created, tables and the relationships among them, manipulating queries and their flow based on conditions in PostgreSQL. As such, this project identifies the dominant features offered by Postgresql, analyzes the constraints that exist in the database user community in migrating to PostgreSQL and based on the scope and constraints identified, develop a system that will serve as a query generation platform as well as a learning tool that will provide an interactive environment to cognitively learn PostgreSQL query building. This is achieved using a visual editor incorporating a textual editor for a well-versed user. By providing visually-draggable query components to work with, this research aims to offer a cognitive, visual and tactile environment where users can interactively learn PostgreSQL query generation.


title: Do eddies connect the tropical Atlantic Ocean and the Gulf of Mexico?

abstract: Consistent with satellite-tracked trajectories of drogued drifters, but at odds with Eulerian assessment of satellite-altimetry measurements of sea-surface height, we show that North Brazil Currents Rings (NBCRs) are incapable of bypassing the Lesser Antilles as structures that coherently transport material. The nature of the inability of the de-facto oceanographic Eulerian, streamline-based eddy detection technique to produce a correct assessment is rooted in its lack of objectivity. We arrive at this conclusion by applying \emph{geodesic eddy detection} on the altimetric dataset over nearly its entire extent. While we detect northwestward translating NBCRs that can be classified as coherent Lagrangian eddies, they typically experience strong filamentation and complete loss of coherence prior to reaching the Lesser Antilles. Moreover, the filamented material hardly penetrates into the Caribbean Sea, let alone the Gulf of Mexico, and not without substantively mixing with the ambient fluid east of the archipelago.


title: Analytic model for photometric variation due to starspots on a differentially rotating star

abstract: We present an analytic model of the lightcurve variation for stars with non-evolving starspots on a differentially rotating surface. The Fourier coefficients of the harmonics of the rotation period are expressed in terms of the latitude of the spot, $\ell_{s}$, and the observer's line-of-sight direction, $\ell_{o}$, including the limb darkening effect. We generate different realizations of multi-spots according to the model, and perform mock observations of the resulting lightcurve modulations. We discuss to what extent one can recover the properties of the spots and the parameters for the differential rotation law from the periodogram analysis. Although our analytical model neglects the evolution of spots on the stellar surface (dynamical motion, creation and annihilation), it provides a basic framework to interpret the photometric variation of stars, in particular from the existing Kepler data and the future space-born mission. It is also applicable to photometric modulations induced by rotation of various astronomical objects.


title: Programming Data Structures for Large-Scale Desktop Simulations of Complex Systems

abstract: The investigation of complex systems requires running large-scale simulations over many temporal iterations. It is therefore important to provide efficient implementations. The present study borrows philosophical concepts from Gilbert Simondon to identify data structures and algorithms that have the biggest impact on running time and memory usage. These are the entity $e$-tuple $\mathcal{E}$ and the intertwined update function $\phi$. Focusing on implementing data structures in C#, $\mathcal{E}$ is implemented as a list of objects according to current software engineering practice and as an array of pointers according to theoretical considerations. Cellular automaton simulations with $10^9$ entities over one iteration reveal that the object-list with dynamic typing and multi-state readiness has a drastic effect on running time and memory usage, especially dynamic typing as it has a big impact on the evolution time. Pointer-arrays are possible to implement in C# and are more running time and memory efficient as compared to the object-list implementation, however, they are cumbersome to implement. In conclusion, avoiding dynamic typing in object-list based implementations or using pointer-arrays gives evolution times that are acceptable in practice, even on desktop computers.


title: Symplectic Groupoids for Poisson Integrators

abstract: We use local symplectic Lie groupoids to construct Poisson integrators for generic Poisson structures. More precisely, recursively obtained solutions of a Hamilton-Jacobi-like equation are interpreted as Lagrangian bisections in a neighborhood of the unit manifold, that, in turn, give Poisson integrators. We also insist on the role of the Magnus formula, in the context of Poisson geometry, for the backward analysis of such integrators.

categories: math.DG cs.NA math-ph math.DS math.MP math.NA math.SG


title: The momentum polytope of actions on contact manifolds via toric varieties

abstract: Due to a previous result which states that contact varieties are isomorphic to certain varieties, the momentum polytopes of contact manifolds are convex.


title: Korn type Inequalities for Objective Structures

abstract: We establish discrete Korn type inequalities for particle systems within the general class of objective structures that represents a far reaching generalization of crystal lattice structures. For space filling configurations whose symmetry group is a general space group we obtain a full discrete Korn inequality. For systems with non-trivial codimension our results provide an intrinsic rigidity estimate within the extended dimensions of the structure. As their continuum counterparts in elasticity theory, such estimates are at the core of energy estimates and, hence, a stability analysis for a wide class of atomistic particle systems.


title: Object Detection in Indian Food Platters using Transfer Learning with YOLOv4

abstract: Object detection is a well-known problem in computer vision. Despite this, its usage and pervasiveness in the traditional Indian food dishes has been limited. Particularly, recognizing Indian food dishes present in a single photo is challenging due to three reasons: 1. Lack of annotated Indian food datasets 2. Non-distinct boundaries between the dishes 3. High intra-class variation. We solve these issues by providing a comprehensively labelled Indian food dataset- IndianFood10, which contains 10 food classes that appear frequently in a staple Indian meal and using transfer learning with YOLOv4 object detector model. Our model is able to achieve an overall mAP score of 91.8% and f1-score of 0.90 for our 10 class dataset. We also provide an extension of our 10 class dataset- IndianFood20, which contains 10 more traditional Indian food classes.


title: Spectral Galerkin method for solving elastic wave scattering problems with multiple open arcs

abstract: We study the elastic time-harmonic wave scattering problems on unbounded domains with boundaries composed of finite collections of disjoints finite open arcs (or cracks) in two dimensions. Specifically, we present a fast spectral Galerkin method for solving the associated weakly- and hyper-singular boundary integral equations (BIEs) arising from Dirichlet and Neumann boundary conditions, respectively. Discretization bases of the resulting BIEs employ weighted Chebyshev polynomials that capture the solutions' edge behavior. We show that these bases guarantee exponential convergence in the polynomial degree when assuming analyticity of sources and arcs geometries. Numerical examples demonstrate the accuracy and robustness of the proposed method with respect to number of arcs and wavenumber.


title: Assessing Streamline Plausibility Through Randomized Iterative Spherical-Deconvolution Informed Tractogram Filtering

abstract: Tractography has become an indispensable part of brain connectivity studies. However, it is currently facing problems with reliability. In particular, a substantial amount of nerve fiber reconstructions (streamlines) in tractograms produced by state-of-the-art tractography methods are anatomically implausible. To address this problem, tractogram filtering methods have been developed to remove faulty connections in a postprocessing step. This study takes a closer look at one such method, \textit{Spherical-deconvolution Informed Filtering of Tractograms} (SIFT), which uses a global optimization approach to improve the agreement between the remaining streamlines after filtering and the underlying diffusion magnetic resonance imaging data. SIFT is not suitable to judge the plausibility of individual streamlines since its results depend on the size and composition of the surrounding tractogram. To tackle this problem, we propose applying SIFT to randomly selected tractogram subsets in order to retrieve multiple assessments for each streamline. This approach makes it possible to identify streamlines with very consistent filtering results, which were used as pseudo ground truths for training classifiers. The trained classifier is able to distinguish the obtained groups of plausible and implausible streamlines with accuracy above 80%. The software code used in the paper and pretrained weights of the classifier are distributed freely via the Github repository https://github.com/djoerch/randomised_filtering.


title: Solving workflow scheduling problems with QUBO modeling

abstract: In this paper we investigate the workflow scheduling problem, a known NP-hard class of scheduling problems. We derive problem instances from an industrial use case and compare against several quantum, classical, and hybrid quantum-classical algorithms. We develop a novel QUBO to represent our scheduling problem and show how the QUBO complexity depends on the input problem. We derive and present a decomposition method for this specific application to mitigate this complexity and demonstrate the effectiveness of the approach.


title: Revisiting Walking-in-Place by Introducing Step-Height Control, Elastic Input, and Pseudo-Haptic Feedback

abstract: Walking-in-place (WIP) is a locomotion technique that enables users to "walk infinitely" through vast virtual environments using walking-like gestures within a limited physical space. This paper investigates alternative interaction schemes for WIP, addressing successively the control, input, and output of WIP. First, we introduce a novel height-based control to increase advanced speed. Second, we introduce a novel input system for WIP based on elastic and passive strips. Third, we introduce the use of pseudo-haptic feedback as a novel output for WIP meant to alter walking sensations. The results of a series of user studies show that height and frequency based control of WIP can facilitate higher virtual speed with greater efficacy and ease than in frequency-based WIP. Second, using an upward elastic input system can result in a stable virtual speed control, although excessively strong elastic forces may impact the usability and user experience. Finally, using a pseudo-haptic approach can improve the perceived realism of virtual slopes. Taken together, our results suggest that, for future VR applications, there is value in further research into the use of alternative interaction schemes for walking-in-place.


title: MNet: Rethinking 2D/3D Networks for Anisotropic Medical Image Segmentation

abstract: The nature of thick-slice scanning causes severe inter-slice discontinuities of 3D medical images, and the vanilla 2D/3D convolutional neural networks (CNNs) fail to represent sparse inter-slice information and dense intra-slice information in a balanced way, leading to severe underfitting to inter-slice features (for vanilla 2D CNNs) and overfitting to noise from long-range slices (for vanilla 3D CNNs). In this work, a novel mesh network (MNet) is proposed to balance the spatial representation inter axes via learning. 1) Our MNet latently fuses plenty of representation processes by embedding multi-dimensional convolutions deeply into basic modules, making the selections of representation processes flexible, thus balancing representation for sparse inter-slice information and dense intra-slice information adaptively. 2) Our MNet latently fuses multi-dimensional features inside each basic module, simultaneously taking the advantages of 2D (high segmentation accuracy of the easily recognized regions in 2D view) and 3D (high smoothness of 3D organ contour) representations, thus obtaining more accurate modeling for target regions. Comprehensive experiments are performed on four public datasets (CT\&MR), the results consistently demonstrate the proposed MNet outperforms the other methods. The code and datasets are available at: https://github.com/zfdong-code/MNet


title: Multi-Tree Guided Efficient Robot Motion Planning

abstract: Motion Planning is necessary for robots to complete different tasks. Rapidly-exploring Random Tree (RRT) and its variants have been widely used in robot motion planning due to their fast search in state space. However, they perform not well in many complex environments since the motion planning needs to simultaneously consider the geometry constraints and differential constraints. In this article, we propose a novel robot motion planning algorithm that utilizes multi-tree to guide the exploration and exploitation. The proposed algorithm maintains more than two trees to search the state space at first. Each tree will explore the local environment. The tree starts from the root will gradually collect information from other trees and grow towards the goal state. This simultaneous exploration and exploitation method can quickly find a feasible trajectory. We compare the proposed algorithm with other popular motion planning algorithms. The experiment results demonstrate that our algorithm achieves the best performance on different evaluation metrics.


title: Nano-Clustering Mediates Phase Transitions in a Diastereomerically-Stabilized Ferroelectric Nematic System

abstract: During the last half-decade, a new class of ferroic-fluid, ferroelectric nematic liquid crystals (NFLCs), creates a noise owing to its exceptional properties such as a colossal polarization, high electro-optic activity plus high fluidity. Regardless of recent huge efforts on design and development of new NFLC molecules based on molecular parameters, the control of NF phase transitions and the stabilization of NF phase are still challenging. Here we discuss the impact of mixing of DIO diastereomer [transDIO (1) and cisDIO (2)] to the NF phase transition, in terms of the smectic cybotactic cluster formation examined by X-ray diffraction. Interestingly, the result suggests that smooth exchange of NFLC 1 by non-LC 2 both with similar dipole and molecular backbone plays a role in the alteration of the NF phase transition.


title: Stability of Objective Structures: General Criteria and Applications

abstract: We develop a general stability analysis for objective structures, which constitute a far reaching generalization of crystal lattice systems. We show that these particle systems, although in general neither periodic nor space filling, allow for the identification of stability constants in terms of representations of the underlying symmetry group and interaction potentials. From our representation results a general computational algorithm to test objective structures for their stability is derived. By way of example we show that our method can be applied to verify the stability of carbon nanotubes with chirality.


title: Scaling-up Generalized Planning as Heuristic Search with Landmarks

abstract: Landmarks are one of the most effective search heuristics for classical planning, but largely ignored in generalized planning. Generalized planning (GP) is usually addressed as a combinatorial search in a given space of algorithmic solutions, where candidate solutions are evaluated w.r.t.~the instances they solve. This type of solution evaluation ignores any sub-goal information that is not explicit in the representation of the planning instances, causing plateaus in the space of candidate generalized plans. Furthermore, node expansion in GP is a run-time bottleneck since it requires evaluating every child node over the entire batch of classical planning instances in a GP problem. In this paper we define a landmark counting heuristic for GP (that considers sub-goal information that is not explicitly represented in the planning instances), and a novel heuristic search algorithm for GP (that we call PGP) and that progressively processes subsets of the planning instances of a GP problem. Our two orthogonal contributions are analyzed in an ablation study, showing that both improve the state-of-the-art in GP as heuristic search, and that both benefit from each other when used in combination.


title: Chemical potential, derivative discontinuity, fractional electrons, jump of the Kohn-Sham potential, atoms as thermodynamic open systems, and other (mis)conceptions of the density functional theory of electrons in molecules

abstract: Many references exist in the density functional theory (DFT) literature to the chemical potential of the electrons in an atom or a molecule. The origin of this notion has been the identification of the Lagrange multiplier $\mu = \partial E/\partial N$ in the Euler-Lagrange variational equation for the ground state density as the chemical potential of the electrons. We first discuss why the Lagrange multiplier in this case is an arbitrary constant and therefore cannot be a physical characteristic of an atom or molecule. The switching of the energy derivative ("chemical potential") from $-I$ to $-A$ when the electron number crosses the integer, called integer discontinuity or derivative discontinuity, is not physical but only occurs when the nonphysical noninteger electron systems and the corresponding energy and derivative $\partial E/\partial N$ are chosen in a specific discontinuous way. The question is discussed whether in fact the thermodynamical concept of a chemical potential can be defined for the electrons in such few-electron systems as atoms and molecules. The conclusion is that such systems lack important characteristics of thermodynamic systems and do not afford the definition of a chemical potential. They also cannot be considered as analogues of the open systems of thermodynamics that can exchange particles with an environment (a particles bath or other members of a Gibbsian ensemble). Thermodynamical (statistical mechanical) concepts like chemical potential, open systems, grand canonical ensemble etc. are not applicable to a few electron system like an atom or molecule. A number of topics in DFT are critically reviewed in the light of these findings: jumps in the Kohn-Sham potential when crossing an integer number of electrons, the band gap problem, the deviation-from-straight-lines error, the role of ensembles in DFT.


title: Expansion in Supercritical Random Subgraphs of Expanders and its Consequences

abstract: In 2004, Frieze, Krivelevich and Martin [17] established the emergence of a giant component in random subgraphs of pseudo-random graphs. We study several typical properties of the giant component, most notably its expansion characteristics. We establish an asymptotic vertex expansion of connected sets in the giant by a factor of $\tilde{O}\left(\epsilon^2\right)$. From these expansion properties, we derive that the diameter of the giant is typically $O_{\epsilon}\left(\log n\right)$, and that the mixing time of a lazy random walk on the giant is asymptotically $O_{\epsilon}\left(\log^2 n\right)$. We also show similar asymptotic expansion properties of (not necessarily connected) linear sized subsets in the giant, and the typical existence of a large expander as a subgraph.


title: Non-isotopic transverse tori in Engel manifolds

abstract: In every Engel manifold we construct an infinite family of pairwise non-isotopic transverse tori that are all smoothly isotopic. To distinguish the transverse tori in the family we introduce a homological invariant of transverse tori that is similar to the self-linking number for transverse knots in contact 3-manifolds. Analogous results are presented for Legendrian tori in even contact 4-manifolds.


title: On the perturbative aspects of deformed Yang-Mills theory

abstract: Centre-stabilised $SU(N)$ Yang-Mills theories on $\mathbb{R}^3 \times S^1$ are QCD-like theories that can be engineered to remain weakly-coupled at all energy scales by taking the $S^1$ circle length $L$ to be sufficiently small. In this regime, these theories admit effective long-distance descriptions as Abelian $U(1)^{N-1}$ gauge theories on $\mathbb{R}^3$, and semiclassics can be reliably employed to study non-perturbative phenomena such as colour confinement and the generation of mass gaps in an analytical setting. At the perturbative tree level, the long-distance effective theory contains $(N-1)$ free photons with identical gauge couplings $g^2_3 \equiv g^2/L$. Vacuum polarisation effects, from integrating out heavy charged fields, lift this degeneracy to give $\floor{\frac{N}{2}}$ distinct values: $g^2(\frac{2}{L})\lesssim g_{3,\ell}^2 L \lesssim g^2(\frac{2\pi}{NL}) $. In this work, we calculate these corrections to one-loop order in theories where the centre-symmetric vacuum is stabilised by $2\leq n_f \leq 5$ massive adjoint Weyl fermions with masses of order $m_\lambda \sim \frac{2\pi}{NL}$, (also known as "deformed Yang-Mills,") and show that our results agree with those found in previous studies in the $m_\lambda \to 0$ limit. Then, we show that our result has an intuitive interpretation as the running of the coupling in a "lattice momentum" in the context of the non-perturbative "emergent latticised fourth dimension" in the $N\to \infty$, fixed-$NL$ limit.


title: Secure Distributed/Federated Learning: Prediction-Privacy Trade-Off for Multi-Agent System

abstract: Decentralized learning is an efficient emerging paradigm for boosting the computing capability of multiple bounded computing agents. In the big data era, performing inference within the distributed and federated learning (DL and FL) frameworks, the central server needs to process a large amount of data while relying on various agents to perform multiple distributed training tasks. Considering the decentralized computing topology, privacy has become a first-class concern. Moreover, assuming limited information processing capability for the agents calls for a sophisticated \textit{privacy-preserving decentralization} that ensures efficient computation. Towards this end, we study the \textit{privacy-aware server to multi-agent assignment} problem subject to information processing constraints associated with each agent, while maintaining the privacy and assuring learning informative messages received by agents about a global terminal through the distributed private federated learning (DPFL) approach. To find a decentralized scheme for a two-agent system, we formulate an optimization problem that balances privacy and accuracy, taking into account the quality of compression constraints associated with each agent. We propose an iterative converging algorithm by alternating over self-consistent equations. We also numerically evaluate the proposed solution to show the privacy-prediction trade-off and demonstrate the efficacy of the novel approach in ensuring privacy in DL and FL.


title: Capacity of rings and mappings generate embeddings of Sobolev spaces

abstract: In this paper we give characterizations of mappings generate embeddings of Sobolev spaces in the terms of ring capacity inequalities. In addition we prove that such mappings are Lipschitz mappings in the sub-hyperbolic type capacitory metrics.


title: Preprint: Institutional Value of a Nobel Prize

abstract: The Nobel Prize is awarded each year to individuals who have conferred the greatest benefit to humankind in Physics, Chemistry, Medicine, Economics, Literature, and Peace, and is considered by many to be the most prestigious recognition for one's body of work. Receiving a Nobel prize confers a sense of financial independence and significant prestige, vaulting its recipients to global prominence. Apart from the prize money (approximately US$1,145,000), a Nobel laureate can expect to benefit in a number of ways, including increased success in securing grants, wider adoption and promulgation of one's theories and ideas, increased professional and academic opportunities, and, in some cases, a measure of celebrity. A Nobel laureate's affiliated institution, by extension, also greatly benefits. Because of this, many institutions seek to employ Nobel Prize winners or individuals who have a high likelihood of winning one in the future. Many of the recent discoveries and innovations recognized with a Nobel Prize were made possible only because of advanced computing capabilities. Understanding the ways in which advanced research computing facilities and services are essential in enabling new and important discoveries cannot be overlooked in examining the value of a Nobel Prize. This paper explores an institution's benefits of having a Nobel Prize winner among its ranks.


title: Practical application-specific advantage through hybrid quantum computing

abstract: Quantum computing promises to tackle technological and industrial problems insurmountable for classical computers. However, today's quantum computers still have limited demonstrable functionality, and it is expected that scaling up to millions of qubits is required for them to live up to this touted promise. The feasible route in achieving practical quantum advantage goals is to implement a hybrid operational mode that realizes the cohesion of quantum and classical computers. Here we present a hybrid quantum cloud based on a memory-centric and heterogeneous multiprocessing architecture, integrated into a high-performance computing data center grade environment. We demonstrate that utilizing the quantum cloud, our hybrid quantum algorithms including Quantum Encoding (QuEnc), Hybrid Quantum Neural Networks and Tensor Networks enable advantages in optimization, machine learning, and simulation fields. We show the advantage of hybrid algorithms compared to standard classical algorithms in both the computational speed and quality of the solution. The achieved advance in hybrid quantum hardware and software makes quantum computing useful in practice today.


title: Safety-guaranteed trajectory planning and control based on GP estimation for unmanned surface vessels

abstract: We propose a safety-guaranteed planning and control framework for unmanned surface vessels (USVs), using Gaussian processes (GPs) to learn uncertainties. The uncertainties encountered by USVs, including external disturbances and model mismatches, are potentially state-dependent, time-varying, and hard to capture with constant models. GP is a powerful learning-based tool that can be integrated with a model-based planning and control framework, which employs a Hamilton-Jacobi differential game formulation. Such a combination yields less conservative trajectories and safety-guaranteeing control strategies. We demonstrate the proposed framework in simulations and experiments on a CLEARPATH Heron USV.


title: Universal Caching

abstract: In learning theory, the performance of an online policy is commonly measured in terms of the static regret metric, which compares the cumulative loss of an online policy to that of an optimal benchmark in hindsight. In the definition of static regret, the action of the benchmark policy remains fixed throughout the time horizon. Naturally, the resulting regret bounds become loose in non-stationary settings where fixed actions often suffer from poor performance. In this paper, we investigate a stronger notion of regret minimization in the context of online caching. In particular, we allow the action of the benchmark at any round to be decided by a finite state machine containing any number of states. Popular caching policies, such as LRU and FIFO, belong to this class. Using ideas from the universal prediction literature in information theory, we propose an efficient online caching policy with a sub-linear regret bound. To the best of our knowledge, this is the first data-dependent regret bound known for the caching problem in the universal setting. We establish this result by combining a recently-proposed online caching policy with an incremental parsing algorithm, namely Lempel-Ziv '78. Our methods also yield a simpler learning-theoretic proof of the improved regret bound as opposed to the involved problem-specific combinatorial arguments used in the earlier works.


title: Infinitely many pairs of free boundary minimal surfaces with the same topology and symmetry group

abstract: The topology and symmetry group of a free boundary minimal surface in the three-dimensional Euclidean unit ball do not determine the surface uniquely. We provide pairs of non-isometric free boundary minimal surfaces having any sufficiently large genus $g$, three boundary components and antiprismatic symmetry group of order $4(g+1)$.


title: Linearly convergent bilevel optimization with single-step inner methods

abstract: We propose a new approach to solving bilevel optimization problems, intermediate between solving full-system optimality conditions with a Newton-type approach, and treating the inner problem as an implicit function. The overall idea is to solve the full-system optimality conditions, but to precondition them to alternate between taking steps of simple conventional methods for the inner problem, the adjoint equation, and the outer problem. While the inner objective has to be smooth, the outer objective may be nonsmooth subject to a prox-contractivity condition. We prove linear convergence of the approach for combinations of gradient descent and forward-backward splitting with exact and inexact solution of the adjoint equation. We demonstrate good performance on learning the regularization parameter for anisotropic total variation image denoising, and the convolution kernel for image deconvolution.