title: Structure, Dynamics and Hydrogen Transport in Amorphous Polymers: An Analysis of the Interplay Between Free Volume Element Distribution and Local Segmental Dynamics from Molecular Dynamics Simulations

abstract: An important indicator of membrane performance are free volume elements (FVEs): microporous void spaces created by the inefficient packing of bulky groups along the polymer chain. FVEs tend to degrade over time as polymer chains reorganize irreversibly. While it is widely accepted that polymer flexibility has an impact on membrane transport properties, the molecular nature of this impact is still not well-understood. By establishing a correlation between local chain dynamics and the distribution of free volume elements (FVEs), penetrant transport can be regulated more efficiently in amorphous polymer membranes. In this work, we implement all-atom molecular dynamics (MD) simulations to explore the relationship between chain dynamics and free volume in three polymers with different levels of backbone flexibility: polymethylpentene (PMP), polystyrene (PS), and HAB-6FDA thermally rearranged polymer (TRP). We construct these polymers at different temperatures and examine how temperature impacts the FVE distribution and segmental mobility. Our analysis shows that chain segments near FVEs have higher mobility compared to the atoms in the bulk; the extent of this difference increases with chain flexibility. Increasing chain flexibility by increasing the temperature results in a broader FVE distribution. Rigid polymers such as TRP show the most robust FVE distribution and are not significantly affected by temperature change. To capture penetrant diffusion through the polymer matrix, hydrogen is inserted, and the diffusion is measured at different temperatures; hydrogen mobility is influenced by the FVE structure and overall mobility of polymer chains. At low temperatures, hydrogen mobility is influenced by void distribution, while at high temperatures, polymer dynamics dictates hydrogen transport.


title: Perfect simulation for interacting Hawkes processes with variable length memory

abstract: We consider a nonlinear multivariate Hawkes process having a variable length memory which allows to describe the activity of a neuronal network by its membrane potential. We propose a graphical construction of the process and we construct, by means of a perfect simulation algorithm, a stationary version of the process. By making the hypothesis that the spiking rate $\beta_i$ of the neuron $i \in I $ is bounded, we construct an algorithm based on a priori realizations of the Poisson process $(M^i, i \in I)$. We show that there exists a critical value $\delta_c$ such that if $\underline{\delta} > \delta_c$ (where $\underline{\delta}= \inf_i{\delta_i}$ with $\delta_i = \frac{\beta_{i* }}{\beta^*_i-\beta_{i*}}$ ) the process is ergodic.


title: Long Secondary Periods in Pulsating Red Giants: A Century of Investigation

abstract: Red giants are unstable to radial pulsation. About a third of them also show a long secondary period, 5 to 10 times the pulsation period. The long secondary periods were recently ascribed to eclipses of the red giant by a low-mass dust-enshrouded companion. Long secondary periods have been known for over a century. In this paper, I use primarily American Association of Variable Star Observers visual and photoelectric observations to look for evidence of long secondary periods in 103 red giant stars listed by Nancy Houk in 1963 as having long secondary periods, based mostly on photographic photometry. I have determined long secondary periods in 37 stars, and upper limits (some of them not very stringent) in 25. In the former, the ratio of long secondary period to pulsation period peaks strongly at 10, which suggests that most of the stars are pulsating in the first overtone. The loong secondary periods are consistent with those o0f Houk in 33 of the 37 stars. I have identified 16 stars as bimodal pulsaters;their period ratios are consistent with previous observational and theoretical results. For 14 stars,the periods in the General Catalogue of Variable Stars are incorrect or absent.


title: IGraph/M: graph theory and network analysis for Mathematica

abstract: IGraph/M is an efficient general purpose graph theory and network analysis package for Mathematica. IGraph/M serves as the Wolfram Language interfaces to the igraph C library, and also provides several unique pieces of functionality not yet present in igraph, but made possible by combining its capabilities with Mathematica's. The package is designed to support both graph theoretical research as well as the analysis of large-scale empirical networks.


title: Semantic-based Pre-training for Dialogue Understanding

abstract: Pre-trained language models have made great progress on dialogue tasks. However, these models are typically trained on surface dialogue text, thus are proven to be weak in understanding the main semantic meaning of a dialogue context. We investigate Abstract Meaning Representation (AMR) as explicit semantic knowledge for pre-training models to capture the core semantic information in dialogues during pre-training. In particular, we propose a semantic-based pre-training framework that extends the standard pre-training framework (Devlin et al., 2019) by three tasks for learning 1) core semantic units, 2) semantic relations and 3) the overall semantic representation according to AMR graphs. Experiments on the understanding of both chit-chats and task-oriented dialogues show the superiority of our model. To our knowledge, we are the first to leverage a deep semantic representation for dialogue pre-training.


title: Effect of Sn on generalized stacking fault energy surfaces in zirconium and its hydrides

abstract: Hydrogen embrittlement in Zr alloy fuel cladding is a primary safety concern for water based nuclear reactors. Here we investigated the stabilisation of planar defects within the forming hydrides by Sn, the primary alloying element of Zircaloy-4 used in the cladding. In order to explain formation of hydrides and planar defects observed in our experiments, we performed atomic-scale ab initio calculations focusing on the solute interactions with generalized stacking faults in hcp $\alpha$-Zr and fcc zirconium hydrides. Our calculations showed that an increase in Sn concentration leads to a stabilisation of stacking faults in both $\alpha$-Zr and hydride phases. However, the solution enthalpy of Sn is lower in the $\alpha$-Zr as compared to the other hydride phases indicative of two competing processes of Sn depletion/enrichment at the Zr hydride/matrix interface. This is corroborated by experimental findings, where Sn is repelled by hydrides and is mostly found trapped at interfaces and planar defects indicative of stacking faults inside the hydride phases. Our systematic investigation enables us to understand the presence and distribution of solutes in the hydride phases, which provides a deeper insight into the microstructural evolution of such alloy's properties during its service lifetime.


title: A thermodynamic framework for non-isothermal phenomenological models of isotropic Mullins effect

abstract: The Mullins effect is a common name for a family of intriguing inelastic responses of various solid materials, in particular filled rubbers. Given the importance of the Mullins effect, there have been many attempts to develop mathematical models describing the effect. However, most of available models focus exclusively on the mechanical response, and are restricted to the idealised isothermal setting. We lift the restriction to isothermal processes, and we propose a full thermodynamic framework for a class of phenomenological models of the Mullins effect. In particular, we identify energy storage mechanisms (Helmholtz free energy) and entropy production mechanisms that on the level of stress--strain relation lead to the idealised Mullins effect or to the Mullins effect with permanent strain. The models constructed within the proposed framework can be used in the modelling of fully coupled thermo-mechanical processes, and the models are guaranteed to be consistent with the laws of thermodynamics.


title: Duration modeling with semi-Markov Conditional Random Fields for keyphrase extraction

abstract: Existing methods for keyphrase extraction need preprocessing to generate candidate phrase or post-processing to transform keyword into keyphrase. In this paper, we propose a novel approach called duration modeling with semi-Markov Conditional Random Fields (DM-SMCRFs) for keyphrase extraction. First of all, based on the property of semi-Markov chain, DM-SMCRFs can encode segment-level features and sequentially classify the phrase in the sentence as keyphrase or non-keyphrase. Second, by assuming the independence between state transition and state duration, DM-SMCRFs model the distribution of duration (length) of keyphrases to further explore state duration information, which can help identify the size of keyphrase. Based on the convexity of parametric duration feature derived from duration distribution, a constrained Viterbi algorithm is derived to improve the performance of decoding in DM-SMCRFs. We thoroughly evaluate the performance of DM-SMCRFs on the datasets from various domains. The experimental results demonstrate the effectiveness of proposed model.


title: Degenerations of Poisson algebras

abstract: We construct a method to obtain the algebraic classification of Poisson algebras defined on a commutative associative algebra, and we apply it to obtain the classification of the $3$-dimensional Poisson algebras. In addition, we study the geometric classification, the graph of degenerations and the closures of the orbits of the variety of $3$-dimensional Poisson algebras. Finally, we also study the algebraic classification of the Poisson algebras defined on a commutative associative null-filiform or filiform algebra and, to enrich this classification, we study the degenerations between these particular Poisson algebras.


title: Uniqueness of $u$-Gibbs measures for hyperbolic skew products on $\mathbb{T}^4$

abstract: We study the $u$-Gibbs measures of a certain class of uniformly hyperbolic skew products on $\mathbb{T}^4$. These systems have a strong unstable and a weak unstable directions. We show that $C^r$-dense and $C^2$-open in this set every $u$-Gibbs measure is SRB, in particular, there is only one such measure. As an application of this, we can obtain the minimality of the strong unstable foliation.


title: On the Statistics of Elsasser Increments in Solar Wind and Magnetohydrodynamic Turbulence

abstract: We investigate the dependency with scale of the empirical probability distribution functions (PDF) of Elsasser increments using large sets of WIND data (collected between 1995 and 2017) near 1 au. The empirical PDF are compared to the ones obtained from high-resolution numerical simulations of steadily driven, homogeneous Reduced MHD turbulence on a $2048^3$ rectangular mesh. A large statistical sample of Alfv\'enic increments is obtained by using conditional analysis based on the solar wind average properties. The PDF tails obtained from observations and numerical simulations are found to have exponential behavior in the inertial range, with an exponential decrement that satisfies power-laws of the form $\alpha_l\propto l^{-\mu}$, where $l$ the scale size, with $\mu$ around 0.2 for observations and 0.4 for simulations. PDF tails were extrapolated assuming their exponential behavior extends to arbitrarily large increments in order to determine structure function scaling laws at very high orders. Our results points to potentially universal scaling laws governing the PDF of Elsasser increments and to an alternative methodology to investigate high-order statistics in solar wind observations.


title: Asymptotic Fermat for signature $(4,2,p)$ over number fields

abstract: Let $K$ be a number field. Using the modular method, we prove asymptotic results on solutions of the Diophantine equation $x^4-y^2=z^p$ over $K$, assuming some deep but standard conjectures of the Langlands programme when $K$ has at least one complex embedding. On the other hand, we give unconditional results in the case of totally real extensions having odd narrow class number and a unique prime above $2$. When modularity of elliptic curves over $K$ is known, for example when $K$ is real quadratic or the $r$-layer of the cyclotomic $\mathbb{Z}_2$-extension of $\mathbb{Q}$, effective asymptotic results hold.


title: Physics-Constrained Neural Network for Design and Feature-Based Optimization of Weave Architectures

abstract: Woven fabrics play an essential role in everyday textiles for clothing/sportswear, water filtration, and retaining walls, to reinforcements in stiff composites for lightweight structures like aerospace, sporting, automotive, and marine industries. Several possible combinations of weave patterns and material choices, which comprise weave architecture, present a challenging question about how they could influence the physical and mechanical properties of woven fabrics and reinforced structures. In this paper, we present a novel Physics-Constrained Neural Network (PCNN) to predict the mechanical properties like the modulus of weave architectures and the inverse problem of predicting pattern/material sequence for a design/target modulus value. The inverse problem is particularly challenging as it usually requires many iterations to find the appropriate architecture using traditional optimization approaches. We show that the proposed PCNN can effectively predict weave architecture for the desired modulus with higher accuracy than several baseline models considered. We present a feature-based optimization strategy to improve the predictions using features in the Grey Level Co-occurrence Matrix (GLCM) space. We combine PCNN with this feature-based optimization to discover near-optimal weave architectures to facilitate the initial design of weave architecture. The proposed frameworks will primarily enable the woven composite analysis and optimization process, and be a starting point to introduce Knowledge-guided Neural Networks into the complex structural analysis.


title: HLA predictions from long sequence read alignments, streamed directly into HLAminer

abstract: The rapidly changing landscape of sequencing technologies brings new opportunities to genomics research. Longer sequence reads and higher sequence throughput coupled with ever-improving base accuracy and decreasing per-base cost is now making long reads suitable for analyzing polymorphic regions of the human genome, such as those of the human leucocyte antigen (HLA) gene complex. Here I present a simple protocol for predicting HLA signatures from whole genome shotgun (WGS) long sequencing reads, by directly streaming sequence alignments into HLAminer. The method is as simple as running minimap2, it scales with the number of sequences to align, and can be used with any read aligner capable of sam format output without the need to store bulky alignment files to disk. I show how the predictions are robust even with older and less [base] accurate WGS nanopore datasets and relatively low (10X) sequence coverage and present a step-by-step protocol to predict HLA class I and II genes from the long sequencing reads of modern third-generation technologies.


title: Nuclear DFT electromagnetic moments in heavy deformed open-shell odd nuclei

abstract: Within the nuclear DFT approach, we determined the magnetic dipole and electric quadrupole moments for paired nuclear states corresponding to the proton (neutron) quasiparticles blocked in the p11/2- (n13/2+) intruder configurations. We performed calculations for all deformed open-shell odd nuclei with 63<=Z<=82 and 82<=N<=126. Time-reversal symmetry was broken in the intrinsic reference frame and self-consistent shape and spin core polarizations were established. We determined spectroscopic moments of angular-momentum-projected wave functions and compared them with available experimental data. We obtained good agreement with data without using effective g-factors or effective charges in the dipole or quadrupole operators, respectively. We also showed that the intrinsic magnetic dipole moments, or those obtained for conserved intrinsic time-reversal symmetry, do not represent viable approximations of the spectroscopic ones.


title: RESHAPE: Explaining Accounting Anomalies in Financial Statement Audits by enhancing SHapley Additive exPlanations

abstract: Detecting accounting anomalies is a recurrent challenge in financial statement audits. Recently, novel methods derived from Deep-Learning (DL) have been proposed to audit the large volumes of a statement's underlying accounting records. However, due to their vast number of parameters, such models exhibit the drawback of being inherently opaque. At the same time, the concealing of a model's inner workings often hinders its real-world application. This observation holds particularly true in financial audits since auditors must reasonably explain and justify their audit decisions. Nowadays, various Explainable AI (XAI) techniques have been proposed to address this challenge, e.g., SHapley Additive exPlanations (SHAP). However, in unsupervised DL as often applied in financial audits, these methods explain the model output at the level of encoded variables. As a result, the explanations of Autoencoder Neural Networks (AENNs) are often hard to comprehend by human auditors. To mitigate this drawback, we propose (RESHAPE), which explains the model output on an aggregated attribute-level. In addition, we introduce an evaluation framework to compare the versatility of XAI methods in auditing. Our experimental results show empirical evidence that RESHAPE results in versatile explanations compared to state-of-the-art baselines. We envision such attribute-level explanations as a necessary next step in the adoption of unsupervised DL techniques in financial auditing.


title: Computing the closure of a support

abstract: When $E$ is an $R$-module over a commutative unital ring $R$, the Zariski closure of its support is of the form $\mathrm V(\mathcal O(E))$ where $\mathcal O(E)$ is a unique radical ideal. We give an explicit form of $\mathcal O(E)$ and study its behavior under various operations of algebra. Applications are given, in particular for ring extensions of commutative unital rings whose supports are closed. We provide some applications to crucial and critical ideals of ring extensions.


title: Transition Amplitudes in 3D Quantum Gravity: Boundaries and Holography in the Coloured Boulatov Model

abstract: We consider transition amplitudes in the coloured simplicial Boulatov model for three-dimensional Riemannian quantum gravity. First, we discuss aspects of the topology of coloured graphs with non-empty boundaries. Using a modification of the standard rooting procedure of coloured tensor models, we then write transition amplitudes systematically as topological expansions. We analyse the transition amplitudes for the simplest boundary topology, the 2-sphere, and prove that they factorize into a sum entirely given by the combinatorics of the boundary spin network state and that the leading order is given by graphs representing the closed 3-ball in the large N limit. This is the first step towards a more detailed study of the holographic nature of coloured Boulatov-type GFT models for topological field theories and quantum gravity.


title: Generic extensions of ergodic actions

abstract: The article considers generic extensions of measure-preserving actions. We prove that the P-entropy of the generic extensions with finite P-entropy is infinite. This is exploited to obtain the result by Austin, Glasner, Thouvenot, and Weiss that the generic extension of an deterministic action is not isomorphic to it. We show also that generic cocycles are recurrent; as well as typical extensions preserve the singularity of the spectrum, partial rigidity, mildly mixing, and mixing. At the same time, the lifting of some algebraic properties under the generic extension may depend on the statistical properties of the base. The typical measurable families of automorphisms are considered as well. The dynamic behavior of such families is a bit unusual. It is characterized by a combination of the dynamic conformism with the dynamic individualism of the representatives of the generic family.


title: Molecular motors enhance microtubule lattice plasticity

abstract: Microtubules are key structural elements of living cells that are crucial for cell division, intracellular transport and motility. Recent experiments have shown that microtubule severing proteins and molecular motors stimulate the direct and localized incorporation of free tubulin into the shaft. However, a mechanistic picture how microtubule associated proteins affect the lattice is completely missing. Here we theoretically explore a potential mechanism of lattice turnover stimulated by processive molecular motors in which a weak transient destabilization of the lattice by the motor stepping promotes the formation of mobile vacancies. In the absence of free tubulin the defect rapidly propagates leading to a complete fracture. In the presence of free tubulin, the motor walk induces a vacancy drift in the direction opposite of the motor walk. The drift is accompanied by the direct and localized incorporation of free tubulin along the trajectory of the vacancy. Our results are consistent with experiments and strongly suggest that a weak lattice-motor interaction is responsible for an augmented microtubule shaft plasticity.


title: On the Theoretical Properties of Noise Correlation in Stochastic Optimization

abstract: Studying the properties of stochastic noise to optimize complex non-convex functions has been an active area of research in the field of machine learning. Prior work has shown that the noise of stochastic gradient descent improves optimization by overcoming undesirable obstacles in the landscape. Moreover, injecting artificial Gaussian noise has become a popular idea to quickly escape saddle points. Indeed, in the absence of reliable gradient information, the noise is used to explore the landscape, but it is unclear what type of noise is optimal in terms of exploration ability. In order to narrow this gap in our knowledge, we study a general type of continuous-time non-Markovian process, based on fractional Brownian motion, that allows for the increments of the process to be correlated. This generalizes processes based on Brownian motion, such as the Ornstein-Uhlenbeck process. We demonstrate how to discretize such processes which gives rise to the new algorithm fPGD. This method is a generalization of the known algorithms PGD and Anti-PGD. We study the properties of fPGD both theoretically and empirically, demonstrating that it possesses exploration abilities that, in some cases, are favorable over PGD and Anti-PGD. These results open the field to novel ways to exploit noise for training machine learning models.


title: Validation of the Reference Impedance in Multiline Calibration with Stepped Impedance Standards

abstract: This paper presents a new technique for evaluating the consistency of the reference impedance in multiline thru-reflect-line (TRL) calibration. During the calibration process, it is assumed that all transmission line standards have the same characteristic impedance. However, these assumptions are prone to errors due to imperfections, which can affect the validity of the reference impedance after calibration. Our proposed method involves using multiple stepped impedance lines of different lengths to extract the broadband reflection coefficient of the impedance transition. This reflection coefficient can be used to validate the reference impedance experimentally without requiring fully defined standards. We demonstrate this method using multiline TRL based on microstrip structures on a printed circuit board (PCB) with an on-wafer probing setup.


title: Spherical and Rod-shaped Gold Nanoparticles for Surface Enhanced Raman Spectroscopy

abstract: Raman Spectroscopy offers an in-situ, rapid, and non-destructive characterization tool for chemical analysis of diverse samples with no or minimal preparation. However, due to the inherent weak signal of conventional Raman spectroscopy, surface plasmon resonance features of noble metal nanoparticles have been utilized to conduct Surface Enhanced Raman Spectroscopy (SERS) in detecting trace label contaminants in foods and foodstuffs. In this effort, we synthesized gold nanoparticles (AuNPs) by reduction of chloroauric acid (HAuCl4) with sodium citrate dehydrate. We prepared different sizes of AuNPs at a fixed temperature (100 oC) but with varying pHs of 4 and 8. The as-synthesized AuNPs were characterized by UV-Vis spectroscopy, dynamic light scattering (DLS), and Field Emission Scanning Electron Microscopy (FE-SEM). FE-SEM micrographs revealed spherical AuNPs with an average diameter of approx. 55 nm and rod-shaped AuNPs with an average length of approx. 170 nm for sample synthesis at pH 8 and 4, respectively. The effectiveness of the as-prepared AuNPs for SERS is tested by detecting Rhodamine 6G diluted at a trace level. This study suggests that plasmonic nanoparticles coupled with SERS have great potential for broad applications in detecting other trace amounts of hazardous chemicals in foods and foodstuffs.


title: An ICA-Based HVAC Load Disaggregation Method Using Smart Meter Data

abstract: This paper presents an independent component analysis (ICA) based unsupervised-learning method for heat, ventilation, and air-conditioning (HVAC) load disaggregation using low-resolution (e.g., 15 minutes) smart meter data. We first demonstrate that electricity consumption profiles on mild-temperature days can be used to estimate the non-HVAC base load on hot days. A residual load profile can then be calculated by subtracting the mild-day load profile from the hot-day load profile. The residual load profiles are processed using ICA for HVAC load extraction. An optimization-based algorithm is proposed for post-adjustment of the ICA results, considering two bounding factors for enhancing the robustness of the ICA algorithm. First, we use the hourly HVAC energy bounds computed based on the relationship between HVAC load and temperature to remove unrealistic HVAC load spikes. Second, we exploit the dependency between the daily nocturnal and diurnal loads extracted from historical meter data to smooth the base load profile. Pecan Street data with sub-metered HVAC data were used to test and validate the proposed methods.Simulation results demonstrated that the proposed method is computationally efficient and robust across multiple customers.


title: Cache-Oblivious Representation of B-Tree Structures

abstract: We present a data structure CORoBTS for storing a search tree with all leaves at the same depth and vertices of arity between chosen constants $a$ and $b$ in a cache-oblivious way. It provides operations for inserting an $a$-ary subtree and removing a subtree; both have an amortized I/O complexity $\mathcal{O}(S\cdot(\log^2 N)/ B + \log_B N \cdot \log\log S + 1)$ and amortized time complexity $\mathcal{O}(S\cdot\log^2 N)$, where $S$ is the size of the subtree and $N$ size of the whole stored tree. The tree allows searching with an optimal I/O complexity $\mathcal{O}(\log_B{N})$ and is stored in a linear space. We use the data structure as a top space-time tree in the cache-oblivious partially persistent array proposed by Davoodi et al. [DFI\"O14]. The space complexity of the persistent array is then improved from $\mathcal{O}(U^{\log_2 3} + V \log U)$ to $\mathcal{O}(U + V \log U)$, where $U$ is the maximal size of the array and $V$ is the number of versions. The data locality and I/O complexity of both present and persistent reads are kept unchanged; I/O complexity of writes is worsened by a polylogarithmic factor.


title: Extremal points and sparse optimization for generalized Kantorovich-Rubinstein norms

abstract: A precise characterization of the extremal points of sublevel sets of nonsmooth penalties provides both detailed information about minimizers, and optimality conditions in general classes of minimization problems involving them. Moreover, it enables the application of accelerated generalized conditional gradient methods for their efficient solution. In this manuscript, this program is adapted to the minimization of a smooth convex fidelity term which is augmented with an unbalanced transport regularization term given in the form of a generalized Kantorovich-Rubinstein norm for Radon measures. More precisely, we show that the extremal points associated to the latter are given by all Dirac delta functionals supported in the spatial domain as well as certain dipoles, i.e., pairs of Diracs with the same mass but with different signs. Subsequently, this characterization is used to derive precise first-order optimality conditions as well as an efficient solution algorithm for which linear convergence is proved under natural assumptions. This behaviour is also reflected in numerical examples for a model problem.


title: Application of Neural Network in the Prediction of NOx Emissions from Degrading Gas Turbine

abstract: This paper is aiming to apply neural network algorithm for predicting the process response (NOx emissions) from degrading natural gas turbines. Nine different process variables, or predictors, are considered in the predictive modelling. It is found out that the model trained by neural network algorithm should use part of recent data in the training and validation sets accounting for the impact of the system degradation. R-Square values of the training and validation sets demonstrate the validity of the model. The residue plot, without any clear pattern, shows the model is appropriate. The ranking of the importance of the process variables are demonstrated and the prediction profile confirms the significance of the process variables. The model trained by using neural network algorithm manifests the optimal settings of the process variables to reach the minimum value of NOx emissions from the degrading gas turbine system.


title: Theory of Glide Symmetry Protected Helical Edge States in WTe$_{2}$ Monolayer

abstract: Helical edge states in quantum spin Hall (QSH) materials are central building blocks of topological matter design and engineering. Despite their principal topological protection against elastic backscattering, the level of operational stability depends on manifold parameters such as the band gap of the given semiconductor system in the 'inverted' regime, temperature, disorder, and crystal orientation. We theoretically investigate electronic and transport properties of QSH edge states in large gap 1-T' WTe$_{2}$ monolayers. We explore the impact of edge termination, disorder, temperature, and interactions on experimentally addressable edge state observables, such as local density of states and conductance. We show that conductance quantization can remain surprisingly robust even for heavily disordered samples because of an anomalously small edge state decay length and additional protection related to the large direct gap allowed by glide symmetry. From the simulation of temperature-dependent resistance, we find that moderate disorder enhances the stability of conductance by localizing bulk states. We evaluate the edge state velocity and Luttinger liquid parameter as functions of the chemical potential, finding prospects for physics beyond linear helical Luttinger liquids in samples with ultra-clean and well-defined edges.


title: Modified PSO based PID Sliding Mode Control using Improved Reaching Law for Nonlinear systems

abstract: In this paper, a new model based nonlinear control technique, called PID (Proportional-Integral-Derivative) type sliding surface based sliding mode control is designed using improved reaching law. To improve the performance of the second order nonlinear differential equations with unknown parameters modified particle swarm intelligent optimization (MPSO) is used for the optimized parameters. This paper throws light on the sliding surface design, on the proposed power rate exponential reaching law, parameters optimization using modified particle swarm optimization and highlights the important features of adding an integral term in the sliding mode such as robustness and higher convergence, through extensive mathematical modeling. Siding mode control law is derived using Lyapunov stability approach and its asymptotic stability is proved mathematically and simulations showing its validity. MPSO PID-type Sliding mode control will stabilize the highly nonlinear systems, will compensate disturbances and uncertainty and reduces tracking errors. Simulations and experimental application is done on the non-linear systems and are presented to make a quantitative comparison.


title: HyperDog: An Open-Source Quadruped Robot Platform Based on ROS2 and micro-ROS

abstract: Nowadays, design and development of legged quadruped robots is a quite active area of scientific research. In fact, the legged robots have become popular due to their capabilities to adapt to harsh terrains and diverse environmental conditions in comparison to other mobile robots. With the higher demand for legged robot experiments, more researches and engineers need an affordable and quick way of locomotion algorithm development. In this paper, we present a new open source quadruped robot HyperDog platform, which features 12 RC servo motors, onboard NVIDIA Jetson nano computer and STM32F4 Discovery board. HyperDog is an open-source platform for quadruped robotic software development, which is based on Robot Operating System 2 (ROS2) and micro-ROS. Moreover, the HyperDog is a quadrupedal robotic dog entirely built from 3D printed parts and carbon fiber, which allows the robot to have light weight and good strength. The idea of this work is to demonstrate an affordable and customizable way of robot development and provide researches and engineers with the legged robot platform, where different algorithms can be tested and validated in simulation and real environment. The developed project with code is available on GitHub (https://github.com/NDHANA94/hyperdog_ros2).


title: Witnessing superpositions of causal orders before the process is completed

abstract: The questions we raise in this letter are as follows: What is the most general representation of a quantum state at a single point in time? Can we adapt the current formalisms to situations where the order of quantum operations is coherently or incoherently superposed? If so, what are the relations between the state at a given time and the uncertainty in the order of events before and after it? Establishing the relationship between two-state vector formalism and pseudo-density operators, we introduce the notion of a single-time pseudo-state. The tomographic construction of single-time pseudo-states is possible by ideal or weak measurements. We demonstrate that the eigenspectrum obtained from weak measurements enables us to discriminate between some coherent and incoherent superpositions of causal orders in pre- and post-selected systems before the process is completed. Finally, we discuss some possible experimental realizations in existing photonic setups.


title: Use of Non-concurrent Common Control in Master Protocols in Oncology Trials: Report of an American Statistical Association Biopharmaceutical Section Open Forum Discussion

abstract: This article summarizes the discussions from the American Statistical Association (ASA) Biopharmaceutical (BIOP) Section Open Forum that took place on December 10, 2020 and was organized by the ASA BIOP Statistical Methods in Oncology Scientific Working Group, in coordination with the US FDA Oncology Center of Excellence. Diverse stakeholders including experts from international regulatory agencies, academicians, and representatives of the pharmaceutical industry engaged in a discussion on the use of non-concurrent control in Master Protocols for oncology trials. While the use of non-concurrent control with the concurrent control may increase the power of detecting the therapeutic difference between a treatment and the control, the panelists had diverse opinion on the statistical approaches for modeling non-concurrent and concurrent controls. Some were more concerned about the temporality of the non-concurrent control and bias introduced by different confounders related to time, e.g., changes in standard of care, changes in patient population, changes in recruiting strategies, changes in assessment of endpoints. Nevertheless, in some situations such as when the recruitment is extremely challenging for a rare disease, the panelists concluded that the use of a non-concurrent control can be justified.


title: Active Predicting Coding: Brain-Inspired Reinforcement Learning for Sparse Reward Robotic Control Problems

abstract: In this article, we propose a backpropagation-free approach to robotic control through the neuro-cognitive computational framework of neural generative coding (NGC), designing an agent built completely from powerful predictive coding/processing circuits that facilitate dynamic, online learning from sparse rewards, embodying the principles of planning-as-inference. Concretely, we craft an adaptive agent system, which we call active predictive coding (ActPC), that balances an internally-generated epistemic signal (meant to encourage intelligent exploration) with an internally-generated instrumental signal (meant to encourage goal-seeking behavior) to ultimately learn how to control various simulated robotic systems as well as a complex robotic arm using a realistic robotics simulator, i.e., the Surreal Robotics Suite, for the block lifting task and can pick-and-place problems. Notably, our experimental results demonstrate that our proposed ActPC agent performs well in the face of sparse (extrinsic) reward signals and is competitive with or outperforms several powerful backprop-based RL approaches.


title: Exponential Family Trend Filtering on Lattices

abstract: Trend filtering is a modern approach to nonparametric regression that is more adaptive to local smoothness than splines or similar basis procedures. Existing analyses of trend filtering focus on estimating a function corrupted by homoskedastic Gaussian noise, but our work extends this technique to general exponential family distributions. This extension is motivated by the need to study massive, gridded climate data derived from polar-orbiting satellites. We present algorithms tailored to large problems, theoretical results for general exponential family likelihoods, and principled methods for tuning parameter selection without excess computation.


title: A probabilistic model of diffusion through a semi-permeable barrier

abstract: Diffusion through semipermeable structures arises in a wide range of processes in the physical and life sciences. Examples at the microscopic level range from artificial membranes for reverse osmosis to lipid bilayers regulating molecular transport in biological cells to chemical and electrical gap junctions. There are also macroscopic analogs such as animal migration in heterogeneous landscapes. It has recently been shown that one-dimensional diffusion through a barrier with constant permeability $\kappa_0$ is equivalent to snapping out Brownian motion (BM). The latter sews together successive rounds of partially reflecting BMs that are restricted to either the left or right of the barrier. Each round is killed when its Brownian local time exceeds an exponential random variable parameterized by $\kappa_0$. A new round is then immediately started in either direction with equal probability. In this paper we use a combination of renewal theory, Laplace transforms and Green's function methods to show how an extended version of snapping out BM provides a general probabilistic framework for modeling diffusion through a semipermeable barrier. This includes modifications of the diffusion process away from the barrier (eg. stochastic resetting) and non-Markovian models of membrane absorption that kill each round of partially reflected BM. The latter leads to time-dependent permeabilities.


title: Learning-based Uncertainty-aware Navigation in 3D Off-Road Terrains

abstract: This paper presents a safe, efficient, and agile ground vehicle navigation algorithm for 3D off-road terrain environments. Off-road navigation is subject to uncertain vehicle-terrain interactions caused by different terrain conditions on top of 3D terrain topology. The existing works are limited to adopt overly simplified vehicle-terrain models. The proposed algorithm learns the terrain-induced uncertainties from driving data and encodes the learned uncertainty distribution into the traversability cost for path evaluation. The navigation path is then designed to optimize the uncertainty-aware traversability cost, resulting in a safe and agile vehicle maneuver. Assuring real-time execution, the algorithm is further implemented within parallel computation architecture running on Graphics Processing Units (GPU).


title: ViT-DD: Multi-Task Vision Transformer for Semi-Supervised Driver Distraction Detection

abstract: Ensuring traffic safety and mitigating accidents in modern driving is of paramount importance, and computer vision technologies have the potential to significantly contribute to this goal. This paper presents a multi-modal Vision Transformer for Driver Distraction Detection (termed ViT-DD), which incorporates inductive information from training signals related to both distraction detection and driver emotion recognition. Additionally, a self-learning algorithm is developed, allowing for the seamless integration of driver data without emotion labels into the multi-task training process of ViT-DD. Experimental results reveal that the proposed ViT-DD surpasses existing state-of-the-art methods for driver distraction detection by 6.5% and 0.9% on the SFDDD and AUCDD datasets, respectively.


title: SD-Based Low-Complexity Precoder Design for Gaussian MIMO Wiretap Channels

abstract: This paper considers a Gaussian multi-input multi-output (MIMO) multiple access wiretap (MAC-WT) channel, where an eavesdropper (Eve) wants to extract the confidential information of all users. Assuming that both the legitimate receiver and Eve jointly decode their interested messages, we aim to maximize the sum secrecy rate of the system by precoder design. Although this problem could be solved by first using the iterative majorization minimization (MM) based algorithm to get a sequence of convex log-determinant optimization subproblems and then using some general tools, e.g., the interior point method, to deal with each subproblem, this strategy involves quite high computational complexity. Therefore, we propose a simultaneous diagonalization based low-complexity (SDLC) method to maximize the secrecy rate of a simple one-user wiretap channel, and then use this method to iteratively optimize the covariance matrix of each user. Simulation results show that in contrast to the existing approaches, the SDLC scheme achieves similar secrecy performance but requires much lower complexity.


title: Arrested Development and Fragmentation in Strongly-Interacting Floquet Systems

abstract: We explore how interactions can facilitate classical like dynamics in models with sequentially activated hopping. Specifically, we add local and short range interaction terms to the Hamiltonian, and ask for conditions ensuring the evolution acts as a permutation on initial local number Fock states. We show that at certain values of hopping and interactions, determined by a set of Diophantine equations, such evolution can be realized. When only a subset of the Diophantine equations is satisfied the Hilbert space can be fragmented into frozen states, states obeying cellular automata like evolution and subspaces where evolution mixes Fock states and is associated with eigenstates exhibiting high entanglement entropy and level repulsion.


title: The Dirac equation across the horizons of the 5D Myers-Perry geometry : Separation of variables, radial asymptotic behaviour and Hamiltonian formalism

abstract: We analytically extend the 5D Myers-Perry metric through the event and Cauchy horizons by defining Eddington-Finkelstein-type coordinates. Then, we use the orthonormal frame formalism to formulate and perform separation of variables on the massive Dirac equation, and analyse the asymptotic behaviour at the horizons and at infinity of the solutions to the radial ordinary differential equation (ODE) thus obtained. Using the essential self-adjointness result of Finster and R\"oken and Stone's formula, we obtain an integral spectral representation of the Dirac propagator for spinors with low masses and suitably bounded frequency spectra in terms of resolvents of the Dirac Hamiltonian, which can in turn be expressed in terms of Green's functions of the radial ODE.


title: Dynamical Diophantine Approximation Exponents in Characteristic $p$

abstract: Let $\phi(z)$ be a non-isotrivial rational function in one-variable with coefficients in $\overline{\mathbb{F}}_p(t)$ and assume that $\gamma\in\mathbb{P}^1(\overline{\mathbb{F}}_p(t))$ is not a post-critical point for $\phi$. Then we prove that the diophantine approximation exponent of elements of $\phi^{-m}(\gamma)$ are eventually bounded above by $\lceil d^m/2\rceil+1$. To do this, we mix diophantine techniques in characteristic $p$ with the adelic equidistribution of small points in Berkovich space. As an application, we deduce a form of Silverman's celebrated limit theorem in this setting. Namely, if we take any wandering point $a\in\mathbb{P}^1(\overline{\mathbb{F}}_p(t))$ and write $\phi^n(a)=a_n/b_n$ for some coprime polynomials $a_n,b_n\in\overline{\mathbb{F}}_p[t]$, then we prove that \[ \frac{1}{2}\leq \liminf_{n\rightarrow\infty} \frac{\text{deg}(a_n)}{\text{deg}(b_n)} \leq\limsup_{n\rightarrow\infty} \frac{\text{deg}(a_n)}{\text{deg}(b_n)}\leq2,\] whenever $0$ and $\infty$ are both not post-critical points for $\phi$. In characteristic $p$, the Thue-Siegel-Dyson-Roth theorem is false, and so our proof requires different techniques than those used by Silverman.


title: Many-body Aharonov-Bohm caging in a lattice of rings

abstract: We study a system of a few ultracold bosons loaded into the states with orbital angular momentum $l=1$ of a one-dimensional staggered lattice of rings. Local eigenstates with winding numbers $+l$ and $-l$ form a Creutz ladder with a real dimension and a synthetic one. States with opposite winding numbers in adjacent rings are coupled through complex tunnelings, which can be tuned by modifying the central angle $\phi$ of the lattice. We analyze both the single-particle case and the few boson bound-state subspaces for the regime of strong interactions using perturbation theory, showing how the geometry of the system can be engineered to produce an effective $\pi$-flux through the plaquettes. We find non-trivial topological band structures and many-body Aharonov-Bohm caging in the $N$-particle subspaces even in the presence of a dispersive single-particle spectrum. Additionally, we study the family of models where the angle $\phi$ is introduced at an arbitrary lattice periodicity $\Gamma$. For $\Gamma>2$, the $\pi$-flux becomes non-uniform, which enlarges the spatial extent of the Aharonov-Bohm caging as the number of flat bands in the spectrum increases. All the analytical results are benchmarked through exact diagonalization.


title: Stationary states of an active Brownian particle in a harmonic trap

abstract: We study the stationary states of an over-damped active Brownian particle (ABP) in a harmonic trap in two dimensions, via mathematical calculations and numerical simulations. In addition to translational diffusion, the ABP self-propels with a certain velocity, whose magnitude is constant, but its direction is subject to Brownian rotation. In the limit where translational diffusion is negligible, the stationary distribution of the particle's position shows a transition between two different shapes, one with maximum and the other with minimum density at the centre, as the trap stiffness is increased. We show that this non-intuitive behaviour is captured by the relevant Fokker-Planck equation, which, under minimal assumptions, predicts a continuous ``phase transition" between the two different shapes. As the translational diffusion coefficient is increased, both these distributions converge into the equilibrium, Boltzmann form. Our simulations support the analytical predictions, and also show that the probability distribution of the orientation angle of the self-propulsion velocity undergoes a transition from unimodal to bimodal forms in this limit. We also extend our simulations to a three dimensional trap, and find similar behaviour.


title: Active Inference for Autonomous Decision-Making with Contextual Multi-Armed Bandits

abstract: In autonomous robotic decision-making under uncertainty, the tradeoff between exploitation and exploration of available options must be considered. If secondary information associated with options can be utilized, such decision-making problems can often be formulated as contextual multi-armed bandits (CMABs). In this study, we apply active inference, which has been actively studied in the field of neuroscience in recent years, as an alternative action selection strategy for CMABs. Unlike conventional action selection strategies, it is possible to rigorously evaluate the uncertainty of each option when calculating the expected free energy (EFE) associated with the decision agent's probabilistic model, as derived from the free-energy principle. We specifically address the case where a categorical observation likelihood function is used, such that EFE values are analytically intractable. We introduce new approximation methods for computing the EFE based on variational and Laplace approximations. Extensive simulation study results demonstrate that, compared to other strategies, active inference generally requires far fewer iterations to identify optimal options and generally achieves superior cumulative regret, for relatively low extra computational cost.


title: Limitations of time-delayed case isolation in heterogeneous SIR models

abstract: Case isolation, that is, detection and isolation of infected individuals in order to prevent spread, is a strategy to curb infectious disease epidemics. Here, we study the efficiency of a case isolation strategy subject to time delays in terms of its ability to stabilize the epidemic spread in heterogeneous contact networks. For an SIR epidemic model, we characterize the stability boundary analytically and show how it depends on the time delay between infection and isolation as well as the heterogeneity of the inter-individual contact network, quantified by the variance in contact rates. We show that network heterogeneity accounts for a restricting correction factor to previously derived stability results for homogeneous SIR models (with uniform contact rates), which are therefore too optimistic on the relevant time scales. We illustrate the results and the underlying mechanisms through insightful numerical examples.


title: dmscatter: A Fast Program for WIMP-Nucleus Scattering

abstract: Recent work, using an effective field theory framework, has shown the number of possible couplings between nucleons and the dark-matter-candidate Weakly Interacting Massive Particles (WIMPs) is larger than previously thought. Inspired by an existing Mathematica script that computes the target response, we have developed a fast, modern Fortran code, including optional OpenMP parallelization, along with a user-friendly Python wrapper, to swiftly and efficiently explore many scenarios, with output aligned with practices of current dark matter searches. A library of most of the important target nuclides is included; users may also import their own nuclear structure data, in the form of reduced one-body density matrices. The main output is the differential event rate as a function of recoil energy, needed for modeling detector response rates, but intermediate results such as nuclear form factors can be readily accessed.


title: Avoiding Biased Clinical Machine Learning Model Performance Estimates in the Presence of Label Selection

abstract: When evaluating the performance of clinical machine learning models, one must consider the deployment population. When the population of patients with observed labels is only a subset of the deployment population (label selection), standard model performance estimates on the observed population may be misleading. In this study we describe three classes of label selection and simulate five causally distinct scenarios to assess how particular selection mechanisms bias a suite of commonly reported binary machine learning model performance metrics. Simulations reveal that when selection is affected by observed features, naive estimates of model discrimination may be misleading. When selection is affected by labels, naive estimates of calibration fail to reflect reality. We borrow traditional weighting estimators from causal inference literature and find that when selection probabilities are properly specified, they recover full population estimates. We then tackle the real-world task of monitoring the performance of deployed machine learning models whose interactions with clinicians feed-back and affect the selection mechanism of the labels. We train three machine learning models to flag low-yield laboratory diagnostics, and simulate their intended consequence of reducing wasteful laboratory utilization. We find that naive estimates of AUROC on the observed population undershoot actual performance by up to 20%. Such a disparity could be large enough to lead to the wrongful termination of a successful clinical decision support tool. We propose an altered deployment procedure, one that combines injected randomization with traditional weighted estimates, and find it recovers true model performance.


title: Bistable all-optical devices based on nonlinear epsilon-near-zero (ENZ) materials

abstract: Non-linear and bistable optical systems are a key enabling technology for the next generation optical networks and photonic neural systems with many potential applications in optical logic and information processing. Here, we propose a novel bistable resonator-free all-optical waveguide device based on indium tin oxide as nonlinear epsilon-near-zero material providing a cost-efficient and high-performance binarity photonic platform. The salient features of the proposed device are compatibility with silicon photonics, enabling sub-picosecond operation speeds with moderate switching power. The device can act as an optical analogue of memristor or thyristor and can become an enabling element of photonic neural networks not requiring OEO conversions.


title: Robust leave-one-out cross-validation for high-dimensional Bayesian models

abstract: Leave-one-out cross-validation (LOO-CV) is a popular method for estimating out-of-sample predictive accuracy. However, computing LOO-CV criteria can be computationally expensive due to the need to fit the model multiple times. In the Bayesian context, importance sampling provides a possible solution but classical approaches can easily produce estimators whose asymptotic variance is infinite, making them potentially unreliable. Here we propose and analyze a novel mixture estimator to compute Bayesian LOO-CV criteria. Our method retains the simplicity and computational convenience of classical approaches, while guaranteeing finite asymptotic variance of the resulting estimators. Both theoretical and numerical results are provided to illustrate the improved robustness and efficiency. The computational benefits are particularly significant in high-dimensional problems, allowing to perform Bayesian LOO-CV for a broader range of models, and datasets with highly influential observations. The proposed methodology is easily implementable in standard probabilistic programming software and has a computational cost roughly equivalent to fitting the original model once.


title: The dGLI Cloth Coordinates: A Topological Representation for Semantic Classification of Cloth States

abstract: Robotic manipulation of cloth is a highly complex task because of its infinite-dimensional shape-state space that makes cloth state estimation very difficult. In this paper we introduce the dGLI Cloth Coordinates, a low-dimensional representation of the state of a rectangular piece of cloth that allows to efficiently distinguish key topological changes in a folding sequence, opening the door to efficient learning methods for cloth manipulation planning and control. Our representation is based on a directional derivative of the Gauss Linking Integral and allows us to represent both planar and spatial configurations in a consistent unified way. The proposed dGLI Cloth Coordinates are shown to be more accurate in the classification of cloth states and significantly more sensitive to changes in grasping affordances than other classic shape distance methods. Finally, we apply our representation to real images of a cloth, showing we can identify the different states using a simple distance-based classifier.


title: Isometric embedding of a weighted Fermat-Frechet multitree for isoperimetric deformations of the boundary of a simplex to a Frechet multisimplex in the $K$-Space

abstract: In this paper, we study the weighted Fermat-Frechet problem for a $\frac{N (N+1)}{2}-$tuple of positive real numbers determining $N$-simplexes in the $N$ dimensional $K$-Space ($N$-dimensional Euclidean space $\mathbb{R}^{N}$ if $K=0,$ the $N$-dimensional open hemisphere of radius $\frac{1}{\sqrt{K}}$ ($\mathbb{S}_{\frac{1}{\sqrt{K}}}^{N}$) if $K >0$ and the Lobachevsky space $\mathbb{H}_{K}^{N}$ of constant curvature $K$ if $K<0$). The (weighted) Fermat-Frechet problem is a new generalization of the (weighted) Fermat problem for $N$-simplexes. We control the number of solutions (weighted Fermat trees) with respect to the weighted Fermat-Frechet problem that we call a weighted Fermat-Frechet multitree, by using some conditions for the edge lengths discovered by Dekster-Wilker. In order to construct an isometric immersion of a weighted Fermat-Frechet multitree in the $K$- Space, we use the isometric immersion of Godel-Schoenberg for $N$-simplexes in the $N$-sphere and the isometric immersion of Gromov (up to an additive constant) for weighted Fermat (Steiner) trees in the $N$-hyperbolic space $\mathbb{H}_{K}^{N}$. Finally, we create a new variational method, which differs from Schafli's, Luo's and Milnor's techniques to differentiate the length of a geodesic arc with respect to a variable geodesic arc, in the 3$K$-Space. By applying this method, we eliminate one variable geodesic arc from a system of equations, which give the weighted Fermat-Frechet solution for a sextuple of edge lengths determining (Frechet) tetrahedra.


title: Improving Mitosis Detection Via UNet-based Adversarial Domain Homogenizer

abstract: The effective localization of mitosis is a critical precursory task for deciding tumor prognosis and grade. Automated mitosis detection through deep learning-oriented image analysis often fails on unseen patient data due to inherent domain biases. This paper proposes a domain homogenizer for mitosis detection that attempts to alleviate domain differences in histology images via adversarial reconstruction of input images. The proposed homogenizer is based on a U-Net architecture and can effectively reduce domain differences commonly seen with histology imaging data. We demonstrate our domain homogenizer's effectiveness by observing the reduction in domain differences between the preprocessed images. Using this homogenizer, along with a subsequent retina-net object detector, we were able to outperform the baselines of the 2021 MIDOG challenge in terms of average precision of the detected mitotic figures.


title: Differentiable Frequency-based Disentanglement for Aerial Video Action Recognition

abstract: We present a learning algorithm for human activity recognition in videos. Our approach is designed for UAV videos, which are mainly acquired from obliquely placed dynamic cameras that contain a human actor along with background motion. Typically, the human actors occupy less than one-tenth of the spatial resolution. Our approach simultaneously harnesses the benefits of frequency domain representations, a classical analysis tool in signal processing, and data driven neural networks. We build a differentiable static-dynamic frequency mask prior to model the salient static and dynamic pixels in the video, crucial for the underlying task of action recognition. We use this differentiable mask prior to enable the neural network to intrinsically learn disentangled feature representations via an identity loss function. Our formulation empowers the network to inherently compute disentangled salient features within its layers. Further, we propose a cost-function encapsulating temporal relevance and spatial content to sample the most important frame within uniformly spaced video segments. We conduct extensive experiments on the UAV Human dataset and the NEC Drone dataset and demonstrate relative improvements of 5.72% - 13.00% over the state-of-the-art and 14.28% - 38.05% over the corresponding baseline model.


title: Constrained Sampling for Class-Agnostic Weakly Supervised Object Localization

abstract: Self-supervised vision transformers can generate accurate localization maps of the objects in an image. However, since they decompose the scene into multiple maps containing various objects, and they do not rely on any explicit supervisory signal, they cannot distinguish between the object of interest from other objects, as required in weakly-supervised object localization (WSOL). To address this issue, we propose leveraging the multiple maps generated by the different transformer heads to acquire pseudo-labels for training a WSOL model. In particular, a new discriminative proposals sampling method is introduced that relies on a pretrained CNN classifier to identify discriminative regions. Then, foreground and background pixels are sampled from these regions in order to train a WSOL model for generating activation maps that can accurately localize objects belonging to a specific class. Empirical results on the challenging CUB benchmark dataset indicate that our proposed approach can outperform state-of-art methods over a wide range of threshold values. Our method provides class activation maps with a better coverage of foreground object regions w.r.t. the background.


title: Bonded straight and helical flagellar filaments form ultra-low-density glasses

abstract: We study how the three-dimensional shape of rigid filaments determines the microscopic dynamics and macroscopic rheology of entangled semi-dilute Brownian suspensions. To control the filament shape we use bacterial flagella, which are micron-long helices assembled from flagellin monomers. We compare the dynamics of straight rods, helical filaments, and shape diblock copolymers composed of seamlessly joined straight and helical segments. Caged by their neighbors, straight rods preferentially diffuse along their long axis, but exhibit significantly suppressed rotational diffusion. Entangled helical filaments escape their confining tube by corkscrewing through the dense obstacles created by other filaments. By comparison, the adjoining segments of the rod-helix shape-diblocks suppress both the translation and the corkscrewing dynamics, so that shape-diblocks become permanently jammed at exceedingly low densities. We also measure the rheological properties of semi-dilute suspensions and relate their mechanical properties to the microscopic dynamics of constituent filaments. In particular, rheology shows that an entangled suspension of shape rod-helix copolymers forms a low-density glass whose elastic modulus can be estimated by accounting for how shear deformations reduce the entropic degrees of freedom of constrained filaments. Our results demonstrate that the three-dimensional shape of rigid filaments can be used to design rheological properties of semi-dilute fibrous suspensions.


title: Exploiting Nanoelectronic Properties of Memory Chips for Prevention of IC Counterfeiting

abstract: This study presents a methodology for anticounterfeiting of Non-Volatile Memory (NVM) chips. In particular, we experimentally demonstrate a generalized methodology for detecting (i) Integrated Circuit (IC) origin, (ii) recycled or used NVM chips, and (iii) identification of used locations (addresses) in the chip. Our proposed methodology inspects latency and variability signatures of Commercial-Off-The-Shelf (COTS) NVM chips. The proposed technique requires low-cycle (~100) pre-conditioning and utilizes Machine Learning (ML) algorithms. We observe different trends in evolution of latency (sector erase or page write) with cycling on different NVM technologies from different vendors. ML assisted approach is utilized for detecting IC manufacturers with 95.1 % accuracy obtained on prepared test dataset consisting of 3 different NVM technologies including 6 different manufacturers (9 types of chips).


title: A Masked Bounding-Box Selection Based ResNet Predictor for Text Rotation Prediction

abstract: The existing Optical Character Recognition (OCR) systems are capable of recognizing images with horizontal texts. However, when the rotation of the texts increases, it becomes harder to recognizing these texts. The performance of the OCR systems decreases. Thus predicting the rotations of the texts and correcting the images are important. Previous work mainly uses traditional Computer Vision methods like Hough Transform and Deep Learning methods like Convolutional Neural Network. However, all of these methods are prone to background noises commonly existing in general images with texts. To tackle this problem, in this work, we introduce a new masked bounding-box selection method, that incorporating the bounding box information into the system. By training a ResNet predictor to focus on the bounding box as the region of interest (ROI), the predictor learns to overlook the background noises. Evaluations on the text rotation prediction tasks show that our method improves the performance by a large margin.


title: AutoPET Challenge 2022: Step-by-Step Lesion Segmentation in Whole-body FDG-PET/CT

abstract: Automatic segmentation of tumor lesions is a critical initial processing step for quantitative PET/CT analysis. However, numerous tumor lesions with different shapes, sizes, and uptake intensity may be distributed in different anatomical contexts throughout the body, and there is also significant uptake in healthy organs. Therefore, building a systemic PET/CT tumor lesion segmentation model is a challenging task. In this paper, we propose a novel step-by-step 3D segmentation method to address this problem. We achieved Dice score of 0.92, false positive volume of 0.89 and false negative volume of 0.53 on preliminary test set.The code of our work is available on the following link: https://github.com/rightl/autopet.


title: Crowdsourced-based Deep Convolutional Networks for Urban Flood Depth Mapping

abstract: Successful flood recovery and evacuation require access to reliable flood depth information. Most existing flood mapping tools do not provide real-time flood maps of inundated streets in and around residential areas. In this paper, a deep convolutional network is used to determine flood depth with high spatial resolution by analyzing crowdsourced images of submerged traffic signs. Testing the model on photos from a recent flood in the U.S. and Canada yields a mean absolute error of 6.978 in., which is on par with previous studies, thus demonstrating the applicability of this approach to low-cost, accurate, and real-time flood risk mapping.


title: Dimension matters when modeling network communities in hyperbolic spaces

abstract: Over the last decade, random hyperbolic graphs have proved successful in providing geometric explanations for many key properties of real-world networks, including strong clustering, high navigability, and heterogeneous degree distributions. These properties are ubiquitous in systems as varied as the internet, transportation, brain or epidemic networks, which are thus unified under the hyperbolic network interpretation on a surface of constant negative curvature. Although a few studies have shown that hyperbolic models can generate community structures, another salient feature observed in real networks, we argue that the current models are overlooking the choice of the latent space dimensionality that is required to adequately represent clustered networked data. We show that there is an important qualitative difference between the lowest-dimensional model and its higher-dimensional counterparts with respect to how similarity between nodes restricts connection probabilities. Since more dimensions also increase the number of nearest neighbors for angular clusters representing communities, considering only one more dimension allows us to generate more realistic and diverse community structures.


title: Generating detailed saliency maps using model-agnostic methods

abstract: The emerging field of Explainable Artificial Intelligence focuses on researching methods of explaining the decision making processes of complex machine learning models. In the field of explainability for Computer Vision, explanations are provided as saliency maps, which visualize the importance of individual pixels of the input w.r.t. the model's prediction. In this work we focus on a perturbation-based, model-agnostic explainability method called RISE, elaborate on observed shortcomings of its grid-based approach and propose two modifications: replacement of square occlusions with convex polygonal occlusions based on cells of a Voronoi mesh and addition of an informativeness guarantee to the occlusion mask generator. These modifications, collectively called VRISE (Voronoi-RISE), are meant to, respectively, improve the accuracy of maps generated using large occlusions and accelerate convergence of saliency maps in cases where sampling density is either very low or very high. We perform a quantitative comparison of accuracy of saliency maps produced by VRISE and RISE on the validation split of ILSVRC2012, using a saliency-guided content insertion/deletion metric and a localization metric based on bounding boxes. Additionally, we explore the space of configurable occlusion pattern parameters to better understand their influence on saliency maps produced by RISE and VRISE. We also describe and demonstrate two effects observed over the course of experimentation, arising from the random sampling approach of RISE: "feature slicing" and "saliency misattribution". Our results show that convex polygonal occlusions yield more accurate maps for coarse occlusion meshes and multi-object images, but improvement is not guaranteed in other cases. The informativeness guarantee is shown to increase the convergence rate without incurring a significant computational overhead.


title: Look where you look! Saliency-guided Q-networks for generalization in visual Reinforcement Learning

abstract: Deep reinforcement learning policies, despite their outstanding efficiency in simulated visual control tasks, have shown disappointing ability to generalize across disturbances in the input training images. Changes in image statistics or distracting background elements are pitfalls that prevent generalization and real-world applicability of such control policies. We elaborate on the intuition that a good visual policy should be able to identify which pixels are important for its decision, and preserve this identification of important sources of information across images. This implies that training of a policy with small generalization gap should focus on such important pixels and ignore the others. This leads to the introduction of saliency-guided Q-networks (SGQN), a generic method for visual reinforcement learning, that is compatible with any value function learning method. SGQN vastly improves the generalization capability of Soft Actor-Critic agents and outperforms existing stateof-the-art methods on the Deepmind Control Generalization benchmark, setting a new reference in terms of training efficiency, generalization gap, and policy interpretability.


title: Robustness of an Artificial Intelligence Solution for Diagnosis of Normal Chest X-Rays

abstract: Purpose: Artificial intelligence (AI) solutions for medical diagnosis require thorough evaluation to demonstrate that performance is maintained for all patient sub-groups and to ensure that proposed improvements in care will be delivered equitably. This study evaluates the robustness of an AI solution for the diagnosis of normal chest X-rays (CXRs) by comparing performance across multiple patient and environmental subgroups, as well as comparing AI errors with those made by human experts. Methods: A total of 4,060 CXRs were sampled to represent a diverse dataset of NHS patients and care settings. Ground-truth labels were assigned by a 3-radiologist panel. AI performance was evaluated against assigned labels and sub-groups analysis was conducted against patient age and sex, as well as CXR view, modality, device manufacturer and hospital site. Results: The AI solution was able to remove 18.5% of the dataset by classification as High Confidence Normal (HCN). This was associated with a negative predictive value (NPV) of 96.0%, compared to 89.1% for diagnosis of normal scans by radiologists. In all AI false negative (FN) cases, a radiologist was found to have also made the same error when compared to final ground-truth labels. Subgroup analysis showed no statistically significant variations in AI performance, whilst reduced normal classification was observed in data from some hospital sites. Conclusion: We show the AI solution could provide meaningful workload savings by diagnosis of 18.5% of scans as HCN with a superior NPV to human readers. The AI solution is shown to perform well across patient subgroups and error cases were shown to be subjective or subtle in nature.


title: Data-Driven Stochastic Optimal Control Using Kernel Gradients

abstract: We present an empirical, gradient-based method for solving data-driven stochastic optimal control problems using the theory of kernel embeddings of distributions. By embedding the integral operator of a stochastic kernel in a reproducing kernel Hilbert space, we can compute an empirical approximation of stochastic optimal control problems, which can then be solved efficiently using the properties of the RKHS. Existing approaches typically rely upon finite control spaces or optimize over policies with finite support to enable optimization. In contrast, our approach uses kernel-based gradients computed using observed data to approximate the cost surface of the optimal control problem, which can then be optimized using gradient descent. We apply our technique to the area of data-driven stochastic optimal control, and demonstrate our proposed approach on a linear regulation problem for comparison and on a nonlinear target tracking problem.


title: A Learning-Based Trajectory Planning of Multiple UAVs for AoI Minimization in IoT Networks

abstract: Many emerging Internet of Things (IoT) applications rely on information collected by sensor nodes where the freshness of information is an important criterion. \textit{Age of Information} (AoI) is a metric that quantifies information timeliness, i.e., the freshness of the received information or status update. This work considers a setup of deployed sensors in an IoT network, where multiple unmanned aerial vehicles (UAVs) serve as mobile relay nodes between the sensors and the base station. We formulate an optimization problem to jointly plan the UAVs' trajectory, while minimizing the AoI of the received messages. This ensures that the received information at the base station is as fresh as possible. The complex optimization problem is efficiently solved using a deep reinforcement learning (DRL) algorithm. In particular, we propose a deep Q-network, which works as a function approximation to estimate the state-action value function. The proposed scheme is quick to converge and results in a lower AoI than the random walk scheme. Our proposed algorithm reduces the average age by approximately $25\%$ and requires down to $50\%$ less energy when compared to the baseline scheme.


title: Table Detection in the Wild: A Novel Diverse Table Detection Dataset and Method

abstract: Recent deep learning approaches in table detection achieved outstanding performance and proved to be effective in identifying document layouts. Currently, available table detection benchmarks have many limitations, including the lack of samples diversity, simple table structure, the lack of training cases, and samples quality. In this paper, we introduce a diverse large-scale dataset for table detection with more than seven thousand samples containing a wide variety of table structures collected from many diverse sources. In addition to that, we also present baseline results using a convolutional neural network-based method to detect table structure in documents. Experimental results show the superiority of applying convolutional deep learning methods over classical computer vision-based methods. The introduction of this diverse table detection dataset will enable the community to develop high throughput deep learning methods for understanding document layout and tabular data processing. Dataset is available at: 1. https://www.kaggle.com/datasets/mrinalim/stdw-dataset 2. https://huggingface.co/datasets/n3011/STDW


title: Proceedings of the Sixth Working Formal Methods Symposium

abstract: It is our pleasure to present the papers of the sixth Working Formal Methods Symposium (FROM 2022) held at the "Al. I. Cuza" university of Iasi, Romania on September 19-20, 2022. FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. The program committee chose five contributions and four invited presentations, one of which was shared with the co-located 28th Workshop on Logic, Language, Information and Computation (WoLLIC 2022). Two of the contributions deal with Matching Logic, an expressive logical framework where the formal definitions of programming languages and other logics can be embedded. Other contributions deal with distributed systems, multi-agent systems, and teaching formal methods. The invited talks present work broadly consistent with these topics.


title: Discriminative Sampling of Proposals in Self-Supervised Transformers for Weakly Supervised Object Localization

abstract: Drones are employed in a growing number of visual recognition applications. A recent development in cell tower inspection is drone-based asset surveillance, where the autonomous flight of a drone is guided by localizing objects of interest in successive aerial images. In this paper, we propose a method to train deep weakly-supervised object localization (WSOL) models based only on image-class labels to locate object with high confidence. To train our localizer, pseudo labels are efficiently harvested from a self-supervised vision transformers (SSTs). However, since SSTs decompose the scene into multiple maps containing various object parts, and do not rely on any explicit supervisory signal, they cannot distinguish between the object of interest and other objects, as required WSOL. To address this issue, we propose leveraging the multiple maps generated by the different transformer heads to acquire pseudo-labels for training a deep WSOL model. In particular, a new Discriminative Proposals Sampling (DiPS) method is introduced that relies on a CNN classifier to identify discriminative regions. Then, foreground and background pixels are sampled from these regions in order to train a WSOL model for generating activation maps that can accurately localize objects belonging to a specific class. Empirical results on the challenging TelDrone dataset indicate that our proposed approach can outperform state-of-art methods over a wide range of threshold values over produced maps. We also computed results on CUB dataset, showing that our method can be adapted for other tasks.


title: Use Classifier as Generator

abstract: Image recognition/classification is a widely studied problem, but its reverse problem, image generation, has drawn much less attention until recently. But the vast majority of current methods for image generation require training/retraining a classifier and/or a generator with certain constraints, which can be hard to achieve. In this paper, we propose a simple approach to directly use a normally trained classifier to generate images. We evaluate our method on MNIST and show that it produces recognizable results for human eyes with limited quality with experiments.


title: Neural Collapse with Normalized Features: A Geometric Analysis over the Riemannian Manifold

abstract: When training overparameterized deep networks for classification tasks, it has been widely observed that the learned features exhibit a so-called "neural collapse" phenomenon. More specifically, for the output features of the penultimate layer, for each class the within-class features converge to their means, and the means of different classes exhibit a certain tight frame structure, which is also aligned with the last layer's classifier. As feature normalization in the last layer becomes a common practice in modern representation learning, in this work we theoretically justify the neural collapse phenomenon for normalized features. Based on an unconstrained feature model, we simplify the empirical loss function in a multi-class classification task into a nonconvex optimization problem over the Riemannian manifold by constraining all features and classifiers over the sphere. In this context, we analyze the nonconvex landscape of the Riemannian optimization problem over the product of spheres, showing a benign global landscape in the sense that the only global minimizers are the neural collapse solutions while all other critical points are strict saddles with negative curvature. Experimental results on practical deep networks corroborate our theory and demonstrate that better representations can be learned faster via feature normalization.

categories: cs.LG cs.CV cs.IT eess.SP math.IT stat.ML


title: Control of Localized Multiple Excitation Dark States in Waveguide QED

abstract: Subradiant excited states in finite chains of two-level quantum emitters coupled to a one-dimensional reservoir are a resource for superior photon storage and controlled photon manipulation. Typically, states storing multiple excitations exhibit fermionic correlations and are thus characterized by an anti-symmetric wavefunction, which makes them hard to prepare experimentally. Here we identify a class of quasi-localized dark states with up to half of the qubits excited, which appear for lattice constants that are an integer multiple of the guided-mode wavelength. They allow for a high-fidelity preparation and minimally invasive read out in state-of-the-art setups. In particular, we suggest an experimental implementation using a coplanar wave-guide coupled to superconducting transmon qubits on a chip. As free space and intrinsic losses are minimal, virtually perfect dark states can be achieved even for a low number of qubits, enabling fast preparation and manipulation with high fidelity.


title: Bethe ansatz diagonalization of the Heun-Racah operator

abstract: The Heun-Racah operator is diagonalized with the help of the modified algebraic Bethe ansatz. This operator is the most general bilinear expression in two generators of the Racah algebra. A presentation of this algebra is given in terms of dynamical operators, and allows the construction of Bethe vectors for the Heun-Racah operator. The associated Bethe equations are derived for both the homogeneous and inhomogeneous cases.


title: Deep Variation Prior: Joint Image Denoising and Noise Variance Estimation without Clean Data

abstract: With recent deep learning based approaches showing promising results in removing noise from images, the best denoising performance has been reported in a supervised learning setup that requires a large set of paired noisy images and ground truth for training. The strong data requirement can be mitigated by unsupervised learning techniques, however, accurate modelling of images or noise variance is still crucial for high-quality solutions. The learning problem is ill-posed for unknown noise distributions. This paper investigates the tasks of image denoising and noise variance estimation in a single, joint learning framework. To address the ill-posedness of the problem, we present deep variation prior (DVP), which states that the variation of a properly learnt denoiser with respect to the change of noise satisfies some smoothness properties, as a key criterion for good denoisers. Building upon DVP, an unsupervised deep learning framework, that simultaneously learns a denoiser and estimates noise variances, is developed. Our method does not require any clean training images or an external step of noise estimation, and instead, approximates the minimum mean squared error denoisers using only a set of noisy images. With the two underlying tasks being considered in a single framework, we allow them to be optimised for each other. The experimental results show a denoising quality comparable to that of supervised learning and accurate noise variance estimates.


title: Gravity Localization on Intersecting Thick Braneworlds

abstract: The localization of gravity for (5 + 1)-dimensional intersecting thick braneworld models is thoroughly investigated. Departing from preliminary results for five independent proposals, from I to V, gravity is shown to be localized in the brane. In particular, for models from I to III, only the zero modes are analytically determined. On the other hand, for models IV and V, massive modes are all obtained: a finite number of massive states is identified for model IV, while an infinite but discrete number of massive states bounded from below is exhibited by model V. Considering that the discreteness of the graviton modes implies that gravity does not propagate in the co-dimensions, the naked singularities of models IV and V, at edges of space, are made harmless. To conclude, the phenomenological implications for sphere models, constructed out of models III and IV, are also discussed. According to such an overall classification, if the internal space is a sphere, model IV is shown to exhibit normalizable modes. More relevantly, for the sphere model assembled out of model III, the subtle property of reproducing a consistent Newtonian limit is identified.


title: Mapping time-dependent magnetic topologies of active stars

abstract: Throughout the last decades, Zeeman-Doppler Imaging (ZDI) has been intensively used to reconstruct large-scale magnetic topologies of active stars from time series of circularly polarized (Stokes $V$) profiles. ZDI being based on the assumption that the topology to be reconstructed is constant with time (apart from being sheared by differential rotation), it fails at describing stellar magnetic fields that evolve on timescales similar to the observing period. We present a new approach, called TIMeS (for Time-dependent Imaging of Magnetic Stars), to derive the time-dependent large-scale magnetic topologies of active stars, from time series of high-resolution Stokes $V$ spectra. This new method uses the combined concepts of sparse approximation and Gaussian process regression to derive the simplest time-dependent magnetic topology consistent with the data. Assuming a linear relation between the Stokes $V$ data and the reconstructed magnetic image, TIMeS is currently applicable to cases in which the magnetic field is not too strong (with an upper limit depending on $v\sin{i}$). We applied TIMeS to several simulated data sets to investigate its ability to retrieve the poloidal and toroidal components of large-scale magnetic topologies. We find that the proposed method works best in conditions similar to those needed for ZDI, reconstructing reliable topologies with minor discrepancies at very low latitudes whose contribution to the data is small. We however note that TIMeS can fail at reconstructing the input topology when the field evolves on a timescale much shorter than the stellar rotation cycle


title: WiForceSticker: Batteryless, Thin Sticker-like Flexible Force Sensor

abstract: Any two objects in contact with each other exert a force that could be simply due to gravity or mechanical contact, such as a robotic arm gripping an object or even the contact between two bones at our knee joints. The ability to naturally measure and monitor these contact forces allows a plethora of applications from warehouse management (detect faulty packages based on weights) to robotics (making a robotic arms' grip as sensitive as human skin) and healthcare (knee-implants). It is challenging to design a ubiquitous force sensor that can be used naturally for all these applications. First, the sensor should be small enough to fit in narrow spaces. Next, we don't want to lay cumbersome cables to read the force values from the sensors. Finally, we need to have a battery-free design to meet the in-vivo applications. We develop WiForceSticker, a wireless, battery-free, sticker-like force sensor that can be ubiquitously deployed on any surface, such as all warehouse packages, robotic arms, and knee joints. WiForceSticker first designs a tiny $4$~mm~$\times$~$2$~mm~$\times$~$0.4$~mm capacitative sensor design equipped with a $10$~mm~$\times$~$10$~mm antenna designed on a flexible PCB substrate. Secondly, it introduces a new mechanism to transduce the force information on ambient RF radiations that can be read by a remotely located reader wirelessly without requiring any battery or active components at the force sensor, by interfacing the sensors with COTS RFID systems. The sensor can detect forces in the range of $0$-$6$~N with sensing accuracy of $<0.5$~N across multiple testing environments and evaluated with over $10,000$ varying force level presses on the sensor. We also showcase two application case studies with our designed sensors, weighing warehouse packages and sensing forces applied by bone joints.


title: MARIA: Multiple-alignment $r$-index with aggregation

abstract: There now exist compact indexes that can efficiently list all the occurrences of a pattern in a dataset consisting of thousands of genomes, or even all the occurrences of all the pattern's maximal exact matches (MEMs) with respect to the dataset. Unless we are lucky and the pattern is specific to only a few genomes, however, we could be swamped by hundreds of matches -- or even hundreds per MEM -- only to discover that most or all of the matches are to substrings that occupy the same few columns in a multiple alignment. To address this issue, in this paper we present a simple and compact data index MARIA that stores a multiple alignment such that, given the position of one match of a pattern (or a MEM or other substring of a pattern) and its length, we can quickly list all the distinct columns of the multiple alignment where matches start.


title: Scalable surface code decoders with parallelization in time

abstract: Fast classical processing is essential for most quantum fault-tolerance architectures. We introduce a sliding-window decoding scheme that provides fast classical processing for the surface code through parallelism. Our scheme divides the syndromes in spacetime into overlapping windows along the time direction, which can be decoded in parallel with any inner decoder. With this parallelism, our scheme can solve the decoding throughput problem as the code scales up, even if the inner decoder is slow. When using min-weight perfect matching and union-find as the inner decoders, we observe circuit-level thresholds of $0.68\%$ and $0.55\%$, respectively, which are almost identical to $0.70\%$ and $0.55\%$ for the batch decoding.


title: Bond-dependent slave-particle cluster theory based on density matrix expansion

abstract: Efficient and accurate computational methods for dealing with interacting electron problems on a lattice are of broad interest to the condensed matter community. For interacting Hubbard models, we introduce a cluster slave-particle approach that provides significant computational savings with high accuracy for total energies, site occupancies, and interaction energies. Compared to exact benchmarks using density matrix renormalization group for $d$-$p$ Hubbard models, our approach delivers accurate results using two to three orders of magnitude lower computational cost. Our method is based on a novel slave-particle decomposition with an improved description of particle hoppings, and a new density matrix expansion method where the interacting lattice slave-particle problem is then turned into a set of overlapping real-space clusters which are solved self-consistently with appropriate physical matching constraints at shared lattice sites between clusters.


title: Methods and questions in character degrees of finite groups

abstract: We present some variations on some of the main open problems on character degrees. We collect some of the methods that have proven to be very useful to work on these problems. These methods are also useful to solve certain problems on zeros of characters, character kernels and fields of values of characters.


title: Strong convergence of parabolic rate $1$ of discretisations of stochastic Allen-Cahn-type equations

abstract: Consider the approximation of stochastic Allen-Cahn-type equations (i.e. $1+1$-dimensional space-time white noise-driven stochastic PDEs with polynomial nonlinearities $F$ such that $F(\pm \infty)=\mp \infty$) by a fully discrete space-time explicit finite difference scheme. The consensus in literature, supported by rigorous lower bounds, is that strong convergence rate $1/2$ with respect to the parabolic grid meshsize is expected to be optimal. We show that one can reach almost sure convergence rate $1$ (and no better) when measuring the error in appropriate negative Besov norms, by temporarily `pretending' that the SPDE is singular.


title: Antisquares and Critical Exponents

abstract: The (bitwise) complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. An $\textit{antisquare}$ is a nonempty word of the form $x\, \overline{x}$. In this paper, we study infinite binary words that do not contain arbitrarily large antisquares. For example, we show that the repetition threshold for the language of infinite binary words containing exactly two distinct antisquares is $(5+\sqrt{5})/2$. We also study repetition thresholds for related classes, where "two" in the previous sentence is replaced by a larger number. We say a binary word is $\textit{good}$ if the only antisquares it contains are $01$ and $10$. We characterize the minimal antisquares, that is, those words that are antisquares but all proper factors are good. We determine the growth rate of the number of good words of length $n$ and determine the repetition threshold between polynomial and exponential growth for the number of good words.


title: Challenges for dark matter direct search with SiPMs

abstract: Liquid xenon and liquid argon detectors are leading the direct dark matter search and are expected to be the candidate technology for the forthcoming generation of ultra-sensitive large-mass detectors. At present, the scintillation light detection in those experiments is based on ultra-pure low-noise photo-multipliers. To overcome the issues in terms of the extreme radio-purity, costs, and technological feasibility of the future dark matter experiments, the novel SiPM-based photo-detector modules look promising candidates, capable of replacing the present light detection technology. However, the intrinsic features of SiPMs may limit the present expectations. In particular, interfering phenomena, especially related to the optical correlated noise, can degrade the energy and pulse shape resolutions. As a consequence, the projected sensitivity of the future detectors has to be reconsidered accordingly.


title: Digital quantum simulation of the BCS model with a central-spin-like quantum processor

abstract: The simulation of quantum systems is one of the most promising applications of quantum computers. In this paper we present a quantum algorithm to perform digital quantum simulations of the BCS model on a quantum register with a star shaped connectivity map, as it is, e.g., featured by color centers in diamond. We show how to effectively translate the problem onto the quantum hardware and implement the algorithm using only the native interactions between the qubits. Furthermore we discuss the complexity of the circuit. We use the algorithm to simulate the dynamics of the BCS model by subjecting its mean-field ground state to a time-dependent perturbation. The quantum simulation algorithm is studied using a classical simulation.


title: Light $Z'$ Signatures at the LHC

abstract: In this work, we discuss a distinctive $pp\to {\rm Higgs}\to Z'Z'\to 4l$ ($l=e,\mu$) signal at the Large Hadron Collider (LHC), where the `Higgs' label refers to the SM-like Higgs state discovered in 2012 or a lighter one in the framework of a theoretical model embedding a spontaneously broken $U(1)'$ symmetry in addition to the Standard Model (SM) gauge group. The additional $U(1)'$ symmetry generates a very light $Z'$ state, with both vector and axial (non-universal) couplings to fermions, which are able to explain the so-called Atomki anomaly, compliant with current measurements of the Anomalous Magnetic Moments (AMMs) of electron and muon as well as beam dump experiments. We show that the cross section for this process should be sufficiently large to afford one with significant sensitivity during Run 3 of the LHC.