title: Cosmological solutions and growth index of matter perturbations in $f(Q)$ gravity

abstract: The present work studies one of Einstein's alternative formulations based on the non-metricity scalar $Q$ generalized as $f(Q)$ theory. More specifically, we consider the power-law form of $f(Q)$ gravity i.e. $f(Q)=Q+\alpha\, Q^n$. Here, we analyze the behavior of the cosmological model at the background and perturbation level. At the background level, we find the effective evolution of the model is the same as that of the $\Lambda$CDM for $|n|<1$. Interestingly, the geometric component of the theory solely determined the late-time acceleration of the Universe. We also examine the integrability of the model by employing the method of singularity analysis. In particular, we find the conditions under which field equations pass the Painlev\'{e} test and hence possess the Painlev\'{e} property. While the equations pass the Painlev\'{e} test in the presence of dust for any value of $n$, the test is valid after the addition of radiation fluid only for $n<1$. Finally, at the perturbation level, the behavior of matter growth index signifies a deviation of the model from the $\Lambda$CDM even for $|n|<1$.


title: Assessment of image generation by quantum annealer

abstract: Quantum annealing was originally proposed as an approach for solving combinatorial optimisation problems using quantum effects. D-Wave Systems has released a production model of quantum annealing hardware. However, the inherent noise and various environmental factors in the hardware hamper the determination of optimal solutions. In addition, the freezing effect in regions with weak quantum fluctuations generates outputs approximately following a Gibbs--Boltzmann distribution at an extremely low temperature. Thus, a quantum annealer may also serve as a fast sampler for the Ising spin-glass problem, and several studies have investigated Boltzmann machine learning using a quantum annealer. Previous developments have focused on comparing the performance in the standard distance of the resulting distributions between conventional methods in classical computers and sampling by a quantum annealer. In this study, we focused on the performance of a quantum annealer as a generative model. To evaluate its performance, we prepared a discriminator given by a neural network trained on an a priori dataset. The evaluation results show a higher performance of quantum annealing compared with the classical approach for Boltzmann machine learning.


title: Diffusion-free scaling in rotating spherical Rayleigh-B\'enard convection

abstract: Direct numerical simulations are employed to reveal three distinctly different flow regions in rotating spherical Rayleigh-B\'enard convection. In the low-latitude region $\mathrm{I}$ vertical (parallel to the axis of rotation) convective columns are generated between the hot inner and the cold outer sphere. The mid-latitude region $\mathrm{II}$ is dominated by vertically aligned convective columns formed between the Northern and Southern hemispheres of the outer sphere. The diffusion-free scaling, which indicates bulk-dominated convection, originates from this mid-latitude region. In the equator region $\mathrm{III}$ the vortices are affected by the outer spherical boundary and are much shorter than in region $\mathrm{II}$. Thermally driven turbulence with background rotation in spherical Rayleigh-B\'enard convection is found to be characterized by three distinctly different flow regions. The diffusion-free scaling, which indicates the heat transfer is bulk-dominated, originates from the mid-latitude region in which vertically aligned vortices are stretched between the Northern and Southern hemispheres of the outer sphere.\ These results show that the flow physics in rotating convection are qualitatively different in planar and spherical geometries. This finding underlines that it is crucial to study convection in spherical geometries to better understand geophysical and astrophysical flow phenomena.


title: Curved holographic optical elements from a geometric view point: graphical visualization and parametric optimization

abstract: We present numerical experiments regarding the diffraction characteristics and their precompensation arising from changing the macroscopic geometry of a flat HOE into a sphere segment. In particular, we discuss a parametric optimization scheme using a grating vector field model which was previously introduced in Ref. 1.


title: Optimality of non-conservative driving for finite-time processes with discrete states

abstract: An optimal finite-time process drives a given initial distribution to a given final one in a given time at the lowest cost as quantified by total entropy production. We prove that for system with discrete states this optimal process involves non-conservative driving, i.e., a genuine driving affinity, in contrast to the case of system with continuous states. In a multicyclic network, the optimal driving affinity is bounded by the number of states within each cycle. If the driving affects forward and backwards rates non-symmetrically, the bound additionally depends on a structural parameter characterizing this asymmetry.


title: Toward Machine Learned Highly Reduce Kinetic Models For Methane/Air Combustion

abstract: Accurate low dimension chemical kinetic models for methane are an essential component in the design of efficient gas turbine combustors. Kinetic models coupled to computational fluid dynamics (CFD) provide quick and efficient ways to test the effect of operating conditions, fuel composition and combustor design compared to physical experiments. However, detailed chemical kinetic models are too computationally expensive for use in CFD. We propose a novel data orientated three-step methodology to produce compact models that replicate a target set of detailed model properties to a high fidelity. In the first step, a reduced kinetic model is obtained by removing all non-essential species from the detailed model containing 118 species using path flux analysis (PFA). It is then numerically optimised to replicate the detailed model's prediction in two rounds; First, to selected species (OH,H,CO and CH4) profiles in perfectly stirred reactor (PSR) simulations and then re-optimised to the detailed model's prediction of the laminar flame speed. This is implemented by a purposely developed Machine Learned Optimisation of Chemical Kinetics (MLOCK) algorithm. The MLOCK algorithm systematically perturbs all three Arrhenius parameters for selected reactions and assesses the suitability of the new parameters through an objective error function which quantifies the error in the compact model's calculation of the optimisation target. This strategy is demonstrated through the production of a 19 species and a 15 species compact model for methane/air combustion. Both compact models are validated across a range of 0D and 1D calculations across both lean and rich conditions and shows good agreement to the parent detailed mechanism. The 15 species model is shown to outperform the current state-of-art models in both accuracy and range of conditions the model is valid over.


title: Dynamically Emerging Topological Phase Transitions in Nonlinear Interacting Soliton Lattices

abstract: We demonstrate dynamical topological phase transitions in evolving Su-Schrieffer-Heeger (SSH) lattices made of interacting soliton arrays, which are entirely driven by nonlinearity and thereby exemplify emergent nonlinear topological phenomena. The phase transitions occur from topologically trivial-to-nontrivial phase in periodic succession with crossovers from topologically nontrivial-to-trivial regime. The signature of phase transition is gap-closing and re-opening point, where two extended states are pulled from the bands into the gap to become localized topological edge states. Crossovers occur via decoupling of the edge states from the bulk of the lattice.


title: On free abelian categories for theorem proving

abstract: We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to explicit computations whenever we can decide homotopy equations in $\mathbf{A}$. As some consequences of our investigations, we recover Dowker's explicit formula for the connecting homomorphism $\partial$ in the snake lemma, we find a universal sense in which $\partial$ is unique, and we give a refined version of the 5-lemma.


title: Finite element solutions of the nonlinear RAPM Black-Scholes model

abstract: his paper presents finite element methods for solving numerically the Risk-Adjusted Pricing Methodology (RAPM) Black-Scholes model for option pricing with transaction costs. Spatial finite element models based on P1 and/or P2 elements are formulated using some group finite elements and numerical quadrature to handle the nonlinear term, in combination with a Crank-Nicolson-type temporal scheme. The temporal scheme is implemented using the Rannacher approach. Spatial-temporal mesh-size ratios are observed for controlling the stability of our method. Our results compare favorably with the finite difference results in the literature for the model.


title: Non-Abelian statistics with mixed-boundary punctures on the toric code

abstract: The toric code is a simple and exactly solvable example of topological order realising Abelian anyons. However, it was shown to support non-local lattice defects, namely twists, which exhibit non-Abelian anyonic behaviour [1]. Motivated by this result, we investigated the potential of having non-Abelian statistics from puncture defects on the toric code. We demonstrate that an encoding with mixed-boundary punctures reproduces Ising fusion, and a logical Pauli-$X$ upon their braiding. Our construction paves the way for local lattice defects to exhibit non-Abelian properties that can be employed for quantum information tasks.


title: Multiple Borel Cantelli Lemma in dynamics and MultiLog law for recurrence

abstract: A classical Borel Cantelli Lemma gives conditions for deciding whether an infinite number of rare events will almost surely happen. In this article, we propose an extension of Borel Cantelli Lemma to characterize the multiple occurrence of events on the same time scale. Our results imply multiple Logarithm Laws for recurrence and hitting times, as well as Poisson Limit Laws for systems which are exponentially mixing of all orders. The applications include geodesic flows on compact negatively curved manifolds, geodesic excursions, Diophantine approximations and extreme value theory for dynamical systems.


title: Equivalence-Singularity Dichotomy in Markov Measures

abstract: We establish an equivalence-singularity dichotomy for a large class of one-dimensional Markov measures. Our approach is new in that we deal with one-sided and two-sided chains simultaneously, and in that we do not appeal to any 0-1 law. In fact we deduce a new 0-1 law from the dichotomy.


title: Excitonic Effects in Absorption Spectra of Carbon Dioxide Reduction Photocatalysts

abstract: The formation and disassociation of excitons plays a crucial role in any photovoltaic or photocatalytic application. However, excitonic effects are seldom considered in materials discovery studies due to the monumental computational cost associated with the examination of these properties. Here, we study the excitonic properties of nearly 50 photocatalysts using state-of-the-art Bethe-Salpeter formalism. These $\sim$ 50 materials were recently recognized as promising photocatalysts for CO$_2$ reduction through a data-driven screening of 68,860 materials. Here, we propose three screening criteria based on the optical properties of these materials, taking excitonic effects into account, to further down select 6 materials. Remarkably we find a strong correlation between the exciton binding energies obtained from the Bethe-Salpeter formalism and those obtained from the computationally much less-expensive Wannier-Mott model for these chemically diverse $\sim$ 50 materials. This work presents a new paradigm towards the inclusion of excitonic effects in future materials discovery for solar-energy harvesting applications.


title: Definite evidence for physically incomprehensible inequality $\sigma_{tot}(e^+e^- \to n \bar n) > \sigma_{tot}(e^+e^- \to p \bar p)$

abstract: Though the neutron mass is larger than the proton mass and obviously one expects in $e^+e^-$ annihilation a creation of more $p \bar p$ pairs in comparison with $n \bar n$ at the same energy, just the opposite inequality for the corresponding total cross sections $\sigma_{tot}(e^+e^- \to n \bar n) > \sigma_{tot}(e^+e^- \to p \bar p)$ has been revealed in the analysis of only the present time existing proton electromagnetic form factors data by the unitary and analytic approach.


title: Investigation of gamma-ray variability and glitches of PSR J1420-6048

abstract: PSR J1420-6048 is a young gamma-ray pulsar with recurrent glitches. Utilizing long-term monitoring data obtained from the Fermi Gamma-ray Space Telescope, we found that PSR J1420-6048 has shown gamma-ray flux variation and we also detected four glitches between 2008 and 2019. Two of the glitches are previously unknown, and their gamma-ray spectrum also shows variability between each glitch. Since the results might be contaminated by background sources, we discuss whether the observed changes in flux and spectra were caused by artificial misallocations of photons from a nearby pulsar wind nebula (HESS J1420-607) and a pulsar (PSR J1418-6058), or a change of the emission geometry from the target pulsar itself. We examine the correlation of the flux changes and the alternating pulse structure to investigate whether the emission geometry in the outer magnetosphere was changing. By assuming the observational features were not totally resulted from the background environment, we compare our results with similar phenomena observed in other gamma-ray pulsars and propose that a strong crust crack can cause timing anomaly of a neutron star, which can affect the particle accelerations or pair creation regions resulting in the changes of emission behaviors.


title: Sent2Matrix: Folding Character Sequences in Serpentine Manifolds for Two-Dimensional Sentence

abstract: We study text representation methods using deep models. Current methods, such as word-level embedding and character-level embedding schemes, treat texts as either a sequence of atomic words or a sequence of characters. These methods either ignore word morphologies or word boundaries. To overcome these limitations, we propose to convert texts into 2-D representations and develop the Sent2Matrix method. Our method allows for the explicit incorporation of both word morphologies and boundaries. When coupled with a novel serpentine padding method, our Sent2Matrix method leads to an interesting visualization in which 1-D character sequences are folded into 2-D serpentine manifolds. Notably, our method is the first attempt to represent texts in 2-D formats. Experimental results on text classification tasks shown that our method consistently outperforms prior embedding methods.


title: Scanning X-ray Diffraction Microscopy for Diamond Quantum Sensing

abstract: Understanding nano- and micro-scale crystal strain in CVD diamond is crucial to the advancement of diamond quantum technologies. In particular, the presence of such strain and its characterization present a challenge to diamond-based quantum sensing and information applications -- as well as for future dark matter detectors where directional information of incoming particles is encoded in crystal strain. Here, we exploit nanofocused scanning X-ray diffraction microscopy to quantitatively measure crystal deformation from defects in diamond with high spatial and strain resolution. Combining information from multiple Bragg angles allows stereoscopic three-dimensional modeling of strain feature geometry; the diffraction results are validated via comparison to optical measurements of the strain tensor based on spin-state-dependent spectroscopy of ensembles of nitrogen vacancy (NV) centers in the diamond. Our results demonstrate both strain and spatial resolution sufficient for directional detection of dark matter via X-ray measurement of crystal strain, and provide a promising tool for diamond growth analysis and improvement of defect-based sensing.


title: Probabilistic Grammatical Evolution

abstract: Grammatical Evolution (GE) is one of the most popular Genetic Programming (GP) variants, and it has been used with success in several problem domains. Since the original proposal, many enhancements have been proposed to GE in order to address some of its main issues and improve its performance. In this paper we propose Probabilistic Grammatical Evolution (PGE), which introduces a new genotypic representation and new mapping mechanism for GE. Specifically, we resort to a Probabilistic Context-Free Grammar (PCFG) where its probabilities are adapted during the evolutionary process, taking into account the productions chosen to construct the fittest individual. The genotype is a list of real values, where each value represents the likelihood of selecting a derivation rule. We evaluate the performance of PGE in two regression problems and compare it with GE and Structured Grammatical Evolution (SGE). The results show that PGE has a a better performance than GE, with statistically significant differences, and achieved similar performance when comparing with SGE.


title: Estimating the Long-Term Effects of Novel Treatments

abstract: Policy makers typically face the problem of wanting to estimate the long-term effects of novel treatments, while only having historical data of older treatment options. We assume access to a long-term dataset where only past treatments were administered and a short-term dataset where novel treatments have been administered. We propose a surrogate based approach where we assume that the long-term effect is channeled through a multitude of available short-term proxies. Our work combines three major recent techniques in the causal machine learning literature: surrogate indices, dynamic treatment effect estimation and double machine learning, in a unified pipeline. We show that our method is consistent and provides root-n asymptotically normal estimates under a Markovian assumption on the data and the observational policy. We use a data-set from a major corporation that includes customer investments over a three year period to create a semi-synthetic data distribution where the major qualitative properties of the real dataset are preserved. We evaluate the performance of our method and discuss practical challenges of deploying our formal methodology and how to address them.


title: Flexible FOND Planning with Explicit Fairness Assumptions

abstract: We consider the problem of reaching a propositional goal condition in fully-observable non-deterministic (FOND) planning under a general class of fairness assumptions that are given explicitly. The fairness assumptions are of the form A/B and say that state trajectories that contain infinite occurrences of an action a from A in a state s and finite occurrence of actions from B, must also contain infinite occurrences of action a in s followed by each one of its possible outcomes. The infinite trajectories that violate this condition are deemed as unfair, and the solutions are policies for which all the fair trajectories reach a goal state. We show that strong and strong-cyclic FOND planning, as well as QNP planning, a planning model introduced recently for generalized planning, are all special cases of FOND planning with fairness assumptions of this form which can also be combined. FOND+ planning, as this form of planning is called, combines the syntax of FOND planning with some of the versatility of LTL for expressing fairness constraints. A new planner is implemented by reducing FOND+ planning to answer set programs, and the performance of the planner is evaluated in comparison with FOND and QNP planners, and LTL synthesis tools.


title: The SpiNNaker 2 Processing Element Architecture for Hybrid Digital Neuromorphic Computing

abstract: This paper introduces the processing element architecture of the second generation SpiNNaker chip, implemented in 22nm FDSOI. On circuit level, the chip features adaptive body biasing for near-threshold operation, and dynamic voltage-and-frequency scaling driven by spiking activity. On system level, processing is centered around an ARM M4 core, similar to the processor-centric architecture of the first generation SpiNNaker. To speed operation of subtasks, we have added accelerators for numerical operations of both spiking (SNN) and rate based (deep) neural networks (DNN). PEs communicate via a dedicated, custom-designed network-on-chip. We present three benchmarks showing operation of the whole processor element on SNN, DNN and hybrid SNN/DNN networks.


title: Wav2vec-C: A Self-supervised Model for Speech Representation Learning

abstract: Wav2vec-C introduces a novel representation learning technique combining elements from wav2vec 2.0 and VQ-VAE. Our model learns to reproduce quantized representations from partially masked speech encoding using a contrastive loss in a way similar to Wav2vec 2.0. However, the quantization process is regularized by an additional consistency network that learns to reconstruct the input features to the wav2vec 2.0 network from the quantized representations in a way similar to a VQ-VAE model. The proposed self-supervised model is trained on 10k hours of unlabeled data and subsequently used as the speech encoder in a RNN-T ASR model and fine-tuned with 1k hours of labeled data. This work is one of only a few studies of self-supervised learning on speech tasks with a large volume of real far-field labeled data. The Wav2vec-C encoded representations achieves, on average, twice the error reduction over baseline and a higher codebook utilization in comparison to wav2vec 2.0


title: Local Problems on Grids from the Perspective of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics

abstract: We present an intimate connection among the following fields: (a) distributed local algorithms: coming from the area of computer science, (b) finitary factors of iid processes: coming from the area of analysis of randomized processes, (c) descriptive combinatorics: coming from the area of combinatorics and measure theory. In particular, we study locally checkable labellings in grid graphs from all three perspectives. Most of our results are for the perspective (b) where we prove time hierarchy theorems akin to those known in the field (a) [Chang, Pettie FOCS 2017]. This approach that borrows techniques from the fields (a) and (c) implies a number of results about possible complexities of finitary factor solutions. Among others, it answers three open questions of [Holroyd et al. Annals of Prob. 2017] or the more general question of [Brandt et al. PODC 2017] who asked for a formal connection between the fields (a) and (b). In general, we hope that our treatment will help to view all three perspectives as a part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn 2020+] .


title: S-shell $\Lambda\Lambda$ hypernuclei based on chiral interactions

abstract: We generalize the Jacobi no-core shell model (J-NCSM) to study double-strangeness hypernuclei. All particle conversions in the strangeness $S=-1,-2$ sectors are explicitly taken into account. In two-body space, such transitions may lead to the coupling between states of identical particles and of non-identical ones. Therefore, a careful consideration is required when determining the combinatorial factors that connect the many-body potential matrix elements and the free-space two-body potentials. Using second quantization, we systematically derive the combinatorial factors in question for $S=0,-1,-2$ sectors. As a first application, we use the J-NCSM to investigate $\Lambda \Lambda$ s-shell hypernuclei based on hyperon-hyperon (YY) potentials derived within chiral effective field theory at leading order (LO) and up to next-to-leading order (NLO). We find that the LO potential overbinds $^{\text{ }\text{ }\text{ } \text{}6}_{\Lambda \Lambda}\text{He}$ while the prediction of the NLO interaction is close to experiment. Both interactions also yield a bound state for $^{\text{ }\text{ }\text{ } \text{}5}_{\Lambda \Lambda}\text{He}$. The $^{\text{}\text{ }\text{ }\text{}4}_{\Lambda \Lambda}\text{H}$ system is predicted to be unbound.


title: Gradient Policy on "CartPole" game and its' expansibility to F1Tenth Autonomous Vehicles

abstract: Policy gradient is an effective way to estimate continuous action on the environment. This paper, it about explaining the mathematical formula and code implementation. In the end, comparing between the rotation angle of the stick on CartPole , and the angle of the Autonomous vehicle when turning, and utilizing the Bicycle Model, a simple Kinematic dynamic model, are the purpose to discover the similarity between these two models, so as to facilitate the model transfer from CartPole to the F1tenth Autonomous vehicle.


title: Metric Learning for Anti-Compression Facial Forgery Detection

abstract: Detecting facial forgery images and videos is an increasingly important topic in multimedia forensics. As forgery images and videos are usually compressed into different formats such as JPEG and H264 when circulating on the Internet, existing forgery-detection methods trained on uncompressed data often suffer from significant performance degradation in identifying them. To solve this problem, we propose a novel anti-compression facial forgery detection framework, which learns a compression-insensitive embedding feature space utilizing both original and compressed forgeries. Specifically, our approach consists of three ideas: (i) extracting compression-insensitive features from both uncompressed and compressed forgeries using an adversarial learning strategy; (ii) learning a robust partition by constructing a metric loss that can reduce the distance of the paired original and compressed images in the embedding space; (iii) improving the accuracy of tampered localization with an attention-transfer module. Experimental results demonstrate that, the proposed method is highly effective in handling both compressed and uncompressed facial forgery images.


title: A Microsimulation Analysis of the Distributional Impact over the Three Waves of the COVID-19 Crisis in Ireland

abstract: This paper relies on a microsimulation framework to undertake an analysis of the distributional implications of the COVID-19 crisis over three waves. Given the lack of real-time survey data during the fast moving crisis, it applies a nowcasting methodology and real-time aggregate administrative data to calibrate an income survey and to simulate changes in the tax benefit system that attempted to mitigate the impacts of the crisis. Our analysis shows how crisis-induced income-support policy innovations combined with existing progressive elements of the tax-benefit system were effective in avoiding an increase in income inequality at all stages of waves 1-3 of the COVID-19 emergency in Ireland. There was, however, a decline in generosity over time as benefits became more targeted. On a methodological level, our paper makes a specific contribution in relation to the choice of welfare measure in assessing the impact of the COVID-19 crisis on inequality.


title: Optimal Birth Control for a Size-Structured Population Model with Diffusion

abstract: This work addresses the optimal birth control problem for invasive species in a spatial environment. We apply the method of semigroups to qualitatively analyze a size-structured population model in which individuals occupy a position in a spatial environment. With insect population in mind, we study the optimal control problem which takes fertility rate as a control variable. With the help of adjoint system, we derive optimality conditions. We obtain the optimality conditions by fixing the birth rate on three different sets. Using Ekeland's variational principle, the existence, and uniqueness of optimal birth controller to the given population model which minimizes a given cost functional is shown. Outcomes of our article are new and complement the existing ones.


title: Single $\pi^0$ Production Off Neutrons Bound in Deuteron with Linearly Polarized Photons

abstract: The quasifree $\overrightarrow{\gamma} d\to\pi^0n(p)$ photon beam asymmetry, $\Sigma$, has been measured at photon energies, $E_\gamma$, from 390 to 610 MeV, corresponding to center of mass energy from 1.271 to 1.424 GeV, for the first time. The data were collected in the A2 hall of the MAMI electron beam facility with the Crystal Ball and TAPS calorimeters covering pion center-of-mass angles from 49 to 148$^\circ$. In this kinematic region, polarization observables are sensitive to contributions from the $\Delta (1232)$ and $N(1440)$ resonances. The extracted values of $\Sigma$ have been compared to predictions based on partial-wave analyses (PWAs) of the existing pion photoproduction database. Our comparison includes the SAID, MAID, and Bonn-Gatchina analyses; while a revised SAID fit, including the new $\Sigma$ measurements, has also been performed. In addition, isospin symmetry is examined as a way to predict $\pi^0n$ photoproduction observables, based on fits to published data in the channels $\pi^0p$, $\pi^+n$, and $\pi^-p$.


title: Sailing the CE$\nu$NS Seas of Non-Standard Neutrino Interactions with the Coherent CAPTAIN Mills Experiment

abstract: We study future coherent elastic neutrino-nucleus scattering (CE$\nu$NS) modifications from a variety of possible models at the Coherent CAPTAIN Mills (CCM) experiment at Los Alamos. We show that large regions of Non-Standard Neutrino Interaction (NSI) parameter space will be excluded rapidly, and that stringent new bounds on the gauge coupling in $Z'$ models will also be placed. As a result, CCM will be able to rule out LMA-D solutions for a large class of models with MeV-scale mediators.


title: Valid sequential inference on probability forecast performance

abstract: Probability forecasts for binary events play a central role in many applications. Their quality is commonly assessed with proper scoring rules, which assign forecasts a numerical score such that a correct forecast achieves a minimal expected score. In this paper, we construct e-values for testing the statistical significance of score differences of competing forecasts in sequential settings. E-values have been proposed as an alternative to p-values for hypothesis testing, and they can easily be transformed into conservative p-values by taking the multiplicative inverse. The e-values proposed in this article are valid in finite samples without any assumptions on the data generating processes. They also allow optional stopping, so a forecast user may decide to interrupt evaluation taking into account the available data at any time and still draw statistically valid inference, which is generally not true for classical p-value based tests. In a case study on postprocessing of precipitation forecasts, state-of-the-art forecasts dominance tests and e-values lead to the same conclusions.


title: Quantum federated learning through blind quantum computing

abstract: Private distributed learning studies the problem of how multiple distributed entities collaboratively train a shared deep network with their private data unrevealed. With the security provided by the protocols of blind quantum computation, the cooperation between quantum physics and machine learning may lead to unparalleled prospect for solving private distributed learning tasks. In this paper, we introduce a quantum protocol for distributed learning that is able to utilize the computational power of the remote quantum servers while keeping the private data safe. For concreteness, we first introduce a protocol for private single-party delegated training of variational quantum classifiers based on blind quantum computing and then extend this protocol to multiparty private distributed learning incorporated with differential privacy. We carry out extensive numerical simulations with different real-life datasets and encoding strategies to benchmark the effectiveness of our protocol. We find that our protocol is robust to experimental imperfections and is secure under the gradient attack after the incorporation of differential privacy. Our results show the potential for handling computationally expensive distributed learning tasks with privacy guarantees, thus providing a valuable guide for exploring quantum advantages from the security perspective in the field of machine learning with real-life applications.


title: Effects of the CPT-even and Lorentz violation on the Bhabha scattering at finite temperature

abstract: In this paper a Lorentz-violating CPT-even non-minimal coupling term is considered. A new interaction term between fermions and photons emerges. In this context, the differential cross-section for Bhabha scattering at finite temperature is calculated. The temperature effects are introduced using the Thermo- Field Dynamics (TFD) formalism. It is shown that the differential cross-section is changed due to both effects, Lorentz violation and finite temperature.


title: A machine learning approach to itinerary-level booking prediction in competitive airline markets

abstract: Demand forecasting is extremely important in revenue management. After all, it is one of the inputs to an optimisation method which aim is to maximize revenue. Most, if not all, forecasting methods use historical data to forecast the future, disregarding the "why". In this paper, we combine data from multiple sources, including competitor data, pricing, social media, safety and airline reviews. Next, we study five competitor pricing movements that, we hypothesize, affect customer behavior when presented a set of itineraries. Using real airline data for ten different OD-pairs and by means of Extreme Gradient Boosting, we show that customer behavior can be categorized into price-sensitive, schedule-sensitive and comfort ODs. Through a simulation study, we show that this model produces forecasts that result in higher revenue than traditional, time series forecasts.


title: Increased Complexity and Fitness of Artificial Cells that Reproduce Using Spatially Distributed Asynchronous Parallel Processes

abstract: Replication time is among the most important components of a bacterial cell's reproductive fitness. Paradoxically, larger cells replicate in less time than smaller cells despite the fact that building a larger cell requires increased quantities of raw materials and energy. This feat is primarily accomplished by the massive over expression of ribosomes, which permits translation of mRNA into protein, the limiting step in reproduction, to occur at a scale that would be impossible were it not for the use of parallel processing. In computer science, spatial parallelism is the distribution of work across the nodes of a distributed-memory multicomputer system. Despite the fact that a non-negligible fraction of artificial life research is grounded in formulations based on spatially parallel substrates, there have been no examples of artificial organisms that use spatial parallelism to replicate in less time than smaller organisms. This paper describes artificial cells defined using a combinator-based artificial chemistry that replicate in less time than smaller cells. This is achieved by employing extra copies of programs implementing the limiting steps in the process used by the cells to synthesize their component parts. Significant speedup is demonstrated, despite the increased complexity of control and export processes necessitated by the use of a parallel replication strategy.


title: Chiral susceptibility in dense thermo-magnetic QCD medium within HTL approximation

abstract: We have computed the chiral susceptibility in quark-gluon plasma in presence of finite chemical potential and weak magnetic field within hard thermal loop approximation. First we construct the massive effective quark propagator in a thermomagnetic medium. Then we obtain completely analytic expression for the chiral susceptibility in weak magnetic field approximation. In the absence of magnetic field the thermal chiral susceptibility increases in presence of finite chemical potential. The effect of thermomagnetic correction is found to be very marginal as temperature is the dominant scale in weak field approximation.


title: A Fast Heuristic for Gateway Location in Wireless Backhaul of 5G Ultra-Dense Networks

abstract: In 5G Ultra-Dense Networks, a distributed wireless backhaul is an attractive solution for forwarding traffic to the core. The macro-cell coverage area is divided into many small cells. A few of these cells are designated as gateways and are linked to the core by high-capacity fiber optic links. Each small cell is associated with one gateway and all small cells forward their traffic to their respective gateway through multi-hop mesh networks. We investigate the gateway location problem and show that finding near-optimal gateway locations improves the backhaul network capacity. An exact p-median integer linear program is formulated for comparison with our novel K-GA heuristic that combines a Genetic Algorithm (GA) with K-means clustering to find near-optimal gateway locations. We compare the performance of KGA with six other approaches in terms of average number of hops and backhaul network capacity at different node densities through extensive Monte Carlo simulations. All approaches are tested in various user distribution scenarios, including uniform distribution, bivariate Gaussian distribution, and cluster distribution. In all cases K-GA provides near-optimal results, achieving average number of hops and backhaul network capacity within 2% of optimal while saving an average of 95% of the execution time.


title: Loop Quantum Gravity's Boundary Maps

abstract: In canonical quantum gravity, the presence of spatial boundaries naturally leads to a boundary quantum states, representing quantum boundary conditions for the bulk fields. As a consequence, quantum states of the bulk geometry needs to be upgraded to wave-functions valued in the boundary Hilbert space: the bulk become quantum operator acting on boundary states. We apply this to loop quantum gravity and describe spin networks with 2d boundary as wave-functions mapping bulk holonomies to spin states on the boundary. This sets the bulk-boundary relation in a clear mathematical framework, which allows to define the boundary density matrix induced by a bulk spin network states after tracing out the bulk degrees of freedom. We ask the question of the bulk reconstruction and prove a boundary-to-bulk universal reconstruction procedure, to be understood as a purification of the mixed boundary state into a pure bulk state. We further perform a first investigation in the algebraic structure of induced boundary density matrices and show how correlations between bulk excitations, i.e. quanta of 3d geometry, get reflected into the boundary density matrix.


title: MeerTRAP in the era of multi-messenger astrophysics

abstract: Real-time detections of transients and rapid multi-wavelength follow-up are at the core of modern multi-messenger astrophysics. MeerTRAP is one such instrument that has been deployed on the MeerKAT radio telescope in South Africa to search for fast radio transients in real-time. This, coupled with the ability to rapidly localize the transient in combination with optical co-pointing by the MeerLICHT telescope gives the instrument the edge in finding and identifying the nature of the transient on short timescales. The commensal nature of the project means that MeerTRAP will keep looking for transients even if the telescope is not being used specifically for that purpose. Here, we present a brief overview of the MeerTRAP project. We describe the overall design, specifications and the software stack required to implement such an undertaking. We conclude with some science highlights that have been enabled by this venture over the last 10 months of operation.


title: Simple quasistationary method for simulations of epidemic processes with localized states

abstract: Epidemic processes on random graphs or networks are marked by localization of activity that can trap the dynamics into a metastable state, confined to a subextensive part of the network, before visiting an absorbing configuration. Quasistationary (QS) method is a technique to deal with absorbing states for finite sizes and has played a central role in the investigation of epidemic processes on heterogeneous networks where localization is a hallmark. The standard QS method possesses high computer and algorithmic complexity for large systems besides parameters whose choice are not systematic. However, simpler approaches, such as a reflecting boundary condition (RBC), are not able to capture the localization effects as the standard QS method does. In the present work, we propose a QS method that consists of reactivating nodes proportionally to the time they were active along the preceding simulation. The method is compared with the standard QS and RBC methods for the susceptible-infected-susceptible model on complex networks, which is a prototype of a dynamic process with strong and localization effects. We verified that the method performs as well the as standard QS in all investigated simulations, providing the same scaling exponents, epidemic thresholds, and localized phases, thus overcoming the limitations of other simpler approaches. We also report that the present method has significant reduction of the computer and algorithmic complexity than the standard QS methods. So, this method arises as a simpler and efficient tool to analyze localization on heterogeneous structures through QS simulations.


title: Interplay between breathing-mode distortions and magnetic order in rare-earth nickelates from $ab$ $initio$ magnetic models

abstract: We use density-functional theory calculations to explore the magnetic properties of perovskite rare-earth nickelates, $\mathcal{R}$NiO$_3$, by constructing microscopic magnetic models containing all relevant exchange interactions via Wannierization and Green's function techniques. These models elucidate the mechanism behind the formation of antiferromagnetic order with the experimentally observed propagation vector, and explain the reason previous DFT plus Hubbard $U$ calculations favored ferromagnetic order. We perform calculations of magnetic moments and exchange-coupling parameters for different amplitudes of the $R_1^+$ breathing mode distortion, which results in expanded and compressed NiO$_6$ octahedra. We find that the magnetic moment vanishes for the "short bond" nickels, i.e., the ones in the compressed octahedra. The inclusion of spin-orbit coupling demonstrates that the magnetic anisotropy is very small, while the magnetic moment of the short bond nickel atoms tend to zero even for the noncollinear case. Our results provide a clear picture of the trends of the magnetic order across the nickelate series and give insights into the coupling between magnetic order and structural distortions.


title: Megha: Decentralized Global Fair Scheduling for Federated Clusters

abstract: Increasing scale and heterogeneity in data centers have led to the development of federated clusters such as KubeFed, Hydra, and Pigeon, that federate individual data center clusters. In our work, we introduce Megha, a novel decentralized resource management framework for such federated clusters. Megha employs flexible logical partitioning of clusters to distribute its scheduling load, ensuring that the requirements of the workload are satisfied with very low scheduling overheads. It uses a distributed global scheduler that does not rely on a centralized data store but, instead, works with eventual consistency, unlike other schedulers that use a tiered architecture or rely on centralized databases. Our experiments with Megha show that it can schedule tasks taking into account fairness and placement constraints with low resource allocation times - in the order of tens of milliseconds.


title: Online Learning with Radial Basis Function Networks

abstract: Financial time series are characterised by their nonstationarity and autocorrelation. Even if these time series are differenced, technically ensuring their stationarity, they experience regular covariate shifts and concept drifts. Against this backdrop, we combine feature representation transfer with sequential optimisation to provide multi-horizon returns forecasts. Our online learning rbfnet outperforms a random-walk baseline and several powerful batch learners. The rbfnets we formulate are naturally designed to measure the similarity between test samples and continuously updated prototypes that capture the characteristics of the feature space.


title: On new surface-localized transmission eigenmodes

abstract: Consider the transmission eigenvalue problem \[ (\Delta+k^2\mathbf{n}^2) w=0,\ \ (\Delta+k^2)v=0\ \ \mbox{in}\ \ \Omega;\quad w=v,\ \ \partial_\nu w=\partial_\nu v=0\ \ \mbox{on} \ \partial\Omega. \] It is shown in [12] that there exists a sequence of eigenfunctions $(w_m, v_m)_{m\in\mathbb{N}}$ associated with $k_m\rightarrow \infty$ such that either $\{w_m\}_{m\in\mathbb{N}}$ or $\{v_m\}_{m\in\mathbb{N}}$ are surface-localized, depending on $\mathbf{n}>1$ or $0<\mathbf{n}<1$. In this paper, we discover a new type of surface-localized transmission eigenmodes by constructing a sequence of transmission eigenfunctions $(w_m, v_m)_{m\in\mathbb{N}}$ associated with $k_m\rightarrow \infty$ such that both $\{w_m\}_{m\in\mathbb{N}}$ and $\{v_m\}_{m\in\mathbb{N}}$ are surface-localized, no matter $\mathbf{n}>1$ or $0<\mathbf{n}<1$. Though our study is confined within the radial geometry, the construction is subtle and technical.


title: Unit Disk Representations of Embedded Trees, Outerplanar and Multi-Legged Graphs

abstract: A unit disk intersection representation (UDR) of a graph $G$ represents each vertex of $G$ as a unit disk in the plane, such that two disks intersect if and only if their vertices are adjacent in $G$. A UDR with interior-disjoint disks is called a unit disk contact representation (UDC). We prove that it is NP-hard to decide if an outerplanar graph or an embedded tree admits a UDR. We further provide a linear-time decidable characterization of caterpillar graphs that admit a UDR. Finally we show that it can be decided in linear time if a lobster graph admits a weak UDC, which permits intersections between disks of non-adjacent vertices.


title: Distributed Linear-Quadratic Control with Graph Neural Networks

abstract: Controlling network systems has become a problem of paramount importance. In this paper, we consider a distributed linear-quadratic problem and propose the use of graph neural networks (GNNs) to parametrize and design a distributed controller for network systems. GNNs exhibit many desirable properties, such as being naturally distributed and scalable. We cast the distributed linear-quadratic problem as a self-supervised learning problem, which is then used to train the GNN-based controllers. We also obtain sufficient conditions for the resulting closed-loop system to be input-state stable, and derive an upper bound on how much the trajectory deviates from the nominal value when the matrices that describe the system are not accurately known. We run extensive simulations to study the performance of GNN-based distributed controllers and show that they are computationally efficient and scalable.


title: Out-of-phase few-cycle solitons in multicore fibers

abstract: An equation is derived for analyzing the self-action of a wave packets with few optical cycles in multicore fibers (MCF). A new class of stable out-of-phase spatio-temporal solitons with few cycle durations in the MCF with cores located in a ring is found and analyzed. The stability boundary of the obtained solutions is determined. As an example of using such solitons, we considered the problem of their self-compression in the process of multisoliton dynamics in the MCF. The formation of laser pulses with a duration of few optical cycles at the output of a ten-core MCF is shown.


title: On linear combinations of cohomological invariants of compact complex manifolds

abstract: We prove that there are no unexpected universal integral linear relations and congruences between Hodge, Betti and Chern numbers of compact complex manifolds and determine the linear combinations of such numbers which are bimeromorphic or topological invariants. This extends results in the K\"ahler case by Kotschick and Schreieder. We then develop a framework to tackle the more general questions taking into account `all' cohomological invariants (e.g. the dimensions of the higher pages of the Fr\"olicher spectral sequence, Bott-Chern and Aeppli cohomology). This allows us to reduce the general questions to specific construction problems. We solve these problems in many cases. In particular, we obtain full answers to the general questions concerning universal relations and bimeromorphic invariants in low dimensions.


title: Dark effects in $f(R,P)$ gravity

abstract: In the present paper a new cosmological model is proposed by extending the Einstein--Hilbert lagrangian with a generic functional $f(R,P)$, which depends on the scalar curvature $R$ and a term $P$ which encodes a possible influence from specific cubic contractions of the Riemann tensor. After proposing the corresponding action, the associated modified Friedmann relations are deduced, in the case where the generic functional has a power law decomposition, $f(R,P)=f_0 R^n+g_0 P^m$, with $f_0, g_0, n, m$ constant parameters. In this case the specific method of dynamical system analysis is employed, revealing the fundamental properties of the phase space structure, discussing the dynamical consequences for the cosmological solutions obtained. It is revealed that the cosmological solutions associated to the critical points can explain various dynamical eras, with a high sensitivity to the values of the $n$ and $m$ parameters, encoding various effects due to the geometrical nature of the specific couplings.


title: Enclosing Depth and other Depth Measures

abstract: We study families of depth measures defined by natural sets of axioms. We show that any such depth measure is a constant factor approximation of Tukey depth. We further investigate the dimensions of depth regions, showing that the Cascade conjecture, introduced by Kalai for Tverberg depth, holds for all depth measures which satisfy our most restrictive set of axioms, which includes Tukey depth. Along the way, we introduce and study a new depth measure called enclosing depth, which we believe to be of independent interest, and show its relation to a constant-fraction Radon theorem on certain two-colored point sets.


title: Caltech-NRAO Stripe 82 Survey (CNSS) Paper V: AGNs that transitioned to radio-loud state

abstract: A recent multi-year Caltech-NRAO Stripe 82 Survey (CNSS) revealed a group of objects that appeared as new radio sources after $>$5--20 years of absence. They are transient phenomena with respect to the Faint Images of the Radio Sky at Twenty Centimeters (FIRST) survey and constitute the first unbiased sample of renewed radio activity. Here we present the follow-up, radio, optical and X-ray study of them. The group consist of 12 sources, both quasars and galaxies with wide redshift ($\rm 0.04 < z < 1.7$) and luminosity ($\rm 22<log_{10}[L_{1.4GHz}/W~Hz^{-1}]>24.5$) distribution. Their radio properties in the first phase of activity, namely the convex spectra and compact morphology, allow them all to be classified as gigahertz-peaked spectrum (GPS) sources. We conclude that the spectral changes are a consequence of the evolution of newly-born radio jets. Our observations show that over the next few years of activity the GPS galaxies keep the convex shape of the spectrum, while GPS quasars rapidly transform into flat-spectrum sources, which may result in them not being recognized as young sources. The wide range of bolometric luminosities, black hole masses and jet powers among the transient sources indicates even greater population diversity in the group of young radio objects. We also suggest that small changes of the accretion disc luminosity (accretion rate) may be sufficient to ignite low-power radio activity that evolves on the scale of decades.


title: Spin and valley filter based on two-dimensional WSe$_2$ heterostructures

abstract: In this work, we investigate spin and valley transport properties of a WSe$_2$ monolayer placed on top of a ferromagnetic insulator. We are interested in controlling the transport properties by applying external potentials to the system. To obtain spin an valley polarizations, we have considered a single and a double barrier structure with gate potentials. We have analyzed how the efficiency of these polarized transport properties depend on the gate-potential intensities and geometrical configurations. Additionally, we investigate how the spin and valley transport properties are modified when an ac-potential is applied to the system. We have obtained a controllable modulation of the spin and valley polarizations as a function of the intensity and frequency of the ac-potential, mainly in the terahertz range. These results validate the proposal of double quantum well structures of WSe$_2$ as candidates to provide spin and valley dependent transport within an optimal geometrical parameter regime.


title: Fine structure of type III solar radio bursts from Langmuir wave motion in turbulent plasma

abstract: The Sun frequently accelerates near-relativistic electron beams that travel out through the solar corona and interplanetary space. Interacting with their plasma environment, these beams produce type III radio bursts, the brightest astrophysical radio sources seen from the Earth. The formation and motion of type III fine frequency structures is a puzzle but is commonly believed to be related to plasma turbulence in the solar corona and solar wind. Combining a theoretical framework with kinetic simulations and high-resolution radio type III observations using the Low Frequency Array, we quantitatively show that the fine structures are caused by the moving intense clumps of Langmuir waves in a turbulent medium. Our results show how type III fine structure can be used to remotely analyse the intensity and spectrum of compressive density fluctuations, and can infer ambient temperatures in astrophysical plasma, both significantly expanding the current diagnostic potential of solar radio emission.


title: Disorder solutions for the free energy of the Ising-like models

abstract: For arbitrary Ising-like models of any dimension and Hamiltonians with a finite support with all possible multispin interactions and boundary conditions with a shift, the exact value of the free energy in the thermodynamic limit is obtained at some parametrically specified set of multispin interaction coefficients. In this case, half of the multispin interaction coefficients and the coordinates of the special eigenvector corresponding to the largest eigenvalue of the elementary transfer matrix are parameters, and the second half of the multispin coefficients is calculated using simple explicit formulas. For models with Hamiltonians invariant under the reversal of signs of all spins, the formulas are simplified. As examples of independent interest, solutions are written for the cases when the support of the Hamiltonian is a simplex, a cube, the support of the ANNNI model in spaces of 2, 3 and arbitrary dimensions.


title: A novel approach for the efficient modeling of material dissolution in electrochemical machining

abstract: This work presents a novel approach to efficiently model anodic dissolution in electrochemical machining. Earlier modeling approaches employ a strict space discretization of the anodic surface that is associated with a remeshing procedure at every time step. Besides that, the presented model is formulated by means of effective material parameters. Thereby, it allows to use a constant mesh for the entire simulation and, thus, decreases the computational costs. Based on Faraday's law of electrolysis, an effective dissolution level is introduced, which describes the ratio of a dissolved volume and its corresponding reference volume. This inner variable allows the modeling of the complex dissolution process without the necessity of computationally expensive remeshing by controlling the effective material parameters. Additionally, full coupling of the thermoelectric problem is considered and its linearization and numerical implementation are presented. The model shows good agreement with analytical and experimental validation examples by yielding realistic results. Furthermore, simulations of a pulsed electrochemical machining process yield a process signature of the surface roughness related to the specific accumulated electric charge. The numerical examples confirm the simulation's computational efficiency and accurate modeling qualities.


title: Reconfigurable Intelligent Surface -Assisted Ambient Backscatter Communications -- Experimental Assessment

abstract: Sixth generation (6G) mobile networks may include new passive technologies, such as ambient backscatter communication or the use of reconfigurable intelligent surfaces, to avoid the emission of waves and the corresponding energy consumption. On the one hand, a reconfigurable intelligent surface improves the network performance by adding electronically controlled reflected paths in the radio propagation channel. On the other hand, in an ambient backscatter system, a device, named tag, communicates towards a reader by backscattering the waves of an ambient source (such as a TV tower). However, the tag's backscattered signal is weak and strongly interfered by the direct signal from the ambient source. In this paper, we propose a new reconfigurable intelligent surface assisted ambient backscatter system. The proposed surface allows to control the reflection of an incident wave coming from the exact source location towards the tag and reader locations (creating hot spots at their locations), thanks to passive reflected beams from a predefined codebook. A common phase-shift can also be applied to the beam. Thanks to these features, we demonstrate experimentally that the performance of ambient backscatter communications can be significantly improved.


title: Feedback modalities for a table setting robot assistant for elder care

abstract: The interaction of Older adults with robots requires effective feedback to keep them aware of the state of the interaction for optimum interaction quality. This study examines the effect of different feedback modalities in a table setting robot assistant for elder care. Two different feedback modalities (visual and auditory) and their combination were evaluated for three complexity levels. The visual feedback included the use of LEDs and a GUI screen. The auditory feedback included alerts (beeps) and verbal commands. The results revealed that the quality of interaction was influenced mainly by the feedback modality, and complexity had less influence. The verbal feedback was significantly preferable and increased the involvement of the participants during the experiment. The combination of LED lights and verbal commands increased participants' understanding contributing to the quality of interaction.


title: Holographic surface measurement system for the Fred Young Submillimeter Telescope

abstract: We describe a system being developed for measuring the shapes of the mirrors of the Fred Young Submillimeter Telescope (FYST), now under construction for the CCAT Observatory. "Holographic" antenna-measuring techniques are an efficient and accurate way of measuring the surfaces of large millimeter-wave telescopes and they have the advantage of measuring the wave-front errors of the whole system under operational conditions, e.g. at night on an exposed site. Applying this to FYST, however, presents significant challenges because of the high accuracy needed, the fact that the telescope consists of two large off-axis mirrors, and a requirement that measurements can be made without personnel present. We use a high-frequency (~300GHz) source which is relatively close to the telescope aperture (<1/100th of the Fresnel distance) to minimize atmospheric effects. The main receiver is in the receiver cabin and can be moved under remote control to different positions, so that the wave-front errors in different parts of the focal plane can be measured. A second receiver placed on the yoke provides a phase reference. The signals are combined in a digital cross-correlation spectrometer. Scanning the telescope provides a map of the complex beam pattern. The surface errors are found by inference, i.e. we make models of the reflectors with errors and calculate the patterns expected, and then iterate to find the best match to the data. To do this we have developed a fast and accurate method for calculating the patterns using the Kirchhoff-Fresnel formulation. This paper presents details of the design and outlines the results from simulations of the measurement and inference process. These indicate that a measurement accuracy of ~3 microns rms is achievable.


title: The effect of thermal radiation on singularities in the dark universe

abstract: Cosmological models with an inhomogeneous viscous dark fluid, coupled with dark matter in the Friedmann- Robertson-Walker (FRW) flat universe, are considered. The influence of thermal effects caused by Hawking radiation on the visible horizon is studied, in connection with the classified type I and type III singularities which are known to occur within a finite amount of time. Allowance of thermal effects implies that a transition to a type II singularity can take place, in a finite time. We take into account a bulk viscosity of the dark fluid, observing the equation of state in the case of radiation, and find that there is a qualitative change in the singular universe of type I: it may pass into a singularity of type III, or it may avoid the singularity at all.


title: Supertoroidal light pulses: Propagating electromagnetic skyrmions in free space

abstract: Topological structures of electromagnetic fields could give access to nontrivial light-matter interactions and additional degrees of freedom for information and energy transfer. A characteristic example of such electromagnetic excitations are space-time non-separable single-cycle pulses, the exact solutions of Maxwell equation of toroidal topology predicted by Hellwarth and Nouchi in 1996 and recently observed experimentally. Here we introduce a new family of electromagnetic excitation of toroidal topology with increasing complexity in which the Hellwarth-Nouchi pulse is just the simplest member. The electromagnetic excitations of the new family can be parametrised by a single real number and exhibit skyrmionic structures of various orders. They feature multiple singularities in the electromagnetic and Poynting vector fields are accompanied by the fractal-like distributions of energy backflow. The generalized family of toroidal electromagnetic excitation with salient topologies are of interest for transient light-matter interactions, ultrafast optics, spectroscopy, and toroidal electrodynamics.


title: Combinatorial Resultants in the Algebraic Rigidity Matroid

abstract: Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid associated to the Cayley-Menger ideal for $n$ points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matroid. We show that every rigidity circuit has a construction tree from $K_4$ graphs based on this operation. Our algorithm performs an algebraic elimination guided by the construction tree, and uses classical resultants, factorization and ideal membership. To demonstrate its effectiveness, we implemented our algorithm in Mathematica: it took less than 15 seconds on an example where a Groebner Basis calculation took 5 days and 6 hrs.


title: HOPPY: An Open-source Kit for Education with Dynamic Legged Robots

abstract: This paper introduces HOPPY, an open-source, low-cost, robust, and modular kit for robotics education. The robot dynamically hops around a rotating gantry with a fixed base. The kit is intended to lower the entry barrier for studying dynamic robots and legged locomotion with real systems. It bridges the theoretical content of fundamental robotic courses with real dynamic robots by facilitating and guiding the software and hardware integration. This paper describes the topics which can be studied using the kit, lists its components, discusses preferred practices for implementation, presents results from experiments with the simulator and the real system, and suggests further improvements. A simple heuristic-based controller is described to achieve velocities up to 1.7m/s, navigate small objects, and mitigate external disturbances when the robot is aided by a counterweight. HOPPY was utilized as the subject of a semester-long project for the Robot Dynamics and Control course at the University of Illinois at Urbana-Champaign. The positive feedback from the students and instructors about the hands-on activities during the course motivates us to share this kit and continue improving in the future.


title: Gross-Neveu Heisenberg criticality: dynamical generation of quantum spin Hall masses

abstract: We consider fermions on a honeycomb lattice supplemented by a spin invariant interaction that dynamically generates a quantum spin Hall insulator. This lattice model provides an instance of Gross-Neveu Heisenberg criticality, as realized for example by the Hubbard model on the honeycomb lattice. Using auxiliary field quantum Monte Carlo simulations we show that we can compute with unprecedented precision susceptibilities of the order parameter. In O(N) Gross-Neveu transitions, the anomalous dimension of the bosonic mode grows as a function of N such that in the large-N limit it is of particular importance to consider susceptibilities rather than equal time correlations so as to minimize contributions from the background. For the N=3 case, we obtain $1/\nu=1.11(4)$, $\eta_{\phi}=0.80(9)$, and $\eta_{\psi}=0.29(2)$ for respectively the correlation length exponent, bosonic and fermionic anomalous dimensions.


title: The formation of the Milky Way halo and its dwarf satellites: a NLTE-1D abundance analysis. IV. Segue 1, Triangulum II, and Coma Berenices UFDs

abstract: We present atmospheric parameters and abundances for chemical elements from carbon to barium in metal-poor stars in Segue 1 (seven stars), Coma Berenices (three stars), and Triangulum II (one star) ultra-faint dwarf galaxies (UFDs). The effective temperatures rely on new photometric observations in the visible and infra-red bands, obtained with the 2.5 m telescope of the SAI MSU Caucasian observatory. Abundances of up to fourteen chemical elements were derived under the non-local thermodynamic equilibrium (NLTE) line formation, and LTE abundances were obtained for up to five more elements. For the first time we present abundance of oxygen in Seg 1 S1 and S4, silicon in ComaBer S2 and Tri II S40, potassium in Seg 1 S1-S6 and ComaBer S1-S3, and barium in Seg 1 S7. Three stars in Segue 1, two stars in Coma Berenices, and Triangulum II star have very low [Na/Mg] of -1.08 to -1.67 dex, which is usually attributed in the literature to an odd-even effect produced by nucleosynthesis in massive metal-free stars. We interpret this chemical property as a footprint of first stars, which is not blurred due to a small number of nucleosynthesis events that contributed to chemical abundance patterns of the sample stars. Our NLTE abundances of Sr and Ba in Coma Berenices, Segue 1, and Triangulum II report on lower [Sr/Ba] abundance ratio in the UFDs compared to that in classical dwarf spheroidal galaxies and the Milky Way halo. However, in UFDs, just as in massive galaxies, [Sr/Ba] is not constant and it can be higher than the pure r-process ratio. We suggest a hypothesis of Sr production in metal-poor binaries at the earliest epoch of galactic evolution.


title: Formal Modelling and Security Analysis of Bitcoin's Payment Protocol

abstract: The Payment Protocol standard BIP70, specifying how payments in Bitcoin are performed by merchants and customers, is supported by the largest payment processors and most widely-used wallets. The protocol has been shown to be vulnerable to refund attacks due to lack of authentication of the refund addresses. In this paper, we give the first formal model of the protocol and formalise the refund address security goals for the protocol, namely refund address authentication and secrecy. The formal model utilises communication channels as abstractions conveying security goals on which the protocol modeller and verifier can rely. We analyse the Payment Protocol confirming that it is vulnerable to an attack violating the refund address authentication security goal. Moreover, we present a concrete protocol revision proposal supporting the merchant with publicly verifiable evidence that can mitigate the attack. We verify that the revised protocol meets the security goals defined for the refund address. Hence, we demonstrate that the revised protocol is secure, not only against the existing attacks, but also against any further attacks violating the formalised security goals.


title: On saturation of Berge hypergraphs

abstract: A hypergraph $H=(V(H), E(H))$ is a Berge copy of a graph $F$, if $V(F)\subset V(H)$ and there is a bijection $f:E(F)\rightarrow E(H)$ such that for any $e\in E(F)$ we have $e\subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain any Berge copies of $F$. We address the saturation problem concerning Berge-$F$-free hypergraphs, i.e., what is the minimum number $sat_r(n,F)$ of hyperedges in an $r$-uniform Berge-$F$-free hypergraph $H$ with the property that adding any new hyperedge to $H$ creates a Berge copy of $F$. We prove that $sat_r(n,F)$ grows linearly in $n$ if $F$ is either complete multipartite or it possesses the following property: if $d_1\le d_2\le \dots \le d_{|V(F)|}$ is the degree sequence of $F$, then $F$ contains two adjacent vertices $u,v$ with $d_F(u)=d_1$, $d_F(v)=d_2$. In particular, the Berge-saturation number of regular graphs grows linearly in $n$.


title: Task-driven assessment of experimental designs in diffusion MRI: a computational framework

abstract: This paper proposes a task-driven computational framework for assessing diffusion MRI experimental designs which, rather than relying on parameter-estimation metrics, directly measures quantitative task performance. Traditional computational experimental design (CED) methods may be ill-suited to experimental tasks, such as clinical classification, where outcome does not depend on parameter-estimation accuracy or precision alone. Current assessment metrics evaluate experiments' ability to faithfully recover microstructural parameters rather than their task performance. The method we propose addresses this shortcoming. For a given MRI experimental design, experiments are simulated start-to-finish and task performance is computed from ROC curves and associated summary metrics (e.g. AUC). Two experiments were performed: first, a validation of the pipeline's task performance predictions against clinical results, comparing in-silico predictions to real-world ROC/AUC; and second, a demonstration of the pipeline's advantages over traditional CED approaches, using two simulated clinical classification tasks. Comparison with clinical datasets validates our method's predictions of (a) the qualitative form of ROC curves, (b) the relative task performance of different experimental designs, and (c) the absolute performance of each experimental design. Furthermore, we show that our method outperforms traditional task-agnostic assessment methods, enabling improved, more useful experimental design. Compared to current approaches, such task-driven assessment is more likely to identify experimental designs that perform well in practice. Our method is not limited to diffusion MRI; the pipeline generalises to any task-based quantitative MRI application, and provides the foundation for developing future task-driven end-to end CED frameworks.


title: S-AT GCN: Spatial-Attention Graph Convolution Network based Feature Enhancement for 3D Object Detection

abstract: 3D object detection plays a crucial role in environmental perception for autonomous vehicles, which is the prerequisite of decision and control. This paper analyses partition-based methods' inherent drawbacks. In the partition operation, a single instance such as a pedestrian is sliced into several pieces, which we call it the partition effect. We propose the Spatial-Attention Graph Convolution (S-AT GCN), forming the Feature Enhancement (FE) layers to overcome this drawback. The S-AT GCN utilizes the graph convolution and the spatial attention mechanism to extract local geometrical structure features. This allows the network to have more meaningful features for the foreground. Our experiments on the KITTI 3D object and bird's eye view detection show that S-AT Conv and FE layers are effective, especially for small objects. FE layers boost the pedestrian class performance by 3.62\% and cyclist class by 4.21\% 3D mAP. The time cost of these extra FE layers are limited. PointPillars with FE layers can achieve 48 PFS, satisfying the real-time requirement.


title: BGPeek-a-Boo: Active BGP-based Traceback for Amplification DDoS Attacks

abstract: Amplification DDoS attacks inherently rely on IP spoofing to steer attack traffic to the victim. At the same time, IP spoofing undermines prosecution, as the originating attack infrastructure remains hidden. Researchers have therefore proposed various mechanisms to trace back amplification attacks (or IP-spoofed attacks in general). However, existing traceback techniques require either the cooperation of external parties or a priori knowledge about the attacker. We propose BGPeek-a-Boo, a BGP-based approach to trace back amplification attacks to their origin network. BGPeek-a-Boo monitors amplification attacks with honeypots and uses BGP poisoning to temporarily shut down ingress traffic from selected Autonomous Systems. By systematically probing the entire AS space, we detect systems forwarding and originating spoofed traffic. We then show how a graph-based model of BGP route propagation can reduce the search space, resulting in a 5x median speed-up and over 20x for 1/4 of all cases. BGPeek-a-Boo achieves a unique traceback result 60% of the time in a simulation-based evaluation supported by real-world experiments.


title: Exploratory evaluation of politeness in human-robot interaction

abstract: Aiming to explore the impact of politeness on Human robot interaction, this study tested varying levels of politeness in a human robot collaborative table setting task. Polite behaviour was designed based on the politeness rules of Lakoff. A graphical user interface was developed for the interaction with the robot offering three levels of politeness, and an experiment was conducted with 20 older adults and 30 engineering students. Results indicated that the quality of interaction was influenced by politeness as participants significantly preferred the polite mode of the robot. However, the older adults were less able to distinguish between the three politeness levels. Future studies should thus include pre experiment training to increase the familiarity of the older adults with robotic technology. These studies should also include other permutations of the politeness rules of Lakoff.


title: BLOFF: A Blockchain based Forensic Model in IoT

abstract: In this era of explosive growth in technology, the internet of things (IoT) has become the game changer when we consider technologies like smart homes and cities, smart energy, security and surveillance, and healthcare. The numerous benefits provided by IoT have become attractive technologies for users and cybercriminals. Cybercriminals of today have the tools and the technology to deploy millions of sophisticated attacks. These attacks need to be investigated; this is where digital forensics comes into play. However, it is not easy to conduct a forensic investigation in IoT systems because of the heterogeneous nature of the IoT environment. Additionally, forensic investigators mostly rely on evidence from service providers, a situation that can lead to evidence contamination. To solve this problem, the authors proposed a blockchain-based IoT forensic model that prevents the admissibility of tampered logs into evidence.


title: Stochastic Model of Lignocellulosic Material Saccharification

abstract: The processing of agricultural wastes towards extraction of renewable resources is recently being considered as a promising alternative to conventional biofuel production processes. Agricultural residues represent an abundant and unexploited raw material that intrinsically contains chemical energy in the form of polysaccharides. The degradation procedure is a complex chemical process that is currently time intensive and costly. Various pre-treatment methods are being investigated to determine the subsequent modification of the material and the main obstacles in increasing the enzymatic saccharification yield. In this study, we present a computational model that complements the experimental approaches. We decipher how the three-dimensional structure of the substrate impacts the saccharification yield. We model a cell wall microfibril composed of cellulose and surrounded by hemicellulose and lignin, with various relative abundances and arrangements. This substrate is subjected to digestion by different enzyme cocktails of well characterized enzymes. The saccharification dynamics is mimicked \textit{in silico} using a stochastic simulation procedure based on a Gillespie algorithm. As we additionally implement a fitting procedure that optimizes the parameters of the simulation runs, we are able to reproduce experimental saccharification time courses for corn stover. Our results challenge the hypothesis of hemicellulose content being a substantial factor in saccharification yield, and instead propose the crystallinity of the substrate having a much higher impact.


title: Energy Conditions in $f(P)$ Gravity

abstract: $f(P)$ gravity is a novel extension of ECG in which the Ricci scalar in the action is replaced by a function of the curvature invariant $P$ which represents the contractions of the Riemann tensor at the cubic order \cite{p}. The present work is concentrated on bounding some $f(P)$ gravity models using the concept of energy conditions where the functional forms of $f(P)$ are represented as \textbf{a)} $f(P) = \alpha \sqrt{P}$, and \textbf{b)} $f(P) = \alpha \exp (P)$, where $\alpha$ is the sole model parameter. Energy conditions are interesting linear relationships between pressure and density and have been extensively employed to derive interesting results in Einstein's gravity, and are also an excellent tool to impose constraints on any cosmological model. To place the bounds, we ensured that the energy density must remain positive, the pressure must remain negative, and the EoS parameter must attain a value close to $-1$ to make sure that the bounds respect the accelerated expansion of the Universe and are also in harmony with the latest observational data. We report that for both the models, suitable parameter spaces exist which satisfy the aforementioned conditions and therefore posit the $f(P)$ theory of gravity to be a promising modified theory of gravitation.


title: Constant congestion brambles in directed graphs

abstract: The Directed Grid Theorem, stating that there is a function $f$ such that a directed graphs of directed treewidth at least $f(k)$ contains a directed grid of size at least $k$ as a butterfly minor, after being a conjecture for nearly 20 years, has been proven in 2015 by Kawarabayashi and Kreutzer. However, the function $f$ obtained in the proof is very fast growing. In this work, we show that if one relaxes directed grid to bramble of constant congestion, one can obtain a polynomial bound. More precisely, we show that for every $k \geq 1$ there exists $t = \mathcal{O}(k^{48} \log^{13} k)$ such that every directed graph of directed treewidth at least $t$ contains a bramble of congestion at most $8$ and size at least $k$.


title: Weak$^{\ast }$ Hypertopologies with Application to Genericity of Convex Sets

abstract: We propose a new class of hypertopologies, called here weak$^{\ast }$ hypertopologies, on the dual space $\mathcal{X}^{\ast }$ of a real or complex topological vector space $\mathcal{X}$. The most well-studied and well-known hypertopology is the one associated with the Hausdorff metric for closed sets in a complete metric space. Therefore, we study in detail its corresponding weak$^{\ast }$ hypertopology, constructed from the Hausdorff distance on the field (i.e. $\mathbb{R}$ or $\mathbb{C}$) of the vector space $\mathcal{X}$ and named here the weak$^{\ast }$-Hausdorff hypertopology. It has not been considered so far and we show that it can have very interesting mathematical connections with other mathematical fields, in particular with mathematical logics. We explicitly demonstrate that weak$^{\ast }$ hypertopologies are very useful and natural structures\ by using again the weak$^{\ast }$-Hausdorff hypertopology in order to study generic convex weak$^{\ast }$-compact sets in great generality. We show that convex weak$^{\ast }$-compact sets have generically weak$^{\ast }$-dense set of extreme points in infinite dimensions. An extension of the well-known Straszewicz theorem to Gateaux-differentiability (non necessarily Banach) spaces is also proven in the scope of this application.


title: Understanding Smart Contracts: Hype or Hope?

abstract: Smart Contracts are commonly considered to be an important component or even a key to many business solutions in an immense variety of sectors and promises to securely increase their individual efficiency in an ever more digitized environment. Introduced in the early 1990s, the technology has gained a lot of attention with its application to blockchain technology to an extent, that can be considered a veritable hype. Reflecting the growing institutional interest, this intertwined exploratory study between statistics, information technology, and law contrasts these idealistic stories with the data reality and provides a mandatory step of understanding the matter, before any further relevant applications are discussed as being "factually" able to replace traditional constructions. Besides fundamental flaws and applica-tion difficulties of currently employed Smart Contracts, the technological drive and enthusiasm backing it may however serve as a jump-off board for future developments thrusting well in the presently unshakeable traditional structures.


title: Analysis of the Pion-Nucleus Scattering within the Folding and the Kisslinger Type Potentials

abstract: Elastic cross sections are calculated and compared with the data on $\pi^{\pm}$ scattering on $^{28}$Si, $^{40}$Ca, $^{58}$Ni, $^{208}$Pb nuclei in the energy range from 130 to 290 MeV. To this end, both the folding optical potential (OP) and the local modified Kisslinger-type OP were calculated, and then the $\pi A$ cross sections were obtained by solving the Klein-Gordon equation to account for the relativization and distortion wave effects. In the folding OPs, the parameters of the elementary $\pi N$ amplitude were fitted when describing the $\pi A$ scattering data, and thus the essential in-medium effect on the parameters of the $\pi N$ amplitude was established since the pion is scattered not on a free but on a bound nuclear nucleon. Fairly good agreement with experimental data was obtained for both models of optical potentials and their forms turn out to be in coincidence in the region of their surfaces.


title: Application of the triangulated category to the explanation of fully-charm tetraquark mass

abstract: The discovery in July 2020 of fully-charm tetraquark led to the need for its theoretical explanation. For investigation of such complex four-quark formation, the modern mathematical apparatus of the theory of derived categories is used. By representing diquarks as solitonic objects in terms of sheaves, one can explain the measured mass of the broad resonance of fully-charm tetraquarks consisting of di-charmonia.


title: Modeling Multivariate Cyber Risks: Deep Learning Dating Extreme Value Theory

abstract: Modeling cyber risks has been an important but challenging task in the domain of cyber security. It is mainly because of the high dimensionality and heavy tails of risk patterns. Those obstacles have hindered the development of statistical modeling of the multivariate cyber risks. In this work, we propose a novel approach for modeling the multivariate cyber risks which relies on the deep learning and extreme value theory. The proposed model not only enjoys the high accurate point predictions via deep learning but also can provide the satisfactory high quantile prediction via extreme value theory. The simulation study shows that the proposed model can model the multivariate cyber risks very well and provide satisfactory prediction performances. The empirical evidence based on real honeypot attack data also shows that the proposed model has very satisfactory prediction performances.


title: Predictive Optimal Control with Data-Based Disturbance Scenario Tree Approximation

abstract: Efficiently computing the optimal control policy concerning a complicated future with stochastic disturbance has always been a challenge. The predicted stochastic future disturbance can be represented by a scenario tree, but solving the optimal control problem with a scenario tree is usually computationally demanding. In this paper, we propose a data-based clustering approximation method for the scenario tree representation. Differently from the popular Markov chain approximation, the proposed method can retain information from previous steps while keeping the state space size small. Then the predictive optimal control problem can be approximately solved with reduced computational load using dynamic programming. The proposed method is evaluated in numerical examples and compared with the method which considers the disturbance as a non-stationary Markov chain. The results show that the proposed method can achieve better control performance than the Markov chain method.


title: Round-robin differential phase-time-shifting protocol for quantum key distribution: theory and experiment

abstract: Quantum key distribution (QKD) allows the establishment of common cryptographic keys among distant parties. Many of the QKD protocols that were introduced in the past involve the challenge of monitoring the signal disturbance over the communication line, in order to evaluate the information leakage to a potential eavesdropper. Recently, a QKD protocol that circumvents the need for monitoring signal disturbance, has been proposed and demonstrated in initial experiments. Here, we propose a new version of this so-called round-robin differential phase-shifting (RRDPS) protocol, in which both time and phase degrees-of-freedom are utilized to enlarge the Hilbert space dimensionality, without increasing experimental complexity or relaxing security assumptions. We derive the security proofs of the round-robin differential phase-time-shifting (RRDPTS) protocol in the collective attack scenario and benchmark the new protocol against RRDPS for different experimental parameters. Furthermore, a proof-of-concept experiment of the RRDPTS protocol, using weak coherent pulses and decoy-state method, is demonstrated over 80 km of fiber link. Our results show that the RRDPTS protocol can achieve higher secret key rate in comparison with the RRDPS, in the condition of high quantum bit error rate.


title: Anomalous stopping and charge transfer in proton-irradiated graphene

abstract: We use first-principles calculations to uncover and explain a new type of anomalous low-velocity stopping effect in proton-irradiated graphene. We attribute a shoulder feature that occurs exclusively for channeling protons to enhanced electron capture from $\sigma$+$\pi$ orbitals. Our analysis of electron emission indicates that backward emission is more sensitive to proton trajectory than forward emission and could thus produce higher contrast images in ion microscopy. For slow protons, we observe a steep drop in emission, consistent with predictions from analytical models.


title: Margin Preserving Self-paced Contrastive Learning Towards Domain Adaptation for Medical Image Segmentation

abstract: To bridge the gap between the source and target domains in unsupervised domain adaptation (UDA), the most common strategy puts focus on matching the marginal distributions in the feature space through adversarial learning. However, such category-agnostic global alignment lacks of exploiting the class-level joint distributions, causing the aligned distribution less discriminative. To address this issue, we propose in this paper a novel margin preserving self-paced contrastive Learning (MPSCL) model for cross-modal medical image segmentation. Unlike the conventional construction of contrastive pairs in contrastive learning, the domain-adaptive category prototypes are utilized to constitute the positive and negative sample pairs. With the guidance of progressively refined semantic prototypes, a novel margin preserving contrastive loss is proposed to boost the discriminability of embedded representation space. To enhance the supervision for contrastive learning, more informative pseudo-labels are generated in target domain in a self-paced way, thus benefiting the category-aware distribution alignment for UDA. Furthermore, the domain-invariant representations are learned through joint contrastive learning between the two domains. Extensive experiments on cross-modal cardiac segmentation tasks demonstrate that MPSCL significantly improves semantic segmentation performance, and outperforms a wide variety of state-of-the-art methods by a large margin.


title: Achieve Efficient Position-Heap-based Privacy-Preserving Substring-of-Keyword Query over Cloud

abstract: The cloud computing technique, which was initially used to mitigate the explosive growth of data, has been required to take both data privacy and users' query functionality into consideration. Symmetric searchable encryption (SSE) is a popular solution to supporting efficient keyword queries over encrypted data in the cloud. However, most of the existing SSE schemes focus on the exact keyword query and cannot work well when the user only remembers the substring of a keyword, i.e., substring-of-keyword query. This paper aims to investigate this issue by proposing an efficient and privacy-preserving substring-of-keyword query scheme over cloud. First, we employ the position heap technique to design a novel tree-based index to match substrings with corresponding keywords. Based on the tree-based index, we introduce our substring-of-keyword query scheme, which contains two consecutive phases. The first phase queries the keywords that match a given substring, and the second phase queries the files that match a keyword in which people are really interested. In addition, detailed security analysis and experimental results demonstrate the security and efficiency of our proposed scheme.


title: Broadband stability of the Habitable Zone Planet Finder Fabry-P\'{e}rot etalon calibration system: evidence for chromatic variation

abstract: The comb-like spectrum of a white light-illuminated Fabry-P\'{e}rot etalon can serve as a cost-effective and stable reference for precise Doppler measurements. Understanding the stability of these devices across their broad (100's of nm) spectral bandwidths is essential to realize their full potential as Doppler calibrators. However, published descriptions remain limited to small bandwidths or short timespans. We present a $\sim6$ month broadband stability monitoring campaign of the Fabry-P\'{e}rot etalon system deployed with the near-infrared Habitable Zone Planet Finder spectrograph (HPF). We monitor the wavelengths of each of $\sim3500$ resonant modes measured in HPF spectra of this Fabry-P\'{e}rot etalon (free spectral range = 30 GHz, bandwidth = 820 - 1280 nanometers), leveraging the accuracy and precision of an electro-optic frequency comb reference. These results reveal chromatic structure in the Fabry-P\'{e}rot mode locations and in their evolution with time. We measure an average drift on the order of 2 cm s $^{-1}$ d$^{-1}$, with local departures up to $\pm5$ cm s $^{-1}$ d$^{-1}$. We discuss these behaviors in the context of the Fabry-P\'{e}rot etalon mirror dispersion and other optical properties of the system, and the implications for the use of similar systems for precise Doppler measurements. Our results show that this system supports the wavelength calibration of HPF at the $\lesssim10$ cm s $^{-1}$ level over a night and at the $\lesssim30$ cm s $^{-1}$ level over $\sim10$ d. Our results also highlight the need for long-term and spectrally-resolved study of similar systems that will be deployed to support Doppler measurement precision approaching $\sim10$ cm s $^{-1}$.


title: RANP: Resource Aware Neuron Pruning at Initialization for 3D CNNs

abstract: Although 3D Convolutional Neural Networks are essential for most learning based applications involving dense 3D data, their applicability is limited due to excessive memory and computational requirements. Compressing such networks by pruning therefore becomes highly desirable. However, pruning 3D CNNs is largely unexplored possibly because of the complex nature of typical pruning algorithms that embeds pruning into an iterative optimization paradigm. In this work, we introduce a Resource Aware Neuron Pruning (RANP) algorithm that prunes 3D CNNs at initialization to high sparsity levels. Specifically, the core idea is to obtain an importance score for each neuron based on their sensitivity to the loss function. This neuron importance is then reweighted according to the neuron resource consumption related to FLOPs or memory. We demonstrate the effectiveness of our pruning method on 3D semantic segmentation with widely used 3D-UNets on ShapeNet and BraTS'18 datasets, video classification with MobileNetV2 and I3D on UCF101 dataset, and two-view stereo matching with Pyramid Stereo Matching (PSM) network on SceneFlow dataset. In these experiments, our RANP leads to roughly 50%-95% reduction in FLOPs and 35%-80% reduction in memory with negligible loss in accuracy compared to the unpruned networks. This significantly reduces the computational resources required to train 3D CNNs. The pruned network obtained by our algorithm can also be easily scaled up and transferred to another dataset for training.


title: Deep Dynamic Neural Network to trade-off between Accuracy and Diversity in a News Recommender System

abstract: The news recommender systems are marked by a few unique challenges specific to the news domain. These challenges emerge from rapidly evolving readers' interests over dynamically generated news items that continuously change over time. News reading is also driven by a blend of a reader's long-term and short-term interests. In addition, diversity is required in a news recommender system, not only to keep the reader engaged in the reading process but to get them exposed to different views and opinions. In this paper, we propose a deep neural network that jointly learns informative news and readers' interests into a unified framework. We learn the news representation (features) from the headlines, snippets (body) and taxonomy (category, subcategory) of news. We learn a reader's long-term interests from the reader's click history, short-term interests from the recent clicks via LSTMSs and the diversified reader's interests through the attention mechanism. We also apply different levels of attention to our model. We conduct extensive experiments on two news datasets to demonstrate the effectiveness of our approach.


title: Specification Decomposition for Reactive Synthesis

abstract: Reactive synthesis is the task of automatically deriving a correct implementation from a specification. It is a promising technique for the development of verified programs and hardware. Despite recent advances in terms of algorithms and tools, however, reactive synthesis is still not practical when the specified systems reach a certain bound in size and complexity. In this paper, we present a sound and complete modular synthesis algorithm that automatically decomposes the specification into smaller subspecifications. For them, independent synthesis tasks are performed, significantly reducing the complexity of the individual tasks. Our decomposition algorithm guarantees that the subspecifications are independent in the sense that completely separate synthesis tasks can be performed for them. Moreover, the composition of the resulting implementations is guaranteed to satisfy the original specification. Our algorithm is a preprocessing technique that can be applied to a wide range of synthesis tools. We evaluate our approach with state-of-the-art synthesis tools on established benchmarks: The runtime decreases significantly when synthesizing implementations modularly.