title: TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves

abstract: Intel's Software Guard Extensions (SGX) introduced new instructions to switch the processor to enclave mode which protects it from introspection. While the enclave mode strongly protects the memory and the state of the processor, it cannot withstand memory corruption errors inside the enclave code. In this paper, we show that the attack surface of SGX enclaves provides new challenges for enclave developers as exploitable memory corruption vulnerabilities are easily introduced into enclave code. We develop TeeRex to automatically analyze enclave binary code for vulnerabilities introduced at the host-to-enclave boundary by means of symbolic execution. Our evaluation on public enclave binaries reveal that many of them suffer from memory corruption errors allowing an attacker to corrupt function pointers or perform arbitrary memory writes. As we will show, TeeRex features a specifically tailored framework for SGX enclaves that allows simple proof-of-concept exploit construction to assess the discovered vulnerabilities. Our findings reveal vulnerabilities in multiple enclaves, including enclaves developed by Intel, Baidu, and WolfSSL, as well as biometric fingerprint software deployed on popular laptop brands.


title: SARS-CoV-2 Impact on Online Teaching Methodologies and the Ed-Tech Sector: Smile and Learn Platform Case Study

abstract: In the past few years, the use of new technologies and digital, educational material has been increasing. Owing to the situation brought about in Spain by the SARS-CoV-2 (COVID-19) pandemic, schools have closed and families were asked to confine at home since March 2020. During this period there has been a need of resources to be made available to the families and teachers so that they would be able to continue their teaching practice. Consequently, this study analyzes the importance of online methodologies and usage tendency of an educational resource example: The Smile and Learn platform. Thereby, the study presents the different models implemented to support education and its impact in the use of the platform. The analyzed outcomes and their effect on education are discussed.


title: Importance of Tuning Hyperparameters of Machine Learning Algorithms

abstract: The performance of many machine learning algorithms depends on their hyperparameter settings. The goal of this study is to determine whether it is important to tune a hyperparameter or whether it can be safely set to a default value. We present a methodology to determine the importance of tuning a hyperparameter based on a non-inferiority test and tuning risk: the performance loss that is incurred when a hyperparameter is not tuned, but set to a default value. Because our methods require the notion of a default parameter, we present a simple procedure that can be used to determine reasonable default parameters. We apply our methods in a benchmark study using 59 datasets from OpenML. Our results show that leaving particular hyperparameters at their default value is non-inferior to tuning these hyperparameters. In some cases, leaving the hyperparameter at its default value even outperforms tuning it using a search procedure with a limited number of iterations.


title: Temporal and Spatial Variation of Synchrotron X-ray Stripes in Tycho's Supernova Remnant

abstract: The synchrotron X-ray "stripes" discovered in Tycho's supernova remnant (SNR) have been attracting attention since they may be evidence for proton acceleration up to PeV. We analyzed Chandra data taken in 2003, 2007, 2009, and 2015 for imaging and spectroscopy of the stripes in the southwestern region of the SNR. Comparing images obtained at different epochs, we find that time variability of synchrotron X-rays is not limited to two structures previously reported but is more common in the region. Spectral analysis of nine bright stripes reveals not only their time variabilities but also a strong anti-correlation between the surface brightness and photon indices. The spectra of the nine stripes have photon indices of \Gamma = 2.1--2.6 and are significantly harder than those of the outer rim of the SNR in the same region with \Gamma = 2.7--2.9. Based on these findings, we indicate that the magnetic field is substantially amplified, and suggest that particle acceleration through a stochastic process may be at work in the stripes.


title: Excitation Energies from Thermally-Assisted-Occupation Density Functional Theory: Theory and Computational Implementation

abstract: The time-dependent density functional theory (TDDFT) has been broadly used to investigate the excited-state properties of various molecular systems. However, the current TDDFT heavily relies on outcomes from the corresponding ground-state density functional theory (DFT) calculations which may be prone to errors due to the lack of proper treatment in the non-dynamical correlation effects. Recently, thermally-assisted-occupation density functional theory (TAO-DFT) [J.-D. Chai, \textit{J. Chem. Phys.} \textbf{136}, 154104 (2012)], a DFT with fractional orbital occupations, was proposed, explicitly incorporating the non-dynamical correlation effects in the ground-state calculations with low computational complexity. In this work, we develop time-dependent (TD) TAO-DFT, which is a time-dependent, linear-response theory for excited states within the framework of TAO-DFT. With tests on the excited states of H$_{2}$, the first triplet excited state ($1^3\Sigma_u^+$) was described well, with non-imaginary excitation energies. TDTAO-DFT also yields zero singlet-triplet gap in the dissociation limit, for the ground singlet ($1^1\Sigma_g^+$) and the first triplet state ($1^3\Sigma_u^+$). In addition, as compared to traditional TDDFT, the overall excited-state potential energy surfaces obtained from TDTAO-DFT are generally improved and better agree with results from the equation-of-motion coupled-cluster singles and doubles (EOM-CCSD).


title: Learning Invariances for Interpretability using Supervised VAE

abstract: We propose to learn model invariances as a means of interpreting a model. This is motivated by a reverse engineering principle. If we understand a problem, we may introduce inductive biases in our model in the form of invariances. Conversely, when interpreting a complex supervised model, we can study its invariances to understand how that model solves a problem. To this end we propose a supervised form of variational auto-encoders (VAEs). Crucially, only a subset of the dimensions in the latent space contributes to the supervised task, allowing the remaining dimensions to act as nuisance parameters. By sampling solely the nuisance dimensions, we are able to generate samples that have undergone transformations that leave the classification unchanged, revealing the invariances of the model. Our experimental results show the capability of our proposed model both in terms of classification, and generation of invariantly transformed samples. Finally we show how combining our model with feature attribution methods it is possible to reach a more fine-grained understanding about the decision process of the model.


title: On the universal regular homomorphism in codimension $2$

abstract: We point out a gap in Murre's proof of the existence of a universal regular homomorphism for codimension $2$ cycles on a smooth projective variety, and offer two arguments to fill this gap.


title: Partially Observable Concurrent Kleene Algebra

abstract: We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with control structures, such as conditionals and loops. POCKA enables reasoning about programs that can access variables and values, which we illustrate through concrete examples. We prove that POCKA is a sound and complete axiomatisation of a model of partial observations, and show the semantics passes an important check for sequential consistency.


title: Long-time behaviour of entropic interpolations

abstract: In this article we investigate entropic interpolations. These measure valued curves describe the optimal solutions of the Schr{\"o}dinger problem [Sch31], which is the problem of finding the most likely evolution of a system of independent Brownian particles conditionally to observations. It is well known that in the short time limit entropic interpolations converge to the McCann-geodesics of optimal transport. Here we focus on the long-time behaviour, proving in particular asymptotic results for the entropic cost and establishing the convergence of entropic interpolations towards the heat equation, which is the gradient flow of the entropy according to the Otto calculus interpretation. Explicit rates are also given assuming the Bakry-{\'E}mery curvature-dimension condition. In this respect, one of the main novelties of our work is that we are able to control the long time behavior of entropic interpolations assuming the CD(0, n) condition only.


title: Non-Relational Databases on FPGAs: Survey, Design Decisions, Challenges

abstract: Non-relational database systems (NRDS), such as graph, document, key-value, and wide-column, have gained much attention in various trending (business) application domains like smart logistics, social network analysis, and medical applications, due to their data model variety and scalability. The broad data variety and sheer size of datasets pose unique challenges for the system design and runtime (incl. power consumption). While CPU performance scaling becomes increasingly more difficult, we argue that NRDS can benefit from adding field programmable gate arrays (FPGAs) as accelerators. However, FPGA-accelerated NRDS have not been systematically studied, yet. To facilitate understanding of this emerging domain, we explore the fit of FPGA acceleration for NRDS with a focus on data model variety. We define the term NRDS class as a group of non-relational database systems supporting the same data model. This survey describes and categorizes the inherent differences and non-trivial trade-offs of relevant NRDS classes as well as their commonalities in the context of common design decisions when building such a system with FPGAs. For example, we found in the literature that for key-value stores the FPGA should be placed into the system as a smart network interface card (SmartNIC) to benefit from direct access of the FPGA to the network. However, more complex data models and processing of other classes (e.g., graph and document) commonly require more elaborate near-data or socket accelerator placements where the FPGA respectively has the only or shared access to main memory. Across the different classes, FPGAs can be used as communication layer or for acceleration of operators and data access. We close with open research and engineering challenges to outline the future of FPGA-accelerated NRDS.


title: Hidden-bottom molecular states from $\Sigma^{(*)}_bB^{(*)}-\Lambda_bB^{(*)}$ interaction

abstract: In this work, we study possible hidden-bottom molecular pentaquarks $P_b$ from coupled-channel $\Sigma^{(*)}_bB^{(*)}-\Lambda_bB^{(*)}$ interaction in the quasipotential Bethe-Salpeter equation approach. In isodoublet sector with $I=1/2$, with the same reasonable parameters the interaction produces seven molecular states, a state near $ \Sigma_bB$ threshold with spin parity $J^P=1/2^-$, a state near $\Sigma^*_bB$ threshold with $3/2^-$, two states near $\Sigma_bB^*$ threshold with $1/2^-$ and $3/2^-$, and three states near $\Sigma_b^*B^*$ threshold with $1/2^-$, $3/2^-$, and $5/2^-$. The results suggest that three states near $\Sigma_b^* B^*$ threshold and two states near $\Sigma_b B^*$ threshold are very close, respectively, which may be difficult to distinguish in experiment without partial wave analysis. Compared with the hidden-charm pentaquark, the $P_b$ states are relatively narrow with widths at an order of magnitude of 1 MeV or smaller. The importance of each channel considered is also discussed, and it is found that the $\Lambda_b B^*$ channel provides important contribution for the widths of those states. In isoquartet sector with $I=3/2$, cutoff should be considerably enlarged to achieve bound states from the interaction, which makes the existence of such states unreliable. The results in the current work are helpful for searching for hidden-bottom molecular pentaquarks in future experiments, such as the COMPASS, J-PARC, and the Electron Ion Collider in China (EicC).


title: Interpolation without commutants

abstract: We introduce a "dual-space approach" to mixed Nevanlinna-Pick/Carath\'eodory-Schur interpolation in Banach spaces X of holomorphic functions on the disk. Our approach can be viewed as complementary to the well-known commutant lifting approach of D. Sarason and B. Nagy-C.Foia\c{s}. We compute the norm of the minimal interpolant in X by a version of the Hahn-Banach theorem, which we use to extend functionals defined on a subspace of kernels without increasing their norm. This Functional extensions lemma plays a similar role as Sarason's Commutant lifting theorem but it only involves the predual of X and no Hilbert space structure is needed. As an example, we present the respective Pick-type interpolation theorems for Beurling-Sobolev spaces.


title: A Molecular Communication Perspective on Airborne Pathogen Transmission and Reception via Droplets Generated by Coughing and Sneezing

abstract: Infectious diseases spread via pathogens such as viruses and bacteria. Airborne pathogen transmission via droplets is an important mode for infectious diseases. In this paper, the spreading mechanism of infectious diseases by airborne pathogen transmission between two humans is modeled with a molecular communication perspective. An end-to-end system model which considers the pathogen-laden cough/sneeze droplets as the input and the infection state of the human as the output is proposed. This model uses the gravity, initial velocity and buoyancy for the propagation of droplets and a receiver model which considers the central part of the human face as the reception interface is proposed. Furthermore, the probability of infection for an uninfected human is derived by modeling the number of propagating droplets as a random process. The numerical results reveal that exposure time and sex of the human affect the probability of infection. In addition, the social distance for a horizontal cough should be at least 1.7 m and the safe coughing angle of a coughing human to infect less people should be less than -25$^\circ$.


title: Calculating Radius of Robust Feasibility of Uncertain Linear Conic Programs via Semidefinite Programs

abstract: The radius of robust feasibility provides a numerical value for the largest possible uncertainty set that guarantees robust feasibility of an uncertain linear conic program. This determines when the robust feasible set is non-empty. Otherwise the robust counterpart of an uncertain program is not well-defined as a robust optimization problem. In this paper, we address a key fundamental question of robust optimization: How to compute the radius of robust feasibility of uncertain linear conic programs, including linear programs? We first provide computable lower and upper bounds for the radius of robust feasibility for general uncertain linear conic programs under the commonly used ball uncertainty set. We then provide important classes of linear conic programs where the bounds are calculated by finding the optimal values of related semidefinite linear programs (SDPs), among them uncertain SDPs, uncertain second-order cone programs and uncertain support vector machine problems. In the case of an uncertain linear program, the exact formula allows us to calculate the radius by finding the optimal value of an associated second-order cone program.


title: Spin resonance linewidths of bismuth donors in silicon coupled to planar microresonators

abstract: Ensembles of bismuth donor spins in silicon are promising storage elements for microwave quantum memories due to their long coherence times which exceed seconds. Operating an efficient quantum memory requires achieving critical coupling between the spin ensemble and a suitable high-quality factor resonator -- this in turn requires a thorough understanding of the lineshapes for the relevant spin resonance transitions, particularly considering the influence of the resonator itself on line broadening. Here, we present pulsed electron spin resonance measurements of ensembles of bismuth donors in natural silicon, above which niobium superconducting resonators have been patterned. By studying spin transitions across a range of frequencies and fields we identify distinct line broadening mechanisms, and in particular those which can be suppressed by operating at magnetic-field-insensitive `clock transitions'. Given the donor concentrations and resonator used here, we measure a cooperativity $C\sim 0.2$ and based on our findings we discuss a route to achieve unit cooperativity, as required for a quantum memory.


title: Silicon Carbide photonic platform based on suspended subwavelength waveguides

abstract: Silicon carbide (SiC) displays a unique combination of optical and spin-related properties that make it interesting for photonics and quantum technologies. However, guiding light by total internal reflection can be difficult to achieve, especially when SiC is grown as thin films on higher index substrates, like Silicon. Fabricating suspended, subwavelength waveguides requires a single lithography step and offers a solution to the confinement problem, while preserving the design flexibility required for a scalable and complete photonic platform. Here we present a design for such platform, that can be used for both classical and quantum optics operation. We simulate the key optical components and analyze how to exploit the high nonlinearities of SiC and its defects.


title: Automating the Communication of Cybersecurity Knowledge: Multi-Case Study

abstract: Cybersecurity is essential for the protection of companies against cyber threats. Traditionally, cybersecurity experts assess and improve a company's capabilities. However, many small and medium-sized businesses (SMBs) consider such services not to be affordable. We explore an alternative do-it-yourself (DIY) approach to bringing cybersecurity to SMBs. Our method and tool, CYSEC, implements the Self-Determination Theory (SDT) to guide and motivate SMBs to adopt good cybersecurity practices. CYSEC uses assessment questions and recommendations to communicate cybersecurity knowledge to the end-user SMBs and encourage self-motivated change. In this paper, the operationalisation of SDT in CYSEC is presented and the results of a multi-case study shown that offer insight into how SMBs adopted cybersecurity practices with CYSEC. Effective automated cybersecurity communication depended on the SMB's hands-on skills, tools adaptedness, and the users' willingness to documenting confidential information. The SMBs wanted to learn in simple, incremental steps, allowing them to understand what they do. An SMB's motivation to improve security depended on the fitness of assessment questions and recommendations with the SMB's business model and IT infrastructure. The results of this study indicate that automated counselling can help many SMBs in security adoption. The final publication is available at Springer via https://link.springer.com/chapter/10.1007%2F978-3-030-59291-2_8


title: Ni-doped epitaxial graphene monolayer on the Ni(111) surface

abstract: Nickel-doped graphene has been synthesized from propylene on a Ni(111) surface and studied using scanning tunneling microscopy (STM) and density functional theory (DFT). It is established that nickel centers are formed during graphene synthesis on the Ni(111) surface by both chemical vapor deposition (CVD) and temperature-programmed growth (TPG); apparently, they are always present in graphene synthesized on Ni(111). The centers are observed in STM images as single defects or defect chains and identified by DFT calculations as Ni atoms in carbon bivacancies. These nickel atoms are positively charged and may be of interest for single-atom catalysis. The incorporated Ni atoms should remain in graphene after the detachment from the substrate since they bound more strongly with carbon atoms in graphene than with substrate nickel atoms.


title: Bianchi's additional symmetries

abstract: In a 2012 note in Comptes Rendus Math{\'e}matique, the author did try to answer a question of Jean-Pierre Serre; it has recently been announced that the scope of that answer needs an adjustment, and the details of this adjustment are given in the present paper. The original question is the following. Consider the ring of integers O in an imaginary quadratic number field, and the Borel-Serre compactification of the quotient of hyperbolic 3-space by SL 2 (O). Consider the map $\alpha$ induced on homology when attaching the boundary into the Borel-Serre compactification. How can one determine the kernel of $\alpha$ (in degree 1) ? Serre used a global topological argument and obtained the rank of the kernel of $\alpha$. He added the question what submodule precisely this kernel is.


title: Infinite pinning

abstract: In this work, we address the occurrence of infinite pinning in a random medium. We suppose that an initially flat interface starts to move through the medium due to some constant driving force. The medium is assumed to contain random obstacles. We model their positions by a Poisson point process and their strengths are not bounded. We determine a necessary condition on its distribution so that regardless of the driving force the interface gets pinned.


title: timeXplain -- A Framework for Explaining the Predictions of Time Series Classifiers

abstract: Modern time series classifiers display impressive predictive capabilities, yet their decision-making processes mostly remain black boxes to the user. At the same time, model-agnostic explainers, such as the recently proposed SHAP, promise to make the predictions of machine learning models interpretable, provided there are well-designed domain mappings. We bring both worlds together in our timeXplain framework, extending the reach of explainable artificial intelligence to time series classification and value prediction. We present novel domain mappings for the time domain, frequency domain, and time series statistics and analyze their explicative power as well as their limits. We employ a novel evaluation metric to experimentally compare timeXplain to several model-specific explanation approaches for state-of-the-art time series classifiers.


title: Search efficiency of discrete fractional Brownian motion in a random distribution of targets

abstract: Efficiency of search for randomly distributed targets is a prominent problem in many branches of the sciences. For the stochastic process of L\'evy walks, a specific range of optimal efficiencies was suggested under variation of search intrinsic and extrinsic environmental parameters. In this article, we study fractional Brownian motion as a search process, which under parameter variation generates all three basic types of diffusion, from sub- to normal to superdiffusion. In contrast to L\'evy walks, fractional Brownian motion defines a Gaussian stochastic process with power law memory yielding anti-persistent, respectively persistent motion. Computer simulations of search by time-discrete fractional Brownian motion in a uniformly random distribution of targets show that maximising search efficiencies sensitively depends on the definition of efficiency, the variation of both intrinsic and extrinsic parameters, the perception of targets, the type of targets, whether to detect only one or many of them, and the choice of boundary conditions. In our simulations we find that different search scenarios favour different modes of motion for optimising search success, defying a universality across all search situations. Some of our numerical results are explained by a simple analytical model. Having demonstrated that search by fractional Brownian motion is a truly complex process, we propose an over-arching conceptual framework based on classifying different search scenarios. This approach incorporates search optimisation by L\'evy walks as a special case.


title: Optical Blocking Performance of CCDs Developed for the X-ray Astronomy Satellite XRISM

abstract: We have been developing P-channel Charge-Coupled Devices (CCDs) for the upcoming X-ray Astronomy Satellite XRISM, planned to be launched in 2021. While the basic design of the CCD camera (Soft X-ray Imager: SXI) is almost the same as that of the lost Hitomi (ASTRO-H) observatory, we are planning to reduce the "light leakages" that is one of the largest problems recognized in Hitomi data. We adopted a double-layer optical blocking layer on the XRISM CCDs and also added an extra aluminum layer on the backside of them. We develop a newly designed test sample CCD and irradiate it with optical light to evaluate the optical blocking performance. As a result, light leakages are effectively reduced compared with that of the Hitomi CCDs. We thus conclude that the issue is solved by the new design and that the XRISM CCDs satisfy the mission requirement for the SXI.


title: Cospectrality preserving graph modifications and eigenvector properties via walk equivalence of vertices

abstract: Originating from spectral graph theory, cospectrality is a powerful generalization of exchange symmetry and can be applied to all real-valued symmetric matrices. Two vertices of an undirected graph with real edge weights are cospectral iff the underlying weighted adjacency matrix $M$ fulfills $[M^k]_{u,u} = [M^k]_{v,v}$ for all non-negative integer $k$, and as a result any eigenvector $\phi$ of $M$ has (or, in the presence of degeneracies, can be chosen to have) definite parity on $u$ and $v$. We here show that the powers of a matrix with cospectral vertices induce further local relations on its eigenvectors, and also can be used to design cospectrality preserving modifications. To this end, we introduce the concept of \emph{walk equivalence} of cospectral vertices with respect to \emph{walk multiplets} which are special vertex subsets of a graph. Walk multiplets allow for systematic and flexible modifications of a graph with a given cospectral pair while preserving this cospectrality. The set of modifications includes the addition and removal of both vertices and edges, such that the underlying topology of the graph can be altered. In particular, we prove that any new vertex connected to a walk multiplet by suitable connection weights becomes a so-called unrestricted substitution point (USP), meaning that any arbitrary graph may be connected to it without breaking cospectrality. Also, suitable interconnections between walk multiplets within a graph are shown to preserve the associated cospectrality. Importantly, we demonstrate that the walk equivalence of cospectral vertices $u,v$ imposes a local structure on every eigenvector $\phi$ obeying $\phi_{u} = \pm \phi_{v} \ne 0$ (in the case of degeneracies, a specific choice of the eigenvector basis is needed). Our work paves the way for flexibly exploiting hidden structural symmetries in the design of generic complex network-like systems.


title: Green Algorithms: Quantifying the carbon footprint of computation

abstract: Climate change is profoundly affecting nearly all aspects of life on earth, including human societies, economies and health. Various human activities are responsible for significant greenhouse gas emissions, including data centres and other sources of large-scale computation. Although many important scientific milestones have been achieved thanks to the development of high-performance computing, the resultant environmental impact has been underappreciated. In this paper, we present a methodological framework to estimate the carbon footprint of any computational task in a standardised and reliable way, based on the processing time, type of computing cores, memory available and the efficiency and location of the computing facility. Metrics to interpret and contextualise greenhouse gas emissions are defined, including the equivalent distance travelled by car or plane as well as the number of tree-months necessary for carbon sequestration. We develop a freely available online tool, Green Algorithms (www.green-algorithms.org), which enables a user to estimate and report the carbon footprint of their computation. The Green Algorithms tool easily integrates with computational processes as it requires minimal information and does not interfere with existing code, while also accounting for a broad range of CPUs, GPUs, cloud computing, local servers and desktop computers. Finally, by applying Green Algorithms, we quantify the greenhouse gas emissions of algorithms used for particle physics simulations, weather forecasts and natural language processing. Taken together, this study develops a simple generalisable framework and freely available tool to quantify the carbon footprint of nearly any computation. Combined with a series of recommendations to minimise unnecessary CO2 emissions, we hope to raise awareness and facilitate greener computation.


title: Relativistic exchange interactions in CrX$_3$ (X=Cl, Br, I) monolayers

abstract: It has been predicted theoretically and indirectly confirmed experimentally that single-layer CrX$_3$ (X=Cl, Br, I) might be the prototypes of topological magnetic insulators (TMI). In this work, by using first-principles calculations combined with atomistic spin dynamics we provide a complete picture of the magnetic interactions and magnetic excitations in CrX$_3$. The focus is here on the two most important aspects for the actual realization of TMI, namely the relativistic magnetic interactions and the finite-size (edge) effects. We compute the full interaction tensor, which includes both Kitaev and Dzyaloshinskii-Moriya terms, which are considered as the most likely mechanisms for stabilizing topological magnons. First, we instigate the properties of bulk CrI$_3$ and compare the simulated magnon spectrum with the experimental data [Phys. Rev. X 8, 041028 (2018)]. Our results suggest that a large size of topological gap, seen in experiment ($\approx$ 4 meV), can not be explained by considering pair-wise spin interactions only. We identify several possible reasons for this disagreement and suggest that a pronounced magneto-elastic coupling should be expected in this class of materials. The magnetic interactions in the monolayers of CrX$_3$ are also investigated. The strength of the anisotropic interactions is shown to scale with the position of halide atom in the Periodic Table, the heavier the element the larger is the anisotropy. Comparing the magnons for the bulk and single-layer CrI$_3$, we find that the size of the topological gap becomes smaller in the latter case. Finally, we investigate finite-size effects in monolayers and demonstrate that the anisotropic couplings between Cr atoms close to the edges are much stronger than those in ideal periodic structure. This should have impact on the dynamics of the magnon edge modes in this class of materials.


title: Transition to Synchrony in a Three-Dimensional Swarming Model with Helical Trajectories

abstract: We investigate the transition from incoherence to global collective motion in a three-dimensional swarming model of agents with helical trajectories, subject to noise and global coupling. Without noise this model was recently proposed as a generalization of the Kuramoto model and it was found that alignment of the velocities occurs discontinuously for arbitrarily small attractive coupling. Adding noise to the system resolves this singular limit and leads to a continuous transition, either to a directed collective motion or to center-of-mass rotations.


title: Inclusive Hadroproduction of $P$-Wave Heavy Quarkonia in Potential Nonrelativistic QCD

abstract: We compute the color-singlet and color-octet nonrelativistic QCD (NRQCD) long-distance matrix elements for inclusive production of $P$-wave quarkonia in the framework of potential NRQCD. In this way, the color-octet NRQCD long-distance matrix element can be determined without relying on measured cross section data, which has not been possible so far. We obtain inclusive cross sections of $\chi_{cJ}$ and $\chi_{bJ}$ at the LHC, which are in good agreement with data. In principle, the formalism developed in this Letter can be applied to all inclusive production processes of heavy quarkonia.


title: Augmented Bi-path Network for Few-shot Learning

abstract: Few-shot Learning (FSL) which aims to learn from few labeled training data is becoming a popular research topic, due to the expensive labeling cost in many real-world applications. One kind of successful FSL method learns to compare the testing (query) image and training (support) image by simply concatenating the features of two images and feeding it into the neural network. However, with few labeled data in each class, the neural network has difficulty in learning or comparing the local features of two images. Such simple image-level comparison may cause serious mis-classification. To solve this problem, we propose Augmented Bi-path Network (ABNet) for learning to compare both global and local features on multi-scales. Specifically, the salient patches are extracted and embedded as the local features for every image. Then, the model learns to augment the features for better robustness. Finally, the model learns to compare global and local features separately, i.e., in two paths, before merging the similarities. Extensive experiments show that the proposed ABNet outperforms the state-of-the-art methods. Both quantitative and visual ablation studies are provided to verify that the proposed modules lead to more precise comparison results.


title: Parallel spinors on Lorentzian Weyl spaces

abstract: Holonomy algebras of Lorentzian Weyl spin manifolds with weighted parallel spinors are found. For Lorentzian Weyl manifolds admitting recurrent null vector fields are introduced special local coordinates similar to Kundt and Walker ones. Using that, the local form of all Lorentzian Weyl spin manifolds with weighted parallel spinors is given. The Einstein-Weyl equation for the obtained Weyl structures is analyzed and examples of Einstein-Weyl spaces with weighted parallel spinors are given.


title: Loss of memory and moment bounds for nonstationary intermittent dynamical systems

abstract: We study nonstationary intermittent dynamical systems, such as compositions of a (deterministic) sequence of Pomeau-Manneville maps. We prove two main results: sharp bounds on memory loss, including the "unexpected" faster rate for a large class of measures, and sharp moment bounds for Birkhoff sums and, more generally, "separately H\"older" observables.


title: SpaceNet: Make Free Space For Continual Learning

abstract: The continual learning (CL) paradigm aims to enable neural networks to learn tasks continually in a sequential fashion. The fundamental challenge in this learning paradigm is catastrophic forgetting previously learned tasks when the model is optimized for a new task, especially when their data is not accessible. Current architectural-based methods aim at alleviating the catastrophic forgetting problem but at the expense of expanding the capacity of the model. Regularization-based methods maintain a fixed model capacity; however, previous studies showed the huge performance degradation of these methods when the task identity is not available during inference (e.g. class incremental learning scenario). In this work, we propose a novel architectural-based method referred as SpaceNet for class incremental learning scenario where we utilize the available fixed capacity of the model intelligently. SpaceNet trains sparse deep neural networks from scratch in an adaptive way that compresses the sparse connections of each task in a compact number of neurons. The adaptive training of the sparse connections results in sparse representations that reduce the interference between the tasks. Experimental results show the robustness of our proposed method against catastrophic forgetting old tasks and the efficiency of SpaceNet in utilizing the available capacity of the model, leaving space for more tasks to be learned. In particular, when SpaceNet is tested on the well-known benchmarks for CL: split MNIST, split Fashion-MNIST, and CIFAR-10/100, it outperforms regularization-based methods by a big performance gap. Moreover, it achieves better performance than architectural-based methods without model expansion and achieved comparable results with rehearsal-based methods, while offering a huge memory reduction.


title: Magnetic Charge Propagation upon a 3D Artificial Spin-ice

abstract: Magnetic charge propagation in bulk frustrated materials has yielded a paradigm-shift in science, allowing the symmetry between electricity and magnetism to be studied. Recent work is now suggesting magnetic charge dynamics upon the spin-ice surface may have important implications in determining the ordering and associated phase space. Here we detail a 3D artificial spin-ice, a 3D nanostructured array of magnetic islands which captures the exact geometry of bulk systems, allowing field-driven dynamics of magnetic charge to be directly visualized upon the surface. Using magnetic microscopy, we observe vastly different magnetic charge dynamics along two principle directions. These striking differences are found to be due to the surface-termination and associated coordination which yields different energetics and interaction strengths for magnetic charges upon the surface.


title: Chiral Interface States and Related Quantized Transport in Disordered Chern Insulators

abstract: In this Letter, we study an Anderson-localization-induced quantized transport in disordered Chern insulators (CIs). By investigating the disordered CIs with a step potential, we find that the chiral interface states emerge along the interfaces of the step potential, and the energy range for such quantized transport can be manipulated through the potential strength. Furthermore, numerical simulations on cases with a multi-step potential demonstrate that such chiral state can be spatially shifted by varying the Fermi energy, and the energy window for quantized transport is greatly enlarged. Experimentally, such chiral interface states can be realized by imposing transverse electric field, in which the energy window for quantized transport is much broader than the intrinsic band gap of the corresponding CI. These phenomena are quite universal for disordered CIs due to the direct phase transition between the CI and the normal insulator.


abstract: We discuss a construction of AS-regular algebras from acyclic spherical helices, generalizing works of Bondal and Polishchuk [BP93] and Van den Bergh [VdB11].


title: An improved integration scheme for Mode-coupling-theory equations

abstract: Within the mode-coupling theory (MCT) of the glass transition, we reconsider the numerical schemes to evaluate the MCT functional. Here we propose nonuniform discretizations of the wave number, in contrast to the standard equidistant grid, in order to decrease the number of grid points without losing accuracy. We discuss in detail how the integration scheme on the new grids has to be modified from standard Riemann integration. We benchmark our approach by solving the MCT equations numerically for mono-disperse hard disks and hard spheres and by computing the critical packing fraction and the nonergodicity parameters. Our results show that significant improvements in performance can be obtained by employing a nonuniform grid.


title: The miniJPAS survey: star-galaxy classification using machine learning

abstract: Future astrophysical surveys such as J-PAS will produce very large datasets, which will require the deployment of accurate and efficient Machine Learning (ML) methods. In this work, we analyze the miniJPAS survey, which observed about 1 deg2 of the AEGIS field with 56 narrow-band filters and 4 ugri broad-band filters. We discuss the classification of miniJPAS sources into extended (galaxies) and point-like (e.g. stars) objects, a necessary step for the subsequent scientific analyses. We aim at developing an ML classifier that is complementary to traditional tools based on explicit modeling. In order to train and test our classifiers, we crossmatched the miniJPAS dataset with SDSS and HSC-SSP data. We trained and tested 6 different ML algorithms on the two crossmatched catalogs. As input for the ML algorithms we use the magnitudes from the 60 filters together with their errors, with and without the morphological parameters. We also use the mean PSF in the r detection band for each pointing. We find that the RF and ERT algorithms perform best in all scenarios. When analyzing the full magnitude range of 15<r<23.5 we find AUC=0.957 with RF when using only photometric information, and AUC=0.986 with ERT when using photometric and morphological information. Regarding feature importance, when using morphological parameters, FWHM is the most important feature. When using photometric information only, we observe that broad bands are not necessarily more important than narrow bands, and errors are as important as the measurements. ML algorithms can compete with traditional star/galaxy classifiers, outperforming the latter at fainter magnitudes (r>21). We use our best classifiers, with and without morphology, in order to produce a value added catalog available at https://j-pas.org/datareleases .


title: Stationarity and ergodic properties for some observation-driven models in random environments

abstract: The first motivation of this paper is to study stationarity and ergodic properties for a general class of time series models defined conditional on an exogenous covariates process. The dynamic of these models is given by an autoregressive latent process which forms a Markov chain in random environments. Contrarily to existing contributions in the field of Markov chains in random environments, the state space is not discrete and we do not use small set type assumptions or uniform contraction conditions for the random Markov kernels. Our assumptions are quite general and allows to deal with models that are not fully contractive, such as threshold autoregressive processes. Using a coupling approach, we study the existence of a limit, in Wasserstein metric, for the backward iterations of the chain. We also derive ergodic properties for the corresponding skew-product Markov chain. Our results are illustrated with many examples of autoregressive processes widely used in statistics or in econometrics, including GARCH type processes, count autoregressions and categorical time series.


title: Alignment of the ATLAS Inner Detector in Run-2

abstract: The performance of the ATLAS Inner Detector alignment has been studied using $pp$ collision data at $\sqrt{s} = 13$ TeV collected by the ATLAS experiment during Run 2 (2015 to 2018) of the Large Hadron Collider (LHC). The goal of the detector alignment is to determine the detector geometry as accurately as possible and correct for time-dependent movements. The Inner Detector alignment is based on the minimization of track-hit residuals in a sequence of hierarchical levels, from global mechanical assembly structures to local sensors. Subsequent levels have increasing numbers of degrees of freedom; in total there are almost 750000. The alignment determines detector geometry on both short and long timescales, where short timescales describe movements within an LHC fill. The performance and possible track parameter biases originating from systematic detector deformations are evaluated. Momentum biases are studied using resonances decaying to muons or to electrons. The residual sagitta bias and momentum scale bias after alignment are reduced to less than $\sim$0.1 TeV$^{-1}$ and 0.9$\times10^{-3}$, respectively. Impact parameter biases are also evaluated using tracks within jets.


title: On the overlap between configurations in glassy liquids

abstract: The overlap, or similarity, between liquid configurations is at the core of the mean-field description of the glass transition, and remains a useful concept when studying three-dimensional glass-forming liquids. In liquids, however, the overlap involves a tolerance, typically of a fraction $a/\sigma$ of the inter-particle distance, associated with how precisely similar two configurations must be for belonging to the same physically relevant "state". Here, we systematically investigate the dependence of the overlap fluctuations and of the resulting phase diagram when the tolerance is varied over a large range. We show that while the location of the dynamical and thermodynamic glass transitions (if present) is independent of $a/\sigma$, that of the critical point associated with a transition between a low- and a high-overlap phases in the presence of an applied source nontrivially depends on the value of $a/\sigma$. We rationalize our findings by using liquid-state theory and the hypernetted chain (HNC) approximation for correlation functions. In addition, we confirm the theoretical trends by studying a three-dimensional glass-former by computer simulations. We show in particular that \rev{a range of $a/\sigma$ below what is commonly considered maximizes the temperature of the critical point, pushing it up in a liquid region where viscosity is low and computer investigations are easier due to a significantly faster equilibration.


title: Temporal Distinct Representation Learning for Action Recognition

abstract: Motivated by the previous success of Two-Dimensional Convolutional Neural Network (2D CNN) on image recognition, researchers endeavor to leverage it to characterize videos. However, one limitation of applying 2D CNN to analyze videos is that different frames of a video share the same 2D CNN kernels, which may result in repeated and redundant information utilization, especially in the spatial semantics extraction process, hence neglecting the critical variations among frames. In this paper, we attempt to tackle this issue through two ways. 1) Design a sequential channel filtering mechanism, i.e., Progressive Enhancement Module (PEM), to excite the discriminative channels of features from different frames step by step, and thus avoid repeated information extraction. 2) Create a Temporal Diversity Loss (TD Loss) to force the kernels to concentrate on and capture the variations among frames rather than the image regions with similar appearance. Our method is evaluated on benchmark temporal reasoning datasets Something-Something V1 and V2, and it achieves visible improvements over the best competitor by 2.4% and 1.3%, respectively. Besides, performance improvements over the 2D-CNN-based state-of-the-arts on the large-scale dataset Kinetics are also witnessed.


title: Fast and Robust Iterative Closest Point

abstract: The Iterative Closest Point (ICP) algorithm and its variants are a fundamental technique for rigid registration between two point sets, with wide applications in different areas from robotics to 3D reconstruction. The main drawbacks for ICP are its slow convergence as well as its sensitivity to outliers, missing data, and partial overlaps. Recent work such as Sparse ICP achieves robustness via sparsity optimization at the cost of computational speed. In this paper, we propose a new method for robust registration with fast convergence. First, we show that the classical point-to-point ICP can be treated as a majorization-minimization (MM) algorithm, and propose an Anderson acceleration approach to speed up its convergence. In addition, we introduce a robust error metric based on the Welsch's function, which is minimized efficiently using the MM algorithm with Anderson acceleration. On challenging datasets with noises and partial overlaps, we achieve similar or better accuracy than Sparse ICP while being at least an order of magnitude faster. Finally, we extend the robust formulation to point-to-plane ICP, and solve the resulting problem using a similar Anderson-accelerated MM strategy. Our robust ICP methods improve the registration accuracy on benchmark datasets while being competitive in computational time.


title: Visualizing Transfer Learning

abstract: We provide visualizations of individual neurons of a deep image recognition network during the temporal process of transfer learning. These visualizations qualitatively demonstrate various novel properties of the transfer learning process regarding the speed and characteristics of adaptation, neuron reuse, spatial scale of the represented image features, and behavior of transfer learning to small data. We publish the large-scale dataset that we have created for the purposes of this analysis.


title: Deep Learning for Abstract Argumentation Semantics

abstract: In this paper, we present a learning-based approach to determining acceptance of arguments under several abstract argumentation semantics. More specifically, we propose an argumentation graph neural network (AGNN) that learns a message-passing algorithm to predict the likelihood of an argument being accepted. The experimental results demonstrate that the AGNN can almost perfectly predict the acceptability under different semantics and scales well for larger argumentation frameworks. Furthermore, analysing the behaviour of the message-passing algorithm shows that the AGNN learns to adhere to basic principles of argument semantics as identified in the literature, and can thus be trained to predict extensions under the different semantics - we show how the latter can be done for multi-extension semantics by using AGNNs to guide a basic search. We publish our code at https://github.com/DennisCraandijk/DL-Abstract-Argumentation


title: Learning Multiplicative Interactions with Bayesian Neural Networks for Visual-Inertial Odometry

abstract: This paper presents an end-to-end multi-modal learning approach for monocular Visual-Inertial Odometry (VIO), which is specifically designed to exploit sensor complementarity in the light of sensor degradation scenarios. The proposed network makes use of a multi-head self-attention mechanism that learns multiplicative interactions between multiple streams of information. Another design feature of our approach is the incorporation of the model uncertainty using scalable Laplace Approximation. We evaluate the performance of the proposed approach by comparing it against the end-to-end state-of-the-art methods on the KITTI dataset and show that it achieves superior performance. Importantly, our work thereby provides an empirical evidence that learning multiplicative interactions can result in a powerful inductive bias for increased robustness to sensor failures.


title: Gradient waveform design for tensor-valued encoding in diffusion MRI

abstract: Diffusion encoding along multiple spatial directions per signal acquisition can be described in terms of a b-tensor. The benefit of tensor-valued diffusion encoding is that it unlocks the "shape of the b-tensor" as a new encoding dimension. By modulating the b-tensor shape, we can control the sensitivity to microscopic diffusion anisotropy which can be used as a contrast mechanism; a feature that is inaccessible by conventional diffusion encoding. Since imaging methods based on tensor-valued diffusion encoding are finding an increasing number of applications we are prompted to highlight the challenge of designing the optimal gradient waveforms for any given application. In this review, we first establish the basic design objectives in creating field gradient waveforms for tensor-valued diffusion MRI. We also survey additional design considerations related to limitations imposed by hardware and physiology, potential confounding effects that cannot be captured by the b-tensor, and artifacts related to the diffusion encoding waveform. Throughout, we discuss the expected compromises and tradeoffs with an aim to establish a more complete understanding of gradient waveform design and its impact on accurate measurements and interpretations of data.


title: Graph Neural Networks for Scalable Radio Resource Management: Architecture Design and Theoretical Analysis

abstract: Deep learning has recently emerged as a disruptive technology to solve challenging radio resource management problems in wireless networks. However, the neural network architectures adopted by existing works suffer from poor scalability, generalization, and lack of interpretability. A long-standing approach to improve scalability and generalization is to incorporate the structures of the target task into the neural network architecture. In this paper, we propose to apply graph neural networks (GNNs) to solve large-scale radio resource management problems, supported by effective neural network architecture design and theoretical analysis. Specifically, we first demonstrate that radio resource management problems can be formulated as graph optimization problems that enjoy a universal permutation equivariance property. We then identify a class of neural networks, named \emph{message passing graph neural networks} (MPGNNs). It is demonstrated that they not only satisfy the permutation equivariance property, but also can generalize to large-scale problems while enjoying a high computational efficiency. For interpretablity and theoretical guarantees, we prove the equivalence between MPGNNs and a class of distributed optimization algorithms, which is then used to analyze the performance and generalization of MPGNN-based methods. Extensive simulations, with power control and beamforming as two examples, will demonstrate that the proposed method, trained in an unsupervised manner with unlabeled samples, matches or even outperforms classic optimization-based algorithms without domain-specific knowledge. Remarkably, the proposed method is highly scalable and can solve the beamforming problem in an interference channel with $1000$ transceiver pairs within $6$ milliseconds on a single GPU.


title: Two-Step Discontinuous Shear Thickening of Dilute Inertial Suspensions Having Soft-Core Potential

abstract: Kinetic theory for dilute inertial suspension having soft-core potential is theoretically investigated. From the analysis of the scattering process, the expression of the scattering angle is analytically obtained. We derive the flow curve between the viscosity and the shear rate, which shows two-step discontinuous shear thickening when we change the softness of the particles. The molecular dynamics simulation shows that our theoretical results are consistent with the numerical ones.


title: Delay-sensitive Joint Optimal Control and Resource Management in Multi-loop Networked Control Systems

abstract: In the operation of networked control systems, where multiple processes share a resource-limited and time-varying cost-sensitive network, communication delay is inevitable and primarily influenced by, first, the control systems deploying intermittent sensor sampling to reduce the communication cost by restricting non-urgent transmissions, and second, the network performing resource management to minimize excessive traffic and eventually data loss. In a heterogeneous scenario, where control systems may tolerate only specific levels of sensor-to-controller latency, delay sensitivities need to be considered in the design of control and network policies to achieve the desired performance guarantees. We propose a cross-layer optimal co-design of control, sampling and resource management policies for an NCS consisting of multiple stochastic linear time-invariant systems which close their sensor-to-controller loops over a shared network. Aligned with advanced communication technology, we assume that the network offers a range of latency-varying transmission services for given prices. Local samplers decide either to pay higher cost to access a low-latency channel, or to delay sending a state sample at a reduced price. A resource manager residing in the network data-link layer arbitrates channel access and re-allocates resources if link capacities are exceeded. The performance of the local closed-loop systems is measured by a combination of linear-quadratic Gaussian cost and a suitable communication cost, and the overall objective is to minimize a defined social cost by all three policy makers. We derive optimal control, sampling and resource allocation policies under different cross-layer awareness models, including constant and time-varying parameters, and show that higher awareness generally leads to performance enhancement at the expense of higher computational complexity.


title: Testing biodiversity using inhomogeneous summary statistics

abstract: McGill's theory of biodiversity is based upon three axioms: individuals of the same species cluster together, many rare species co-exist with a few common ones and individuals of different species grow independently of each other. Over the past decade, classical point pattern analyses have been employed to verify these axioms based on the false assumption of stationarity. In this paper, we use inhomogeneous versions of the classical summary statistics for spatial point patterns to assess the validity of McGill's first and third axioms for data obtained from a 50 hectare plot on Barro Colorado Island.


title: Bot-Match: Social Bot Detection with Recursive Nearest Neighbors Search

abstract: Social bots have emerged over the last decade, initially creating a nuisance while more recently used to intimidate journalists, sway electoral events, and aggravate existing social fissures. This social threat has spawned a bot detection algorithms race in which detection algorithms evolve in an attempt to keep up with increasingly sophisticated bot accounts. This cat and mouse cycle has illuminated the limitations of supervised machine learning algorithms, where researchers attempt to use yesterday's data to predict tomorrow's bots. This gap means that researchers, journalists, and analysts daily identify malicious bot accounts that are undetected by state of the art supervised bot detection algorithms. These analysts often desire to find similar bot accounts without labeling/training a new model, where similarity can be defined by content, network position, or both. A similarity based algorithm could complement existing supervised and unsupervised methods and fill this gap. To this end, we present the Bot-Match methodology in which we evaluate social media embeddings that enable a semi-supervised recursive nearest neighbors search to map an emerging social cybersecurity threat given one or more seed accounts.


title: Orbital Complexity in Intrinsic Magnetic Topological Insulators MnBi$_4$Te$_7$ and MnBi$_6$Te$_{10}$

abstract: Using angle-resolved photoelectron spectroscopy (ARPES), we investigate the surface electronic structure of the magnetic van der Waals compounds MnBi$_4$Te$_7$ and MnBi$_6$Te$_{10}$, the $n=$~1 and 2 members of a modular (Bi$_2$Te$_3$)$_n$(MnBi$_2$Te$_4$) series, which have attracted recent interest as intrinsic magnetic topological insulators. Combining circular dichroic, spin-resolved and photon-energy-dependent ARPES measurements with calculations based on density functional theory, we unveil complex momentum-dependent orbital and spin textures in the surface electronic structure and disentangle topological from trivial surface bands. We find that the Dirac-cone dispersion of the topologial surface state is strongly perturbed by hybridization with valence-band states for Bi$_2$Te$_3$-terminated surfaces but remains preserved for MnBi$_2$Te$_4$-terminated surfaces. Our results firmly establish the topologically non-trivial nature of these magnetic van der Waals materials and indicate that the possibility of realizing a quantized anomalous Hall conductivity depends on surface termination.


title: Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs

abstract: We present a new version of Peregrine, the tool for the analysis and parameterized verification of population protocols introduced in [Blondin et al., CAV'2018]. Population protocols are a model of computation, intensely studied by the distributed computing community, in which mobile anonymous agents interact stochastically to perform a task. Peregrine 2.0 features a novel verification engine based on the construction of stage graphs. Stage graphs are proof certificates, introduced in [Blondin et al., CAV'2020], that are typically succinct and can be independently checked. Moreover, unlike the techniques of Peregrine 1.0, the stage graph methodology can verify protocols whose executions never terminate, a class including recent fast majority protocols. Peregrine 2.0 also features a novel proof visualization component that allows the user to interactively explore the stage graph generated for a given protocol.


title: Network navigation using Page Rank random walks

abstract: We introduce a formalism based on a continuous time approximation, to study the characteristics of Page Rank random walks. We find that the diffusion of the occupancy probability has a dynamics that exponentially "forgets" the initial conditions and settles to a steady state that depends only on the characteristics of the network. In the special case in which the walk begins from a single node, we find that the largest eigenvalue of the transition value (lambda=1) does not contribute to the dynamic and that the probability is constant in the direction of the corresponding eigenvector. We study the process of visiting new node, which we find to have a dynamic similar to that of the occupancy probability. Finally, we determine the average transit time between nodes <T>, which we find to exhibit certain connection with the corresponding time for Levy walks. The relevance of these results reside in that Page Rank, which are a more reasonable model for the searching behavior of individuals, can be shown to exhibit features similar to Levy walks, which in turn have been shown to be a reasonable model of a common large scale search strategy known as "Area Restricted Search".

categories: cond-mat.stat-mech cs.IR cs.SI physics.soc-ph


title: Lattice study of thermodynamic properties of dense QC$_2$D

abstract: In this paper we study thermodynamic properties of dense cold $SU(2)$ QCD within lattice simulation with dynamical rooted staggered quarks which in the continuum limit correspond to $N_f=2$ quark flavours. We calculate baryon density, renormalized chiral and diquark condensates for various baryon chemical potentials in the region $\mu \in (0,\,2000)$ MeV. It is found, that in the region $\mu \in (0,\,540)$ MeV the system is well described by the ChPT predictions. In the region $\mu > 540$ MeV the system becomes sufficiently dense and ChPT is no longer applicable to describe lattice data. For chemical potentials $\mu > 900$ MeV we observe formation of the Fermi sphere, and the system is similar to the one described by the Bardeen-Cooper-Schrieffer theory where the the diquarks play a role of Cooper pairs. In order to study how nonzero baryon density influences the gluon background we calculate chromoelectric and chromomagnetic fields, as well as the topological susceptibility. We find that the chromoelectric field and the topological susceptibility decrease, whereas the chromomagnetic field increases with rising of baryon chemical potential. Finally we study the equation of state of dense two-color quark matter.


title: New partition function recurrences

abstract: We present Euler-type recurrence relations for some partition functions. Some of our results provide new recurrences for the number of unrestricted partitions of $n$, denote by $p(n)$. Others establish recurrences for partition functions not yet considered.


title: LinSBFT: Linear-Communication One-Step BFT Protocol for Public Blockchains

abstract: This paper presents LinSBFT, a Byzantine Fault Tolerance (BFT) protocol with the capacity of processing over 2000 smart contract transactions per second in production. LinSBFT applies to a permissionless, public blockchain system, in which there is no public-key infrastructure, based on the classic PBFT with 4 improvements: (\romannumeral1) LinSBFT achieves $O(n)$ worst-case communication volume, in contract to PBFT's $O(n^4)$; (\romannumeral2) LinSBFT rotates the leader of protocol randomly to reduce the risk of denial-of-service attacks on leader; and (\romannumeral3) each run of LinSBFT finalizes one block, which is robust against participants that are honest in one run of the protocol, and dishonest in another, and the set of participants is dynamic, which is update periodically. (\romannumeral4) LinSBFT helps the delayed nodes to catch up via a synchronization mechanism to promise the liveness. Further, in the ordinary case, LinSBFT involves only a single round of voting instead of two in PBFT, which reduces both communication overhead and confirmation time, and employs the \emph{proof-of-stake} scheme to reward all participants. Extensive experiments using data obtained from the Ethereum demonstrate that LinSBFT consistently and significantly outperforms existing in-production BFT protocols for blockchains.


title: Multivariate white matter alterations are associated with epilepsy duration

abstract: Previous studies investigating associations between white matter alterations and duration of temporal lobe epilepsy (TLE) have shown differing results, and were typically limited to univariate analyses of tracts in isolation. In this study we apply a multivariate measure (the Mahalanobis distance), to capture the distinct ways white matter may differ in individual patients, and relate this to epilepsy duration. Diffusion MRI, from a cohort of 94 subjects (28 healthy controls, 33 left-TLE and 33 right-TLE), was used to assess associations between tract fractional anisotropy (FA) and epilepsy duration. Using ten white matter tracts, we analysed associations using traditional univariate analyses (z-scores) and a complementary multivariate approach (Mahalanobis distance), incorporating multiple white matter tracts into a single unified analysis. In patients with right-TLE, FA was not significantly associated with epilepsy duration for any tract studied in isolation. In patients with left-TLE, the FA of two limbic tracts (ipsilateral fornix, contralateral cingulum gyrus) was significantly negatively associated with epilepsy duration (Bonferonni corrected p<0.05). Using a multivariate approach we found significant ipsilateral positive associations with duration in both left, and right-TLE cohorts (left-TLE: Spearman's rho=0.487, right-TLE: Spearman's rho=0.422). Extrapolating our multivariate results to duration equals zero (i.e. at onset) we found no significant difference between patients and controls. Associations using the multivariate approach were more robust than univariate methods. The multivariate distance measure provides non-overlapping and more robust results than traditional univariate analyses. Future studies should consider adopting both frameworks into their analysis in order to ascertain a more complete understanding of epilepsy progression, regardless of laterality.


title: Decoding 5G-NR Communications via Deep Learning

abstract: Upcoming modern communications are based on 5G specifications and aim at providing solutions for novel vertical industries. One of the major changes of the physical layer is the use of Low-Density Parity-Check (LDPC) code for channel coding. Although LDPC codes introduce additional computational complexity compared with the previous generation, where Turbocodes where used, LDPC codes provide a reasonable trade-off in terms of complexity-Bit Error Rate (BER). In parallel to this, Deep Learning algorithms are experiencing a new revolution, specially to image and video processing. In this context, there are some approaches that can be exploited in radio communications. In this paper we propose to use Autoencoding Neural Networks (ANN) jointly with a Deep Neural Network (DNN) to construct Autoencoding Deep Neural Networks (ADNN) for demapping and decoding. The results will unveil that, for a particular BER target, $3$ dB less of Signal to Noise Ratio (SNR) is required, in Additive White Gaussian Noise (AWGN) channels.


title: Learning to Learn with Variational Information Bottleneck for Domain Generalization

abstract: Domain generalization models learn to generalize to previously unseen domains, but suffer from prediction uncertainty and domain shift. In this paper, we address both problems. We introduce a probabilistic meta-learning model for domain generalization, in which classifier parameters shared across domains are modeled as distributions. This enables better handling of prediction uncertainty on unseen domains. To deal with domain shift, we learn domain-invariant representations by the proposed principle of meta variational information bottleneck, we call MetaVIB. MetaVIB is derived from novel variational bounds of mutual information, by leveraging the meta-learning setting of domain generalization. Through episodic training, MetaVIB learns to gradually narrow domain gaps to establish domain-invariant representations, while simultaneously maximizing prediction accuracy. We conduct experiments on three benchmarks for cross-domain visual recognition. Comprehensive ablation studies validate the benefits of MetaVIB for domain generalization. The comparison results demonstrate our method outperforms previous approaches consistently.


title: A Survey of Privacy Attacks in Machine Learning

abstract: As machine learning becomes more widely used, the need to study its implications in security and privacy becomes more urgent. Although the body of work in privacy has been steadily growing over the past few years, research on the privacy aspects of machine learning has received less focus than the security aspects. Our contribution in this research is an analysis of more than 40 papers related to privacy attacks against machine learning that have been published during the past seven years. We propose an attack taxonomy, together with a threat model that allows the categorization of different attacks based on the adversarial knowledge, and the assets under attack. An initial exploration of the causes of privacy leaks is presented, as well as a detailed analysis of the different attacks. Finally, we present an overview of the most commonly proposed defenses and a discussion of the open problems and future directions identified during our analysis.


title: Magnetic properties of $(Fe_{1-x}Mn_x)_2AlB_2$ and the impact of substitution on the magnetocaloric effect

abstract: In this work, we investigate the magnetic structures of $(Fe_{1-x}Mn_x)_2AlB_2$ solid-solution quaternaries in the $x = 0$ to $1$ range using x-ray and neutron diffraction, magnetization measurements, and mean-field theory calculations. While $Fe_2AlB_2$ and $Mn_2AlB_2$ are known to be ferromagnetic (FM) and antiferromagnetic (AFM), respectively, herein we focused on the magnetic structure of their solid solutions, which is not well understood. The FM ground state of $Fe_2AlB_2$ becomes a canted AFM at $x \approx 0.2$, with a monotonically diminishing FM component until $x \approx 0.5$. The FM transition temperature ($T_C$) decreases linearly with increasing $x$. These changes in magnetic moments and structures are reflected in anomalous expansions of the lattice parameters, indicating a magnetoelastic coupling. Lastly, the magnetocaloric properties of the solid solutions were explored. For $x = 0.2$ the isothermal entropy change is smaller by 30% than it is for $Fe_2AlB_2$, while the relative cooling power is larger by 6%, due to broadening of the temperature range of the transition.


title: Dispersion Analysis of Periodic Structures in Anisotropic Media: Application to Liquid Crystals

abstract: This paper presents an efficient method to compute the dispersion diagram of periodic and uniform structures with generic anisotropic media. The method takes advantage of the ability of full-wave commercial simulators to deal with finite structures having anisotropic media. In particular, the proposed method extends the possibilities of commercial eigenmode solvers in the following ways: (i) anisotropic materials with non-diagonal permittivity and permeability tensors can be analyzed; (ii) the attenuation constant can easily be computed in both propagating and stopband regions and lossy materials can be included in the simulation; and (iii) unbounded and radiating structures such as leaky-wave antennas can be treated. The latter feature may be considered the most remarkable, since the structures must be forcefully bounded with electric/magnetic walls in the eigensolvers of most commercial simulators. In this work, the proposed method is particularized for the study of liquid crystals (LCs) in microwave and antenna devices. Thus, the dispersion properties of a great variety of LC-based configurations are analyzed, from canonical structures, such as waveguide and microstrip, to complex reconfigurable phase shifters in ridge gap-waveguide technology and leaky-wave antennas. Our results have been validated with previously reported works in the literature and with commercial software CST and HFSS.


title: Study of anomalous gauge boson self-couplings and the role of spin-$1$ polarizations

abstract: The prime goal of this thesis is to study anomalous gauge boson self couplings, triple gauge boson couplings in particular, with the help of spin polarization observables of the gauge bosons $Z$ and $W^\pm$ in the presence of beam polarizations where ever possible. The neutral triple gauge boson couplings, i.e., $ZZZ$, $ZZ\gamma$, $Z\gamma\gamma$, are studied in $ZZ/Z\gamma$ ($2lq\bar{q}/2l\gamma$) production at an $e^+e^-$ collider with and without beam polarization. Some of these anomalous couplings are also studied in $ZZ$ ($4l$) production at the LHC. In the charge sector the anomalous gauge boson couplings, i.e., $WWZ$, $WW\gamma$ have been studied at an $e^+e^-$ collider in $W^+W^-$ ($l^-\bar{\nu_l}q^\prime\bar{q}$) production. The $WWZ$ anomalous couplings are also studied in $ZW^\pm$ production at LHC in $3l$ + missing $E_T$ channel. All the analyses at an $e^+$-$e^-$ collider have been performed for center-of-mass (CM) energy of $500$ GeV and integrated luminosity of $100$ fb$^{-1}$. The analyses at the LHC are performed at $13$ TeV CM energy of $pp$ collisions. The cross sections and polarization asymmetries, along with other asymmetries (forward-backward, azimuthal), are used to obtain simultaneous limits on the anomalous couplings using Markov-Chain--Monte-Carlo (MCMC) method in each process. The polarization asymmetries can distinguish between $CP$-even and $CP$-odd couplings and help to put tighter constraints on the couplings. The polarization of the initial $e^-$ and $e^+$ beam, in case of $e^+e^-$ collider, are used to increase the signal to background ratio, putting tighter constraints on the anomalous couplings. The polarization asymmetries are instrumental in the measurement of anomalous couplings should a deviation from the SM be observed.


title: A low-luminosity core-collapse supernova very similar to SN 2005cs

abstract: We present observations and analysis of PSN J17292918+7542390, a low-luminosity Type II-P supernova (LL SN IIP). The observed sample of such events is still low, and their nature is still under debate. Such supernovae are similar to SN 2005cs, a well-observed low-luminosity Type II-P event, having low expansion velocities, and small ejected $^{56}$Ni mass. We have developed a robust and relatively fast Monte-Carlo code that fits semi-analytic models to light curves of core collapse supernovae. This allows the estimation of the most important physical parameters, like the radius of the progenitor star, the mass of the ejected envelope, the mass of the radioactive nickel synthesized during the explosion, among others. PSN J17292918+7542390 has $R_0 = 91_{-70}^{+119} \cdot 10^{11} \;\text{cm}$, $M_\text{ej} = 9.89_{-1.00}^{+2.10} \; M_{\odot}$, $E_{\mathrm{kin}} = 0.65_{-0.18}^{+0.19} \;\text{foe}$, $v_{\mathrm{exp}} = 3332_{-347}^{+216}$ km s$^{-1}$, for its progenitor radius, ejecta mass, kinetic energy and expansion velocity, respectively. The initial nickel mass of the PSN J17292918+7542390 turned out to be $1.55_{-0.70}^{+0.75} \cdot 10^{-3} M_{\odot}$. The measured photospheric velocity at the earliest observed phase is 7000 km s$^{-1}$. As far as we can tell based on the small population of observed low-luminosity Type II-P supernovae, the determined values are typical for these events.


title: Small free field inflation in higher curvature gravity

abstract: Within General Relativity, a minimally coupled scalar field governed by a quadratic potential is able to produce an accelerated expansion of the universe provided its value and excursion are larger than the Planck scale. This is an archetypical example of the so called large field inflation models. We show that by including higher curvature corrections to the gravitational action in the form of the Geometric Inflation models, it is possible to obtain accelerated expansion with a free scalar field whose values are well below the Planck scale, thereby turning a traditional large field model into a small field one. We provide the conditions the theory has to satisfy in order for this mechanism to operate, and we present two explicit models illustrating it. Finally, we present some open questions raised by this scenario in which inflation takes place completely in a higher curvature dominated regime, such as those concerning the study of perturbations.


title: Dynamical Landau-de Gennes Theory for Electrically-Responsive Liquid Crystal Networks

abstract: Liquid crystal networks combine the orientational order of liquid crystals with the elastic properties of polymer networks, leading to a vast application potential in the field of responsive coatings, e.g., for haptic feedback, self-cleaning surfaces and static and dynamic pattern formation. Recent experimental work has further paved the way toward such applications by realizing the fast and reversible surface modulation of a liquid crystal network coating upon in-plane actuation with an AC electric field. Here, we construct a Landau-type theory for electrically-responsive liquid crystal networks and perform Molecular Dynamics simulations to explain the findings of these experiments and inform on rational design strategies. Qualitatively, the theory agrees with our simulations and reproduces the salient experimental features. We also provide a set of testable predictions: the aspect ratio of the nematogens, their initial orientational order when cross-linked into the polymer network and the cross-linking fraction of the network all increase the plasticization time required for the film to macroscopically deform. We demonstrate that the dynamic response to oscillating electric fields is characterized by two resonances, which can likewise be influenced by varying these parameters, providing an experimental handle to fine-tune device design.


title: How Humean is Bohumianism?

abstract: An important part of the influential Humean doctrine in philosophy is the supervenience principle (sometimes referred to as the principle of separability). This principle asserts that the complete state of the world supervenes on the intrinsic properties of its most fundamental components and their spatiotemporal relations (the so-called Humean mosaic). There are well-known arguments in the literature purporting to show that in quantum mechanics the Humean supervenience principle is violated, due to the existence of entangled states. Recently, however, arguments have been presented to the effect that the supervenience principle can be defended in Bohmian mechanics. The key element of this strategy lies in the observation that according to Bohmian mechanics the fundamental facts about particles are facts about their spatial locations, and moreover, for any proper subsystem of the world its state may non-trivially depend on the spatial configuration of the rest of the universe. Thus quantum-mechanical states of subsystems do not represent their intrinsic properties but rather characterize their relations with the environment. In this paper we point out the worry that this Bohmian strategy --known as Bohumianism-- saves the letter but not the spirit of the Humean doctrine of supervenience, since it prima facie violates another seemingly important Humean principle, which we call Strong Supervenience and whose denial implies the existence of necessary connections among distinct individuals. We argue that the best defense for Bohumians is to question the fundamental existence of complex physical systems and their states by treating any reference to them as a convenient description of the underlying collection of Bohmian particles. We consider several pros and cons of this strategy.


title: A 0.5GHz 0.35mW LDO-Powered Constant-Slope Phase Interpolator with 0.22$\%$ INL

abstract: Clock generators are an essential and critical building block of any communication link, whether it be wired or wireless, and they are increasingly critical given the push for lower I/O power and higher bandwidth in Systems-on-Chip (SoCs) for the Internet-of-Things (IoT). One recurrent issue with clock generators is multiple-phase generation, especially for low-power applications; several methods of phase generation have been proposed, one of which is phase interpolation. We propose a phase interpolator (PI) that employs the concept of constant-slope operation. Consequently, a low-power highly-linear operation is coupled with the wide dynamic range (i.e. phase wrapping) capabilities of a PI. Furthermore, the PI is powered by a low-dropout regulator (LDO) supporting fast transient operation. Implemented in 65-nm CMOS technology, it consumes 350$\mu$W at a 1.2-V supply and a 0.5-GHz clock; it achieves energy efficiency 4$\times$-15$\times$ lower than state-of-the-art (SoA) digital-to-time converters (DTCs) and an integral non-linearity (INL) of 2.5$\times$-3.1$\times$ better than SoA PIs, striking a good balance between linearity and energy efficiency.


title: A Triviality Result for Semilinear Parabolic Equations

abstract: We show a triviality result for "pointwise" monotone in time, bounded "eternal" solutions of the semilinear heat equation \begin{equation*} u_{t}=\Delta u + |u|^{p} \end{equation*} on complete Riemannian manifolds of dimension $n \geq 5$ with nonnegative Ricci tensor, when $p$ is smaller than the critical Sobolev exponent $\frac{n+2}{n-2}$.


title: Holographically-controlled random numbers from entangled twisted photons

abstract: We present a quantum random number generator (QRNG) based on the random outcomes inherent in projective measurements on a superposition of quantum states of light. Firstly, we use multiplexed holograms encoded on a spatial light modulator to spatially map down-converted photons onto a superposition of optical paths. This gives us full digital control of the mapping process which we can tailor to achieve any desired probability distribution. More importantly, we use this method to account for any bias present within our transmission and detection system, forgoing the need for time-consuming and inefficient unbiasing algorithms. Our QRNG achieved a min-entropy of $\text{H}_{\text{min}}=0.9991\pm0.0003$ bits per photon and passed the NIST statistical test suite. Furthermore, we extend our approach to realise a QRNG based on photons entangled in their orbital angular momentum (OAM) degree of freedom. This combination of digital holograms and projective measurements on arbitrary OAM combinations allowed us to generate random numbers with arbitrary distributions, in effect tailoring the system's entropy while maintaining the inherent quantum irreproducibility. Such techniques allow access to the higher-dimensional OAM Hilbert space, opening up an avenue for generating multiple random bits per photon.


title: A twist on the reaction of the CN radical with methylamine in the interstellar medium: new hints from a state-of-the-art quantum-chemical study

abstract: Despite the fact that the majority of current models assume that interstellar complex organic molecules (iCOMs) are formed on dust-grain surfaces, there is some evidence that neutral gas-phase reactions play an important role. In this paper, we investigate the reaction occurring in the gas phase between methylamine (CH$_3$NH$_2$) and the cyano (CN) radical, for which only fragmentary and/or inaccurate results have been reported to date. This case study allows us to point out the pivotal importance of employing quantum-chemical calculations at the state of the art. Since the two major products of the CH$_3$NH$_2$ + CN reaction, namely the CH$_3$NH and CH$_2$NH$_2$ radicals, have not been spectroscopically characterized yet, some effort has been made for filling this gap.


title: Ballistic propagation of density correlations and excess wall forces in quenched granular media

abstract: We investigate a granular gas in a shaken quasi-two-dimensional box in molecular dynamics computer simulations. After a sudden change (quench) of the shaking amplitude, transient density correlations are observed orders of magnitude beyond the steady-state correlation length scale. Propagation of the correlations is ballistic, in contrast to recently investigated quenches of Brownian particles that show diffusive propagation [Rohwer et al., Phys. Rev. Lett., 118, 015702 (2017), Rohwer et al., Phys. Rev. E, 97, 032125 (2018)]. At sufficiently strong cooling of the fluid the effect is overlaid by clustering instability of the homogeneous cooling state with different scaling behavior. We are able to identify different quench regimes. In each regime correlations exhibit remarkably universal position dependence. In simulations performed with side walls we find confinement effects for temperature and pressure in steady-state simulations, and an additional transient wall pressure contribution upon changing the shaking amplitude. The transient contribution is ascribed to enhanced relaxation of the fluid in the presence of walls. From incompatible scaling behavior we conclude that the observed effects with and without side walls constitute distinct phenomena.


title: Irreducibility criterion, irreducible factors, Newton polygon techniques

abstract: Jakhar shown that for $f(x)=a_nx^n + a_{n-1}x^{n-1}+\cdot+ a_0$ ($a_0\neq 0$) is a polynomial with rational coefficients, if there exists a prime integer $p$ satisfying $\nu_p(a_n)=0$ and $n\nu_p(a_i)\ge (n-i)\nu_p(a_0)> 0$ for every $0\le i\le n-1$, then $f(x)$ has at most $gcd(\nu_p(a_0),n)$ irreducible factors over the field $\mathbb{Q}$ of rational numbers and each irreducible factor has degree at least $n/gcd(\nu_p(a_0),n)$. The goal of this paper is to generalize this criterion in the following context: Let $(K,\nu)$ be a rank one discrete valued field, $R_\nu$ its valuation ring and $\mathbb{F}_\nu$ its residue field. Assume that $f(x)=\phi^n(x) + a_{n- 1}(x)\phi^{n-1}(x)+\cdot+ a_0(x)\in R_\nu[x]$, with for every $i=0,\dots,n-1$, $a_i(x)\in R_\nu[x]$, and $a_0(x)\neq 0$ for some monic polynomial $\phi\in R_\nu[x]$ with $\overline{\phi}$ is irreducible in $\mathbb{F}_\nu[x]$. If for every $0\le i\le n-1$, $n\nu_p(a_i)\ge (n-i)\nu_p(a_0)>0$,} then $f(x)$ has at most $gcd(\nu_p(a_0(x)),n)$ irreducible factors over the field $K^h$ and so over $K$ and each irreducible factor has degree at least $n/gcd(\nu_p(a_0),n)$, where $K^h$ is the henselization of $(K,\nu)$.


title: Leafy Spanning Arborescences in DAGs

abstract: Broadcasting in a computer network is a method of transferring a message to all recipients simultaneously. It is common in this situation to use a tree with many leaves to perform the broadcast, as internal nodes have to forward the messages received, while leaves are only receptors. We consider the subjacent problem of, given a directed graph~$D$, finding a spanning arborescence of D, if one exists, with the maximum number of leaves. In this paper, we concentrate on the class of rooted directed acyclic graphs, for which the problem is known to be MaxSNP-hard. A 2-approximation was previously known for this problem on this class of directed graphs. We improve on this result, presenting a (3/2)-approximation. We also adapt a result for the undirected case and derive an inapproximability result for the vertex-weighted version of Maximum Leaf Spanning Arborescence on rooted directed acyclic graphs.


title: Hausdorff dimension of Julia sets in the logistic family

abstract: A closed interval and circle are the only smooth Julia sets in polynomial dynamics. D. Ruelle proved that the Hausdorff dimension of unicritical Julia sets close to the circle depends analytically on the parameter. Near the tip of the Mandelbrot set M, the Hausdorff dimension is generally discontinuous. Answering a question of J-C. Yoccoz in the conformal setting, we observe that the Hausdorff dimension of quadratic Julia sets depends continuously on $c$ and find explicit bounds at the tip of M for most real parameters in the the sense of 1-dimensional Lebesgue measure.


title: Chaos-induced depletion of a Bose-Einstein condensate

abstract: The mean-field limit of a bosonic quantum many-body system is described by (mostly) non-linear equations of motion which may exhibit chaos very much in the spirit of classical particle chaos, i.e. by an exponential separation of trajectories in Hilbert space with a rate given by a positive Lyapunov exponent $\lambda$. The question now is whether $\lambda$ imprints itself onto measurable observables of the underlying quantum many-body system even at finite particle numbers. Using a Bose-Einstein condensate expanding in a shallow potential landscape as a paradigmatic example for a bosonic quantum many-body system, we show, that the number of non-condensed particles is subject to an exponentially fast increase, i.e. depletion. Furthermore, we show that the rate of exponential depletion is given by the Lyapunov exponent associated with the chaotic mean-field dynamics. Finally, we demonstrate that this chaos-induced depletion is accessible experimentally through the visibility of interference fringes in the total density after time of flight, thus opening the possibility to measure $\lambda$, and with it, the interplay between chaos and non-equilibrium quantum matter, in a real experiment.


title: A survey and an extensive evaluation of popular audio declipping methods

abstract: Dynamic range limitations in signal processing often lead to clipping, or saturation, in signals. The task of audio declipping is estimating the original audio signal, given its clipped measurements, and has attracted much interest in recent years. Audio declipping algorithms often make assumptions about the underlying signal, such as sparsity or low-rankness, and about the measurement system. In this paper, we provide an extensive review of audio declipping algorithms proposed in the literature. For each algorithm, we present assumptions that are made about the audio signal, the modeling domain, and the optimization algorithm. Furthermore, we provide an extensive numerical evaluation of popular declipping algorithms, on real audio data. We evaluate each algorithm in terms of the Signal-to-Distortion Ratio, and also using perceptual metrics of sound quality. The article is accompanied by a repository containing the evaluated methods.


title: Supersymmetric indices on $I \times T^2$, elliptic genera and dualities with boundaries

abstract: We study three dimensional $\mathcal{N}=2$ supersymmetric theories on $I \times M_2$ with 2d $\mathcal{N}=(0,2)$ boundary conditions at the boundaries $\partial (I \times M_2)=M_2 \sqcup M_2$, where $M_2=\mathbb{C}$ or $ T^2$. We introduce supersymmetric indices of three dimensional $\mathcal{N}=2$ theories on $I \times T^2$ that couple to elliptic genera of 2d $\mathcal{N}=(0,2)$ theories at the two boundaries. We evaluate the $I \times T^2$ indices in terms of supersymmetric localization and study dualities on the $I \times M_2$. We consider the dimensional reduction of $I \times T^2$ to $I \times S^1$ and obtain the localization formula of 2d $\mathcal{N}=(2,2)$ supersymmetric indices on $I \times S^1$. We illustrate computations of open string Witten indices based on gauged linear sigma models. Correlation functions of Wilson loops on $I \times S^1$ agree with Euler pairings in the geometric phase and also agree with cylinder amplitudes for B-type boundary states of Gepner models in the Landau-Ginzburg phase.


title: On The Optimal Number of Reflecting Elements for Reconfigurable Intelligent Surfaces

abstract: This work considers a point-to-point link where a reconfigurable intelligent surface assists the communication between transmitter and receiver. The system rate, energy efficiency, and their trade-off are optimized with respect to the number of individually tunable elements of the intelligent surface. The resource allocation accounts for the communication phase and for the overhead due to channel estimation and to reporting the optimized resource allocation to the intelligent surface. Numerical results confirm the optimality of the proposed methods and show the potential gains of reconfigurable intelligent surfaces.


title: Riemannian structures on $\mathbb{Z}_2^n$-manifolds

abstract: Very loosely, $\mathbb{Z}_2^n$-manifolds are `manifolds' with $\mathbb{Z}_2^n$-graded coordinates and their sign rule is determined by the scalar product of their $\mathbb{Z}_2^n$-degrees. A little more carefully, such objects can be understood within a sheaf-theoretical framework, just as supermanifolds can, but with subtle differences. In this paper, we examine the notion of a Riemannian $\mathbb{Z}_2^n$-manifold, i.e., a $\mathbb{Z}_2^n$-manifold equipped with a Riemannian metric that may carry non-zero $\mathbb{Z}_2^n$-degree. We show that the basic notions and tenets of Riemannian geometry directly generalise to the setting of $\mathbb{Z}_2^n$-geometry. For example, the Fundamental Theorem holds in this higher graded setting. We point out the similarities and differences with Riemannian supergeometry.

categories: math-ph gr-qc math.AG math.DG math.MP math.QA


title: Local iterative block-diagonalization of gapped Hamiltonians: a new tool in singular perturbation theory

abstract: In this paper the local iterative Lie-Schwinger block-diagonalization method, introduced in [FP], [DFPR1], and [DFPR2] for quantum chains, is extended to higher-dimensional quantum lattice systems with Hamiltonians that can be written as the sum of an unperturbed gapped operator, consisting of a sum of on-site terms, and a perturbation consisting of bounded interaction potentials of short range mutltiplied by a real coupling constant t. Our goal is to prove that the spectral gap above the ground-state energy of such Hamiltonians persists for sufficiently small values of |t|, independently of the size of the lattice. New ideas and concepts are necessary to extend our method to systems in dimension d > 1: As in our earlier work, a sequence of local block-diagonalization steps based on judiciously chosen unitary conjugations of the original Hamiltonian is introduced. The supports of effective interaction potentials generated in the course of these block-diagonalization steps can be identified with what we call minimal rectangles contained in the lattice, a concept that serves to tackle combinatorial problems that arise in the course of iterating the block-diagonalization steps. For a given minimal rectangle, control of the effective interaction potentials generated in each block-diagonalization step with support in the given rectangle is achieved by exploiting a variety of rather subtle mechanisms which include, for example, the use of weighted sums of paths consisting of overlapping rectangles and of large denominators, expressed in terms of sums of orthogonal projections, that serve to control analogous sums of projections in the numerators resulting from the unitary conjugations of the interaction potential terms involved in the local block-diagonalization step.


title: Complexity of Gaussian random fields with isotropic increments

abstract: We study the energy landscape of a model of a single particle on a random potential, that is, we investigate the topology of level sets of smooth random fields on $\mathbb R^{N}$ of the form $X_N(x) +\frac\mu2 \|x\|^2,$ where $X_{N}$ is a Gaussian process with isotropic increments. We derive asymptotic formulas for the mean number of critical points with critical values in an open set as the dimension $N$ goes to infinity. In a companion paper, we provide the same analysis for the number of critical points with a given index.


title: Bayesian inference of nuclear symmetry energy from measured and imagined neutron skin thickness in $^{116,118,120,122,124,130,132}$Sn, $^{208}$Pb, and $^{48}$Ca

abstract: The neutron skin thickness $\Delta r_{np}$ in heavy nuclei has been known as one of the most sensitive terrestrial probes of the nuclear symmetry energy around $\frac{2}{3}$ of the saturation density $\rho_0$ of nuclear matter. Existing neutron skin data mostly from hadronic observables suffer from large uncertainties and their extraction from experiments are often strongly model dependent. While waiting eagerly for the promised model-independent and high-precision neutron skin data for $^{208}$Pb and $^{48}$Ca from the parity-violating electron scattering experiments (PREX-II and CREX at JLab as well as MREX at MESA), within the Bayesian statistical framework using the Skyrme-Hartree-Fock model we infer the posterior probability distribution functions (PDFs) of the slope parameter $L$ of the nuclear symmetry energy at $\rho_0$ from imagined $\Delta r_{np}(^{208}$Pb$)=0.15$, 0.20, and 0.30 fm as well as $\Delta r_{np}(^{48}$Ca$)=0.12$, 0.15, and 0.25 fm, with different $1\sigma$ error bars. The results are compared with the PDFs of $L$ inferred using the same approach from the available $\Delta r_{np}$ data for Sn isotopes from hadronic probes. They are also compared with results from a recent Bayesian analysis of the radius and tidal deformability data of canonical neutron stars from GW170817 and NICER. The neutron skin data for Sn isotopes gives $L=45.5^{+26.5}_{-21.6}$ MeV surrounding its mean value or $L=53.4^{+18.6}_{-29.5}$ MeV surrounding its maximum {\it a posteriori} value, respectively, with the latter smaller than but consistent with the $L=66_{-20}^{+12}$ MeV from the neutron star data within their 68\% confidence intervals. In order to provide additionally useful information on $L$ extracted from the $\Delta r_{np}$ of Sn isotopes, the experimental error bar of $\Delta r_{np}(^{208}$Pb) should be at least smaller than 0.06 fm aimed by some current experiments.