title: Analysis and Optimization of the Latency Budget in Wireless Systems with Mobile Edge Computing

abstract: We present a framework to analyse the latency budget in wireless systems with Mobile Edge Computing (MEC). Our focus is on teleoperation and telerobotics, as use cases that are representative of mission-critical uplink-intensive IoT systems with requirements on low latency and high reliability. The study is motivated by a general question: What is the optimal compression strategy in reliability and latency constrained systems? We address this question by studying the latency of an uplink connection from a multi-sensor IoT device to the base station. This is a critical link tasked with a timely and reliable transfer of potentially significant amount of data from the multitude of sensors. We introduce a comprehensive model for the latency budget, incorporating data compression and data transmission. The uplink latency is a random variable whose distribution depends on the computational capabilities of the device and on the properties of the wireless link. We formulate two optimization problems corresponding to two transmission strategies: (1) Outage-constrained, and (2) Latency-constrained. We derive the optimal system parameters under a reliability criterion. We show that the obtained results are superior compared to the ones based on the optimization of the expected latency.


title: Inversion of the chemical environment representations

abstract: Machine-learning generative methods for material design are constructed by representing a given chemical structure, either a solid or a molecule, over appropriate atomic features, generally called structural descriptors. These must be fully descriptive of the system, must facilitate the training process and must be invertible, so that one can extract the atomic configurations corresponding to the output of the model. In general, this last requirement is not automatically satisfied by the most efficient structural descriptors, namely the representation is not directly invertible. Such drawback severely limits our freedom of choice in selecting the most appropriate descriptors for the problem, and thus our flexibility to construct generative models. In this work, we present a general optimization method capable of inverting any local many-body descriptor of the chemical environment, back to a cartesian representation. The algorithm is then implemented together with the bispectrum representation of the local structure and demonstrated for a number of molecules. The scheme presented here, thus, represents a general approach to the inversion of structural descriptors, enabling the construction of efficient structural generative models.


title: Evidences for the exciton gas phase and its condensation in monolayer 1T-ZrTe2

abstract: The excitonic insulator (EI) is a Bose-Einstein condensation (BEC) of excitons bound by electron-hole interaction in a solid, which could support high-temperature BEC transition. The material realization of EI has been elusive, which is further challenged by the difficulty of distinguishing it from a conventional charge density wave (CDW) state. In the BEC limit, the pre-condensation exciton gas phase is a hallmark to distinguish EI from conventional CDW, yet direct experimental evidence has been lacking. Here we report a distinct correlated phase beyond the $2\times2$ CDW ground state emerging in epitaxially grown monolayer 1T-ZrTe2 and its investigation by angle-resolved photoemission spectroscopy (ARPES) and scanning tunneling microscopy (STM). The results show novel band- and energy-dependent folding behavior in a two-step process, evidenced by an exciton gas phase prior to its condensation into the final CDW state. The excellent agreement between experiments and theoretical predictions on the recovery of the pristine band structure by carrier-density-dependent suppression of the CDW state further corroborates the monolayer 1T-ZrTe2 as an EI. Our findings provide a versatile two-dimensional platform that allows tuning of the excitonic effect.


title: Improved eV-scale Sterile-Neutrino Constraints from the Second KATRIN Measurement Campaign

abstract: We present the results of the light sterile neutrino search from the second KATRIN measurement campaign in 2019. Approaching nominal activity, $3.76 \times 10^6$ tritium $\beta$-electrons are analyzed in an energy window extending down to $40\,$eV below the tritium endpoint at $E_0 = 18.57\,$keV. We consider the $3\nu+1$ framework with three active and one sterile neutrino flavor. The analysis is sensitive to a fourth mass eigenstate $m_4^2\lesssim1600\,$eV$^2$ and active-to-sterile mixing $|U_{e4}|^2 \gtrsim 6 \times 10^{-3}$. As no sterile-neutrino signal was observed, we provide improved exclusion contours on $m_4^2$ and $|U_{e4}|^2$ at $95\,$% C.L. Our results supersede the limits from the Mainz and Troitsk experiments. Furthermore, we are able to exclude the large $\Delta m_{41}^2$ solutions of the reactor antineutrino and gallium anomalies to a great extent. The latter has recently been reaffirmed by the BEST collaboration and could be explained by a sterile neutrino with large mixing. While the remaining solutions at small $\Delta m_{41}^2$ are mostly excluded by short-baseline reactor experiments, KATRIN is the only ongoing laboratory experiment to be sensitive to relevant solutions at large $\Delta m_{41}^2$ through a robust spectral shape analysis.


title: Exponential Networks, WKB and Topological String

abstract: We propose a connection between 3d-5d exponential networks and exact WKB for difference equations associated to five dimensional Seiberg-Witten curves, or equivalently, to quantum mirror curves to toric Calabi-Yau threefolds $X$: the singularities in the Borel planes of local solutions to such difference equations correspond to central charges of 3d-5d BPS KK-modes. It follows that there should be distinguished local solutions of the difference equation in each domain of the complement of the exponential network, and these solutions jump at the walls of the network. We verify and explore this picture in two simple examples of 3d-5d systems, corresponding to taking the toric Calabi-Yau $X$ to be either $\mathbb{C}^3$ or the resolved conifold. We provide the full list of local solutions in each sector of the Borel plane and in each domain of the complement of the exponential network, and find that local solutions in disconnected domains correspond to non-perturbative open topological string amplitudes on $X$ with insertions of branes at different positions of the toric diagram. We also study the Borel summation of the closed refined topological string free energy on $X$ and the corresponding non-perturbative effects, finding that central charges of 5d BPS KK-modes are related to the singularities in the Borel plane.


title: Towards the Ionizing Radiation Induced Bond Dissociation Mechanism in Oxygen, Water, Guanine and DNA Fragmentation: A Density Functional Theory Simulation

abstract: The radiation-induced damages in bio-molecules are ubiquitous processes in radiotherapy, radio-biology and critical to space-projects. In this study we present a precise quantification of the fragmentation mechanisms of deoxyribonucleic acid (DNA) and the molecules surrounding DNA such as oxygen and water under non-equilibrium conditions using the first-principle calculations based on density functional theory (DFT). Our results reveal the structural stability of DNA-bases and backbone that withstand up to a combined threshold of charge and hydrogen abstraction owing to simultaneous direct and indirect ionization processes. We show the hydrogen contents of the molecules significantly control the stability in the presence of radiation. This study provides comprehensive information on the impact of the direct and indirect induced bond dissociations and DNA damage, and introduces a systematic methodology in fine-tuning of the input parameters necessary for the large-scale Monte Carlo simulations of radio-biological responses and mitigation of detrimental effects of ionizing radiation.


title: FairEGM: Fair Link Prediction and Recommendation via Emulated Graph Modification

abstract: As machine learning becomes more widely adopted across domains, it is critical that researchers and ML engineers think about the inherent biases in the data that may be perpetuated by the model. Recently, many studies have shown that such biases are also imbibed in Graph Neural Network (GNN) models if the input graph is biased, potentially to the disadvantage of underserved and underrepresented communities. In this work, we aim to mitigate the bias learned by GNNs by jointly optimizing two different loss functions: one for the task of link prediction and one for the task of demographic parity. We further implement three different techniques inspired by graph modification approaches: the Global Fairness Optimization (GFO), Constrained Fairness Optimization (CFO), and Fair Edge Weighting (FEW) models. These techniques mimic the effects of changing underlying graph structures within the GNN and offer a greater degree of interpretability over more integrated neural network methods. Our proposed models emulate microscopic or macroscopic edits to the input graph while training GNNs and learn node embeddings that are both accurate and fair under the context of link recommendations. We demonstrate the effectiveness of our approach on four real world datasets and show that we can improve the recommendation fairness by several factors at negligible cost to link prediction accuracy.


title: Quantum simulation of dissipative collective effects on noisy quantum computers

abstract: Dissipative collective effects are ubiquitous in quantum physics, and their relevance ranges from the study of entanglement in biological systems to noise mitigation in quantum computers. Here, we put forward the first fully quantum simulation of dissipative collective phenomena on a real quantum computer, based on the recently introduced multipartite collision model. First, we theoretically study the accuracy of this algorithm on near-term quantum computers with noisy gates, and we derive some rigorous error bounds that depend on the timestep of the collision model and on the gate errors. These bounds can be employed to estimate the necessary resources for the efficient quantum simulation of the collective dynamics. Then, we implement the algorithm on some IBM quantum computers to simulate superradiance and subradiance between a pair of qubits. Our experimental results successfully display the emergence of collective effects in the quantum simulation. In addition, we analyze the noise properties of the gates that we employ in the algorithm by means of full process tomography, with the aim of improving our understanding of the errors in the near-term devices that are currently accessible to worldwide researchers. We obtain the values of the average gate fidelity, unitarity, incoherence and diamond error, and we establish a connection between them and the accuracy of the experimentally simulated state. Moreover, we build a noise model based on the results of the process tomography for two-qubit gates and show that its performance is comparable with the noise model provided by IBM. Finally, we observe that the scaling of the error as a function of the number of gates is favorable, but at the same time reaching the threshold of the diamond errors for quantum fault tolerant computation may still be orders of magnitude away in the devices that we employ.


title: Some exactly solvable and tunable frustrated spin models

abstract: We discuss three exactly solvable spin models of geometric frustration. First, we discuss a 1-parameter subfamily of the 16 vertex model, which can be mapped to a planar Ising model and solved via Fisher-Dubed\'{a}t decorations. We then consider a 1-parameter family generalization of the Villain's fully frustrated model, which interpolates between Onsager's 2D Ising model and the Villain one. We then discuss spin ice models on a tree, which can be solved exactly using recursions \textit{a l\'{a} Bethe}.


title: Inferring Markovian quantum master equations of few-body observables in interacting spin chains

abstract: Full information about a many-body quantum system is usually out-of-reach due to the exponential growth -- with the size of the system -- of the number of parameters needed to encode its state. Nonetheless, in order to understand the complex phenomenology that can be observed in these systems, it is often sufficient to consider dynamical or stationary properties of local observables or, at most, of few-body correlation functions. These quantities are typically studied by singling out a specific subsystem of interest and regarding the remainder of the many-body system as an effective bath. In the simplest scenario, the subsystem dynamics, which is in fact an open quantum dynamics, can be approximated through Markovian quantum master equations. Here, we formulate the problem of finding the generator of the subsystem dynamics as a variational problem, which we solve using the standard toolbox of machine learning for optimization. This dynamical or ``Lindblad" generator provides the relevant dynamical parameters for the subsystem of interest. Importantly, the algorithm we develop is constructed such that the learned generator implements a physically consistent open quantum time-evolution. We exploit this to learn the generator of the dynamics of a subsystem of a many-body system subject to a unitary quantum dynamics. We explore the capability of our method to recover the time-evolution of a two-body subsystem and exploit the physical consistency of the generator to make predictions on the stationary state of the subsystem dynamics.


title: Chronic iEEG recordings and interictal spike rate reveal multiscale temporal modulations in seizure states

abstract: Background and Objectives: Many biological processes are modulated by rhythms on circadian and multidien timescales. In focal epilepsy, various seizure features, such as spread and duration, can change from one seizure to the next within the same patient. However, the specific timescales of this variability, as well as the specific seizure characteristics that change over time, are unclear. Methods: Here, in a cross-sectional observational study, we analysed within-patient seizure variability in 10 patients with chronic intracranial EEG recordings (185-767 days of recording time, 57-452 analysed seizures/patient). We characterised the seizure evolutions as sequences of a finite number of patient-specific functional seizure network states (SNSs). We then compared SNS occurrence and duration to (1) time since implantation and (2) patient-specific circadian and multidien cycles in interictal spike rate. Results: In most patients, the occurrence or duration of at least one SNS was associated with the time since implantation. Some patients had one or more SNSs that were associated with phases of circadian and/or multidien spike rate cycles. A given SNS's occurrence and duration were usually not associated with the same timescale. Discussion: Our results suggest that different time-varying factors modulate within-patient seizure evolutions over multiple timescales, with separate processes modulating a SNS's occurrence and duration. These findings imply that the development of time-adaptive treatments in epilepsy must account for several separate properties of epileptic seizures, and similar principles likely apply to other neurological conditions.


title: Would You Mind Me if I Pass by You? Socially-Appropriate Behaviour for an Omni-based Social Robot in Narrow Environment

abstract: Interacting physically with robots and sharing environment with them leads to situations where humans and robots have to cross each other in narrow corridors. In these cases, the robot has to make space for the human to pass. From observation of human-human crossing behaviours, we isolated two main factors in this avoiding behaviour: body rotation and sliding motion. We implemented a robot controller able to vary these factors and explored how this variation impacted on people's perception. Results from a within-participants study involving 23 participants show that people prefer a robot rotating its body when crossing them. Additionally, a sliding motion is rated as being warmer. These results show the importance of social avoidance when interacting with humans.


title: Budgeted Steiner Networks: Three Terminals with Equal Path Weights

abstract: Given a set of terminals in 2D/3D, the network with the shortest total length that connects all terminals is a Steiner tree. On the other hand, with enough budget, every terminal can be connected to every other terminals via a straight edge, yielding a complete graph over all terminals. In this work, we study a generalization of Steiner trees asking what happens in between these two extremes. Focusing on three terminals with equal pairwise path weights, we characterize the full evolutionary pathway between the Steiner tree and the complete graph, which contains intriguing intermediate structures.


title: Plume: Differential Privacy at Scale

abstract: Differential privacy has become the standard for private data analysis, and an extensive literature now offers differentially private solutions to a wide variety of problems. However, translating these solutions into practical systems often requires confronting details that the literature ignores or abstracts away: users may contribute multiple records, the domain of possible records may be unknown, and the eventual system must scale to large volumes of data. Failure to carefully account for all three issues can severely impair a system's quality and usability. We present Plume, a system built to address these problems. We describe a number of sometimes subtle implementation issues and offer practical solutions that, together, make an industrial-scale system for differentially private data analysis possible. Plume is currently deployed at Google and is routinely used to process datasets with trillions of records.


title: Graphical Direct-Writing of Macroscale Domain Structures with Nanoscale Spatial Resolution in Non-Polar-Cut Lithium Niobate on Insulators

abstract: We reported on a graphical domain engineering technique with the capability to fabricate macroscale domain structures with nanoscale spatial resolution in non-polar-cut lithium niobate thin film on insulators through the biased probe tip of scanning atomic force microscopy. It was found that the domain writing process is asymmetric with respect to the spontaneous polarization Ps even though the tip-induced poling field is mirror-symmetric. Various domain structures, with a dimension larger than millimeters while consisting of nanoscale domain elements and with arbitrary domain-wall inclination angle with respect to Ps, were designed graphically and then written directly into non-polar-cut lithium niobate crystals. As a proof of principle demonstration, periodically poled x-cut lithium niobate thin film on insulators with a period of 600 nm, a depth of 460 nm and a length of ~1 mm was fabricated. This technique could be useful for device applications in integrated optics and opto-electronics and domain-wall nanoelectronics based on lithium niobate on insulator.


title: The Role of Reusable and Single-Use Side Information in Private Information Retrieval

abstract: This paper introduces the problem of Private Information Retrieval with Reusable and Single-use Side Information (PIR-RSSI). In this problem, one or more remote servers store identical copies of a set of $K$ messages, and there is a user that initially knows $M$ of these messages, and wants to privately retrieve one other message from the set of $K$ messages. The objective is to design a retrieval scheme in which the user downloads the minimum amount of information from the server(s) while the identity of the message wanted by the user and the identities of an $M_1$-subset of the $M$ messages known by the user (referred to as reusable side information) are protected, but the identities of the remaining $M_2=M-M_1$ messages known by the user (referred to as single-use side information) do not need to be protected. The PIR-RSSI problem reduces to the classical Private Information Retrieval (PIR) problem when ${M_1=M_2=0}$, and reduces to the problem of PIR with Private Side Information or PIR with Side Information when ${M_1\geq 1,M_2=0}$ or ${M_1=0,M_2\geq 1}$, respectively. In this work, we focus on the single-server setting of the PIR-RSSI problem. We characterize the capacity of this setting for the cases of ${M_1=1,M_2\geq 1}$ and ${M_1\geq 1,M_2=1}$, where the capacity is defined as the maximum achievable download rate over all PIR-RSSI schemes. Our results show that for sufficiently small values of $K$, the single-use side information messages can help in reducing the download cost only if they are kept private; and for larger values of $K$, the reusable side information messages cannot help in reducing the download cost.


title: Non-perfect propagation of information to noisy environment with self-evolution

abstract: We study the non-perfect propagation of information to evolving low-dimensional environment that includes self-evolution as well as noisy initial states and analyze interrelations between the degree of objectivization and environment parameters. In particular, we consider an analytical model of three interacting qubits and derive its objectivity parameters. The numerical analysis shows that the quality of the spectrum broadcast structure formed during the interaction may exhibit non-monotonicity both in the speed of self-dynamics of the environment as well as its mixedness. The former effect is particularly strong, showing that -- considering part of the environment as a measurement apparatus -- an increase of the external magnetic field acting on the environment may turn the very vague measurement into close to ideal. The above effects suggest that quantum objectivity may appear after increasing the dynamics of the environment, although not with respect to the pointer basis, but some other one which we call generalized pointer or indicator basis. Furthermore, it seems also that when the objectivity is poor it may be improved, at least by some amount, by increasing thermal noise. We provide further evidence of that by analyzing the upper bounds on distance to the set of states representing perfect objectivity in the case of a higher number of qubits.


title: Angular momentum loss in gravitational scattering, radiation reaction, and the Bondi gauge ambiguity

abstract: Recently, Damour computed the radiation reaction on gravitational scattering as the (linear) response to the angular momentum loss which he found to be of ${\cal O}(G^2)$ in the gravitational constant. This is a puzzle because any amplitude calculation would produce both energy and angular momentum losses starting only at ${\cal O}(G^3)$. Another puzzle is that the resultant radiation reaction, of ${\cal O}(G^3)$, is nevertheless correct and confirmed by a number of direct calculations. We ascribe these puzzles to the BMS ambiguity in defining angular momentum. The loss of angular momentum is to be counted out from the ADM value and, therefore, should be calculated in the so-called canonical gauge under the BMS transformations in which the remote-past limit of the Bondi angular momentum coincides with the ADM angular momentum. This calculation correctly gives the ${\cal O}(G^3)$ loss. On the other hand, we introduce a gauge in which the Bondi light cones tend asymptotically to those emanating from the center of mass world line. We find that the angular momentum flux in this gauge is precisely the one used by Damour for his radiation reaction result. We call this new gauge "intrinsic" and argue that, although the correct angular momentum flux is to be computed in the canonical gauge, any mechanical calculation of gauge-dependent quantities -- such as angular momentum -- gives the result in the intrinsic gauge. Therefore, it is this gauge that should be used in the linear response formula. This solves the puzzles and establishes the correspondence between the intrinsic mechanical calculations and the Bondi formalism.


title: A Probabilistic Framework for Dynamic Object Recognition in 3D Environment With A Novel Continuous Ground Estimation Method

abstract: In this thesis a probabilistic framework is developed and proposed for Dynamic Object Recognition in 3D Environments. A software package is developed using C++ and Python in ROS that performs the detection and tracking task. Furthermore, a novel Gaussian Process Regression (GPR) based method is developed to detect ground points in different urban scenarios of regular, sloped and rough. The ground surface behavior is assumed to only demonstrate local input-dependent smoothness. kernel's length-scales are obtained. Bayesian inference is implemented sing \textit{Maximum a Posteriori} criterion. The log-marginal likelihood function is assumed to be a multi-task objective function, to represent a whole-frame unbiased view of the ground at each frame because adjacent segments may not have similar ground structure in an uneven scene while having shared hyper-parameter values. Simulation results shows the effectiveness of the proposed method in uneven and rough scenes which outperforms similar Gaussian process based ground segmentation methods.


title: Monopoles, Exotic states and Muon $g-2$ in TeV scale Trinification

abstract: We study the low energy implications of a trinification model based on the gauge symmetry $G= SU(3)_c \times SU(3)_L \times SU(3)_R$, without imposing gauge coupling unification. A minimal model requires two Higgs multiplets that reside in the bi-fundamental representation of $G$, and this is shown to be adequate for accommodating the Standard Model (SM) fermion masses and generate, via loop corrections and seesaw mechanism, suitable masses for the heavy neutral leptons as well as the observed SM neutrinos. We estimate a lower bound of around 15 TeV for the masses of the new down-type quarks that are required by the $SU(3)_L \times SU(3)_R$ symmetry. We examine the resonant production at the LHC of the new gauge bosons, which leads to a lower bound of 16 TeV for the symmetry breaking scale of $G$. We also show how the muon $g-2$ anomaly can be resolved in the presence of these new gauge bosons and the heavy charged leptons present in the model. Finally, the model predicts the presence of a topologically stable monopole carrying three quanta $(6 \pi /e)$ of Dirac magnetic charge and mass $\gtrsim 160$ TeV. If new matter fields lying in the fundamental representations of G are included, the model predicts the presence of exotic leptons, mesons and baryons carrying fractional electric charges such as $\pm e/3$ and $\pm 2e/3$, fully compatible with the Dirac quantization condition.


title: Cycles in Mallows random permutations

abstract: We study cycle counts in permutations of $1,\dots,n$ drawn at random according to the Mallows distribution. Under this distribution, each permutation $\pi \in S_n$ is selected with probability proportional to $q^{\text{inv}(\pi)}$, where $q>0$ is a parameter and $\text{inv}(\pi)$ denotes the number of inversions of $\pi$. For $\ell$ fixed, we study the vector $(C_1(\Pi_n),\dots,C_\ell(\Pi_n))$ where $C_i(\pi)$ denotes the number of cycles of length $i$ in $\pi$ and $\Pi_n$ is sampled according to the Mallows distribution. Here we show that if $0<q<1$ is fixed and $n\to\infty$ then there are positive constants $m_i$ such that each $C_i(\Pi_n)$ has mean $(1+o(1)) \cdot m_i\cdot n$ and the vector of cycle counts can be suitably rescaled to tend to a joint Gaussian distribution. Our results also show that when $q>1$ there is striking difference between the behaviour of the even and the odd cycles. The even cycle counts still have linear means, and when properly rescaled tend to a multivariate Gaussian distribution. For the odd cycle counts on the other hand, the limiting behaviour depends on the parity of $n$ when $q>1$. Both $(C_1(\Pi_{2n}),C_3(\Pi_{2n}),\dots)$ and $(C_1(\Pi_{2n+1}),C_3(\Pi_{2n+1}),\dots)$ have discrete limiting distributions -- they do not need to be renormalized -- but the two limiting distributions are distinct for all $q>1$. We describe these limiting distributions in terms of Gnedin and Olshanski's bi-infinite extension of the Mallows model. We also investigate these limiting distributions, and study the behaviour of the constants involved in the Gaussian limit laws. We for example show that as $q\downarrow 1$ the expected number of 1-cycles tends to $1/2$ -- which, curiously, differs from the value corresponding to $q=1$. In addition we exhibit an interesting "oscillating" behaviour in the limiting probability measures for $q>1$ and $n$ odd versus $n$ even.


title: Asymmetric Coded Caching for Multi-Antenna Location-Dependent Content Delivery

abstract: Efficient usage of in-device storage and computation capabilities are key solutions to support data-intensive applications such as immersive digital experiences. This paper proposes a location-dependent multi-antenna coded caching -based content delivery scheme tailored specifically for wireless immersive viewing applications. First, a novel memory allocation process incentivizes the content relevant to the identified wireless bottleneck areas. This enables a trade-off between local and global caching gains and results in unequal fractions of location-dependent multimedia content cached by each user. Then, a novel packet generation process is carried out during the subsequent delivery phase, given the asymmetric cache placement. During this phase, the number of packets transmitted to each user is the same, while the sizes of the packets are proportional to the corresponding location-dependent cache ratios. In this regard, each user is served with location-specific content using joint multicast beamforming and a multi-rate modulation scheme that simultaneously benefits from global caching and spatial multiplexing gains. Numerical experiments and mathematical analysis demonstrate significant performance gains compared to the state-of-the-art.


title: On the stability of the invariant probability measures of McKean-Vlasov equations

abstract: We study the long-time behavior of some McKean-Vlasov stochastic differential equations used to model the evolution of large populations of interacting agents. We give conditions ensuring the local stability of an invariant probability measure. Lions derivatives are used in a novel way to obtain our stability criteria. We obtain results for non-local McKean-Vlasov equations on $\mathbb{R}^d$ and for McKean-Vlasov equations on the torus where the interaction kernel is given by a convolution. On $\mathbb{R}^d$, we prove that the location of the roots of an analytic function determines the stability. On the torus, our stability criterion involves the Fourier coefficients of the interaction kernel. In both cases, we prove the convergence in the Wasserstein metric $W_1$ with an exponential rate of convergence.


title: Domain-Invariant Representation Learning from EEG with Private Encoders

abstract: Deep learning based electroencephalography (EEG) signal processing methods are known to suffer from poor test-time generalization due to the changes in data distribution. This becomes a more challenging problem when privacy-preserving representation learning is of interest such as in clinical settings. To that end, we propose a multi-source learning architecture where we extract domain-invariant representations from dataset-specific private encoders. Our model utilizes a maximum-mean-discrepancy (MMD) based domain alignment approach to impose domain-invariance for encoded representations, which outperforms state-of-the-art approaches in EEG-based emotion classification. Furthermore, representations learned in our pipeline preserve domain privacy as dataset-specific private encoding alleviates the need for conventional, centralized EEG-based deep neural network training approaches with shared parameters.


title: Elevated critical temperature at BCS superconductor-band insulator interfaces

abstract: We consider the interface between a Bardeen-Cooper-Schrieffer superconductor and non-superconducting band insulator. We show that under certain conditions, such interfaces can have an elevated superconducting critical temperature, without increasing the strength of the pairing interaction at the interface. We identify the regimes where the interface critical temperature exceeds the critical temperature associated with a superconductor-vacuum interface.


title: Two-loop tensor integral coefficients in OpenLoops

abstract: We present a new and fully general algorithm for the automated construction of the integrands of two-loop scattering amplitudes. This is achieved through a generalisation of the open-loops method to two loops. The core of the algorithm consists of a numerical recursion, where the various building blocks of two-loop diagrams are connected to each other through process-independent operations that depend only on the Feynman rules of the model at hand. This recursion is implemented in terms of tensor coefficients that encode the polynomial dependence of loop numerators on the two independent loop momenta. The resulting coefficients are ready to be combined with corresponding tensor integrals to form scattering probability densities at two loops. To optimise CPU efficiency we have compared several algorithmic options identifying one that outperforms naive solutions by two orders of magnitude. This new algorithm is implemented in the OpenLoops framework in a fully automated way for two-loop QED and QCD corrections to any Standard Model process. The technical performance is discussed in detail for several $2\to2$ and $2\to 3$ processes with up to order $10^5$ two-loop diagrams. We find that the CPU cost scales linearly with the number of two-loop diagrams and is comparable to the cost of corresponding real-virtual ingredients in a NNLO calculation. This new algorithm constitutes a key building block for the construction of an automated generator of scattering amplitudes at two loops.


title: On the Role of Multi-Objective Optimization to the Transit Network Design Problem

abstract: Ongoing traffic changes, including those triggered by the COVID-19 pandemic, reveal the necessity to adapt our public transport systems to the ever-changing users' needs. This work shows that single and multi objective stances can be synergistically combined to better answer the transit network design problem (TNDP). Single objective formulations are dynamically inferred from the rating of networks in the approximated (multi-objective) Pareto Front, where a regression approach is used to infer the optimal weights of transfer needs, times, distances, coverage, and costs. As a guiding case study, the solution is applied to the multimodal public transport network in the city of Lisbon, Portugal. The system takes individual trip data given by smartcard validations at CARRIS buses and METRO subway stations and uses them to estimate the origin-destination demand in the city. Then, Genetic Algorithms are used, considering both single and multi objective approaches, to redesign the bus network that better fits the observed traffic demand. The proposed TNDP optimization proved to improve results, with reductions in objective functions of up to 28.3%. The system managed to extensively reduce the number of routes, and all passenger related objectives, including travel time and transfers per trip, significantly improve. Grounded on automated fare collection data, the system can incrementally redesign the bus network to dynamically handle ongoing changes to the city traffic.


title: List Decoding of 2-Interleaved Binary Alternant Codes

abstract: This paper is concerned with list decoding of $2$-interleaved binary alternant codes. The principle of the proposed algorithm is based on a combination of a list decoding algorithm for (interleaved) Reed-Solomon codes and an algorithm for (non-interleaved) alternant codes. A new upper bound on the decoding radius is derived and the list size is shown to scale polynomially in the code parameters. While it remains an open problem whether this upper bound is achievable, the provided simulation results show that a decoding radius exceeding the binary Johnson radius can be achieved with a high probability of decoding success by the proposed algorithm.


title: Corona Rigidity

abstract: We give a unified overview of the study of the effects of additional set theoretic axioms on quotient structures. Our focus is on rigidity, measured in terms of existence (or rather non-existence) of suitably \emph{non-trivial} automorphisms of the quotients in question. A textbook example for the study of this topic is the Boolean algebra $\mathcal P(\mathbb N)/Fin$, whose behavior is the template around which this survey revolves: Forcing axioms imply that all of its automorphisms are \emph{trivial}, in the sense that they are induced by almost permutations of $\mathbb N$, while under the Continuum Hypothesis this rigidity fails and $\mathcal P(\mathbb N)/Fin$ admits uncountably many non-trivial automorphisms. We consider far-reaching generalizations of this phenomenon and present a wide variety of situations where analogous patterns persist, focusing mainly (but not exclusively) on the categories of Boolean algebras, \v Cech--Stone remainders, and $\mathrm{C}^*$-algebras. We survey the state of the art and the future prospects of this field, discussing the major open problems and outlining the main ideas of the proofs whenever possible.


title: Positive First-order Logic on Words and Graphs

abstract: We study FO+, a fragment of first-order logic on finite words, where monadic predicates can only appear positively. We show that there is an FO-definable language that is monotone in monadic predicates but not definable in FO+. This provides a simple proof that Lyndon's preservation theorem fails on finite structures. We lift this example language to finite graphs, thereby providing a new result of independent interest for FO-definable graph classes: negation might be needed even when the class is closed under addition of edges. We finally show that the problem of whether a given regular language of finite words is definable in FO+ is undecidable.


title: Domain generalization in deep learning-based mass detection in mammography: A large-scale multi-center study

abstract: Computer-aided detection systems based on deep learning have shown great potential in breast cancer detection. However, the lack of domain generalization of artificial neural networks is an important obstacle to their deployment in changing clinical environments. In this work, we explore the domain generalization of deep learning methods for mass detection in digital mammography and analyze in-depth the sources of domain shift in a large-scale multi-center setting. To this end, we compare the performance of eight state-of-the-art detection methods, including Transformer-based models, trained in a single domain and tested in five unseen domains. Moreover, a single-source mass detection training pipeline is designed to improve the domain generalization without requiring images from the new domain. The results show that our workflow generalizes better than state-of-the-art transfer learning-based approaches in four out of five domains while reducing the domain shift caused by the different acquisition protocols and scanner manufacturers. Subsequently, an extensive analysis is performed to identify the covariate shifts with bigger effects on the detection performance, such as due to differences in patient age, breast density, mass size, and mass malignancy. Ultimately, this comprehensive study provides key insights and best practices for future research on domain generalization in deep learning-based breast cancer detection.


title: eQETIC: A Maturity Model for Online Education

abstract: Digital solutions have substantially contributed to the growth and dissemination of education. The distance education modality has been presented as an opportunity for worldwide students in many types of courses. However, projects of digital educational platforms require different expertise including knowledge areas such as pedagogy, psychology, computing, and digital technologies associated with education that allow the correct development and application of these solutions. To support the evolution of such solutions with satisfactory quality indicators, this research presents a model focused on quality of online educational solutions grounded in an approach aimed to continuous process improvement. The model considers of three maturity levels and six common entities that address the specific practices for planning and developing digital educational solutions, targeting quality standards that satisfy their users, such as students, teachers, tutors, and other people involved in development and use of these kinds of educational solutions.


title: The Open Coloring Axiom

abstract: This work is concerned with an axiom introduced by Todorcevic in [9] that constitutes a Ramsey-like statement regarding the topology of the reals. Our aim is to explain the axiom in detail, give some interesting applications and finally prove that the axiom is indeed consistent with ZFC, so that it makes sense to consider working with it in the first place. For this particular academic endeavor, we cover several advanced topics in set theory, including concepts like Hausdorff gaps, forcing, infinitary combinatorics and a tad of topology. We employ, for example, an argument based on Rothberger's theorem to show that the Open Coloring Axiom implies the equality $\mathfrak b=\aleph_1$, which in turn makes this axiom inconsistent with CH. In other words, in ZFC, the Open Coloring Axiom could be false. To prove its relative consistency, we show that the axiom could be true by following a rather long and technical lemma of Todorcevic, which leads to the culmination of this work.


title: Simultaneously solving the $H_0$ and $\sigma_8$ tensions with late dark energy

abstract: In a model independent approach, we derive generic conditions that any late time modification of the $\Lambda$CDM expansion history must satisfy in order to consistently solve both the $H_0$ and the $\sigma_8$ tensions. Our results are fully analytical and the method is merely based on the assumption that the late-time deviations from $\Lambda$CDM remain small. For the concrete case of a dark energy fluid with deviations encoded in the expansion history and the gravitational coupling constant, we present necessary conditions on its equation of state. Solving both the $H_0$ and $\sigma_8$ tensions requires that $w(z)$ must cross the phantom divide if $G_\text{eff}=G$. On the other hand, for $G_\text{eff}=G+\delta G(z)$ and $w(z)\leq -1$, it is required that $\displaystyle \frac{\delta G(z)}{G}<\alpha(z)\frac{\delta H(z)}{H(z)}<0$ at some redshift $z$.


title: LiteLSTM Architecture for Deep Recurrent Neural Networks

abstract: Long short-term memory (LSTM) is a robust recurrent neural network architecture for learning spatiotemporal sequential data. However, it requires significant computational power for learning and implementing from both software and hardware aspects. This paper proposes a novel LiteLSTM architecture based on reducing the computation components of the LSTM using the weights sharing concept to reduce the overall architecture cost and maintain the architecture performance. The proposed LiteLSTM can be significant for learning big data where time-consumption is crucial such as the security of IoT devices and medical data. Moreover, it helps to reduce the CO2 footprint. The proposed model was evaluated and tested empirically on two different datasets from computer vision and cybersecurity domains.


title: SemRob: Towards Semantic Stream Reasoning for Robotic Operating Systems

abstract: Stream processing and reasoning is getting considerable attention in various application domains such as IoT, Industry IoT and Smart Cities. In parallel, reasoning and knowledge-based features have attracted research into many areas of robotics, such as robotic mapping, perception and interaction. To this end, the Semantic Stream Reasoning (SSR) framework can unify the representations of symbolic/semantic streams with deep neural networks, to integrate high-dimensional data streams, such as video streams and LiDAR point clouds, with traditional graph or relational stream data. As such, this positioning and system paper will outline our approach to build a platform to facilitate semantic stream reasoning capabilities on a robotic operating system called SemRob.


title: Chemical design rules for non-fullerene acceptors in organic solar cells

abstract: Efficiencies of organic solar cells have practically doubled since the development of non-fullerene acceptors (NFAs). However, generic chemical design rules for donor-NFA combinations are still needed. Such rules are proposed by analyzing inhomogeneous electrostatic fields at the donor-acceptor interface. It is shown that an acceptor-donor-acceptor molecular architecture, and molecular alignment parallel to the interface, results in energy level bending that destabilizes the charge transfer state, thus promoting its dissociation into free charges. By analyzing a series of PCE10:NFA solar cells, with NFAs including Y6, IEICO, and ITIC, as well as their halogenated derivatives, it is suggested that the molecular quadrupole moment of ca 75 Debye A balances the losses in the open circuit voltage and gains in charge generation efficiency.


title: Internal Language Model Estimation Through Explicit Context Vector Learning for Attention-based Encoder-decoder ASR

abstract: An end-to-end (E2E) ASR model implicitly learns a prior Internal Language Model (ILM) from the training transcripts. To fuse an external LM using Bayes posterior theory, the log likelihood produced by the ILM has to be accurately estimated and subtracted. In this paper we propose two novel approaches to estimate the ILM based on Listen-Attend-Spell (LAS) framework. The first method is to replace the context vector of the LAS decoder at every time step with a vector that is learned with training transcripts. Furthermore, we propose another method that uses a lightweight feed-forward network to directly map query vector to context vector in a dynamic sense. Since the context vectors are learned by minimizing the perplexities on training transcripts, and their estimation is independent of encoder output, hence the ILMs are accurately learned for both methods. Experiments show that the ILMs achieve the lowest perplexity, indicating the efficacy of the proposed methods. In addition, they also significantly outperform the shallow fusion method, as well as two previously proposed ILM Estimation (ILME) approaches on several datasets.


title: Early Detection of Network Attacks Using Deep Learning

abstract: The Internet has become a prime subject to security attacks and intrusions by attackers. These attacks can lead to system malfunction, network breakdown, data corruption or theft. A network intrusion detection system (IDS) is a tool used for identifying unauthorized and malicious behavior by observing the network traffic. State-of-the-art intrusion detection systems are designed to detect an attack by inspecting the complete information about the attack. This means that an IDS would only be able to detect an attack after it has been executed on the system under attack and might have caused damage to the system. In this paper, we propose an end-to-end early intrusion detection system to prevent network attacks before they could cause any more damage to the system under attack while preventing unforeseen downtime and interruption. We employ a deep neural network-based classifier for attack identification. The network is trained in a supervised manner to extract relevant features from raw network traffic data instead of relying on a manual feature selection process used in most related approaches. Further, we introduce a new metric, called earliness, to evaluate how early our proposed approach detects attacks. We have empirically evaluated our approach on the CICIDS2017 dataset. The results show that our approach performed well and attained an overall 0.803 balanced accuracy.


title: Asteroseismology across the HR diagram

abstract: Asteroseismology has grown from its beginnings three decades ago to a mature field teeming with discoveries and applications. This phenomenal growth has been enabled by space photometry with precision $10-100$ times better than ground-based observations, with nearly continuous light curves for durations of weeks to years, and by large scale ground-based surveys spanning years designed to detect all time-variable phenomena. The new high precision data are full of surprises, deepening our understanding of the physics of stars. $\bullet$ This review explores asteroseismic developments from the last decade primarily as a result of light curves from the Kepler and TESS space missions for: massive upper main-sequence OBAF stars, pre-main-sequence stars, peculiar stars, classical pulsators, white dwarfs and subdwarfs, and tidally interacting close binaries. $\bullet$ The space missions have increased the numbers of pulsators in many classes by an order of magnitude. $\bullet$ Asteroseismology measures fundamental stellar parameters and stellar interior physics - mass, radius, age, metallicity, luminosity, distance, magnetic fields, interior rotation, angular momentum transfer, convective overshoot, core burning stage - supporting disparate fields such as galactic archeology, exoplanet host stars, supernovae progenitors, gamma ray and gravitational wave precursors, close binary star origins and evolution, and standard candles. $\bullet$ Stars are the luminous tracers of the universe. Asteroseismology significantly improves models of stellar structure and evolution on which all inference from stars depends.


title: Automatic Classification of Neuromuscular Diseases in Children Using Photoacoustic Imaging

abstract: Neuromuscular diseases (NMDs) cause a significant burden for both healthcare systems and society. They can lead to severe progressive muscle weakness, muscle degeneration, contracture, deformity and progressive disability. The NMDs evaluated in this study often manifest in early childhood. As subtypes of disease, e.g. Duchenne Muscular Dystropy (DMD) and Spinal Muscular Atrophy (SMA), are difficult to differentiate at the beginning and worsen quickly, fast and reliable differential diagnosis is crucial. Photoacoustic and ultrasound imaging has shown great potential to visualize and quantify the extent of different diseases. The addition of automatic classification of such image data could further improve standard diagnostic procedures. We compare deep learning-based 2-class and 3-class classifiers based on VGG16 for differentiating healthy from diseased muscular tissue. This work shows promising results with high accuracies above 0.86 for the 3-class problem and can be used as a proof of concept for future approaches for earlier diagnosis and therapeutic monitoring of NMDs.


title: Towards Greener Applications: Enabling Sustainable Cloud Native Applications Design

abstract: Data centers energy demand is increasing. While a great deal of effort has been made to reduce the amount of CO$_2$ generated by large cloud providers, too little has been done from the application perspective. We claim that application developers can impact the environmental footprint by enhancing the application design with additional features. Following the proposed Sustainable Application Design Process (SADP), the application design is enriched with information that can be leveraged by cloud providers to manage application execution in an energy-aware manner. This exploratory work aims to emphasize the awareness on the sustainability of applications by proposing a methodology for its evaluation. To this end, we first suggest possible actions to enrich the application design towards sustainability, and finally describe how this additional information can be leveraged in the application workflow. We discuss the feasibility of our methodology by referring to existing tools and technologies capable of supporting the design features proposed in a production environment.


title: Deep Video Prior for Video Consistency and Propagation

abstract: Applying an image processing algorithm independently to each video frame often leads to temporal inconsistency in the resulting video. To address this issue, we present a novel and general approach for blind video temporal consistency. Our method is only trained on a pair of original and processed videos directly instead of a large dataset. Unlike most previous methods that enforce temporal consistency with optical flow, we show that temporal consistency can be achieved by training a convolutional neural network on a video with Deep Video Prior (DVP). Moreover, a carefully designed iteratively reweighted training strategy is proposed to address the challenging multimodal inconsistency problem. We demonstrate the effectiveness of our approach on 7 computer vision tasks on videos. Extensive quantitative and perceptual experiments show that our approach obtains superior performance than state-of-the-art methods on blind video temporal consistency. We further extend DVP to video propagation and demonstrate its effectiveness in propagating three different types of information (color, artistic style, and object segmentation). A progressive propagation strategy with pseudo labels is also proposed to enhance DVP's performance on video propagation. Our source codes are publicly available at https://github.com/ChenyangLEI/deep-video-prior.


title: Tick-Tock: The Imminent Merger of a Supermassive Black Hole Binary

abstract: Supermassive black hole binaries (SMBHs) are a fascinating byproduct of galaxy mergers in the hierarchical universe. In the last stage of their orbital evolution, gravitational wave radiation drives the binary inspiral and produces the loudest siren awaiting to be detected by gravitational wave observatories. Periodically varying emission from active galactic nuclei has been proposed as a powerful approach to probe such systems, although none of the identified candidates are close to their final coalescence such that the observed periods stay constant in time. In this work, we report on the first system with rapid decaying periods revealed by its optical and X-ray light curves, which has decreased from about one year to one month in three years. Together with its optical hydrogen line spectroscopy, we propose that the system is an uneven mass-ratio, highly eccentric SMBH binary which will merge within three years, as predicted by the trajectory evolution model. If the interpretation is true, coordinated, multi-band electromagnetic campaign should be planned for this first binary SMBH merger event observed in human history, together with possible neutrino measurements. Gravitational wave memory from this event may also be detectable by Pulsar Timing Array with additional five-to-ten year observation.


title: Gravitational Waves in Full, Non-Linear General Relativity

abstract: These notes provide a student-friendly introduction to the theory of gravitational waves in full, non-linear general relativity (GR). We aim for a balance between physical intuition and mathematical rigor and cover topics such as the Newman-Penrose formalism, electromagnetic waves, asymptotically Minkowski spacetimes, the peeling theorem, the universal structure of null infinity, the Bondi-Metzner-Sachs group, and the definition of radiative modes in linear as well as in non-linear GR. Many exercises and some explicitly calculated examples complement the abstract theory and are designed to help students build up their intuition and see the mathematical machinery at work.


title: Probing the $Zb\bar{b}$ anomalous couplings via exclusive $Z$ boson decay

abstract: We propose to utilize the exclusive $Z$-boson rare decays $Z\to \Upsilon(ns)+\gamma$ to constrain the $Zb\bar{b}$ couplings at the HL-LHC and 100 TeV proton-proton collider. We demonstrate that the event yield of the proposed processes is sensitive to the axial-vector component of the $Zb\bar{b}$ coupling and can provide complementary information to the jet-charge weighted single-spin asymmetry measurement at the EIC and the $gg\to Zh$ production rate measurement at the LHC. By applying the NRQCD factorization formalism, we calculate the partial decay width of $Z\to \Upsilon(ns)+\gamma$ to the NLO accuracy in strong interaction, which is found to agree with those obtained from the light-cone distribution amplitude approach. We show that the HL-LHC can break the degeneracy of the $Zb\bar{b}$ couplings, as implied by the precision electroweak data at LEP and SLC, if the signal efficiency can be improved by a factor of 1.7 from the present ATLAS analysis at the 13 TeV LHC with an integrated luminosity of $36.1~{\rm fb}^{-1}$.


title: Automatic computation of Feynman integrals containing linear propagators via auxiliary mass flow

abstract: We proposed a recipe to systematically calculate Feynman integrals containing linear propagators using the auxiliary mass flow method. The key of the recipe is to introduce a quadratic term for each linear propagator and then using differential equations to get rid of their effects. As an application, we calculated all master integrals of vacuum integrals containing a gauge link up to four loops, and we checked the results by nontrivial dimensional recurrence relations.


title: Determining Feynman integrals with only input from linear algebra

abstract: We find that all Feynman integrals (FIs), having any number of loops, can be completely determined once linear relations between FIs are provided. Therefore, FIs computation is conceptually changed to a linear algebraic problem. Examples up to 5 loops are given to verify this observation. As a byproduct, we get a powerful method to calculate perturbative corrections in quantum field theory.


title: Reuse-Aware Cache Partitioning Framework for Data-Sharing Multicore Systems

abstract: Multi-core processors improve performance, but they can create unpredictability owing to shared resources such as caches interfering. Cache partitioning is used to alleviate the Worst-Case Execution Time (WCET) estimation by isolating the shared cache across each thread to reduce interference. It does, however, prohibit data from being transferred between parallel threads running on different cores. In this paper we present (SRCP) a cache replacement mechanism for partitioned caches that is aware of data being shared across threads, prevents shared data from being replicated across partitions and frequently used data from being evicted from caches. Our technique outperforms TA-DRRIP and EHC, which are existing state-of-the-art cache replacement algorithms, by 13.34% in cache hit-rate and 10.4% in performance over LRU (least recently used) cache replacement policy.


title: Capacity of Finite State Channels with Feedback: Algorithmic and Optimization Theoretic Properties

abstract: The capacity of finite state channels (FSCs) with feedback has been shown to be a limit of a sequence of multi-letter expressions. Despite many efforts, a closed-form single-letter capacity characterization is unknown to date. In this paper, the feedback capacity is studied from a fundamental algorithmic point of view by addressing the question of whether or not the capacity can be algorithmically computed. To this aim, the concept of Turing machines is used, which provides fundamental performance limits of digital computers. It is shown that the feedback capacity of FSCs is not Banach-Mazur computable and therefore not Borel-Turing computable. As a consequence, it is shown that either achievability or converse is not Banach-Mazur computable, which means that there are computable FSCs for which it is impossible to find computable tight upper and lower bounds. Furthermore, it is shown that the feedback capacity cannot be characterized as the maximization of a finite-letter formula of entropic quantities.


title: Towards Data-driven LQR with Koopmanizing Flows

abstract: We propose a novel framework for learning linear time-invariant (LTI) models for a class of continuous-time non-autonomous nonlinear dynamics based on a representation of Koopman operators. In general, the operator is infinite-dimensional but, crucially, linear. To utilize it for efficient LTI control design, we learn a finite representation of the Koopman operator that is linear in controls while concurrently learning meaningful lifting coordinates. For the latter, we rely on Koopmanizing Flows - a diffeomorphism-based representation of Koopman operators and extend it to systems with linear control entry. With such a learned model, we can replace the nonlinear optimal control problem with quadratic cost to that of a linear quadratic regulator (LQR), facilitating efficacious optimal control for nonlinear systems. The superior control performance of the proposed method is demonstrated on simulation examples.


title: Emergent neutrinos from heavy messengers

abstract: Fermionic bound states (mesinos) of messengers can play the role of right-handed neutrinos and due to their heavy masses they can realize the seesaw mechanism providing light and heavy sterile neutrinos. We study simple models with a single mesino to present the proof of principle. We extend our analysis to three mesino states where after the seesaw mechanism, three light and several heavy sterile neutrinos are obtained.


title: Search for solar atmospheric neutrinos with the ANTARES neutrino telescope

abstract: Solar Atmospheric Neutrinos (SA$\nu$s) are produced by the interaction of cosmic rays with the solar medium. The detection of SA$\nu$s would provide useful information on the composition of primary cosmic rays as well as the solar density. These neutrinos represent an irreducible source of background for indirect searches for dark matter towards the Sun and the measurement of their flux would allow for a better assessment of the uncertainties related to these searches. In this paper we report on the analysis performed, based on an unbinned likelihood maximisation, to search for SA$\nu$s with the ANTARES neutrino telescope. After analysing the data collected over 11 years, no evidence for a solar atmospheric neutrino signal has been found. An upper limit at 90\% confidence level on the flux of solar atmospheric neutrinos has been obtained, equal to 7$\times$$10^{-11}$ [TeV$^{-1}$cm$^{-2}$s$^{-1}$] at E$_\nu =$ 1 TeV for the reference cosmic ray model assumed.


title: From the Ravine method to the Nesterov method and vice versa: a dynamical system perspective

abstract: We revisit the Ravine method of Gelfand and Tsetlin from a dynamical system perspective, study its convergence properties, and highlight its similarities and differences with the Nesterov accelerated gradient method. The two methods are closely related. They can be deduced from each other by reversing the order of the extrapolation and gradient operations in their definitions. They benefit from similar fast convergence of values and convergence of iterates for general convex objective functions. We will also establish the high resolution ODE of the Ravine and Nesterov methods, and reveal an additional geometric damping term driven by the Hessian for both methods. This will allow us to prove fast convergence towards zero of the gradients not only for the Ravine method but also for the Nesterov method for the first time. We also highlight connections to other algorithms stemming from more subtle discretization schemes, and finally describe a Ravine version of the proximal-gradient algorithms for general structured smooth + non-smooth convex optimization problems.


title: Hubbard-corrected oxide formation enthalpies without adjustable parameters

abstract: A density functional theory (DFT) approach to computing transition metal oxide heat of formation without adjustable parameters is presented. Different degrees of $d$-electron localization in oxides are treated within the DFT+$U$ approach with site-dependent, first-principles Hubbard $U$-parameters obtained from linear response theory, and delocalized states in the metallic phases are treated without Hubbard corrections. Comparison of relative stabilities of these differently treated phases is enabled by a local $d$-electron density matrix-dependent model, which was found by genetic programming against experimental reference formation enthalpies. This mathematically simple model does not explicitly depend on the Hubbard-corrected ionic species and is shown to reproduce the heats of formation of the Mott insulators Ca$_2$RuO$_4$ and Y$_2$Ru$_2$O$_7$ within $\sim$3% of experimental results, where the experimental training data did not contain Ru oxides. This newly developed method thus absolves from the need for element-specific corrections fitted to experiments in existing Hubbard-corrected approaches to the prediction of reaction energies of transition metal oxides and metals. The absence of fitting parameters opens up here the possibility to predict relative thermodynamic stabilities and reaction energies involving $d$-states of varying degree of localization at transition metal oxide interfaces and defects, where site-dependent $U$-parameters will be particularly important and devising a fitting scheme against experimental data with predictive power would be exceedingly difficult.


title: Spatiotemporal dynamics in a twisted, circular waveguide array

abstract: We consider the existence and spectral stability of nonlinear discrete localized solutions representing light pulses propagating in a twisted multi-core optical fiber. By considering an even number, $N$, of waveguides, we derive asymptotic expressions for solutions in which the bulk of the light intensity is concentrated as a soliton-like pulses confined to a single waveguide. The leading order terms obtained are in very good agreement with results of numerical computations. Furthermore, as in the model without temporal dispersion, when the twist parameter, $\phi$, is given by $\phi = \pi/N$, these standing waves exhibit optical suppression, in which a single waveguide remains unexcited, to leading order. Spectral computations and numerical evolution experiments suggest that these standing wave solutions are stable for values of the coupling parameter less than a critical value, at which point a spectral instability results from the collision of an internal eigenvalue with the eigenvalues at the origin. This critical value has a maximum when $\phi = \pi/N$.


title: Signals for vector-like leptons in an $S_3$-symmetric 2HDM at ILC

abstract: In this work, we explore the signals of an $S_3$-symmetric two Higgs doublet model with two generations of vector-like leptons (VLLs) at the proposed International Linear Collider (ILC). The lightest neutral component of the VLL in this model provides a viable dark matter (DM) candidate satisfying the current relic density data as well as circumventing all direct and indirect DM search constraints. Some representative benchmark points have been selected with low, medium and high DM masses, satisfying all theoretical and experimental constraints of the model and constraints coming from the DM sector. The VLLs (both neutral and charged) will be produced in pair leading to multi-lepton and multi-jet final states. We show that the ILC will prove to be a much more efficient and useful machine to hunt for such signals compared to LHC. Using traditional cut-based analysis as well as sophisticated multivariate analysis, we perform a detailed analysis of some promising channels containing mono-lepton plus di-jet, di-lepton, four-lepton and four jets along with missing transverse energy in the final state at 1 TeV ILC.


title: Data-Driven Time Propagation of Quantum Systems with Neural Networks

abstract: We investigate the potential of supervised machine learning to propagate a quantum system in time. While Markovian dynamics can be learned easily, given a sufficient amount of data, non-Markovian systems are non-trivial and their description requires the memory knowledge of past states. Here we analyse the feature of such memory by taking a simple 1D Heisenberg model as many-body Hamiltonian, and construct a non-Markovian description by representing the system over the single-particle reduced density matrix. The number of past states required for this representation to reproduce the time-dependent dynamics is found to grow exponentially with the number of spins and with the density of the system spectrum. Most importantly, we demonstrate that neural networks can work as time propagators at any time in the future and that they can be concatenated in time forming an autoregression. Such neural-network autoregression can be used to generate long-time and arbitrary dense time trajectories. Finally, we investigate the time resolution needed to represent the system memory. We find two regimes: for fine memory samplings the memory needed remains constant, while longer memories are required for coarse samplings, although the total number of time steps remains constant. The boundary between these two regimes is set by the period corresponding to the highest frequency in the system spectrum, demonstrating that neural network can overcome the limitation set by the Shannon-Nyquist sampling theorem.


title: Effect of molecular and electronic geometries on the electronic density in FLO-SIC

abstract: Recently, Trepte et al. [J. Chem. Phys., vol. 155, 2021] pointed out the importance of analyzing dipole moments in the Fermi-L\"owdin orbital (FLO) self-interaction correction (SIC) for cyclic, planar molecules. In this manuscript, the effect of the molecular and electronic geometries on dipole moments and polarizabilities is discussed for non-cyclic molecules. Computed values are presented for water, formaldehyde, and nitromethane. Continuing the work of Schwalbe et al. [J. Chem. Phys. vol. 153, (2020)], we reconfirm that systematic numerical parameter studies are essential to obtain consistent results in density functional theory (DFT) and SIC. In agreement with Trepte et al. [J. Chem. Phys., vol. 155, 2021], DFT agrees well with experiment for dipole moments, while SIC slightly overestimates them. A Linnett double-quartet electronic geometry is found to be energetically preferred for nitromethane.


title: Grid-friendly Matching Control of Synchronous Machines by DC/AC Converters in Bulk Power Networks

abstract: An islanded inverter-based microgrid is a collection of heterogeneous DC energy resources, e.g., photovoltaic arrays, fuel cells, and energy-storage devices, interfaced to an AC distribution network and operated independently from the bulk power system. Energy conversion is typically managed by power electronics in voltage source inverters. Drawing from the control of synchronous machines in bulk power systems, different control schemes have been recently adopted in order to achieve a stable network operation. The vast majority of academic and industrial efforts opt for these strategies during real-time operation. Starting with a dynamical averaged DC/AC converter model, we review different controllers by presenting their main scope analytically and through simulations. Next, we explore a new alternative of controlling DC/AC converters in bulk power systems by matching traditional synchronous machines with emphasis on the role that DC-circuit can play in control architecture, usually neglected in conventional strategies. Compared to standard emulation methods, our controller relies solely on readily available DC-side measurements and takes into account the natural DC and AC storage elements. As a result, our controller is generally faster and less vulnerable to delays and measurement inaccuracies. We additionally provide insightful interpretations of the suggested control, various plug-and-play properties of the closed-loop, such as steady-state power flow analysis, passivity with respect to the DC and AC ports, stability proof as well as high-level control architectures contributing to enhancing the controller performance and attaining further control goals, which we illustrate in both analysis and simulation.


title: Incremental Mining of Frequent Serial Episodes Considering Multiple Occurrences

abstract: The need to analyze information from streams arises in a variety of applications. One of its fundamental research directions is to mine sequential patterns over data streams. Current studies mine series of items based on the presence of the pattern in transactions but pay no attention to the series of itemsets and their multiple occurrences. The pattern over a window of itemsets stream and their multiple occurrences, however, provides additional capability to recognize the essential characteristics of the patterns and the inter-relationships among them that are unidentifiable by the existing presence-based studies. In this paper, we study such a new sequential pattern mining problem and propose a corresponding sequential miner with novel strategies to prune the search space efficiently. Experiments on both real and synthetic data show the utility of our approach.


title: Bit-serial Weight Pools: Compression and Arbitrary Precision Execution of Neural Networks on Resource Constrained Processors

abstract: Applications of neural networks on edge systems have proliferated in recent years but the ever-increasing model size makes neural networks not able to deploy on resource-constrained microcontrollers efficiently. We propose bit-serial weight pools, an end-to-end framework that includes network compression and acceleration of arbitrary sub-byte precision. The framework can achieve up to 8x compression compared to 8-bit networks by sharing a pool of weights across the entire network. We further propose a bit-serial lookup based software implementation that allows runtime-bitwidth tradeoff and is able to achieve more than 2.8x speedup and 7.5x storage compression compared to 8-bit weight pool networks, with less than 1% accuracy drop.


title: Conductivity of two-dimensional small gap semiconductors and topological insulators in strong Coulomb disorder

abstract: We are honored to dedicate this article to Emmanuel Rashba on the occasion of his 95 birthday. In the ideal disorder-free situation, a two-dimensional band gap insulator has an activation energy for conductivity equal to half the band gap, $\Delta$. But transport experiments usually exhibit a much smaller activation energy at low temperature, and the relation between this activation energy and $\Delta$ is unclear. Here we consider the temperature-dependent conductivity of a two-dimensional narrow gap semiconductor on a substrate containing Coulomb impurities, mostly focusing on the case when amplitude of the random potential $\Gamma \gg \Delta$. We show that the conductivity generically exhibits three regimes and only the highest temperature regime exhibits an activation energy that reflects the band gap. At lower temperatures, the conduction proceeds through nearest-neighbor or variable-range hopping between electron and hole puddles created by the disorder. We show that the activation energy and characteristic temperature associated with these processes steeply collapse near a critical impurity concentration. Larger concentrations lead to an exponentially small activation energy and exponentially long localization length, which in mesoscopic samples can appear as a disorder-induced insulator-to-metal transition. We arrive at a similar disorder driven steep insulator-metal transition in thin films of three-dimensional topological insulators with very large dielectric constant, where due to confinement of electric field internal Coulomb impurities create larger disorder potential. Away from neutrality point this unconventional insulator-to-metal transition is augmented by conventional metal-insulator transition at small impurity concentrations, so that we arrive at disorder-driven re-entrant metal-insulator-metal transition.


title: Representations learnt by SGD and Adaptive learning rules: Conditions that vary sparsity and selectivity in neural network

abstract: From the point of view of the human brain, continual learning can perform various tasks without mutual interference. An effective way to reduce mutual interference can be found in sparsity and selectivity of neurons. According to Aljundi et al. and Hadsell et al., imposing sparsity at the representational level is advantageous for continual learning because sparse neuronal activations encourage less overlap between parameters, resulting in less interference. Similarly, highly selective neural networks are likely to induce less interference since particular response in neurons will reduce the chance of overlap with other parameters. Considering that the human brain performs continual learning over the lifespan, finding conditions where sparsity and selectivity naturally arises may provide insight for understanding how the brain functions. This paper investigates various conditions that naturally increase sparsity and selectivity in a neural network. This paper tested different optimizers with Hoyer's sparsity metric and CCMAS selectivity metric in MNIST classification task. It is essential to note that investigations on the natural occurrence of sparsity and selectivity concerning various conditions have not been acknowledged in any sector of neuroscience nor machine learning until this day. This paper found that particular conditions increase sparsity and selectivity such as applying a large learning rate and lowering a batch size. In addition to the relationship between the condition, sparsity, and selectivity, the following will be discussed based on empirical analysis: 1. The relationship between sparsity and selectivity and 2. The relationship between test accuracy, sparsity, and selectivity.


title: Model Generalization in Arrival Runway Occupancy Time Prediction by Feature Equivalences

abstract: General real-time runway occupancy time prediction modelling for multiple airports is a current research gap. An attempt to generalize a real-time prediction model for Arrival Runway Occupancy Time (AROT) is presented in this paper by substituting categorical features by their numerical equivalences. Three days of data, collected from Saab Sensis' Aerobahn system at three US airports, has been used for this work. Three tree-based machine learning algorithms: Decision Tree, Random Forest and Gradient Boosting are used to assess the generalizability of the model using numerical equivalent features. We have shown that the model trained on numerical equivalent features not only have performances at least on par with models trained on categorical features but also can make predictions on unseen data from other airports.


title: BFS based distributed algorithm for parallel local directed sub-graph enumeration

abstract: Estimating the frequency of sub-graphs is of importance for many tasks, including sub-graph isomorphism, kernel-based anomaly detection, and network structure analysis. While multiple algorithms were proposed for full enumeration or sampling-based estimates, these methods fail in very large graphs. Recent advances in parallelization allow for estimates of total sub-graphs counts in very large graphs. The task of counting the frequency of each sub-graph associated with each vertex also received excellent solutions for undirected graphs. However, there is currently no good solution for very large directed graphs. We here propose VDMC (Vertex specific Distributed Motif Counting) -- a fully distributed algorithm to optimally count all the 3 and 4 vertices connected directed graphs (sub-graph motifs) associated with each vertex of a graph. VDMC counts each motif only once and its efficacy is linear in the number of counted motifs. It is fully parallelized to be efficient in GPU-based computation. VDMC is based on three main elements: 1) Ordering the vertices and only counting motifs containing increasing order vertices, 2) sub-ordering motifs based on the average length of the BFS composing the motif, and 3) removing isomorphisms only once for the entire graph. We here compare VDMC to analytical estimates of the expected number of motifs and show its accuracy. VDMC is available as a highly efficient CPU and GPU code with a novel data structure for efficient graph manipulation. We show the efficacy of VDMC and real-world graphs. VDMC allows for the precise analysis of sub-graph frequency around each vertex in large graphs and opens the way for the extension of methods until now limited to graphs of thousands of edges to graphs with millions of edges and above. GIT: https://github.com/louzounlab/graph-measures


title: Symmetries in Linear Programming for Information Inequalities

abstract: We study the properties of secret sharing schemes, where a random secret value is transformed into shares distributed among several participants in such a way that only the qualified groups of participants can recover the secret value. We improve the lower bounds on the sizes of shares for several specific problems of secret sharing. To this end, we use the method of non-Shannon-type information inequalities going back to Z. Zhang and R.W. Yeung. We employ and extend the linear programming technique that allows to apply new information inequalities indirectly, without even writing them down explicitly. To reduce the complexity of the problems of linear programming involved in the bounds we extensively use symmetry considerations.


title: LAGOON: An Analysis Tool for Open Source Communities

abstract: This paper presents LAGOON -- an open source platform for understanding the complex ecosystems of Open Source Software (OSS) communities. The platform currently utilizes spatiotemporal graphs to store and investigate the artifacts produced by these communities, and help analysts identify bad actors who might compromise an OSS project's security. LAGOON provides ingest of artifacts from several common sources, including source code repositories, issue trackers, mailing lists and scraping content from project websites. Ingestion utilizes a modular architecture, which supports incremental updates from data sources and provides a generic identity fusion process that can recognize the same community members across disparate accounts. A user interface is provided for visualization and exploration of an OSS project's complete sociotechnical graph. Scripts are provided for applying machine learning to identify patterns within the data. While current focus is on the identification of bad actors in the Python community, the platform's reusability makes it easily extensible with new data and analyses, paving the way for LAGOON to become a comprehensive means of assessing various OSS-based projects and their communities.


title: The Universe as a Quantum Encoder

abstract: Quantum mechanical unitarity in our universe is challenged both by the notion of the big bang, in which nothing transforms into something, and the expansion of space, in which something transforms into more something. This motivates the hypothesis that quantum mechanical time evolution is always isometric, in the sense of preserving inner products, but not necessarily unitary. As evidence for this hypothesis we show that in two spacetime dimensions (i) there is net entanglement entropy produced in free field theory by a moving mirror or expanding geometry, (ii) the Lorentzian path integral for a finite elements lattice discretization gives non-unitary isometric time evolution, and (iii) tensor network descriptions of AdS$_3$ induce a non-unitary but isometric time evolution on an embedded two-dimensional de Sitter braneworld. In the last example time evolution is a quantum error-correcting code.


title: A mathematical model of COVID-19 with an underlying health condition using fraction order derivative

abstract: Studies have shown that some people with underlying conditions such as cancer, heart failure, diabetes and hypertension are more likely to get COVID-19 and have worse outcomes. In this paper, a fractional-order derivative is proposed to study the transmission dynamics of COVID-19 taking into consideration population having an underlying condition. The fractional derivative is defined in the Atangana Beleanu and Caputo (ABC) sense. For the proposed model, we find the basic reproductive number, the equilibrium points and determine the stability of these equilibrium points. The existence and the uniqueness of the solution are established along with Hyers Ulam Stability. The numerical scheme for the operator was carried out to obtain a numerical simulation to support the analytical results. COVID-19 cases from March to June 2020 of Ghana were used to validate the model. The numerical simulation revealed a decline in infections as the fractional operator was increased from 0.6 within the 120 days. Time-dependent optimal control was incorporated into the model. The numerical simulation of the optimal control revealed, vaccination reduces the number of individuals susceptible to the COVID-19, exposed to the COVID-19 and Covid-19 patients with and without an underlying health condition.


title: APEX at the QSO MUSEUM: molecular gas reservoirs associated with $z\sim$3 quasars and their link to the extended Ly$\alpha$ emission

abstract: Cool gas (T$\sim$10$^{4}$~K) traced by hydrogen Ly$\alpha$ emission is now routinely detected around $z\sim3$ quasars, but little is known about their molecular gas reservoirs. Here, we present an APEX spectroscopic survey of the CO(6-5), CO(7-6) and [CI](2-1) emission lines for 9 quasars from the QSO MUSEUM survey which have similar UV luminosities, but very diverse Ly$\alpha$ nebulae. These observations ($\langle~\rm rms~\rangle=2.6$~mJy in 300~km~s$^{-1}$) detected three CO(6-5) lines with 3.4$\leq I_{\rm CO(6-5)} \leq$5.1~Jy~km~s$^{-1}$, 620$\leq$FWHM$\leq$707~km~s$^{-1}$, and three [CI](2-1) lines with 2.3$\leq I_{\rm [CI](2-1)} \leq$15.7~Jy~km~s$^{-1}$, 329$\leq$FWHM$\leq$943~km~s$^{-1}$. For the CO and [CI] detected sources, we constrain the molecular gas reservoirs to be $\rm M_{H_{2}} = (0.4-6.9) \times 10^{11} M_{\odot}$, while the non-detections imply $\rm M_{H_{2}} < 1.1\times 10^{11} M_{\odot}$. We compare our observations with the extended Ly$\alpha$ properties to understand the link between the cool and the molecular gas phases. We find large velocity shifts between the bulk of Ly$\alpha$ and the molecular gas systemic redshift in five sources (from $\sim$-400 to $\sim+$1200~km~s$^{-1}$). The sources with the largest shifts have the largest Ly$\alpha$ line widths in the sample, suggesting more turbulent gas conditions and/or large-scale inflows/outflows around these quasars. We also find that the brightest ($I_{\rm[CI](2-1)}=15.7\pm3.7~\rm Jy~km~s^{-1}$) and the widest (FWHM$\sim$900~km~s$^{-1}$) lines are detected for the smallest and dimmest Ly$\alpha$ nebulae. From this, we speculate that host galaxy obscuration can play an important role in reducing the ionizing and Ly$\alpha$ photons able to escape to halo scales, and/or that these systems are hosted by more massive halos.


title: TrustAL: Trustworthy Active Learning using Knowledge Distillation

abstract: Active learning can be defined as iterations of data labeling, model training, and data acquisition, until sufficient labels are acquired. A traditional view of data acquisition is that, through iterations, knowledge from human labels and models is implicitly distilled to monotonically increase the accuracy and label consistency. Under this assumption, the most recently trained model is a good surrogate for the current labeled data, from which data acquisition is requested based on uncertainty/diversity. Our contribution is debunking this myth and proposing a new objective for distillation. First, we found example forgetting, which indicates the loss of knowledge learned across iterations. Second, for this reason, the last model is no longer the best teacher -- For mitigating such forgotten knowledge, we select one of its predecessor models as a teacher, by our proposed notion of "consistency". We show that this novel distillation is distinctive in the following three aspects; First, consistency ensures to avoid forgetting labels. Second, consistency improves both uncertainty/diversity of labeled data. Lastly, consistency redeems defective labels produced by human annotators.


title: MeltpoolNet: Melt pool Characteristic Prediction in Metal Additive Manufacturing Using Machine Learning

abstract: Characterizing meltpool shape and geometry is essential in metal Additive Manufacturing (MAM) to control the printing process and avoid defects. Predicting meltpool flaws based on process parameters and powder material is difficult due to the complex nature of MAM process. Machine learning (ML) techniques can be useful in connecting process parameters to the type of flaws in the meltpool. In this work, we introduced a comprehensive framework for benchmarking ML for melt pool characterization. An extensive experimental dataset has been collected from more than 80 MAM articles containing MAM processing conditions, materials, meltpool dimensions, meltpool modes and flaw types. We introduced physics-aware MAM featurization, versatile ML models, and evaluation metrics to create a comprehensive learning framework for meltpool defect and geometry prediction. This benchmark can serve as a basis for melt pool control and process optimization. In addition, data-driven explicit models have been identified to estimate meltpool geometry from process parameters and material properties which outperform Rosenthal estimation for meltpool geometry while maintaining interpretability.


title: A Machine Learning-based Characterization Framework for Parametric Representation of Nonlinear Sloshing

abstract: The growing interest in creating a parametric representation of liquid sloshing inside a container stems from its practical applications in modern engineering systems. The resonant excitation, on the other hand, can cause unstable and nonlinear water waves, resulting in chaotic motions and non-Gaussian signals. This paper presents a novel machine learning-based framework for nonlinear liquid sloshing representation learning. The proposed method is a parametric modeling technique that is based on sequential learning and sparse regularization. The dynamics are categorized into two parts: linear evolution and nonlinear forcing. The former advances the dynamical system in time on an embedded manifold, while the latter causes divergent behaviors in temporal evolution, such as bursting and switching. The proposed framework's merit is demonstrated using an experimental dataset of liquid sloshing in a tank under horizontal excitation with a wide frequency range and various vertical slat screen settings.


title: Team Yao at Factify 2022: Utilizing Pre-trained Models and Co-attention Networks for Multi-Modal Fact Verification

abstract: In recent years, social media has enabled users to get exposed to a myriad of misinformation and disinformation; thus, misinformation has attracted a great deal of attention in research fields and as a social issue. To address the problem, we propose a framework, Pre-CoFact, composed of two pre-trained models for extracting features from text and images, and multiple co-attention networks for fusing the same modality but different sources and different modalities. Besides, we adopt the ensemble method by using different pre-trained models in Pre-CoFact to achieve better performance. We further illustrate the effectiveness from the ablation study and examine different pre-trained models for comparison. Our team, Yao, won the fifth prize (F1-score: 74.585\%) in the Factify challenge hosted by De-Factify @ AAAI 2022, which demonstrates that our model achieved competitive performance without using auxiliary tasks or extra information. The source code of our work is publicly available at https://github.com/wywyWang/Multi-Modal-Fact-Verification-2021


title: Error-driven Input Modulation: Solving the Credit Assignment Problem without a Backward Pass

abstract: Supervised learning in artificial neural networks typically relies on backpropagation, where the weights are updated based on the error-function gradients and sequentially propagated from the output layer to the input layer. Although this approach has proven effective in a wide domain of applications, it lacks biological plausibility in many regards, including the weight symmetry problem, the dependence of learning on non-local signals, the freezing of neural activity during error propagation, and the update locking problem. Alternative training schemes have been introduced, including sign symmetry, feedback alignment, and direct feedback alignment, but they invariably rely on a backward pass that hinders the possibility of solving all the issues simultaneously. Here, we propose to replace the backward pass with a second forward pass in which the input signal is modulated based on the error of the network. We show that this novel learning rule comprehensively addresses all the above-mentioned issues and can be applied to both fully connected and convolutional models. We test this learning rule on MNIST, CIFAR-10, and CIFAR-100. These results help incorporate biological principles into machine learning.


title: Efficient transfer of entanglement along a qubit chain in the presence of thermal fluctuations

abstract: Quantum communications require efficient implementations of quantum state transportation with high fidelity. Here, we consider the transport of entanglement along a chain of qubits. A series of SWAP operations involving successive pairs of qubits can transport entanglement along the chain. We report that the fidelity of the abovementioned gate has a maximum value corresponding to an optimum value of the drive amplitude in the presence of drive-induced decoherence. To incorporate environmental effect, we use a previously reported fluctuation-regulated quantum master equation [A. Chakrabarti and R. Bhattacharyya, Phys. Rev. A 97, 063837 (2018)]. The existence of an optimum drive amplitude implies that these series of SWAP operations on open quantum systems would have an optimal transfer speed of the entanglement.


title: Varying Coupling Constants and Their Interdependence

abstract: Since Dirac predicted in 1937 possible variation of gravitational constant and other coupling constants from his large number hypothesis, efforts continue to determine such variation without success. Such efforts focus on the variation of one constant while assuming all others pegged to their currently measured values. We show that the variations of the speed of light $c$, the gravitational constant $G$, the Planck constant $h$, and the Boltzmann constant $k$ are interrelated: $G\thicksim c^{3}\thicksim h^{3/2}\thicksim k^{3/2}$. Thus, constraining any one of the constants leads to inadvertently constraining all the others. It may not be possible to determine the variation of a constant without concurrently considering the variation of others. We discuss several astrophysical observations that have been explained recently with the concomitant variation of two or more constants. We also analyze the reported and unexplained 35 micro-gram decrease of 1 Kg Pt-Ir working standards over 22 years of measurements and show that the Kibble balance, that measures mass in units of Planck constant, cannot determine the variation of h when h and c variations are interrelated as determined in here.


title: Efficient Hierarchical Storage Management Framework Empowered by Reinforcement Learning

abstract: With the rapid development of big data and cloud computing, data management has become increasingly challenging. Over the years, a number of frameworks for data management and storage with various characteristics and features have become available. Most of these are highly efficient, but ultimately create data silos. It becomes difficult to move and work coherently with data as new requirements emerge as no single framework can efficiently fulfill the data management needs of diverse applications. A possible solution is to design smart and efficient hierarchical (multi-tier) storage solutions. A hierarchical storage system (HSS) is a meta solution that consists of different storage frameworks organized as a jointly constructed large storage pool. It brings a number of benefits including better utilization of the storage, cost-efficiency, and use of different features provided by the underlying storage frameworks. In order to maximize the gains of hierarchical storage solutions, it is important that they include intelligent and autonomous mechanisms for data management grounded in the features of the different underlying frameworks. These decisions should be made according to the characteristics of the dataset, tier status, and access patterns. These are highly dynamic parameters and defining a policy based on the mentioned parameters is a non-trivial task. This paper presents an open-source hierarchical storage framework with a dynamic migration policy based on reinforcement learning (RL). We present a mathematical model, a software architecture, and an implementation based on both simulations and a live cloud-based environment. We compare the proposed RL-based strategy to a baseline of three rule-based policies, showing that the RL-based policy achieves significantly higher efficiency and optimal data distribution in different scenarios compared to the dynamic rule-based policies.


title: AMFlow: a Mathematica package for Feynman integrals computation via Auxiliary Mass Flow

abstract: AMFlow is a Mathematica package to numerically compute dimensionally regularized Feynman integrals via the recently proposed auxiliary mass flow method. In this framework, integrals are treated as functions of an auxiliary mass parameter and their results can be obtained by constructing and solving differential systems with respect to this parameter, in an automatic way. The usage of this package is described in detail through an explicit example of double-box family involved in two-loop $t\bar{t}$ hadroproduction.