title: Methane-saturated layers limit the observability of impact craters on Titan

abstract: As the only icy satellite with a thick atmosphere and liquids on its surface, Titan represents a unique end-member to study the impact cratering process. Unlike craters on other Saturnian satellites, Titan's craters are preferentially located in high-elevation regions near the equator. This led to the hypothesis that the presence of liquid methane in Titan's lowlands affects crater morphology, making them difficult to identify. This is because surfaces covered by weak fluid-saturated sediment limit the topographic expression of impact craters, as sediment moves into the crater cavity shortly after formation. Here we simulate crater-forming impacts on Titan's surface, exploring how a methane-saturated layer overlying a methane-clathrate layer affects crater formation. Our numerical results show that impacts form smaller craters in a methane-clathrate basement than a water-ice basement, due to the differences in strength. We find that the addition of a methane-saturated layer atop this basement reduces crater depths and influences crater morphology. The morphology of impact craters formed in a thin methane-saturated layer are similar to those in a "dry" target, but a thick saturated layer produces an impact structure with little to no topography. A thick methane-saturated layer (thicker than 40% of the impactor diameter) could explain the dearth of craters in the low-elevation regions on Titan.


title: Cosmological dynamical systems in modified gravity

abstract: The field equations of modified gravity theories, when considering a homogeneous and isotropic cosmological model, always become autonomous differential equations. This relies on the fact that in such models all variables only depend on cosmological time, or another suitably chosen time parameter. Consequently, the field equations can always be cast into the form of a dynamical system, a successful approach to study such models. We propose a perspective that is applicable to many different modified gravity models and relies on the standard cosmological density parameters only, making our choice of variables model independent. The drawback of our approach is a more complicated constraint equation. We demonstrate our procedure studying various modified gravity models and show how much generic information can be extracted before a specific model is considered.


title: 2-Cartesian fibrations II: A Grothendieck construction for $\infty$-bicategories

abstract: In this work, we conclude our study of fibred $\infty$-bicategories by providing a Grothendieck construction in this setting. Given a scaled simplicial set $S$ (which need not be fibrant) we construct a 2-categorical version of Lurie's straightening-unstraightening adjunction, thereby furnishing an equivalence between the $\infty$-bicategory of 2-Cartesian fibrations over $S$ and the $\infty$-bicategory of contravariant functors $S^{\operatorname{op}} \to \mathbb{B}\mathbf{\!}\operatorname{icat}_\infty$ with values in the $\infty$-bicategory of $\infty$-bicategories. We provide a relative nerve construction in the case where the base is a 2-category, and use this to prove a comparison to existing bicategorical Grothendieck constructions.


title: Ultrafast Many-Body Dynamics in an Ultracold Rydberg-Excited Atomic Mott Insulator

abstract: We report the observation and control of ultrafast non-equilibrium many-body electron dynamics in Rydberg-excited spatially-ordered ultracold atoms created from a three-dimensional unity-filling atomic Mott insulator. By implementing time-domain Ramsey interferometry with attosecond precision in our Rydberg atomic system, we observe picosecond-scale ultrafast many-body dynamics that is essentially governed by the emergence and evolution of many-body correlations between long-range interacting atoms in an optical lattice. We analyze our observations with different theoretical approaches and find that quantum fluctuations have to be included beyond semi-classical descriptions to describe the observed dynamics. Our Rydberg lattice platform combined with an ultrafast approach, which is robust against environmental noises, opens the door for simulating strongly-correlated electron dynamics by long-range van der Waals interaction and resonant dipole-dipole interaction to the charge-overlapping regime in synthetic ultracold atomic crystals.


title: Exact essential norm of generalized Hilbert matrix operators on classical analytic function spaces

abstract: We compute the exact value of the essential norm of a generalized Hilbert matrix operator acting on weighted Bergman spaces $A^p_v$ and weighted Banach spaces $H^\infty_v$ of analytic functions, where $v$ is a general radial weight. In particular, we obtain the exact value of the essential norm of the classical Hilbert matrix operator on standard weighted Bergman spaces $A^p_\alpha$ for $p>2+\alpha, \, \alpha \ge 0,$ and on Korenblum spaces $H^\infty_\alpha$ for $0 < \alpha < 1.$ We also cover the Hardy space $H^p, \, 1 < p < \infty,$ case. In the weighted Bergman space case, the essential norm of the Hilbert matrix is equal to the conjectured value of its operator norm and similarly in the Hardy space case the essential norm and the operator norm coincide. We also compute the exact value of the norm of the Hilbert matrix on $H^\infty_{w_\alpha}$ with weights $w_\alpha(z)=(1-|z|)^\alpha$ for all $0 < \alpha < 1$. Also in this case, the values of the norm and essential norm coincide.


title: Unsupervised Music Source Separation Using Differentiable Parametric Source Models

abstract: Supervised deep learning approaches to underdetermined audio source separation achieve state-of-the-art performance but require a dataset of mixtures along with their corresponding isolated source signals. Such datasets can be extremely costly to obtain for musical mixtures. This raises a need for unsupervised methods. We propose a novel unsupervised model-based deep learning approach to musical source separation. Each source is modelled with a differentiable parametric source-filter model. A neural network is trained to reconstruct the observed mixture as a sum of the sources by estimating the source models' parameters given their fundamental frequencies. At test time, soft masks are obtained from the synthesized source signals. The experimental evaluation on a vocal ensemble separation task shows that the proposed method outperforms learning-free methods based on nonnegative matrix factorization and a supervised deep learning baseline. Integrating domain knowledge in the form of source models into a data-driven method leads to high data efficiency: the proposed approach achieves good separation quality even when trained on less than three minutes of audio. This work makes powerful deep learning based separation usable in scenarios where training data with ground truth is expensive or nonexistent.


title: Shannon Entropy and Diffusion Coeffcient in Parity-Time Symmetric Quantum Walks

abstract: Non-Hermitian topological edge states have many intriguing properties, but have so far mainly been discussed in terms of bulk-boundary correspondence. Here we propose to use a bulk property of diffusion coefficients for probing the topological states and exploring their dynamics. The diffusion coefficient is found to show unique features with the topological phase transitions driven by paritytime( PT)-symmetric non-Hermitian discrete-time quantum walks as well as by Hermitian ones, despite artificial boundaries are not constructed by inhomogeneous quantum walk. For a Hermitian system, a turning point and abrupt change appears in the diffusion coefficient when the system is approaching the topological phase transition, while it remains stable in the trivial topological state. For a non-Hermitian system, except for the feature associated to the topological transition, the diffusion coefficient in the PT-symmetric-broken phase demonstrates an abrupt change with a peak structure. In addition, the Shannon entropy of the quantum walk is found to exhibit a direct correlation with the diffusion coefficient. The numerical results presented here may open up a new avenue for studying the topological state in Non-Hermitian quantum walk systems.


title: Describe me if you can! Characterized Instance-level Human Parsing

abstract: Several computer vision applications such as person search or online fashion rely on human description. The use of instance-level human parsing (HP) is therefore relevant since it localizes semantic attributes and body parts within a person. But how to characterize these attributes? To our knowledge, only some single-HP datasets describe attributes with some color, size and/or pattern characteristics. There is a lack of dataset for multi-HP in the wild with such characteristics. In this article, we propose the dataset CCIHP based on the multi-HP dataset CIHP, with 20 new labels covering these 3 kinds of characteristics. In addition, we propose HPTR, a new bottom-up multi-task method based on transformers as a fast and scalable baseline. It is the fastest method of multi-HP state of the art while having precision comparable to the most precise bottom-up method. We hope this will encourage research for fast and accurate methods of precise human descriptions.


title: Towards a Real-time Measure of the Perception of Anthropomorphism in Human-robot Interaction

abstract: How human-like do conversational robots need to look to enable long-term human-robot conversation? One essential aspect of long-term interaction is a human's ability to adapt to the varying degrees of a conversational partner's engagement and emotions. Prosodically, this can be achieved through (dis)entrainment. While speech-synthesis has been a limiting factor for many years, restrictions in this regard are increasingly mitigated. These advancements now emphasise the importance of studying the effect of robot embodiment on human entrainment. In this study, we conducted a between-subjects online human-robot interaction experiment in an educational use-case scenario where a tutor was either embodied through a human or a robot face. 43 English-speaking participants took part in the study for whom we analysed the degree of acoustic-prosodic entrainment to the human or robot face, respectively. We found that the degree of subjective and objective perception of anthropomorphism positively correlates with acoustic-prosodic entrainment.


title: Deformation Theory of Holomorphic Cartan Geometries, II

abstract: In this continuation of \cite{BDS}, we investigate the deformations of holomorphic Cartan geometries where the underlying complex manifold is allowed to move. The space of infinitesimal deformations of a flat holomorphic Cartan geometry is computed. We show that the natural forgetful map, from the infinitesimal deformations of a flat holomorphic Cartan geometry to the infinitesimal deformations of the underlying flat principal bundle on the topological manifold, is an isomorphism.


title: Testing particle acceleration models for BL LAC jets with the Imaging X-ray Polarimetry Explorer

abstract: To determine if the recently launched Imaging X-ray Polarimetry Explorer (IXPE) can follow the polarization variations induced by different particle acceleration mechanisms in blazars jets we simulate observations of a high synchrotron peak (HSP) blazar variable in polarization degree and angle according to the theoretical predictions of Tavecchio et al., 2020 (shock acceleration model), Bodo et al., 2021 (magnetic reconnection model) and Marscher \& Jorstad, 2021 (Turbulent Extreme Multi-Zone Model). We use the Monte Carlo tool ixpeobssim to create realistic IXPE data products. We create simulated light-curves of polarization degree and angle by time-slicing the simulated data into arbitrary short time bins. We use a $\chi^2$ test to assess the performance of the observations in detecting the time variability of the polarization properties. A series of 10 ks long observations permits IXPE to follow the time variability of the polarization degree in the case of the shock acceleration model. In the case of the magnetic reconnection model, the nominal injected model provides the best fit of the simulated IXPE data for time bins of 5-10 ks, depending on the tested flux level. For the TEMZ model, shorter time slices of 0.5 ks are needed for obtaining a formally good fit of the simulated IXPE data with the injected model. On the other hand, we find that a fit with a constant model provides a $\chi^2$ lower than the fit with the nominal injected model when using time slices of 20 ks, 60/70 ks, and 5 ks for the case of the shock acceleration, magnetic reconnection and TEMZ model, respectively. We conclude that, provided that the statistics of the observation allows slicing of the data in adequately short time bins, IXPE observations of an HSP blazar at a typical flux level can detect the time variability predicted by popular models for particle acceleration in jets.


title: On the Optimization Landscape of Dynamic Output Feedback Linear Quadratic Control

abstract: The convergence of policy gradient algorithms hinges on the optimization landscape of the underlying optimal control problem. Theoretical insights into these algorithms can often be acquired from analyzing those of linear quadratic control. However, most of the existing literature only considers the optimization landscape for static full-state or output feedback policies (controllers). We investigate the more challenging case of dynamic output-feedback policies for linear quadratic regulation (abbreviated as dLQR), which is prevalent in practice but has a rather complicated optimization landscape. We first show how the dLQR cost varies with the coordinate transformation of the dynamic controller and then derive the optimal transformation for a given observable stabilizing controller. One of our core results is the uniqueness of the stationary point of dLQR when it is observable, which provides an optimality certificate for solving dynamic controllers using policy gradient methods. Moreover, we establish conditions under which dLQR and linear quadratic Gaussian control are equivalent, thus providing a unified viewpoint of optimal control of both deterministic and stochastic linear systems. These results further shed light on designing policy gradient algorithms for more general decision-making problems with partially observed information.


title: A lexicographic maximin approach to the selective assessment routing problem

abstract: Max-min approaches have been widely applied to address equity as an essential consideration in humanitarian operations. These approaches, however, have a significant drawback of being neutral when it comes to solutions with the same minimum values. These equivalent solutions, from a max-min point of view, might be significantly different. We address this problem using the lexicographic maximin approach, a refinement of the classic max-min approach. We apply this approach in the rapid needs assessment process, which is carried out immediately after the onset of a disaster, to investigate the disaster's impact on the affected community groups through field visits. We construct routes for an assessment plan to cover community groups, each carrying a distinct characteristic, such that the vector of coverage ratios are maximized. We define the leximin selective assessment problem, which considers the bi-objective optimization of total assessment time and coverage ratio vector maximization. We solve the bi-objective problem by a heuristic approach based on the multi-directional local search framework.


title: Neutron-deuteron scattering cross-sections with chiral $NN$ interactions using wave-packet continuum discretization

abstract: In this work we present a framework that allows to solve the Faddeev equations for three-nucleon scattering using the wave-packet continuum-discretization method. We perform systematic benchmarks using results in the literature and study in detail the convergence of this method with respect to the number of wave packets. We compute several different elastic neutron-deuteron scattering cross-section observables for a variety of energies using chiral nucleon-nucleon interactions. For the interaction $\text{N2LO}_{\text{opt}}$ we find good agreement with data for nucleon scattering-energies $E_\text{Lab} \leq 70$ MeV and a slightly larger maximum of the neutron analyzing power $A_y(n)$ at $E_\text{Lab} = 10$ MeV and 21 MeV compared with other interactions. This work represents a first step towards a systematic inclusion of three-nucleon scattering observables in the construction of next-generation nuclear interactions.


title: 3D hydrodynamical simulations of the impact of mechanical feedback on accretion in supersonic stellar-mass black holes

abstract: Isolated stellar-mass BH accrete gas, often at supersonic speeds, and can form outflows that can influence the accreted gas. The latter process, known as mechanical feedback, can significantly affect the accretion rate. We use hydrodynamical simulations to assess the impact of mechanical feedback on the accretion rate when the BH moves supersonically through a uniform medium. We carry out 3D hydrodynamical simulations of outflows fueled by accretion that interact with a uniform medium, probing scales similar to and larger than the accretor gravitational sphere of influence. In the simulations the accretor is at rest and the medium moves at supersonic speeds. The outflow power is assumed to be proportional to the accretion rate. The simulations are run for different outflow-medium motion angles and velocity ratios. The impact of different degrees of outflow collimation, accretor size, and resolution is also investigated. In general, the accretion rate is significantly affected by mechanical feedback. The effect is small for outflows perpendicular to the medium motion, and quickly grows for smaller angles. Moreover, the smaller the medium-to-outflow velocity ratio is, the more accretion decreases. On the other hand, the impact of outflow collimation seems moderate. The effect is enhanced when the accretor size is reduced. For a population of BH with random outflow orientations, the average accretion rate drops by (high-low resolution) ~0.2-0.4 and ~0.1-0.2 for medium-to-outflow velocity ratios of 1/20 and 1/100, respectively, when compared to the corresponding cases without outflow. Our results strongly indicate that, on the considered scales, mechanical feedback can easily reduce the energy available from supersonic accretion by a factor of several. This should be taken into account when studying the mechanical, thermal and non-thermal output of isolated BH.


title: Metacyclic actions on surfaces

abstract: Let $\mathrm{Mod}(S_g)$ be the mapping class group of the closed orientable surface $S_g$ of genus $g\geq 2$. In this paper, we derive necessary and sufficient conditions under which two torsion elements in $\mathrm{Mod}(S_g)$ will have conjugates that generate a finite metacyclic subgroup of $\mathrm{Mod}(S_g)$. This yields a complete solution to the problem of liftability of periodic mapping classes under finite cyclic covers. As applications of the main result, we show that $4g$ is a realizable upper bound on the order of a non-split metacyclic action on $S_g$ and this bound is realized by the action of a dicyclic group. Moreover, we give a complete characterization of the dicyclic subgroups of $\mathrm{Mod}(S_g)$ up to a certain equivalence that we will call weak conjugacy. Furthermore, we show that every periodic mapping class in a non-split metacyclic subgroup of $\mathrm{Mod}(S_g)$ is reducible. We provide necessary and sufficient conditions under which a non-split metacyclic action on $S_g$ factors via a split metacyclic action. Finally, we provide a complete classification of the weak conjugacy classes of the finite non-split metacyclic subgroups of $\mathrm{Mod}(S_{10})$ and $\mathrm{Mod}(S_{11})$.


title: Performance Analysis of Electrical Machines Using a Hybrid Data- and Physics-Driven Model

abstract: In the design phase of an electrical machine, finite element (FE) simulation are commonly used to numerically optimize the performance. The output of the magneto-static FE simulation characterizes the electromagnetic behavior of the electrical machine. It usually includes intermediate measures such as nonlinear iron losses, electromagnetic torque, and flux values at each operating point to compute the key performance indicators (KPIs). We present a data-driven deep learning approach that replaces the computationally heavy FE calculations by a deep neural network (DNN). The DNN is trained by a large volume of stored FE data in a supervised manner. During the learning process, the network response (intermediate measures) is fed as input to a physics-based post-processing to estimate characteristic maps and KPIs. Results indicate that the predictions of intermediate measures and the subsequent computations of KPIs are close to the ground truth for new machine designs. We show that this hybrid approach yields flexibility in the simulation process. Finally, the proposed hybrid approach is quantitatively compared to existing deep neural network-based direct prediction approach of KPIs.


title: End-to-end Person Search Sequentially Trained on Aggregated Dataset

abstract: In video surveillance applications, person search is a challenging task consisting in detecting people and extracting features from their silhouette for re-identification (re-ID) purpose. We propose a new end-to-end model that jointly computes detection and feature extraction steps through a single deep Convolutional Neural Network architecture. Sharing feature maps between the two tasks for jointly describing people commonalities and specificities allows faster runtime, which is valuable in real-world applications. In addition to reaching state-of-the-art accuracy, this multi-task model can be sequentially trained task-by-task, which results in a broader acceptance of input dataset types. Indeed, we show that aggregating more pedestrian detection datasets without costly identity annotations makes the shared feature maps more generic, and improves re-ID precision. Moreover, these boosted shared feature maps result in re-ID features more robust to a cross-dataset scenario.


title: An inequality for the normal derivative of the Lane-Emden ground state

abstract: We consider Lane-Emden ground states with polytropic index $0\leq q-1\leq 1$, that is, minimizers of the Dirichlet integral among $L^q$-normalized functions. Our main result is a sharp lower bound on the $L^2$-norm of the normal derivative in terms of the energy, which implies a corresponding isoperimetric inequality. Our bound holds for arbitrary bounded open Lipschitz sets $\Omega\subset\mathbb{R}^d$, without assuming convexity.


title: Prospects for gamma-ray observations of Hercules cluster

abstract: Galaxy clusters (GCs) are the largest and most massive gravitationally bound objects in the large-scale structure of the Universe. Due to keV temperatures of virialized gas in the intracluster medium (ICM) and presence of cosmic rays (CRs), GCs are effective sources of thermal X-ray radiation and non-thermal leptonic (synchrotron) radio emission. GCs are also store-rooms for hadronic CRs, but non-thermal hadronic gamma-ray emission (mainly, due to pp collisions and subsequent pion decay) from GCs has not been detected yet. In this work we simulate the expected non-thermal hadronic gamma-ray and neutrino emission from dominant part of Hercules cluster - GC A2151 - and estimate a perspective of detection of this emission by existing (Fermi-LAT, LHASSO, IceCube) and planned (CTA, IceCube-Gen2) ground-based ans space-based detectors.


title: On-The-Fly Solving for Symbolic Parity Games

abstract: Parity games can be used to represent many different kinds of decision problems. In practice, tools that use parity games often rely on a specification in a higher-order logic from which the actual game can be obtained by means of an exploration. For many of these decision problems we are only interested in the solution for a designated vertex in the game. We formalise how to use on-the-fly solving techniques during the exploration process, and show that this can help to decide the winner of such a designated vertex in an incomplete game. Furthermore, we define partial solving techniques for incomplete parity games and show how these can be made resilient to work directly on the incomplete game, rather than on a set of safe vertices. We implement our techniques for symbolic parity games and study their effectiveness in practice, showing that speed-ups of several orders of magnitude are feasible and overhead (if unavoidable) is typically low.


title: Path integral analysis of the axial anomaly in Very Special Relativity

abstract: In this note, we revise the problem of the axial anomaly in the framework of very special relativity following Fujikawa's path integral approach. We show nonperturbatively that no VSR contribution is present in the path integral measure in $(3+1)$-dimensional spacetime. Furthermore, we extend our results to $(1+1)$ dimensions, as well as to the two-dimesional curved spacetime.


title: Random walk diffusion simulations in semi-permeable layered media with varying diffusivity

abstract: In this paper we present analytical and random walk based solutions to diffusion in semi-permeable layered media with varying diffusivity. We propose a new random walk transit model (hybrid model) based on treating the membrane permeability and the change in diffusion as two infinitesimal separate phenomena. By conducting an extensive analytical flux analysis, the performance of our hybrid model is compared with a commonly used membrane model (reference model). We numerically demonstrate the limitations of the reference model and show the capability of our new model to overcome these restrictions. The suitability of both random walk transit models for the application to simulations of the diffusion tensor cardiovascular magnetic resonance (DT-CMR) is assessed in a histology-based domain. We consider a larger range of permeabilities to show the potential of our model to other possible applications beyond biological tissue.


title: The Stability of the Electron Strahl against the Oblique Fast-magnetosonic/Whistler Instability in the Inner Heliosphere

abstract: We analyze the micro-kinetic stability of the electron strahl in the solar wind depending on heliocentric distance. The oblique fast-magnetosonic/whistler (FM/W) instability has emerged in the literature as a key candidate mechanism for the effective scattering of the electron strahl into the electron halo population. Using data from Parker Solar Probe (PSP) and Helios, we compare the measured strahl properties with the analytical thresholds for the oblique FM/W instability in the low- and high-$\beta_{\parallel c}$ regimes, where $\beta_{\parallel c}$ is the ratio of the core parallel thermal pressure to the magnetic pressure. Our PSP and Helios data show that the electron strahl is on average stable against the oblique FM/W instability in the inner heliosphere. Our analysis suggests that the instability, if at all, can only be excited sporadically and on short timescales. We discuss the caveats of our analysis and potential alternative explanations for the observed scattering of the electron strahl in the solar wind. Furthermore, we recommend the numerical evaluation of the stability of individual distributions in the future to account for any uncertainties in the validity of the analytical expressions for the instability thresholds.


title: Formulation of the Generator Coordinate Method with arbitrary bases

abstract: The existing formalism used to compute the operator overlaps necessary to carry out generator coordinate method calculations using a set of Hartree- Fock- Bogoliubov wave functions, is generalized to the case where each of the HFB states are expanded in different arbitrary bases spanning different sub-space of the Hilbert space.


title: Learning Geometric Constraints in Task and Motion Planning

abstract: Searching for bindings of geometric parameters in task and motion planning (TAMP) is a finite-horizon stochastic planning problem with high-dimensional decision spaces. A robot manipulator can only move in a subspace of its whole range that is subjected to many geometric constraints. A TAMP solver usually takes many explorations before finding a feasible binding set for each task. It is favorable to learn those constraints once and then transfer them over different tasks within the same workspace. We address this problem by representing constraint knowledge with transferable primitives and using Bayesian optimization (BO) based on these primitives to guide binding search in further tasks. Via semantic and geometric backtracking in TAMP, we construct constraint primitives to encode the geometric constraints respectively in a reusable form. Then we devise a BO approach to efficiently utilize the accumulated constraints for guiding node expansion of an MCTS-based binding planner. We further compose a transfer mechanism to enable free knowledge flow between TAMP tasks. Results indicate that our approach reduces the expensive exploration calls in binding search by 43.60to 71.69 when compared to the baseline unguided planner.


title: SEN12MS-CR-TS: A Remote Sensing Data Set for Multi-modal Multi-temporal Cloud Removal

abstract: About half of all optical observations collected via spaceborne satellites are affected by haze or clouds. Consequently, cloud coverage affects the remote sensing practitioner's capabilities of a continuous and seamless monitoring of our planet. This work addresses the challenge of optical satellite image reconstruction and cloud removal by proposing a novel multi-modal and multi-temporal data set called SEN12MS-CR-TS. We propose two models highlighting the benefits and use cases of SEN12MS-CR-TS: First, a multi-modal multi-temporal 3D-Convolution Neural Network that predicts a cloud-free image from a sequence of cloudy optical and radar images. Second, a sequence-to-sequence translation model that predicts a cloud-free time series from a cloud-covered time series. Both approaches are evaluated experimentally, with their respective models trained and tested on SEN12MS-CR-TS. The conducted experiments highlight the contribution of our data set to the remote sensing community as well as the benefits of multi-modal and multi-temporal information to reconstruct noisy information. Our data set is available at https://patrickTUM.github.io/cloud_removal


title: Evolution of equilibrium particle beams under external wakefields

abstract: A beam of ultrarelativistic charged particles in a plasma can reach equilibrium with its own radial wakefield and then propagate with little change in shape. If some co-moving perturbation appears ahead of the beam, it may or may not destroy the beam with its wakefield, depending on the phase and amplitude of the wakefield. We numerically study which perturbations can destroy a single short bunch or a train of many short bunches at the parameters of interest for plasma wakefield acceleration in an axysimmetric configuration, and how fast. We find that there are particularly dangerous wakefield phases in which the beam can be destroyed by perturbations of very low amplitude. We also find that perturbations with an amplitude larger than the wakefield of a single bunch in the train are always destructive.


title: Searching for Anomalous Microwave Emission in nearby galaxies. K-band observations with the Sardinia Radio Telescope

abstract: We observed four nearby spiral galaxies (NGC 3627, NGC 4254, NGC 4736 and NGC 5055) in the K band with the 64-m Sardinia Radio Telescope, with the aim of detecting the Anomalous Microwave Emission (AME), a radiation component presumably due to spinning dust grains, observed so far in the Milky Way and in a handful of other galaxies only (most notably, M 31). We mapped the galaxies at 18.6 and 24.6 GHz and studied their global photometry together with other radio-continuum data from the literature, in order to find AME as emission in excess of the synchrotron and thermal components. We only find upper limits for AME. These non-detections, and other upper limits in the literature, are nevertheless consistent with the average AME emissivity from the few detections: it is $\epsilon^\mathrm{AME}_{\mathrm{30~GHz}} = 2.4\pm0.4 \times 10^{-2}$ MJy sr$^{-1}$ (M$_\odot$ pc$^{-2}$)$^{-1}$ in units of dust surface density (equivalently, $1.4\pm0.2 \times 10^{-18}$ Jy sr$^{-1}$ (H cm$^{-2}$)$^{-1}$ in units of H column density). We finally suggest to search for AME in quiescent spirals with relatively low radio luminosity, such as M~31.


title: Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

abstract: In online advertising, search engines sell ad placements for keywords continuously through auctions. This problem can be seen as an infinitely repeated game since the auction is executed whenever a user performs a query with the keyword. As advertisers may frequently change their bids, the game will have a large set of equilibria with potentially complex strategies. In this paper, we propose the use of natural strategies for reasoning in such setting as they are processable by artificial agents with limited memory and/or computational power as well as understandable by human users. To reach this goal, we introduce a quantitative version of Strategy Logic with natural strategies in the setting of imperfect information. In a first step, we show how to model strategies for repeated keyword auctions and take advantage of the model for proving properties evaluating this game. In a second step, we study the logic in relation to the distinguishing power, expressivity, and model-checking complexity for strategies with and without recall.


title: Leveraging Data and Analytics for Digital Business Transformation through DataOps: An Information Processing Perspective

abstract: Digital business transformation has become increasingly important for organizations. Since transforming business digitally is an ongoing process, it requires an integrated and disciplined approach. Data Operations (DataOps), emerging in practice, can provide organizations with such an approach to leverage data and analytics for digital business transformation. This paper proposes a framework that integrates digital business transformation, data analytics, and DataOps through the lens of information processing theory (IPT). The details of this framework explain how organizations can employ DataOps as an integrated and disciplined approach to understand their analytical information needs and develop the analytical information processing capability required for digital business transformation. DataOps-enabled digital business transformation, in turn, improves organizational performance by improving operational efficiency and creating new business models. This research extends current knowledge on digital transformation by bringing in DataOps and analytics through IPT and thereby provide organizations with a novel approach for their digital business transformations.


title: Team-Optimal MMSE Combining for Cell-Free Massive MIMO Systems

abstract: Cell-free (CF) massive multiple-input multiple-output (MIMO) systems are expected to implement advanced cooperative communication techniques to let geographically distributed access points jointly serve user equipments. Building on the \emph{Team Theory}, we design the uplink team minimum mean-squared error (TMMSE) combining under limited data and flexible channel state information (CSI) sharing. Taking into account the effect of both channel estimation errors and pilot contamination, a minimum MSE problem is formulated to derive unidirectional TMMSE, centralized TMMSE and statistical TMMSE combining functions, where CF massive MIMO systems operate in unidirectional CSI, centralized CSI and statistical CSI sharing schemes, respectively. We then derive the uplink spectral efficiency (SE) of the considered system. The results show that, compared to centralized TMMSE, the unidirectional TMMSE only needs nearly half the cost of CSI sharing burden with neglectable SE performance loss. Moreover, the performance gap between unidirectional and centralized TMMSE combining schemes can be effectively reduced by increasing the number of APs and antennas per AP.


title: Analytic modeling of recurrent Forbush decreases caused by corotating interaction regions

abstract: On scales of days, the galactic cosmic ray (GCR) flux is affected by coronal mass ejections and corotating interaction regions (CIRs), causing so-called Forbush decreases and recurrent Forbush decreases (RFDs), respectively. We explain the properties and behavior of RFDs recorded at about 1 au that are caused by CIRs generated by solar wind high-speed streams (HSSs) that emanate from coronal holes. We employed a convection-diffusion GCR propagation model based on the Fokker-Planck equation and applied it to solar wind and interplanetary magnetic field properties at 1 au. Our analysis shows that the only two effects that are relevant for a plausible overall explanation of the observations are the enhanced convection effect caused by the increased velocity of the HSS and the reduced diffusion effect caused by the enhanced magnetic field and its fluctuations within the CIR and HSS structure. These two effects that we considered in the model are sufficient to explain not only the main signatures of RFDs, but also the sometimes observed "over-recovery" and secondary dips in RFD profiles. The explanation in terms of the convection-diffusion GCR propagation hypothesis is tested by applying our model to the observations of a long-lived CIR that recurred over 27 rotations in 2007-2008. Our analysis demonstrates a very good match of the model results and observations.


title: Search for charged lepton flavor violating decays of $\Upsilon(1S)$

abstract: We present a search for the charged lepton-flavor-violating decays $\Upsilon(1S)\rightarrow\ell\ell^\prime$ and radiative charged lepton-flavour-violating decays $\Upsilon(1S)\rightarrow\gamma\ell\ell^\prime$ [$\ell,\ell^\prime = e, \mu, \tau$] using the 158 million $\Upsilon(2S)$ sample collected by the Belle detector at the KEKB collider. This search uses $\Upsilon(1S)$ mesons produced in $\pi^+\pi^-\Upsilon(1S)$ transitions. We do not find any significant signal, so we provide upper limits on the branching fractions at the 90% confidence level.


title: Swelling, Softening and Elastocapillary Adhesion of Cooked Pasta

abstract: The diverse chemical and physical reactions encountered during cooking connect us to science every day. Here, we theoretically and experimentally investigate the swelling and softening of pasta due to liquid imbibition, as well as the elastic deformation and adhesion of pasta due to capillary force. As water diffuses into the pasta during cooking, it softens gradually from the outside inward as starch swells. The softening follows three sequential regimes: Regime I shows a slow decrease of modulus with cooking time; Regime II, the glassy to rubbery transition region, is characterized by very fast, several orders of magnitude drop in modulus; and regime III, the rubbery region, has an asymptotic modulus about four orders of magnitude lower than the raw pasta. We present experiments and theory to capture these regimes and relate them to the heterogeneous microstructure changes associated with swelling. Interestingly, we observe a modulus drop of two orders of magnitude within the range of 'al dente' cooking duration, and we find the modulus to be extremely sensitive to the amount of salt added to the boiling water. While most chefs can gauge the pasta by tasting its texture, our proposed experiment, which only requires a measurement with a ruler, can precisely provide an optimal cooking time finely tuned for various kinds of pasta shapes.


title: Uplink Performance of High-Mobility Cell-Free Massive MIMO-OFDM Systems

abstract: High-speed train (HST) communications with orthogonal frequency division multiplexing (OFDM) techniques have received significant attention in recent years. Besides, cell-free (CF) massive multiple-input multiple-output (MIMO) is considered a promising technology to achieve the ultimate performance limit. In this paper, we focus on the performance of CF massive MIMO-OFDM systems with both matched filter and large-scale fading decoding (LSFD) receivers in HST communications. HST communications with small cell and cellular massive MIMO-OFDM systems are also analyzed for comparison. Considering the bad effect of Doppler frequency offset (DFO) on system performance, exact closed-form expressions for uplink spectral efficiency (SE) of all systems are derived. According to the simulation results, we find that the CF massive MIMO-OFDM system with LSFD achieves both larger SE and lower SE drop percentages than other systems. In addition, increasing the number of access points (APs) and antennas per AP can effectively compensate for the performance loss from the DFO. Moreover, there is an optimal vertical distance between APs and HST to achieve the maximum SE.


title: Generic profile of a long-lived corotating interaction region and associated recurrent Forbush decrease

abstract: We observe and analyse a long-lived corotating interaction region (CIR), originating from a single coronal hole (CH), recurring in 27 consecutive Carrington rotations 2057-2083 in the time period from June 2007 - May 2009. We studied the in situ measurements of this long-lived CIR as well as the corresponding depression in the cosmic ray (CR) count observed by SOHO/EPHIN throughout different rotations. We performed a statistical analysis, as well as the superposed epoch analysis, using relative values of the key parameters: the total magnetic field strength, B, the magnetic field fluctuations, dBrms, plasma flow speed, v, plasma density, n, plasma temperature, T , and the SOHO/EPHIN F-detector particle count, and CR count. We find that the mirrored CR count-time profile is correlated with that of the flow speed, ranging from moderate to strong correlation, depending on the rotation. In addition, we find that the CR count dip amplitude is correlated to the peak in the magnetic field and flow speed of the CIR. These results are in agreement with previous statistical studies. Finally, using the superposed epoch analysis, we obtain a generic CIR example, which reflects the in situ properties of a typical CIR well. Our results are better explained based on the combined convection-diffusion approach of the CIR-related GCR modulation. Furthermore, qualitatively, our results do not differ from those based on different CHs samples. This indicates that the change of the physical properties of the recurring CIR from one rotation to another is not qualitatively different from the change of the physical properties of CIRs originating from different CHs. Finally, the obtained generic CIR example, analyzed on the basis of superposed epoch analysis, can be used as a reference for testing future models.

categories: astro-ph.SR astro-ph.HE physics.plasm-ph physics.space-ph


title: Propagating uncertainty in a network of energy models

abstract: Computer models are widely used in decision support for energy systems operation, planning and policy. A system of models is often employed, where model inputs themselves arise from other computer models, with each model being developed by different teams of experts. Gaussian Process emulators can be used to approximate the behaviour of complex, computationally intensive models and used to generate predictions together with a measure of uncertainty about the predicted model output. This paper presents a computationally efficient framework for propagating uncertainty within a network of models with high-dimensional outputs used for energy planning. We present a case study from a UK county council considering low carbon technologies to transform its infrastructure to reach a net-zero carbon target. The system model considered for this case study is simple, however the framework can be applied to larger networks of more complex models.


title: Digitising SU(2) Gauge Fields and the Freezing Transition

abstract: Efficient discretisations of gauge groups are crucial with the long term perspective of using tensor networks or quantum computers for lattice gauge theory simulations. For any Lie group other than U$(1)$, however, there is no class of asymptotically dense discrete subgroups. Therefore, discretisations limited to subgroups are bound to lead to a freezing of Monte Carlo simulations at weak couplings, necessitating alternative partitionings without a group structure. In this work we provide a comprehensive analysis of this freezing for all discrete subgroups of SU$(2)$ and different classes of asymptotically dense subsets. We find that an appropriate choice of the subset allows unfrozen simulations for arbitrary couplings, though one has to be careful with varying weights of unevenly distributed points. A generalised version of the Fibonacci spiral appears to be particularly efficient and close to optimal.


title: Analytical evaluation of AdS${}_4$ Witten diagrams as flat space multi-loop Feynman integrals

abstract: We describe a systematic approach for the evaluation of Witten diagrams for multi-loop scattering amplitudes of a conformally coupled scalar $\phi^4$-theory in Euclidean AdS$_4$, by recasting the Witten diagrams as flat space Feynman integrals. We derive closed form expressions for the anomalous dimensions for all double-trace operators up to the second order in the coupling constant. We explain the relation between the flat space unitarity methods and the discontinuities of the short distance expansion on the boundary of Witten diagrams.


title: Fundamentals of Quantum Fourier Optics

abstract: All-quantum signal processing techniques are at the core of the successful advancement of most information-based quantum technologies. This paper develops coherent and comprehensive methodologies and mathematical models to describe Fourier optical signal processing in full quantum terms for any input quantum state of light. We begin this paper by introducing a spatially two-dimensional quantum state of a photon, associated with its wavefront and expressible as a two-dimensional creation operator. Then, by breaking down the Fourier optical processing apparatus into its key components, we strive to acquire the quantum unitary transformation or the input/output quantum relation of the two-dimensional creation operators. Subsequently, we take advantage of the above results to develop and obtain the quantum analogous of a few essential Fourier optical apparatus, such as quantum convolution via a 4f-processing system and a quantum 4f-processing system with periodic pupils. Moreover, due to the importance and widespread use of optical pulse shaping in various optical communications and optical sciences fields, we also present an analogous system in full quantum terms, namely quantum pulse shaping with an 8f-processing system. Finally, we apply our results to two extreme examples of the quantum state of light. One is based on a coherent (Glauber) state and the other on a single-photon number (Fock) state for each of the above optical systems. We believe the schemes and mathematical models developed in this paper can impact many areas of quantum optical signal processing, quantum holography, quantum communications, quantum radars and multiple-input/multiple-output antennas, and many more applications in quantum computations and quantum machine learning algorithms.


title: Spinor Boson Droplets Stabilized By Spin Fluctuations

abstract: Self-trapped droplets stabilized by quantum fluctuations have been experimentally realized in dipolar gases and binary Boson mixtures. We propose spinor Bose gases as another candidate for droplet formation in this work. For spin-1 gas, we find that spin fluctuations give a dilute but self-trapped state for two different order parameters where the mean-field picture predicts collapse. A polar droplet phase can be stabilized by spin fluctuations for both antiferromagnetic and ferromagnetic spin-dependent coupling. An antiferromagnetic droplet phase can be stabilized similarly with a negative quadratic Zeeman shift. Furthermore, the beyond mean-field energy of the system depends on the quadratic Zeeman coupling, which provides a mechanism to tune the droplet formation and its density. We discuss the parameters necessary for the experimental realization of such spinor droplets.


title: The merging galaxy cluster Abell 3266 at low radio frequencies

abstract: We present new low-frequency ($\nu = 88$-216 MHz) observations of the complex merging galaxy cluster Abell 3266. These new observations are taken with the Murchison Widefield Array (MWA) in its Phase II 'extended', long-baseline configuration, offering the highest-resolution low-frequency view of the cluster to date. We report on the detection of four steep spectrum ($\alpha \lesssim -1$ for $S_\nu \propto \nu^\alpha$) extended radio sources within the cluster. We confirm the detection of a $\sim 570$ kpc radio relic to the south of the cluster, and a possible bridge of emission connecting the relic to the cluster core. We also detect two new ultra-steep-spectrum ($\alpha \lesssim -1.7$) fossil plasma sources to the north and west of the cluster centre without associated compact radio emission. A previously detected radio galaxy in the cluster is also found to have a spectrally steepening tail with steep-spectrum components highlighted by the MWA. We do not detect a giant radio halo in the cluster. After simulating a range of radio haloes at 216 MHz we place upper limits on the radio luminosity corresponding to $\sim 7.2 \times 10^{24}$ W Hz$^{-1}$ at 150 MHz assuming the expected 500 kpc radius, up to a factor 5 lower than expected from scaling relations. Why a giant radio halo is undetected in Abell 3266 is unclear - the timeline of the merger and overall mass of the system as determined by optical and X-ray studies suggest the foundation for a hosting system.


title: Persistence and stability of a class of kinetic compartmental models

abstract: In this paper we show that the dynamics of a class of kinetic compartmental models with bounded capacities, monotone reaction rates and a strongly connected interconnection structure is persistent. The result is based on the chemical reaction network (CRN) and the corresponding Petri net representation of the system. For the persistence analysis, it is shown that all siphons in the Petri net of the studied model class can be characterized efficiently. Additionally, the existence and stability of equilibria are also analyzed building on the persistence and the theory of general compartmental systems. The obtained results can be applied in the analysis of general kinetic models based on the simple exclusion principle.


title: On the Complexity of Attacking Elliptic Curve Based Authentication Chips

abstract: In this paper we discuss the difficulties of mounting successful attack against crypto implementations when essential information is missing. We start with a detailed description of our attack against our own design, to highlight which information is needed to increase the success of an attack, i.e. we use it as a blueprint to the following attack against commercially available crypto chips. We would like to stress that our attack against our own design is very similar to what happens during certification e.g. according to Common Criteria Standard as in those cases the manufacturer needs to provide detailed information. When attacking the commercial designs without signing NDAs, we needed to intensively search the Internet for information about the designs. We cannot to reveal the private keys used by the attacked commercial authentication chips 100% correctly. Moreover, the missing knowledge of the used keys does not allow us to evaluate the success of our attack. We were able to reveal information on the processing sequence during the authentication process even as detailed as identifying the clock cycles in which the individual key bits are processed. To summarize the effort of such an attack is significantly higher than the one of attacking a well-known implementation.


title: Cubic Closed String Field Theory on a Double Layer

abstract: Various studies have attempted to extend the Witten's cubic open string field theory to the cubic closed string field theory, which may describe Einstein gravity in the low energy sector consistently. In the present study we propose a cubic closed string field theory, introducing a double layer to describe the closed string world-sheet as an extension of the open string world-sheet of the Witten's cubic open string. We mapped the closed string world-sheet onto the complex plane, of which the lower half plane is completely covered by the extended part of the string world-sheet. Using the Green's function on the complex plane, evaluated the Polyakov string path integral, from which we extracted the Neumann functions and the vertex operators. We obtained the one and two string vertices (identities) following this procedure and finally the cubic string vertex operator. It is notable that the obtained cubic string scattering amplitude coincide with the cubic graviton interaction of the Einstein gravity. Thus, the resultant cubic closed string field theory consistently describes the Einstein gravity. We also show that the Kawai-Lewellen-Tye (KLT) relations of the first quantized string theory may be manifested in the cubic closed string field theory.


title: Paired Image to Image Translation for Strikethrough Removal From Handwritten Words

abstract: Transcribing struck-through, handwritten words, for example for the purpose of genetic criticism, can pose a challenge to both humans and machines, due to the obstructive properties of the superimposed strokes. This paper investigates the use of paired image to image translation approaches to remove strikethrough strokes from handwritten words. Four different neural network architectures are examined, ranging from a few simple convolutional layers to deeper ones, employing Dense blocks. Experimental results, obtained from one synthetic and one genuine paired strikethrough dataset, confirm that the proposed paired models outperform the CycleGAN-based state of the art, while using less than a sixth of the trainable parameters.


title: Electromagnetic anomaly in the presence of electric and chiral magnetic conductivities in relativistic heavy-ion collisions

abstract: We study the spacetime evolution of electric $(\textbf{E})$ and magnetic $(\textbf{B})$ fields along with the electromagnetic anomaly $(\textbf{E}\cdot\textbf{B})$ in the presence of electric ($\sigma$) and chiral magnetic ($\sigma_{\chi}$) conductivities in Au+Au collisions at $\sqrt{s_{\mathrm{NN}}}=200$~GeV. By comparing to the Lienard-Wiechert solutions with zero conductivities, we observe a symmetry breaking of the electromagnetic field in a conducting medium with respect to the reaction plane. The decay of the field is also significantly decelerated after the conductivities are introduced. Similar effects are also found for the dipole structure of $\textbf{E}\cdot\textbf{B}$ as well as the quadrupole structure of $(\textbf{E}\cdot\textbf{B})\textbf{B}$, which may finally affect the charge separation of the elliptic flow coefficient of hadrons observed in high-energy nuclear collisions.


title: State-Conditioned Adversarial Subgoal Generation

abstract: Hierarchical reinforcement learning (HRL) proposes to solve difficult tasks by performing decision-making and control at successively higher levels of temporal abstraction. However, off-policy HRL often suffers from the problem of a non-stationary high-level policy since the low-level policy is constantly changing. In this paper, we propose a novel HRL approach for mitigating the non-stationarity by adversarially enforcing the high-level policy to generate subgoals compatible with the current instantiation of the low-level policy. In practice, the adversarial learning is implemented by training a simple state-conditioned discriminator network concurrently with the high-level policy which determines the compatibility level of subgoals. Comparison to state-of-the-art algorithms shows that our approach improves both learning efficiency and performance in challenging continuous control tasks.


title: Neural Implicit Surface Evolution

abstract: This work investigates the use of smooth neural networks for modeling dynamic variations of implicit surfaces under the level set equation (LSE). For this, it extends the representation of neural implicit surfaces to the space-time $\mathbb{R}^3\times \mathbb{R}$, which opens up mechanisms for continuous geometric transformations. Examples include evolving an initial surface towards general vector fields, smoothing and sharpening using the mean curvature equation, and interpolations of initial conditions. The network training considers two constraints. A data term is responsible for fitting the initial condition to the corresponding time instant, usually $\mathbb{R}^3 \times \{0\}$. Then, a LSE term forces the network to approximate the underlying geometric evolution given by the LSE, without any supervision. The network can also be initialized based on previously trained initial conditions, resulting in faster convergence compared to the standard approach.


title: DrugOOD: Out-of-Distribution (OOD) Dataset Curator and Benchmark for AI-aided Drug Discovery -- A Focus on Affinity Prediction Problems with Noise Annotations

abstract: AI-aided drug discovery (AIDD) is gaining increasing popularity due to its promise of making the search for new pharmaceuticals quicker, cheaper and more efficient. In spite of its extensive use in many fields, such as ADMET prediction, virtual screening, protein folding and generative chemistry, little has been explored in terms of the out-of-distribution (OOD) learning problem with \emph{noise}, which is inevitable in real world AIDD applications. In this work, we present DrugOOD, a systematic OOD dataset curator and benchmark for AI-aided drug discovery, which comes with an open-source Python package that fully automates the data curation and OOD benchmarking processes. We focus on one of the most crucial problems in AIDD: drug target binding affinity prediction, which involves both macromolecule (protein target) and small-molecule (drug compound). In contrast to only providing fixed datasets, DrugOOD offers automated dataset curator with user-friendly customization scripts, rich domain annotations aligned with biochemistry knowledge, realistic noise annotations and rigorous benchmarking of state-of-the-art OOD algorithms. Since the molecular data is often modeled as irregular graphs using graph neural network (GNN) backbones, DrugOOD also serves as a valuable testbed for \emph{graph OOD learning} problems. Extensive empirical studies have shown a significant performance gap between in-distribution and out-of-distribution experiments, which highlights the need to develop better schemes that can allow for OOD generalization under noise for AIDD.


title: Evidence against nuclear polarization as source of fine-structure anomalies in muonic atoms

abstract: A long-standing problem of fine-structure anomalies in muonic atoms is revisited by considering the $\Delta 2p$ splitting in muonic $^{90}\mathrm{Zr}$, $^{120}\mathrm{Sn}$ and $^{208}\mathrm{Pb}$ and the $\Delta 3p$ splitting in muonic $^{208}\mathrm{Pb}$. State-of-the-art techniques from both nuclear and atomic physics are brought together in order to perform the most comprehensive to date calculations of nuclear-polarization energy shifts. Barring the more subtle case of muonic $^{208}\mathrm{Pb}$, the results suggest that the dominant calculation uncertainty is much smaller than the persisting discrepancies between theory and experiment. We conclude that the resolution to the anomalies is likely to be rooted in refined QED corrections or even some other previously unaccounted-for contributions.


title: Question Generation for Evaluating Cross-Dataset Shifts in Multi-modal Grounding

abstract: Visual question answering (VQA) is the multi-modal task of answering natural language questions about an input image. Through cross-dataset adaptation methods, it is possible to transfer knowledge from a source dataset with larger train samples to a target dataset where training set is limited. Suppose a VQA model trained on one dataset train set fails in adapting to another, it is hard to identify the underlying cause of domain mismatch as there could exists a multitude of reasons such as image distribution mismatch and question distribution mismatch. At UCLA, we are working on a VQG module that facilitate in automatically generating OOD shifts that aid in systematically evaluating cross-dataset adaptation capabilities of VQA models.


title: Schwarzian transformations at null infinity

abstract: I describe the Schwarzian behavior of the gravitational field at null infinity under superrotations, to be understood as an \textit{unobservable} gauge artifact. To this end I review the induced geometry of null infinity and the construction of the gauge-invariant News tensor that characterizes gravitational radiation. I discuss potentially important implications for the celestial holography program, suggesting in particular that the uplift of the AdS$_3$/CFT$_2$ correspondence directly relates to the unobservable gauge sector.


title: On the dimension of certain sets araising in the base two expansion

abstract: We show that for the base two expansion \[ x=\sum_{i=1}^{\infty}2^{-(d_{1}(x)+d_{2}(x)+\dots+d_{i}(x))}\] with $x\in(0,1]$ and $d_{i}(x)\in\mathbb{N}$ the set $A=\{x|\lim_{i\to\infty}d_{i}(x)=\infty\}$ has Hausdorff dimension zero, this is opposed to a result on the continued fraction expansion, here $A$ has Hausdorff dimension $1/2$, see \cite{[GO]}. Furthermore we construct subsets of $B=\{x|\limsup_{i\to\infty}d_{i}(x)=\infty\}$ which have Hausdorff dimension one and find a dimension spectrum in set $B$.


title: Surface Properties of Colloidal Particles Affect Colloidal Self-Assembly in Evaporating Self-Lubricating Ternary Droplets

abstract: In this work, we unravel the role of surface properties of colloidal particles on the formation of supraparticles (clusters of colloidal particles) in a colloidal Ouzo droplet. Self-lubricating colloidal Ouzo droplets are an efficient and simple approach to form supraparticles, overcoming the challenge of the coffee stain effect in situ. Supraparticles are an efficient route to high-performance materials in various fields, from catalysis to carriers for therapeutics. Yet, the role of the surface of colloidal particles in the formation of supraparticles using Ouzo droplets remains unknown. Therefore, we used silica particles as a model system and compared sterically stabilized versus electrostatically stabilized silica particles - positively and negatively charged. Additionally, we studied the effect of hydration. Hydrated negatively charged silica particles and sterically stabilized silica particles form supraparticles. Conversely, dehydrated negatively charged silica particles and positively charged amine-coated particles form flat film-like deposits. Notably, the assembly process is different for all the four types of particles. The surface modifications alter (a) the contact line motion of the Ouzo droplet and (b) the particle-oil and particle-substrate interactions. These alterations modify the particle accumulation at the various interfaces, which ultimately determines the shape of the final deposit. Thus, by modulating the surface properties of the colloidal particles, we can tune the shape of the final deposit, from a spheroidal supraparticle to a flat deposit. In the future, this approach can be used to tailor the supraparticles for applications such as optics and catalysis, where the shape affects the functionality.


title: Probing infrared excess connection with Li enhancement among red clump giants

abstract: We have performed a search among low mass red giants for finding evidence for merger scenario for triggering He-flash and subsequent Li enhancement. We chose a sample of red giants from GALAH survey with well-measured Li abundances, and near and mid-IR fluxes from 2MASS and WISE surveys, respectively. The sample contains 418 cool red clump giants and 359 upper red giant branch giants. Most of the giants and majority of super Li-rich giants show no IR excess. Only five red clump giants and one RGB giant show IR excess. Notably, of the five red clump giants with IR excess, three are super Li-rich (A(Li) > = 3.2 dex), and two are Li-rich (A(Li) > = 1.0 dex). Results suggest Li enhancement among red clump giants may be due to two channels: one resulting from in-situ He-flash in single star evolution and the other due to He-flash triggered by events like merger of He-white dwarfs with giants He-inert core on RGB. In the latter case, IR excess, as a result of mass loss, is expected from merger events. We have modelled IR excess in all six giants using DUSTY code and derived dust parameters. The estimated kinematic ages and time scales of dust envelopes of the super Li-rich phase suggest Li enhancement took place very recently. Further, the analysis shows a significantly higher proportion (four out of five red clump giants) of rapid rotators (vsini > = 8 km/s) among Li-rich giants with IR excess compared to Li-normal and Li-rich giants with no IR excess.


title: Multiscale Generative Models: Improving Performance of a Generative Model Using Feedback from Other Dependent Generative Models

abstract: Realistic fine-grained multi-agent simulation of real-world complex systems is crucial for many downstream tasks such as reinforcement learning. Recent work has used generative models (GANs in particular) for providing high-fidelity simulation of real-world systems. However, such generative models are often monolithic and miss out on modeling the interaction in multi-agent systems. In this work, we take a first step towards building multiple interacting generative models (GANs) that reflects the interaction in real world. We build and analyze a hierarchical set-up where a higher-level GAN is conditioned on the output of multiple lower-level GANs. We present a technique of using feedback from the higher-level GAN to improve performance of lower-level GANs. We mathematically characterize the conditions under which our technique is impactful, including understanding the transfer learning nature of our set-up. We present three distinct experiments on synthetic data, time series data, and image domain, revealing the wide applicability of our technique.


title: Search for exotic leptons in final states with two or three leptons and fat-jets at 13 TeV LHC

abstract: Exotic leptons in large gauge multiplets, appearing in many scenarios beyond the Standard Model (SM), can be produced at the LHC in pairs or association. Owing to their large masses, their eventual decay products -- SM leptons and bosons -- tend to be highly boosted, with the jets stemming from the SM bosons more likely to manifest themselves as a single fat-jet rather than two resolved ones. With the corresponding SM backgrounds being suppressed, final states with two or three leptons and one or two fat-jets are expected to be sensitive in probing exotic fermions much heavier than 1 TeV, and we propose and investigate an appropriate search strategy. To concentrate on the essential, we consider extensions of the SM by leptonic multiplets of a single kind (triplets, quadruplets or quintuplets), bearing in mind that such simplified models typically arise as low-energy limits of more ambitious scenarios addressing various lacunae of the SM. Performing a systematic and comprehensive study of nine such scenarios at the 13 TeV LHC, we find that the corresponding $5\sigma$ discovery reaches a range from 985 GeV to 1650 GeV (1345 GeV to 2020 GeV) for 300 (3000) fb$^{-1}$.


title: Numerical analysis of a mixed-dimensional poromechanical model with frictionless contact at matrix-fracture interfaces

abstract: We present a complete numerical analysis for a general discretization of a coupled flow-mechanics model in fractured porous media, considering single-phase flows and including frictionless contact at matrix-fracture interfaces, as well as nonlinear poromechanical coupling. Fractures are described as planar surfaces, yielding the so-called mixed- or hybrid-dimensional models. Small displacements and a linear elastic behavior are considered for the matrix. The model accounts for discontinuous fluid pressures at matrix-fracture interfaces in order to cover a wide range of normal fracture conductivities. The numerical analysis is carried out in the Gradient Discretization framework, encompassing a large family of conforming and nonconforming discretizations. The convergence result also yields, as a by-product, the existence of a weak solution to the continuous model. A numerical experiment in 2D is presented to support the obtained result, employing a Hybrid Finite Volume scheme for the flow and second-order finite elements ($\mathbb P_2$) for the mechanical displacement coupled with face-wise constant ($\mathbb P_0$) Lagrange multipliers on fractures, representing normal stresses, to discretize the contact conditions.


title: AlphaFold Accelerates Artificial Intelligence Powered Drug Discovery: Efficient Discovery of a Novel Cyclin-dependent Kinase 20 (CDK20) Small Molecule Inhibitor

abstract: The AlphaFold computer program predicted protein structures for the whole human genome, which has been considered as a remarkable breakthrough both in artificial intelligence (AI) application and structural biology. Despite the varying confidence level, these predicted structures still could significantly contribute to structure-based drug design of novel targets, especially the ones with no or limited structural information. In this work, we successfully applied AlphaFold in our end-to-end AI-powered drug discovery engines constituted of a biocomputational platform PandaOmics and a generative chemistry platform Chemistry42, to identify a first-in-class hit molecule of a novel target without an experimental structure starting from target selection towards hit identification in a cost- and time-efficient manner. PandaOmics provided the targets of interest and Chemistry42 generated the molecules based on the AlphaFold predicted structure, and the selected molecules were synthesized and tested in biological assays. Through this approach, we identified a small molecule hit compound for CDK20 with a Kd value of 8.9 +/- 1.6 uM (n = 4) within 30 days from target selection and after only synthesizing 7 compounds. Based on the available data, the second round of AI-powered compound generation was conducted and through which, a more potent hit molecule, ISM042-2 048, was discovered with a Kd value of 210.0 +/- 42.4 nM (n = 2), within 30 days and after synthesizing 6 compounds from the discovery of the first hit ISM042-2-001. To the best of our knowledge, this is the first reported small molecule targeting CDK20 and more importantly, this work is the first demonstration of AlphaFold application in the hit identification process in early drug discovery.


title: Differentially private estimation in a class of directed network models

abstract: Although the theoretical properties in the $p_0$ model based on a differentially private bi-degree sequence have been derived, it is still lack of a unified theory for a general class of directed network models with the $p_{0}$ model as a special case. We use the popular Laplace data releasing method to output the bi-degree sequence of directed networks, which satisfies the private standard--differential privacy. The method of moment is used to estimate unknown parameters. We prove that the differentially private estimator is uniformly consistent and asymptotically normal under some conditions. Our results are illustrated by the Probit model. We carry out simulation studies to illustrate theoretical results and provide a real data analysis.


title: Reinforcing a Philosophy: A counting approach to square functions over local fields

abstract: In this paper, we revisit the square function estimates for extension operators over curves with torsion and prove results for planar curves of the form $(T,\phi(T))$ where $\phi(T)$ is a polynomial of degree at least 2. This includes new results for degenerate, finite type curves endowed with the Euclidean arclength measure such as those given by monomials $\phi(T) = T^k$ for $k \geq 3$. Our results are uniform over all local fields of characteristic 0.


title: What You See is Not What the Network Infers: Detecting Adversarial Examples Based on Semantic Contradiction

abstract: Adversarial examples (AEs) pose severe threats to the applications of deep neural networks (DNNs) to safety-critical domains, e.g., autonomous driving. While there has been a vast body of AE defense solutions, to the best of our knowledge, they all suffer from some weaknesses, e.g., defending against only a subset of AEs or causing a relatively high accuracy loss for legitimate inputs. Moreover, most existing solutions cannot defend against adaptive attacks, wherein attackers are knowledgeable about the defense mechanisms and craft AEs accordingly. In this paper, we propose a novel AE detection framework based on the very nature of AEs, i.e., their semantic information is inconsistent with the discriminative features extracted by the target DNN model. To be specific, the proposed solution, namely ContraNet, models such contradiction by first taking both the input and the inference result to a generator to obtain a synthetic output and then comparing it against the original input. For legitimate inputs that are correctly inferred, the synthetic output tries to reconstruct the input. On the contrary, for AEs, instead of reconstructing the input, the synthetic output would be created to conform to the wrong label whenever possible. Consequently, by measuring the distance between the input and the synthetic output with metric learning, we can differentiate AEs from legitimate inputs. We perform comprehensive evaluations under various AE attack scenarios, and experimental results show that ContraNet outperforms existing solutions by a large margin, especially under adaptive attacks. Moreover, our analysis shows that successful AEs that can bypass ContraNet tend to have much-weakened adversarial semantics. We have also shown that ContraNet can be easily combined with adversarial training techniques to achieve further improved AE defense capabilities.


title: Artefact Retrieval: Overview of NLP Models with Knowledge Base Access

abstract: Many NLP models gain performance by having access to a knowledge base. A lot of research has been devoted to devising and improving the way the knowledge base is accessed and incorporated into the model, resulting in a number of mechanisms and pipelines. Despite the diversity of proposed mechanisms, there are patterns in the designs of such systems. In this paper, we systematically describe the typology of artefacts (items retrieved from a knowledge base), retrieval mechanisms and the way these artefacts are fused into the model. This further allows us to uncover combinations of design decisions that had not yet been tried. Most of the focus is given to language models, though we also show how question answering, fact-checking and knowledgable dialogue models fit into this system as well. Having an abstract model which can describe the architecture of specific models also helps with transferring these architectures between multiple NLP tasks.


title: DuVisor: a User-level Hypervisor Through Delegated Virtualization

abstract: Today's mainstream virtualization systems comprise of two cooperative components: a kernel-resident driver that accesses virtualization hardware and a user-level helper process that provides VM management and I/O virtualization. However, this virtualization architecture has intrinsic issues in both security (a large attack surface) and performance. While there is a long thread of work trying to minimize the kernel-resident driver by offloading functions to user mode, they face a fundamental tradeoff between security and performance: more offloading may reduce the kernel attack surface, yet increase the runtime ring crossings between the helper process and the driver, and thus more performance cost. This paper explores a new design called delegated virtualization, which completely separates the control plane (the kernel driver) from the data plane (the helper process) and thus eliminates the kernel driver from runtime intervention. The resulting user-level hypervisor, called DuVisor, can handle all VM operations without trapping into the kernel once the kernel driver has done the initialization. DuVisor retrofits existing hardware virtualization support with a new delegated virtualization extension to directly handle VM exits, configure virtualization registers, manage the stage-2 page table and virtual devices in user mode. We have implemented the hardware extension on an open-source RISC-V CPU and built a Rust-based hypervisor atop the hardware. Evaluation on FireSim shows that DuVisor outperforms KVM by up to 47.96\% in a variety of real-world applications and significantly reduces the attack surface.


title: The Paradox of Choice: Using Attention in Hierarchical Reinforcement Learning

abstract: Decision-making AI agents are often faced with two important challenges: the depth of the planning horizon, and the branching factor due to having many choices. Hierarchical reinforcement learning methods aim to solve the first problem, by providing shortcuts that skip over multiple time steps. To cope with the breadth, it is desirable to restrict the agent's attention at each step to a reasonable number of possible choices. The concept of affordances (Gibson, 1977) suggests that only certain actions are feasible in certain states. In this work, we model "affordances" through an attention mechanism that limits the available choices of temporally extended options. We present an online, model-free algorithm to learn affordances that can be used to further learn subgoal options. We investigate the role of hard versus soft attention in training data collection, abstract value learning in long-horizon tasks, and handling a growing number of choices. We identify and empirically illustrate the settings in which the paradox of choice arises, i.e. when having fewer but more meaningful choices improves the learning speed and performance of a reinforcement learning agent.


title: Isolated parkinsonism is an atypical presentation of GRN and C9orf72 gene mutations

abstract: Introduction: A phenotype of isolated parkinsonism mimicking Idiopathic Parkinson's Disease (IPD) is a rare clinical presentation of GRN and C9orf72 mutations, the major genetic causes of frontotemporal dementia (FTD). It still remains controversial if this association is fortuitous or not, and which clinical clues could reliably suggest a genetic FTD etiology in IPD patients. This study aims to describe the clinical characteristics of FTD mutation carriers presenting with IPD phenotype, provide neuropathological evidence of the mutation's causality, and specifically address their "red flags" according to current IPD criteria. Methods: Seven GRN and C9orf72 carriers with isolated parkinsonism at onset, and three patients from the literature were included in this study. To allow better delineation of their phenotype, the presence of supportive, exclusion and "red flag" features from MDS criteria were analyzed for each case. Results: Amongst the ten patients (5 GRN, 5 C9orf72), seven fulfilled probable IPD criteria during all the disease course, while behavioral/language or motoneuron dysfunctions occurred later in three. Disease duration was longer and dopa-responsiveness was more sustained in C9orf72 than in GRN carriers. Subtle motor features, cognitive/behavioral changes, family history of dementia/ALS were suggestive clues for a genetic diagnosis. Importantly, neuropathological examination in one patient revealed typical TDP-43-inclusions without alpha-synucleinopathy, thus demonstrating the causal link between FTD mutations, TDP-43-pathology and PD phenotype. Conclusion: We showed that, altogether, family history of early-onset dementia/ALS, the presence of cognitive/behavioral dysfunction and subtle motor characteristics are atypical features frequently present in the parkinsonian presentations of GRN and C9orf72 mutations .


title: Multiple scattering of channeled and non-channeled positively charged particles in bent monocrystalline silicon

abstract: We present the results of an experimental study of multiple scattering of positively charged high energy particles in bent samples of monocrystalline silicon. This work confirms the recently discovered effect of a strong reduction in the rms multiple scattering angle of particles channeled in the silicon (111) plane. The effect is observed in the plane orthogonal to the bending plane. We show in detail the influence of angular constraints on the magnitude of the effect. Comparison of the multiple scattering process at different energies indicates a violation of the law of inverse proportionality of the rms angle of channeled particles with energy. By increasing the statistics, we have improved the results of multiple scattering measurements for particles moving, but not channeled, in silicon crystals.


title: A singular Riemannian geometry approach to Deep Neural Networks I. Theoretical foundations

abstract: Deep Neural Networks are widely used for solving complex problems in several scientific areas, such as speech recognition, machine translation, image analysis. The strategies employed to investigate their theoretical properties mainly rely on Euclidean geometry, but in the last years new approaches based on Riemannian geometry have been developed. Motivated by some open problems, we study a particular sequence of maps between manifolds, with the last manifold of the sequence equipped with a Riemannian metric. We investigate the structures induced trough pullbacks on the other manifolds of the sequence and on some related quotients. In particular, we show that the pullbacks of the final Riemannian metric to any manifolds of the sequence is a degenerate Riemannian metric inducing a structure of pseudometric space, we show that the Kolmogorov quotient of this pseudometric space yields a smooth manifold, which is the base space of a particular vertical bundle. We investigate the theoretical properties of the maps of such sequence, eventually we focus on the case of maps between manifolds implementing neural networks of practical interest and we present some applications of the geometric framework we introduced in the first part of the paper.


title: Eliminating the Perovskite Solar Cell Manufacturing Bottleneck via High-Speed Flexography

abstract: Perovskite solar cells have potential to deliver terawatt-scale power via low-cost manufacturing. However, scaling is limited by slow, high-temperature annealing of the inorganic transport layers and the lack of reliable, large-area methods for depositing thin (< 30 nm) charge transport layers (CTLs). We present a method for scaling ultrathin NiOx hole transport layers (HTLs) by pairing high-speed (60 m/min) flexographic printing with rapidly annealed sol-gel inks to achieve the fastest reported process for fabrication of inorganic CTLs for perovskites. By engineering precursor rheology for rapid film-leveling, NiOx HTLs were printed with high uniformity and ultralow pinhole densities resulting in photovoltaic performance exceeding that of spin-coated devices. Integrating these printed transport layers in planar inverted PSCs allows rapid fabrication of high efficiency (PCE > 15%) Cs(x)FA(1-x)PbI solar cells with improved short circuit currents (Jsc) of 22.4 mA/cm2. Rapid annealing of the HTL accelerates total processing time by 60X, while maintaining the required balance of optoelectronic properties and the chemical composition for effective hole collection. These results build an improved understanding of ultrathin NiOx and reveal opportunities to enhance device performance via scalable manufacturing of inorganic CTLs.


title: Real-Time Computer-Generated EIA for Light Field Display by Pre-Calculating and Pre-Storing the Invariable Voxel-Pixel Mapping

abstract: The elemental image array (EIA) for light field display, especially integral imaging light field display, was reliant on a virtual camera array, novel sampling algorithms, high-performance hardware or corresponding complex algorithms, which hinder its application. Without sacrificing accuracy and precision, we innovate a novel algorithm set to achieve video-level EIA generation. The invariable voxel to pixel relationship is pre-calculated and pre-stored as a lookup table or mapping. Benefiting from the very lookup table, the voxel array could be fast mapped to an EIA without contingent upon any high-end hardware.


title: Surrogate Neural Network Model for Sensitivity Analysis and Uncertainty Quantification of the Mechanical Behavior in the Optical Lens-Barrel Assembly

abstract: Surrogate neural network-based models have been lately trained and used in a variety of science and engineering applications where the number of evaluations of a target function is limited by execution time. In cell phone camera systems, various errors, such as interferences at the lens-barrel and lens-lens interfaces and axial, radial, and tilt misalignments, accumulate and alter profile of the lenses in a stochastic manner which ultimately changes optical focusing properties. Nonlinear finite element analysis of the stochastic mechanical behavior of lenses due to the interference fits is used on high-performance computing (HPC) to generate sufficient training and testing data for subsequent deep learning. Once properly trained and validated, the surrogate neural network model enabled accurate and almost instant evaluations of millions of function evaluations providing the final lens profiles. This computational model, enhanced by artificial intelligence, enabled us to efficiently perform Monte-Carlo analysis for sensitivity and uncertainty quantification of the final lens profile to various interferences. It can be further coupled with an optical analysis to perform ray tracing and analyze the focal properties of the lens module. Moreover, it can provide a valuable tool for optimizing tolerance design and intelligent components matching for many similar press-fit assembly processes.


title: Self-Sputtering of the Lennard-Jones Crystal

abstract: The self-sputtering yield of the (100) face-centered cubic (fcc) crystal surface consisting of particles interacting with the Lennard-Jones (LJ) potential is presented as a function of the normalized incident particle kinetic energy for normal incidence. Because the self-sputtering yield depends only on the normalized incident energy, the yield curve presented here is the universal curve, independent of the Lennard-Jones parameters, and therefore serves as the fundamental reference data for the LJ system. The self-sputtering yield data are also compared with experimentally obtained self-sputtering yields of some metals, which shows reasonable agreement at relatively low ion incident energy where mostly deposition occurs. At higher ion energy, the self-sputtering of such an LJ material does not represent those of real solids. This is because the repulsive interactions of the LJ potential do not represent those of actual atoms at short distances. The angle dependence of the self-sputtering yield is also presented for some selected normalized energies.


title: Cell voltage model for Li-Bi liquid metal batteries

abstract: Lithium-bismuth bimetallic cells are amongst the best explored liquid metal batteries. A simple and fast quasi-one-dimensional cell voltage model for such devices is presented. The equilibrium cell potential is obtained from a complex two-dimensional fit of data drawn from multiple studies of equilibrium cell potential and rendered congruent with the phase diagram. Likewise, several analytical and fit functions for the ohmic potential drop across the electrolyte are provided for different battery geometries. Mass transport overpotentials originating from the alloying of Li into Bi are modelled by solving a diffusion equation, either analytically or numerically, and accounting for the volume change of the positive electrode. The applicability and limitations of the model are finally illustrated in three distinct experimental settings.


title: Drying behavior of dense refractory castables. Part 2 Drying agents and design of heating schedules

abstract: Drying is the most critical process of the first heating cycle of monolithic dense refractories, as the reduced permeability of the resulting microstructure may lead to explosive spalling and mechanical damage associated with dewatering. The first part of this review series pointed out the various drying stages, the role of the binder components and the techniques that can be used to follow the water release in as-cast refractory materials, when they are exposed to heat. Although defining a suitable heating schedule is a great challenge, some tools can be applied to minimize the spalling risks associated with steam pressurization. In this context, this second review article points out (i) the main drying agents and how they affect the resulting castables' microstructure (organic fibers, metallic powders, permeability enhancing active compounds, silica-based additives and chelating agents), and (ii) the effects related to the procedures commonly applied during the designing of heating routine (i.e., the role of the heating rate, ramp versus holding time), as well as the influence of the castable's dimension on the overall drying behavior. Considering the recent advances regarding the design of refractory formulations and their processing, one may expect that incorporating suitable drying additives into the prepared composition should lead to a suitable and safer water release in such dense consolidated structures. Besides that, novel engineering opportunities, such as the use of in-situ based experimental techniques (i.e., neutron and X-ray tomography) to obtain more accurate data and the development of numerical models, might help in simulating and predicting the steam pressure developed in refractory systems during their first heating.


title: Consci\^encia e mec\^anica qu\^antica: uma abordagem filos\'ofica

abstract: This book deals with some ontological implications of standard non-relativistic quantum mechanics, and the use of the notion of `consciousness' to solve the measurement problem.


title: Revealing the doping density in perovskite solar cells and its impact on device performance

abstract: Traditional inorganic semiconductors can be electronically doped with high precision. Conversely, there is still conjecture regarding the assessment of the electronic doping density in metal-halide perovskites, not to mention of a control thereof. This paper presents a multifaceted approach to determine the electronic doping density for a range of different lead-halide perovskite systems. Optical and electrical characterisation techniques comprising intensity-dependent and transient photoluminescence, AC Hall effect, transfer-length-methods, and charge extraction measurements were instrumental in quantifying an upper limit for the doping density. The obtained values are subsequently compared to the charge on the electrodes per unit volume at short-circuit conditions, which amounts to roughly $10^{16}$ cm$^{-3}$. This figure equals the product of the capacitance $C$ and the built-in potential $V_\mathrm{bi}$ and represents the critical limit below which doping-induced charges do not influence the device performance. The experimental results demonstrate consistently that the doping density is below this critical threshold ($<10^{12}$ cm$^{-3}$ which means $<CV_\mathrm{bi}$ per unit volume) for all common lead-based metal-halide perovskites. Nevertheless, although the density of doping-induced charges is too low to redistribute the built-in voltage in the perovskite active layer, mobile ions are present in sufficient quantities to create space-charge-regions in the active layer, reminiscent of doped pn-junctions. These results are well supported by drift-diffusion simulations which confirm that the device performance is not affected by such low doping densities.


title: Novel Tin-based Gel Polymer Electrode and Its Use in Sodium-ion Capacitor

abstract: We present a novel tin based flexible, gel polymer negative electrode for use in sodium-ion devices. The electrodes have been prepared by trapping tin micro-particles in a porous electrolyte membrane formed by immersion precipitation phase-inversion and soaking in a sodium-ion conducting liquid electrolyte. The tin particles are the active electrode materials as well as electron conductors, while the gel polymer enable efficient ion-transfer to the tin particles. The composite gel electrode and its performance in sodium-ion capacitor has been analyzed using scanning electron microscopy. x-ray diffraction, cyclic voltammetry and galvanostatic charge-discharge. The specific capacity of the capacitor shows an initial increase, up to 175 charge-discharge cycles. This increase has been explained by the increase in surface area of tin due to disintegration of the larger particles upon repeated insertion/de-insertion of sodium. A high capacitance of 210 mAh g-1 at 1 A g-1 has also been measured.


title: Charge-Density-Wave Devices Printed with the Ink of Chemically Exfoliated 1T-TaS$_2$ Fillers

abstract: We report on the preparation of inks containing fillers derived from quasi-two-dimensional charge-density-wave materials, their application for inkjet printing, and the evaluation of their electronic properties in printed thin film form. The inks were prepared by liquid-phase exfoliation of CVT-grown 1T-TaS$_2$ crystals to produce fillers with nm-scale thickness and um-scale lateral dimensions. Exfoliated 1T-TaS$_2$ was dispersed in a mixture of isopropyl alcohol and ethylene glycol to allow fine-tuning of their thermo-physical properties for inkjet printing. The temperature-dependent electrical and current fluctuation measurements of printed thin films demonstrated that the charge-density-wave properties of 1T-TaS$_2$ are preserved after processing. The functionality of the printed thin-film devices can be defined by the nearly-commensurate to commensurate charge-density-wave phase transition of individual exfoliated 1T-TaS$_2$ fillers rather than by electron-hopping transport between them. These results provide pathways for the development of printed electronics with diverse functionality achieved by the incorporation of quasi-two-dimensional van der Waals quantum materials.


title: On Nonlocal Cohesive Continuum Mechanics and Cohesive Peridynamic Modeling (CPDM) of Inelastic Fracture

abstract: In this work, we developed a bond-based cohesive peridynamics model (CPDM) and apply it to simulate inelastic fracture by using the meso-scale Xu-Needleman cohesive potential . By doing so, we have successfully developed a bond-based cohesive continuum mechanics model with intrinsic stress/strain measures as well as consistent and built-in macro-scale constitutive relations. The main novelties of this work are: (1) We have shown that the cohesive stress of the proposed nonlocal cohesive continuum mechanics model is exactly the same as the nonlocal peridynamic stress; (2) For the first time, we have applied an irreversible built-in cohesive stress-strain relation in a bond-based cohesive peridynamics to model inelastic material behaviors without prescribing phenomenological plasticity stress-strain relations; (3) The cohesive bond force possesses both axial and tangential components, and they contribute a nonlinear constitutive relation with variable Poisson's ratios; (4) The bond-based cohesive constitutive model is consistent with the cohesive fracture criterion, and (5) We have shown that the proposed method is able to model inelastic fracture and simulate ductile fracture of small scale yielding in the nonlocal cohesive continua. Several numerical examples have been presented to be compared with the finite element based continuum cohesive zone model, which shows that the proposed approach is a simple, efficient and effective method to model inelastic fracture in the nonlocal cohesive media.


title: Variability aware Golden Reference Free methodology for Hardware Trojan Detection Using Robust Delay Analysis

abstract: Many fabless semiconductor companies outsource their designs to third-party fabrication houses. As trustworthiness of chain after outsourcing including fabrication houses is not established, any adversary in between, with malicious intent may tamper the design by inserting Hardware Trojans (HTs). Detection of such HTs is of utmost importance to assure the trust and integrity of the chips. However, the efficiency of detection techniques based on side-channel analysis is largely affected by process variations. In this paper, a methodology for detecting HTs by analyzing the delays of topologically symmetric paths is proposed. The proposed technique, rather than depending on golden ICs as a reference for HT detection, employs the concept of self-referencing. In this work, the fact that delays of topologically symmetric paths in an IC will be affected similarly by process variations is exploited. A procedure to chose topologically symmetric paths that are minimally affected by process variations is presented. Further, a technique is proposed to create topologically symmetric paths by inserting extra logic gates if such paths do not exist in the design intrinsically. Simulations performed on ISCAS-85 benchmarks establish that the proposed method is able to achieve a true positive rate of 100% with a false positive rate less than 3%. In our experimentation, We have considered the maximum of 15% intra-die and 20% inter-die variations in threshold voltage (Vth).