title: Kerr-Schild Form of the Exact Metric for a Constantly Moving Kerr Black Hole and Null Gravitational Deflection

abstract: The exact metric of a moving Kerr black hole with an arbitrary constant velocity is derived in Kerr-Schild coordinates. We then calculate the null equatorial gravitational deflection caused by a radially moving Kerr source up to the second post-Minkowskian order, acting as an application of the weak field limit of the metric. The bending angle of light is found to be consistent with the result given in the previous works.


title: Ward identities in the $\mathfrak{sl}_3$ Toda conformal field theory

abstract: Toda conformal field theories are natural generalizations of Liouville conformal field theory that enjoy an enhanced level of symmetry. In Toda conformal field theories this higher-spin symmetry can be made explicit, thanks to a path integral formulation of the model based on a Lie algebra structure. The purpose of the present document is to explain how this higher level of symmetry can manifest itself within the rigorous probabilistic framework introduced by R. Rhodes, V. Vargas and the first author. One of its features is the existence of holomorphic currents that are introduced via a rigorous derivation of the Miura transformation. More precisely, we prove that the spin-three Ward identities, that encode higher-spin symmetry, hold in the $\mathfrak{sl}_3$ Toda conformal field theory; as an original input we provide explicit expressions for the descendent fields which were left unidentified in the physics literature. This representation of the descendent fields provides a new systematic method to find the degenerate fields of the $\mathfrak{sl}_3$ Toda (and Liouville) conformal field theory, which in turn implies that certain four-point correlation functions are solutions of an hypergeometric differential equation of the third order.


title: Switching 3-edge-colorings of cubic graphs

abstract: The chromatic index of a cubic graph is either 3 or 4. Edge-Kempe switching, which can be used to transform edge-colorings, is here considered for 3-edge-colorings of cubic graphs. Computational results for edge-Kempe switching of cubic graphs up to order 30 and bipartite cubic graphs up to order 36 are tabulated. Families of cubic graphs of orders $4n+2$ and $4n+4$ with $2^n$ edge-Kempe equivalence classes are presented; it is conjectured that there are no cubic graphs with more edge-Kempe equivalence classes. New families of nonplanar bipartite cubic graphs with exactly one edge-Kempe equivalence class are also obtained. Edge-Kempe switching is further connected to cycle switching of Steiner triple systems, for which an improvement of the established classification algorithm is presented.


title: Magnetic properties and magnetocaloric effect of $\mathrm{Tb_2Rh_3Ge}$

abstract: We report the structural, magnetic properties, and magnetocaloric effect of a new polycrystalline compound of $\mathrm{Tb_2Rh_3Ge}$. This present compound crystallizes with $\mathrm{Mg_2Ni_3Si}$-type of rhombohedral Laves phases (space group $R\overline{3}m$, hR18). The magnetic properties and magnetocaloric effect of the $\mathrm{Tb_2Rh_3Ge}$ is explored through dc-magnetization measurements. Temperature dependence of magnetization revealed that the compound exhibits ferromagnetic behavior with $T_C$$=$56 K. The field dependence of magnetization indicates that $\mathrm{Tb_2Rh_3Ge}$ is a soft ferromagnet. The obtained isothermal magnetic entropy changes ($\Delta S_m$), and refrigeration capacity (relative power cooling) for a change of magnetic field 0-9 T are 12.74 J/kg-K, and 497(680) J/kg respectively. The Arrott plots and universal curve of normalized $\Delta S_m$ indicate that this compound undergoes second order ferromagnetic phase transition


title: Deep Extended Feedback Codes

abstract: A new deep-neural-network (DNN) based error correction encoder architecture for channels with feedback, called Deep Extended Feedback (DEF), is presented in this paper. The encoder in the DEF architecture transmits an information message followed by a sequence of parity symbols which are generated based on the message as well as the observations of the past forward channel outputs sent to the transmitter through a feedback channel. DEF codes generalize Deepcode [1] in several ways: parity symbols are generated based on forward-channel output observations over longer time intervals in order to provide better error correction capability; and high-order modulation formats are deployed in the encoder so as to achieve increased spectral efficiency. Performance evaluations show that DEF codes have better performance compared to other DNN-based codes for channels with feedback.


title: Average-case complexity of the Whitehead problem for a free group

abstract: The worst-case complexity of group-theoretic algorithms has been studied for a long time. Generic-case complexity, or complexity on random inputs, was introduced and studied relatively recently. In this paper, we address the average-case complexity (i.e., the expected runtime) of algorithms that solve a well-known problem, the Whitehead problem in a free group, which is: given two elements of a free group, find out whether there is an automorphism that takes one element to the other. First we address a special case of the Whitehead problem, namely deciding if a given element of a free group is part of a free basis. We show that there is an algorithm that, on a cyclically reduced input word, solves this problem and has constant (with respect to the length of the input) average-case complexity. For the general Whitehead problem, we show that the classical Whitehead algorithm has linear average-case complexity if the rank of the free group is 2. We argue that the same should be true in a free group of any rank but point out obstacles to establishing this general result.


title: Structure of $\Lambda$(1405) resonance and $\gamma{p}\rightarrow K^{+}+(\pi\Sigma)^{0}$ reaction

abstract: Three-body calculations of $K\bar{K}N$ system with quantum numbers $I=1/2$, $J^{\pi}=(\frac{1}{2})^{+}$ were performed. Using separable potentials for two-body interactions, we calculated the $\pi\Sigma$ mass spectra for the $(\bar{K}N)_{I=0}+K^{+}\rightarrow(\pi\Sigma)^{0}K^{+}$ reaction on the basis of three-body Alt-Grassberger-Sandhas equations in the momentum representation. In this regard, different types of $\bar{K}N-\pi\Sigma$ potentials based on phenomenological and chiral SU(3) approach are used. The possibility to observe the trace of $\Lambda(1405)$ resonance in $(\pi\Sigma)^{0}$ mass spectra was studied. Using the $\chi^{2}$ fitting, it was shown that the mass of $\Lambda$(1405) resonance is about 1417 $\mathrm{MeV}/c^{2}$.


title: An inverse boundary value problem for the inhomogeneous porous medium equation

abstract: In this paper we establish uniqueness in the inverse boundary value problem for the two coefficients in the inhomogeneous porous medium equation $\epsilon\partial_tu-\nabla\cdot(\gamma\nabla u^m)=0$, with $m>1$, in dimension 3 or higher, which is a degenerate parabolic type quasilinear PDE. Our approach relies on using a Laplace transform to turn the original equation into a coupled family of nonlinear elliptic equations, indexed by the frequency parameter ($1/h$ in our definition) of the transform. A careful analysis of the asymptotic expansion in powers of $h$, as $h\to\infty$, of the solutions to the transformed equation, with special boundary data, allows us to obtain sufficient information to deduce the uniqueness result.


title: Consensus Dynamics and Opinion Formation on Hypergraphs

abstract: In this chapter, we derive and analyse models for consensus dynamics on hypergraphs. As we discuss, unless there are nonlinear node interaction functions, it is always possible to rewrite the system in terms of a new network of effective pairwise node interactions, regardless of the initially underlying multi-way interaction structure. We thus focus on dynamics based on a certain class of non-linear interaction functions, which can model different sociological phenomena such as peer pressure and stubbornness. Unlike for linear consensus dynamics on networks, we show how our nonlinear model dynamics can cause shifts away from the average system state. We examine how these shifts are influenced by the distribution of the initial states, the underlying hypergraph structure and different forms of non-linear scaling of the node interaction function.


title: Small-Sample Inferred Adaptive Recoding for Batched Network Coding

abstract: Batched network coding is a low-complexity network coding solution to feedbackless multi-hop wireless packet network transmission with packet loss. The data to be transmitted is encoded into batches where each of which consists of a few coded packets. Unlike the traditional forwarding strategy, the intermediate network nodes have to perform recoding, which generates recoded packets by network coding operations restricted within the same batch. Adaptive recoding is a technique to adapt the fluctuation of packet loss by optimizing the number of recoded packets per batch to enhance the throughput. The input rank distribution, which is a piece of information regarding the batches arriving at the node, is required to apply adaptive recoding. However, this distribution is not known in advance in practice as the incoming link's channel condition may change from time to time. On the other hand, to fully utilize the potential of adaptive recoding, we need to have a good estimation of this distribution. In other words, we need to guess this distribution from a few samples so that we can apply adaptive recoding as soon as possible. In this paper, we propose a distributionally robust optimization for adaptive recoding with a small-sample inferred prediction of the input rank distribution. We develop an algorithm to efficiently solve this optimization with the support of theoretical guarantees that our optimization's performance would constitute as a confidence lower bound of the optimal throughput with high probability.


title: Linear response theory and damped modes of stellar clusters

abstract: Because all stars contribute to its gravitational potential, stellar clusters amplify perturbations collectively. In the limit of small fluctuations, this is described through linear response theory, via the so-called response matrix. While the evaluation of this matrix is somewhat straightforward for unstable modes (i.e. with a positive growth rate), it requires a careful analytic continuation for damped modes (i.e. with a negative growth rate). We present a generic method to perform such a calculation in spherically symmetric stellar clusters. When applied to an isotropic isochrone cluster, we recover the presence of a low-frequency weakly damped $\ell = 1$ mode. We finally use a set of direct $N$-body simulations to test explicitly this prediction through the statistics of the correlated random walk undergone by a cluster's density centre.


title: The distributed dual ascent algorithm is robust to asynchrony

abstract: The distributed dual ascent is an established algorithm to solve strongly convex multi-agent optimization problems with separable cost functions, in the presence of coupling constraints. In this paper, we study its asynchronous counterpart. Specifically, we assume that each agent only relies on the outdated information received from some neighbors. Differently from the existing randomized and dual block-coordinate schemes, we show convergence under heterogeneous delays, communication and update frequencies. Consequently, our asynchronous dual ascent algorithm can be implemented without requiring any coordination between the agents.


title: Secure Virtual Mobile Small Cells: A Stepping Stone Towards 6G

abstract: As 5th Generation research reaches the twilight, the research community must go beyond 5G and look towards the 2030 connectivity landscape, namely 6G. In this context, this work takes a step towards the 6G vision by proposing a next generation communication platform, which aims to extend the rigid coverage area of fixed deployment networks by considering virtual mobile small cells (MSC) that are created on demand. Relying on emerging computing paradigms such as NFV (Network Function Virtualization) and SDN (Software Defined Networking), these cells can harness radio and networking capability locally reducing protocol signaling latency and overhead. These MSCs constitute an intelligent pool of networking resources that can collaborate to form a wireless network of MSCs providing a communication platform for localized, ubiquitous and reliable connectivity. The technology enablers for implementing the MSC concept are also addressed in terms of virtualization, lightweight wireless security, and energy efficient RF. The benefits of the MSC architecture towards reliable and efficient cell offloading are demonstrated as a use-case.


title: QSOC: Quantum Service-Oriented Computing

abstract: Quantum computing is quickly turning from a promise to a reality, witnessing the launch of several cloud-based, general-purpose offerings, and IDEs. Unfortunately, however, existing solutions typically implicitly assume intimate knowledge about quantum computing concepts and operators. This paper introduces Quantum Service-Oriented Computing (QSOC), including a model-driven methodology to allow enterprise DevOps teams to compose, configure and operate enterprise applications without intimate knowledge on the underlying quantum infrastructure, advocating knowledge reuse, separation of concerns, resource optimization, and mixed quantum- & conventional QSOC applications.


title: A quantum walk simulation of extra dimensions with warped geometry

abstract: We investigate the properties of a quantum walk which can simulate the behavior of a spin $1/2$ particle in a model with an ordinary spatial dimension, and one extra dimension with warped geometry between two branes. Such a setup constitutes a $1+1$ dimensional version of the Randall-Sundrum model, which plays an important role in high energy physics. In the continuum spacetime limit, the quantum walk reproduces the Dirac equation corresponding to the model, which allows to anticipate some of the properties that can be reproduced by the quantum walk. In particular, we observe that the probability distribution becomes, at large time steps, concentrated near the "low energy" brane, and can be approximated as the lowest eigenstate of the continuum Hamiltonian that is compatible with the symmetries of the model. In this way, we obtain a localization effect whose strength is controlled by a warp coefficient. In other words, here localization arises from the geometry of the model, at variance with the usual effect that is originated from random irregularities, as in Anderson localization. In summary, we establish an interesting correspondence between a high energy physics model and localization in quantum walks.


title: On the derivation of guaranteed and p-robust a posteriori error estimates for the Helmholtz equation

abstract: We propose a novel a posteriori error estimator for conforming finite element discretizations of two- and three-dimensional Helmholtz problems. The estimator is based on an equilibrated flux that is computed by solving patchwise mixed finite element problems. We show that the estimator is reliable up to a prefactor that tends to one with mesh refinement or with polynomial degree increase. We also derive a fully computable upper bound on the prefactor for several common settings of domains and boundary conditions. This leads to a guaranteed estimate without any assumption on the mesh size or the polynomial degree, though the obtained guaranteed bound may lead to large error overestimation. We next demonstrate that the estimator is locally efficient, robust in all regimes with respect to the polynomial degree, and asymptotically robust with respect to the wavenumber. Finally we present numerical experiments that illustrate our analysis and indicate that our theoretical results are sharp.


title: Correlations in non-equilibrium diffusive systems

abstract: We study the behavior of stationary non-equilibrium two-body correlation functions for Diffusive Systems with equilibrium reference states (DSe). We describe a DSe at the mesoscopic level by $M$ locally conserved continuum fields that evolve through coupled Langevin equations with white noises. The dynamic is designed such that the system may reach equilibrium states for a set of boundary conditions. In this form, we make the system driven to a non-equilibrium stationary state by changing the equilibrium boundary conditions. We decompose the correlations in a known local equilibrium part and another one that contains the non-equilibrium behavior and that we call {\it correlation's excess} $\bar C(x,z)$. We formally derive the differential equations for $\bar C$. To solve them order by order, we define a perturbative expansion around the equilibrium state. We show that the $\bar C$'s first-order expansion, $\bar C^{(1)}$, is always zero for the unique field case, $M=1$. Moreover $\bar C^{(1)}$ is always long-range or zero when $M>1$. Surprisingly we show that their associated fluctuations, the space integrals of $\bar C^{(1)}$, are always zero. Therefore, fluctuations are dominated by local equilibrium up to second-order in the perturbative expansion around the equilibrium. We derive the behaviors of $\bar C^{(1)}$ in real space for dimensions $d=1$ and $2$ explicitly. Finally, we derive the two first perturbative orders of the correlation's excess for a generic $M=2$ case and a hydrodynamic model.


title: Thermal transport in two-dimensional C3N/C2N superlattices: A molecular dynamics approach

abstract: Nanostructured superlattices have been the focus of many researchers due to their physical and manipulatable properties. They aim to find promising materials for new electronic and thermoelectric devices. In the present study, we investigate the thermal conductivity of two-dimensional (2D) C3N/ C2N superlattices using non-equilibrium molecular dynamics. We analyze the dependence of thermal conductivity on the total length, temperature, and the temperature difference between thermal baths for the superlattices. The minimum thermal conductivity and the phonon mean free path at a superlattice period of 5.2 nm are 23.2W/m.K and 24.7 nm, respectively. Our results show that at a specific total length, as the period increases, the number of interfaces decreases, thus the total thermal resistance decreases, and the effective thermal conductivity of the system increases. We found that at long lengths (L_x >80 nm), the high-frequency and low-wavelength phonons are scattered throughout the interfaces, while at short lengths, there is a wave interference that reduces the thermal conductivity. The combination of these two effects, i.e., the wave interference and the interface scattering, is the reason for the existence of a minimum thermal conductivity in superlattices.


title: Randomized Multiple Model Multiple Hypothesis Tracking

abstract: This paper considers the data association problem for multi-target tracking. Multiple hypothesis tracking is a popular algorithm for solving this problem but it is NP-hard and is is quite complicated for a large number of targets or for tracking maneuvering targets. To improve tracking performance and enhance robustness, we propose a randomized multiple model multiple hypothesis tracking method, which has three distinctive advantages. First, it yields a randomized data association solution which maximizes the expectation of the logarithm of the posterior probability and can be solved efficiently by linear programming. Next, the state estimation performance is improved by the random coefficient matrices Kalman filter, which mitigates the difficulty introduced by randomized data association, i.e., where the coefficient matrices of the dynamic system are random. Third, the probability that the target follows a specific dynamic model is derived by jointly optimizing the multiple possible models and data association hypotheses, and it does not require prior mode transition probabilities. Thus, it is more robust for tracking multiple maneuvering targets. Simulations demonstrate the efficiency and superior results of the proposed algorithm over interacting multiple model multiple hypothesis tracking.


title: Why and how systematic strategies decay

abstract: In this paper, we propose ex-ante characteristics that predict the drop in risk-adjusted performance out-of-sample for a large set of stock anomalies published in finance and accounting academic journals. Our set of predictors is generated by hypotheses of OOS decay put forward by McLean and Pontiff (2016): arbitrage capital flowing into newly published strategies and in-sample overfitting linked to multiple hypothesis testing. The year of publication alone - compatible with both hypotheses - explains 30% of the variance of Sharpe decay across factors: Every year, the Sharpe decay of newly-published factors increases by 5ppt. The other important variables are directly related to overfitting: the number of operations required to calculate the signal and two measures of sensitivity of in-sample Sharpe to outliers together add another 15% of explanatory power. Some arbitrage-related variables are statistically significant, but their predictive power is marginal.


title: Building hybridized 28-baseline pupil-remapping photonic interferometers for future high resolution imaging

abstract: One key advantage of single-mode photonic technologies for interferometric use is their ability to easily scale to an ever increasing number of inputs without a major increase in the overall device size, compared to traditional bulk optics. This is particularly important for the upcoming ELT generation of telescopes currently under construction. We demonstrate the fabrication and characterization of a novel hybridized photonic interferometer, with 8 simultaneous inputs, forming 28 baselines, the largest amount to-date. Utilizing different photonic fabrication technologies, we combine a 3D pupil remapper with a planar 8-port ABCD pairwise beam combiner, along with the injection optics necessary for telescope use, into a single integrated monolithic device. We successfully realized a combined device called Dragonfly, which demonstrates a raw instrumental closure-phase stability down to $0.9^{\circ}$ over $8\pi$ phase piston error, relating to a detection contrast of $\sim6.5\times 10^{-4}$ on an Adaptive-Optics corrected 8-m telescope. This prototype successfully demonstrates advanced hybridization and packaging techniques necessary for on-sky use for high-contrast detection at small inner working angles, ideally complementing what can currently be achieved using coronagraphs.


title: A Subatomic Proof System for Decision Trees

abstract: We design a proof system for propositional classical logic that integrates two languages for Boolean functions: standard conjunction-disjunction-negation and binary decision trees. We give two reasons to do so. The first is proof-theoretical naturalness: the system consists of all and only the inference rules generated by the single, simple, linear scheme of the recently introduced subatomic logic. Thanks to this regularity, cuts are eliminated via a natural construction. The second reason is that the system generates efficient proofs. Indeed, we show that a certain class of tautologies due to Statman, which cannot have better than exponential cut-free proofs in the sequent calculus, have polynomial cut-free proofs in our system. We achieve this by using the same construction that we use for cut elimination. In summary, by expanding the language of propositional logic, we make its proof theory more regular and generate more proofs, some of which are very efficient. That design is made possible by considering atoms as superpositions of their truth values, which are connected by self-dual, non-commutative connectives. A proof can then be projected via each atom into two proofs, one for each truth value, without a need for cuts. Those projections are semantically natural and are at the heart of the constructions in this paper. To accommodate self-dual non-commutativity, we compose proofs in deep inference.


title: Density-functional approach to the band gaps of finite and periodic two-dimensional systems

abstract: We present an approach based on density-functional theory for the calculation of fundamental gaps of both finite and periodic two-dimensional (2D) electronic systems. The computational cost of our approach is comparable to that of total energy calculations performed via standard semi-local forms. We achieve this by replacing the 2D local density approximation with a more sophisticated -- yet computationally simple -- orbital-dependent modeling of the exchange potential within the procedure by Guandalini et al. [Phys. Rev. B 99, 125140 (2019)]. We showcase promising results for semiconductor 2D quantum dots and artificial graphene systems, where the band structure can be tuned through, e.g., Kekul\'e distortion.


title: Deep neural networks based predictive-generative framework for designing composite materials

abstract: Designing composite materials as per the application requirements is fundamentally a challenging and time consuming task. Here we report the development of a deep neural network based computational framework capable of solving the forward (predictive) as well as inverse (generative) design problem. The predictor model is based on the popular convolution neural network architecture and trained with the help of finite element simulations. Further, the developed property predictor model is used as a feedback mechanism in the neural network based generator model. The proposed predictive-generative model can be used to obtain the micro-structure for maximization of particular elastic properties as well as for specified elastic constants. One of the major hurdle for deployment of the deep learning techniques in composite material design is the intensive computational resources required to generate the training data sets. To this end, a novel data augmentation scheme is presented. The application of data augmentation scheme results in significant saving of computational resources in the training phase. The proposed data augmentation approach is general and can be used in any setting involving the periodic micro-structures. The efficacy of the predictive-generative model is demonstrated through various examples. It is envisaged that the developed model will significantly reduce the cost and time associated with the composite material designing process for advanced applications.


title: Twisted functoriality in nonabelian Hodge theory in positive characteristic

abstract: We establish the twisted functoriality in nonabelian Hodge theory in positive characteristic. As an application, we obtain a purely algebraic proof of the fact that the pullback of a semistable Higgs bundle with vanishing Chern classes is again semistable.


title: Canonical Saliency Maps: Decoding Deep Face Models

abstract: As Deep Neural Network models for face processing tasks approach human-like performance, their deployment in critical applications such as law enforcement and access control has seen an upswing, where any failure may have far-reaching consequences. We need methods to build trust in deployed systems by making their working as transparent as possible. Existing visualization algorithms are designed for object recognition and do not give insightful results when applied to the face domain. In this work, we present 'Canonical Saliency Maps', a new method that highlights relevant facial areas by projecting saliency maps onto a canonical face model. We present two kinds of Canonical Saliency Maps: image-level maps and model-level maps. Image-level maps highlight facial features responsible for the decision made by a deep face model on a given image, thus helping to understand how a DNN made a prediction on the image. Model-level maps provide an understanding of what the entire DNN model focuses on in each task and thus can be used to detect biases in the model. Our qualitative and quantitative results show the usefulness of the proposed canonical saliency maps, which can be used on any deep face model regardless of the architecture.


title: Physics and Chemistry on the Surface of Cosmic Dust Grains: A Laboratory View

abstract: Dust grains play a central role in the physics and chemistry of cosmic environments. They influence the optical and thermal properties of the medium due to their interaction with stellar radiation; provide surfaces for the chemical reactions that are responsible for the synthesis of a significant fraction of key astronomical molecules; and they are building blocks of pebbles, comets, asteroids, planetesimals, and planets. In this paper, we review experimental studies of physical and chemical processes, such as adsorption, desorption, diffusion, and reactions forming molecules, on the surface of reliable cosmic dust grain analogues as related to processes in diffuse, translucent, and dense interstellar clouds, protostellar envelopes, planet-forming disks, and planetary atmospheres. The information that such experiments reveal should be flexible enough to be used in many different environments. In addition, we provide a forward look discussing new ideas, experimental approaches, and research directions.


title: Weak Multi-View Supervision for Surface Mapping Estimation

abstract: We propose a weakly-supervised multi-view learning approach to learn category-specific surface mapping without dense annotations. We learn the underlying surface geometry of common categories, such as human faces, cars, and airplanes, given instances from those categories. While traditional approaches solve this problem using extensive supervision in the form of pixel-level annotations, we take advantage of the fact that pixel-level UV and mesh predictions can be combined with 3D reprojections to form consistency cycles. As a result of exploiting these cycles, we can establish a dense correspondence mapping between image pixels and the mesh acting as a self-supervisory signal, which in turn helps improve our overall estimates. Our approach leverages information from multiple views of the object to establish additional consistency cycles, thus improving surface mapping understanding without the need for explicit annotations. We also propose the use of deformation fields for predictions of an instance specific mesh. Given the lack of datasets providing multiple images of similar object instances from different viewpoints, we generate and release a multi-view ShapeNet Cars and Airplanes dataset created by rendering ShapeNet meshes using a 360 degree camera trajectory around the mesh. For the human faces category, we process and adapt an existing dataset to a multi-view setup. Through experimental evaluations, we show that, at test time, our method can generate accurate variations away from the mean shape, is multi-view consistent, and performs comparably to fully supervised approaches.


title: Global rigidity of complete bipartite graphs

abstract: This note gives a detailed proof of the following statement. Let $d\in \mathbb{N}$ and $m,n \ge d + 1$, with $m + n \ge \binom{d+2}{2} + 1$. Then the complete bipartite graph $K_{m,n}$ is generically globally rigid in dimension $d$.


title: Optimal Algorithms for Range Searching over Multi-Armed Bandits

abstract: This paper studies a multi-armed bandit (MAB) version of the range-searching problem. In its basic form, range searching considers as input a set of points (on the real line) and a collection of (real) intervals. Here, with each specified point, we have an associated weight, and the problem objective is to find a maximum-weight point within every given interval. The current work addresses range searching with stochastic weights: each point corresponds to an arm (that admits sample access) and the point's weight is the (unknown) mean of the underlying distribution. In this MAB setup, we develop sample-efficient algorithms that find, with high probability, near-optimal arms within the given intervals, i.e., we obtain PAC (probably approximately correct) guarantees. We also provide an algorithm for a generalization wherein the weight of each point is a multi-dimensional vector. The sample complexities of our algorithms depend, in particular, on the size of the optimal hitting set of the given intervals. Finally, we establish lower bounds proving that the obtained sample complexities are essentially tight. Our results highlight the significance of geometric constructs -- specifically, hitting sets -- in our MAB setting.


title: Rapid Modification of Neutron Star Surface Magnetic Field: A proposed mechanism for explaining Radio Emission State Changes in Pulsars

abstract: The radio emission in many pulsars show sudden changes, usually within a period, that cannot be related to the steady state processes within the inner acceleration region (IAR) above the polar cap. These changes are often quasi-periodic in nature, where regular transitions between two or more stable emission states are seen. The durations of these states show a wide variety ranging from several seconds to hours at a time. There are strong, small scale magnetic field structures and huge temperature gradients present at the polar cap surface. We have considered several processes that can cause temporal modifications of the local magnetic field structure and strength at the surface of the polar cap. Using different magnetic field strengths and scales, and also assuming realistic scales of the temperature gradients, the evolutionary timescales of different phenomena affecting the surface magnetic field was estimated. We find that the Hall drift results in faster changes in comparison to both Ohmic decay and thermoelectric effects. A mechanism based on the Partially Screened Gap (PSG) model of the IAR has been proposed, where the Hall and thermoelectric oscillations perturb the polar cap magnetic field to alter the sparking process in the PSG. This is likely to affect the observed radio emission resulting in the observed state changes.


title: Simultaneous Operations in a Two-Dimensional Array of Singlet-Triplet Qubits

abstract: In many physical approaches to quantum computation, error-correction schemes assume the ability to form two-dimensional qubit arrays with nearest-neighbor couplings and parallel operations at multiple qubit sites. While semiconductor spin qubits exhibit long coherence times relative to their operation speed and single-qubit fidelities above error correction thresholds, multiqubit operations in two-dimensional arrays have been limited by fabrication, operation, and readout challenges. We present a two-by-two array of four singlet-triplet qubits in gallium arsenide and show simultaneous coherent operations and four-qubit measurements via exchange oscillations and frequency-multiplexed single-shot measurements. A larger multielectron quantum dot is fabricated in the center of the array as a tunable interqubit link, which we utilize to demonstrate coherent spin exchange with selected qubits. Our techniques are extensible to other materials, indicating a path towards quantum processors with gate-controlled spin qubits.


title: Energy-gap driven low-temperature magnetic and transport properties in Cr$_{1/3}M$S$_2$ ($M$ = Nb or Ta)

abstract: The helimagnets Cr$_{1/3}M$S$_2$ ($M$ = Nb or Ta) have attracted renewed attention due to the discovery of a chiral soliton lattice (CSL) stabilized in an applied magnetic field, but reports of unusual low-temperature transport and magnetic properties in this system lack a unifying explanation. Here we present electronic structure calculations that demonstrate the materials are half-metals. There is also a gap-like feature (width in range 40-100 meV) in the density of states of one spin channel. This electronic structure explains the low-temperature electronic and magnetic properties of Cr$_{1/3}M$S$_2$ ($M$ = Nb or Ta), with the gap-like feature particularly important for explaining the magnetic behavior. Our magnetometry measurements confirm the existence of this gap. Dynamic spin fluctuations driven by excitations across this gap are seen over a wide range of frequencies (0.1 Hz to MHz) with AC susceptibility and muon-spin relaxation ($\mu^+$SR) measurements. We show further how effects due to the CSL in Cr$_{1/3}$NbS$_2$, as detected with $\mu^+$SR, dominate over the gap-driven magnetism when the CSL is stabilized as the majority phase.


title: Directed percolation in non-unitary quantum cellular automata

abstract: Probabilistic cellular automata (CA) provides a classic framework for studying non-equilibrium statistical physics on a lattices. A notable example is the Domany-Kinzel CA, which has been used to investigate the process of directed percolation and the critical dynamics of the non-equilibrium phase transition betweeen absorbing and percolating phases. In this work, we construct a non-unitary Quantum Cellular Automaton that generalises the Domany-Kinzel cellular automaton and study the resulting dynamical evolution using the numerical simulations using the tensor network iTEBD algorithm. We demonstrate the system undergoes the absorbing/percolating phase transition and the addition of the Hamiltonian generates coherences, which are a distinct feature of the quantum dynamics. A proposal for the implementation of the model with Rydberg array is put forward, which does not require local addressing of individual sites.


title: Neural Optimization: Understanding Trade-offs with Pareto Theory

abstract: Nervous systems, like any organismal structure, have been shaped by evolutionary processes to increase fitness. The resulting neural 'bauplan' has to account for multiple objectives simultaneously, including computational function as well as additional factors like robustness to environmental changes and energetic limitations. Oftentimes these objectives compete and a quantification of the relative impact of individual optimization targets is non-trivial. Pareto optimality offers a theoretical framework to decipher objectives and trade-offs between them. We, therefore, highlight Pareto theory as a useful tool for the analysis of neurobiological systems, from biophysically-detailed cells to large-scale network structures and behavior. The Pareto approach can help to assess optimality, identify relevant objectives and their respective impact, and formulate testable hypotheses.


title: Plasmonically assisted channels of photoemission from metals

abstract: We analyse recently measured nonlinear photoemission spectra from Ag surfaces that reveal resonances whose energies do not scale with the applied photon energy but stay pinned to multiples of bulk plasmon energy $\hbar\omega_p$ above the Fermi level. To elucidate these unexpected and peculiar features we investigate the spectra of plasmons generated in a solid by the optically pumped electronic polarization and their effect on photoemission. By combining quadratic response formalism for calculations of photoemission yield, a nonperturbative approach to inelastic electron scattering, and first-principles calculations for the electronic structure, we demonstrate the dependence of probability amplitude for single- and multiplasmon excitations on the basic parameters characterizing the photon pulse and the system. The resulting multiexcitation spectrum evolves towards a truncated plasmonic coherent state. Analogous concept is extrapolated to interpret plasmon generation by multiphoton excited electronic polarization. Based on this we elaborate a scenario that the thus created real plasmons act as supplementary frequency-locked pump field for non-Einsteinian plasmonically assisted channels of photoemission from metals. The established paradigm enables assignment and assessment of the observed linear $\hbar\omega_p$- and nonlinear $2\hbar\omega_p$-electron yields from Ag. Such effects may be exploited for selective filtering of optical energy conversion in electronic systems.


title: Role of Sb in the superconducting kagome metal CsV$_3$Sb$_5$ revealed by its anisotropic compression

abstract: Pressure evolution of the superconducting kagome metal CsV$_3$Sb$_5$ is studied with single-crystal x-ray diffraction and density-functional band-structure calculations. A highly anisotropic compression observed up to 5 GPa is ascribed to the fast shrinkage of the Cs-Sb distances and suppression of Cs rattling motion. This prevents Sb displacements required to stabilize the three-dimensional charge-density-wave (CDW) order and elucidates the disappearance of the CDW already at 2 GPa despite only minor changes in the electronic structure of the normal state. At higher pressures, vanadium bands still change only marginally, whereas antimony bands undergo a major reconstruction caused by the gradual formation of the interlayer Sb-Sb bonds. Our results exclude pressure tuning of vanadium kagome bands as the main mechanism for the non-trivial evolution of superconductivity in real-world kagome metals. Concurrently, we establish the central role of Sb atoms in the stabilization of a three-dimensional CDW and Fermi surface reconstruction.


title: Twisted Conjugacy in Direct Products of Groups

abstract: Given a group $G$ and an endomorphism $\varphi$ of $G$, two elements $x, y \in G$ are said to be $\varphi$-conjugate if $x = gy \varphi(g)^{-1}$ for some $g \in G$. The number of equivalence classes for this relation is the Reidemeister number $R(\varphi)$ of $\varphi$. The set $\{R(\psi) \mid \psi \in \mathrm{Aut}(G)\}$ is called the Reidemeister spectrum of $G$. We investigate Reidemeister numbers and spectra on direct products of finitely many groups and determine what information can be derived from the individual factors.


title: Performance Evaluation of Deep Convolutional Maxout Neural Network in Speech Recognition

abstract: In this paper, various structures and methods of Deep Artificial Neural Networks (DNN) will be evaluated and compared for the purpose of continuous Persian speech recognition. One of the first models of neural networks used in speech recognition applications were fully connected Neural Networks (FCNNs) and, consequently, Deep Neural Networks (DNNs). Although these models have better performance compared to GMM / HMM models, they do not have the proper structure to model local speech information. Convolutional Neural Network (CNN) is a good option for modeling the local structure of biological signals, including speech signals. Another issue that Deep Artificial Neural Networks face, is the convergence of networks on training data. The main inhibitor of convergence is the presence of local minima in the process of training. Deep Neural Network Pre-training methods, despite a large amount of computing, are powerful tools for crossing the local minima. But the use of appropriate neuronal models in the network structure seems to be a better solution to this problem. The Rectified Linear Unit neuronal model and the Maxout model are the most suitable neuronal models presented to this date. Several experiments were carried out to evaluate the performance of the methods and structures mentioned. After verifying the proper functioning of these methods, a combination of all models was implemented on FARSDAT speech database for continuous speech recognition. The results obtained from the experiments show that the combined model (CMDNN) improves the performance of ANNs in speech recognition versus the pre-trained fully connected NNs with sigmoid neurons by about 3%.


title: Coin Flipping of \emph{Any} Constant Bias Implies One-Way Functions

abstract: We show that the existence of a coin-flipping protocol safe against \emph{any} non-trivial constant bias (\eg $.499$) implies the existence of one-way functions. This improves upon a recent result of Haitner and Omri [FOCS '11], who proved this implication for protocols with bias $\frac{\sqrt2 -1}2 - o(1) \approx .207$. Unlike the result of Haitner and Omri, our result also holds for \emph{weak} coin-flipping protocols.


title: A Review of Confidentiality Threats Against Embedded Neural Network Models

abstract: Utilization of Machine Learning (ML) algorithms, especially Deep Neural Network (DNN) models, becomes a widely accepted standard in many domains more particularly IoT-based systems. DNN models reach impressive performances in several sensitive fields such as medical diagnosis, smart transport or security threat detection, and represent a valuable piece of Intellectual Property. Over the last few years, a major trend is the large-scale deployment of models in a wide variety of devices. However, this migration to embedded systems is slowed down because of the broad spectrum of attacks threatening the integrity, confidentiality and availability of embedded models. In this review, we cover the landscape of attacks targeting the confidentiality of embedded DNN models that may have a major impact on critical IoT systems, with a particular focus on model extraction and data leakage. We highlight the fact that Side-Channel Analysis (SCA) is a relatively unexplored bias by which model's confidentiality can be compromised. Input data, architecture or parameters of a model can be extracted from power or electromagnetic observations, testifying a real need from a security point of view.


title: Using Twitter Attribute Information to Predict Stock Prices

abstract: Being able to predict stock prices might be the unspoken wish of stock investors. Although stock prices are complicated to predict, there are many theories about what affects their movements, including interest rates, news and social media. With the help of Machine Learning, complex patterns in data can be identified beyond the human intellect. In this thesis, a Machine Learning model for time series forecasting is created and tested to predict stock prices. The model is based on a neural network with several layers of LSTM and fully connected layers. It is trained with historical stock values, technical indicators and Twitter attribute information retrieved, extracted and calculated from posts on the social media platform Twitter. These attributes are sentiment score, favourites, followers, retweets and if an account is verified. To collect data from Twitter, Twitter's API is used. Sentiment analysis is conducted with VADER. The results show that by adding more Twitter attributes, the MSE between the predicted prices and the actual prices improved by 3%. With technical analysis taken into account, MSE decreases from 0.1617 to 0.1437, which is an improvement of around 11%. The restrictions of this study include that the selected stock has to be publicly listed on the stock market and popular on Twitter and among individual investors. Besides, the stock markets' opening hours differ from Twitter, which constantly available. It may therefore introduce noises in the model.


title: An Overview of Laser Injection against Embedded Neural Network Models

abstract: For many IoT domains, Machine Learning and more particularly Deep Learning brings very efficient solutions to handle complex data and perform challenging and mostly critical tasks. However, the deployment of models in a large variety of devices faces several obstacles related to trust and security. The latest is particularly critical since the demonstrations of severe flaws impacting the integrity, confidentiality and accessibility of neural network models. However, the attack surface of such embedded systems cannot be reduced to abstract flaws but must encompass the physical threats related to the implementation of these models within hardware platforms (e.g., 32-bit microcontrollers). Among physical attacks, Fault Injection Analysis (FIA) are known to be very powerful with a large spectrum of attack vectors. Most importantly, highly focused FIA techniques such as laser beam injection enable very accurate evaluation of the vulnerabilities as well as the robustness of embedded systems. Here, we propose to discuss how laser injection with state-of-the-art equipment, combined with theoretical evidences from Adversarial Machine Learning, highlights worrying threats against the integrity of deep learning inference and claims that join efforts from the theoretical AI and Physical Security communities are a urgent need.


title: TimeGym: Debugging for Time Series Modeling in Python

abstract: We introduce the TimeGym Forecasting Debugging Toolkit, a Python library for testing and debugging time series forecasting pipelines. TimeGym simplifies the testing forecasting pipeline by providing generic tests for forecasting pipelines fresh out of the box. These tests are based on common modeling challenges of time series. Our library enables forecasters to apply a Test-Driven Development approach to forecast modeling, using specified oracles to generate artificial data with noise.


title: A Two-Stage Coordinative Zonal Volt/VAR Control Scheme for Distribution Systems with High Inverter-based Resources

abstract: This paper presents a two-stage zonal Volt/VAR control scheme for coordinating inverter-based resources (IBR) with utility-owned voltage regulators (VR) to regulate voltage in unbalanced 3-phase distribution systems. First, correlations between nodal voltages are derived from nodal voltage sensitivity studies. Then, the feeder is partitioned into non-overlapping, weakly-coupled voltage control zones based on nodal voltage correlations. IBR are used in the first stage to regulate voltage changes continuously and VR are used in the second stage to regulate large voltage deviations. An online VR voltage setpoint tuning strategy is developed to reduce excessive tap changes and avoid large voltage fluctuations without retrofitting existing VR controllers. In addition, the proposed algorithm uses real-time voltage measurements only from the critical nodes (typically less than 4% of total nodes) to reduce the sensing and communication needs. Actual distribution feeder topologies and load and PV time-series data are used to verify the performance of the algorithm. Because the method is a rule-based approach, it runs extremely fast, requires fewer measurements, and requires no retrofit to the existing VR control mechanisms. Simulation results show that the performance of the proposed method in terms of voltage control results and average numbers of VR tap changes are satisfactory.


title: Axion Dark Matter: What is it and Why Now?

abstract: The axion has emerged in recent years as a leading particle candidate to provide the mysterious dark matter in the cosmos, as we review here for a general scientific audience. We describe first the historical roots of the axion in the Standard Model of particle physics and the problem of charge-parity invariance of the strong nuclear force. We then discuss how the axion emerges as a dark matter candidate, and how it is produced in the early Universe. The symmetry properties of the axion dictate the form of its interactions with ordinary matter. Astrophysical considerations restrict the particle mass and interaction strengths to a limited range, which facilitates the planning of experiments to detect the axion. A companion review discusses the exciting prospect that the axion could {indeed} be detected in the near term in the laboratory.


title: A Review on Oracle Issues in Machine Learning

abstract: Machine learning contrasts with traditional software development in that the oracle is the data, and the data is not always a correct representation of the problem that machine learning tries to model. We present a survey of the oracle issues found in machine learning and state-of-the-art solutions for dealing with these issues. These include lines of research for differential testing, metamorphic testing, and test coverage. We also review some recent improvements to robustness during modeling that reduce the impact of oracle issues, as well as tools and frameworks for assisting in testing and discovering issues specific to the dataset.


title: Unsteady and inertial dynamics of an active particle in a fluid

abstract: It is well known that the reversibility of Stokes flow makes it difficult for small microorganisms to swim. Inertial effects break this reversibility, allowing new mechanisms of propulsion and feeding. Therefore it is important to understand the effects of unsteady and fluid inertia on the dynamics of microorganisms in flow. In this work, we show how to translate known inertial effects for non-motile organisms to motile ones, from passive to active particles. The method relies on a principle used earlier by Legendre and Magnaudet (1997) to deduce inertial corrections to the lift force on a bubble from the inertial drag on a solid sphere, using the fact that small inertial effects are determined by the far field of the disturbance flow. The method allows for example to compute the inertial effect of unsteady fluid accelerations on motile organisms, and the inertial forces such organisms experience in steady shear flow. We explain why the method fails to describe the effect of convective fluid inertia.


title: Hardness-Preserving Reductions via Cuckoo Hashing

abstract: The focus of this work is \emph{hardness-preserving} transformations of somewhat limited pseudorandom functions families (PRFs) into ones with more versatile characteristics. Consider the problem of \emph{domain extension} of pseudorandom functions: given a PRF that takes as input elements of some domain $U$, we would like to come up with a PRF over a larger domain. Can we do it with little work and without significantly impacting the security of the system? One approach is to first hash the larger domain into the smaller one and then apply the original PRF. Such a reduction, however, is vulnerable to a "birthday attack": after $\sqrt{\size{U}}$ queries to the resulting PRF, a collision (\ie two distinct inputs having the same hash value) is very likely to occur. As a consequence, the resulting PRF is \emph{insecure} against an attacker making this number of queries. In this work we show how to go beyond the aforementioned birthday attack barrier by replacing the above simple hashing approach with a variant of \textit{cuckoo hashing}, a hashing paradigm that resolves collisions in a table by using two hash functions and two tables, cleverly assigning each element to one of the two tables. We use this approach to obtain: (i) a domain extension method that requires {\em just two calls} to the original PRF, can withstand as many queries as the original domain size, and has a distinguishing probability that is exponentially small in the amount of non-cryptographic work; and (ii) a {\em security-preserving} reduction from non-adaptive to adaptive PRFs.


title: Quantum information in neural systems

abstract: Identifying the physiological processes in the central nervous system that underlie our conscious experiences has been at the forefront of cognitive neuroscience. While the principles of classical physics were long found to be unaccommodating for a causally effective consciousness, the inherent indeterminism of quantum physics, together with its characteristic dichotomy between quantum states and quantum observables, provides a fertile ground for the physical modeling of consciousness. Here, we utilize the Schr\"odinger equation, together with the Planck--Einstein relation between energy and frequency, in order to determine the appropriate quantum dynamical timescale of conscious processes. Furthermore, with the help of a simple two-qubit toy model we illustrate the importance of non-zero interaction Hamiltonian for the generation of quantum entanglement and manifestation of observable correlations between different measurement outcomes. Employing a quantitative measure of entanglement based on Schmidt decomposition, we show that quantum evolution governed only by internal Hamiltonians for the individual quantum subsystems preserves quantum coherence of separable initial quantum states, but eliminates the possibility of any interaction and quantum entanglement. The presence of non-zero interaction Hamiltonian, however, allows for decoherence of the individual quantum subsystems along with their mutual interaction and quantum entanglement. The presented results show that quantum coherence of individual subsystems cannot be used for cognitive binding because it is a physical mechanism that leads to separability and non-interaction. In contrast, quantum interactions with their associated decoherence of individual subsystems are instrumental for dynamical changes in the quantum entanglement of the composite quantum state vector and manifested correlations of different observable outcomes.


title: Multi-frequency high spectral resolution observations of HCN toward the circumstellar envelope of Y CVn

abstract: High spectral resolution observations toward the low mass-loss rate C-rich, J-type AGB star Y CVn have been carried out at 7.5, 13.1 and 14.0 um with SOFIA/EXES and IRTF/TEXES. Around 130 HCN and H13CN lines of bands v2, 2v2, 2v2-v2, 3v2-2v2, 3v2-v2, and 4v2-2v2 have been identified involving lower levels with energies up to ~3900 K. These lines have been complemented with the pure rotational lines J=1-0 and 3-2 of the vibrational states up to 2v2 acquired with the IRAM 30 m telescope, and with the continuum taken with ISO. We have analyzed the data with a ro-vibrational diagram and a code which models the absorption and emission of the circumstellar envelope of an AGB star. The continuum is produced by the star with a small contribution from dust grains comprising warm to hot SiC and cold amorphous carbon. The HCN abundance distribution seems to be anisotropic. The ejected gas is accelerated up to the terminal velocity (~8 km/s) from the photosphere to ~3R* but there is evidence of higher velocities (>9-10 km/s) beyond this region. In the vicinity of Y CVn, the line widths are as high as ~10 km/s, which implies a maximum turbulent velocity of 6 km/s or the existence of other physical mechanisms probably related to matter ejection that involve higher gas expansion velocities than expected. HCN is rotationally and vibrationally out of LTE throughout the whole envelope. A difference of about 1500 K in the rotational temperature at the photosphere is needed to explain the observations at 7.5 and 13-14 um. Our analysis finds a total HCN column density that ranges from ~2.1E+18 to 3.5E+18 cm^{-2}, an abundance with respect to H2 of 3.5E-05 to 1.3E-04, and a 12C/13C isotopic ratio of ~2.5 throughout the whole envelope.


title: Estimating the conditional distribution in functional regression problems

abstract: We consider the problem of consistently estimating the conditional distribution $P(Y \in A |X)$ of a functional data object $Y=(Y(t): t\in[0,1])$ given covariates $X$ in a general space, assuming that $Y$ and $X$ are related by a functional linear regression model. Two natural estimation methods are proposed, based on either bootstrapping the estimated model residuals, or fitting functional parametric models to the model residuals and estimating $P(Y \in A |X)$ via simulation. Whether either of these methods lead to consistent estimation depends on the consistency properties of the regression operator estimator, and the space within which $Y$ is viewed. We show that under general consistency conditions on the regression operator estimator, which hold for certain functional principal component based estimators, consistent estimation of the conditional distribution can be achieved, both when $Y$ is an element of a separable Hilbert space, and when $Y$ is an element of the Banach space of continuous functions. The latter results imply that sets $A$ that specify path properties of $Y$, which are of interest in applications, can be considered. The proposed methods are studied in several simulation experiments, and data analyses of electricity price and pollution curves.


title: Classes of intersection digraphs with good algorithmic properties

abstract: An intersection digraph is a digraph where every vertex $v$ is represented by an ordered pair $(S_v, T_v)$ of sets such that there is an edge from $v$ to $w$ if and only if $S_v$ and $T_w$ intersect. An intersection digraph is reflexive if $S_v\cap T_v\neq \emptyset$ for every vertex $v$. Compared to well-known undirected intersection graphs like interval graphs and permutation graphs, not many algorithmic applications on intersection digraphs have been developed. Motivated by the successful story on algorithmic applications of intersection graphs using a graph width parameter called mim-width, we introduce its directed analogue called `bi-mim-width' and prove that various classes of reflexive intersection digraphs have bounded bi-mim-width. In particular, we show that as a natural extension of $H$-graphs, reflexive $H$-digraphs have linear bi-mim-width at most $12|E(H)|$, which extends a bound on the linear mim-width of $H$-graphs [On the Tractability of Optimization Problems on $H$-Graphs. Algorithmica 2020]. For applications, we introduce a novel framework of directed versions of locally checkable problems, that streamlines the definitions and the study of many problems in the literature and facilitates their common algorithmic treatment. We obtain unified polynomial-time algorithms for these problems on digraphs of bounded bi-mim-width, when a branch decomposition is given. Locally checkable problems include Kernel, Dominating Set, and Directed $H$-Homomorphism.


title: Ionisation quenching factors from W-values in pure gases for rare event searches

abstract: The effect of ionisation quenching for ions is critical for experiments relying on the measurement of low energy recoils, such as direct Dark Matter searches. We present ionisation quenching factor estimates over a range of energies for protons, $\alpha$-particles, and heavier ions in H$_{2}$, CH$_{4}$, N$_{2}$, Ar, CO$_{2}$, and C$_{3}$H$_{8}$ gases, estimated from the respective reference W-value measurements. The resulting ionisation quenching factors are compared with predictions from SRIM.


title: A Power and Area Efficient Lepton Hardware Encoder with Hash-based Memory Optimization

abstract: Although it has been surpassed by many subsequent coding standards, JPEG occupies a large share of the storage load of the current data hosting service. To reduce the storage costs, DropBox proposed a lossless secondary compression algorithm, Lepton, to further improve the compression rate of JPEG images. However, the bloated probability models defined by Lepton severely restrict its throughput and energy efficiency. To solve this problem, we construct an efficient access probability-based hash function for the probability models, and then propose a hardware-friendly memory optimization method by combining the proposed hash function and the N-way Set-Associative unit. After that, we design a highly parameterized hardware structure for the probability models and finally implement a power and area efficient Lepton hardware encoder. To the best of our knowledge, this is the first hardware implementation of Lepton. The synthesis result shows that the proposed hardware structure reduces the total area of the probability models by 70.97%. Compared with DropBox's software solution, the throughput and the energy efficiency of the proposed Lepton hardware encoder are increased by 55.25 and 4899 times respectively. In terms of manufacturing cost, the proposed Lepton hardware encoder is also significantly lower than the general-purpose CPU used by DropBox.


title: Performance of the ATLAS Level-1 topological trigger in Run 2

abstract: During LHC Run 2 (2015-2018) the ATLAS Level-1 topological trigger allowed efficient data-taking by the ATLAS experiment at luminosities up to 2.1x10$^{34}$ cm$^{-2}$s$^{-1}$, which exceeds the design value by a factor of two. The system was installed in 2016 and operated in 2017 and 2018. It uses Field Programmable Gate Array processors to select interesting events by placing kinematic and angular requirements on electromagnetic clusters, jets, $\tau$-leptons, muons and the total energy. It significantly improves the background event rejection and signal event acceptance, in particular for Higgs boson and $B$-physics measurements.


title: Finding Collisions in Interactive Protocols -- Tight Lower Bounds on the Round and Communication Complexities of Statistically Hiding Commitments

abstract: We study the round and communication complexities of various cryptographic protocols. We give tight lower bounds on the round and communication complexities of any fully black-box reduction of a statistically hiding commitment scheme from one-way permutations, and from trapdoor permutations. As a corollary, we derive similar tight lower bounds for several other cryptographic protocols, such as single-server private information retrieval, interactive hashing, and oblivious transfer that guarantees statistical security for one of the parties. Our techniques extend the collision-finding oracle due to Simon (EUROCRYPT '98) to the setting of interactive protocols and the reconstruction paradigm of Gennaro and Trevisan (FOCS '00).


title: Prediction of Self-Assembled Dewetted Nanostructures for Photonics Applications via a Continuum Mechanics Framework

abstract: When a liquid film lies on a non-wettable substrate, the configuration is unstable and the film then retracts from a solid substrate to form droplets. This phenomenon, known as dewetting, commonly leads to undesirable morphological changes. Nevertheless, recent works have demonstrated the possibility to harness dewetting by employing templated substrates with a degree of precision on par with advanced lithographic processes for high-performance nanophotonic applications. Since resonant behavior is highly sensitive to geometrical changes, predicting quantitatively dewetting dynamics is of high interest. In this work, we develop a continuum model that predicts the evolution of a thin film on a patterned substrate, from the initial reflow to the nucleation and growth of holes. We provide an operative framework based on macroscopic measurements to model the intermolecular interactions at the origin of the dewetting process, involving length scales that span from sub-nanometer to micron range. A comparison of experimental and simulated results shows that the model can accurately predict the final distributions, thereby offering novel predictive tools to tailor the optical response of dewetted nanostructures.

categories: physics.flu-dyn cond-mat.mtrl-sci physics.app-ph physics.optics


title: Automatic Learning to Detect Concept Drift

abstract: Many methods have been proposed to detect concept drift, i.e., the change in the distribution of streaming data, due to concept drift causes a decrease in the prediction accuracy of algorithms. However, the most of current detection methods are based on the assessment of the degree of change in the data distribution, cannot identify the type of concept drift. In this paper, we propose Active Drift Detection with Meta learning (Meta-ADD), a novel framework that learns to classify concept drift by tracking the changed pattern of error rates. Specifically, in the training phase, we extract meta-features based on the error rates of various concept drift, after which a meta-detector is developed via a prototypical neural network by representing various concept drift classes as corresponding prototypes. In the detection phase, the learned meta-detector is fine-tuned to adapt to the corresponding data stream via stream-based active learning. Hence, Meta-ADD uses machine learning to learn to detect concept drifts and identify their types automatically, which can directly support drift understand. The experiment results verify the effectiveness of Meta-ADD.


title: Training Quantized Neural Networks to Global Optimality via Semidefinite Programming

abstract: Neural networks (NNs) have been extremely successful across many tasks in machine learning. Quantization of NN weights has become an important topic due to its impact on their energy efficiency, inference time and deployment on hardware. Although post-training quantization is well-studied, training optimal quantized NNs involves combinatorial non-convex optimization problems which appear intractable. In this work, we introduce a convex optimization strategy to train quantized NNs with polynomial activations. Our method leverages hidden convexity in two-layer neural networks from the recent literature, semidefinite lifting, and Grothendieck's identity. Surprisingly, we show that certain quantized NN problems can be solved to global optimality in polynomial-time in all relevant parameters via semidefinite relaxations. We present numerical examples to illustrate the effectiveness of our method.


title: First detection of methyl formate in the hot molecular core IRAS 18566+0408

abstract: The studies of the complex molecular emission lines in millimeter and submillimeter wavelengths towards the hot molecular cores demonstrate valuable details about the chemical complexity in the interstellar medium (ISM). We presented the first detection of the rotational emission lines of the complex organic molecule methyl formate (CH$_{3}$OCHO) towards the hot molecular core region IRAS 18566+0408 using the high-resolution Atacama Large Millimeter/Submillimeter Array (ALMA) band 3 observation. The estimated column density of CH$_{3}$OCHO using the rotational diagram analysis was (4.1$\pm$0.1)$\times$10$^{15}$ cm$^{-2}$ with rotational temperature 102.8$\pm$1.2 K. The estimated fractional abundance of CH$_{3}$OCHO towards the IRAS 18566+0408 relative to hydrogen (H$_{2}$) was 3.90$\times$10$^{-9}$. We noted that the estimated fractional abundance of CH$_{3}$OCHO is fairly consistent with the simulation value predicted by the three-phase warm-up model from Garrod (2013). We also discussed the possible formation mechanism of CH$_{3}$OCHO towards the hot molecular cores.


title: On the stability of the stochastic gradient Langevin algorithm with dependent data stream

abstract: We prove, under mild conditions, that the stochastic gradient Langevin dynamics converges to a limiting law as time tends to infinity, even in the case where the driving data sequence is dependent.


title: Learning Traffic Speed Dynamics from Visualizations

abstract: Space-time visualizations of macroscopic or microscopic traffic variables is a qualitative tool used by traffic engineers to understand and analyze different aspects of road traffic dynamics. We present a deep learning method to learn the macroscopic traffic speed dynamics from these space-time visualizations, and demonstrate its application in the framework of traffic state estimation. Compared to existing estimation approaches, our approach allows a finer estimation resolution, eliminates the dependence on the initial conditions, and is agnostic to external factors such as traffic demand, road inhomogeneities and driving behaviors. Our model respects causality in traffic dynamics, which improves the robustness of estimation. We present the high-resolution traffic speed fields estimated for several freeway sections using the data obtained from the Next Generation Simulation Program (NGSIM) and German Highway (HighD) datasets. We further demonstrate the quality and utility of the estimation by inferring vehicle trajectories from the estimated speed fields, and discuss the benefits of deep neural network models in approximating the traffic dynamics.


title: On the Linear convergence of Natural Policy Gradient Algorithm

abstract: Markov Decision Processes are classically solved using Value Iteration and Policy Iteration algorithms. Recent interest in Reinforcement Learning has motivated the study of methods inspired by optimization, such as gradient ascent. Among these, a popular algorithm is the Natural Policy Gradient, which is a mirror descent variant for MDPs. This algorithm forms the basis of several popular Reinforcement Learning algorithms such as Natural actor-critic, TRPO, PPO, etc, and so is being studied with growing interest. It has been shown that Natural Policy Gradient with constant step size converges with a sublinear rate of O(1/k) to the global optimal. In this paper, we present improved finite time convergence bounds, and show that this algorithm has geometric (also known as linear) asymptotic convergence rate. We further improve this convergence result by introducing a variant of Natural Policy Gradient with adaptive step sizes. Finally, we compare different variants of policy gradient methods experimentally.


title: Two-Stage Facility Location Games with Strategic Clients and Facilities

abstract: We consider non-cooperative facility location games where both facilities and clients act strategically and heavily influence each other. This contrasts established game-theoretic facility location models with non-strategic clients that simply select the closest opened facility. In our model, every facility location has a set of attracted clients and each client has a set of shopping locations and a weight that corresponds to her spending capacity. Facility agents selfishly select a location for opening their facility to maximize the attracted total spending capacity, whereas clients strategically decide how to distribute their spending capacity among the opened facilities in their shopping range. We focus on a natural client behavior similar to classical load balancing: our selfish clients aim for a distribution that minimizes their maximum waiting times for getting serviced, where a facility's waiting time corresponds to its total attracted client weight. We show that subgame perfect equilibria exist and give almost tight constant bounds on the Price of Anarchy and the Price of Stability, which even hold for a broader class of games with arbitrary client behavior. Since facilities and clients influence each other, it is crucial for the facilities to anticipate the selfish clients' behavior when selecting their location. For this, we provide an efficient algorithm that also implies an efficient check for equilibrium. Finally, we show that computing a socially optimal facility placement is NP-hard and that this result holds for all feasible client weight distributions.


title: Business analytics meets artificial intelligence: Assessing the demand effects of discounts on Swiss train tickets

abstract: We assess the demand effects of discounts on train tickets issued by the Swiss Federal Railways, the so-called `supersaver tickets', based on machine learning, a subfield of artificial intelligence. Considering a survey-based sample of buyers of supersaver tickets, we investigate which customer- or trip-related characteristics (including the discount rate) predict buying behavior, namely: booking a trip otherwise not realized by train, buying a first- rather than second-class ticket, or rescheduling a trip (e.g.\ away from rush hours) when being offered a supersaver ticket. Predictive machine learning suggests that customer's age, demand-related information for a specific connection (like departure time and utilization), and the discount level permit forecasting buying behavior to a certain extent. Furthermore, we use causal machine learning to assess the impact of the discount rate on rescheduling a trip, which seems relevant in the light of capacity constraints at rush hours. Assuming that (i) the discount rate is quasi-random conditional on our rich set of characteristics and (ii) the buying decision increases weakly monotonically in the discount rate, we identify the discount rate's effect among `always buyers', who would have traveled even without a discount, based on our survey that asks about customer behavior in the absence of discounts. We find that on average, increasing the discount rate by one percentage point increases the share of rescheduled trips by 0.16 percentage points among always buyers. Investigating effect heterogeneity across observables suggests that the effects are higher for leisure travelers and during peak hours when controlling several other characteristics.


title: Codes for the Z-channel

abstract: This paper is a collection of results on combinatorial properties of codes for the Z-channel. A Z-channel with error fraction $\tau$ takes as input a length-$n$ binary codeword and injects in an adversarial manner up to $n\tau$ asymmetric errors, i.e., errors that only zero out bits but do not flip $0$'s to $1$'s. It is known that the largest $(L-1)$-list-decodable code for the Z-channel with error fraction $\tau$ has exponential size (in $n$) if $\tau$ is less than a critical value that we call the $(L-1)$-list-decoding Plotkin point and has constant size if $\tau$ is larger than the threshold. The $(L-1)$-list-decoding Plotkin point is known to be $ L^{-\frac{1}{L-1}} - L^{-\frac{L}{L-1}} $, which equals $1/4$ for unique-decoding with $ L-1=1 $. In this paper, we derive various results for the size of the largest codes above and below the list-decoding Plotkin point. In particular, we show that the largest $(L-1)$-list-decodable code $\epsilon$-above the Plotkin point, {for any given sufficiently small positive constant $ \epsilon>0 $,} has size $\Theta_L(\epsilon^{-3/2})$ for any $L-1\ge1$. We also devise upper and lower bounds on the exponential size of codes below the list-decoding Plotkin point.


title: Statistical Genetics in and out of Quasi-Linkage Equilibrium (Extended)

abstract: This review is about statistical genetics, an interdisciplinary topic between statistical physics and population biology. The focus is on the phase of quasi-linkage equilibrium (QLE). Our goals here are to clarify under which conditions the QLE phase can be expected to hold in population biology and how the stability of the QLE phase is lost. The QLE state, which has many similarities to a thermal equilibrium state in statistical mechanics, was discovered by M Kimura for a two-locus two-allele model, and was extended and generalized to the global genome scale by (Neher and Shraiman, 2011). What we will refer to as the Kimura-Neher-Shraiman (KNS) theory describes a population evolving due to the mutations, recombination, natural selection and possibly genetic drift. A QLE phase exists at sufficiently high recombination rate and/or mutation rates with respect to selection strength. We show how in QLE it is possible to infer the epistatic parameters of the fitness function from the knowledge of the (dynamical) distribution of genotypes in a population. We further consider the breakdown of the QLE regime for high enough selection strength. We review recent results for the selection-mutation and selection-recombination dynamics. Finally, we identify and characterize a new phase which we call the non-random coexistence (NRC) where variability persists in the population without either fixating or disappearing.


title: Enhancing Generalizability of Predictive Models with Synergy of Data and Physics

abstract: Wind farm needs prediction models for predictive maintenance. There is a need to predict values of non-observable parameters beyond ranges reflected in available data. A prediction model developed for one machine many not perform well in another similar machine. This is usually due to lack of generalizability of data-driven models. To increase generalizability of predictive models, this research integrates the data mining with first-principle knowledge. Physics-based principles are combined with machine learning algorithms through feature engineering, strong rules and divide-and-conquer. The proposed synergy concept is illustrated with the wind turbine blade icing prediction and achieves significant prediction accuracy across different turbines. The proposed process is widely accepted by wind energy predictive maintenance practitioners because of its simplicity and efficiency. Furthermore, this paper demonstrates the importance of embedding physical principles within the machine learning process, and also highlight an important point that the need for more complex machine learning algorithms in industrial big data mining is often much less than it is in other applications, making it essential to incorporate physics and follow Less is More philosophy.


title: A note on the filtered decomposition theorem

abstract: We generalize the logarithmic decomposition theorem of Deligne-Illusie to a filtered version. There are two applications. The easier one provides a mod $p$ proof for a vanishing theorem in characteristic zero. The deeper one gives rise to a positive characteristic analogue of a theorem of Deligne on the mixed Hodge structure attached to complex algebraic varieties.


title: Modules for algebraic groups with finitely many orbits on totally singular 2-spaces

abstract: This is the author's second paper treating the double coset problem for classical groups. Let $G$ be an algebraic group over an algebraically closed field $K$. The double coset problem consists of classifying the pairs $H,J$ of closed connected subgroups of $G$ with finitely many $(H,J)$-double cosets in $G$. The critical setup occurs when one of $H,J$, say $H$, is reductive, and $J$ is a parabolic subgroup. Assume that $G$ is a classical group, $H$ is simple and $J$ is a maximal parabolic $P_k$, the stabilizer of a totally singular $k$-space. Then most candidates have $k=1$ or $k=2$. The case $k=1$ was solved in a previous paper and here we deal with $k=2$. We solve this case by determining all faithful irreducible self-dual $H$-modules $V$, such that $H$ has finitely may orbits on totally singular $2$-spaces of $V$.


title: Effects of the COVID-19 Pandemic on Learning and Teaching: a Case Study from Higher Education

abstract: In December 2019, the first case of SARS-CoV-2 infection was identified in Wuhan, China. Since that day, COVID-19 has spread worldwide, affecting 153 million people. Education, as many other sectors, has managed to adapt to the requirements and barriers implied by the impossibility to teach students face-to-face as it was done before. Yet, little is known about the implications of emergency remote teaching (ERT) during the pandemic. This study describes and analyzes the impact of the pandemic on the study patterns of higher education students. The analysis was performed by the integration of three main components: (1) interaction with the learning management system (LMS), (2) Assignment submission rate, and (3) Teachers' perspective. Several variables were created to analyze the study patterns, clicks on different LMS components, usage during the day, week and part of the term, the time span of interaction with the LMS, and grade categories. The results showed significant differences in study patterns depending on the year of study, and the variables reflecting the effect of teachers' changes in the course structure are identified. This study outlines the first insights of higher education's new normality, providing important implications for supporting teachers in creating academic material that adequately addresses students' particular needs depending on their year of study, changes in study pattern, and distribution of time and activity through the term.


title: Model Reduction for Large Scale Systems

abstract: Projection based model order reduction has become a mature technique for simulation of large classes of parameterized systems. However, several challenges remain for problems where the solution manifold of the parameterized system cannot be well approximated by linear subspaces. While the online efficiency of these model reduction methods is very convincing for problems with a rapid decay of the Kolmogorov n-width, there are still major drawbacks and limitations. Most importantly, the construction of the reduced system in the offline phase is extremely CPU-time and memory consuming for large scale and multi scale systems. For practical applications, it is thus necessary to derive model reduction techniques that do not rely on a classical offline/online splitting but allow for more flexibility in the usage of computational resources. A promising approach with this respect is model reduction with adaptive enrichment. In this contribution we investigate Petrov-Galerkin based model reduction with adaptive basis enrichment within a Trust Region approach for the solution of multi scale and large scale PDE constrained parameter optimization.


title: Towards Accountability in the Use of Artificial Intelligence for Public Administrations

abstract: We argue that the phenomena of distributed responsibility, induced acceptance, and acceptance through ignorance constitute instances of imperfect delegation when tasks are delegated to computationally-driven systems. Imperfect delegation challenges human accountability. We hold that both direct public accountability via public transparency and indirect public accountability via transparency to auditors in public organizations can be both instrumentally ethically valuable and required as a matter of deontology from the principle of democratic self-government. We analyze the regulatory content of 16 guideline documents about the use of AI in the public sector, by mapping their requirements to those of our philosophical account of accountability, and conclude that while some guidelines refer to processes that amount to auditing, it seems that the debate would benefit from more clarity about the nature of the entitlement of auditors and the goals of auditing, also in order to develop ethically meaningful standards with respect to which different forms of auditing can be evaluated and compared.


title: The Diffractive Contribution to Deep Inelastic Lepton-Proton Scattering: Implications for QCD Momentum Sum Rules and Parton Distributions

abstract: The cross section for deep inelastic lepton-proton scattering (DIS) $\ell p \to \ell' X$ includes a diffractive deep inelastic (DDIS) contribution $\ell p \to \ell' p' X$, in which the proton remains intact with a large longitudinal momentum fraction $x_F$ greater than 0.9 and small transverse momentum. The DDIS events, which can be identified with Pomeron exchange in the $t$-channel, account for approximately $10\%$ of all of the DIS events. Thus, when one measures DIS, one automatically includes the leading-twist Bjorken-scaling DDIS events as a contribution to the DIS cross section, whether or not the final-state proton $p'$ is detected. In such events, the missing momentum fraction $x_{p'} \sim 0.9$ carried by the final-state proton $p'$ in the DDIS events could be misidentified with the light-front momentum fraction carried by sea quarks or gluons in the protons' Fock structure. As we shall show in this article, the underlying QCD Pomeron-exchange amplitude which produces the DDIS events does not obey the operator product expansion nor satisfy momentum sum rules. Thus we conclude that the quark and gluon distributions measured in DIS experiments will be misidentified, unless the measurements explicitly exclude the DDIS events and that a correct determination of the parton distribution functions (PDFs) derived from the DIS data requires the explicit subtraction of the DDIS contribution from the full DIS cross section.


title: Gravitational Positivity Bounds on Scalar Potentials

abstract: We derive constraints on scalar field theories coupled to gravity by using recently developed positivity bounds in the presence of gravity. It is found that a canonically-normalized real scalar cannot have an arbitrarily flat potential unless some new physics enters well below the Planck scale. An upper bound on the scale of new physics is determined by loop corrections to the self-energy. Our result provides a swampland condition for scalar potentials.


title: Multiwavelength analysis of the X-ray spur and southeast of the Large Magellanic Cloud

abstract: Aims: The giant HII region 30 Doradus (30 Dor) located in the eastern part of the Large Magellanic Cloud is one of the most active star-forming regions in the Local Group. Studies of HI data have revealed two large gas structures which must have collided with each other in the region around 30 Dor. In X-rays there is extended emission ($\sim 1$ kpc) south of 30 Dor called the X-ray spur, which appears to be anticorrelated with the HI gas. We study the properties of the hot interstellar medium (ISM) in the X-ray spur and investigate its origin including related interactions in the ISM. Methods: We analyzed new and archival XMM-Newton data of the X-ray spur and its surroundings to determine the properties of the hot diffuse plasma. We created detailed plasma property maps by utilizing the Voronoi tessellation algorithm. We also studied HI and CO data, as well as optical line emission data of H$\alpha$ and [SII], and compared them to the results of the X-ray spectral analysis. Results: We find evidence of two hot plasma components with temperatures of $kT_1 \sim 0.2$ keV and $kT_2 \sim 0.5-0.9$ keV, with the hotter component being much more pronounced near 30 Dor and the X-ray spur. In 30 Dor, the plasma has most likely been heated by massive stellar winds and supernova remnants. In the X-ray spur, we find no evidence of heating by stars. Instead, the X-ray spur must have been compressed and heated by the collision of the HI gas.


title: Observation of a narrow inner-shell orbital transition in atomic erbium at 1299 nm

abstract: We report on the observation and coherent excitation of atoms on the narrow inner-shell orbital transition, connecting the erbium ground state $[\mathrm{Xe}] 4f^{12} (^3\text{H}_6)6s^{2}$ to the excited state $[\mathrm{Xe}] 4f^{11}(^4\text{I}_{15/2})^05d (^5\text{D}_{3/2}) 6s^{2} (15/2,3/2)^0_7$. This transition corresponds to a wavelength of 1299 nm and is optically closed. We perform high-resolution spectroscopy to extract the $g_J$-factor of the $1299$-nm state and to determine the frequency shift for four bosonic isotopes. We further demonstrate coherent control of the atomic state and extract a lifetime of 178(19) ms which corresponds to a linewidth of 0.9(1) Hz. The experimental findings are in good agreement with our semi-empirical model. In addition, we present theoretical calculations of the atomic polarizability, revealing several different magic-wavelength conditions. Finally, we make use of the vectorial polarizability and confirm a possible magic wavelength at 532 nm.


title: Ab-initio Quantum Monte Carlo study of ultracold atomic mixtures

abstract: In this thesis, the properties of mixtures of Bose-Einstein condensates at $T = 0$ have been investigated using quantum Monte Carlo (QMC) methods and Density Functional Theory (DFT) with the aim of understanding physics beyond the mean-field theory in Bose-Bose mixtures.

categories: cond-mat.quant-gas cond-mat.stat-mech physics.comp-ph quant-ph


title: Late-time radio observations of the short GRB200522A: constraints on the magnetar model

abstract: GRB200522A is a short duration gamma-ray burst (GRB) at redshift $z$=0.554 characterized by a bright infrared counterpart. A possible, although not unambiguous, interpretation of the observed emission is the onset of a luminous kilonova powered by a rapidly rotating and highly-magnetized neutron star, known as magnetar. A bright radio flare, arising from the interaction of the kilonova ejecta with the surrounding medium, is a prediction of this model. Whereas the available dataset remains open to multiple interpretations (e.g. afterglow, r-process kilonova, magnetar-powered kilonova), long-term radio monitoring of this burst may be key to discriminate between models. We present our late-time upper limit on the radio emission of GRB200522A, carried out with the Karl G. Jansky Very Large Array at 288 days after the burst. For kilonova ejecta with energy $E_{\rm ej} \approx 10^{53} \rm erg$, as expected for a long-lived magnetar remnant, we can already rule out ejecta masses $M_{\rm ej} \lesssim0.03 \mathrm{M}_\odot$ for the most likely range of circumburst densities $n\gtrsim 10^{-3}$ cm$^{-3}$. Observations on timescales of $\approx$3-10 yr after the merger will probe larger ejecta masses up to $M_{\rm ej} \sim 0.1 \mathrm{M}_\odot$, providing a robust test to the magnetar scenario.


title: Distributive Justice and Fairness Metrics in Automated Decision-making: How Much Overlap Is There?

abstract: The advent of powerful prediction algorithms led to increased automation of high-stake decisions regarding the allocation of scarce resources such as government spending and welfare support. This automation bears the risk of perpetuating unwanted discrimination against vulnerable and historically disadvantaged groups. Research on algorithmic discrimination in computer science and other disciplines developed a plethora of fairness metrics to detect and correct discriminatory algorithms. Drawing on robust sociological and philosophical discourse on distributive justice, we identify the limitations and problematic implications of prominent fairness metrics. We show that metrics implementing equality of opportunity only apply when resource allocations are based on deservingness, but fail when allocations should reflect concerns about egalitarianism, sufficiency, and priority. We argue that by cleanly distinguishing between prediction tasks and decision tasks, research on fair machine learning could take better advantage of the rich literature on distributive justice.


title: NeuralLog: a Neural Logic Language

abstract: Application domains that require considering relationships among objects which have real-valued attributes are becoming even more important. In this paper we propose NeuralLog, a first-order logic language that is compiled to a neural network. The main goal of NeuralLog is to bridge logic programming and deep learning, allowing advances in both fields to be combined in order to obtain better machine learning models. The main advantages of NeuralLog are: to allow neural networks to be defined as logic programs; and to be able to handle numeric attributes and functions. We compared NeuralLog with two distinct systems that use first-order logic to build neural networks. We have also shown that NeuralLog can learn link prediction and classification tasks, using the same theory as the compared systems, achieving better results for the area under the ROC curve in four datasets: Cora and UWCSE for link prediction; and Yelp and PAKDD15 for classification; and comparable results for link prediction in the WordNet dataset.


title: mil-benchmarks: Standardized Evaluation of Deep Multiple-Instance Learning Techniques

abstract: Multiple-instance learning is a subset of weakly supervised learning where labels are applied to sets of instances rather than the instances themselves. Under the standard assumption, a set is positive only there is if at least one instance in the set which is positive. This paper introduces a series of multiple-instance learning benchmarks generated from MNIST, Fashion-MNIST, and CIFAR10. These benchmarks test the standard, presence, absence, and complex assumptions and provide a framework for future benchmarks to be distributed. I implement and evaluate several multiple-instance learning techniques against the benchmarks. Further, I evaluate the Noisy-And method with label noise and find mixed results with different datasets. The models are implemented in TensorFlow 2.4.1 and are available on GitHub. The benchmarks are available from PyPi as mil-benchmarks and on GitHub.


title: On the field strength dependence of bi- and triexponential intravoxel incoherent motion (IVIM) parameters in the liver

abstract: Background: Studies on intravoxel incoherent motion (IVIM) imaging are carried out with different acquisition protocols. Purpose: Investigate the dependence of IVIM parameters on the B_0field strength when using a bi- or triexponential model. Field Strength/Sequence: 20 volunteers were examined at two field strengths (1.5 and 3T). Diffusion-weighted images of the abdomen were acquired at 24 b-values ranging from 0.2 to 500 s/mm2. Assessment: ROIs were manually drawn in the liver. Data were fitted with a bi- and a triexponential IVIM model. Resulting parameters were compared between both field strengths. Results: At b-values below 6s/mm2, the triexponential model provided better agreement with the data than the biexponential model. The average tissue diffusivity was D=1.22/1.00 um/ms at 1.5/3T. The average pseudo-diffusion coefficients for the biexponential model were D*=308/260um/ms at 1.5/3T; and for the triexponential model D1*=81.3/65.9um/ms , D2*=2453/2333um/ms at 1.5/3T. The average perfusion fractions for the biexponential model were f=0.286/0.303 at 1.5/3T; and for the triexponential model f1=0.161/0.174 and f2=0.152/0.159 at 1.5/3T. A significant B0 dependence was only found for the biexponential pseudo-diffusion coefficient (ANOVA/KW p=0.037/0.0453) and tissue diffusivity (ANOVA/KW: p<0.001). Conclusion: Our experimental results suggest that triexponential pseudo-diffusion coefficients and perfusion fractions obtained at different field strengths could be compared across different studies using different B0. However, it is recommendable to take the field strength into account when comparing tissue diffusivities or using the biexponential IVIM model. Considering published values for oxygenation-dependent transversal relaxation times of blood, it is unlikely that the two blood compartments of the triexponential model represent venous and arterial blood.


title: Online Transfer Learning: Negative Transfer and Effect of Prior Knowledge

abstract: Transfer learning is a machine learning paradigm where the knowledge from one task is utilized to resolve the problem in a related task. On the one hand, it is conceivable that knowledge from one task could be useful for solving a related problem. On the other hand, it is also recognized that if not executed properly, transfer learning algorithms could in fact impair the learning performance instead of improving it - commonly known as "negative transfer". In this paper, we study the online transfer learning problems where the source samples are given in an offline way while the target samples arrive sequentially. We define the expected regret of the online transfer learning problem and provide upper bounds on the regret using information-theoretic quantities. We also obtain exact expressions for the bounds when the sample size becomes large. Examples show that the derived bounds are accurate even for small sample sizes. Furthermore, the obtained bounds give valuable insight on the effect of prior knowledge for transfer learning in our formulation. In particular, we formally characterize the conditions under which negative transfer occurs.