title: Emission from hadronic and leptonic processes in galactic jet-driven bubbles

abstract: We investigate the multiwavelength emission from hadronic and leptonic cosmic rays (CRs) in bubbles around galaxies, analogous to the Fermi bubbles of the Milky Way. The bubbles are modeled using 3D magnetohydrodynamical (MHD) simulations, and are driven by a 0.3 Myr intense explosive outburst from the nucleus of Milky Way-like galaxies. We compute their non-thermal emission properties at different stages throughout their evolution, up to 7 Myr, by post-processing the simulations. We compare the spectral and spatial signatures of bubbles with hadronic, leptonic and hybrid hadro-leptonic CR compositions. These each show broadly similar emission spectra, comprised of radio synchrotron, inverse Compton and non-thermal bremsstrahlung components. However, hadronic and hybrid bubbles were found to be brighter than leptonic bubbles in X-rays, and marginally less bright at radio frequencies, and in $\gamma$-rays between $\sim$ 0.1 and a few 10s of GeV, with a large part of their emission being driven by secondary electrons formed in hadronic interactions. Hadronic systems were also found to be slightly brighter in high-energy $\gamma$-rays than their leptonic counterparts, owing to the $\pi^0$ decay emission that dominates their emission between energies of 100s of GeV and a few TeV.


title: Existence and classification of maximally non-integrable distributions of derived length one

abstract: The h-principles for maximally non-integrable tangent distributions of derived length one on manifolds are studied in this paper. Such distributions of odd rank are dealt with. The formal structures for such distributions are introduced. From the view point of the h-principles, we discuss the existence and classification of such structures.


title: Cascadable all-optical NAND gates using diffractive networks

abstract: Owing to its potential advantages such as scalability, low latency and power efficiency, optical computing has seen rapid advances over the last decades. A core unit of a potential all-optical processor would be the NAND gate, which can be cascaded to perform an arbitrary logical operation. Here, we present the design and analysis of cascadable all-optical NAND gates using diffractive neural networks. We encoded the logical values at the input and output planes of a diffractive NAND gate using the relative optical power of two spatially-separated apertures. Based on this architecture, we numerically optimized the design of a diffractive neural network composed of 4 passive layers to all-optically perform NAND operation using the diffraction of light, and cascaded these diffractive NAND gates to perform complex logical functions by successively feeding the output of one diffractive NAND gate into another. We demonstrated the cascadability of our diffractive NAND gates by using identical diffractive designs to all-optically perform AND and OR operations, as well as a half-adder. Cascadable all-optical NAND gates composed of spatially-engineered passive diffractive layers can serve as a core component of various optical computing platforms.


title: Study of spectrally resolved thermoluminescence in Tsarev and Chelyabinsk chondrites with a versatile high-sensitive setup

abstract: Thermoluminescence (TL) research provides a powerful tool for characterizing radiation-induced processes in extraterrestrial matter. One of the challenges in studying the spectral features of the natural TL of stony meteorites is its weak intensity. The present work showcases the capabilities of a high-sensitive original module for measuring the spectrally resolved TL characteristics of the Chelyabinsk and Tsarev chondrites. We have analyzed the emission spectra and glow curves of natural and induced TL over the 300 - 650 nm and RT - 873 K ranges. A quasi-continuous distribution of traps active within the 350 - 650 K range was found in the silicate substructure of both meteorites under study. Based on the general order kinetic formalism and using the natural TL data, we also estimated the activation energies of 0.86 and 1.08 eV for the Chelyabinsk and Tsarev chondrites, respectively.

categories: astro-ph.EP astro-ph.IM cond-mat.mtrl-sci physics.geo-ph physics.optics


title: Dazed and Confused: What's Wrong with Crypto Libraries?

abstract: Recent studies have shown that developers have difficulties in using cryptographic APIs, which often led to security flaws. We are interested to tackle this matter by looking into what types of problems exist in various crypto libraries. We manually studied 500 posts on Stack Overflow associated with 20 popular crypto libraries. We realized there are 10 themes in the discussions. Interestingly, there were only two questions related to attacks against cryptography. There were 63 discussions in which developers had interoperability issues when working with more than a crypto library. The majority of posts (i.e. 112) were about encryption/decryption problems and 111 were about installation/compilation issues of crypto libraries. Overall, we realize that the crypto libraries are frequently involved in more than five themes of discussions. We believe the current initial findings can help team leaders and experienced developers to correctly guide the team members in the domain of cryptography. Moreover, future research should investigate the similarity of problems at the API level among popular crypto libraries.


title: Activation energy distribution in thermal quenching of exciton and defect-related photoluminescence of InP/ZnS quantum dots

abstract: Thermal quenching is one of the essential factors in reducing the efficiency of radiative processes in luminophores of various nature. The emission activity of low dimensional structures is influenced also by multiplicity of parameters that are related to synthesis processes, treatment regimes, etc. In the present work, we have investigated the temperature dependence of photoluminescence caused by exciton and defect-related transitions in ensembles of biocompatible InP/ZnS core/shell nanocrystals with an average size of 2.1 and 2.3 nm. The spread in the positions of energy levels is shown to be due to size distribution of quantum dots in the ensembles under study. For a quantitative analysis of the experimental data, we have proposed a band model accounting for the Gaussian distribution of the thermally activated barriers in the photoluminescence quenching processes. The model offers the thermal escape of an electrons from the core into the shell as the main mechanism for non-radiative decay of excitons. In turn, the quenching of defect-related emission is predominantly brought about through the emptying of the hole capture centers based on dangling phosphorus bonds. We have revealed the correlation between size distributions of quantum dots and scatter of the activation energy of exciton luminescence quenching. The developed approach will give further the possibility to optimize technological regimes and methods for band engineering of indium phosphide-based type-I quantum dots.


title: Multiple photodetachment of silicon anions via K-shell excitation and ionization

abstract: Experimental cross sections for $m$-fold photodetachment ($m=3-6$) of silicon anions via $K$-shell excitation and ionization were measured in the photon-energy range of 1830-1900 eV using the photon-ion merged-beams technique at a synchrotron light source. All cross sections exhibit a threshold behavior that is masked by pre-threshold resonances associated with the excitation of a $1s$ electron to higher, either partly occupied or unoccupied atomic subshells. Results from multi-configuration Dirac-Fock (MCDF) calculations agree with the experimentally derived cross sections for photo-absorption if small energy shifts are applied to the calculated resonance positions and detachment thresholds. Moreover, a systematic approach is applied for modeling the deexcitation cascades that set in after the initial creation of a $K$-shell hole. The resulting product charge-state distributions compare well with the measured ones for direct $K$-shell detachment but less well for resonant $K$-shell excitation. The present results are potentially useful for identifying silicon anions in cold plasmas such as interstellar gas clouds.


title: Efficient Learning of the Parameters of Non-Linear Models using Differentiable Resampling in Particle Filters

abstract: It has been widely documented that the sampling and resampling steps in particle filters cannot be differentiated. The {\itshape reparameterisation trick} was introduced to allow the sampling step to be reformulated into a differentiable function. We extend the {\itshape reparameterisation trick} to include the stochastic input to resampling therefore limiting the discontinuities in the gradient calculation after this step. Knowing the gradients of the prior and likelihood allows us to run particle Markov Chain Monte Carlo (p-MCMC) and use the No-U-Turn Sampler (NUTS) as the proposal when estimating parameters. We compare the Metropolis-adjusted Langevin algorithm (MALA), Hamiltonian Monte Carlo with different number of steps and NUTS. We consider two state-space models and show that NUTS improves the mixing of the Markov chain and can produce more accurate results in less computational time.


title: Nonadiabatic geometric quantum computation with shortened path on superconducting circuits

abstract: Recently, nonadiabatic geometric quantum computation has been received much attention, due to its fast manipulation and intrinsic error-resilience characteristics. However, to obtain universal geometric quantum control, only limited and special evolution paths have been proposed, which usually requires longer gate-time and more operational steps, and thus leads to lower quality of the implemented quantum gates. Here, we present an effective scheme to find the shortest geometric path under the conventional conditions of geometric quantum computation, where high-fidelity and robust geometric gates can be realized by only single-loop evolution, and the gate performances are better than the corresponding dynamical ones. Furthermore, we can optimize the pulse shapes in our scheme to further shorten the gate-time, determined by how fast the path is travelled. In addition, we also present its physical implementation on superconducting circuits, consisting of capacitively coupled transmon qubits, where the fidelities of geometric single- and two-qubit gates can be higher than $99.95\%$ and $99.80\%$ within the current state-of-the-art experimental technologies, respectively. These results indicate that our scheme is promising for large-scale fault-tolerant quantum computation.


title: Morphological analysis of SZ and X-ray maps of galaxy clusters with Zernike polynomials

abstract: Several methods are used to evaluate, from observational data, the dynamical state of galaxy clusters. Among them, the morphological analysis of cluster images is well suited for this purpose. We report a new approach to the morphology, which consists in analytically modelling the images with a set of orthogonal functions, the Zernike polynomials (ZPs). We validated the method on mock high-resolution Compton parameter maps of synthetic galaxy clusters from THE THREE HUNDRED project. To classify the maps for their morphology we defined a single parameter, $\mathcal{C}$, by combining the contribution of some ZPs in the modelling. We verify that $\mathcal{C}$ is linearly correlated with a combination of common morphological parameters and also with a proper 3D dynamical-state indicator available for the synthetic clusters we used. We also show the early results of the Zernike modelling applied on Compton parameter maps of local clusters ($z < 0.1$) observed by the $\textit{Planck}$ satellite. At last, we report the preliminary results of this kind of morphological analysis on mock X-ray maps of THE THREE HUNDRED clusters.


title: Terahertz-Band Non-Orthogonal Multiple Access: System- and Link-Level Considerations

abstract: Non-orthogonal multiple access (NOMA) communications promise high spectral efficiency and massive connectivity, serving multiple users over the same time-frequency-code resources. Higher data rates and massive connectivity are also achieved by leveraging wider bandwidths at higher frequencies, especially in the terahertz (THz) band. This work investigates the prospects and challenges of combining these algorithmic and spectrum enablers in THz-band NOMA communications. We consider power-domain NOMA coupled with successive interference cancellation at the receiver, focusing on multiple-input multiple-output (MIMO) systems as antenna arrays are crucial for THz communications. On the system level, we study the scalability of THz-NOMA beamforming, clustering, and spectrum/power allocation algorithms and motivate stochastic geometry techniques for performance analysis and system modeling. On the link level, we highlight the challenges in channel estimation and data detection and the constraints on computational complexity. We further illustrate future research directions. When properly configured and given sufficient densification, THz-band NOMA communications can significantly improve the performance and capacity of future wireless networks.


title: A Minmax Utilization Algorithm for Network Traffic Scheduling of Industrial Robots

abstract: Emerging 5G and beyond wireless industrial virtualized networks are expected to support a significant number of robotic manipulators. Depending on the processes involved, these industrial robots might result in significant volume of multi-modal traffic that will need to traverse the network all the way to the (public/private) edge cloud, where advanced processing, control and service orchestration will be taking place. In this paper, we perform the traffic engineering by capitalizing on the underlying pseudo-deterministic nature of the repetitive processes of robotic manipulators in an industrial environment and propose an integer linear programming (ILP) model to minimize the maximum aggregate traffic in the network. The task sequence and time gap requirements are also considered in the proposed model. To tackle the curse of dimensionality in ILP, we provide a random search algorithm with quadratic time complexity. Numerical investigations reveal that the proposed scheme can reduce the peak data rate up to 53.4% compared with the nominal case where robotic manipulators operate in an uncoordinated fashion, resulting in significant improvement in the utilization of the underlying network resources.


title: A Review of Dialogue Systems: From Trained Monkeys to Stochastic Parrots

abstract: In spoken dialogue systems, we aim to deploy artificial intelligence to build automated dialogue agents that can converse with humans. Dialogue systems are increasingly being designed to move beyond just imitating conversation and also improve from such interactions over time. In this survey, we present a broad overview of methods developed to build dialogue systems over the years. Different use cases for dialogue systems ranging from task-based systems to open domain chatbots motivate and necessitate specific systems. Starting from simple rule-based systems, research has progressed towards increasingly complex architectures trained on a massive corpus of datasets, like deep learning systems. Motivated with the intuition of resembling human dialogues, progress has been made towards incorporating emotions into the natural language generator, using reinforcement learning. While we see a trend of highly marginal improvement on some metrics, we find that limited justification exists for the metrics, and evaluation practices are not uniform. To conclude, we flag these concerns and highlight possible research directions.


title: Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning

abstract: Recovering binary programs' call graphs is crucial for inter-procedural analysis tasks and applications based on them.transfer One of the core challenges is recognizing targets of indirect calls (i.e., indirect callees). Existing solutions all have high false positives and negatives, making call graphs inaccurate. In this paper, we propose a new solution Callee combining transfer learning and contrastive learning. The key insight is that, deep neural networks (DNNs) can automatically identify patterns concerning indirect calls, which can be more efficient than designing approximation algorithms or heuristic rules to handle various cases. Inspired by the advances in question-answering applications, we utilize contrastive learning to answer the callsite-callee question. However, one of the toughest challenges is that DNNs need large datasets to achieve high performance, while collecting large-scale indirect-call ground-truths can be computational-expensive. Since direct calls and indirect calls share similar calling conventions, it is possible to transfer knowledge learned from direct calls to indirect ones. Therefore, we leverage transfer learning to pre-train DNNs with easy-to-collect direct calls and further fine-tune the indirect-call DNNs. We evaluate Callee on several groups of targets, and results show that our solution could match callsites to callees with an F1-Measure of 94.6%, much better than state-of-the-art solutions. Further, we apply Callee to binary code similarity detection and hybrid fuzzing, and found it could greatly improve their performance.


title: Magnetic perturbations of the Robin Laplacian in the strong coupling limit

abstract: This paper is devoted to the asymptotic analysis of the eigenvalues of the Laplace operator with a strong magnetic field and Robin boundary condition on a smooth planar domain and with a negative boundary parameter. We study the singular limit when the Robin parameter tends to infinity which is equivalent to a semi-classical limit involving a small positive semi-classical parameter. The main result is a comparison between the spectrum of the Robin Laplacian with an effective operator defined on the boundary of the domain via the Born-Oppenheimer approximation. More precisely, the low-lying eigenvalue of the Robin Laplacian is approximated by the those of the effective operator. When the curvature has a unique non-degenerate maximum, we estimate the spectral gap and find that the magnetic field does not contribute to the three-term expansion of the eigenvalues. In the case of the disc domains, the eigenvalue asymptotics displays the contribution of the magnetic field explicitly.


title: Distinguishing between $\Lambda$CDM and $f(R)$ gravity models using halo ellipticity correlations in simulations

abstract: There is a growing interest in utilizing intrinsic alignment (IA) of galaxy shapes as a geometric and dynamical probe of cosmology. In this paper we present the first measurements of IA in a modified gravity model using the gravitational shear-intrinsic ellipticity correlation (GI) and intrinsic ellipticity-ellipticity correlation (II) functions of dark-matter halos from $f(R)$ gravity simulations. By comparing them with the same statistics measured in $\Lambda$CDM simulations, we find that the IA statistics in different gravity models show distinguishable features, with a trend similar to the case of conventional galaxy clustering statistics. Thus, the GI and II correlations are found to be useful in distinguishing between the $\Lambda$CDM and $f(R)$ gravity models. More quantitatively, IA statistics enhance detectability of the imprint of $f(R)$ gravity on large scale structures by $\sim 40\%$ when combined with the conventional halo clustering in redshift space. We also find that the correlation between the axis ratio and orientation of halos becomes stronger in $f(R)$ gravity than that in $\Lambda$CDM. Our results demonstrate the usefulness of IA statistics as a probe of gravity beyond a consistency test of $\Lambda$CDM and general relativity.


title: A Pixel-Level Meta-Learner for Weakly Supervised Few-Shot Semantic Segmentation

abstract: Few-shot semantic segmentation addresses the learning task in which only few images with ground truth pixel-level labels are available for the novel classes of interest. One is typically required to collect a large mount of data (i.e., base classes) with such ground truth information, followed by meta-learning strategies to address the above learning task. When only image-level semantic labels can be observed during both training and testing, it is considered as an even more challenging task of weakly supervised few-shot semantic segmentation. To address this problem, we propose a novel meta-learning framework, which predicts pseudo pixel-level segmentation masks from a limited amount of data and their semantic labels. More importantly, our learning scheme further exploits the produced pixel-level information for query image inputs with segmentation guarantees. Thus, our proposed learning model can be viewed as a pixel-level meta-learner. Through extensive experiments on benchmark datasets, we show that our model achieves satisfactory performances under fully supervised settings, yet performs favorably against state-of-the-art methods under weakly supervised settings.


title: The $k$-Compound of a Difference-Algebraic System

abstract: The multiplicative and additive compounds of a matrix have important applications in geometry, linear algebra, and the analysis of dynamical systems. In particular, the $k$-compounds allow to build a $k$-compound dynamical system that tracks the evolution of $k$-dimensional parallelotopes along the original dynamics. This has recently found many applications in the analysis of non-linear systems described by ODEs and difference equations. Here, we introduce the $k$-compound system corresponding to a differential-algebraic system, and describe several applications to the analysis of discrete-time dynamical systems described by difference-algebraic equations.


title: Topological characterizations of Hamiltonian flows with finitely many singular points on unbounded surfaces

abstract: Hamiltonian flows on compact surfaces are characterized, and the topological invariants of such flows with finitely many singular points are constructed from the viewpoints of integrable systems, fluid mechanics, and dynamical systems. Though various fluid phenomena are modeled as flows on the plane, it is not obvious to determine if the flows are Hamiltonian, even the singular point set is totally disconnected and every orbit is contained in a straight line parallel to the $x$-axis. In fact, there are such non-Hamiltonian flows on the plane. On the other hand, this paper topologically characterizes Hamiltonian flows on unbounded surfaces and constructs their complete invariant under a regularity condition for singular points. In addition, under finite volume assumption, Hamiltonian flows on unbounded surfaces can be embedded into those on compact surfaces.


title: The Security Risk of Lacking Compiler Protection in WebAssembly

abstract: WebAssembly is increasingly used as the compilation target for cross-platform applications. In this paper, we investigate whether one can rely on the security measures enforced by existing C compilers when compiling C programs to WebAssembly. We compiled 4,469 C programs with known buffer overflow vulnerabilities to x86 code and to WebAssembly, and observed the outcome of the execution of the generated code to differ for 1,088 programs. Through manual inspection, we identified that the root cause for these is the lack of security measures such as stack canaries in the generated WebAssembly: while x86 code crashes upon a stack-based buffer overflow, the corresponding WebAssembly continues to be executed. We conclude that compiling an existing C program to WebAssembly without additional precautions may hamper its security, and we encourage more research in this direction.


title: Maximum Length-Constrained Flows and Disjoint Paths: Distributed, Deterministic and Fast

abstract: Computing routing schemes that support both high throughput and low latency is one of the core challenges of network optimization. Such routes can be formalized as $h$-length flows which are defined as flows whose flow paths are restricted to have length at most $h$. Many well-studied algorithmic primitives -- such as maximal and maximum length-constrained disjoint paths -- are special cases of $h$-length flows. Likewise the optimal $h$-length flow is a fundamental quantity in network optimization, characterizing, up to poly-log factors, how quickly a network can accomplish numerous distributed primitives. In this work, we give the first efficient algorithms for computing $(1 - \epsilon)$-approximate $h$-length flows. We give deterministic algorithms that take $\tilde{O}(\text{poly}(h, \frac{1}{\epsilon}))$ parallel time and $\tilde{O}(\text{poly}(h, \frac{1}{\epsilon}) \cdot 2^{O(\sqrt{\log n})})$ distributed CONGEST time. We also give a CONGEST algorithm that succeeds with high probability and only takes $\tilde{O}(\text{poly}(h, \frac{1}{\epsilon}))$ time. Using our $h$-length flow algorithms, we give the first efficient deterministic CONGEST algorithms for the maximal length-constrained disjoint paths problem -- settling an open question of Chang and Saranurak (FOCS 2020) -- as well as essentially-optimal parallel and distributed approximation algorithms for maximum length-constrained disjoint paths. The former greatly simplifies deterministic CONGEST algorithms for computing expander decompositions. We also use our techniques to give the first efficient $(1-\epsilon)$-approximation algorithms for bipartite $b$-matching in CONGEST. Lastly, using our flow algorithms, we give the first algorithms to efficiently compute $h$-length cutmatches, an object at the heart of recent advances in length-constrained expander decompositions.


title: Two-color optically-addressed spatial light modulator as generic spatio-temporal systems

abstract: Nonlinear spatio-temporal systems are the basis for countless physical phenomena in such diverse fields as ecology, optics, electronics and neuroscience. The canonical approach to unify models originating from different fields is the normal form description, which determines the generic dynamical aspects and different bifurcation scenarios. Realizing different types of dynamical systems via one experimental platform that enables continuous transition between normal forms through tuning accessible system parameters is therefore highly relevant. Here, we show that a transmissive, optically-addressed spatial light modulator under coherent optical illumination and optical feedback coupling allows tuning between pitchfork, transcritical and saddle-node bifurcations of steady states. We demonstrate this by analytically deriving the system's normal form equations and confirm these results via extensive numerical simulations. Our model describes a nematic liquid crystal device using nano-dimensional dichalcogenide (a-As$_2$S$_3$) glassy thin-films as photo sensors and alignment layers, and we use device parameters obtained from experimental characterization. Optical coupling, for example using diffraction, holography or integrated unitary maps allow implementing a variety of system topologies of technological relevance for neural networks and potentially XY-Hamiltonian models with ultra low energy consumption.


title: Nuclear electric resonance

abstract: Nuclear-spin qubits have long coherence time and are desirably applied into quantum information processing. However, the existing methods either fail to address single nucleus (such as nuclear magnetic resonance), or severely affect nuclear coherence time (such as electrical nuclear manipulation based on hyperfine stark effect, ENMHSE). Here we propose an electrical nuclear manipulation called nuclear electric resonance which can on the one hand address the single nuclear qubit, and on the other keep the long coherence time. Applying this, we construct universal quantum gates with external electric field. These universal gates are practicable for arbitrary $S\ge 1$ spin nuclei. Given the much longer coherence time of nuclear electric resonance, we improve the number of single-qubit operations by three orders of magnitude compared with that of ENMHSE.


title: Rational Agreement in the Presence of Crash Faults

abstract: Blockchain systems need to solve consensus despite the presence of rational users and failures. The notion of $(k,t)$-robustness has shown instrumental to list problems that cannot be solved if $k$ players are rational and $t$ players are Byzantine or act arbitrarily. What is less clear is whether one can solve such problems if the faults are benign. In this paper, we bridge the gap between games that are robust against Byzantine players and games that are robust against crash players. Our first result is an impossibility result: We show that no $(k,t)$-robust consensus protocol can solve consensus in the crash model if $k+2t\geq n$ unless there is a particular punishment strategy, called the $(k,t)$-baiting strategy. This reveals the need to introduce baiting as the act of rewarding a colluding node when betraying its coalition, to make blockchains more secure. Our second result is an equivalence relation between crash fault tolerant games and Byzantine fault tolerant games, which raises an interesting research question on the power of baiting to solve consensus. To this end, we show, on the one hand, that a $(k,t)$-robust consensus protocol becomes $(k+t,t)$-robust in the crash model. We show, on the other hand, that the existence of a $(k,t)$-robust consensus protocol in the crash model that does not make use of a baiting strategy implies the existence of a $(k-t,t)$-robust consensus protocol in the Byzantine model, with the help of cryptography.


title: Electronic properties and quantum transports in functionalized graphene Sierpinski carpet fractals

abstract: Recent progress in controllable functionalization of graphene surfaces enables the experimental realization of complex functionalized graphene nanostructures, such as Sierpinski carpet (SC) fractals. Herein, we model the SC fractals formed by hydrogen and fluorine functionalized patterns on graphene surfaces, namely, H-SC and F-SC, respectively. We then reveal their electronic properties and quantum transport features. From calculated results of the total and local density of state, we find that states in H-SC and F-SC have two characteristics: (i) low-energy states inside about |E/t|<1 (with t as the near-neighbor hopping) are localized inside free graphene regions due to the insulating properties of functionalized graphene regions, and (ii) high-energy states in F-SC have two special energy ranges including -2.3<E/t<-1.9 with localized holes only inside free graphene areas and 3<E/t<3.7 with localized electrons only inside fluorinated graphene areas. The two characteristics are further verified by the real-space distributions of normalized probability density. We analyze the fractal dimension of their quantum conductance spectra and find that conductance fluctuations in these structures follow the Hausdorff dimension. We calculate their optical conductivity and find that several additional conductivity peaks appear in high energy ranges due to the adsorbed H or F atoms.


title: Production and decay of the Higgs boson in association with top quarks

abstract: We report on the calculation of the next-lo-leading order QCD corrections to Higgs boson production and decay in association with top quarks. We consider leptonic decays of top quarks leading to the hadronic process $pp\to e^+\nu_e\, \mu^-\bar{\nu}_\mu \, b\bar{b}\,H\, (H\to X)$ at the LHC with $\sqrt{s}=13$ TeV. All resonant as well as non-resonant Feynman diagrams, interferences and off-shell effects are included for the top quark and $W$ gauge boson. Decays of the Higgs boson, on the other hand, are included in the narrow-width-approximation. Specifically, we consider Higgs boson decays into $b\bar{b}$, $\tau^+\tau^-$, $\gamma\gamma$ and $e^+e^-e^+e^-$. Numerical results are given at the integrated and differential fiducial level for various factorisation and renormalisation scale choices and different PDF sets. We study the main theoretical uncertainties that are associated with neglected higher order terms in the perturbative expansion and with different parametrisations of the PDFs. Furthermore, we examine the size of the off-shell effects by an explicit comparison to the calculation in the full narrow-width-approximation. Finally, the impact of the contributions induced by the bottom-quark parton density is investigated.


title: The mm-to-cm SED of spiral galaxies. Synergies between NIKA2 and SRT instruments

abstract: The mm-to-cm range of the Spectral Energy Distribution of spiral galaxies remains largely unexplored. Its coverage is required to disentangle the contribution of dust emission, free-free and synchrotron radiation and can provide constraints on dust models, star-formation rates and ISM properties. We present the case for a synergy between NIKA2 observations of nearby spirals and those from planned and current instrumentation at the Sardinia Radio Telescope, and report on a pilot K-band program to search for Anomalous Microwave Emission, an elusive emission component which is presumably related to dust.


title: Precision determination of isotope shifts in ytterbium and implications for new physics

abstract: We report measurements of isotope shifts for the five spinless Yb isotopes on the $6s^2\,^1\textrm{S}_0 \rightarrow 5d6s\,^1\textrm{D}_2$ transition using Doppler-free two-photon spectroscopy. We combine these data with existing measurements on two transitions in Yb$^+$ [Phys. Rev. Lett. 125, 123002 (2020)], where deviation from King-plot linearity showed hints of a new bosonic force carrier at the 3$\sigma$ level. The combined data strongly reduces the significance of the new-physics signal. We show that the observed nonlinearity in the joint Yb/Yb$^+$ King-plot analysis can be accounted for by the deformation of the Yb nuclei.


title: CycleGAN with Dual Adversarial Loss for Bone-Conducted Speech Enhancement

abstract: Compared with air-conducted speech, bone-conducted speech has the unique advantage of shielding background noise. Enhancement of bone-conducted speech helps to improve its quality and intelligibility. In this paper, a novel CycleGAN with dual adversarial loss (CycleGAN-DAL) is proposed for bone-conducted speech enhancement. The proposed method uses an adversarial loss and a cycle-consistent loss simultaneously to learn forward and cyclic mapping, in which the adversarial loss is replaced with the classification adversarial loss and the defect adversarial loss to consolidate the forward mapping. Compared with conventional baseline methods, it can learn feature mapping between bone-conducted speech and target speech without additional air-conducted speech assistance. Moreover, the proposed method also avoids the oversmooth problem which is occurred commonly in conventional statistical based models. Experimental results show that the proposed method outperforms baseline methods such as CycleGAN, GMM, and BLSTM. Keywords: Bone-conducted speech enhancement, dual adversarial loss, Parallel CycleGAN, high frequency speech reconstruction


title: Deductive Association Networks

abstract: we introduce deductive association networks(DANs), a network that performs deductive reasoning. To have high-dimensional thinking, combining various axioms and putting the results back into another axiom is necessary to produce new relationships and results. For example, it would be given two propositions: "Socrates is a man." and "All men are mortals." and two propositions could be used to infer the new proposition, "Therefore Socrates is mortal.". To evaluate, we used MNIST Dataset, a handwritten numerical image dataset, to apply it to the group theory and show the results of performing deductive learning.


title: Practical and Light-weight Secure Aggregation for Federated Submodel Learning

abstract: Recently, Niu, et. al. introduced a new variant of Federated Learning (FL), called Federated Submodel Learning (FSL). Different from traditional FL, each client locally trains the submodel (e.g., retrieved from the servers) based on its private data and uploads a submodel at its choice to the servers. Then all clients aggregate all their submodels and finish the iteration. Inevitably, FSL introduces two privacy-preserving computation tasks, i.e., Private Submodel Retrieval (PSR) and Secure Submodel Aggregation (SSA). Existing work fails to provide a loss-less scheme, or has impractical efficiency. In this work, we leverage Distributed Point Function (DPF) and cuckoo hashing to construct a practical and light-weight secure FSL scheme in the two-server setting. More specifically, we propose two basic protocols with few optimisation techniques, which ensures our protocol practicality on specific real-world FSL tasks. Our experiments show that our proposed protocols can finish in less than 1 minute when weight sizes $\leq 2^{15}$, we also demonstrate protocol efficiency by comparing with existing work and by handling a real-world FSL task.


title: Blow-up of solutions to semilinear wave equations with a time-dependent strong damping

abstract: The paper investigates a class of a semilinear wave equation with time-dependent damping term ($-\frac{1}{{(1+t)}^{\beta}}\Delta u_t$) and a nonlinearity $|u|^p$. We will show the influence of the the parameter $\beta$ in the blow-up results under some hypothesis on the initial data and the exponent $p$ by using the test function method. We also study the local existence in time of mild solution in the energy space $H^1(\mathbb{R}^n)\times L^2(\mathbb{R}^n)$.


title: Valorization of biodigestor plant waste in electrodes for supercapacitors and microbial fuel cells

abstract: This study aims at demonstrating that wastes from anaerobic biodigester plants can be effectively valorized as functional materials to be implemented in technologies that enable efficient energy management and water treatment, therefore simultaneously addressing the Water-Energy-Waste Nexus challenges. Lignin, the main solid residue of the biodigester plant, has been valorized into activated biochar with a mild activation agent, like KHCO3, to produce electrode of supercapacitors and microbial fuel cells. In addition, the same sludge that is the liquid effluent of the biodigester plant has been exploited as inoculum and electrolyte for the MFC. The lignin derived carbons obtained at lignin/KHCO3 mass ratios of 1:0.5 (LAC-0.5) and 1:2 (LAC-2) comprised of mesopores and micropores displaying BETs of 1558 m2/g and 1879 m2/g, respectively. LAC-2 carbon exhibited a superior specific capacitance of 114 F/g in 2.5 M KNO3 with respect to LAC-0.5. A supercapacitor with LAC-2 electrodes was built displaying specific energy specific power up to 10 Wh/kg and 6.9 kW/kg, respectively. Durability tests showed that the device was able to maintain a capacitance retention of 84.5% after 15,000 charge-discharge cycles. The lignin-derived carbons were also studied as electrocatalysts for ORR in a neutral medium. The LAC-2 showed higher ORR electrocatalytic activity than LAC-0.5. The interconnected porous network and the high surface area made the lignin-derived porous carbons suitable electrode materials for dual applications. The feasibility of the use of LAC 2 carbon incorporated in an air breathing cathode for MFC applications is also reported.


title: Global well-posedness to the two-dimensional incompressible vorticity equation in the half plane

abstract: This paper is concerned with the global well-posedness of the two-dimensional incompressible vorticity equation in the half plane. Under the assumption that the initial vorticity $\omega_0\in W^{k,p}(\R^{2}_+)$ with $k\geq3$ and $1<p<2$, it is shown that the two-dimensional incompressible vorticity equation admits a unique solution $\omega\in C([0,T];W^{k,p}(\R^{2}_+))$ for any $T>0$. An elementary and self-contained proof is presented and delicate estimates of the velocity and its derivatives are obtained in this paper. It should be emphasized that the uniform estimate on $\int^t_0\|u(\tau)\|_{W^{1,\infty}(\R^2_+)}d\tau$ is required to complete the global regularity of the solution. To do that, the double exponential growth in time of the gradient of the vorticity in the half plane is established and applied. This is different from the proof of global well-posedness of the Euler velocity equations in the Sobolev spaces, in which a Kato-type or logarithmic-type estimate of the gradient of the velocity is enough to close the energy estimates.


title: Learning Size and Shape of Calabi-Yau Spaces

abstract: We present a new machine learning library for computing metrics of string compactification spaces. We benchmark the performance on Monte-Carlo sampled integrals against previous numerical approximations and find that our neural networks are more sample- and computation-efficient. We are the first to provide the possibility to compute these metrics for arbitrary, user-specified shape and size parameters of the compact space and observe a linear relation between optimization of the partial differential equation we are training against and vanishing Ricci curvature.


title: Instability and self-propulsion of active droplets along a wall

abstract: Active droplets can swim spontaneously in viscous flows as a result of the non-linear convective transport of a chemical solute produced at their surface by the Marangoni and/or phoretic flows generated by this solute's inhomogeneous distribution, provided the ratio of convective-to-diffusive solute transport, or P\'eclet number $\mbox{Pe}$ is large enough. As the result of their net buoyancy, active drops typically evolve at a small finite distance $d$ from rigid boundaries. Yet, existing models systematically focus on unbounded flows, ignoring the effect of the wall proximity on the intrisically-nonlinear nature of their propulsion mechanism. In contrast, we obtain here a critical insight on the propulsion of active drops near walls by analysing their stability to non-axisymmetric perturbations and the resulting emergence of self-propulsion along the wall with no limiting assumption on the wall-distance $d$. Dipolar or quadrupolar axisymmetric (levitating) base states are identified depending on $d$ and $\mbox{Pe}$. Perhaps counter-intuitively, a reduction in the drop-wall separation $d$ is observed to destabilize these modes and to promote self-propulsion, as a result from the confinement-induced localisation of the chemical gradients driving the motion. In addition, quadrupolar states are more unstable than their dipolar counterparts due to the redistribution of the chemical perturbation by the base flow, favouring the emergence of stronger slip forcing on the drop surface.


title: Transitivity and homogeneity of orthosets and the real Hilbert spaces

abstract: An orthoset (also called an orthogonality space) is a set $X$ equipped with a symmetric and irreflexive binary relation $\perp$, called the orthogonality relation. In quantum physics, orthosets play a central role. In fact, a Hilbert space gives rise to an orthoset in a canonical way and can be reconstructed from it. A complex Hilbert space can be seen as a real Hilbert space endowed with a complex structure. This fact motivates us to explore characteristic features of real Hilbert spaces by means of the abelian groups of rotations of a plane. Accordingly, we consider orthosets together with the groups of automorphisms that keep the orthogonal complement of a given pair of distinct elements fixed. We establish that, under a transitivity and a homogeneity assumption, an orthoset arises from a projective (anisotropic) Hermitian space. To find conditions under which the latter's scalar division ring is $\mathbb R$ is difficult in the present framework. However, restricting considerations to divisible automorphisms, we can narrow down the possibilities to positive definite quadratic spaces over an ordered field. The further requirement that the action of these automorphisms is quasiprimitive implies that the scalar field is a subfield of $\mathbb R$.


title: The Secrecy Gain of Formally Unimodular Lattices on the Gaussian Wiretap Channel

abstract: We consider lattice coding for the Gaussian wiretap channel, where the challenge is to ensure reliable communication between two authorized parties while preventing an eavesdropper from learning the transmitted messages. Recently, a measure called the secrecy function of a lattice coding scheme was proposed as a design criterion to characterize the eavesdropper's probability of correct decision. In this paper, the family of formally unimodular lattices is presented and shown to possess the same secrecy function behavior as unimodular and isodual lattices. Based on Construction A, we provide a universal approach to determine the secrecy gain, i.e., the maximum value of the secrecy function, for formally unimodular lattices obtained from formally self-dual codes. Furthermore, we show that formally unimodular lattices can achieve higher secrecy gain than the best-known unimodular lattices from the literature.


title: HHP-Net: A light Heteroscedastic neural network for Head Pose estimation with uncertainty

abstract: In this paper we introduce a novel method to estimate the head pose of people in single images starting from a small set of head keypoints. To this purpose, we propose a regression model that exploits keypoints computed automatically by 2D pose estimation algorithms and outputs the head pose represented by yaw, pitch, and roll. Our model is simple to implement and more efficient with respect to the state of the art -- faster in inference and smaller in terms of memory occupancy -- with comparable accuracy. Our method also provides a measure of the heteroscedastic uncertainties associated with the three angles, through an appropriately designed loss function; we show there is a correlation between error and uncertainty values, thus this extra source of information may be used in subsequent computational steps. As an example application, we address social interaction analysis in images: we propose an algorithm for a quantitative estimation of the level of interaction between people, starting from their head poses and reasoning on their mutual positions. The code is available at https://github.com/cantarinigiorgio/HHP-Net.


title: Wave packet treatment of neutrino flavor oscillations in various spacetimes

abstract: We study the effect of gravity on neutrino flavor oscillations when each mass eigenstate is described by a wave packet instead of a plane wave. Two different approaches for implementing the wave packet formalism in the study of neutrino flavor oscillations in curved spacetime are examined. We work with a general static and spherically symmetric spacetime before applying our results to a few spacetime metrics of interest. We first focus on general relativity by examining the effect of the exterior and interior Schwarzschild solutions, as well as the de Sitter-Schwarzschild metric, and then we examine selected metrics from modified gravity models.


title: Optimal weak estimates for Riesz potentials

abstract: In this note we prove a sharp reverse weak estimate for Riesz potentials $$\|I_{s}(f)\|_{L^{\frac{n}{n-s},\infty}}\geq \gamma_sv_{n}^{\frac{n-s}{n}}\|f\|_{L^1}~~\text{for}~~0<f\in {L^1(\mathbb{R}^n)},$$ where $\gamma_s=2^{-s}\pi^{-\frac{n}{2}}\frac{\Gamma(\frac{n-s}{2})}{\Gamma(\frac{s}{2})}$. We also consider the behavior of the best constant $\mathcal{C}_{n,s}$ of weak type estimate for Riesz potentials, and we prove $\mathcal{C}_{n,s}=O(\frac{\gamma_s}{s})$ as $s\rightarrow 0$.


title: The decomposition of permutation module for infinite Chevalley groups II

abstract: Let $\bf G$ be a connected reductive algebraic group over an algebraically closed field $\Bbbk$ and ${\bf B}$ be an Borel subgroup of ${\bf G}$. In this paper we completely determine the composition factors of the permutation module $\mathbb{F}[{\bf G}/{\bf B}]$ for any field $\mathbb{F}$.


title: Formation of singularities for multi-dimensional transport equations with nonlocal velocity

abstract: This paper is concerned with a class of multi-dimensional transport equations with nonlocal velocity. It is shown that the local smooth solution cannot exist globally in time via the De Giorgi iteration technique.


title: In-plane selective excitation of arbitrary vibration modes using thickness-shear (d15) piezoelectric transducers

abstract: Experimental modal analysis (EMA) is of great importance for the dynamic characterization of structures. Existing methods typically employ out-of-plane forces for excitation and measure the acceleration or strain for modal analysis. However, these methods encountered difficulties in some cases. In this work, we proposed an in-plane excitation method based on thickness-shear (d15) piezoelectric transducers. Through the combination of distributed d15 PZT strips, arbitrary vibration modes can be selectively excited in a wide frequency range. Both simulations and experiments were conducted and the results validated the proposed method. Specifically, bending, torsional, and longitudinal vibration modes of a rectangular bar were selectively excited. Torsional modes of a shaft were excited without the aid of brackets and bending modes of a circular plate were excited with actuators placed at nodal lines. Furthermore, the electromechanical impedance of the PZT-structure system was measured from which the natural frequency and quality factor were directly extracted. Due to its simplicity and flexibility, the proposed vibration excitation method is expected to be widely used in near future.


title: Mapping the intracluster medium temperature in the era of NIKA2 and MUSTANG-2

abstract: We present preliminary results from an on-going program that aims at mapping the intracluster medium (ICM) temperature of high redshift galaxy clusters from the MaDCoWS sample using a joint analysis of shallow X-ray data obtained by $Chandra$ and high angular resolution Sunyaev-Zel'dovich (SZ) observations realized with the NIKA2 and MUSTANG-2 cameras. We also present preliminary results from an on-going Open Time program within the NIKA2 collaboration that aims at mapping the ICM temperature of a galaxy cluster at $z=0.45$ from the resolved detection of the relativistic corrections to the SZ spectrum. These studies demonstrate how high angular resolution SZ observations will play a major role in the coming decade to push the investigation of ICM dynamics and non-gravitational processes to high redshift before the next generation X-ray observatories come into play.


title: Search for H$\alpha$ Emitters at $z\sim7.8$: A Constraint on the H$\alpha$-based Star Formation Rate Density

abstract: We search for H$\alpha$ emitters at $z\sim7.8$ in four gravitationally lensed fields observed in the Hubble Frontier Fields program. We use the Lyman break method to select galaxies at the target redshift, and make the photometry in {\it Spitzer}/IRAC 5.8 $\mu$m band to detect the H$\alpha$ emission from the candidate galaxies. We find no significant detection of counterparts in the IRAC 5.8 $\mu$m band, and this gives a constraint on the H$\alpha$ luminosity function (LF) at $z\sim7.8$. We compare the constraint with previous studies on rest-frame UV and FIR observation using the correlation between the H$\alpha$ luminosity and the star formation rate. Additionally, we convert the constraint on the H$\alpha$ LF into an upper limit for the star formation rate density (SFRD) at this epoch assuming the shape of the LF. We examine two types of parameterization of the LF, and obtain an upper limit for the SFRD of $\log_{10}(\rho_{\rm SFR}\ [M_\odot\ \mathrm{yr^{-1}\ Mpc^{-3}}])\lesssim-1.1$ at $z\sim7.8$. With this constraint on the SFRD, we give an independent probe into the total star formation activity including the dust-obscured and unobscured star formation at the Epoch of Reionization.


title: Reflection efficiency and spectra resolutions ray-tracing simulations for the VOXES HAPG crystal based Von Hamos spectrometer

abstract: The VOXES collaboration at INFN National Laboratories of Frascati developed a prototype of a high resolution Von Hamos X-ray spectrometer using HAPG (Highly Annealed Pyrolytic Graphite) mosaic crystals. This technology allows the employment of extended isotropic sources and could find application in several physics fields. The capability of the spectrometer to reach energy precision and resolution below 1 and 10 eV, respectively, when used with wide sources have been already demonstrated. Recently, the response of this device, for a $\rho$ = 206.7 mm cylindrically bent HAPG crystal using $CuK\alpha_{1,2}$ and $FeK\alpha_{1,2}$ XRF lines, has been investigated in terms of reflection efficiency by a dedicated ray-tracing simulation. Details of the simulation procedure and the comparison with the experimental results are presented. This study is crucial in order to retrieve information on the spectrometer signal collection efficiency, especially in the energy range in which the standard calibration procedures cannot be applied.


title: Observations with KIDs Interferometer Spectrum Survey(KISS)

abstract: We describe the preliminary on-sky results of the KIDs Interferometer Spectrum Survey (KISS), a spectral imager with a 1 deg field of view (FoV). The instrument operates in the range 120-180 GHz from the 2.25 m Q-U-I JOint TEnerife telescope in Teide Observatory (Tenerife, Canary Islands), at 2 395 m altitude above sea level. Spectra at low resolution, up to 1.45 GHz, are obtained using a fast (3.72 Hz mechanical frequency) Fourier transform spectrometer, coupled to a continuous dilution cryostat with a stabilized temperature of 170 mK that hosts two 316-pixel arrays of lumped-element kinetic inductance detectors. KISS generates more than 3 000 spectra per second during observations and represents a pathfinder to demonstrate the potential for spectral mapping with large FoV. We give an overall description of the spectral mapping paradigm and we present recent results from observations, in this paper.


title: Relevance of Ge incorporation to control the physical behaviour of point defects in kesterite

abstract: To reduce the prominent VOC-deficit that limits kesterite-based solar cells efficiencies, Ge has been proposed over the recent years with encouraging results, as the reduction of the non-radiative recombination rate is considered as a way to improve the well-known Sn-kesterite world record efficiency. To gain further insight into this mechanism, we investigate the physical behaviour of intrinsic point defects both upon Ge doping and alloying of Cu2ZnSnS4 kesterite. Using a first-principles approach, we confirm the p-type conductivity of both Cu2ZnSnS4 and Cu2ZnGeS4, attributed to the low formation energies of the VCu and CuZn acceptor defects within the whole stable phase diagram range. Via doping of the Sn-kesterite matrix, we report the lowest formation energy for the substitutional defect GeSn. We also confirm the detrimental role of the substitutional defects XZn (X=Sn,Ge) acting as recombination centres within the Sn-based, the Ge-doped and the Ge-based kesterite. Finally, we highlight the reduction of the lattice distortion upon Ge incorporation resulting in a reduction of the carrier capture cross section and consequently a decrease of the non-radiative recombination rate within the bulk material.


title: Magneto-transport evidence for strong topological insulator phase in ZrTe5

abstract: The identification of a non-trivial band topology usually relies on directly probing the protected surface/edge states. But, it is difficult to achieve electronically in narrow-gap topological materials due to the small (meV) energy scales. Here, we demonstrate that band inversion, a crucial ingredient of the non-trivial band topology, can serve as an alternative, experimentally accessible indicator. We show that an inverted band can lead to a four-fold splitting of the non-zero Landau levels, contrasting the two-fold splitting (spin splitting only) in the normal band. We confirm our predictions in magneto-transport experiments on a narrow-gap strong topological insulator, zirconium pentatelluride (ZrTe$_5$), with the observation of additional splittings in the quantum oscillations and also an anomalous peak in the extreme quantum limit. Our work establishes an effective strategy for identifying the band inversion as well as the associated topological phases for future topological materials research.


title: Arithmetic subtrees in large subsets of products of trees

abstract: Furstenberg-Weiss have extended Szemer\'edi's theorem on arithmetic progressions to trees by showing that a large subset of the tree contains arbitrarily long arithmetic subtrees. We study higher dimensional versions that analogously extend the multidimensional Szemer\'edi theorem by demonstrating the existence of certain arithmetic structures in large subsets of a cartesian product of trees.


title: A model for nuclear spin product-state distributions of ultracold chemical reactions in magnetic fields

abstract: Based on a theoretical model where the nuclear spins remain unchanged during a collision, we provide an analytical and general expression for the nuclear spin state-to-state distribution of an ultracold chemical reaction in a magnetic field, for given rotational transitions of the molecules. It simply requires knowledge of the field-dependent eigenfunctions of the molecular reactants and products of the chemical reaction. The final state-to-state distribution drastically changes with the magnetic field. When the distribution is summed over all the final products, a simplified expression is found where only the knowledge of the eigenfunctions of the molecular reactants is required. The present theoretical formalism has been successfully used to explain the magnetic field behavior of the product-state distribution in chemical reactions of ultracold KRb molecules [Hu et al., Nat. Chem. 13, 435 (2021)].


title: Conservative Time Discretization: A Comparative Study

abstract: We present the first review of methods to overapproximate the set of reachable states of linear time-invariant systems subject to uncertain initial states and input signals for short time horizons. These methods are fundamental to state-of-the-art reachability algorithms for long time horizons, which proceed in two steps: First they use such a method to discretize the system for a short time horizon, and then they efficiently obtain a solution of the new discrete system for the long time horizon. Traditionally, both qualitative and quantitative comparison between different reachability algorithms has only considered the combination of both steps. In this paper we study the first step in isolation. We perform a variety of numerical experiments for six fundamental discretization methods from the literature. As we show, these methods have different trade-offs regarding accuracy and computational cost and, depending on the characteristics of the system, some methods may be preferred over others. We also discuss preprocessing steps to improve the results and efficient implementation strategies.


title: Learning a perceptual manifold with deep features for animation video resequencing

abstract: We propose a novel deep learning framework for animation video resequencing. Our system produces new video sequences by minimizing a perceptual distance of images from an existing animation video clip. To measure perceptual distance, we utilize the activations of convolutional neural networks and learn a perceptual distance by training these features on a small network with data comprised of human perceptual judgments. We show that with this perceptual metric and graph-based manifold learning techniques, our framework can produce new smooth and visually appealing animation video results for a variety of animation video styles. In contrast to previous work on animation video resequencing, the proposed framework applies to wide range of image styles and does not require hand-crafted feature extraction, background subtraction, or feature correspondence. In addition, we also show that our framework has applications to appealing arrange unordered collections of images.


title: WaveSense: Efficient Temporal Convolutions with Spiking Neural Networks for Keyword Spotting

abstract: Ultra-low power local signal processing is a crucial aspect for edge applications on always-on devices. Neuromorphic processors emulating spiking neural networks show great computational power while fulfilling the limited power budget as needed in this domain. In this work we propose spiking neural dynamics as a natural alternative to dilated temporal convolutions. We extend this idea to WaveSense, a spiking neural network inspired by the WaveNet architecture. WaveSense uses simple neural dynamics, fixed time-constants and a simple feed-forward architecture and hence is particularly well suited for a neuromorphic implementation. We test the capabilities of this model on several datasets for keyword-spotting. The results show that the proposed network beats the state of the art of other spiking neural networks and reaches near state-of-the-art performance of artificial neural networks such as CNNs and LSTMs.


title: Synthesizing Speech from Intracranial Depth Electrodes using an Encoder-Decoder Framework

abstract: Speech Neuroprostheses have the potential to enable communication for people with dysarthria or anarthria. Recent advances have demonstrated high-quality text decoding and speech synthesis from electrocorticographic grids placed on the cortical surface. Here, we investigate a less invasive measurement modality in three participants, namely stereotactic EEG (sEEG) that provides sparse sampling from multiple brain regions, including subcortical regions. To evaluate whether sEEG can also be used to synthesize audio from neural recordings, we employ a recurrent encoder-decoder model based on modern deep learning methods. We find that speech can indeed be reconstructed with correlations up to 0.8 from these minimally invasive recordings, despite limited amounts of training data. In particular, the architecture we employ naturally picks up on the temporal nature of the data and thereby outperforms an existing benchmark based on non-regressive convolutional neural networks.


title: Cosmology with galaxy clusters: impact of theoretical and observational systematic uncertainties

abstract: In this talk I focus on how the modelling of the mass-observable relation and the halo mass function can impact the accuracy and precision of cosmological constraints inferred from galaxy clusters. I present a new analysis of clusters detected in mm wavelengths by the Planck satellite, highlighting the need of an improved description and calibration for the mass-observable relation.


title: Ramification theory of reciprocity sheaves, I, Zariski-Nagata purity

abstract: We prove a Zariski-Nagata purity theorem for the motivic ramification filtration of a reciprocity sheaf. An important tool in the proof is a generalization of the Kato-Saito reciprocity map from geometric global class field theory to all reciprocity sheaves. As a corollary we obtain cut-by-curves and cut-by-surfaces criteria for various ramification filtrations. In some cases this reproves known theorems, in some cases we obtain new results.


title: Geometry-aware Bayesian Optimization in Robotics using Riemannian Mat\'ern Kernels

abstract: Bayesian optimization is a data-efficient technique which can be used for control parameter tuning, parametric policy adaptation, and structure design in robotics. Many of these problems require optimization of functions defined on non-Euclidean domains like spheres, rotation groups, or spaces of positive-definite matrices. To do so, one must place a Gaussian process prior, or equivalently define a kernel, on the space of interest. Effective kernels typically reflect the geometry of the spaces they are defined on, but designing them is generally non-trivial. Recent work on the Riemannian Mat\'ern kernels, based on stochastic partial differential equations and spectral theory of the Laplace-Beltrami operator, offers promising avenues towards constructing such geometry-aware kernels. In this paper, we study techniques for implementing these kernels on manifolds of interest in robotics, demonstrate their performance on a set of artificial benchmark functions, and illustrate geometry-aware Bayesian optimization for a variety of robotic applications, covering orientation control, manipulability optimization, and motion planning, while showing its improved performance.


title: Multi-reference many-body perturbation theory for nuclei III -- Ab initio calculations at second order in PGCM-PT

abstract: In spite of missing dynamical correlations, the projected generator coordinate method (PGCM) was recently shown to be a suitable method to tackle the low-lying spectroscopy of complex nuclei. Still, describing absolute binding energies and reaching high accuracy eventually requires the inclusion of dynamical correlations on top of the PGCM. In this context, the present work discusses the first realistic results of a novel multi-reference perturbation theory (PGCM-PT) that can do so within a symmetry-conserving scheme for both ground and low-lying excited states. First, proof-of-principle calculations in a small ($e_{\mathrm{max}}=4$) model space demonstrate that exact binding energies of closed- (\nucl{O}{16}) and open-shell (\nucl{O}{18}, \nucl{Ne}{20}) nuclei are reproduced within $0.5-1.5\%$ at second order, i.e. through PGCM-PT(2). Moreover, profiting from the pre-processing of the Hamiltonian via multi-reference in-medium similarity renormalization group transformations, PGCM-PT(2) can reach converged values within smaller model spaces than with an unevolved Hamiltonian. Doing so, dynamical correlations captured by PGCM-PT(2) are shown to bring essential corrections to low-lying excitation energies that become too dilated at leading order, i.e., at the strict PGCM level. The present work is laying the foundations for a better understanding of the optimal way to grasp static and dynamical correlations in a consistent fashion, with the aim of accurately describing ground and excited states of complex nuclei via ab initio many-body methods.


title: On the geometric approach to the boundary problem in supergravity

abstract: We review the geometric superspace approach to the boundary problem in supergravity, retracing the geometric construction of four-dimensional supergravity Lagrangians in the presence of a non-trivial boundary of spacetime. We first focus on pure $\mathcal{N}=1$ and $\mathcal{N}=2$ theories with negative cosmological constant. Here, the supersymmetry invariance of the action requires the addition of topological (boundary) contributions which generalize at the supersymmetric level the Euler-Gauss-Bonnet term. Moreover, one finds that the boundary values of the super field-strengths are dynamically fixed to constant values, corresponding to the vanishing of the $\mathrm{OSp}(\mathcal{N}|4)$-covariant supercurvatures at the boundary. We then consider the case of vanishing cosmological constant where, in the presence of a non-trivial boundary, the inclusion of boundary terms involving additional fields, which behave as auxiliary fields for the bulk theory, allows to restore supersymmetry. In all the cases listed above, the full, supersymmetric Lagrangian can be recast in a MacDowell-Mansouri(-like) form. We then report on the application of the results to specific problems regarding cases where the boundary is located asymptotically, relevant for a holographic analysis.


title: Prospects for discovering new physics in charm sector through low-energy scattering processes $e^-p\to e^- (\mu^-)\Lambda_c$

abstract: We investigate the potential for discovering new physics through the low-energy scattering processes $e^-p\to e^-(\mu^-)\Lambda_c$, which could be accessible in the forthcoming $ep$ scattering experiments once adapted to our proposed setups. In the framework of a general low-energy effective Lagrangian, we demonstrate that, compared with the conventional flavor-changing neutral-current weak decays of charmed hadrons and the dilepton productions at high-energy colliders, the low-energy scattering processes can provide more competitive potentials for hunting the underlying new physics. In some specific leptoquark models, we also show that promising event rates can be expected for both the scattering processes, and point out a possible way to distinguish the experimental signals due to the scalar leptoquarks from those of the vector ones.


title: Ultrafast coherent THz lattice dynamics coupled to spins in a van der Waals antiferromagnetic flake

abstract: A coherent THz optical lattice mode is triggered by femtosecond laser pulses in the antiferromagnetic van der Waals semiconductor FePS$_3$. The 380 nm thick exfoliated flake was placed on a substrate and laser-driven lattice and spin dynamics were investigated as a function of the excitation photon energy and sample temperature. The pump-probe spectroscopic measurements reveal that the photo-induced phonon is generated by a displacive mechanism. The amplitude of the phononic signal decreases as the sample is heated up to the N\'eel temperature and vanishes as the phase transition to the paramagnetic phase occurs. This evidence confirms that the excited lattice mode is intimately connected to the long-range magnetic order. Therefore our work discloses a pathway towards a femtosecond coherent manipulation of the magneto-crystalline anisotropy in a van der Waals antiferromagnet. In fact, it is reported that by applying a magnetic field the induced phonon mode hybridizes via the Kittel-mechanism with zone-centre magnons.


title: System Combination for Grammatical Error Correction Based on Integer Programming

abstract: In this paper, we propose a system combination method for grammatical error correction (GEC), based on nonlinear integer programming (IP). Our method optimizes a novel F score objective based on error types, and combines multiple end-to-end GEC systems. The proposed IP approach optimizes the selection of a single best system for each grammatical error type present in the data. Experiments of the IP approach on combining state-of-the-art standalone GEC systems show that the combined system outperforms all standalone systems. It improves F0.5 score by 3.61% when combining the two best participating systems in the BEA 2019 shared task, and achieves F0.5 score of 73.08%. We also perform experiments to compare our IP approach with another state-of-the-art system combination method for GEC, demonstrating IP's competitive combination capability.


title: Trace maximization algorithm for the approximate tensor diagonalization

abstract: In this paper we develop a Jacobi-type algorithm for the approximate diagonalization of tensors of order $d\geq3$ via tensor trace maximization. For a general tensor this is an alternating least squares algorithm and the rotation matrices are chosen in each mode one-by-one to maximize the tensor trace. On the other hand, for symmetric tensors we discuss a structure-preserving variant of this algorithm where in each iteration the same rotation is applied in all modes. We show that both versions of the algorithm converge to the stationary points of the corresponding objective functions.


title: Acceleration scaling and stochastic dynamics of a fluid particle in turbulence

abstract: It is well known that the fluid-particle acceleration is intimately related to the dissipation rate of turbulence, in line with the Kolmogorov assumptions. On the other hand, various experimental and numerical works have reported as well its dependence on the kinetic energy, which is generally attributed to intermittency and non-independence of the small-scale dynamics from large-scale ones. The analyses given in this paper focus on statistics of the fluid-particle acceleration conditioned on both the local dissipation rate and the kinetic energy. It is shown that this quantity presents an exponential dependence on the kinetic energy with a growth rate independent of the Reynolds number, in addition to the expected power law behavior with the dissipation rate. The exponential growth, which clearly departs from the previous propositions, reflects additional kinematic effects of the flow structures on the acceleration. Regarding intermittency, to account for the persistence of the effect of the large-scales on the dissipation rate, it is further proposed scaling laws for the Reynolds number dependence of the conditional and unconditional acceleration variance using Barenblatt's incomplete similarity framework. It is then shown that both these intermittency and kinematic effects can be combined in a multiplicative cascade process for the acceleration depending on the kinetic energy and the dissipation rate. On the basis of these observations, we introduce a vectorial stochastic model for the dynamics of a tracer in turbulent flows. This model incorporates a fractional log-normal process for the dissipation rate recently proposed, as well as an additional hypothesis regarding non-diagonal terms in the diffusion tensor which naturally leads to the decomposition between tangential and centripetal acceleration. This model is shown to be in good agreement with direct numerical simulations and presents the essential characteristics of the Lagrangian turbulence highlighted in recent years, namely (i) non-Gaussian acceleration, (ii) scale separation between the norm of the acceleration and its components, (iii) anomalous scaling law for the Lagrangian velocity spectra, and (iv) negative skewness of the increments of the mechanical power, reflecting the temporal irreversibility of the dynamics.


title: Ground-state energy of quasi-free positrons in non-polar fluids

abstract: We have calculated the background energy ($V_0$) for positrons in noble gases with an \emph{ab initio} potential and the Wigner-Seitz (WS) ansatz. {\col In contrast to the general pseudo-potential approach, we have used accurate \emph{ab initio} potentials for the positron-atom interaction.} The ansatz includes an assumed form of the potential, resulting from an average over fluid atoms, and we propose four different options for this. By comparing the different options to literature data for effective electron number ($Z_{\text{eff}}$), we find that agreement can be obtained for light elements, but fails for heavy elements. We suspect that the strong polarizability of the heavy elements makes the simple potential averaging, as assumed in the Wigner-Seitz model, insufficient to fit the measurements without also making use of pseudo-potentials. We also raise our suspicion that the comparison of annihiliation rates between ground-state calculations and experimental values is not appropriate. Furthermore, the congruence of $V_0$ to $Z_{\text{eff}}$ values predicted by a contact potential approximation appears to be invalidated by our results.


title: 7Be in the outburst of the ONe nova V6595 Sgr

abstract: We report the search for 7Be isotope in the outbursts of the classical nova V6595 Sgr by means of high resolution UVES observations taken at the ESO VLT in April 2021, about two weeks after discovery and under difficult circumstances due to the pandemic. Narrow absorption components with velocities at about -2620 and -2820 km/s, superposed on broader and shallow absorption, are observed in the outburst spectra for the 7BeII 313.0583, 313.1228 nm doublet resonance lines, as well as in several other elements such as CaII, FeI, MgI, NaI, HI but LiI. Using CaII K line as a reference element, we infer N(7Be)/N(H) ~ 7.4 x 10^{-6}, or ~ 9.8 x 10^{-6} when the 7Be decay is taken into account. The 7Be abundance is about half of the value most frequently measured in novae. The possible presence of over-ionization in the layers where 7Be is detected is also discussed. Observations taken at the Telescopio Nazionale Galileo (TNG) in La Palma 91 days after discovery showed prominent emission lines of Oxygen and Neon which allow to classify the nova as ONe type. Therefore, although 7Be is expected to be higher in CO novae, it is found at comparable levels in both nova types.


title: Practical error bounds for properties in plane-wave electronic structure calculations

abstract: We propose accurate computable error bounds for quantities of interest in plane-wave electronic structure calculations, in particular ground-state density matrices and energies, and interatomic forces. These bounds are based on an estimation of the error in terms of the residual of the solved equations, which is then efficiently approximated with computable terms. After providing coarse bounds based on an analysis of the inverse Jacobian, we improve on these bounds by solving a linear problem in a small dimension that involves a Schur complement. We numerically show how accurate these bounds are on a few representative materials, namely silicon, gallium arsenide and titanium dioxide.


title: Zero-Shot Translation using Diffusion Models

abstract: In this work, we show a novel method for neural machine translation (NMT), using a denoising diffusion probabilistic model (DDPM), adjusted for textual data, following recent advances in the field. We show that it's possible to translate sentences non-autoregressively using a diffusion model conditioned on the source sentence. We also show that our model is able to translate between pairs of languages unseen during training (zero-shot learning).


title: Some Questions of Uniformity in Algorithmic Randomness

abstract: The $\Omega$ numbers-the halting probabilities of universal prefix-free machines-are known to be exactly the Martin-L{\"o}f random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-L{\"o}f random left-c.e. real $\alpha$, a universal prefix-free machine U whose halting probability is $\alpha$. We also answer a question of Barmpalias and Lewis-Pye by showing that given a left-c.e. real $\alpha$, one cannot uniformly produce a left-c.e. real $\beta$ such that $\alpha$ -- $\beta$ is neither left-c.e. nor right-c.e.


title: Controlling centrality: The Inverse ranking problem for spectral centralities of complex networks

abstract: In this paper some results about the controllability of spectral centrality in a complex network are presented. In particular, the inverse problem of designing an unweigthed graph with a prescribed centrality is considered, by showing that for every possible ranking eventually with ties, an unweighted directed/undirected complex network can be found whose PageRank or eigenvector centrality gives the ranking considered. Different families of networks are presented in order to analytically solve this problem either for directed and undirected graphs with and without loops.


title: Relativistic SZ maps and electron gas temperature spectroscopy

abstract: While third-generation CMB experiments have allowed to release the first maps of Compton-$y$ distortion due to thermal Sunyaev-Zeldovich (SZ) effect, next-generation CMB experiments should allow us to map also the electron gas temperature, $T_{\rm e}$, across the sky through the detection of relativistic corrections to the thermal SZ effect. We discuss about experimental requirements to break the $y$-$T_{\rm e}$ degeneracy of the observed SZ intensity, and propose a new component separation approach based on moment expansion to disentangle the $y$ and $T_{\rm e}$ observables of the relativistic SZ effect while mitigating foregrounds. We show how our approach offers a new spectroscopic view of the clusters not only across frequencies but now also across temperatures. We also show how the relativistic electron temperature power spectrum provides a new cosmological observable which may complement the Compton-$y$ map power spectrum to break some of the parameter degeneracies in future cosmological SZ analyses.


title: The fate of icy pebbles undergoing sublimation in protoplanetary discs

abstract: Icy pebbles may play an important role in planet formation close to the water ice line of protoplanetary discs. There, dust coagulation is more efficient and re-condensation of vapor on pebbles may enhance their growth outside the ice line. Previous theoretical studies showed that disruption of icy pebbles due to sublimation increases the growth rate of pebbles inside and outside the ice line, by freeing small silicate particles back in the dust reservoir of the disc. However, since planet accretion is dependent on the Stokes number of the accreting pebbles, the growth of planetesimals could be enhanced downstream of the ice line if pebbles are not disrupting upon sublimation. We developed two experimental models of icy pebbles using different silicate dusts, and we exposed them to low-temperature and low-pressure conditions in a vacuum chamber. Increasing the temperature inside the chamber, we studied the conditions for which pebbles are preserved through sublimation without disrupting. We find that small silicate particles ($<50$um) and a small quantity of ice (around $15$% pebble mass) are optimal conditions for preserving pebbles through sublimation. Furthermore, pebbles with coarse dust distribution ($100-300$um) do not disrupt if a small percentage ($10-20$% mass) of dust grains are smaller than $50$um. Our findings highlight how sublimation is not necessarily causing disruption, and that pebbles seem to survive fast sublimation processes effectively.


title: Quadratic behaviors of the 1D linear Schr{\"o}dinger equation with bilinear control

abstract: We study its controllability around the ground state when the linearized system is not controllable and wonder whether the quadratic term can help to recover the directions lost at the first order. More precisely, in this paper, we formulate assumptions under which the quadratic term induces a drift which prevents the small-time local controllability (STLC) of the system in appropriate spaces. For finite-dimensional systems, quadratic terms induce coercive drifts in the dynamic, quantified by integer negative Sobolev norms, along explicit Lie brackets which prevent STLC.In the context of the bilinear Schr{\"o}dinger equation, the first drift, quantified by the $H^{-1}$-norm of the control, was already observed and used to deny STLC with controls small in $L^\infty$. In this article, we improve this result by denying STLC with controls small in $W^{-1, \infty}$. Furthermore, for any positive integer $n$, we formulate assumptions under which one may observe a quadratic drift quantified by the $H^{-n}$-norm of the control and we use it to deny STLC in suitable spaces.


title: Rotational excitation of H$_3$O$^+$ cations by para-H$_2$: improved collisional data at low temperatures

abstract: The hydronium cation plays a crucial role in interstellar oxygen and water chemistry. While its spectroscopy was extensively investigated earlier, the collisional excitation of H$_3$O$^+$ is not well studied yet. In this work we present state-to-state collisional data for rotational de-excitation of both ortho- and para-H$_3$O$^+$ due to para-H$_2$ impact. The cross sections are calculated within the close-coupling formalism using our recent, highly accurate rigid-rotor potential energy surface for this collision system. The corresponding thermal rate coefficients are calculated up to 100 K. For para-H$_3$O$^+$ the lowest 20 rotation-inversion states were considered in the calculations, while for ortho-H$_3$O$^+$ the lowest 11 states are involved (up to $j\leq5$), so all levels with rotational energy below 420 K (292 cm$^{-1}$) are studied. In order to analyse the impact of the new collisional rates on the excitation of H$_3$O$^+$ in astrophysical environments radiative transfer calculations are also provided. The most relevant emission lines from an astrophysical point of view are studied, taking into account the transitions at 307, 365, 389 and 396 GHz. We show that our new collisional data have a non-negligible impact (from a few percents up to about a factor of 3) on the brightness and excitation temperatures of H$_3$O$^+$, justifying the revision of the physical conditions in the appropriate astrophysical observations. The calculated rate coefficients allow one to recalculate the column density of hydronium in interstellar clouds, which can lead to a better understanding of interstellar water and oxygen chemistry.


title: On the challenges in the choice of the non-conformal coupling function in inflationary magnetogenesis

abstract: Primordial magnetic fields are generated during inflation by considering actions that break the conformal invariance of the electromagnetic field. To break the conformal invariance, the electromagnetic fields are coupled either to the inflaton or to the scalar curvature. Also, a parity violating term is often added to the action in order to enhance the amplitudes of the primordial electromagnetic fields. In this work, we examine the effects of deviations from slow roll inflation on the spectra of non-helical as well as helical electromagnetic fields. We find that, in the case of the coupling to the scalar curvature, there arise certain challenges in generating electromagnetic fields of the desired shapes and strengths even in slow roll inflation. When the field is coupled to the inflaton, it is possible to construct model-dependent coupling functions which lead to nearly scale invariant magnetic fields in slow roll inflation. However, we show that sharp features in the scalar power spectrum generated due to departures from slow roll inflation inevitably lead to strong features in the power spectra of the electromagnetic fields. Moreover, we find that such effects can also considerably suppress the strengths of the generated electromagnetic fields over the scales of cosmological interest. We illustrate these aspects with the aid of specific inflationary models that have been considered to produce specific features in the scalar power spectrum. Further, we find that, in such situations, if the strong features in the electromagnetic power spectra are to be undone, the choice of the coupling function requires considerable fine tuning. We discuss wider implications of the results we obtain.


title: Dealing With Misspecification In Fixed-Confidence Linear Top-m Identification

abstract: We study the problem of the identification of m arms with largest means under a fixed error rate $\delta$ (fixed-confidence Top-m identification), for misspecified linear bandit models. This problem is motivated by practical applications, especially in medicine and recommendation systems, where linear models are popular due to their simplicity and the existence of efficient algorithms, but in which data inevitably deviates from linearity. In this work, we first derive a tractable lower bound on the sample complexity of any $\delta$-correct algorithm for the general Top-m identification problem. We show that knowing the scale of the deviation from linearity is necessary to exploit the structure of the problem. We then describe the first algorithm for this setting, which is both practical and adapts to the amount of misspecification. We derive an upper bound to its sample complexity which confirms this adaptivity and that matches the lower bound when $\delta$ $\rightarrow$ 0. Finally, we evaluate our algorithm on both synthetic and real-world data, showing competitive performance with respect to existing baselines.


title: A derivation of variational message passing (VMP) for latent Dirichlet allocation (LDA)

abstract: Latent Dirichlet Allocation (LDA) is a probabilistic model used to uncover latent topics in a corpus of documents. Inference is often performed using variational Bayes (VB) algorithms, which calculate a lower bound to the posterior distribution over the parameters. Deriving the variational update equations for new models requires considerable manual effort; variational message passing (VMP) has emerged as a "black-box" tool to expedite the process of variational inference. But applying VMP in practice still presents subtle challenges, and the existing literature does not contain the steps that are necessary to implement VMP for the standard smoothed LDA model, nor are available black-box probabilistic graphical modelling software able to do the word-topic updates necessary to implement LDA. In this paper, we therefore present a detailed derivation of the VMP update equations for LDA. We see this as a first step to enabling other researchers to calculate the VMP updates for similar graphical models.


title: The supersingular isogeny path and endomorphism ring problems are equivalent

abstract: We prove that the path-finding problem in $\ell$-isogeny graphs and the endomorphism ring problem for supersingular elliptic curves are equivalent under reductions of polynomial expected time, assuming the generalised Riemann hypothesis. The presumed hardness of these problems is foundational for isogeny-based cryptography. As an essential tool, we develop a rigorous algorithm for the quaternion analog of the path-finding problem, building upon the heuristic method of Kohel, Lauter, Petit and Tignol. This problem, and its (previously heuristic) resolution, are both a powerful cryptanalytic tool and a building-block for cryptosystems.


title: DAGSurv: Directed Acyclic Graph Based Survival Analysis Using Deep Neural Networks

abstract: Causal structures for observational survival data provide crucial information regarding the relationships between covariates and time-to-event. We derive motivation from the information theoretic source coding argument, and show that incorporating the knowledge of the directed acyclic graph (DAG) can be beneficial if suitable source encoders are employed. As a possible source encoder in this context, we derive a variational inference based conditional variational autoencoder for causal structured survival prediction, which we refer to as DAGSurv. We illustrate the performance of DAGSurv on low and high-dimensional synthetic datasets, and real-world datasets such as METABRIC and GBSG. We demonstrate that the proposed method outperforms other survival analysis baselines such as Cox Proportional Hazards, DeepSurv and Deephit, which are oblivious to the underlying causal relationship between data entities.


title: Feasibility considerations for free-fall tests of gravitational decoherence

abstract: Space offers exciting opportunities to test the foundations of quantum physics using macroscopic quantum superpositions. It has been proposed to perform such tests in a dedicated space mission (MAQRO) using matter-wave interferometry with massive test particles or monitoring how the wave function of a test particle expands over time. Such experiments could, test quantum physics with sufficiently high precision to resolve potential deviations from its unitary evolution due to gravitational decoherence. For example, such deviations have been predicted by the Di\'{o}si-Penrose (DP) model and the K\'{a}rolyh\'{a}zy (K) model. The former predicts the collapse of massive or large superpositions due to a non-linear modification of quantum evolution. The latter predicts decoherence because of an underlying uncertainty of space time. Potential advantages of a space environment are (1) long free-fall times, (2) low noise, and (3) taking a high number of data points over several years in a dedicated space mission. In contrast to interferometric tests, monitoring wave function expansion is less complex, but it does face some practical limitations. Here, we will discuss limitations of such non-interferometric experiments due to the limited number of data points achievable during a mission lifetime. Our results show that it will require an interferometric approach to conclusively test for gravitational decoherence as predicted by the DP or K models. In honor of the novel prize of Sir Roger Penrose, we will focus our discussion on the Di\'{o}si-Penrose model.


title: ArchABM: an agent-based simulator of human interaction with the built environment. $CO_2$ and viral load analysis for indoor air quality

abstract: Recent evidence suggests that SARS-CoV-2, which is the virus causing a global pandemic in 2020, is predominantly transmitted via airborne aerosols in indoor environments. This calls for novel strategies when assessing and controlling a building's indoor air quality (IAQ). IAQ can generally be controlled by ventilation and/or policies to regulate human-building-interaction. However, in a building, occupants use rooms in different ways, and it may not be obvious which measure or combination of measures leads to a cost- and energy-effective solution ensuring good IAQ across the entire building. Therefore, in this article, we introduce a novel agent-based simulator, ArchABM, designed to assist in creating new or adapt existing buildings by estimating adequate room sizes, ventilation parameters and testing the effect of policies while taking into account IAQ as a result of complex human-building interaction patterns. A recently published aerosol model was adapted to calculate time-dependent carbon dioxide ($CO_2$) and virus quanta concentrations in each room and inhaled $CO_2$ and virus quanta for each occupant over a day as a measure of physiological response. ArchABM is flexible regarding the aerosol model and the building layout due to its modular architecture, which allows implementing further models, any number and size of rooms, agents, and actions reflecting human-building interaction patterns. We present a use case based on a real floor plan and working schedules adopted in our research center. This study demonstrates how advanced simulation tools can contribute to improving IAQ across a building, thereby ensuring a healthy indoor environment.


title: A strong call-by-need calculus

abstract: We present a call-by-need $\lambda$-calculus that enables strong reduction (that is, reduction inside the body of abstractions) and guarantees that arguments are only evaluated if needed and at most once. This calculus uses explicit substitutions and subsumes the existing strong-call-by-need strategy, but allows for more reduction sequences, and often shorter ones, while preserving the neededness. The calculus is shown to be normalizing in a strong sense: Whenever a $\lambda$-term t admits a normal form n in the $\lambda$-calculus, then any reduction sequence from t in the calculus eventually reaches a representative of the normal form n. We also exhibit a restriction of this calculus that has the diamond property and that only performs reduction sequences of minimal length, which makes it systematically better than the existing strategy. We have used the Abella proof assistant to formalize part of this calculus, and discuss how this experiment affected its design. In particular, it led us to derive a new description of call-by-need reduction based on inductive rules.


title: Surface Code Design for Asymmetric Error Channels

abstract: Surface codes are quantum error correcting codes normally defined on 2D arrays of qubits. In this paper, we introduce a surface code design based on the fact that the severity of bit flip and phase flip errors in the physical quantum systems is asymmetric. For our proposed surface code design for asymmetric error channels, we present pseudo-threshold and threshold values in the presence of various degrees of asymmetry of Pauli $\hat{X}$, $\hat{Y}$, and $\hat{Z}$ errors in a depolarization channel. We show that, compared to symmetric surface codes, our asymmetric surface codes can provide almost double the pseudo-threshold rates while requiring less than half the number of physical qubits in the presence of increasing asymmetry in the error channel. We also demonstrate that as the asymmetry of the surface code increases, the advantage in the pseudo-threshold rates begins to saturate for any degree of asymmetry in the channel.


title: Around plane waves solutions of the Schr{\"o}dinger-Langevin equation

abstract: We consider the logarithmic Schr{\"o}dinger equations with damping, also called Schr{\"o}dinger-Langevin equation. On a periodic domain, this equation possesses plane wave solutions that are explicit. We prove that these solutions are asymptotically stable in Sobolev regularity. In the case without damping, we prove that for almost all value of the nonlinear parameter, these solutions are stable in high Sobolev regularity for arbitrary long times when the solution is close to a plane wave. We also show and discuss numerical experiments illustrating our results.


title: Center Manifolds for Rough Partial Differential Equations

abstract: We prove a center manifold theorem for rough partial differential equations (rough PDEs). The class of rough PDEs we consider contains as a key subclass reaction-diffusion equations driven by nonlinear multiplicative noise, where the stochastic forcing is given by a $\gamma$-H\"older rough path, for $\gamma\in(1/3,1/2]$. Our proof technique relies upon the theory of rough paths and analytic semigroups in combination with a discretized Lyapunov-Perron-type method in a suitable scale of interpolation spaces. The resulting center manifold is a random manifold in the sense of the theory of random dynamical systems (RDS). We also illustrate our main theorem for reaction-diffusion equations as well as for the Swift-Hohenberg equation.