title: Photoluminescence features and nonlinear-optical properties of the Ag0.05Ga0.05Ge0.95S2eEr2S3 glasses

abstract: Preparation technology, the structure determination, multiband luminescence and nonlinear optical properties of the chalcogenide glasses are subject of present work. The glass samples with two different Er content were prepared by classical two-stage melt-quenching method. Glass state and morphology were confirmed by X-ray and EDS techniques. Influence of the Erbium doping on the luminescence and NLO properties was investigated.


title: A 1 m$^3$ Gas Time Projection Chamber with Optical Readout for Directional Dark Matter Searches: the CYGNO Experiment

abstract: The aim of the CYGNO project is the construction and operation of a 1~m$^3$ gas TPC for directional dark matter searches and coherent neutrino scattering measurements, as a prototype toward the 100-1000~m$^3$ (0.15-1.5 tons) CYGNUS network of underground experiments. In such a TPC, electrons produced by dark-matter- or neutrino-induced nuclear recoils will drift toward and will be multiplied by a three-layer GEM structure, and the light produced in the avalanche processes will be readout by a sCMOS camera, providing a 2D image of the event with a resolution of a few hundred micrometers. Photomultipliers will also provide a simultaneous fast readout of the time profile of the light production, giving information about the third coordinate and hence allowing a 3D reconstruction of the event, from which the direction of the nuclear recoil and consequently the direction of the incoming particle can be inferred. Such a detailed reconstruction of the event topology will also allow a pure and efficient signal to background discrimination. These two features are the key to reach and overcome the solar neutrino background that will ultimately limit non-directional dark matter searches.


title: Use of a spoof plasmon to optimize the coupling of infrared radiation to Josephson Junction fluxon oscillations

abstract: We show that Infrared radiation impinging onto a 1-d array of grooves drilled in the superconductor electrode of a long overlap junction can improve matching between fluxon oscillations at THz frequencies and a spoof plasmon of comparable wavelength. This example proves that metamaterials can be very helpful in integrating superconductive and subwavelength optical circuits with optimized matching bridging the gap between infrared and microwave radiation.


title: Spin-controlled generation of indistinguishable and distinguishable photons from silicon vacancy centres in silicon carbide

abstract: Quantum systems combining indistinguishable photon generation and spin-based quantum information processing are essential for remote quantum applications and networking. However, identification of suitable systems in scalable platforms remains a challenge. Here, we investigate the silicon vacancy centre in silicon carbide and demonstrate controlled emission of indistinguishable and distinguishable photons via coherent spin manipulation. Using strong off-resonant excitation and collecting photons from the ultra-stable zero-phonon line optical transitions, we show a two-photon interference contrast close to 90% in Hong-Ou-Mandel type experiments. Further, we exploit the system's intimate spin-photon relation to spin-control the colour and indistinguishability of consecutively emitted photons. Our results provide a deep insight into the system's spin-phonon-photon physics and underline the potential of the industrially compatible silicon carbide platform for measurement-based entanglement distribution and photonic cluster state generation. Additional coupling to quantum registers based on recently demonstrated coupled individual nuclear spins would further allow for high-level network-relevant quantum information processing, such as error correction and entanglement purification.


title: On two types of ultrafilter extensions of binary relations

abstract: There exist two distinct types of ultrafilter extensions of binary relations, one discovered in universal algebra and modal logic, and another, in model theory and algebra of ultrafilters. We show that the extension of the latter type is properly included in the extension of the former type, and describe their interaction with the relation algebra operations. Then we provide topological characterizations of both extensions and show that the larger extension continuously maps the space of ultrafilters into the space of filters endowed with the Vietoris topology.


title: Strategic improvement of second and third harmonic generation in multifunctional Cu-Sn-S3 ternary semiconducting thin films

abstract: We propose a low-cost approach for the synthesis of multifunctional CuSnS3 (CTS) ternary compound thin film via spray pyrolysis technique. By varying Sn and S doping concentrations, a high energy absorber layers of CuSnS3 thin films were deposited on a glass substrate at a substrate temperature of 405 C. The prepared samples were analysed with respect to their optical, structural and electrical and nonlinear optical properties. X-Ray diffraction (XRD) analysis reveals that the films exhibit a tetragonal crystal structure with a preferential growth orientation along (1 1 2). The surface morphology of the films was explored by atomic force microscopy (AFM) in tapping mode configuration. Variation in the carrier charge density and electrical properties were observed for different Sn and S combination. The analysis of the Raman spectra indicates the presence of multiple phases apart from CuSnS3. The obtained Raman spectra were assigned to phonon mode as per zone centre phonon representation of optical and acoustic modes and identified to dominant A symmetry modes. The maximal laser stimulated induced second harmonic generation (SHG) signal was observed for the CTS 3 film and the corresponding second order nonlinear optical susceptibility which was equal to about 0.89 pm/V at 1064 nm and the minimal SHG signal was found for the CTS 2 film (about 0.22 pm/V). This strategic improvement in SHG and third harmonic generation (THG) signal efficiency endorses the role of Sn and S in modulating second and third harmonic generations in CuSnS3 compound.


title: Investigating Multiwavelength Lognormality with Simulations : Case of Mrk 421

abstract: Blazars are highly variable and display complex characteristics. A key characteristic is the flux probability distribution function or flux PDF whose shape depends upon the form of the underlying physical process driving variability. The BL Lacertae Mrk 421 is one of the brightest and most variable blazars across the electromagnetic spectrum. It has been reported to show hints of lognormality across the spectrum from radio to gamma-ray histograms of observed fluxes. This would imply that the underlying mechanisms may not conform to the "standard" additive, multi-zone picture, but could potentially have multiplicative processes. This is investigated by testing the observed lightcurves at different wavelengths with time-series simulations. We find that the simulations reveal a more complex scenario, than a single lognormal distribution explaining the multiwavelength lightcurves of Mrk 421.


title: Vibronic states and their effect on the temperature and strain dependence of silicon-vacancy qubits in 4H silicon carbide

abstract: Silicon-vacancy qubits in silicon carbide (SiC) are emerging tools in quantum technology applications due to their excellent optical and spin properties. In this paper, we explore the effect of temperature and strain on these properties by focusing on the two silicon-vacancy qubits, V1 and V2, in 4H SiC. We apply density functional theory beyond the Born-Oppenheimer approximation to describe the temperature dependent mixing of electronic excited states assisted by phonons. We obtain polaronic gap around 5 and 22~meV for V1 and V2 centers, respectively, that results in significant difference in the temperature dependent dephasing and zero-field splitting of the excited states, which explains recent experimental findings. We also compute how crystal deformations affect the zero-phonon-line of these emitters. Our predictions are important ingredients in any quantum applications of these qubits sensitive to these effects.


title: Spatial quadratic variations for the solution to a stochastic partial differential equation with elliptic divergence form operator

abstract: We introduce a stochastic partial differential equation (SPDE) with elliptic operator in divergence form, with measurable and bounded coefficients and driven by space-time white noise. Such SPDEs could be used in mathematical modelling of diffusion phenomena in medium consisting of different kinds of materials and undergoing stochastic perturbations. We characterize the solution and, using the Stein--Malliavin calculus, we prove that the sequence of its recentered and renormalized spatial quadratic variations satisfies an almost sure central limit theorem. Particular focus is given to the interesting case where the coefficients of the operator are piecewise constant.


title: Real galaxy mergers from galaxy pair catalogs

abstract: Mergers of galaxies are extremely violent events shaping their evolution. Such events are thought to trigger starbursts and, possibly, black hole accretion. Nonetheless, it is still not clear how to know the fate of a galaxy pair from the data available at a given time, limiting our ability to constrain the exact role of mergers. In this paper we use the lightcone of the Horizon-AGN simulation, for which we know the fate of each pair, to test three selection processes aiming at identifying true merging pairs. We find that the simplest one (selecting objects within two thresholds on projected distance $d$ and redshift difference $\Delta z$) gives similar results than the most complex one (based on a neural network analyzing $d$, $\Delta z$, redshift of the primary, masses/star formation rates/aspect ratio of both galaxies). Our best thresholds are $d_\mathrm{th}\sim100\mathrm{\, kpc}$ and $\Delta z_\mathrm{th} \sim 10^{-3}$, in agreement with recent results.


title: From Natural Language Instructions to Complex Processes: Issues in Chaining Trigger Action Rules

abstract: Automation services for complex business processes usually require a high level of information technology literacy. There is a strong demand for a smartly assisted process automation (IPA: intelligent process automation) service that enables even general users to easily use advanced automation. A natural language interface for such automation is expected as an elemental technology for the IPA realization. The workflow targeted by IPA is generally composed of a combination of multiple tasks. However, semantic parsing, one of the natural language processing methods, for such complex workflows has not yet been fully studied. The reasons are that (1) the formal expression and grammar of the workflow required for semantic analysis have not been sufficiently examined and (2) the dataset of the workflow formal expression with its corresponding natural language description required for learning workflow semantics did not exist. This paper defines a new grammar for complex workflows with chaining machine-executable meaning representations for semantic parsing. The representations are at a high abstraction level. Additionally, an approach to creating datasets is proposed based on this grammar.


title: Contextual Constrained Learning for Dose-Finding Clinical Trials

abstract: Clinical trials in the medical domain are constrained by budgets. The number of patients that can be recruited is therefore limited. When a patient population is heterogeneous, this creates difficulties in learning subgroup specific responses to a particular drug and especially for a variety of dosages. In addition, patient recruitment can be difficult by the fact that clinical trials do not aim to provide a benefit to any given patient in the trial. In this paper, we propose C3T-Budget, a contextual constrained clinical trial algorithm for dose-finding under both budget and safety constraints. The algorithm aims to maximize drug efficacy within the clinical trial while also learning about the drug being tested. C3T-Budget recruits patients with consideration of the remaining budget, the remaining time, and the characteristics of each group, such as the population distribution, estimated expected efficacy, and estimation credibility. In addition, the algorithm aims to avoid unsafe dosages. These characteristics are further illustrated in a simulated clinical trial study, which corroborates the theoretical analysis and demonstrates an efficient budget usage as well as a balanced learning-treatment trade-off.


title: Deep Reinforcement Learning in Fluid Mechanics: a promising method for both Active Flow Control and Shape Optimization

abstract: In recent years, Artificial Neural Networks (ANNs) and Deep Learning have become increasingly popular across a wide range of scientific and technical fields, including Fluid Mechanics. While it will take time to fully grasp the potentialities as well as the limitations of these methods, evidence is starting to accumulate that point to their potential in helping solve problems for which no theoretically optimal solution method is known. This is particularly true in Fluid Mechanics, where problems involving optimal control and optimal design are involved. Indeed, such problems are famously difficult to solve effectively with traditional methods due to the combination of non linearity, non convexity, and high dimensionality they involve. By contrast, Deep Reinforcement Learning (DRL), a method of optimization based on teaching empirical strategies to an ANN through trial and error, is well adapted to solving such problems. In this short review, we offer an insight into the current state of the art of the use of DRL within fluid mechanics, focusing on control and optimal design problems.


title: Galaxy And Mass Assembly (GAMA): Defining Passive Galaxy Samples and Searching for the UV Upturn

abstract: We use data from the GAMA and GALEX surveys to demonstrate that the UV upturn, an unexpected excess of ultraviolet flux from a hot stellar component, seen in the spectra of many early-type galaxies, arises from processes internal to individual galaxies with no measurable influence from the galaxies' larger environment. We first define a clean sample of passive galaxies without a significant contribution to their UV flux from low-level star formation. We confirm that galaxies with the optical colours of red sequence galaxies often have signs of residual star formation, which, without other information, would prevent a convincing demonstration of the presence of UV upturns. However, by including (NUV$-u$) and {\it WISE} (W2-W3) colours, and FUV data where it exists, we can convincingly constrain samples to be composed of non-star-forming objects. Using such a sample, we examine GALEX photometry of low redshift GAMA galaxies in a range of low-density environments, from groups to the general field, searching for UV upturns. We find a wide range of (NUV$-r$) colours, entirely consistent with the range seen -- and attributed to the UV upturn -- in low-redshift red sequence cluster galaxies. The range of colours is independent of group multiplicity or velocity dispersion, with isolated passive galaxies just as likely to have blue UV-to-optical colours, implying significant upturn components, as those in richer groups and in the previous data on clusters. This is supported by equivalent results for (FUV$-r$) colours which are clear indicators of upturn components.


title: Taylor Moment Expansion for Continuous-Discrete Gaussian Filtering and Smoothing

abstract: The paper is concerned with non-linear Gaussian filtering and smoothing in continuous-discrete state-space models, where the dynamic model is formulated as an It\^{o} stochastic differential equation (SDE), and the measurements are obtained at discrete time instants. We propose novel Taylor moment expansion (TME) Gaussian filter and smoother which approximate the moments of the SDE with a temporal Taylor expansion. Differently from classical linearisation or It\^{o}--Taylor approaches, the Taylor expansion is formed for the moment functions directly and in time variable, not by using a Taylor expansion on the non-linear functions in the model. We analyse the theoretical properties, including the positive definiteness of the covariance estimate and stability of the TME Gaussian filter and smoother. By numerical experiments, we demonstrate that the proposed TME Gaussian filter and smoother significantly outperform the state-of-the-art methods in terms of estimation accuracy and numerical stability.


title: Comparing Constraints Mined From Execution Logs to Understand Software Evolution

abstract: Complex software systems evolve frequently, e.g., when introducing new features or fixing bugs during maintenance. However, understanding the impact of such changes on system behavior is often difficult. Many approaches have thus been proposed that analyze systems before and after changes, e.g., by comparing source code, model-based representations, or system execution logs. In this paper, we propose an approach for comparing run-time constraints, synthesized by a constraint mining algorithm, based on execution logs recorded before and after changes. Specifically, automatically mined constraints define the expected timing and order of recurring events and the values of data elements attached to events. Our approach presents the differences of the mined constraints to users, thereby providing a higher-level view on software evolution and supporting the analysis of the impact of changes on system behavior. We present a motivating example and a preliminary evaluation based on a cyber-physical system controlling unmanned aerial vehicles. The results of our preliminary evaluation show that our approach can help to analyze changed behavior and thus contributes to understanding software evolution.


title: Splitting theorems on complete Riemannian manifolds with nonnegative Ricci curvature

abstract: In this paper we provide some local and global splitting results on complete Riemannian manifolds with nonnegative Ricci curvature. We achieve the splitting through the analysis of some pointwise inequalities of Modica type which hold true for every bounded solution to a semilinear Poisson equation. More precisely, we prove that the existence of a nonconstant bounded solution $u$ for which one of the previous inequalities becomes an equality at some point leads to the splitting results as well as to a classification of such a solution $u$.


title: Limited Angle Tomography for Transmission X-Ray Microscopy Using Deep Learning

abstract: In transmission X-ray microscopy (TXM) systems, the rotation of a scanned sample might be restricted to a limited angular range to avoid collision to other system parts or high attenuation at certain tilting angles. Image reconstruction from such limited angle data suffers from artifacts due to missing data. In this work, deep learning is applied to limited angle reconstruction in TXMs for the first time. With the challenge to obtain sufficient real data for training, training a deep neural network from synthetic data is investigated. Particularly, the U-Net, the state-of-the-art neural network in biomedical imaging, is trained from synthetic ellipsoid data and multi-category data to reduce artifacts in filtered back-projection (FBP) reconstruction images. The proposed method is evaluated on synthetic data and real scanned chlorella data in $100^\circ$ limited angle tomography. For synthetic test data, the U-Net significantly reduces root-mean-square error (RMSE) from $2.55 \times 10^{-3}$ {\mu}m$^{-1}$ in the FBP reconstruction to $1.21 \times 10^{-3}$ {\mu}m$^{-1}$ in the U-Net reconstruction, and also improves structural similarity (SSIM) index from 0.625 to 0.920. With penalized weighted least square denoising of measured projections, the RMSE and SSIM are further improved to $1.16 \times 10^{-3}$ {\mu}m$^{-1}$ and 0.932, respectively. For real test data, the proposed method remarkably improves the 3-D visualization of the subcellular structures in the chlorella cell, which indicates its important value for nano-scale imaging in biology, nanoscience and materials science.


title: Modules whose finiteness dimensions coincide with their cohomological dimensions

abstract: Let a be an ideal of a commutative Noetherian ring R with identity. We study finitely generated R-modules M whose a-finiteness and a-cohomological dimensions are equal. In particular, we examine relative analogues of quasi-Buchsbaum, Buchsbaum and surjective Buchsbaum modules. We reveal several interactions between these types of modules that extend some of the existing results in the classical theory to the relative one.


title: Quasi-integrable KdV models, towers of infinite number of anomalous charges and soliton collisions

abstract: We found, through analytical and numerical methods, new towers of infinite number of asymptotically conserved charges for deformations of the Korteweg-de Vries equation (KdV). It is shown analytically that the standard KdV also exhibits some towers of infinite number of anomalous charges, and that their relevant anomalies vanish for $N-$soliton solution. Some deformations of the KdV model are performed through the Riccati-type pseudo-potential approach, and infinite number of exact non-local conservation laws is provided using a linear formulation of the deformed model. In order to check the degrees of modifications of the charges around the soliton interaction regions, we compute numerically some representative anomalies, associated to the lowest order quasi-conservation laws, depending on the deformation parameters $\{\epsilon_1, \epsilon_2\}$, which include the standard KdV ($\epsilon_1=\epsilon_2=0$), the regularized long-wave (RLW) ($\epsilon_1=1,\epsilon_2=0$), the modified regularized long-wave (mRLW) ($\epsilon_1=\epsilon_2=1$) and the KdV-RLW (KdV-BBM) type ($\epsilon_2=0,\,\epsilon \neq \{0,1\}$) equations, respectively. Our numerical simulations show the elastic scattering of two and three solitons for a wide range of values of the set $\{\epsilon_1, \epsilon_2\}$, for a variety of amplitudes and relative velocities. The KdV-type equations are quite ubiquitous in several areas of non-linear science, and they find relevant applications in the study of General Relativity on $AdS_{3}$, Bose-Einstein condensates, superconductivity and soliton gas and turbulence in fluid dynamics.


title: Quantum subspace alignment for domain adaptation

abstract: Domain adaptation (DA) is used for adaptively obtaining labels of an unprocessed data set with a given related, but different labelled data set. Subspace alignment (SA), a representative DA algorithm, attempts to find a linear transformation to align the subspaces of the two different data sets. The classifier trained on the aligned labelled data set can be transferred to the unlabelled data set to predict the target labels. In this paper, two quantum versions of the SA are proposed to implement the DA procedure on quantum devices. One method, the quantum subspace alignment algorithm (QSA), achieves quadratic speedup in the number and dimension of given samples. The other method, the variational quantum subspace alignment algorithm (VQSA), can be implemented on the near term quantum devices through a variational hybrid quantum-classical procedure. The results of the numerical experiments on different types of datasets demonstrate that the VQSA can achieve competitive performance compared with the corresponding classical algorithm.


title: Global climate modeling of Saturn's atmosphere. Part III: Global statistical picture of zonostrophic turbulence in high-resolution 3D-turbulent simulations

abstract: We conduct an in-depth analysis of statistical flow properties calculated from the reference high-resolution Saturn simulation obtained by global climate modelling in Part II. In the steady state of this reference simulation, strongly energetic, zonally dominated, large-scale structures emerge, which scale with the Rhines scale. Spectral analysis reveals a strong anisotropy in the kinetic energy spectra, consistent with the zonostrophic turbulent flow regime. By computing spectral energy and enstrophy fluxes we confirm the existence of a double cascade scenario related to 2D-turbulent theory. To diagnose the relevant 3D dynamical mechanisms in Saturn's turbulent atmosphere, we run a set of four simulations using an idealized version of our Global Climate Model devoid of radiative transfer, with a well-defined Taylor-Green forcing and over several rotation rates (4, 1, 0.5, and 0.25 times Saturn's rotation rate). This allows us to identify dynamics in three distinctive inertial ranges: (1) a ``residual-dominated'' range, in which non-axisymmetric structures dominate with a -5/3 spectral slope; (2) a ``zonostrophic inertial'' range, dominated by axisymmetric jets and characterized by the pile-up of strong zonal modes with a steeper, nearly -3, spectral slope; and (3) a ``large-scale'' range, beyond Rhines' typical length scale, in which the reference Saturn simulation and our idealized simulations differ. In the latter range, the dynamics is dominated by long-lived zonal modes 2 and 3 when a Saturn-like seasonal forcing is considered (reference simulation), and a steep energetic decrease with the idealized Taylor-Green forcing. Finally, instantaneous spectral fluxes show the coexistence of upscale and downscale enstrophy/energy transfers at large scales, specific to the regime of zonostrophic turbulence in a 3D atmosphere.


title: Squeezing of primordial gravitational waves as quantum discord

abstract: We investigate the squeezing of primordial gravitational waves (PGWs) in terms of quantum discord. We construct a classical state of PGWs without quantum discord and compare it with the Bunch-Davies vacuum. Then it is shown that the oscillatory behavior of the angular-power spectrum of the cosmic microwave background (CMB) fluctuations induced by PGWs can be the signature of the quantum discord of PGWs. In addition, we discuss the effect of quantum decoherence on the entanglement and the quantum discord of PGWs for super-horizon modes. For the state of PGWs with decoherence effect, we examine the decoherence condition and the correlation condition introduced by C. Kiefer et al. (Class. Quantum Grav. 24 (2007) 1699). We show that the decoherence condition is not sufficient for the separability of PGWs and the correlation condition implies that the PGWs in the matter-dominated era have quantum discord.


title: Characterization of photoelastic materials by combined Mach-Zehnder and conoscopic interferometry: Application to tetragonal lithium tetraborate crystals

abstract: Mach-Zehnder and conoscopic interferometry are used to explore photoelastic properties of anisotropic crystal materials. In a number of cases an application of both techniques significantly improves an accuracy of piezooptic and photoelastic measurements. The performance of such combined approach is demonstrated on tetragonal lithium tetraborate (LTB) single crystals, as an example. Special attention is paid to methodological and metrological aspects, such as measurement accuracy and the quantitative error analysis of the resulting measurements. Performing the interferometric measurements for different geometries of piezooptic coupling the full sets of piezooptic and photoelastic tensor constants of LTB crystals have been determined. The acoustooptic efficiency, on the other hand, has been evaluated using the magnitudes of photoelastic constants derived from the piezooptical measurements. For the geometries with strong photoelastic coupling LTB demonstrates quite large acoustooptic performance with figure of merit value , $M_2$ achieving 2.12 $\times$ 10$^{-15}$ s$^3$/kg. It is several times larger than that of strontium borate crystals, nowadays the best acoustooptic material in deep ultraviolet spectral region.


title: Correlated insulating phases of twisted bilayer graphene at commensurate filling fractions: a Hartree-Fock study

abstract: Motivated by the recently observed insulating states in twisted bilayer graphene, we study the nature of the correlated insulating phases of the twisted bilayer graphene at commensurate filling fractions. We use the continuum model and project the Coulomb interaction onto the flat bands to study the ground states by using a Hartree-Fock approximation. In the absence of the hexagonal boron nitride substrate, the ground states are the intervalley coherence states at charge neutrality (filling $\nu$ = 0, or four electrons per moir\'e cell) and at $\nu$ = -1/4 and -1/2 (three and two electrons per cell, respectively) and the $C_2\mathcal{T}$ symmetry-broken state at $\nu$= -3/4 (one electron per cell). The hexagonal boron nitride substrate drives the ground states at all $\nu$ into $C_2\mathcal{T}$ symmetry broken-states. Our results provide good reference points for further study of the rich correlated physics in the twisted bilayer graphene.


title: Many-Body Dephasing in a Trapped-Ion Quantum Simulator

abstract: How a closed interacting quantum many-body system relaxes and dephases as a function of time is a fundamental question in thermodynamic and statistical physics. In this work, we analyse and observe the persistent temporal fluctuations after a quantum quench of a tunable long-range interacting transverse-field Ising Hamiltonian realized with a trapped-ion quantum simulator. We measure the temporal fluctuations in the average magnetization of a finite-size system of spin-$1/2$ particles. We experiment in a regime where the properties of the system are closely related to the integrable Hamiltonian with global spin-spin coupling, which enables analytical predictions even for the long-time non-integrable dynamics. The analytical expression for the temporal fluctuations predicts the exponential suppression of temporal fluctuations with increasing system size. Our measurement data is consistent with our theory predicting the regime of many-body dephasing.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el physics.atom-ph quant-ph


title: Questioning the AI: Informing Design Practices for Explainable AI User Experiences

abstract: A surge of interest in explainable AI (XAI) has led to a vast collection of algorithmic work on the topic. While many recognize the necessity to incorporate explainability features in AI systems, how to address real-world user needs for understanding AI remains an open question. By interviewing 20 UX and design practitioners working on various AI products, we seek to identify gaps between the current XAI algorithmic work and practices to create explainable AI products. To do so, we develop an algorithm-informed XAI question bank in which user needs for explainability are represented as prototypical questions users might ask about the AI, and use it as a study probe. Our work contributes insights into the design space of XAI, informs efforts to support design practices in this space, and identifies opportunities for future XAI work. We also provide an extended XAI question bank and discuss how it can be used for creating user-centered XAI.


title: Dark Patterns after the GDPR: Scraping Consent Pop-ups and Demonstrating their Influence

abstract: New consent management platforms (CMPs) have been introduced to the web to conform with the EU's General Data Protection Regulation, particularly its requirements for consent when companies collect and process users' personal data. This work analyses how the most prevalent CMP designs affect people's consent choices. We scraped the designs of the five most popular CMPs on the top 10,000 websites in the UK (n=680). We found that dark patterns and implied consent are ubiquitous; only 11.8% meet the minimal requirements that we set based on European law. Second, we conducted a field experiment with 40 participants to investigate how the eight most common designs affect consent choices. We found that notification style (banner or barrier) has no effect; removing the opt-out button from the first page increases consent by 22--23 percentage points; and providing more granular controls on the first page decreases consent by 8--20 percentage points. This study provides an empirical basis for the necessary regulatory action to enforce the GDPR, in particular the possibility of focusing on the centralised, third-party CMP services as an effective way to increase compliance.


title: Audio Inpainting: Revisited and Reweighted

abstract: We deal with the problem of sparsity-based audio inpainting, i.e. filling in the missing segments of audio. A consequence of the approaches based on mathematical optimization is the insufficient amplitude of the signal in the filled gaps. Remaining in the framework based on sparsity and convex optimization, we propose improvements to audio inpainting, aiming at compensating for such an energy loss. The new ideas are based on different types of weighting, both in the coefficient and the time domains. We show that our propositions improve the inpainting performance in terms of both the SNR and ODG.


title: Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling

abstract: We establish an exactly tight relation between reversible pebblings of graphs and Nullstellensatz refutations of pebbling formulas, showing that a graph $G$ can be reversibly pebbled in time $t$ and space $s$ if and only if there is a Nullstellensatz refutation of the pebbling formula over $G$ in size $t+1$ and degree $s$ (independently of the field in which the Nullstellensatz refutation is made). We use this correspondence to prove a number of strong size-degree trade-offs for Nullstellensatz, which to the best of our knowledge are the first such results for this proof system.


title: Minimizing the Age of Information of Cognitive Radio-Based IoT Systems Under A Collision Constraint

abstract: This paper considers a cognitive radio-based IoT monitoring system, consisting of an IoT device that aims to update its measurement to a destination using cognitive radio technique. Specifically, the IoT device as a secondary user (SIoT), seeks and exploits the spectrum opportunities of the licensed band vacated by its primary user (PU) to deliver status updates without causing visible effects to the licensed operation. In this context, the SIoT should carefully make use of the licensed band and schedule when to transmit to maintain the timeliness of the status update. We adopt a recent metric, Age of Information (AoI), to characterize the timeliness of the status update of the SIoT. We aim to minimize the long-term average AoI of the SIoT while satisfying the collision constraint imposed by the PU by formulating a constrained Markov decision process (CMDP) problem. We first prove the existence of optimal stationary policy of the CMDP problem. The optimal stationary policy (termed age-optimal policy) is shown to be a randomized simple policy that randomizes between two deterministic policies with a fixed probability. We prove that the two deterministic policies have a threshold structure and further derive the closed-form expression of average AoI and collision probability for the deterministic threshold-structured policy by conducting Markov Chain analysis. The analytical expression offers an efficient way to calculate the threshold and randomization probability to form the age-optimal policy. For comparison, we also consider the throughput maximization policy (termed throughput-optimal policy) and analyze the average AoI performance under the throughput-optimal policy in the considered system. Numerical simulations show the superiority of the derived age-optimal policy over the throughput-optimal policy. We also unveil the impacts of various system parameters on the corresponding optimal policy and the resultant average AoI.


title: Quantum Ostrogradsky theorem

abstract: The Ostrogradsky theorem states that any classical Lagrangian that contains time derivatives higher than the first order and is nondegenerate with respect to the highest-order derivatives leads to an unbounded Hamiltonian which linearly depends on the canonical momenta. Recently, the original theorem has been generalized to nondegeneracy with respect to non-highest-order derivatives. These theorems have been playing a central role in construction of sensible higher-derivative theories. We explore quantization of such nondegenerate theories, and prove that Hamiltonian is still unbounded at the level of quantum field theory.


title: Edge colorings and circular flows on regular graphs

abstract: Let $\phi_c(G)$ be the circular flow number of a bridgeless graph $G$. In [Edge-colorings and circular flow numbers of regular graphs, J. Graph Theory 79 (2015) 1-7] it was proved that, for every $t \geq 1$, $G$ is a bridgeless $(2t+1)$-regular graph with $\phi_c(G) \in \{2+\frac{1}{t}, 2 + \frac{2}{2t-1}\}$ if and only if $G$ has a perfect matching $M$ such that $G-M$ is bipartite. This implies that $G$ is a class 1 graph. For $t=1$, all graphs with circular flow number bigger than 4 are class 2 graphs. We show for all $t \geq 1$, that $2 + \frac{2}{2t-1} = \inf \{ \phi_c(G)\colon G \text{ is a } (2t+1) \text{-regular class } 2 \text{ graph}\}$. This was conjectured to be true in [Edge-colorings and circular flow numbers of regular graphs, J. Graph Theory 79 (2015) 1-7]. Moreover we prove that $\inf\{ \phi_c(G)\colon G $ is a $ (2t+1)$-regular class $1$ graph with no perfect matching whose removal leaves a bipartite graph$ \} = 2 + \frac{2}{2t-1}$. We further disprove the conjecture that every $(2t+1)$-regular class $1$ graph has circular flow number at most $2+\frac{2}{t}$.


title: Direct sum for basic cohomology of codimension four taut Riemannian foliation

abstract: We discuss the decomposition of degree two basic cohomology for codimension four taut Riemannian foliation according to the holonomy invariant transversal almost complex structure J, and show that J is C pure and full. In addition, we obtain an estimate of the dimension of basic J-anti-invariant subgroup. These are the foliated version for the corresponding results of T. Draghici et al.


title: Evidence for Galactic disc RR~Lyrae stars in the Solar neighbourhood

abstract: We present a kinematical study of 314 RR~Lyrae stars in the solar neighbourhood using the publicly available photometric, spectroscopic, and {\it Gaia} DR2 astrometric data to explore their distribution in the Milky Way. We report an overdensity of 22 RR~Lyrae stars in the solar neighbourhood at a pericenter distance of between 5--9\,kpc from the Galactic center. Their orbital parameters and their chemistry indicate that these 22 variables share the kinematics and the [Fe/H] values of the Galactic disc, with an average metallicity and tangential velocity of [Fe/H]=$-0.60$\,dex and $v_{\theta} = 241$\,km\,s$^{-1}$, respectively. From the distribution of the Galactocentric spherical velocity components, we find that these 22 disc-like RR~Lyrae variables are not consistent with the {\it Gaia} Sausage ({\it Gaia}-Enceladus), unlike almost half of the local RR~Lyrae stars. Chemical information from the literature shows that the majority of the selected pericenter peak RR~Lyrae variables are $\alpha$-poor, a property shared by typically much younger stars in the thin disc. Using the available photometry we rule out a possible misclassification with the known classical and anomalous Cepheids. The similar kinematic, chemical, and pulsation properties of these disc RR~Lyrae stars suggest they share a common origin. In contrast, we find the RR~Lyrae stars associated with the {\it Gaia}-Enceladus based on their kinematics and chemical composition show a considerable metallicity spread in the old population ($\sim$~1\,dex).


title: Probability distributions for the run-and-tumble models with variable speed and tumbling rate

abstract: In this paper we consider a telegraph equation with time-dependent coefficients, governing the persistent random walk of a particle moving on the line with a time-varying velocity $c(t)$ and changing direction at instants distributed according to a non-stationary Poisson distribution with rate $\lambda(t)$. We show that, under suitable assumptions, we are able to find the exact form of the probability distribution. We also consider the space-fractional counterpart of this model, finding the characteristic function of the related process. A conclusive discussion is devoted to the potential applications to run-and-tumble models.


title: Testing marginal homogeneity in Hilbert spaces with applications to stock market returns

abstract: The paper considers a paired data framework and discuss the question of marginal homogeneity of bivariate high dimensional or functional data. The related testing problem can be endowed into a more general setting for paired random variables taking values in a general Hilbert space. To address this problem, a Cramer-von-Mises type test statistic is applied and a bootstrap procedure is suggested to obtain critical values and finally a consistent test. The desired properties of a bootstrap test can be derived, that are asymptotic exactness under the null hypothesis and consistency under alternatives. Simulations show the quality of the test in the finite sample case. A possible application is the comparison of two possibly dependent stock market returns on the basis of functional data. The approach is demonstrated on the basis of historical data for different stock market indices.


title: Maximum likelihood estimation in the non-ergodic fractional Vasicek model

abstract: We investigate the fractional Vasicek model described by the stochastic differential equation $dX_t=(\alpha -\beta X_t)\,dt+\gamma \,dB^H_t$, $X_0=x_0$, driven by the fractional Brownian motion $B^H$ with the known Hurst parameter $H\in (1/2,1)$. We study the maximum likelihood estimators for unknown parameters $\alpha$ and $\beta$ in the non-ergodic case (when $\beta <0$) for arbitrary $x_0\in \mathbb{R}$, generalizing the result of Tanaka, Xiao and Yu (2019) for particular $x_0=\alpha /\beta$, derive their asymptotic distributions and prove their asymptotic independence.


title: Isometric actions on Lp-spaces: dependence on the value of p

abstract: Answering a question by Chatterji--Dru\c{t}u--Haglund, we prove that, for every locally compact group $G$, there exists a critical constant $p_G \in [0,\infty]$ such that $G$ admits a continuous affine isometric action on an $L_p$ space ($0<p<\infty$) with unbounded orbits if and only if $p \geq p_G$. A similar result holds for the existence of proper continuous affine isometric actions on $L_p$ spaces. Using a representation of cohomology by harmonic cocycles, we also show that such unbounded orbits cannot occure when the linear part comes from a measure preserving action, or more generally a state-preserving action on a von Neumann algebra and $p>2$. We also prove the stability of this critical constant $p_G$ under $L_p$ measure equivalence, answering a question of Fisher. We use this to show that for every connected semisimple Lie group $G$ and for every lattice $\Gamma < G$, we have $p_\Gamma=p_G$.


title: Comparing Python, Go, and C++ on the N-Queens Problem

abstract: Python currently is the dominant language in the field of Machine Learning but is often criticized for being slow to perform certain tasks. In this report, we use the well-known $N$-queens puzzle as a benchmark to show that once compiled using the Numba compiler it becomes competitive with C++ and Go in terms of execution speed while still allowing for very fast prototyping. This is true of both sequential and parallel programs. In most cases that arise in an academic environment, it therefore makes sense to develop in ordinary Python, identify computational bottlenecks, and use Numba to remove them.


title: Nonlinear Traffic Prediction as a Matrix Completion Problem with Ensemble Learning

abstract: This paper addresses the problem of short-term traffic prediction for signalized traffic operations management. Specifically, we focus on predicting sensor states in high-resolution (second-by-second). This contrasts with traditional traffic forecasting problems, which have focused on predicting aggregated traffic variables, typically over intervals that are no shorter than 5 minutes. Our contributions can be summarized as offering three insights: first, we show how the prediction problem can be modeled as a matrix completion problem. Second, we employ a block-coordinate descent algorithm and demonstrate that the algorithm converges in sub-linear time to a block coordinate-wise optimizer. This allows us to capitalize on the "bigness" of high-resolution data in a computationally feasible way. Third, we develop an ensemble learning (or adaptive boosting) approach to reduce the training error to within any arbitrary error threshold. The latter utilizes past days so that the boosting can be interpreted as capturing periodic patterns in the data. The performance of the proposed method is analyzed theoretically and tested empirically using both simulated data and a real-world high-resolution traffic dataset from Abu Dhabi, UAE. Our experimental results show that the proposed method outperforms other state-of-the-art algorithms.


title: Breaking whispering-gallery modes of massless Dirac fermions in graphene quantum dots by Coulomb interaction

abstract: Coulomb interaction is of central importance in localized energy levels (bound states) or electronic flat bands and could result in many exotic quantum phases, such as magnetic, superconducting, and topological phases in graphene systems1-14. In graphene monolayer, the relativistic massless Dirac fermion nature of the charge carriers enables us to realize unprecedented quasibound states, which are trapped temporarily via whispering-gallery modes (WGMs) with the lifetime (trapping time) of ~ 10 fs, in circular graphene quantum dots (GQDs)15-20. Here we show that Coulomb interaction still plays a dominating role in determining the electronic properties of the temporarily-confined quasibound states. Our scanning tunneling microscopy (STM) and spectroscopy (STS) measurements demonstrate that the discrete quasibound state in a GQD will split into two peaks when it is partially filled. The energy separation of the two split peaks increases linear with inverse effective radius of the GQDs, indicating that the splitting arises from the Coulomb interaction. Moreover, we show that the real space distribution of the two split states separates in different regions of the GQD to reduce the Coulomb interaction, leading to the breaking of the WGM of the quasibound states.


title: Available energy of magnetically confined plasmas

abstract: The concept of available energy of a collisionless plasma is discussed in the context of magnetic confinement. The available energy quantifies how much of the plasma energy can be converted into fluctuations (including nonlinear ones) and is thus a measure of plasma stability, which can be used to derive linear and nonlinear stability criteria without solving an eigenvalue problem. In a magnetically confined plasma, the available energy is determined by the density and temperature profiles as well as the magnetic geometry. It also depends on what constraints limit the possible forms of plasma motion, such as the conservation of adiabatic invariants and the requirement that the transport be ambipolar. A general method based on Lagrange multipliers is devised to incorporate such constraints in the calculation of the available energy, and several particular cases are discussed. In particular, it is shown that it is impossible to confine a plasma in a Maxwellian ground state relative to perturbations with frequencies exceeding the ion bounce frequency.


title: Analyzing the Local Basis Set Superposition Error -- a case study of CO adsorption on rutile(110)

abstract: The aim of this letter is to introduce a new method to analyze the local basis set superposition error (LBSSE) using local counterpoise corrections (CP) in order to converge a basis set for a given compound. Using this approach, we are able to define a basis set composition for a CO molecule adsorbed on rutile(110), which can be regarded as complete. In addition to a new LBSSE analysis, adsorption energies of CO on rutile(110) at the MP2 and CCSD level of theory are presented.


title: Architecting Safe Automated Driving with Legacy Platforms

abstract: Modern vehicles have electrical architectures whose complexity grows year after year due to feature growth corresponding to customer expectations. The latest of the expectations, automation of the dynamic driving task however, is poised to bring about some of the largest changes seen so far. In one fell swoop, not only does required functionality for automated driving drastically increase the system complexity, it also removes the fall-back of the human driver who is usually relied upon to handle unanticipated failures after the fact. The need to architect thus requires a greater rigour than ever before, to maintain the level of safety that has been associated with the automotive industry. The work that is part of this thesis has been conducted, in close collaboration with our industrial partner Scania CV AB, within the Vinnova FFI funded project ARCHER. This thesis aims to provide a methodology for architecting during the concept phase of development, using industrial practices and principles including those from safety standards such as ISO 26262. The main contributions of the thesis are in two areas. The first area i.e. Part A contributes, (i) an analysis of the challenges of architecting automated driving, and serves as a motivation for the approach taken in the rest of this thesis, i.e. Part B where the contributions include, (ii) a definition of a viewpoint for functional safety according to the definitions of ISO 42010, (iii) a method to systematically extract information from legacy components and (iv) a process to use legacy information and architect in the presence of uncertainty to provide a work product, the Preliminary Architectural Assumptions (PAA), as required by ISO 26262. The contributions of Part B together comprise a methodology to architect the PAA. <read full abstract in pdf>


title: Bose-Fermi Equivalence in the Half String Theory

abstract: The bosonic representation of the half string ghost in the full string basis is examined in full. The proof that the comma 3- vertex (matter and ghost) in the bosonic representation satisfy the Ward-like identities is established thus completing the proof of the Bose Fermi equivalence in the half string theory.


title: GraphACT: Accelerating GCN Training on CPU-FPGA Heterogeneous Platforms

abstract: Graph Convolutional Networks (GCNs) have emerged as the state-of-the-art deep learning model for representation learning on graphs. It is challenging to accelerate training of GCNs, due to (1) substantial and irregular data communication to propagate information within the graph, and (2) intensive computation to propagate information along the neural network layers. To address these challenges, we design a novel accelerator for training GCNs on CPU-FPGA heterogeneous systems, by incorporating multiple algorithm-architecture co-optimizations. We first analyze the computation and communication characteristics of various GCN training algorithms, and select a subgraph-based algorithm that is well suited for hardware execution. To optimize the feature propagation within subgraphs, we propose a lightweight pre-processing step based on a graph theoretic approach. Such pre-processing performed on the CPU significantly reduces the memory access requirements and the computation to be performed on the FPGA. To accelerate the weight update in GCN layers, we propose a systolic array based design for efficient parallelization. We integrate the above optimizations into a complete hardware pipeline, and analyze its load-balance and resource utilization by accurate performance modeling. We evaluate our design on a Xilinx Alveo U200 board hosted by a 40-core Xeon server. On three large graphs, we achieve an order of magnitude training speedup with negligible accuracy loss, compared with state-of-the-art implementation on a multi-core platform.


title: A Deterministic Model for the Transshipment Problem of a Fast Fashion Retailer under Capacity Constraints

abstract: In this paper we present a novel transshipment problem for a large apparel retailer that operates an extensive retail network. Our problem is inspired by the logistics operations of a very large fast fashion retailer in Turkey, LC Waikiki, with over 450 retail branches and thousands of products. The purpose of transshipments is to rebalance stocks across the retail network to better match supply with demand. We formulate this problem as a large mixed integer linear program and develop a Lagrangian relaxation with a primal-dual approach to find upper bounds and a simulated annealing based metaheuristic to find promising solutions, both of which have proven to be quite effective. While our metaheuristic does not always produce better solutions than a commercial optimizer, it has consistently produced solutions with optimality gaps lower than 7% while the commercial optimizer may produce very poor solutions with optimality gaps as high as almost 300%. We have also conducted a set of numerical experiments to uncover implications of various operational practices of LC Waikiki on its system's performance and important managerial insights.


title: ITSO: A novel Inverse Transform Sampling-based Optimization algorithm for stochastic search

abstract: Optimization algorithms appear in the core calculations of numerous Artificial Intelligence (AI) and Machine Learning methods, as well as Engineering and Business applications. Following recent works on the theoretical deficiencies of AI, a rigor context for the optimization problem of a \textit{black-box} objective function is developed. The algorithm stems directly from the theory of probability, instead of a presumed inspiration, thus the convergence properties of the proposed methodology are inherently stable. In particular, the proposed optimizer utilizes an algorithmic implementation of the $n$-dimensional inverse transform sampling as a search strategy. No control parameters are required to be tuned, and the trade-off among exploration and exploitation is by definition satisfied. A theoretical proof is provided, concluding that only falling into the proposed framework, either directly or incidentally, any optimization algorithm converges in the fastest possible time. The numerical experiments, verify the theoretical results on the efficacy of the algorithm apropos reaching the optimum, as fast as possible.


title: Table Structure Extraction with Bi-directional Gated Recurrent Unit Networks

abstract: Tables present summarized and structured information to the reader, which makes table structure extraction an important part of document understanding applications. However, table structure identification is a hard problem not only because of the large variation in the table layouts and styles, but also owing to the variations in the page layouts and the noise contamination levels. A lot of research has been done to identify table structure, most of which is based on applying heuristics with the aid of optical character recognition (OCR) to hand pick layout features of the tables. These methods fail to generalize well because of the variations in the table layouts and the errors generated by OCR. In this paper, we have proposed a robust deep learning based approach to extract rows and columns from a detected table in document images with a high precision. In the proposed solution, the table images are first pre-processed and then fed to a bi-directional Recurrent Neural Network with Gated Recurrent Units (GRU) followed by a fully-connected layer with soft max activation. The network scans the images from top-to-bottom as well as left-to-right and classifies each input as either a row-separator or a column-separator. We have benchmarked our system on publicly available UNLV as well as ICDAR 2013 datasets on which it outperformed the state-of-the-art table structure extraction systems by a significant margin.


title: Understanding Galaxy Mergers & AGN Feedback with UVIT

abstract: Simulations expect an enhanced star-formation and active galactic nuclei (AGN) activity during galaxy mergers, which can lead to formation of binary/dual AGN. AGN feedback can enhance or suppress star-formation. We have carried out a pilot study of a sample of 10 dual nuclei galaxies with AstroSat's Ultraviolet Imaging Telescope (UVIT). Here, we present the initial results for two sample galaxies (Mrk 739, ESO 509) and deep multi-wavelength data of another galaxy (Mrk 212). UVIT observations have revealed signatures of positive AGN feedback in Mrk 739 and Mrk 212, and negative feedback in ESO 509. Deeper UVIT observations have recently been approved; these will provide better constraints on star-formation as well as AGN feedback in these systems.


title: Convergence rates for an inexact ADMM applied to separable convex optimization

abstract: Convergence rates are established for an inexact accelerated alternating direction method of multipliers (I-ADMM) for general separable convex optimization with a linear constraint. Both ergodic and non-ergodic iterates are analyzed. Relative to the iteration number k, the convergence rate is O(1/k) in a convex setting and O(1/k^2) in a strongly convex setting. When an error bound condition holds, the algorithm is 2-step linearly convergent. The I-ADMM is designed so that the accuracy of the inexact iteration preserves the global convergence rates of the exact iteration, leading to better numerical performance in the test problems.


title: High Performance Depthwise and Pointwise Convolutions on Mobile Devices

abstract: Lightweight convolutional neural networks (e.g., MobileNets) are specifically designed to carry out inference directly on mobile devices. Among the various lightweight models, depthwise convolution (DWConv) and pointwise convolution (PWConv) are their key operations. In this paper, we observe that the existing implementations of DWConv and PWConv are not well utilizing the ARM processors in the mobile devices, and exhibit lots of cache misses under multi-core and poor data reuse at register level. We propose techniques to re-optimize the implementations of DWConv and PWConv based on ARM architecture. Experimental results show that our implementation can respectively achieve a speedup of up to 5.5x and 2.1x against TVM (Chen et al. 2018) on DWConv and PWConv.


title: SmartWatts: Self-Calibrating Software-Defined Power Meter for Containers

abstract: Fine-grained power monitoring of software activities becomes unavoidable to maximize the power usage efficiency of data centers. In particular, achieving an optimal scheduling of containers requires the deployment of software-defined power~meters to go beyond the granularity of hardware power monitoring sensors, such as Power Distribution Units (PDU) or Intel's Running Average Power Limit (RAPL), to deliver power estimations of activities at the granularity of software~containers. However, the definition of the underlying power models that estimate the power consumption remains a long and fragile process that is tightly coupled to the host machine. To overcome these limitations, this paper introduces SmartWatts: a lightweight power monitoring system that adopts online calibration to automatically adjust the CPU and DRAM power models in order to maximize the accuracy of runtime power estimations of containers. Unlike state-of-the-art techniques, SmartWatts does not require any a priori training phase or hardware equipment to configure the power models and can therefore be deployed on a wide range of machines including the latest power optimizations, at no cost.


title: Holographically description of Kerr-Bolt Black hole in terms of the warped conformal field theory

abstract: Recently it has been speculated that a set of diffeomorphisms exist which act non-trivially on the horizon of some black holes such as Kerr and Kerr-Newman black hole. %\cite{Haco:2018ske,Haco:2019ggi}. Using this symmetry in covariant phase space formalism one can obtain conserved charges as surface integrals on the horizon. Kerr-Bolt spacetime is well-known for its asymptotic topology and has been studied widely in recent years. In this work we are going to study Kerr-Bolt black hole and provide a holographic description of it in term of warped conformal field theory.


title: Odd triplet superconductivity induced by the moving condensate

abstract: It has been commonly accepted that magnetic field suppresses superconductivity by inducing the ordered motion of Cooper pairs. We demonstrate that magnetic field can instead provide a generation of superconducting correlations by inducing the motion of superconducting condensate. This effect arises in superconductor/ferromagnet heterostructures in the presence of Rashba spin-orbital coupling. We predict the odd-frequency spin-triplet superconducting correlations called the Berezinskii order to be switched on at large distances from the superconductor/ferromagnet interface by the application of a magnetic field. This is shown to result in the unusual behaviour of Josephson effect and local density of states in superconductor/ferromagnet structures.


title: Pursuing More Sustainable Energy Consumption by Analyzing Sectoral Direct and Indirect Energy Use in Malaysia: An Input-Output Analysis

abstract: Malaysia is experiencing ever increasing domestic energy consumption. This study is an attempt at analyzing the changes in sectoral energy intensities in Malaysia for the period 1995 to 2011. The study quantifies the sectoral total, direct, and indirect energy intensities to track the sectors that are responsible for the increasing energy consumption. The energy input-output model which is a frontier method for examining resource embodiments in goods and services on a sectoral scale that is popular among scholars has been applied in this study.


title: Ways to Reduce Cost of Living: A Case Study among Low Income Household in Kubang Pasu, Kedah, Malaysia

abstract: This study was conducted to examine and understand the spending behavior of low income households (B40), namely households with income of RM3800 and below. The study focused on the area Kubang Pasu District, Kedah.


title: Infrastructure Disparities in Northern Malaysia

abstract: This study examines the disparities of infrastructure in four states in Northern Peninsular Malaysia. This study used a primer data which is collected by using a face to face interview with a structure questionnaire on head of household at Kedah, Perlis, Penang and Perak. The list of respondents is provided by the Department of Statistics of Malaysia (DOS). The Department of Statistics of Malaysia (DOS) uses the population observation in 2010 to determine the respondents is provided by the Department of Statistics of Malaysia (DOS).


title: Reversible dynamics with closed time-like curves and freedom of choice

abstract: The theory of general relativity predicts the existence of closed time-like curves (CTCs), which theoretically would allow an observer to travel back in time and interact with their past self. This raises the question of whether this could create a grandfather paradox, in which the observer interacts in such a way to prevent their own time travel. Previous research has proposed a framework for deterministic, reversible, dynamics compatible with non-trivial time travel, where observers in distinct regions of spacetime can perform arbitrary local operations with no contradiction arising. However, only scenarios with up to three regions have been fully characterised, revealing only one type of process where the observers can verify to both be in the past and future of each other. Here we extend this characterisation to an arbitrary number of regions and find that there exist several inequivalent processes that can only arise due to non-trivial time travel. This supports the view that complex dynamics is possible in the presence of CTCs, compatible with free choice of local operations and free of inconsistencies.


title: Deep OCT Angiography Image Generation for Motion Artifact Suppression

abstract: Eye movements, blinking and other motion during the acquisition of optical coherence tomography (OCT) can lead to artifacts, when processed to OCT angiography (OCTA) images. Affected scans emerge as high intensity (white) or missing (black) regions, resulting in lost information. The aim of this research is to fill these gaps using a deep generative model for OCT to OCTA image translation relying on a single intact OCT scan. Therefore, a U-Net is trained to extract the angiographic information from OCT patches. At inference, a detection algorithm finds outlier OCTA scans based on their surroundings, which are then replaced by the trained network. We show that generative models can augment the missing scans. The augmented volumes could then be used for 3-D segmentation or increase the diagnostic value.


title: Analytical view on tunnable electrostatic quantum swap gate in tight-binding model

abstract: Generalized electrostatic quantum swap gate implemented in the chain of 2 double coupled quantum dots using single electron in semiconductor is presented in tight-binding simplistic model specifying both analytic and numerical results. The anticorrelation principle coming from Coulomb electrostatic repulsion is exploited in single electron devices. The formation of quantum entanglement is specified and supported by analytical results. The difference between classical and quantum picture is given. The correlations between geometry of quantum structures and entanglement dynamics are shown in analytical way. Effective wavefunction of single electrons is extracted from 2 electron electrostatic interactions. The presented results have its significance in cryogenic CMOS quantum technologies that gives perspective of implementation of semiconductor quantum computer on massive scale. Keyword: electrostatic quantum swap gate, entanglement, anticorrelation, tight-binding model, two-body wavefunction, correlation-anticorrelation crossover, density matrix of 2 electron system, single electron devices, coupled quantum dots


title: HyGCN: A GCN Accelerator with Hybrid Architecture

abstract: In this work, we first characterize the hybrid execution patterns of GCNs on Intel Xeon CPU. Guided by the characterization, we design a GCN accelerator, HyGCN, using a hybrid architecture to efficiently perform GCNs. Specifically, first, we build a new programming model to exploit the fine-grained parallelism for our hardware design. Second, we propose a hardware design with two efficient processing engines to alleviate the irregularity of Aggregation phase and leverage the regularity of Combination phase. Besides, these engines can exploit various parallelism and reuse highly reusable data efficiently. Third, we optimize the overall system via inter-engine pipeline for inter-phase fusion and priority-based off-chip memory access coordination to improve off-chip bandwidth utilization. Compared to the state-of-the-art software framework running on Intel Xeon CPU and NVIDIA V100 GPU, our work achieves on average 1509$\times$ speedup with 2500$\times$ energy reduction and average 6.5$\times$ speedup with 10$\times$ energy reduction, respectively.


title: Einstein's Field Equations as Continuous-Time Recurrent Neural Networks

abstract: We examine a subset of spatially homogenous and anisotropic solutions to Einstein's field equations: the Bianchi Type A models, and show that they can be written as a continuous-time recurrent neural network (CTRNN). This reformulation of Einstein's equations allows one to write potentially complicated nonlinear equations as a simpler dynamical system consisting of linear combinations of the neural network weights and logistic sigmoid activation functions. The CTRNN itself is trained by using an explicit Runge-Kutta solver to sample a number of solutions of Einstein's equations for the Bianchi Type A models and then using a nonlinear least-squares approach to find the optimal set of weights, time delay constants, and bias parameters that provide the best fit of the CTRNN equations to the Einstein equations. In terms of numerical examples, we specifically provide solutions to Bianchi Type I and II models. We conclude the paper with some comments on optimal parameter probability distributions and ideas for future work.


title: Tightness and exponential tightness of Gaussian probabilities

abstract: We prove a simple criterion of exponential tightness for sequences of Gaussian r.v.'s with values in a separable Banach space from which we deduce a general result of Large Deviations which allows easily to obtain LD estimates in various situations.


title: Optimal estimation of some random quantities of a L\'evy process

abstract: In this paper we present new theoretical results on optimal estimation of certain random quantities based on high frequency observations of a L\'evy process. More specifically, we investigate the asymptotic theory for the conditional mean and conditional median estimators of the supremum/infimum of a linear Brownian motion and a stable L\'evy process. Another contribution of our article is the conditional mean estimation of the local time and the occupation time measure of a linear Brownian motion. We demonstrate that the new estimators are considerably more efficient compared to the classical estimators. Furthermore, we discuss pre-estimation of the parameters of the underlying models, which is required for practical implementation of the proposed statistics.


title: Advancing machine learning for MR image reconstruction with an open competition: Overview of the 2019 fastMRI challenge

abstract: Purpose: To advance research in the field of machine learning for MR image reconstruction with an open challenge. Methods: We provided participants with a dataset of raw k-space data from 1,594 consecutive clinical exams of the knee. The goal of the challenge was to reconstruct images from these data. In order to strike a balance between realistic data and a shallow learning curve for those not already familiar with MR image reconstruction, we ran multiple tracks for multi-coil and single-coil data. We performed a two-stage evaluation based on quantitative image metrics followed by evaluation by a panel of radiologists. The challenge ran from June to December of 2019. Results: We received a total of 33 challenge submissions. All participants chose to submit results from supervised machine learning approaches. Conclusion: The challenge led to new developments in machine learning for image reconstruction, provided insight into the current state of the art in the field, and highlighted remaining hurdles for clinical adoption.


title: Temperature states in Powder Bed Fusion additive manufacturing are structurally controllable and observable

abstract: Powder Bed Fusion (PBF) is a type of Additive Manufacturing (AM) technology that builds parts in a layer-by-layer fashion out of a bed of metal powder via the selective melting action of a laser or electron beam heat source. The technology has become widespread, however the demand is growing for closed loop process monitoring and control in PBF systems to replace the open loop architectures that exist today. Controls-based models have potential to satisfy this demand by utilizing computationally tractable, simplified models while also decreasing the error associated with these models. This paper introduces a controls theoretic analysis of the PBF process, demonstrating models of PBF that are asymptotically stable, stabilizable, and detectable. We show that linear models of PBF are structurally controllable and structurally observable, provided that any portion of the build is exposed to the energy source and measurement, we provide conditions for which time-invariant PBF models are classically controllable/observable, and we demonstrate energy requirements for performing state estimation and control for time-invariant systems. This paper therefore presents the foundation for an effective means of realizing closed loop PBF quality control.


title: A Soft Recommender System for Social Networks

abstract: Recent social recommender systems benefit from friendship graph to make an accurate recommendation, believing that friends in a social network have exactly the same interests and preferences. Some studies have benefited from hard clustering algorithms (such as K-means) to determine the similarity between users and consequently to define degree of friendships. In this paper, we went a step further to identify true friends for making even more realistic recommendations. we calculated the similarity between users, as well as the dependency between a user and an item. Our hypothesis is that due to the uncertainties in user preferences, the fuzzy clustering, instead of the classical hard clustering, is beneficial in accurate recommendations. We incorporated the C-means algorithm to get different membership degrees of soft users' clusters. Then, the users' similarity metric is defined according to the soft clusters. Later, in a training scheme we determined the latent representations of users and items, extracting from the huge and sparse user-item-tag matrix using matrix factorization. In the parameter tuning, we found the optimum coefficients for the influence of our soft social regularization and the user-item dependency terms. Our experimental results convinced that the proposed fuzzy similarity metric improves the recommendations in real data compared to the baseline social recommender system with the hard clustering.


title: Current detection using a Josephson parametric upconverter

abstract: We present the design, measurement and analysis of a current sensor based on a process of Josephson parametric upconversion in a superconducting microwave cavity. Terminating a coplanar waveguide with a nanobridge constriction Josephson junction, we observe modulation sidebands from the cavity that enable highly sensitive, frequency-multiplexed output of small currents for applications such as transition-edge sensor array readout. We derive an analytical model to reproduce the measurements over a wide range of bias currents, detunings and input powers. Tuning the frequency of the cavity by more than \SI{100}{\mega\hertz} with DC current, our device achieves a minimum current sensitivity of \SI{8.9}{\pico\ampere\per\sqrt{\hertz}}. Extrapolating the results of our analytical model, we predict an improved device based on our platform, capable of achieving sensitivities down to \SI{50}{\femto\ampere\per\sqrt{\hertz}}}, or even lower if one could take advantage of parametric amplification in the Josephson cavity. Taking advantage of the Josephson architecture, our approach can provide higher sensitivity than kinetic inductance designs, and potentially enables detection of currents ultimately limited by quantum noise.

categories: cond-mat.mes-hall cond-mat.supr-con physics.ins-det quant-ph


title: On Interpretability of Artificial Neural Networks: A Survey

abstract: Deep learning as represented by the artificial deep neural networks (DNNs) has achieved great success in many important areas that deal with text, images, videos, graphs, and so on. However, the black-box nature of DNNs has become one of the primary obstacles for their wide acceptance in mission-critical applications such as medical diagnosis and therapy. Due to the huge potential of deep learning, interpreting neural networks has recently attracted much research attention. In this paper, based on our comprehensive taxonomy, we systematically review recent studies in understanding the mechanism of neural networks, describe applications of interpretability especially in medicine, and discuss future directions of interpretability research, such as in relation to fuzzy logic and brain science.


title: On the Positivity Conjecture for Finite Abelian p-Groups

abstract: For a partition $\underline{\lambda} = (\lambda_{1}^{\rho _1}>\lambda_{2}^{\rho _2}>\lambda_{3}^{\rho _3}>\ldots>\lambda_{k}^{\rho _k})$ and its associated finite $\mathcal{R}$-module $\mathcal{A}_{\underline{\lambda}}=\underset{i=1}{\overset{k}{\oplus}} (\mathcal{R}/\pi^{\lambda_i}\mathcal{R})^{\rho_i}$, where $\mathcal{R}$ is a discrete valuation ring, with maximal ideal generated by a uniformizing element $\pi$, having finite residue field ${\bf k}=\mathcal{R}/\pi\mathcal{R}\cong \mathbb{F}_q$, the number of orbits of pairs $n_{\underline{\lambda}}(q)= \mid \mathcal{G}_{\underline{\lambda}}\backslash \big(\mathcal{A}_{\underline{\lambda}}\times \mathcal{A}_{\underline{\lambda}}\big)\mid$ for the diagonal action of the automorphism group $\mathcal{G}_{\underline{\lambda}}= Aut(\mathcal{A}_{\underline{\lambda}})$, is a polynomial in $q$ with integer coefficients. Positivity conjecture states that these coefficients are in fact non-negative. In this article, we prove this conjecture.


title: LTP: A New Active Learning Strategy for CRF-Based Named Entity Recognition

abstract: In recent years, deep learning has achieved great success in many natural language processing tasks including named entity recognition. The shortcoming is that a large amount of manually-annotated data is usually required. Previous studies have demonstrated that active learning could elaborately reduce the cost of data annotation, but there is still plenty of room for improvement. In real applications we found existing uncertainty-based active learning strategies have two shortcomings. Firstly, these strategies prefer to choose long sequence explicitly or implicitly, which increase the annotation burden of annotators. Secondly, some strategies need to invade the model and modify to generate some additional information for sample selection, which will increase the workload of the developer and increase the training/prediction time of the model. In this paper, we first examine traditional active learning strategies in a specific case of BiLstm-CRF that has widely used in named entity recognition on several typical datasets. Then we propose an uncertainty-based active learning strategy called Lowest Token Probability (LTP) which combines the input and output of CRF to select informative instance. LTP is simple and powerful strategy that does not favor long sequences and does not need to invade the model. We test LTP on multiple datasets, and the experiments show that LTP performs slightly better than traditional strategies with obviously less annotation tokens on both sentence-level accuracy and entity-level F1-score. Related code have been release on https://github.com/HIT-ICES/AL-NER


title: Fast Neural Network Adaptation via Parameter Remapping and Architecture Search

abstract: Deep neural networks achieve remarkable performance in many computer vision tasks. Most state-of-the-art (SOTA) semantic segmentation and object detection approaches reuse neural network architectures designed for image classification as the backbone, commonly pre-trained on ImageNet. However, performance gains can be achieved by designing network architectures specifically for detection and segmentation, as shown by recent neural architecture search (NAS) research for detection and segmentation. One major challenge though, is that ImageNet pre-training of the search space representation (a.k.a. super network) or the searched networks incurs huge computational cost. In this paper, we propose a Fast Neural Network Adaptation (FNA) method, which can adapt both the architecture and parameters of a seed network (e.g. a high performing manually designed backbone) to become a network with different depth, width, or kernels via a Parameter Remapping technique, making it possible to utilize NAS for detection/segmentation tasks a lot more efficiently. In our experiments, we conduct FNA on MobileNetV2 to obtain new networks for both segmentation and detection that clearly out-perform existing networks designed both manually and by NAS. The total computation cost of FNA is significantly less than SOTA segmentation/detection NAS approaches: 1737$\times$ less than DPC, 6.8$\times$ less than Auto-DeepLab and 7.4$\times$ less than DetNAS. The code is available at https://github.com/JaminFong/FNA.


title: Fractional strong matching preclusion for Cartesian product graphs

abstract: The strong matching preclusion number of a graph, introduced by Park and Ihm in 2011, is the minimum number of vertices and edges whose deletion results in a graph that has neither perfect matchings nor almost perfect matchings. As a generalization, the fractional strong matching preclusion number of a graph is the minimum number of edges and vertices whose deletion leaves the resulting graph without a fractional perfect matching. In this paper, we obtain the fractional strong matching preclusion number for Cartesian product graphs. As an application, the fractional strong matching preclusion number for torus networks is obtained.


title: Address-Event Variable-Length Compression for Time-Encoded Data

abstract: Time-encoded signals, such as social network update logs and spiking traces in neuromorphic processors, are defined by multiple traces carrying information in the timing of events, or spikes. When time-encoded data is processed at a remote site with respect to the location it is produced, the occurrence of events needs to be encoded and transmitted in a timely fashion. The standard Address-Event Representation (AER) protocol for neuromorphic chips encodes the indices of the "spiking" traces in the payload of a packet produced at the same time the events are recorded, hence implicitly encoding the events' timing in the timing of the packet. This paper investigates the potential bandwidth saving that can be obtained by carrying out variable-length compression of packets' payloads. Compression leverages both intra-trace and inter-trace correlations over time that are typical in applications such as social networks or neuromorphic computing. The approach is based on discrete-time Hawkes processes and entropy coding with conditional codebooks. Results from an experiment based on a real-world retweet dataset are also provided.


title: A Liouville theorem for L\'evy generators

abstract: Under mild assumptions, we establish a Liouville theorem for the "Laplace" equation $Au=0$ associated with the infinitesimal generator $A$ of a L\'evy process: If $u$ is a weak solution to $Au=0$ which is at most of (suitable) polynomial growth, then $u$ is a polynomial. As a by-product, we obtain new regularity estimates for semigroups associated with L\'evy processes.


title: The importance of phase in complex compressive sensing

abstract: We consider the question of estimating a real low-complexity signal (such as a sparse vector or a low-rank matrix) from the phase of complex random measurements. We show that in this "phase-only compressive sensing" (PO-CS) scenario, we can perfectly recover such a signal with high probability and up to global unknown amplitude if the sensing matrix is a complex Gaussian random matrix and if the number of measurements is large compared to the complexity level of the signal space. Our approach proceeds by recasting the (non-linear) PO-CS scheme as a linear compressive sensing model built from a signal normalization constraint, and a phase-consistency constraint imposing any signal estimate to match the observed phases in the measurement domain. Practically, stable and robust signal direction estimation is achieved from any "instance optimal" algorithm of the compressive sensing literature (such as basis pursuit denoising). This is ensured by proving that the matrix associated with this equivalent linear model satisfies with high probability the restricted isometry property under the above condition on the number of measurements. We finally observe experimentally that robust signal direction recovery is reached at about twice the number of measurements needed for signal recovery in compressive sensing.


title: On Competitive Analysis for Polling Systems

abstract: Polling systems have been widely studied, however most of these studies focus on polling systems with renewal processes for arrivals and random variables for service times. There is a need driven by practical applications to study polling systems with arbitrary arrivals (not restricted to time-varying or in batches) and revealed service time upon a job's arrival. To address that need, our work considers a polling system with generic setting and for the first time provides the worst-case analysis for online scheduling policies in this system. We provide conditions for the existence of constant competitive ratios, and competitive lower bounds for general scheduling policies in polling systems. Our work also bridges the queueing and scheduling communities by proving the competitive ratios for several well-studied policies in the queueing literature, such as cyclic policies with exhaustive, gated or l-limited service disciplines for polling systems.


title: Payload-Mass-Aware Trajectory Planning on Multi-User Autonomous Unmanned Aerial Vehicles

abstract: Future unmanned aerial vehicles (drones) will be shared by multiple users and will have to operate in conditions where their fully-autonomous function is required. Calculation of a drones trajectory will be important but optimal trajectories cannot be calculated unless mass and flight speed are taken into account. This article presents the case for on-drone trajectory planning in a multi-user dynamic payload mass scenario, allowing a drone to calculate its trajectory with no need for ground control communication. We formulate and investigate on-drone trajectory planning under variable payload mass and flight speed awareness, in cases where it is shared by multiple users or applications. We present efficient solutions using a combination of heuristic and optimization algorithms. To support this investigation, we present a new model for the power dissipation of drone propulsion as a function of speed and payload mass. We evaluate our proposed algorithmic solution on contemporary embedded processors and demonstrate its capability to generate near-optimal trajectories with limited computational overhead (less than 300 milliseconds on an ARM Cortex-A9 SoC).


title: Nanostructured germanium with >99 % absorption at 300-1600 nm wavelengths

abstract: Near-infrared (NIR) sensors find numerous applications within various industry fields, including optical communications and medical diagnostics. However, the state-of-the-art NIR sensors made of germanium (Ge) suffer from rather poor response, largely due to high reflection from the illuminated device surface. We demonstrate here a method to increase the sensitivity of Ge sensors by implementing nanostructures to the wafer surfaces. The absorbance of nanostructured Ge wafers is measured to be >99 % in the whole UV-VIS-NIR spectrum up to 1600 nm wavelength, which is a significant improvement to bare Ge wafers that reach absorption of only 63 % in maximum. The process is shown to be capable of producing uniform nanostructures covering full 100-mm-diameter substrates as well as wafers with etch mask openings of different sizes and shapes, which demonstrates its applicability to CMOS sensor manufacturing. The results imply that nanostructured Ge has potential to revolutionize the sensitivity of Ge-based sensors.

categories: cond-mat.mtrl-sci physics.app-ph physics.ins-det physics.optics


title: An ecological framework for the analysis of prebiotic chemical reaction networks and their dynamical behavior

abstract: It is becoming widely accepted that very early in the origin of life, even before the emergence of genetic encoding, reaction networks of diverse small chemicals might have manifested key properties of life, namely self-propagation and adaptive evolution. To explore this possibility, we formalize the dynamics of chemical reaction networks within the framework of chemical ecosystem ecology. To capture the idea that life-like chemical systems are maintained out of equilibrium by fluxes of energy-rich food chemicals, we model chemical ecosystems in well-mixed containers that are subject to constant dilution by a solution with a fixed concentration of food chemicals. Modelling all chemical reactions as fully reversible, we show that seeding an autocatalytic cycle (AC) with tiny amounts of one or more of its member chemicals results in logistic growth of all member chemicals in the cycle. This finding justifies drawing an instructive analogy between an AC and the population of a biological species. We extend this finding to show that pairs of ACs can show competitive, predator-prey, or mutualistic associations just like biological species. Furthermore, when there is stochasticity in the environment, particularly in the seeding of ACs, chemical ecosystems can show complex dynamics that can resemble evolution. The evolutionary character is especially clear when the network architecture results in ecological precedence (survival of the first), which makes the path of succession historically contingent on the order in which cycles are seeded. For all its simplicity, the framework developed here is helpful for visualizing how autocatalysis in prebiotic chemical reaction networks can yield life-like properties. Furthermore, chemical ecosystem ecology could provide a useful foundation for exploring the emergence of adaptive dynamics and the origins of polymer-based genetic systems.


title: Space charge formation in chromium compensated GaAs radiation detectors

abstract: Space charge formation in chromium-compensated GaAs sensors is investigated by the laser-induced transient current technique applying pulsed and DC bias. Formation of non-standard space charge manifested by an appearance of both negatively and positively charged regions in DC biased sensors was revealed during 5 ms after switching bias. Using Monte Carlo simulations of current transients we determined enhanced electron lifetime {\tau} = 150 ns and electron drift mobility {\mu}d = 3650 cm2/Vs. We developed and successfully applied theoretical model based on fast hole trapping in the system with spatially variable hole conductivity.


title: Discrete Hamiltonians of discrete Painlev\'e equations

abstract: We express discrete Painlev\'e equations as discrete Hamiltonian systems. The discrete Hamiltonian systems here mean the canonical transformations defined by generating functions. Our construction relies on the classification of the discrete Painlev\'e equations based on the surface-type. The discrete Hamiltonians we obtain are written in the logarithm and dilogarithm functions.


title: Constraints to dark matter annihilation from high-latitude HAWC unidentified sources

abstract: The $\Lambda$CDM cosmological framework predicts the existence of thousands of subhalos in our own Galaxy not massive enough to retain baryons and become visible. Yet, some of them may shine in gamma rays provided that the dark matter (DM) is made of weakly interacting massive particles (WIMPs), that would self-annihilate and would appear as unidentified gamma-ray sources (unIDs) in gamma-ray catalogs. Indeed, unIDs have proven to be competitive targets for DM searches with gamma rays. In this work, we focus on the three high-latitude ($|b|\geq 10^\circ$) sources present in the 2HWC catalog of the High Altitude Water Cherenkov (HAWC) observatory with no associations at other wavelenghts. Indeed, only one of these sources, 2HWC J1040+308, is found to be above the HAWC detection threshold when considering 760 days of data, a factor 1.5 more exposure time than in the original 2HWC catalog. Other instruments such as Fermi-LAT or VERITAS at lower energies do not detect this source. Also, this unID is reported as spatially extended, making it even more interesting in a DM search context. While waiting for more data that may shed further light on the nature of this source, we set competitive upper limits on the annihilation cross section by comparing this HAWC unID to expectations based on state-of-the-art N-body cosmological simulations of the Galactic subhalo population. We find these constraints to be particularly competitive for heavy WIMPs, i.e., masses above $\sim 25$ (40) TeV in the case of the $b\bar{b}$ ($\tau^+\tau^-$) annihilation channel, reaching velocity-averaged cross section values of $2\cdot10^{-25}$ ($5\cdot10^{-25}$) $cm^3s^{-1}$. Although far from the thermal relic cross section value, the obtained limits are independent and nicely complementary to those from radically different DM analyses and targets, demonstrating again the high potential of this DM search approach.


title: Cauchy-Maxwell equations: A unified field theory for coupled electromagnetism and elasticity

abstract: A conformal gauge theory is used to describe and unify myriad electromechanical and magnetomechanical coupling effects observed in solid continua. Using a space-time pseudo-Riemannian metric in a finite-deformation setup and exploiting the local conformal symmetry of the Lagrangian, we derive Cauchy-Maxwell (CM) equations that seamlessly combine, for the first time, Cauchy's elasto-dynamic equations with Maxwell's equations for electromagnetism. Maxwell's equations for vacuum are recoverable from our model, which in itself also constitutes a new derivation of these equations. With deformation gradient and material velocity coupled in the Lagrange density, various pseudo-forces appear in the Euler-Lagrange equations. These forces, not identifiable through classical continuum mechanics, may have significance under specific geometric or loading conditions. As a limited illustration on how the CM equations work, we carry out semi-analytical studies, viz. on an infinite body subject to isochoric deformation and a finite membrane under both tensile and transverse loading, considering piezoelectricity and piezomagnetism. Our results show that under specific loading frequencies and tension, electric and magnetic potentials may increase rapidly in some regions of the membrane. This may have significance in future studies on efficient energy harvesting.


title: Heavy Ion Acceleration by Super-Alfvenic Waves

abstract: A generation mechanism of super Alfv\'{e}nic (SPA) waves in multi-ion species plasma is proposed and the associated heavy ion acceleration process is discussed. The SPA waves are thought to play important roles in particle acceleration since they have large wave electric field because of their high phase velocity. It is demonstrated by using full particle-in-cell simulation that large amplitude proton cyclotron waves, excited due to proton temperature anisotropy, nonlinearly destabilize SPA waves through parametric decay instability in a three component plasma composed of electrons, protons, and $\alpha$ particles. At the same time, $\alpha$ cyclotron waves get excited via another decay instability. A pre-accelerated $\alpha$ particle resonates simultaneously with the two daughter waves, the SPA waves and the $\alpha$ cyclotron waves, and it is further accelerated perpendicular to the ambient magnetic field. The process may work in astrophysical environments where sufficiently large temperature anisotropy of lower mass ions occurs.


title: Deep learning reveals hidden interactions in complex systems

abstract: Rich phenomena from complex systems have long intrigued researchers, and yet modeling system micro-dynamics and inferring the forms of interaction remain challenging for conventional data-driven approaches, being generally established by human scientists. In this study, we propose AgentNet, a model-free data-driven framework consisting of deep neural networks to reveal and analyze the hidden interactions in complex systems from observed data alone. AgentNet utilizes a graph attention network with novel variable-wise attention to model the interaction between individual agents, and employs various encoders and decoders that can be selectively applied to any desired system. Our model successfully captured a wide variety of simulated complex systems, namely cellular automata (discrete), the Vicsek model (continuous), and active Ornstein--Uhlenbeck particles (non-Markovian) in which, notably, AgentNet's visualized attention values coincided with the true interaction strength and exhibited collective behavior that was absent in the training data. A demonstration with empirical data from a flock of birds showed that AgentNet could identify hidden interaction ranges exhibited by real birds, which cannot be detected by conventional velocity correlation analysis. We expect our framework to open a novel path to investigating complex systems and to provide insight into general process-driven modeling.


title: Nonlinear Effects in Superconducting Thin Film Microwave Resonators

abstract: We discuss how reactive and dissipative non-linearities affect the intrinsic response of superconducting thin-film resonators. We explain how most, if not all, of the complex phenomena commonly seen can be described by a model in which the underlying resonance is a single-pole Lorentzian, but whose centre frequency and quality factor change as external parameters, such as readout power and frequency, are varied. What is seen during a vector-network-analyser measurement is series of samples taken from an ideal Lorentzian that is shifting and spreading as the readout frequency is changed. According to this model, it is perfectly proper to refer to, and measure, the resonant frequency and quality factor of the underlying resonance, even though the swept-frequency curves appear highly distorted and hysteretic. In those cases where the resonance curve is highly distorted, the specific shape of the trajectory in the Argand plane gives valuable insights into the second-order physical processes present. We discuss the formulation and consequences of this approach in the case of non-linear kinetic inductance, two-level-system loss, quasiparticle generation, and a generic model based on a power-law form. The generic model captures the key features of specific dissipative non-linearities, but additionally leads to insights into how general dissipative processes create characteristic forms in the Argand plane. We provide detailed formulations in each case, and indicate how they lead to the wide variety of phenomena commonly seen in experimental data. We also explain how the properties of the underlying resonance can be extracted from this data. Overall, our paper provides a self-contained compendium of behaviour that will help practitioners interpret and determine important parameters from distorted swept-frequency measurements.