title: Single-photon hologram of a zero-area pulse

abstract: Single photons exhibit inherently quantum and unintuitive properties such as the Hong-ou-Mandel effect, demonstrating their bosonic and quantized nature, yet at the same time may correspond to single excitations of spatial or temporal modes with a very complex structure. Those two features are rarely seen together. Here we experimentally demonstrate how the Hong-Ou-Mandel effect can be spectrally-resolved and harnessed to characterize a complex temporal mode of a single-photon \textendash{} a zero-area pulse \textendash{} obtained via a resonant interaction of a terahertz-bandwidth photon with a narrow gigahertz-wide atomic transition of atomic vapor. The combination of bosonic quantum behavior with bandwidth-mismatched light-atom interaction is of fundamental importance for a deeper understanding of both phenomena, as well as their engineering offering applications in the characterization of ultra-fast transient processes.


title: Practical and Rigorous Uncertainty Bounds for Gaussian Process Regression

abstract: Gaussian Process Regression is a popular nonparametric regression method based on Bayesian principles that provides uncertainty estimates for its predictions. However, these estimates are of a Bayesian nature, whereas for some important applications, like learning-based control with safety guarantees, frequentist uncertainty bounds are required. Although such rigorous bounds are available for Gaussian Processes, they are too conservative to be useful in applications. This often leads practitioners to replacing these bounds by heuristics, thus breaking all theoretical guarantees. To address this problem, we introduce new uncertainty bounds that are rigorous, yet practically useful at the same time. In particular, the bounds can be explicitly evaluated and are much less conservative than state of the art results. Furthermore, we show that certain model misspecifications lead to only graceful degradation. We demonstrate these advantages and the usefulness of our results for learning-based control with numerical examples.


title: The replica-symmetric free energy for Ising spin glasses with orthogonally invariant couplings

abstract: We study a variant of the Sherrington-Kirkpatrick (S-K) spin glass model with external field, where the random symmetric couplings matrix does not consist of i.i.d. entries but is instead orthogonally invariant in law. For sufficiently high temperature, we prove a replica-symmetric formula for the first-order limit of the model free energy. Our analysis is an adaptation of a conditional second-moment-method argument previously introduced by Bolthausen for studying the high-temperature regime of the S-K model, where one conditions on the iterates of an Approximate Message Passing (AMP) algorithm for solving the TAP equations for the model magnetization. We apply this method using a memory-free version of AMP that is tailored to the orthogonally invariant structure of the model couplings.

categories: math.PR cond-mat.dis-nn cs.IT math.IT math.ST stat.TH


title: Theory of Multiple Scattering Enhanced Single Particle Plasmonic Sensing

abstract: Methods to increase the light scattered from small particles can help improve the sensitivity of many sensing techniques. Here, we investigate the role multiple scattering plays in perturbing the scattered signal when a particle is added to a random scattering environment. Three enhancement factors, parametrising the effect of different classes of multiple scattering trajectories on the field perturbation, are introduced and their mean amplitudes explored numerically in the context of surface plasmon polariton scattering. We demonstrate that there exists an optimum scatterer density at which the sensitivity enhancement is maximised, with factors on the order of $10^2$ achievable. Dependence of the enhancement factors on scatterer properties are also studied.


title: Object-centric Video Prediction without Annotation

abstract: In order to interact with the world, agents must be able to predict the results of the world's dynamics. A natural approach to learn about these dynamics is through video prediction, as cameras are ubiquitous and powerful sensors. Direct pixel-to-pixel video prediction is difficult, does not take advantage of known priors, and does not provide an easy interface to utilize the learned dynamics. Object-centric video prediction offers a solution to these problems by taking advantage of the simple prior that the world is made of objects and by providing a more natural interface for control. However, existing object-centric video prediction pipelines require dense object annotations in training video sequences. In this work, we present Object-centric Prediction without Annotation (OPA), an object-centric video prediction method that takes advantage of priors from powerful computer vision models. We validate our method on a dataset comprised of video sequences of stacked objects falling, and demonstrate how to adapt a perception model in an environment through end-to-end video prediction training.


title: Role of Multiple Scattering in Single Particle Perturbations in Absorbing Random Media

abstract: Speckle patterns produced by disordered scattering systems exhibit a sensitivity to addition of individual particles which can be used for sensing applications. Using a coupled dipole model we investigate how multiple scattering can enhance field perturbations arising in such random scattering based sensors. Three distinct families of multiple scattering paths are shown to contribute and the corresponding complex enhancement factors derived. Probability distributions of individual enhancement factors over the complex plane are characterised numerically within the context of surface plasmon polariton scattering in which absorption is shown to play an important role. We show that enhancements become more strongly dependent on individual scatterer properties when absorption losses are larger, however, amplitude enhancements $\sim 10^2$, comparable to low loss surface plasmons, are achievable through sensor optimisation. Approximate analytic expressions for the complex mean enhancements are also found, which agree well with simulations when loop contributions are negligible.


title: A Scalable Lower Bound for the Worst-Case Relay Attack Problem on the Transmission Grid

abstract: We consider a bilevel attacker-defender problem to find the worst-case attack on the relays that control the transmission grid. The attacker maximizes load shed by infiltrating a number of relays and rendering the components connected to them inoperable. The defender responds by minimizing the load shed, re-dispatching using a DC optimal power flow (DCOPF) problem on the remaining network. Though worst-case interdiction problems on the transmission grid are well-studied, there remains a need for exact and scalable methods. Methods based on using duality on the inner problem rely on the bounds of the dual variables of the defender problem in order to reformulate the bilevel problem as a mixed integer linear problem. Valid dual bounds tend to be large, resulting in weak linear programming relaxations and making the problem difficult to solve at scale. Often smaller heuristic bounds are used, resulting in a lower bound. In this work we also consider a lower bound, where instead of bounding the dual variables, we drop the constraints corresponding to Ohm's law, relaxing DCOPF to capacitated network flow. We present theoretical results showing that, for uncongested networks, approximating DCOPF with network flow yields the same set of injections, which suggests that this restriction likely gives a high-quality lower bound in the uncongested case. Furthermore, we show that in the network flow relaxation of the defender problem, the duals are bounded by 1, so we can solve our restriction exactly. Last, we see empirically that this formulation scales well computationally. Through experiments on 16 networks with up to 6468 buses, we find that this bound is almost always as tight as we can get from guessing the dual bounds, even for congested networks. In addition, calculating the bound is approximately 150 times faster than achieving the same bound with the reformulation guessing the dual bounds.


title: Multi-Perspective LSTM for Joint Visual Representation Learning

abstract: We present a novel LSTM cell architecture capable of learning both intra- and inter-perspective relationships available in visual sequences captured from multiple perspectives. Our architecture adopts a novel recurrent joint learning strategy that uses additional gates and memories at the cell level. We demonstrate that by using the proposed cell to create a network, more effective and richer visual representations are learned for recognition tasks. We validate the performance of our proposed architecture in the context of two multi-perspective visual recognition tasks namely lip reading and face recognition. Three relevant datasets are considered and the results are compared against fusion strategies, other existing multi-input LSTM architectures, and alternative recognition solutions. The experiments show the superior performance of our solution over the considered benchmarks, both in terms of recognition accuracy and complexity. We make our code publicly available at https://github.com/arsm/MPLSTM.


title: Dynamic Defense Approach for Adversarial Robustness in Deep Neural Networks via Stochastic Ensemble Smoothed Model

abstract: Deep neural networks have been shown to suffer from critical vulnerabilities under adversarial attacks. This phenomenon stimulated the creation of different attack and defense strategies similar to those adopted in cyberspace security. The dependence of such strategies on attack and defense mechanisms makes the associated algorithms on both sides appear as closely reciprocating processes. The defense strategies are particularly passive in these processes, and enhancing initiative of such strategies can be an effective way to get out of this arms race. Inspired by the dynamic defense approach in cyberspace, this paper builds upon stochastic ensemble smoothing based on defense method of random smoothing and model ensemble. Proposed method employs network architecture and smoothing parameters as ensemble attributes, and dynamically change attribute-based ensemble model before every inference prediction request. The proposed method handles the extreme transferability and vulnerability of ensemble models under white-box attacks. Experimental comparison of ASR-vs-distortion curves with different attack scenarios shows that even the attacker with the highest attack capability cannot easily exceed the attack success rate associated with the ensemble smoothed model, especially under untargeted attacks.


title: Three-dimensional, time-dependent analysis of high- and low-Q free-electron laser oscillators

abstract: Free-electron lasers (FELs) have been designed to operate over virtually the entire electromagnetic spectrum from microwaves through x-rays and in a variety of configurations including amplifiers and oscillators. Oscillators can operate in both the low and high gain regime and are typically used to improve the spatial and temporal coherence of the light generated. We will discuss various FEL oscillators ranging from systems with high-quality resonators combined with low-gain undulators to systems with a low-quality resonator combined with a high-gain undulator line. The FEL gain code MINERVA and wavefront propagation code OPC are used to model the FEL interaction within the undulator and the propagation in the remainder of the oscillator, respectively. We will not only include experimental data for the various systems for comparison when available, but also present for selected cases how the two codes can be used to study the effect of mirror aberrations and thermal mirror deformation on FEL performance.


title: Long-term changes in functional connectivity predict responses to intracranial stimulation of the human brain

abstract: Targeted electrical stimulation of the brain perturbs neural networks and modulates their rhythmic activity both at the site of stimulation and at remote brain regions. Understanding, or even predicting, this neuromodulatory effect is crucial for any therapeutic use of brain stimulation. To this end, we analyzed the stimulation responses in 131 stimulation sessions across 66 patients with focal epilepsy recorded through intracranial EEG (iEEG). We considered functional and structural connectivity features as predictors of the response at every iEEG contact. Taking advantage of multiple recordings over days, we also investigated how slow changes in interictal functional connectivity (FC) ahead of the stimulation relate to stimulation responses. The results reveal that, indeed, this long-term variability of FC exhibits strong association with the stimulation-induced increases in delta and theta band power. Furthermore, we show through cross-validation that long-term variability of FC improves prediction of responses above the performance of spatial predictors alone. These findings can enhance the patient-specific design of effective neuromodulatory protocols for therapeutic interventions.


title: Faster Monotone Min-Plus Product, Range Mode, and Single Source Replacement Paths

abstract: One of the most basic graph problems, All-Pairs Shortest Paths (APSP) is known to be solvable in $n^{3-o(1)}$ time, and it is widely open whether it has an $O(n^{3-\epsilon})$ time algorithm for $\epsilon > 0$. To better understand APSP, one often strives to obtain subcubic time algorithms for structured instances of APSP and problems equivalent to it, such as the Min-Plus matrix product. A natural structured version of Min-Plus product is Monotone Min-Plus product which has been studied in the context of the Batch Range Mode [SODA'20] and Dynamic Range Mode [ICALP'20] problems. This paper improves the known algorithms for Monotone Min-Plus Product and for Batch and Dynamic Range Mode, and establishes a connection between Monotone Min-Plus Product and the Single Source Replacement Paths (SSRP) problem on an $n$-vertex graph with potentially negative edge weights in $\{-M, \ldots, M\}$. SSRP with positive integer edge weights bounded by $M$ can be solved in $\tilde{O}(Mn^\omega)$ time, whereas the prior fastest algorithm for graphs with possibly negative weights [FOCS'12] runs in $O(M^{0.7519} n^{2.5286})$ time, the current best running time for directed APSP with small integer weights. Using Monotone Min-Plus Product, we obtain an improved $O(M^{0.8043} n^{2.4957})$ time SSRP algorithm, showing that SSRP with constant negative integer weights is likely easier than directed unweighted APSP, a problem that is believed to require $n^{2.5-o(1)}$ time. Complementing our algorithm for SSRP, we give a reduction from the Bounded-Difference Min-Plus Product problem studied by Bringmann et al. [FOCS'16] to negative weight SSRP. This reduction shows that it might be difficult to obtain an $\tilde{O}(M n^{\omega})$ time algorithm for SSRP with negative weight edges, thus separating the problem from SSRP with only positive weight edges.


title: Toward developing improved Mandarino Compatibility Indices (Kp/Kc)

abstract: The specific-refractivity (K) model for a whole-rock powder is presented. Successful, innovative completion of this reconnaissance suggests that ignoring creation of statistically-significant specific refractivities (Kp), when describing mineral or rock samples, hampers the development of Science. Automation of all related technologies is suggested; as is the need for yet greater, more-widespread cooperation to work on standard samples, in order both to facilitate inter-laboratory instrument calibrations and to improve discrimination among samples.


title: Wearable and Continuous Prediction of Passage of Time Perception for Monitoring Mental Health

abstract: A person's passage of time perception (POTP) is strongly linked to their mental state and stress response, and can therefore provide an easily quantifiable means of continuous mental health monitoring. In this work, we develop a custom experiment and Machine Learning (ML) models for predicting POTP from biomarkers acquired from wearable biosensors. We first confirm that individuals experience time passing slower than usual during fear or sadness (p = 0.046) and faster than usual during cognitive tasks (p = 2 x 10^-5). Then, we group together the experimental segments associated with fast, slow, and normal POTP, and train a ML model to classify between these states based on a person's biomarkers. The classifier had a weighted average F-1 score of 79%, with the fast-passing time class having the highest F-1 score of 93%. Next, we classify each individual's POTP regardless of the task at hand, achieving an F-1 score of 77.1% when distinguishing time passing faster rather than slower than usual. In the two classifiers, biomarkers derived from the respiration, electrocardiogram, skin conductance, and skin temperature signals contributed most to the classifier output, thus enabling real-time POTP monitoring using noninvasive, wearable biosensors.


title: Izhikevich-Inspired Optoelectronic Neurons with Excitatory and Inhibitory Inputs for Energy-Efficient Photonic Spiking Neural Networks

abstract: We designed, prototyped, and experimentally demonstrated, for the first time to our knowledge, an optoelectronic spiking neuron inspired by the Izhikevich model incorporating both excitatory and inhibitory optical spiking inputs and producing optical spiking outputs accordingly. The optoelectronic neurons consist of three transistors acting as electrical spiking circuits, a vertical-cavity surface-emitting laser (VCSEL) for optical spiking outputs, and two photodetectors for excitatory and inhibitory optical spiking inputs. Additional inclusion of capacitors and resistors complete the Izhikevich-inspired optoelectronic neurons, which receive excitatory and inhibitory optical spikes as inputs from other optoelectronic neurons. We developed a detailed optoelectronic neuron model in Verilog-A and simulated the circuit-level operation of various cases with excitatory input and inhibitory input signals. The experimental results closely resemble the simulated results and demonstrate how the excitatory inputs trigger the optical spiking outputs while the inhibitory inputs suppress the outputs. Utilizing the simulated neuron model, we conducted simulations using fully connected (FC) and convolutional neural networks (CNN). The simulation results using MNIST handwritten digits recognition show 90% accuracy on unsupervised learning and 97% accuracy on a supervised modified FC neural network. We further designed a nanoscale optoelectronic neuron utilizing quantum impedance conversion where a 200 aJ/spike input can trigger the output from on-chip nanolasers with 10 fJ/spike. The nanoscale neuron can support a fanout of ~80 or overcome 19 dB excess optical loss while running at 10 GSpikes/second in the neural network, which corresponds to 100x throughput and 1000x energy-efficiency improvement compared to state-of-art electrical neuromorphic hardware such as Loihi and NeuroGrid.


title: Performance evaluation results of evolutionary clustering algorithm star for clustering heterogeneous datasets

abstract: This article presents the data used to evaluate the performance of evolutionary clustering algorithm star (ECA*) compared to five traditional and modern clustering algorithms. Two experimental methods are employed to examine the performance of ECA* against genetic algorithm for clustering++ (GENCLUST++), learning vector quantisation (LVQ) , expectation maximisation (EM) , K-means++ (KM++) and K-means (KM). These algorithms are applied to 32 heterogenous and multi-featured datasets to determine which one performs well on the three tests. For one, ther paper examines the efficiency of ECA* in contradiction of its corresponding algorithms using clustering evaluation measures. These validation criteria are objective function and cluster quality measures. For another, it suggests a performance rating framework to measurethe the performance sensitivity of these algorithms on varos dataset features (cluster dimensionality, number of clusters, cluster overlap, cluster shape and cluster structure). The contributions of these experiments are two-folds: (i) ECA* exceeds its counterpart aloriths in ability to find out the right cluster number; (ii) ECA* is less sensitive towards dataset features compared to its competitive techniques. Nonetheless, the results of the experiments performed demonstrate some limitations in the ECA*: (i) ECA* is not fully applied based on the premise that no prior knowledge exists; (ii) Adapting and utilising ECA* on several real applications has not been achieved yet.


title: The Reconfiguration Pattern of Individual Brain Metabolic Connectome for Parkinson's Disease Identification

abstract: Background: Positron Emission Tomography (PET) with 18F-fluorodeoxyglucose (18F-FDG) reveals metabolic abnormalities in Parkinson's disease (PD) at a systemic level. Previous metabolic connectome studies derived from groups of patients have failed to identify the individual neurophysiological details. We aim to establish an individual metabolic connectome method to characterize the aberrant connectivity patterns and topological alterations of the individual-level brain metabolic connectome and their diagnostic value in PD. Methods: The 18F-FDG PET data of 49 PD patients and 49 healthy controls (HCs) were recruited. Each individual's metabolic brain network was ascertained using the proposed Jensen-Shannon Divergence Similarity Estimation (JSSE) method. The intergroup difference of the individual's metabolic brain network and its global and local graph metrics were analyzed to investigate the metabolic connectome's alterations. The identification of the PD from HC individuals was used by the multiple kernel support vector machine (MK-SVM) to combine the information from connection and topological metrics. The validation was conducted using the nest leave-one-out cross-validation strategy to confirm the performance of the methods. Results: The proposed JSSE metabolic connectome method showed the most involved metabolic motor networks were PUT-PCG, THA-PCG, and SMA pathways in PD, which was similar to the typical group-level method, and yielded another detailed individual pathological connectivity in ACG-PCL, DCG-PHG and ACG pathways. These aberrant functional network measures exhibited an ideal classification performance in the identifying of PD individuals from HC individuals at an accuracy of up to 91.84%.


title: On the arithmetic of a family of superelliptic curves

abstract: Let $p$ be a prime, let $r$ and $q$ be powers of $p$, and let $a$ and $b$ be relatively prime integers not divisible by $p$. Let $C/\mathbb F_{r}(t)$ be the superelliptic curve with affine equation $y^b+x^a=t^q-t$. Let $J$ be the Jacobian of $C$. By work of Pries--Ulmer, $J$ satisfies the Birch and Swinnerton-Dyer conjecture (BSD). Generalizing work of Griffon--Ulmer, we compute the $L$-function of $J$ in terms of certain Gauss sums. In addition, we estimate several arithmetic invariants of $J$ appearing in BSD, including the rank of the Mordell--Weil group $J(\mathbb F_{r}(t))$, the Faltings height of $J$, and the Tamagawa numbers of $J$ in terms of the parameters $a,b,q$. For any $p$ and $r$, we show that for certain $a$ and $b$ depending only on $p$ and $r$, these Jacobians provide new examples of families of simple abelian varieties of fixed dimension and with unbounded analytic and algebraic rank as $q$ varies through powers of $p$. Under a different set of criteria on $a$ and $b$, we prove that the order of the Tate--Shafarevich group of $J$ grows quasilinearly in $q$ as $q \to \infty.$


title: Prediction of Ultrasonic Guided Wave Propagation in Solid-fluid and their Interface under Uncertainty using Machine Learning

abstract: Structural health monitoring (SHM) systems use the non-destructive testing principle for damage identification. As part of SHM, the propagation of ultrasonic guided waves (UGWs) is tracked and analyzed for the changes in the associated wave pattern. These changes help identify the location of a structural damage, if any. We advance existing research by accounting for uncertainty in the material and geometric properties of a structure. The physics model used in this study comprises of a monolithically coupled system of acoustic and elastic wave equations, known as the wave propagation in fluid-solid and their interface (WpFSI) problem. As the UGWs propagate in the solid, fluid, and their interface, the wave signal displacement measurements are contrasted against the benchmark pattern. For the numerical solution, we develop an efficient algorithm that successfully addresses the inherent complexity of solving the multiphysics problem under uncertainty. We present a procedure that uses Gaussian process regression and convolutional neural network for predicting the UGW propagation in a solid-fluid and their interface under uncertainty. First, a set of training images for different realizations of the uncertain parameters of the inclusion inside the structure is generated using a monolithically-coupled system of acoustic and elastic wave equations. Next, Gaussian processes trained with these images are used for predicting the propagated wave with convolutional neural networks for further enhancement to produce high-quality images of the wave patterns for new realizations of the uncertainty. The results indicate that the proposed approach provides an accurate prediction for the WpFSI problem in the presence of uncertainty.


title: End-to-end deep meta modelling to calibrate and optimize energy consumption and comfort

abstract: In this paper, we propose a new end-to-end methodology to optimize the energy performance as well as comfort and air quality in large buildings without any renovation work. We introduce a metamodel based on recurrent neural networks and trained to predict the behavior of a general class of buildings using a database sampled from a simulation program. This metamodel is then deployed in different frameworks and its parameters are calibrated using the specific data of two real buildings. Parameters are estimated by comparing the predictions of the metamodel with real data obtained from sensors using the CMA-ES algorithm, a derivative free optimization procedure. Then, energy consumptions are optimized while maintaining a target thermal comfort and air quality, using the NSGA-II multi-objective optimization procedure. The numerical experiments illustrate how this metamodel ensures a significant gain in energy efficiency, up to almost 10%, while being computationally much more appealing than numerical models and flexible enough to be adapted to several types of buildings.


title: A new generic and structurally stable cosmological model without singularity

abstract: Dynamical systems methods are used to investigate a cosmological model with non-minimally coupled scalar field and asymptotically quadratic potential function. We found that for values of the non-minimal coupling constant parameter $\frac{3}{16}<\xi<\frac{1}{4}$ there exists an unstable asymptotic de Sitter state, free from a parallelly propagated singularity for $\frac{5}{24}\le\xi<\frac{1}{4}$, giving rise to non-singular beginning of the universe. The energy density associated with this state depends on value of the non-minimal coupling constant and can be much smaller than the Planck energy density. For $\xi=\frac{1}{4}$ we found that the initial state is in form of the static Einstein universe. Proposed evolutional model, contrary to the seminal Starobinsky's model, do not depend on the specific choice of initial conditions in phase space, moreover, a small change in the model parameters do not change the evolution thus the model is generic and structurally stable. The values of the non-minimal coupling constant can indicate for a new fundamental symmetry in the gravitational theory. We show that Jordan frame and Einstein frame formulation of the theory are physically nonequivalent.


title: Semidefinite Programming for Community Detection with Side Information

abstract: This paper produces an efficient Semidefinite Programming (SDP) solution for community detection that incorporates non-graph data, which in this context is known as side information. SDP is an efficient solution for standard community detection on graphs. We formulate a semi-definite relaxation for the maximum likelihood estimation of node labels, subject to observing both graph and non-graph data. This formulation is distinct from the SDP solution of standard community detection, but maintains its desirable properties. We calculate the exact recovery threshold for three types of non-graph information, which in this paper are called side information: partially revealed labels, noisy labels, as well as multiple observations (features) per node with arbitrary but finite cardinality. We find that SDP has the same exact recovery threshold in the presence of side information as maximum likelihood with side information. Thus, the methods developed herein are computationally efficient as well as asymptotically accurate for the solution of community detection in the presence of side information. Simulations show that the asymptotic results of this paper can also shed light on the performance of SDP for graphs of modest size.


title: Holographic Transmitarray Antenna with linear Polarization in X band

abstract: In this paper, we present the design and demonstration of transmitarray antennas (TAs) based on the holographic technique for the first time. According to the holographic theory, the amplitudes and phases of electromagnetic waves can be recorded on a surface, and then they can be reconstructed independently. This concept is used to design single-beam and multi-beam linearly polarized holographic TAs without using any iterative optimization algorithms. Initially, a transmission impedance surface is analyzed and compared with the reflection one. Then, interferograms associated with the scalar admittance distribution are defined according to the number and direction of the radiation beams. After that, a transmission metasurface of dimensions equal to 0:26l0 is hired to design holographic TAs at 12 GHz. Several examples are provided to support the method. In the end, a linearly polarized circular aperture wideband holographic transmitarray antenna with a radius of 13.3 cm has been manufactured and tested. The antenna achieves 12.5% (11.4-12.9 GHz) 1-dB gain bandwidth and 23.8 dB maximum gain, leading to 21.46% aperture efficiency.


title: Relativistic runaway electron avalanches within complex thunderstorm electric field structures

abstract: Relativistic runaway electron avalanches (RREAs) are generally accepted as a source of thunderstorms gamma-ray radiation. Avalanches can multiply in the electric field via the relativistic feedback mechanism based on processes with gamma-rays and positrons. This paper shows that a non-uniform electric field geometry can lead to the new RREAs multiplication mechanism - "reactor feedback", due to the exchange of high-energy particles between different accelerating regions within a thundercloud. A new method for the numerical simulation of RREA dynamics within heterogeneous electric field structures is proposed. The developed analytical description and the numerical simulation enables us to derive necessary conditions for TGF occurrence in the system with the reactor feedback Observable properties of TGFs influenced by the proposed mechanism are discussed.


title: Evaluating Sensor Data Quality in Internet ofThings Smart Agriculture Applications

abstract: The unprecedented growth of Internet of Things (IoT) and its applications in areas such as Smart Agriculture compels the need to devise newer ways for evaluating the quality of such applications. While existing models for application quality focus on the quality experienced by the end-user (captured using likert scale), IoT applications have minimal human involvement and rely on machine to machine communication and analytics to drive decision via actuations. In this paper, we first present a conceptual framework for the evaluation of IoT application quality. Subsequently, we propose, develop and validate via empirical evaluations a novel model for evaluating sensor data quality that is a key component in assessing IoT application quality. We present an implementation of the sensor data quality model and demonstrate how the IoT sensor data quality can be integrated with a Smart Agriculture application. Results of experimental evaluations conducted using data from a real-world testbed concludes the paper.


title: Simulating the DFT Algorithm for Audio Processing

abstract: Since the evolution of digital computers, the storage of data has always been in terms of discrete bits that can store values of either 1 or 0. Hence, all computer programs (such as MATLAB), convert any input continuous signal into a discrete dataset. Applying this to oscillating signals, such as audio, opens a domain for processing as well as editing. The Fourier transform, which is an integral over infinite limits, for the use of signal processing is discrete. The essential feature of the Fourier transform is to decompose any signal into a combination of multiple sinusoidal waves that are easy to deal with. The discrete Fourier transform (DFT) can be represented as a matrix, with each data point acting as an orthogonal point, allowing one to perform complicated transformations on individual frequencies. Due to this formulation, all the concepts of linear algebra and linear transforms prove to be extremely useful here. In this paper, we first explain the theoretical basis of audio processing using linear algebra, and then focus on a simulation coded in MATLAB, to process and edit various audio samples. The code is open ended and easily expandable by just defining newer matrices which can transform over the original audio signal. Finally, this paper attempts to highlight and briefly explain the results that emerge from the simulation


title: Amenability and Acyclicity in Bounded Cohomology Theory

abstract: Johnson's characterization of amenable groups states that a discrete group $\Gamma$ is amenable if and only if $H_b^{n \geq 1}(\Gamma; V) = 0$ for all dual normed $\mathbb{R}[\Gamma]$-modules V. In this paper, we extend the previous result to homomorphisms by proving the converse of the Mapping Theorem: a surjective group homomorphism $\phi \colon \Gamma \to K$ has amenable kernel H if and only if the induced inflation map $H^\bullet_b(K; V^H) \to H^\bullet_b(\Gamma; V)$ is an isometric isomorphism for every dual normed $\mathbb{R}[\Gamma]$-module V. In addition, we obtain an analogous characterization for the (smaller) class of surjective group homomorphisms $\phi \colon \Gamma \to K$ with the property that the inflation maps in bounded cohomology are isometric isomorphisms for all Banach $\Gamma$-modules. Finally, we also prove a characterization of the (larger) class of boundedly acyclic homomorphisms, that is, the class of group homomorphisms $\phi \colon \Gamma \to K$ for which the restriction maps in bounded cohomology $H^\bullet_b(K; V) \to H^\bullet_b(\Gamma; \phi^{-1}V)$ are isomorphisms for a suitable family of dual normed $\mathbb{R}[K]$-modules V including the trivial $\mathbb{R}[K]$-module $\mathbb{R}$. We then extend the first and third results to topological spaces and obtain characterizations of amenable maps and boundedly acyclic maps in terms of the vanishing of the bounded cohomology of their homotopy fibers with respect to appropriate choices of coefficients.


title: A High-Performance, Reconfigurable, Fully Integrated Time-Domain Reflectometry Architecture Using Digital I/Os

abstract: Time-domain reflectometry (TDR) is an established means of measuring impedance inhomogeneity of a variety of waveguides, providing critical data necessary to characterize and optimize the performance of high-bandwidth computational and communication systems. However, TDR systems with both the high spatial resolution (sub-cm) and voltage resolution (sub-$\muV$) required to evaluate high-performance waveguides are physically large and often cost-prohibitive, severely limiting their utility as testing platforms and greatly limiting their use in characterizing and trouble-shooting fielded hardware. Consequently, there exists a growing technical need for an electronically simple, portable, and low-cost TDR technology. The receiver of a TDR system plays a key role in recording reflection waveforms; thus, such a receiver must have high analog bandwidth, high sampling rate, and high-voltage resolution. However, these requirements are difficult to meet using low-cost analog-to-digital converters (ADCs). This article describes a new TDR architecture, namely, jitter-based APC (JAPC), which obviates the need for external components based on an alternative concept, analog-to-probability conversion (APC) that was recently proposed. These results demonstrate that a fully reconfigurable and highly integrated TDR (iTDR) can be implemented on a field-programmable gate array (FPGA) chip without using any external circuit components. Empirical evaluation of the system was conducted using an HDMI cable as the device under test (DUT), and the resulting impedance inhomogeneity pattern (IIP) of the DUT was extracted with spatial and voltage resolutions of 5 cm and 80 $\muV$, respectively. These results demonstrate the feasibility of using the prototypical JAPC-based iTDR for real-world waveguide characterization applications


title: A Novel Multi-scale Dilated 3D CNN for Epileptic Seizure Prediction

abstract: Accurate prediction of epileptic seizures allows patients to take preventive measures in advance to avoid possible injuries. In this work, a novel convolutional neural network (CNN) is proposed to analyze time, frequency, and channel information of electroencephalography (EEG) signals. The model uses three-dimensional (3D) kernels to facilitate the feature extraction over the three dimensions. The application of multiscale dilated convolution enables the 3D kernel to have more flexible receptive fields. The proposed CNN model is evaluated with the CHB-MIT EEG database, the experimental results indicate that our model outperforms the existing state-of-the-art, achieves 80.5% accuracy, 85.8% sensitivity and 75.1% specificity.


title: Activity-Aware Deep Cognitive Fatigue Assessment using Wearables

abstract: Cognitive fatigue has been a common problem among workers which has become an increasing global problem since the emergence of COVID-19 as a global pandemic. While existing multi-modal wearable sensors-aided automatic cognitive fatigue monitoring tools have focused on physical and physiological sensors (ECG, PPG, Actigraphy) analytic on specific group of people (say gamers, athletes, construction workers), activity-awareness is utmost importance due to its different responses on physiology in different person. In this paper, we propose a novel framework, Activity-Aware Recurrent Neural Network (\emph{AcRoNN}), that can generalize individual activity recognition and improve cognitive fatigue estimation significantly. We evaluate and compare our proposed method with state-of-art methods using one real-time collected dataset from 5 individuals and another publicly available dataset from 27 individuals achieving max. 19% improvement.


title: Two4Two: Evaluating Interpretable Machine Learning - A Synthetic Dataset For Controlled Experiments

abstract: A growing number of approaches exist to generate explanations for image classification. However, few of these approaches are subjected to human-subject evaluations, partly because it is challenging to design controlled experiments with natural image datasets, as they leave essential factors out of the researcher's control. With our approach, researchers can describe their desired dataset with only a few parameters. Based on these, our library generates synthetic image data of two 3D abstract animals. The resulting data is suitable for algorithmic as well as human-subject evaluations. Our user study results demonstrate that our method can create biases predictive enough for a classifier and subtle enough to be noticeable only to every second participant inspecting the data visually. Our approach significantly lowers the barrier for conducting human subject evaluations, thereby facilitating more rigorous investigations into interpretable machine learning. For our library and datasets see, https://github.com/mschuessler/two4two/


title: An overtwisted convex hypersurface in higher dimensions

abstract: We show that the germ of the contact structure surrounding a certain kind of convex hypersurfaces is overtwisted. We then find such hypersurfaces close to any plastikstufe with toric core so that these imply overtwistedness. All proofs in this article are explicit, and we hope that the methods used here might hint at a deeper understanding of the size of neighborhoods in contact manifolds. In the appendix we reprove in a concise way that the Legendrian unknot is loose if the ambient manifold contains a large enough neighborhood of a 2-dimensional overtwisted disk. Additionally we prove the folklore result that the singular distribution induced on a hypersurface $\Sigma$ of a contact manifold $(M, \xi)$ determines the germ of the contact structure around $\Sigma$.


title: Tight Approximation Algorithms for Geometric Bin Packing with Skewed Items

abstract: In the Two-dimensional Bin Packing (2BP) problem, we are given a set of rectangles of height and width at most one and our goal is to find an axis-aligned nonoverlapping packing of these rectangles into the minimum number of unit square bins. The problem admits no APTAS and the current best approximation ratio is $1.406$ by Bansal and Khan [SODA'14]. A well-studied variant of the problem is Guillotine Two-dimensional Bin Packing (G2BP), where all rectangles must be packed in such a way that every rectangle in the packing can be obtained by recursively applying a sequence of end-to-end axis-parallel cuts, also called guillotine cuts. Bansal, Lodi, and Sviridenko [FOCS'05] obtained an APTAS for this problem. Let $\lambda$ be the smallest constant such that for every set $I$ of items, the number of bins in the optimal solution to G2BP for $I$ is upper bounded by $\lambda\operatorname{opt}(I) + c$, where $\operatorname{opt}(I)$ is the number of bins in the optimal solution to 2BP for $I$ and $c$ is a constant. It is known that $4/3 \le \lambda \le 1.692$. Bansal and Khan [SODA'14] conjectured that $\lambda = 4/3$. The conjecture, if true, will imply a $(4/3+\varepsilon)$-approximation algorithm for 2BP. According to convention, for a given constant $\delta>0$, a rectangle is large if both its height and width are at least $\delta$, and otherwise it is called skewed. We make progress towards the conjecture by showing $\lambda = 4/3$ for skewed instance, i.e., when all input rectangles are skewed. Even for this case, the previous best upper bound on $\lambda$ was roughly 1.692. We also give an APTAS for 2BP for skewed instance, though general 2BP does not admit an APTAS.


title: Robustly Optimal Mechanisms for Selling Multiple Goods

abstract: We study robustly optimal mechanisms for selling multiple items. The seller maximizes revenue robustly against a worst-case distribution of a buyer's valuations within a set of distributions, called an ``ambiguity'' set. We identify the exact forms of robustly optimal selling mechanisms and the worst-case distributions when the ambiguity set satisfies a variety of moment conditions on the values of subsets of goods. We also identify general properties of the ambiguity set that lead to the robust optimality of partial bundling which includes separate sales and pure bundling as special cases.


title: Pathloss modeling for in-body optical wireless communications

abstract: Optical wireless communications (OWCs) have been recognized as a candidate enabler of next generation in-body nano-scale networks and implants. The development of an accurate channel model capable of accommodating the particularities of different type of tissues is expected to boost the design of optimized communication protocols for such applications. Motivated by this, this paper focuses on presenting a general pathloss model for in-body OWCs. In particular, we use experimental measurements in order to extract analytical expressions for the absorption coefficients of the five main tissues' constitutions, namely oxygenated and de-oxygenated blood, water, fat, and melanin. Building upon these expressions, we derive a general formula for the absorption coefficient evaluation of any biological tissue. To verify the validity of this formula, we compute the absorption coefficient of complex tissues and compare them against respective experimental results reported by independent research works. Interestingly, we observe that the analytical formula has high accuracy and is capable of modeling the pathloss and, therefore, the penetration depth in complex tissues.


title: Probing Robust Majorana Signatures by Crossed Andreev Reflection with a Quantum Dot

abstract: We propose a three-terminal structure to probe robust signatures of Majorana zero modes. This structure consists of a quantum dot coupled to the normal metal, s-wave superconducting and Majorana Y-junction leads. The zero-bias differential conductance at zero temperature of the normal-metal lead peaks at $2e^{2}/h$, which will be deflected after Majorana braiding. This quantized conductance can entirely arise from the Majorana-induced crossed Andreev reflection, protected by the energy gap of the superconducting lead. We find that the effect of thermal broadening is significantly suppressed when the dot is on resonance. In the case that the energy level of the quantum dot is much larger than the superconducting gap, tunneling processes are dominated by Majorana-induced crossed Andreev reflection. Particularly, a novel kind of crossed Andreev reflection equivalent to the splitting of charge quanta $3e$ occurs after Majorana braiding.


title: The layer-wise L1 Loss Landscape of Neural Nets is more complex around local minima

abstract: For fixed training data and network parameters in the other layers the L1 loss of a ReLU neural network as a function of the first layer's parameters is a piece-wise affine function. We use the Deep ReLU Simplex algorithm to iteratively minimize the loss monotonically on adjacent vertices and analyze the trajectory of these vertex positions. We empirically observe that in a neighbourhood around a local minimum, the iterations behave differently such that conclusions on loss level and proximity of the local minimum can be made before it has been found: Firstly the loss seems to decay exponentially slow at iterated adjacent vertices such that the loss level at the local minimum can be estimated from the loss levels of subsequently iterated vertices, and secondly we observe a strong increase of the vertex density around local minima. This could have far-reaching consequences for the design of new gradient-descent algorithms that might improve convergence rate by exploiting these facts.


title: On the Lebesgue-Ramanujan-Nagell type equation $x^2+17^k41^\ell 59^m =2^\delta y^n$

abstract: We consider the Diophantine equation $x^2+17^k41^\ell 59^m =2^\delta y^n$ in unknown integer $x\geq 1, y>1, k, \ell, m, \delta\geq 0$ and $n\geq 3$ with $\gcd(x,y)=1$, and we find all its solutions. We use the prominent result of Bilu, Hanrot and Voutier on existence of primitive divisors in Lehmer sequences in combination with elementary number theoretic argument and computer search.


title: Design of Non-Coherent and Coherent Receivers for Chirp Spread Spectrum Systems

abstract: LoRaWAN is a prominent communication standard to enable reliable low-power, long-range communications for the Internet of Things (IoT). The modulation technique used in LoRaWAN, commonly known as LoRa modulation, is based on the principle of chirp spread spectrum (CSS). While extensive research has been conducted on improving various aspects of LoRa transmitter, the design of LoRa receivers that can operate under practical conditions of timing and frequency offsets is missing. To fill this gap, this paper develops and presents detailed designs of timing, frequency and phase synchronization circuits for both non-coherent and coherent detection of CSS signals. More importantly, the proposed receiver can be used to detect the recently proposed CSS-based modulation that embeds extra information bits in the starting phases of conventional CSS symbols. Such a transmission scheme, referred to as phase-shift keying CSS (PSK-CSS) helps to improve the transmission rates of the conventional CSS system. In particular, it is shown that the bit error rate performance of the PSK-CSS scheme achieved with the proposed practical coherent receiver has only 0.25 dB gaps as compared to the ideal co-coherent receiver.


abstract: A digital quantum simulation of the Agassi model from nuclear physics is proposed and analyzed. The proposal is worked out for the case with four different sites. Numerical simulations and analytical estimations are presented to illustrate the feasibility of this proposal with current technology. The proposed approach is fully scalable to a larger number of sites. The use of a quantum correlation function as a probe to explore the quantum phases by quantum simulating the time dynamics, with no need of computing the ground state, is also studied. Evidence is given showing that the amplitude of the time dynamics of a correlation function in this quantum simulation is linked to the different quantum phases of the system. This approach establishes an avenue for the digital quantum simulation of useful models in nuclear physics.


title: Deep Learning based Multi-modal Computing with Feature Disentanglement for MRI Image Synthesis

abstract: Purpose: Different Magnetic resonance imaging (MRI) modalities of the same anatomical structure are required to present different pathological information from the physical level for diagnostic needs. However, it is often difficult to obtain full-sequence MRI images of patients owing to limitations such as time consumption and high cost. The purpose of this work is to develop an algorithm for target MRI sequences prediction with high accuracy, and provide more information for clinical diagnosis. Methods: We propose a deep learning based multi-modal computing model for MRI synthesis with feature disentanglement strategy. To take full advantage of the complementary information provided by different modalities, multi-modal MRI sequences are utilized as input. Notably, the proposed approach decomposes each input modality into modality-invariant space with shared information and modality-specific space with specific information, so that features are extracted separately to effectively process the input data. Subsequently, both of them are fused through the adaptive instance normalization (AdaIN) layer in the decoder. In addition, to address the lack of specific information of the target modality in the test phase, a local adaptive fusion (LAF) module is adopted to generate a modality-like pseudo-target with specific information similar to the ground truth. Results: To evaluate the synthesis performance, we verify our method on the BRATS2015 dataset of 164 subjects. The experimental results demonstrate our approach significantly outperforms the benchmark method and other state-of-the-art medical image synthesis methods in both quantitative and qualitative measures. Compared with the pix2pixGANs method, the PSNR improves from 23.68 to 24.8. Conclusion: The proposed method could be effective in prediction of target MRI sequences, and useful for clinical diagnosis and treatment.


title: Simulating the dynamics and synchrotron emission from relativistic jets II. Evolution of non-thermal electrons

abstract: We have simulated the evolution of non-thermal cosmic ray electrons (CREs) in 3D relativistic magneto hydrodynamic (MHD) jets evolved up to a height of 9 kpc. The CREs have been evolved in space and in energy concurrently with the relativistic jet fluid, duly accounting for radiative losses and acceleration at shocks. We show that jets stable to MHD instabilities show expected trends of regular flow of CREs in the jet spine and acceleration at a hotspot followed by a settling backflow. However, unstable jets create complex shock structures at the jet-head (kink instability), the jet spine-cocoon interface and the cocoon itself (Kelvin-Helmholtz modes). CREs after exiting jet-head undergo further shock crossings in such scenarios and are re-accelerated in the cocoon. CREs with different trajectories in turbulent cocoons have different evolutionary history with different spectral parameters. Thus at the same spatial location, there is mixing of different CRE populations, resulting in a complex total CRE spectrum when averaged over a given area. Cocoons of unstable jets can have an excess build up of energetic electrons due to re-acceleration at turbulence driven shocks and slowed expansion of the decelerated jet. This will add to the non-thermal energy budget of the cocoon.


title: Dots & Boxes is PSPACE-complete

abstract: Exactly 20 years ago at MFCS, Demaine posed the open problem whether the game of Dots & Boxes is PSPACE-complete. Dots & Boxes has been studied extensively, with for instance a chapter in Berlekamp et al. "Winning Ways for Your Mathematical Plays", a whole book on the game "The Dots and Boxes Game: Sophisticated Child's Play" by Berlekamp, and numerous articles in the "Games of No Chance" series. While known to be NP-hard, the question of its complexity remained open. We resolve this question, proving that the game is PSPACE-complete by a reduction from a game played on propositional formulas.


title: KuraNet: Systems of Coupled Oscillators that Learn to Synchronize

abstract: Networks of coupled oscillators are some of the most studied objects in the theory of dynamical systems. Two important areas of current interest are the study of synchrony in highly disordered systems and the modeling of systems with adaptive network structures. Here, we present a single approach to both of these problems in the form of "KuraNet", a deep-learning-based system of coupled oscillators that can learn to synchronize across a distribution of disordered network conditions. The key feature of the model is the replacement of the traditionally static couplings with a coupling function which can learn optimal interactions within heterogeneous oscillator populations. We apply our approach to the eponymous Kuramoto model and demonstrate how KuraNet can learn data-dependent coupling structures that promote either global or cluster synchrony. For example, we show how KuraNet can be used to empirically explore the conditions of global synchrony in analytically impenetrable models with disordered natural frequencies, external field strengths, and interaction delays. In a sequence of cluster synchrony experiments, we further show how KuraNet can function as a data classifier by synchronizing into coherent assemblies. In all cases, we show how KuraNet can generalize to both new data and new network scales, making it easy to work with small systems and form hypotheses about the thermodynamic limit. Our proposed learning-based approach is broadly applicable to arbitrary dynamical systems with wide-ranging relevance to modeling in physics and systems biology.


title: Contact resistance of various metallisation schemes to superconducting boron doped diamond between 1.9 and 300 K

abstract: Diamond is a material that offers potential in numerous device applications. In particular, highly boron doped diamond is attractive due to its superconductivity and high Young's Modulus. The fabrication of stable, low resistance, ohmic contacts is essential to ensure proper device function. Previous work has established the efficacy of several methods of forming suitable contacts to diamond at room temperature and above, including carbide forming and carbon soluble metallisation schemes. Herein, the stability of several contact schemes (Ti, Cr, Mo, Ta and Pd) to highly boron doped nanocrystalline diamond was verified down to the cryogenic temperatures with modified Transmission Line Model (TLM) measurements. While all contact schemes remained ohmic, a significant temperature dependency is noted at Tc and at the lowest temperatures the contact resistances ranged from Ti/Pt/Au with ${(8.83 \pm 0.10)\times 10^{-4} \:{\Omega}.cm}$ to Ta/Pt/Au with ${(8.07 \pm 0.62) \times 10^{-6} \:{\Omega}.cm}$.


title: Dark Matter as dark dwarfs and other macroscopic objects: multiverse relics?

abstract: First-order phase transitions can leave relic pockets of false vacua and their particles, that manifest as macroscopic Dark Matter. We compute one predictive model: a gauge theory with a dark quark relic heavier than the confinement scale. During the first-order phase transition to confinement, dark quarks remain in the false vacuum and get compressed, forming Fermi balls that can undergo gravitational collapse to stable dark dwarfs (bound states analogous to white dwarfs) near the Chandrasekhar limit, or to primordial black holes.


title: Effective pair interaction between impurity particles induced by a dense Fermi gas

abstract: We study the dynamics of a small number of impurity particles coupled to the ideal Fermi gas in a $d$-dimensional box. The impurities interact with the fermions via a two-body potential $\lambda v(x)$ where $\lambda$ is a coupling constant and $v(x)$ for instance a screened Coulomb potential. After taking the large-volume limit at positive Fermi momentum $k_F$ we consider the regime of high density of the fermions, that is, $k_F$ large compared to one. For coupling constants that scale like $\lambda^2 \sim k_F^{(2-d)}$ we show that the impurity particles effectively decouple from the fermions but evolve with an attractive pair interaction among each other which is induced by fluctuations in the Fermi gas.


title: Concurrency Theorems for Non-linear Rewriting Theories

abstract: Sesqui-pushout (SqPO) rewriting along non-linear rules and for monic matches is well-known to permit the modeling of fusing and cloning of vertices and edges, yet to date, no construction of a suitable concurrency theorem was available. The lack of such a theorem, in turn, rendered compositional reasoning for such rewriting systems largely infeasible. We develop in this paper a suitable concurrency theorem for non-linear SqPO-rewriting in categories that are quasi-topoi (subsuming the example of adhesive categories) and with matches required to be regular monomorphisms of the given category. Our construction reveals an interesting "backpropagation effect" in computing rule compositions. We derive in addition a concurrency theorem for non-linear double pushout (DPO) rewriting in rm-adhesive categories. Our results open non-linear SqPO and DPO semantics to the rich static analysis techniques available from concurrency, rule algebra and tracelet theory.


title: Effective Land\'{e} factors for an electrostatically defined quantum point contact in silicene

abstract: The transconductance and effective Land\'{e} $g^*$ factors for a quantum point contact defined in silicene by the electric field of a split gate is investigated. The strong spin-orbit coupling in buckled silicene reduces the $g^*$ factor for in-plane magnetic field from the nominal value 2 to around 1.2 for the first- to 0.45 for the third conduction subband. However, for perpendicular magnetic field we observe an enhancement of $g^*$ factors for the first subband to 5.8 in nanoribbon with zigzag and to 2.5 with armchair edge. The main contribution to the Zeeman splitting comes from the intrinsic spin-orbit coupling defined by the Kane-Mele form of interaction.


title: Stylistic Analysis of the French Presidential Speeches: Is Macron really different?

abstract: Presidential speeches indicate the government's intentions and justifications supported by a dedicated style and rhetoric oscillating between explanation and controversy. Over a period of sixty years, can we observe stylistic variations by the different French presidents of the Fifth Republic (1958-2018)? Based on official transcripts of all their allocution, this paper illustrates the stylistic evolution and presents the underlying main trends. This study shows that de Gaulle's rhetoric is not mainly dedicated to his own person, or that the two terms of J. Chirac are not fully similar. According to several overall stylistic indicators, Macron's style does not appear as complex compared to his predecessors (F. Hollande or N. Sarkozy) but a more careful analysis clearly demonstrates his noticeable new style. Compared to the recent US presidents, the French ones present some similarities (e.g., similar mean sentence length) and dissimilarities (more I-words, less we-words). In this comparative analysis, Macron's style is also clearly distinctive from both the US and former French presidents. Opting for a more abstract discourse, less anchored in space, using less numbers, E. Macron tends to use long sentences. These various stylistic and rhetorical features could explain his being misunderstood by the French people and his recurrent low approval ratings.


title: A Unifying and Canonical Description of Measure-Preserving Diffusions

abstract: A complete recipe of measure-preserving diffusions in Euclidean space was recently derived unifying several MCMC algorithms into a single framework. In this paper, we develop a geometric theory that improves and generalises this construction to any manifold. We thereby demonstrate that the completeness result is a direct consequence of the topology of the underlying manifold and the geometry induced by the target measure $P$; there is no need to introduce other structures such as a Riemannian metric, local coordinates, or a reference measure. Instead, our framework relies on the intrinsic geometry of $P$ and in particular its canonical derivative, the deRham rotationnel, which allows us to parametrise the Fokker--Planck currents of measure-preserving diffusions using potentials. The geometric formalism can easily incorporate constraints and symmetries, and deliver new important insights, for example, a new complete recipe of Langevin-like diffusions that are suited to the construction of samplers. We also analyse the reversibility and dissipative properties of the diffusions, the associated deterministic flow on the space of measures, and the geometry of Langevin processes. Our article connects ideas from various literature and frames the theory of measure-preserving diffusions in its appropriate mathematical context.


title: Renewal theory for iterated perturbed random walks on a general branching process tree: early generations

abstract: Let $(\xi_k,\eta_k)_{k\in\mathbb{N}}$ be independent identically distributed random vectors with arbitrarily dependent positive components. We call a (globally) perturbed random walk a random sequence $T:=(T_k)_{k\in\mathbb{N}}$ defined by $T_k:=\xi_1+\ldots+\xi_{k-1}+\eta_k$ for $k\in\mathbb{N}$. Consider a general branching process generated by $T$ and denote by $N_j(t)$ the number of the $j$th generation individuals with birth times $\leq t$. We treat early generations, that is, fixed generations $j$ which do not depend on $t$. In this setting we prove counterparts for $\mathbb{E}N_j$ of the Blackwell theorem and the key renewal theorem, prove a strong law of large numbers for $N_j$, find the first-order asymptotics for the variance of $N_j$. Also, we prove a functional limit theorem for the vector-valued process $(N_1(ut),\ldots, N_j(ut))_{u\geq 0}$, properly normalized and centered, as $t\to\infty$. The limit is a vector-valued Gaussian process whose components are integrated Brownian motions.


title: Lattices in a product of trees, hierarchically hyperbolic groups, and virtual torsion-freeness

abstract: We construct cocompact lattices in a product of trees which are not virtually torsion-free. This gives the first examples of hierarchically hyperbolic groups which are not virtually torsion-free


title: Rethinking Sustainability Requirements: Drivers, Barriers and Impacts of Digitalisation from the Viewpoint of Experts

abstract: Requirements engineering (RE) is a key area to address sustainability concerns in system development. Approaches have been proposed to elicit sustainability requirements from interested stakeholders before system design. However, existing strategies lack the proper high-level view to deal with the societal and long-term impacts of the transformation entailed by the introduction of a new technological solution. This paper proposes to go beyond the concept of system requirements and stakeholders' goals, and raise the degree of abstraction by focusing on the notions of drivers, barriers and impacts that a system can have on the environment in which it is deployed. Furthermore, we suggest to narrow the perspective to a single domain, as the effect of a technology is context-dependent. To put this vision into practice, we interview 30 cross-disciplinary experts in the representative domain of rural areas, and we analyse the transcripts to identify common themes. As a result, we provide drivers, barriers and positive or negative impacts associated to the introduction of novel technical solutions in rural areas. This RE-relevant information could hardly be identified if interested stakeholders were interviewed before the development of a single specific system. This paper contributes to the literature with a fresh perspective on sustainability requirements, and with a domain-specific framework grounded on experts' opinions. The conceptual framework resulting from our analysis can be used as a reference baseline for requirements elicitation endeavours in rural areas that need to account for sustainability concerns.


title: Impact of digital economic activity on regional economic growth: A Case study from northern Minas Gerais between 2009 To 2018

abstract: At present, the economic measurement of the national statistical offices has not defined or captured the benefits of the digital economy activity due to the low quality or inexistence of methodologies. Currently, there is a relevant debate on the capacity of the digital economy activity to generate productivity, economic growth, and well-being through innovation and knowledge. For this reason, this research identified and studied specialized knowledge, human settlement, and digital economic activity as the factors that influence regional economic growth. As a result, the impact generated by a new business operating models based on information technology was measured. Furthermore, this research used an empirical measurement model that made it possible to identify certain phenomena such as regional poles of regional economic development (PRDE) that surround economically flourishing regions. In addition, it showed that municipalities with high degrees of economic growth were impacted by digital economic activity and specialized knowledge. This finding is consistent with economic growth theories that point to technological evolution as the main factor of modern economic growth. Consequently, this study contributed beneficial results to the local government to develop strategies framed in solving industrial cooperation of economically flourishing regions with their neighbors, facing the problem of agglomeration of resources and capital reflected in human settlement promote an imbalance in economic growth and social development.


title: Chirality transitions in a system of active flat spinners

abstract: We study in this work the 2D dynamics of an experimental system of disk-shaped rotors, fluidized by turbulent upflow. Contrary to previous knowledge, our experiments show the same particle chiral geometry can produce flows with different chiralities. In particular, we unveil a conspicuous complex chiral flow, which displays multiple persistent vortexes with either sign, located randomly in the system. This peculiar phase mediates a continuous transition, which takes place as the kinetic energy input increases, from a flow with positive chirality (one vortex rotating in the same direction as particles spin) to a flow with negative chirality (one vortex in opposite sense to particle spin). We find that these surprising transitions are determined by the specific state of the statistical correlations between particle spin and translational velocity. We discuss how these correlations are determined in turn by the combined action of a series of mechanisms (for instance, heat dissipation at the boundaries, particle activity, average kinetic energy...), several of which are unveiled here.


title: Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations

abstract: We develop a formal framework for automatic reasoning about the obligations of autonomous cyber-physical systems, including their social and ethical obligations. Obligations, permissions and prohibitions are distinct from a system's mission, and are a necessary part of specifying advanced, adaptive AI-equipped systems. They need a dedicated deontic logic of obligations to formalize them. Most existing deontic logics lack corresponding algorithms and system models that permit automatic verification. We demonstrate how a particular deontic logic, Dominance Act Utilitarianism (DAU), is a suitable starting point for formalizing the obligations of autonomous systems like self-driving cars. We demonstrate its usefulness by formalizing a subset of Responsibility-Sensitive Safety (RSS) in DAU; RSS is an industrial proposal for how self-driving cars should and should not behave in traffic. We show that certain logical consequences of RSS are undesirable, indicating a need to further refine the proposal. We also demonstrate how obligations can change over time, which is necessary for long-term autonomy. We then demonstrate a model-checking algorithm for DAU formulas on weighted transition systems, and illustrate it by model-checking obligations of a self-driving car controller from the literature.


title: SmartScan: An approach to detect Denial of Service Vulnerability in Ethereum Smart Contracts

abstract: Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a central authorizing agency. Ethereum Smart Contracts are programs that are deployed as decentralized applications, having the building blocks of the blockchain consensus protocol. This technology enables consumers to make agreements in a transparent and conflict-free environment. However, the security vulnerabilities within these smart contracts are a potential threat to the applications and their consumers and have shown in the past to cause huge financial losses. In this paper, we propose a framework that combines static and dynamic analysis to detect Denial of Service (DoS) vulnerability due to an unexpected revert in Ethereum Smart Contracts. Our framework, SmartScan, statically scans smart contracts under test (SCUTs) to identify patterns that are potentially vulnerable in these SCUTs and then uses dynamic analysis to precisely confirm their exploitability of the DoS-Unexpected Revert vulnerability, thus achieving increased performance and more precise results. We evaluated SmartScan on a set of 500 smart contracts collected from the Etherscan. Our approach shows an improvement in precision and recall when compared to available state-of-the-art techniques.


title: The Word Problem for One-relation Monoids: A Survey

abstract: This survey is intended to provide an overview of one of the oldest and most celebrated open problems in combinatorial algebra: the word problem for one-relation monoids. We provide a history of the problem starting in 1914, and give a detailed overview of the proofs of central results, especially those due to Adian and his student Oganesian. After showing how to reduce the problem to the left cancellative case, the second half of the survey focuses on various methods for solving partial cases in this family. We finish with some modern and very recent results pertaining to this problem, including a link to the Collatz conjecture. Along the way, we emphasise and address a number of incorrect and inaccurate statements that have appeared in the literature over the years. We also fill a gap in the proof of a theorem linking special inverse monoids to one-relation monoids, and slightly strengthen the statement of this theorem.


title: Fine-scale distribution of roots of quadratic congruences

abstract: We establish limit laws for the distribution in small intervals of the roots of the quadratic congruence $\mu^2 \equiv D \bmod m$, with $D > 0$ square-free and $D\not\equiv 1 \bmod 4$. This is achieved by translating the problem to convergence of certain geodesic random line processes in the hyperbolic plane. This geometric interpretation allows us in particular to derive an explicit expression for the pair correlation density of the roots.


title: Adapting Monolingual Models: Data can be Scarce when Language Similarity is High

abstract: For many (minority) languages, the resources needed to train large models are not available. We investigate the performance of zero-shot transfer learning with as little data as possible, and the influence of language similarity in this process. We retrain the lexical layers of four BERT-based models using data from two low-resource target language varieties, while the Transformer layers are independently fine-tuned on a POS-tagging task in the model's source language. By combining the new lexical layers and fine-tuned Transformer layers, we achieve high task performance for both target languages. With high language similarity, 10MB of data appears sufficient to achieve substantial monolingual transfer performance. Monolingual BERT-based models generally achieve higher downstream task performance after retraining the lexical layer than multilingual BERT, even when the target language is included in the multilingual model.


title: Hashing Modulo Alpha-Equivalence

abstract: In many applications one wants to identify identical subtrees of a program syntax tree. This identification should ideally be robust to alpha-renaming of the program, but no existing technique has been shown to achieve this with good efficiency (better than $\mathcal{O}(n^2)$ in expression size). We present a new, asymptotically efficient way to hash modulo alpha-equivalence. A key insight of our method is to use a weak (commutative) hash combiner at exactly one point in the construction, which admits an algorithm with $\mathcal{O}(n (\log n)^2)$ time complexity. We prove that the use of the commutative combiner nevertheless yields a strong hash with low collision probability. Numerical benchmarks attest to the asymptotic behaviour of the method.


title: Visual Foresight Trees for Object Retrieval from Clutter with Nonprehensile Rearrangement

abstract: This paper considers the problem of retrieving an object from many tightly packed objects using a combination of robotic pushing and grasping actions. Object retrieval in dense clutter is an important skill for robots to operate in households and everyday environments effectively. The proposed solution, Visual Foresight Trees (VFT), intelligently rearranges the clutter surrounding a target object so that it can be grasped easily. Rearrangement with nested nonprehensile actions is challenging as it requires predicting complex object interactions in a combinatorially large configuration space of multiple objects. We first show that a deep neural network can be trained to accurately predict the poses of the packed objects when the robot pushes one of them. The predictive network provides visual foresight and is used in a tree search as a state transition function in the space of scene images. The tree search returns a sequence of consecutive push actions yielding the best arrangement of the clutter for grasping the target object. Experiments in simulation and using a real robot and objects show that the proposed approach outperforms model-free techniques as well as model-based myopic methods both in terms of success rates and the number of executed actions, on several challenging tasks. A video introducing VFT, with robot experiments, is accessible at https://youtu.be/7cL-hmgvyec. The full source code is available at https://github.com/arc-l/vft.


title: Online Preconditioning of Experimental Inkjet Hardware by Bayesian Optimization in Loop

abstract: High-performance semiconductor optoelectronics such as perovskites have high-dimensional and vast composition spaces that govern the performance properties of the material. To cost-effectively search these composition spaces, we utilize a high-throughput experimentation method of rapidly printing discrete droplets via inkjet deposition, in which each droplet is comprised of a unique permutation of semiconductor materials. However, inkjet printer systems are not optimized to run high-throughput experimentation on semiconductor materials. Thus, in this work, we develop a computer vision-driven Bayesian optimization framework for optimizing the deposited droplet structures from an inkjet printer such that it is tuned to perform high-throughput experimentation on semiconductor materials. The goal of this framework is to tune to the hardware conditions of the inkjet printer in the shortest amount of time using the fewest number of droplet samples such that we minimize the time and resources spent on setting the system up for material discovery applications. We demonstrate convergence on optimum inkjet hardware conditions in 10 minutes using Bayesian optimization of computer vision-scored droplet structures. We compare our Bayesian optimization results with stochastic gradient descent.


title: A Grand Unification of Quantum Algorithms

abstract: Quantum algorithms offer significant speedups over their classical counterparts for a variety of problems. The strongest arguments for this advantage are borne by algorithms for quantum search, quantum phase estimation, and Hamiltonian simulation, which appear as subroutines for large families of composite quantum algorithms. A number of these quantum algorithms were recently tied together by a novel technique known as the quantum singular value transformation (QSVT), which enables one to perform a polynomial transformation of the singular values of a linear operator embedded in a unitary matrix. In the seminal GSLW'19 paper on QSVT [Gily\'en, Su, Low, and Wiebe, ACM STOC 2019], many algorithms are encompassed, including amplitude amplification, methods for the quantum linear systems problem, and quantum simulation. Here, we provide a pedagogical tutorial through these developments, first illustrating how quantum signal processing may be generalized to the quantum eigenvalue transform, from which QSVT naturally emerges. Paralleling GSLW'19, we then employ QSVT to construct intuitive quantum algorithms for search, phase estimation, and Hamiltonian simulation, and also showcase algorithms for the eigenvalue threshold problem and matrix inversion. This overview illustrates how QSVT is a single framework comprising the three major quantum algorithms, thus suggesting a grand unification of quantum algorithms.


title: Pair correlations of logarithms of integers

abstract: We study the correlations of pairs of logarithms of positive integers at various scalings, either with trivial weigths or with weights given by the Euler function, proving the existence of pair correlation functions. We prove that at the linear scaling, the pair correlations exhibit level repulsion, as it sometimes occurs in statistical physics. We prove total loss of mass phenomena at superlinear scalings, and Poissonian behaviour at sublinear scalings. The case of Euler weights has applications to the pair correlation of the lengths of common perpendicular geodesic arcs from the maximal Margulis cusp neighborhood to itself in the modular curve $\operatorname{PSL}_2(\mathbb Z)\backslash\mathbb H^2_{\mathbb R}$.


title: Homogenization of Non-dilute Suspension of Viscous Fluid with Magnetic Particles

abstract: This paper seeks to carry out the rigorous homogenization of a particulate flow consisting of a non-dilute suspension of a viscous Newtonian fluid with magnetizable particles. The fluid is assumed to be described by the Stokes flow, while the particles are either paramagnetic or diamagnetic, for which the magnetization field is a linear function of the magnetic field. The coefficients of the corresponding partial differential equations are locally periodic. A one-way coupling between the fluid domain and the particles is also assumed. The homogenized or effective response of such a suspension is derived, and the mathematical justification of the obtained asymptotics is carried out. The two-scale convergence method is adopted for the latter. As a consequence, the presented result provides a justification for the formal asymptotic analysis of L\'{e}vy and Sanchez-Palencia for particulate steady-state Stokes flows.


title: Into the EFThedron and UV constraints from IR consistency

abstract: Recently it was proposed that the theory space of effective field theories with consistent UV completions can be described as a positive geometry, termed the EFThedron. In this paper we demonstrate that at the core, the geometry is given by the convex hull of the product of two moment curves. This makes contact with the well studied bi-variate moment problem, which in various instances has known solutions, generalizing the Hankel matrices of couplings into moment matrices. We are thus able to obtain analytic expressions for bounds, which perfectly match numerical results from semi-definite programing methods. Furthermore, we demonstrate that crossing symmetry in the IR imposes non-trivial constraints on the UV spectrum. In particular, permutation invariance for identical scalar scattering requires that any UV completion beyond the scalar sector must contain arbitrarily high spins, including at least all even spins $\ell\le28$, with the ratio of spinning spectral functions bounded from above, exhibiting large spin suppression. The spinning spectrum must also include at least one state satisfying a bound $m^2_{J}<M^2 \frac{( J^2-12) ( J^4 - 32 J^2 +204)}{8 (150 - 43 J^2 + 2 J^4)}$, where $J^2=\ell(\ell+1)$, and $M^2$ is the mass of the heaviest spin 2 state in the spectrum.


title: Elliptic threefolds with high Mordell-Weil rank

abstract: We present the first examples of smooth elliptic Calabi-Yau threefolds with Mordell-Weil rank 10, the highest currently known value. They are given by the Schoen threefolds introduced by Namikawa; there are six isolated fibers of Kodaira Type IV. We explicitly compute the Shioda homomorphism for the generators of the Mordell-Weil group and their induced height pairing. Compactification of F-theory on these threefolds gives an effective theory in six dimensions which contains ten abelian gauge group factors. We compute the massless matter spectrum. In particular, we show that the charged singlet matter need not reside at enhancement loci of Type $I_2$, as previously believed. We relate the multiplicities of the massless spectrum to genus-zero Gopakumar-Vafa invariants and other geometric quantities of the Calabi-Yau. We show that the gravitational and abelian anomaly cancellation conditions are satisfied. We prove a Geometric Anomaly Cancellation equation and we deduce birational equivalence for the quantities in the spectrum. We explicitly describe a Weierstrass model over $\mathbb P^2$ of the Calabi-Yau threefolds as a log canonical model and compare it to a construction by Elkies and classical results of Burkhardt.


title: A continuum model reproducing the multiple frequency crossovers in acoustic attenuation in glasses

abstract: Structured metamaterials are at the core of extensive research, promising for acoustic and thermal engineering. Nevertheless, the computational cost required for correctly simulating large systems imposes to use a continuous model to describe the effective behavior without knowing the atomistic details. Crucially, a correct description needs to describe both the extrinsic interface-induced and the intrinsic atomic scale-originated phonon scattering, especially when the component material is made of glass, a highly dissipative material in which wave attenuation is strongly dependent on frequency as well as on temperature. In amorphous systems, the effective acoustic attenuation triggered by multiple mechanisms is now well characterized and exhibits a nontrivial frequency dependence with a double crossover of power laws. In this work, we propose a continuum viscoelastic model based on the hierarchical strategy multi-scale approach, able to reproduce well the phonon attenuation in a large frequency range, spanning three orders of magnitude from GHz to THz with a $\omega^2-\omega^4-\omega^2$ dependence, including the influence of temperature.


title: Pointwise decay for the wave equation on nonstationary spacetimes

abstract: The first article in a two-part series (the second article being [arXiv:2205.13197]) assumes a weak local energy decay estimate holds and proves that solutions to the linear wave equation with variable coefficients in $\mathbb R^{1+3}$, first-order terms, and a potential decay at a rate depending on how rapidly the vector fields of the metric, first-order terms, and potential decay at spatial infinity. We prove results for both stationary and nonstationary metrics. The proof uses local energy decay to prove an initial decay rate, and then uses the one-dimensional reduction repeatedly to achieve the full decay rate.


title: Membership Inference Attacks on Deep Regression Models for Neuroimaging

abstract: Ensuring the privacy of research participants is vital, even more so in healthcare environments. Deep learning approaches to neuroimaging require large datasets, and this often necessitates sharing data between multiple sites, which is antithetical to the privacy objectives. Federated learning is a commonly proposed solution to this problem. It circumvents the need for data sharing by sharing parameters during the training process. However, we demonstrate that allowing access to parameters may leak private information even if data is never directly shared. In particular, we show that it is possible to infer if a sample was used to train the model given only access to the model prediction (black-box) or access to the model itself (white-box) and some leaked samples from the training data distribution. Such attacks are commonly referred to as Membership Inference attacks. We show realistic Membership Inference attacks on deep learning models trained for 3D neuroimaging tasks in a centralized as well as decentralized setup. We demonstrate feasible attacks on brain age prediction models (deep learning models that predict a person's age from their brain MRI scan). We correctly identified whether an MRI scan was used in model training with a 60% to over 80% success rate depending on model complexity and security assumptions.


title: Age of Gossip in Networks with Community Structure

abstract: We consider a network consisting of a single source and $n$ receiver nodes that are grouped into $m$ equal size communities, i.e., clusters, where each cluster includes $k$ nodes and is served by a dedicated cluster head. The source node keeps versions of an observed process and updates each cluster through the associated cluster head. Nodes within each cluster are connected to each other according to a given network topology. Based on this topology, each node relays its current update to its neighboring nodes by $local$ $gossiping$. We use the $version$ $age$ metric to quantify information timeliness at the receiver nodes. We consider disconnected, ring, and fully connected network topologies for each cluster. For each of these network topologies, we characterize the average version age at each node and find the version age scaling as a function of the network size $n$. Our results indicate that per node version age scalings of $O(\sqrt{n})$, $O(n^{\frac{1}{3}})$, and $O(\log n)$ are achievable in disconnected, ring, and fully connected cluster models, respectively. Finally, through numerical evaluations, we determine the version age-optimum $(m,k)$ pairs as a function of the source, cluster head, and node update rates.


title: Updated Standard Model Prediction for $K \to \pi \nu \bar{\nu}$ and $\epsilon_K$

abstract: The rare $K \to \pi \nu \bar{\nu}$ decay modes and the parameter $\epsilon_K$ that measures CP violation in Kaon mixing are sensitive probes of physics beyond the standard model. In this article we provide the updated standard-model prediction for the rare decay modes in detail, and summarise the status of standard-model prediction of $\epsilon_K$. We find $\text{BR}(K^+ \to \pi^+ \nu \bar \nu) = 7.73(61) \times 10^{-11}$ and $\text{BR}(K_L \to \pi^0 \nu \bar \nu) = 2.59(29) \times 10^{-11}$. The uncertainties are dominated by parametric input.


title: Estimating Reproducible Functional Networks Associated with Task Dynamics using Unsupervised LSTMs

abstract: We propose a method for estimating more reproducible functional networks that are more strongly associated with dynamic task activity by using recurrent neural networks with long short term memory (LSTMs). The LSTM model is trained in an unsupervised manner to learn to generate the functional magnetic resonance imaging (fMRI) time-series data in regions of interest. The learned functional networks can then be used for further analysis, e.g., correlation analysis to determine functional networks that are strongly associated with an fMRI task paradigm. We test our approach and compare to other methods for decomposing functional networks from fMRI activity on 2 related but separate datasets that employ a biological motion perception task. We demonstrate that the functional networks learned by the LSTM model are more strongly associated with the task activity and dynamics compared to other approaches. Furthermore, the patterns of network association are more closely replicated across subjects within the same dataset as well as across datasets. More reproducible functional networks are essential for better characterizing the neural correlates of a target task.


title: Positionally precise functionalization of shallow luminescent centers through Forster Resonant Energy Transfer (FRET) driven surface photochemistry

abstract: Paramagnetic luminescent impurities in solids such as Nitrogen-Vacancy (NV) centers in diamond represent a promising and versatile platform for the development of a wide range of chemical and biological sensors. This goal can be accomplished by the placement of chemically active, spin (electron or nuclear) labeled moiety on the surface in the close vicinity of a shallow single paramagnetic center. In this paper, we demonstrate that the Forster Resonant Excitation Transfer driven process where luminescent center plays a role of excitation donor can accomplish such a goal with high chemical efficiency, positionally precise and a scalable manner. We obtain the probability distribution function of the sensing group position relative to the luminescent center (NV center) and demonstrate that the functionalization position uncertainty is equal to the luminescent center deposition depth. The efficiency of the FRET process is analyzed as a function of the luminescent center deposition depth and the density of the excitation acceptor sites. Employing the geometric information of the surface-functionalized sensing groups, we obtain the probability distribution function of the energy gap in the spectrum of a spin-based detection system. This information allows us to estimate the single-molecule detection capabilities of the proposed system.


title: Fundamental weight systems are quantum states

abstract: Weight systems on chord diagrams play a central role in knot theory and Chern-Simons theory; and more recently in stringy quantum gravity. We highlight that the noncommutative algebra of horizontal chord diagrams is canonically a star-algebra, and ask which weight systems are positive with respect to this structure; hence we ask: Which weight systems are quantum states, if horizontal chord diagrams are quantum observables? We observe that the fundamental gl(n)-weight systems on horizontal chord diagrams with N strands may be identified with the Cayley distance kernel at inverse temperature beta=ln(n) on the symmetric group on N elements. In contrast to related kernels like the Mallows kernel, the positivity of the Cayley distance kernel had remained open. We characterize its phases of indefinite, semi-definite and definite positivity, in dependence of the inverse temperature beta; and we prove that the Cayley distance kernel is positive (semi-)definite at beta=ln(n) for all n=1,2,3,... In particular, this proves that all fundamental gl(n)-weight systems are quantum states, and hence so are all their convex combinations. We close with briefly recalling how, under our "Hypothesis H", this result impacts on the identification of bound states of multiple M5-branes.

categories: math.GT hep-th math-ph math.CO math.MP quant-ph


title: Animatable Neural Radiance Fields for Modeling Dynamic Human Bodies

abstract: This paper addresses the challenge of reconstructing an animatable human model from a multi-view video. Some recent works have proposed to decompose a non-rigidly deforming scene into a canonical neural radiance field and a set of deformation fields that map observation-space points to the canonical space, thereby enabling them to learn the dynamic scene from images. However, they represent the deformation field as translational vector field or SE(3) field, which makes the optimization highly under-constrained. Moreover, these representations cannot be explicitly controlled by input motions. Instead, we introduce neural blend weight fields to produce the deformation fields. Based on the skeleton-driven deformation, blend weight fields are used with 3D human skeletons to generate observation-to-canonical and canonical-to-observation correspondences. Since 3D human skeletons are more observable, they can regularize the learning of deformation fields. Moreover, the learned blend weight fields can be combined with input skeletal motions to generate new deformation fields to animate the human model. Experiments show that our approach significantly outperforms recent human synthesis methods. The code and supplementary materials are available at https://zju3dv.github.io/animatable_nerf/.


title: Contextual Bandits with Sparse Data in Web setting

abstract: This paper is a scoping study to identify current methods used in handling sparse data with contextual bandits in web settings. The area is highly current and state of the art methods are identified. The years 2017-2020 are investigated, and 19 method articles are identified, and two review articles. Five categories of methods are described, making it easy to choose how to address sparse data using contextual bandits with a method available for modification in the specific setting of concern. In addition, each method has multiple techniques to choose from for future evaluation. The problem areas are also mentioned that each article covers. An overall updated understanding of sparse data problems using contextual bandits in web settings is given. The identified methods are policy evaluation (off-line and on-line) , hybrid-method, model representation (clusters and deep neural networks), dimensionality reduction, and simulation.


title: A Metamodel Structure For Regression Analysis: Application To Prediction Of Autism Spectrum Disorder Severity

abstract: Traditional regression models do not generalize well when learning from small and noisy datasets. Here we propose a novel metamodel structure to improve the regression result. The metamodel is composed of multiple classification base models and a regression model built upon the base models. We test this structure on the prediction of autism spectrum disorder (ASD) severity as measured by the ADOS communication (ADOS COMM) score from resting-state fMRI data, using a variety of base models. The metamodel outperforms traditional regression models as measured by the Pearson correlation coefficient between true and predicted scores and stability. In addition, we found that the metamodel is more flexible and more generalizable.


title: Deep Polarization Imaging for 3D shape and SVBRDF Acquisition

abstract: We present a novel method for efficient acquisition of shape and spatially varying reflectance of 3D objects using polarization cues. Unlike previous works that have exploited polarization to estimate material or object appearance under certain constraints (known shape or multiview acquisition), we lift such restrictions by coupling polarization imaging with deep learning to achieve high quality estimate of 3D object shape (surface normals and depth) and SVBRDF using single-view polarization imaging under frontal flash illumination. In addition to acquired polarization images, we provide our deep network with strong novel cues related to shape and reflectance, in the form of a normalized Stokes map and an estimate of diffuse color. We additionally describe modifications to network architecture and training loss which provide further qualitative improvements. We demonstrate our approach to achieve superior results compared to recent works employing deep learning in conjunction with flash illumination.