title: Probing X-ray emission in different modes of PSR J1023+0038 with a radio pulsar scenario

abstract: Transitional pulsars provide us with a unique laboratory to study the physics of accretion onto a magnetic neutron star. PSR J1023+0038 (J1023) is the best studied of this class. We investigate the X-ray spectral properties of J1023 in the framework of a working radio pulsar during the active state. We modelled the X-ray spectra in three modes (low, high, and flare) as well as in quiescence, to constrain the emission mechanism and source parameters. The emission model, formed by an assumed pulsar emission (thermal and magnetospheric) plus a shock component, can account for the data only adding a hot dense absorber covering ~30% of the emitting source in high mode. The covering fraction is similar in flaring mode, thus excluding total enshrouding, and decreases in the low mode despite large uncertainties. This provides support to the recently advanced idea of a mini-pulsar wind nebula (PWN), where X-ray and optical pulsations arise via synchrotron shock emission in a very close (~100 km, comparable to a light cylinder), PWN-like region that is associated with this hot absorber. In low mode, this region may expand, pulsations become undetectable, and the covering fraction decreases.


title: Development of Transition-Edge Sensor X-ray Microcalorimeter Linear Array for Compton Scattering and Energy Dispersive Diffraction Imaging

abstract: We present a strip transition-edge sensor microcalorimeter linear array detector developed for energy dispersive X-ray diffraction imaging and Compton scattering applications. The prototype detector is an array of 20 transition-edge-sensors with absorbers in strip geometry arranged in a linear array. We discuss the fabrication steps needed to develop this array including Mo/Cu bilayer, Au electroplating, and proof-of-principle fabrication of long strips of SiNx membranes. We demonstrate minimal unwanted effect of strip geometry on X-ray pulse response, and show linear relationship of 1/pulse height and pulse decay times with absorber length. For the absorber lengths studied, preliminary measurements show energy resolutions of 40 eV to 180 eV near 17 keV. Furthermore, we show that the heat flow to the cold bath is nearly independent of the absorber area and depends on the SiNx membrane geometry.


title: Pain Analysis, in Premature Infants, Using Near Infrared Spectroscopy (NIRS)

abstract: Background: The role of neonatal pain on the developing nervous system is not completely understood, but evidence suggests that sensory pathways are influenced by an infants pain experience. Research has shown that an infants previous pain experiences lead to an increased, and likely abnormal, response to subsequent painful stimuli. We are working to improve neonatal pain detection through automated devices that continuously monitor an infant. The current study outlines some of the initial steps we have taken to evaluate Near Infrared Spectroscopy (NIRS) as a technology to detect neonatal pain. Our findings may provide neonatal intensive care unit (NICU) practitioners with the data necessary to monitor and perhaps better manage an abnormal pain response. Methods: A prospective pilot study was conducted to evaluate nociceptive evoked cortical activity in preterm infants. NIRS data were recorded for approximately 10 minutes prior to an acute painful procedure and for approximately 10 minutes after the procedure. Individual data collection events were performed at a weekly maximum frequency. Eligible infants included those admitted to the Tampa General Hospital (TGH) NICU with a birth gestational age of less than 37 weeks. Results: A total of 15 infants were enrolled and 25 individual studies were completed. Analysis demonstrated a statistically significant difference between the median of the pre- and post-painful procedure data sets in each infants first NIRS collection (p value = 0.01). Conclusions: Initial analysis shows NIRS may be useful in detecting acute pain. An acute painful procedure is typically followed by a negative deflection in NIRS readings.


title: Dark matter minispike: a significant enhancement of eccentricity for intermediate-mass-ratio-inspirals

abstract: When a stellar massive compact object, such as a black hole (BH), inspirals into an intermediate massive black hole (IMBH), an intermediate-mass-ratio-inspiral (IMRI) system forms. Such kind of systems are important sources for space-based gravitational wave detectors including LISA, Taiji and Tianqin. Dark matter (DM) minispikes may form around IMBHs. We study the effect of dynamical friction against DM minispike on the evolution of eccentric IMRI. For such investigation we construct the dynamical equations which describes the evolution of eccentric IMRI under the effect of dynamical friction. As dynamical friction is large for small velocity, the dissipation of energy near apastron is more than that near periastron. This will greatly enhance the eccentricity. For instance, with an initial semi-latus rectum of $1\rm AU$, even a moderate DM minispike can make the eccentricity grow from $0.3$ to $0.85$. In the extremal case the eccentricity could be enhanced to near $1$. We also study a specific case which corresponds to an IMRI in the center of a globular cluster (GC) and find the eccentricity can keep its value above $0.95$ until the IMRI enters LISA band. These gravitational wave with enhanced eccentricity by DM minispikes can be easly distinguished from that without DM at $10^{-3}\rm Hz$ due to the eccentricity difference. These anticipations can be tested by future space-based GW detectors such as LISA.


title: Martingale transport with homogeneous stock movements

abstract: We study a variant of the martingale optimal transport problem in a multi-period setting to derive robust price bounds of a financial derivative. On top of marginal and martingale constraints, we introduce a time-homogeneity assumption, which restricts the variability of the forward-looking transitions of the martingale across time. We provide a dual formulation in terms of superhedging and discuss relaxations of the time-homogeneity assumption by adding market frictions. In financial terms, the introduced time-homogeneity corresponds to a time-consistency condition for call prices, given the state of the stock. The time homogeneity assumption leads to improved price bounds as market data from many time points can be incorporated effectively. The approach is illustrated with two numerical examples.


title: Model Selection With Graphical Neighbour Information

abstract: Accurate model selection is a fundamental requirement for statistical analysis. In many real-world applications of graphical modelling, correct model structure identification is the ultimate objective. Standard model validation procedures such as information theoretic scores and cross validation have demonstrated poor performance in the high dimensional setting. Specialised methods such as EBIC, StARS and RIC have been developed for the explicit purpose of high-dimensional Gaussian graphical model selection. We present a novel model score criterion, Graphical Neighbour Information. This method demonstrates oracle performance in high-dimensional model selection, outperforming the current state-of-the-art in our simulations. The Graphical Neighbour Information criterion has the additional advantage of efficient, closed-form computability, sparing the costly inference of multiple models on data subsamples. We provide a theoretical analysis of the method and benchmark simulations versus the current state of the art.


title: Exact solutions in quantum field theory under rotation

abstract: We discuss the construction and properties of rigidly-rotating states for free scalar and fermion fields in quantum field theory. On unbounded Minkowski space-time, we explain why such states do not exist for scalars. For the Dirac field, we are able to construct rotating vacuum and thermal states, for which expectation values can be computed exactly in the massless case. We compare these quantum expectation values with the corresponding quantities derived in relativistic kinetic theory.


title: Feature Exploration for Knowledge-guided and Data-driven Approach Based Cuffless Blood Pressure Measurement

abstract: This study explores extended feature space that is indicative of blood pressure (BP) changes for better estimation of continuous BP in an unobtrusive way. A total of 222 features were extracted from noninvasively acquired electrocardiogram (ECG) and photoplethysmogram (PPG) signals with the subject undergoing coronary angiography and/or percutaneous coronary intervention, during which intra-arterial BP was recorded simultaneously with the subject at rest and while administering drugs to induce BP variations. The association between the extracted features and the BP components, i.e. systolic BP (SBP), diastolic BP (DBP), mean BP (MBP), and pulse pressure (PP) were analyzed and evaluated in terms of correlation coefficient, cross sample entropy, and mutual information, respectively. Results show that the most relevant indicator for both SBP and MBP is the pulse full width at half maximum, and for DBP and PP, the amplitude between the peak of the first derivative of PPG (dPPG) to the valley of the second derivative of PPG (sdPPG) and the time interval between the peak of R wave and the sdPPG, respectively. As potential inputs to either the knowledge-guided model or data-driven method for cuffless BP calibration, the proposed expanded features are expected to improve the estimation accuracy of cuffless BP.


title: Variational Extrapolation of Implicit Schemes for General Gradient Flows

abstract: We introduce a class of unconditionally energy stable, high order accurate schemes for gradient flows in a very general setting. The new schemes are a high order analogue of the minimizing movements approach for generating a time discrete approximation to a gradient flow by solving a sequence of optimization problems. In particular, each step entails minimizing the associated energy of the gradient flow plus a movement limiter term that is, in the classical context of steepest descent with respect to an inner product, simply quadratic. A variety of existing unconditionally stable numerical methods can be recognized as (typically just first order accurate in time) minimizing movement schemes for their associated evolution equations, already requiring the optimization of the energy plus a quadratic term at every time step. Therefore, our approach gives a painless way to extend these to high order accurate in time schemes while maintaining their unconditional stability. In this sense, it can be viewed as a variational analogue of Richardson extrapolation.


title: Learning Algebraic Models of Quantum Entanglement

abstract: We review supervised learning and deep neural network design for learning membership on algebraic varieties. We demonstrate that these trained artificial neural networks can predict the entanglement type for quantum states. We give examples for detecting degenerate states, as well as border rank classification for up to 5 binary qubits and 3 qutrits (ternary qubits).


title: Hardness Amplification of Optimization Problems

abstract: In this paper, we prove a general hardness amplification scheme for optimization problems based on the technique of direct products. We say that an optimization problem $\Pi$ is direct product feasible if it is possible to efficiently aggregate any $k$ instances of $\Pi$ and form one large instance of $\Pi$ such that given an optimal feasible solution to the larger instance, we can efficiently find optimal feasible solutions to all the $k$ smaller instances. Given a direct product feasible optimization problem $\Pi$, our hardness amplification theorem may be informally stated as follows: If there is a distribution $\mathcal{D}$ over instances of $\Pi$ of size $n$ such that every randomized algorithm running in time $t(n)$ fails to solve $\Pi$ on $\frac{1}{\alpha(n)}$ fraction of inputs sampled from $\mathcal{D}$, then, assuming some relationships on $\alpha(n)$ and $t(n)$, there is a distribution $\mathcal{D}'$ over instances of $\Pi$ of size $O(n\cdot \alpha(n))$ such that every randomized algorithm running in time $\frac{t(n)}{poly(\alpha(n))}$ fails to solve $\Pi$ on $\frac{99}{100}$ fraction of inputs sampled from $\mathcal{D}'$. As a consequence of the above theorem, we show hardness amplification of problems in various classes such as NP-hard problems like Max-Clique, Knapsack, and Max-SAT, problems in P such as Longest Common Subsequence, Edit Distance, Matrix Multiplication, and even problems in TFNP such as Factoring and computing Nash equilibrium.


title: First Measurement of the Charged Current $\overline{\nu}_{\mu}$ Double Differential Cross Section on a Water Target without Pions in the final state

abstract: This paper reports the first differential measurement of the charged-current $\overline{\nu}_{\mu}$ interaction cross section on water with no pions in the final state. The unfolded flux-averaged measurement using the T2K off-axis near detector is given in double differential bins of $\mu^+$ momentum and angle. The integrated cross section in a restricted phase space is $\sigma=\left(1.11\pm0.18\right)\times10^{-38}$ cm$^{2}$ per water molecule. Comparisons with several nuclear models are also presented.


title: On symmetry operators for the Maxwell equation on the Kerr-NUT-(A)dS spacetime

abstract: We focus on the method recently proposed by Lunin and Frolov-Krtou\v{s}-Kubiz\v{n}\'{a}k to solve the Maxwell equation on the Kerr-NUT-(A)dS spacetime by separation of variables. In their method, it is crucial that the background spacetime has hidden symmetries because they generate commuting symmetry operators with which the separation of variables can be achieved. In this work we reproduce these commuting symmetry operators in a covariant fashion. We first review the procedure known as the Eisenhart-Duval lift to construct commuting symmetry operators for given equations of motion. Then we apply this procedure to the Lunin-Frolov-Krtou\v{s}-Kubiz\v{n}\'{a}k (LFKK) equation. It is shown that the commuting symmetry operators obtained for the LFKK equation coincide with the ones previously obtained by Frolov-Krtou\v{s}-Kubiz\v{n}\'{a}k, up to first-order symmetry operators corresponding to Killing vector fields. We also address the Teukolsky equation on the Kerr-NUT-(A)dS spacetime and its symmetry operator is constructed.


title: A Parallel Augmented Subspace Method for Eigenvalue Problems

abstract: A type of parallel augmented subspace scheme for eigenvalue problems is proposed by using coarse space in the multigrid method. With the help of coarse space in multigrid method, solving the eigenvalue problem in the finest space is decomposed into solving the standard linear boundary value problems and very low dimensional eigenvalue problems. The computational efficiency can be improved since there is no direct eigenvalue solving in the finest space and the multigrid method can act as the solver for the deduced linear boundary value problems. Furthermore, for different eigenvalues, the corresponding boundary value problem and low dimensional eigenvalue problem can be solved in the parallel way since they are independent of each other and there exists no data exchanging. This property means that we do not need to do the orthogonalization in the highest dimensional spaces. This is the main aim of this paper since avoiding orthogonalization can improve the scalability of the proposed numerical method. Some numerical examples are provided to validate the proposed parallel augmented subspace method.


title: CNN-Based PET Sinogram Repair to Mitigate Defective Block Detectors

abstract: Positron emission tomography (PET) scanners continue to increase sensitivity and axial coverage by adding an ever expanding array of block detectors. As they age, one or more block detectors may lose sensitivity due to a malfunction or component failure. The sinogram data missing as a result thereof can lead to artifacts and other image degradations. We propose to mitigate the effects of malfunctioning block detectors by carrying out sinogram repair using a deep convolutional neural network. Experiments using whole-body patient studies with varying amounts of raw data removed are used to show that the neural network significantly outperforms previously published methods with respect to normalized mean squared error for raw sinograms, a multi-scale structural similarity measure for reconstructed images and with regard to quantitative accuracy.


title: Constructing stellarators with quasisymmetry to high order

abstract: A method is given to rapidly compute quasisymmetric stellarator magnetic fields for plasma confinement, without the need to call a three-dimensional magnetohydrodynamic equilibrium code inside an optimization iteration. The method is based on direct solution of the equations of magnetohydrodynamic equilibrium and quasisymmetry using Garren and Boozer's expansion about the magnetic axis (Phys Fluids B 3, 2805 (1991)), and it is several orders of magnitude faster than the conventional optimization approach. The work here extends the method of Landreman, Sengupta and Plunk (J Plasma Phys 85, 905850103 (2019)), which was limited to flux surfaces with elliptical cross-section, to higher order in the aspect ratio expansion. As a result, configurations can be generated with strong shaping that achieve quasisymmetry to high accuracy. Using this construction, we give the first numerical demonstrations of Garren and Boozer's ideal scaling of quasisymmetry-breaking with the cube of inverse aspect ratio. We also demonstrate a strongly nonaxisymmetric configuration (vacuum $\iota > 0.4$) in which symmetry-breaking mode amplitudes throughout a finite volume are $< 2\times 10^{-7}$, the smallest ever reported. To generate boundary shapes of finite-minor-radius configurations, a careful analysis is given of the effect of substituting a finite minor radius into the near-axis expansion. The approach here can provide analytic insight into the space of possible quasisymmetric stellarator configurations, and it can be used to generate good initial conditions for conventional stellarator optimization.


title: Large-Scale Historical Watermark Recognition: dataset and a new consistency-based approach

abstract: Historical watermark recognition is a highly practical, yet unsolved challenge for archivists and historians. With a large number of well-defined classes, cluttered and noisy samples, different types of representations, both subtle differences between classes and high intra-class variation, historical watermarks are also challenging for pattern recognition. In this paper, overcoming the difficulty of data collection, we present a large public dataset with more than 6k new photographs, allowing for the first time to tackle at scale the scenarios of practical interest for scholars: one-shot instance recognition and cross-domain one-shot instance recognition amongst more than 16k fine-grained classes. We demonstrate that this new dataset is large enough to train modern deep learning approaches, and show that standard methods can be improved considerably by using mid-level deep features. More precisely, we design both a matching score and a feature fine-tuning strategy based on filtering local matches using spatial consistency. This consistency-based approach provides important performance boost compared to strong baselines. Our model achieves 55% top-1 accuracy on our very challenging 16,753-class one-shot cross-domain recognition task, each class described by a single drawing from the classic Briquet catalog. In addition to watermark classification, we show our approach provides promising results on fine-grained sketch-based image retrieval.


title: Continuous Value Iteration (CVI) Reinforcement Learning and Imaginary Experience Replay (IER) for learning multi-goal, continuous action and state space controllers

abstract: This paper presents a novel model-free Reinforcement Learning algorithm for learning behavior in continuous action, state, and goal spaces. The algorithm approximates optimal value functions using non-parametric estimators. It is able to efficiently learn to reach multiple arbitrary goals in deterministic and nondeterministic environments. To improve generalization in the goal space, we propose a novel sample augmentation technique. Using these methods, robots learn faster and overall better controllers. We benchmark the proposed algorithms using simulation and a real-world voltage controlled robot that learns to maneuver in a non-observable Cartesian task space.


title: Neural Harmonic-plus-Noise Waveform Model with Trainable Maximum Voice Frequency for Text-to-Speech Synthesis

abstract: Neural source-filter (NSF) models are deep neural networks that produce waveforms given input acoustic features. They use dilated-convolution-based neural filter modules to filter sine-based excitation for waveform generation, which is different from WaveNet and flow-based models. One of the NSF models, called harmonic-plus-noise NSF (h-NSF) model, uses separate pairs of source and neural filters to generate harmonic and noise waveform components. It is close to WaveNet in terms of speech quality while being superior in generation speed. The h-NSF model can be improved even further. While h-NSF merges the harmonic and noise components using pre-defined digital low- and high-pass filters, it is well known that the maximum voice frequency (MVF) that separates the periodic and aperiodic spectral bands are time-variant. Therefore, we propose a new h-NSF model with time-variant and trainable MVF. We parameterize the digital low- and high-pass filters as windowed-sinc filters and predict their cut-off frequency (i.e., MVF) from the input acoustic features. Our experiments demonstrated that the new model can predict a good trajectory of the MVF and produce high-quality speech for a text-to-speech synthesis system.


title: Large sets at infinity and Maximum Principle on unbounded domains for a class of sub-elliptic operators

abstract: Maximum Principles on unbounded domains play a crucial r\^ole in several problems related to linear second-order PDEs of elliptic and parabolic type. In this paper we consider a class of sub-elliptic operators $\mathcal{L}$ in $\mathbb{R}^N$ and we establish some criteria for an unbounded open set to be a Maximum Principle set for $\mathcal{L}$. We extend some classical results related to the Laplacian (by Deny, Hayman and Kennedy) and to the sub-Laplacians on stratified Lie groups (by Bonfiglioli and the second-named author).


title: Infochain: A Decentralized, Trustless and Transparent Oracle on Blockchain

abstract: Blockchain based systems allow various kinds of financial transactions to be executed in a decentralized manner. However, these systems often rely on a trusted third party (oracle) to get correct information about the real-world events, which trigger the financial transactions. In this paper, we identify two biggest challenges in building decentralized, trustless and transparent oracles. The first challenge is acquiring correct information about the real-world events without relying on a trusted information provider. We show how a peer-consistency incentive mechanism can be used to acquire truthful information from an untrusted and self-interested crowd, even when the crowd has outside incentives to provide wrong information. The second is a system design and implementation challenge. For the first time, we show how to implement a trustless and transparent oracle in Ethereum. We discuss various non-trivial issues that arise in implementing peer-consistency mechanisms in Ethereum, suggest several optimizations to reduce gas cost and provide empirical analysis.


title: Boosting the performance of small autonomous refrigerators via common environmental effects

abstract: We explore the possibility of enhancing the performance of small thermal machines by the presence of common noise sources. In particular, we study a prototypical model for an autonomous quantum refrigerator comprised by three qubits coupled to thermal reservoirs at different temperatures. Our results show that engineering the coupling to the reservoirs to act as common environments lead to relevant improvements in the performance. The enhancements arrive to almost double the cooling power of the original fridge without compromising its efficiency. The greater enhancements are obtained when the refrigerator may benefit from the presence of a decoherence-free subspace. The influence of coherent effects in the dissipation due to one- and two-spin correlated processes is also examined by comparison with an equivalent incoherent yet correlated model of dissipation.


title: Asymptotic Results of a Multiple-entry Reinforcement Process

abstract: We introduce a class of stochastic processes with reinforcement consisting of a sequence of random partitions $\{\mathcal{P}_t\}_{t \ge 1}$, where $\mathcal{P}_t$ is a partition of $\{1,2,\dots, Rt\}$. At each time~$t$,~$R$ numbers are added to the set being partitioned; of these, a random subset (chosen according to a time-dependent probability distribution) joins existing blocks, and the others each start new blocks on their own. Those joining existing blocks each choose a block with probability proportional to that block's cardinality, independently. We prove results concerning the asymptotic cardinality of a given block and central limit theorems for associated fluctuations about this asymptotic cardinality: these are proved both for a fixed block and for the maximum among all blocks. We also prove that with probability one, a single block eventually takes and maintains the leadership in cardinality. Depending on the way one sees this partition process, one can translate our results to Balls and Bins processes, Generalized Chinese Restaurant Processes, Generalized Urn models and Preferential attachment random graphs.


title: A Morpho-Syntactically Informed LSTM-CRF Model for Named Entity Recognition

abstract: We propose a morphologically informed model for named entity recognition, which is based on LSTM-CRF architecture and combines word embeddings, Bi-LSTM character embeddings, part-of-speech (POS) tags, and morphological information. While previous work has focused on learning from raw word input, using word and character embeddings only, we show that for morphologically rich languages, such as Bulgarian, access to POS information contributes more to the performance gains than the detailed morphological information. Thus, we show that named entity recognition needs only coarse-grained POS tags, but at the same time it can benefit from simultaneously using some POS information of different granularity. Our evaluation results over a standard dataset show sizable improvements over the state-of-the-art for Bulgarian NER.


title: Optimizing Graphical Procedures for Multiplicity Control in a Confirmatory Clinical Trial via Deep Learning

abstract: In confirmatory clinical trials, it has been proposed to use a simple iterative graphical approach to construct and perform intersection hypotheses tests with a weighted Bonferroni-type procedure to control type I errors in the strong sense. Given Phase II study results or other prior knowledge, it is usually of main interest to find the optimal graph that maximizes a certain objective function in a future Phase III study. In this article, we evaluate the performance of two existing derivative-free constrained methods, and further propose a deep learning enhanced optimization framework. Our method numerically approximates the objective function via feedforward neural networks (FNNs) and then performs optimization with available gradient information. It can be constrained so that some features of the testing procedure are held fixed while optimizing over other features. Simulation studies show that our FNN-based approach has a better balance between robustness and time efficiency than some existing derivative-free constrained optimization algorithms. Compared to the traditional stochastic search method, our optimizer has moderate multiplicity adjusted power gain when the number of hypotheses is relatively large. We further apply it to a case study to illustrate how to optimize a multiple testing procedure with respect to a specific study objective.


title: Campana points of bounded height on vector group compactifications

abstract: We initiate a systematic quantitative study of subsets of rational points that are integral with respect to a weighted boundary divisor on Fano orbifolds. We call the points in these sets Campana points. Earlier work of Campana and subsequently Abramovich shows that there are several reasonable competing definitions for Campana points. We use a version that delineates well different types of behaviour of points as the weights on the boundary divisor vary. This prompts a Manin-type conjecture on Fano orbifolds for sets of Campana points that satisfy a klt (Kawamata log terminal) condition. By importing work of Chambert-Loir and Tschinkel to our set-up, we prove a log version of Manin's conjecture for klt Campana points on equivariant compactifications of vector groups.


title: Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming

abstract: In this paper, we propose an explicit, non-strict representation of search trees in constraint-logic object-oriented programming. Our search tree representation includes both the non-deterministic and deterministic behaviour during execution of an application. Introducing such a representation facilitates the use of various search strategies. In order to demonstrate the applicability of our approach, we incorporate explicit search trees into the virtual machine of the constraint-logic object-oriented programming language Muli. We then exemplarily implement three search algorithms that traverse the search tree on-demand: depth-first search, breadth-first search, and iterative deepening depth-first search. In particular, the last two strategies allow for a complete search, which is novel in constraint-logic object-oriented programming and highlights our main contribution. Finally, we compare the implemented strategies using several benchmarks.


title: A linearly implicit energy-preserving exponential integrator for the nonlinear Klein-Gordon equation

abstract: In this paper, we generalize the exponential energy-preserving integrator proposed in the recent paper [SIAM J. Sci. Comput. 38(2016) A1876-A1895] for conservative systems, which now becomes linearly implicit by further utilizing the idea of the scalar auxiliary variable approach. Comparing with the original exponential energy-preserving integrator which usually leads to a nonlinear algebraic system, our new method only involve a linear system with constant coefficient matrix. Taking the nonlinear Klein-Gordon equation for example, we derive the concrete energy-preserving scheme and demonstrate its high efficiency through numerical experiments.


title: Few-shot Learning with Deep Triplet Networks for Brain Imaging Modality Recognition

abstract: Image modality recognition is essential for efficient imaging workflows in current clinical environments, where multiple imaging modalities are used to better comprehend complex diseases. Emerging biomarkers from novel, rare modalities are being developed to aid in such understanding, however the availability of these images is often limited. This scenario raises the necessity of recognising new imaging modalities without them being collected and annotated in large amounts. In this work, we present a few-shot learning model for limited training examples based on Deep Triplet Networks. We show that the proposed model is more accurate in distinguishing different modalities than a traditional Convolutional Neural Network classifier when limited samples are available. Furthermore, we evaluate the performance of both classifiers when presented with noisy samples and provide an initial inspection of how the proposed model can incorporate measures of uncertainty to be more robust against out-of-sample examples.


title: DRD-Net: Detail-recovery Image Deraining via Context Aggregation Networks

abstract: Image deraining is a fundamental, yet not well-solved problem in computer vision and graphics. The traditional image deraining approaches commonly behave ineffectively in medium and heavy rain removal, while the learning-based ones lead to image degradations such as the loss of image details, halo artifacts and/or color distortion. Unlike existing image deraining approaches that lack the detail-recovery mechanism, we propose an end-to-end detail-recovery image deraining network (termed a DRD-Net) for single images. We for the first time introduce two sub-networks with a comprehensive loss function which synergize to derain and recover the lost details caused by deraining. We have three key contributions. First, we present a rain residual network to remove rain streaks from the rainy images, which combines the squeeze-and-excitation (SE) operation with residual blocks to make full advantage of spatial contextual information. Second, we design a new connection style block, named structure detail context aggregation block (SDCAB), which aggregates context feature information and has a large reception field. Third, benefiting from the SDCAB, we construct a detail repair network to encourage the lost details to return for eliminating image degradations. We have validated our approach on four recognized datasets (three synthetic and one real-world). Both quantitative and qualitative comparisons show that our approach outperforms the state-of-the-art deraining methods in terms of the deraining robustness and detail accuracy. The source code has been available for public evaluation and use on GitHub.


title: Answering Summation Queries for Numerical Attributes under Differential Privacy

abstract: In this work we explore the problem of answering a set of sum queries under Differential Privacy. This is a little understood, non-trivial problem especially in the case of numerical domains. We show that traditional techniques from the literature are not always the best choice and a more rigorous approach is necessary to develop low error algorithms.


title: Studies on ultra-short pulsed laser shock peening of stainless-steel in different confinement media

abstract: Laser Shock Peening (LSP) of stainless-steel 316 and 316L was studied using Ti: Sapphire laser pulses of about 2 ps duration, maximum energy of about 1mJ and pulse repetition rate of 5kHz in different liquid confinement media of Ethanol, Deionized water and separate aqueous solutions of NaCl and Glycerol. It is found that the laser fluence and/or energy attenuating mechanisms like self-focusing, filamentation, plasma breakdown in the confinement media are less significant with ps laser pulses than those with sub-ps or fs pulse durations. It is shown that the resulting surface hardness of the peened steel as a function of laser fluence depends significantly on the confinement media and the relative increase in the hardness increases monotonically with the acoustic impedance of the liquid of the confinement medium used during LSP.


title: Light-front wave functions of mesons, baryons and pentaquarks, with topology-induced local 4-quark interaction

abstract: We calculate light-front wave functions of mesons, baryons and pentaquarks in a model including constituent mass (representing chiral symmetry breaking), harmonic confining potential, and 4-quark local interaction of 't Hooft type. The model is a simplified version of that used by Jia and Vary. The method used is numerical diagonalization of the Hamiltonian matrix, with certain functional basis. We found that the nucleon wave function displays strong diquar correlations, unlike that for Delta (decuplet) baryon. We also calculate 3-quark-5-quark admixture to baryons, and the resulting antiquark sea PDF.


title: TEST: an End-to-End Network Traffic Examination and Identification Framework Based on Spatio-Temporal Features Extraction

abstract: With more encrypted network traffic gets involved in the Internet, how to effectively identify network traffic has become a top priority in the field. Accurate identification of the network traffic is the footstone of basic network services, say QoE, bandwidth allocation, and IDS. Previous identification methods either cannot deal with encrypted traffics or require experts to select tons of features to attain a relatively decent accuracy.In this paper, we present a Deep Learning based end-to-end network traffic identification framework, termed TEST, to avoid the aforementioned problems. CNN and LSTM are combined and implemented to help the machine automatically extract features from both special and time-related features of the raw traffic. The presented framework has two layers of structure, which made it possible to attain a remarkable accuracy on both encrypted traffic classification and intrusion detection tasks. The experimental results demonstrate that our model can outperform previous methods with a state-of-the-art accuracy of 99.98%.


title: Unified web for expansions of amplitudes

abstract: In this paper, we demonstrate that using differential operators one can construct the complete unified web for expansions of amplitudes for a wide range of theories. We first re-derive the expansion of multi-trace Einstein-Yang-Mills amplitudes to Kleiss-Kuijf basis of color-ordered Yang-Mills amplitudes, by applying proper differential operators which modify the coefficients in the recursive expansion of single-trace Einstein-Yang-Mills amplitudes. Next, through differential operators which act on amplitudes only, we obtain expansions of amplitudes of Yang-Mills theory, Yang-Mills-scalar theory, $\phi^4$ theory, non-linear sigma model, bi-adjoint scalar theory, Born-Infeld theory, Dirac-Born-Infeld theory and special Galileon theory. Then, together with other results in literatures, the complete unified web is achieved. This web for expansions is the dual version of the unified web for differential operators. Thus, connections among amplitudes of a variety of theories, which are reflected by Cachazo-He-Yuan integrands and differential operators previously, can also be represented by expansions. We also find that amplitudes of all theories in the web can be expanded to double color-ordered bi-adjoint scalar amplitudes in the universal double copy formula.


title: TxForest: A DSL for Concurrent Filestores

abstract: Many systems use ad hoc collections of files and directories to store persistent data. For consumers of this data, the process of properly parsing, using, and updating these filestores using conventional APIs is cumbersome and error-prone. Making matters worse, most filestores are too big to fit in memory, so applications must process the data incrementally while managing concurrent accesses by multiple users. This paper presents Transactional Forest (TxForest), which builds on earlier work on Forest to provide a simpler, more powerful API for managing filestores, including a mechanism for managing concurrent accesses using serializable transactions. Under the hood, TxForest implements an optimistic concurrency control scheme using Huet's zippers to track the data associated with filestores. We formalize TxForest in a core calculus, develop a proof of serializability, and describe our OCaml prototype, which we have used to build several practical applications.


title: A Simplified Approach to Two-Port Analysis in Feedback

abstract: In this paper, a new pedagogical approach for analyzing the negative feedback circuits is proposed. The presented approach is in fact the completed form of the well-known two-port network analysis which is the most intuitive method for teaching the negative feedback concept. The two-port network analysis is rewritten in a more general and conceptual format. In analyzing the output series feedback, the presented analysis resolves prior shortcomings. The presented approach helps the students analyze and design all types of negative feedback circuits more intuitively.


title: The Wiki Music dataset: A tool for computational analysis of popular music

abstract: Is it possible use algorithms to find trends in the history of popular music? And is it possible to predict the characteristics of future music genres? In order to answer these questions, we produced a hand-crafted dataset with the intent to put together features about style, psychology, sociology and typology, annotated by music genre and indexed by time and decade. We collected a list of popular genres by decade from Wikipedia and scored music genres based on Wikipedia descriptions. Using statistical and machine learning techniques, we find trends in the musical preferences and use time series forecasting to evaluate the prediction of future music genres.


title: Noetherian solvability of an operator singular integral equation with a Carleman shift in fractional spaces

abstract: In this paper, we obtain conditions of Noetherian solvability and the Index formula for a singular integral equation with a Cauchy kernel and a Carleman shift in Besov space, which is embedded into the space of continuous functions on a closed Lyapunov contour, but not into the class of functions satisfying H\"{o}lder condition.


title: Correctness of the definition of the Laplace operator with delta-like potentials

abstract: In this paper, we give a correct definition of the Laplace operator with delta-like potentials. Correctly solvable pointwise perturbation is investigated and formulas of resolvent are described. We study some properties of the resolvent. In particular, we obtain Krein formula for these resolvents.


title: Load balancing under $d$-thinning

abstract: In the classical balls-and-bins model, $m$ balls are allocated into $n$ bins one by one uniformly at random. In this note, we consider the $d$-thinning variant of this model, in which the process is regulated in an on-line fashion as follows. For each ball, after a random bin has been selected, an overseer may decide, based on all previous history, whether to accept this bin or not. However, one of every $d$ consecutive suggested bins must be accepted. The maximum load of this setting is the number of balls in the most loaded bin. We show that after $\Theta(n)$ balls have been allocated, the least maximum load achievable with high probability is $(d+o(1))\sqrt[d]{\frac{d\log n}{\log\log n}}$. This should be compared with the related $d$-choice setting, in which the optimal maximum load achievable with high probability is $\frac{\log\log n}{\log d}+O(1)$.


title: Inelastic light scattering in the spin cluster Mott insulator Cu$_{2}$OSeO$_{3}$

abstract: Clusters of single spins form the relevant spin entities in the formation of long-range magnetic order in spin cluster Mott insulators. Such type of spin order bears resemblance to molecular crystals, and we therefore may expect a prototypical spin wave spectrum which can be divided into low-energy external and high-energy internal cluster spin wave modes. Here, we study high-energy spin cluster excitations in the spin cluster Mott insulator Cu$_{2}$OSeO$_{3}$ by means of spontaneous Raman scattering. Multiple high-energy optical magnon modes are observed, of which the Raman-activity is shown to originate in the Elliot-Loudon scattering mechanism. Upon crossing the long-range ordering transition temperature the magnetic modes significantly broaden, corresponding to scattering from localized spin excitations within the spin clusters. Different optical phonon modes show a strong temperature dependence, evidencing a strong magnetoelectric coupling between optical phonons and the high-energy spin cluster excitations. Our results support the picture that Cu$_{2}$OSeO$_{3}$ can be regarded as a solid-state molecular crystal of spin nature.


title: Spectrum-based stability analysis and stabilization of a class of time-periodic time delay systems

abstract: We develop an eigenvalue-based approach for the stability assessment and stabilization of linear systems with multiple delays and periodic coefficient matrices. Delays and period are assumed commensurate numbers, such that the Floquet multipliers can be characterized as eigenvalues of the monodromy operator and by the solutions of a finite-dimensional non-linear eigenvalue problem, where the evaluation of the characteristic matrix involves solving an initial value problem. We demonstrate that such a dual interpretation can be exploited in a two-stage approach for computing dominant Floquet multipliers, where global approximation is combined with local corrections. Correspondingly, we also propose two novel characterizations of left eigenvectors. Finally, from the nonlinear eigenvalue problem formulation, we derive computationally tractable expressions for derivatives of Floquet multipliers with respect to parameters, which are beneficial in the context of stability optimization. Several numerical examples show the efficacy and applicability of the presented results.


title: Global Planar Convolutions for improved context aggregation in Brain Tumor Segmentation

abstract: In this work, we introduce the Global Planar Convolution module as a building-block for fully-convolutional networks that aggregates global information and, therefore, enhances the context perception capabilities of segmentation networks in the context of brain tumor segmentation. We implement two baseline architectures (3D UNet and a residual version of 3D UNet, ResUNet) and present a novel architecture based on these two architectures, ContextNet, that includes the proposed Global Planar Convolution module. We show that the addition of such module eliminates the need of building networks with several representation levels, which tend to be over-parametrized and to showcase slow rates of convergence. Furthermore, we provide a visual demonstration of the behavior of GPC modules via visualization of intermediate representations. We finally participate in the 2018 edition of the BraTS challenge with our best performing models, that are based on ContextNet, and report the evaluation scores on the validation and the test sets of the challenge.


title: Analysis on MathSciNet database: some preliminary results

abstract: In this paper we initiate some investigations on MathSciNet database. For many mathematicians this website is used on a regular basis, but surprisingly except for the information provided by MathSciNet itself, there exist almost no independent investigations or independent statistics on this database. This current research has been triggered by a rumor: do international collaborations increase the number of citations of an academic work in mathematics? We use MathSciNet for providing some information about this rumor, and more generally pave the way for further investigations on or with MathSciNet. Keywords: MathSciNet, tree-based methods, international collaborations


title: Early Classification for Agricultural Monitoring from Satellite Time Series

abstract: In this work, we introduce a recently developed early classification mechanism to satellite-based agricultural monitoring. It augments existing classification models by an additional stopping probability based on the previously seen information. This mechanism is end-to-end trainable and derives its stopping decision solely from the observed satellite data. We show results on field parcels in central Europe where sufficient ground truth data is available for an empiric evaluation of the results with local phenological information obtained from authorities. We observe that the recurrent neural network outfitted with this early classification mechanism was able to distinguish the many of the crop types before the end of the vegetative period. Further, we associated these stopping times with evaluated ground truth information and saw that the times of classification were related to characteristic events of the observed plants' phenology.


title: Statistical and Computational Trade-Offs in Kernel K-Means

abstract: We investigate the efficiency of k-means in terms of both statistical and computational requirements. More precisely, we study a Nystr\"om approach to kernel k-means. We analyze the statistical properties of the proposed method and show that it achieves the same accuracy of exact kernel k-means with only a fraction of computations. Indeed, we prove under basic assumptions that sampling $\sqrt{n}$ Nystr\"om landmarks allows to greatly reduce computational costs without incurring in any loss of accuracy. To the best of our knowledge this is the first result of this kind for unsupervised learning.


title: Is the Red Square Big? MALeViC: Modeling Adjectives Leveraging Visual Contexts

abstract: This work aims at modeling how the meaning of gradable adjectives of size (`big', `small') can be learned from visually-grounded contexts. Inspired by cognitive and linguistic evidence showing that the use of these expressions relies on setting a threshold that is dependent on a specific context, we investigate the ability of multi-modal models in assessing whether an object is `big' or `small' in a given visual scene. In contrast with the standard computational approach that simplistically treats gradable adjectives as `fixed' attributes, we pose the problem as relational: to be successful, a model has to consider the full visual context. By means of four main tasks, we show that state-of-the-art models (but not a relatively strong baseline) can learn the function subtending the meaning of size adjectives, though their performance is found to decrease while moving from simple to more complex tasks. Crucially, models fail in developing abstract representations of gradable adjectives that can be used compositionally.


title: A Dearth of Small Members in the Haumea Family Revealed by the OSSOS Survey

abstract: While collisional families are common in the asteroid belt, only one is known in the Kuiper belt, linked to the dwarf planet Haumea. The characterization of Haumea's family helps to constrain its origin and, more generally, the collisional history of the Kuiper belt. However, the size distribution of the Haumea family is difficult to constrain from the known sample, which is affected by discovery biases. Here, we use the Outer Solar System Origins Survey (OSSOS) Ensemble to look for Haumea family members. In this OSSOS XVI study we report the detection of three candidates with small ejection velocities relative to the family formation centre. The largest discovery, 2013 UQ15, is conclusively a Haumea family member, with a low ejection velocity and neutral surface colours. Although the OSSOS Ensemble is sensitive to Haumea family members to a limiting absolute magnitude (Hr) of 9.5 (inferred diameter of ~90 km), the smallest candidate is significantly larger, Hr = 7.9. The Haumea family members larger than approximately 20 km in diameter must be characterized by a shallow H-distribution slope in order to produce only these three large detections. This shallow size distribution suggests that the family formed in a graze-and-merge scenario, not a catastrophic collision.


title: Nonlocal and local models for taxis in cell migration: a rigorous limit procedure

abstract: A rigorous limit procedure is presented which links nonlocal models involving adhesion or nonlocal chemotaxis to their local counterparts featuring haptotaxis and classical chemotaxis, respectively. It relies on a novel reformulation of the involved nonlocalities in terms of integral operators applied directly to the gradients of signal-dependent quantities. The proposed approach handles both model types in a unified way and extends the previous mathematical framework to settings that allow for general solution-dependent coefficient functions. The previous forms of nonlocal operators are compared with the new ones introduced in this paper and the advantages of the latter are highlighted by concrete examples. Numerical simulations in 1D provide an illustration of some of the theoretical findings.


title: Angular Momentum Supercontinuum from Fibre Rings

abstract: Broadband, coherent light carrying optical angular momentum is of potential utility for a variety of classical and quantum communication applications, but at present few such sources exist. We study the generation of supercontinua in a ring array of coupled optical fibres. Short pulses carrying discrete angular momentum undergo soliton fission, spontaneously breaking azimuthal symmetry. This results in a train of pulses with a broadband frequency spectrum as well as a non-trivial angular momentum distribution. These spatio-temporal solitary waves, localised around a single fibre core, emit an unusual form of resonant radiation which can be present even in the absence of intrinsic higher order dispersion, being induced by the lattice dispersion of the ring array. We explore how the coupling properties between fibre cores affect the resulting supercontinuum, in particular how mildly twisting the array can effectively manipulate its angular momentum content and resonant frequencies through the induced Peierls phase.


title: Higher dimensional Jordan curves

abstract: We address the question of what is the correct higher dimensional analogue of Jordan curves from the point of view of quantitative rectifiability. More precisely, we show that 'topologically stable' sets can be used as covering objects in Analyst's Travelling Salesman Theorem-type theorems: if $E$ is lower $d$-regular (in a certain suitable sense), then we show that there exists a topologically stable surface $\Gamma$ so that $E \subset \Gamma$ and $$ \mathrm{diam}(E)^d + \beta^d(E) \approx \mathcal{H}^d(\Gamma), $$ where $\beta^d$ is a term quantifying the curvature of $E$. A corollary of the main result of this paper and a construction by Hyde, is a higher dimensional analogue of Peter Jones TST, valid for \textit{any} subset of Euclidean space.


title: A Deep Reinforcement Learning Approach to Multi-component Job Scheduling in Edge Computing

abstract: We are interested in the optimal scheduling of a collection of multi-component application jobs in an edge computing system that consists of geo-distributed edge computing nodes connected through a wide area network. The scheduling and placement of application jobs in an edge system is challenging due to the interdependence of multiple components of each job, and the communication delays between the geographically distributed data sources and edge nodes and their dynamic availability. In this paper we explore the feasibility of applying Deep Reinforcement Learning (DRL) based design to address these challenges. We introduce a DRL actor-critic algorithm that aims to find an optimal scheduling policy to minimize average job slowdown in the edge system. We have demonstrated through simulations that our design outperforms a few existing algorithms, based on both synthetic data and a Google cloud data trace.


title: Relativistic k-fields with Massless Soliton Solutions in 3+1 Dimensions

abstract: In this work, the relativistic non-standard Lagrangian densities (k-fields) with massless solutions are generally introduced. Such solutions are not necessarily energetically stable. However, in 3+1 dimensions, we introduce a new k-field model that results in a single non-topological massless solitary wave solution. This special solution is energetically stable; that is, any arbitrary deformation above its background leads to an increase in the total energy. In other words, its energy is zero which is the least energy in all solutions. Hence, it can be called a massless soliton solution.


title: On the Multiple Descent of Minimum-Norm Interpolants and Restricted Lower Isometry of Kernels

abstract: We study the risk of minimum-norm interpolants of data in Reproducing Kernel Hilbert Spaces. Our upper bounds on the risk are of a multiple-descent shape for the various scalings of $d = n^{\alpha}$, $\alpha\in(0,1)$, for the input dimension $d$ and sample size $n$. Empirical evidence supports our finding that minimum-norm interpolants in RKHS can exhibit this unusual non-monotonicity in sample size; furthermore, locations of the peaks in our experiments match our theoretical predictions. Since gradient flow on appropriately initialized wide neural networks converges to a minimum-norm interpolant with respect to a certain kernel, our analysis also yields novel estimation and generalization guarantees for these over-parametrized models. At the heart of our analysis is a study of spectral properties of the random kernel matrix restricted to a filtration of eigen-spaces of the population covariance operator, and may be of independent interest.


title: Modelagem de um Problema de Dimensionamento de Lotes com Demanda Variavel e Deterministica e Efeitos de Learning e Forgetting

abstract: The main goal of this paper was to analyze the importance that the effects of learning and forgetting might have in a lot-sizing problem. It assumes that the learning curve and the economies of scale are present in several industries yet are, in most cases, not considered when dealing with a lot-sizing problem. The importance of the effects was demonstrated and quantified, showing that there is still space for developments in this field. However, as the problem becomes quadratic, there is a possibility that the current algorithms are not able to solve the problem to optimality. Thus, future improvements in the algorithms may further improve the results. However, the overall results found with current algorithms show that the contribution of a discount from a learning curve can be very considerable, even if it is a minimal amount.


title: Nonlinear anti-directional couplers with gain and loss

abstract: Following the concept of $\mathcal{PT}$-symmetric couplers, we propose a linearly coupled system of nonlinear waveguides, made of positive- and negative-index materials, which carry, respectively, gain and loss. We report novel bi- and multi-stability states pertaining to transmitted and reflective intensities, which are controlled by the ratio of the gain and loss coefficients, and phase mismatch between the waveguides. These states offer transmission regimes with extremely low threshold intensities for transitions between coexisting states, and very large amplification ratio between the input and output intensities leading to an efficient way of controlling light with light.


title: An H$\alpha$ kinematic survey of the $Herschel$ Reference Survey -- I. Fabry-Perot observations with the 1.93m telescope at OHP

abstract: We present new 2D high resolution Fabry-Perot spectroscopic observations of 152 star-forming galaxies which are part of the $Herschel$ Reference Survey (HRS), a complete $K$-band selected, volume-limited sample of nearby galaxies, spanning a wide range in stellar mass and morphological type. Using improved data reduction techniques that provide adaptive binning based on Voronoi tessellation, using large field-of-view observations, we derive high spectral resolution (R$>$10,000) H$\alpha$ datacubes from which we compute H$\alpha$ maps and radial 2D velocity fields that are based on several thousand independent measurements. A robust method based on such fields allows us to accurately compute rotation curves and kinematical parameters, for which uncertainties are calculated using a method based on the power spectrum of the residual velocity fields. We check the consistency of the rotation curves by comparing our maximum rotational velocities to those derived from HI data, and computing the $i$-band, NIR, stellar and baryonic Tully-Fisher relations. We use this set of kinematical data combined to those available at other frequencies to study for the first time the relation between the dynamical and the total baryonic mass (stars, atomic and molecular gas, metals and dust), and derive the baryonic and dynamical main sequence on a representative sample of the local universe.


title: Opers of higher types, Quot-schemes and Frobenius instability loci

abstract: In this paper we continue our study of the Frobenius instability locus in the coarse moduli space of semi-stable vector bundles of rank $r$ and degree $0$ over a smooth projective curve defined over an algebraically closed field of characteristic $p>0$. In a previous paper we identified the "maximal" Frobenius instability strata with opers (more precisely as opers of type $1$ in the terminology of the present paper) and related them to certain Quot-schemes of Frobenius direct images of line bundles. The main aim of this paper is to describe for any integer $q \geq 1$ a conjectural generalization of this correspondence between opers of type $q$ (which we introduce here) and Quot-schemes of Frobenius direct images of vector bundles of rank $q$. We also give a conjectural formula for the dimension of the Frobenius instability locus.


title: Effect of Magnetisation of Bulk Superconductors on Permanent Magnets for Reversible Braking Applications

abstract: Magnetisation of superconductors are often measured under isothermal and uniform magnetic fields. Magnetisation measurements in an unrestricted thermodynamic state and in non uniform magnetic fields naturally emerge from permanent magnets in comparison with size of superconducting bulk are needed for practical applications. A stationary Type II superconductor bulk sample is magnetised (FC and ZFC) at liquid nitrogen temperatures in the presence of a stationary permanent magnet. Magnetic field produced by magnetised superconductor and permanent magnet as a function of distance are measured along a straight line, a supposed path of another moving permanent magnet. A moving magnet is introduced and moved along the same straight line. Force acting on moving magnet as a function of distance are measured due to magnetisation in superconductor and stationary magnet. Both field and force measurements are quasi static. These experimental results combined with simulation results show insight in to the transfer of energy stored in magnetisation to thermal energy and the effect of rate of this energy transfer in AC response of superconductors which are otherwise not possible with isothermal studies. A possible application of reversible braking with bulk superconductors for motors and generators is explored. Future similar measurements with Type I superconductor would provide more insights in to this study.


title: Twisted doubling integrals for classical groups

abstract: We describe the twisted doubling integrals of Cai-Friedberg-Ginzburg-Kaplan in a conceptual way. This also extends the construction to the quaternionic unitary groups. We carry out the unfolding argument uniformly in this article. To do so, we define a family of degenerate Whittaker coefficients that are suitable in this setup and study some of their properties. We also prove certain related global and local results that use the same tools.


title: Spectral asymptotics for a class of integro-differential equations arising in the theory of fractional Gaussian processes

abstract: We study spectral problems for integro-differential equations arising in the theory of Gaussian processes similar to the fractional Brownian motion. We generalize the method of Chigansky--Kleptsyna and obtain the two-term eigenvalue asymptotics for such equations. Application to the small ball probabilities in $L_2$-norm is given.


title: Explainable AI: A Neurally-Inspired Decision Stack Framework

abstract: European Law now requires AI to be explainable in the context of adverse decisions affecting European Union (EU) citizens. At the same time, it is expected that there will be increasing instances of AI failure as it operates on imperfect data. This paper puts forward a neurally-inspired framework called decision stacks that can provide for a way forward in research aimed at developing explainable AI. Leveraging findings from memory systems in biological brains, the decision stack framework operationalizes the definition of explainability and then proposes a test that can potentially reveal how a given AI decision came to its conclusion.


title: A search for cosmological anisotropy using the Lyman alpha forest from SDSS quasar spectra

abstract: The Cosmological Principle, the combined assumptions of cosmological isotropy and homogeneity, underpins the standard model of Big Bang cosmology with which we interpret astronomical observations. A new test of isotropy over the redshift range $2<z<4$ and across large angular scales on the sky is presented. We use the cosmological distribution of neutral hydrogen, as probed by the Ly$\alpha$ forest seen towards distant quasars. The Sloan Digital Sky Survey provides the largest dataset of quasar spectra available to date. We use combined information from Data Releases 12 and 14 to select a sample of 142,661 quasars most suitable for this purpose. The scales covered by the data extend beyond post-inflation causality scales, thus probing initial conditions in the early universe. We identify significant spatially correlated systematic effects that can emulate cosmological anisotropy. Once these systematics have been accounted for, the data are found to be consistent with isotropy, providing an important independent check on the standard model, consistent with results from cosmic microwave background data.


title: Reflection algebras and conservation results for theories of iterated truth

abstract: We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original system of arithmetic. Much stronger systems, however, are obtained by adding either induction axioms or reflection axioms on top of them. Theories of this kind can interpret some well-known predicatively reducible fragments of second-order arithmetic such as iterated arithmetical comprehension. We obtain sharp results on the proof-theoretic strength of these systems using methods of provability logic. Reflection principles naturally define unary operators acting on the semilattice of axiomatizable extensions of our basic theory of iterated truth. The substructure generated by the top element of this algebra provides a canonical ordinal notation system for the class of theories under investigation. Using these notations we obtain conservativity relationships for iterated reflection principles of different logical complexity levels corresponding to the levels of the hyperarithmetical hierarchy, i.e., the analogs of Schmerl's formulas. These relationships, in turn, provide proof-theoretic analysis of our systems and of some related predicatively reducible theories. In particular, we uniformly calculate the ordinals characterizing the standard measures of their proof-theoretic strength, such as provable well-orderings, classes of provably recursive functions, and $\Pi_1^0$-ordinals.


title: Gravitational phase transitions and instabilities of self-gravitating fermions in general relativity

abstract: We discuss the occurrence of gravitational phase transitions and instabilities in a gas of self-gravitating fermions within the framework of general relativity. In the classical (nondegenerate) limit, the system undergoes a gravitational collapse at low energies $E<E_c$ and low temperatures $T<T_c$. This is called "gravothermal catastrophe" in the microcanonical ensemble and "isothermal collapse" in the canonical ensemble. When quantum mechanics is taken into account and when the particle number is below the Oppenheimer-Volkoff limit ($N<N_{\rm OV}$), complete gravitational collapse is prevented by the Pauli exclusion principle. In that case, the Fermi gas undergoes a gravitational phase transition from a gaseous phase to a condensed phase. The condensed phase represents a compact object like a white dwarf, a neutron star, or a dark matter fermion ball. When $N>N_{\rm OV}$, there can be a subsequent gravitational collapse below a lower critical energy $E<E''_c$ or a lower critical temperature $T<T'_c$ leading presumably to the formation of a black hole. The evolution of the system is different in the microcanonical and canonical ensembles. In the microcanonical ensemble, the system takes a "core-halo" structure. The core consists in a compact quantum object or a black hole while the hot halo is expelled at large distances. This is reminiscent of the red giant structure of low-mass stars or the implosion-explosion of massive stars (supernova). In the canonical ensemble, the system collapses as a whole towards a compact object or a black hole. This is reminiscent of the implosion of supermassive stars (hypernova).


title: Generalized collision-free velocity model for pedestrian dynamics

abstract: The collision-free velocity model is a microscopic pedestrian model, which despite its simplicity, reproduces fairly well several self-organization phenomena in pedestrian dynamics. The model consists of two components: a direction sub-model that combines individual desired moving direction and neighbor's influence to imitate the process of navigating in a two-dimensional space, and an intrinsically collision-free speed sub-model which controls the speed of the agents with respect to the distance to their neighbors. In this paper we generalize the collision-free velocity model by introducing the influence of walls and extending the distance calculations to velocity-based ellipses. Besides, we introduce enhancements to the direction sub-module that smooth the direction changes of pedestrians in the simulation; a shortcoming that was not visible in the original model due to the symmetry of the circular shapes. Moreover, the introduced improvements mitigate backward movements, leading to a more realistic distribution of pedestrians especially in bottleneck scenarios. We study by simulation the effects of the pedestrian's shape by comparing the fundamental diagram in narrow and wide corridors. Furthermore, we validate our generalized approach by investigating the flow through bottlenecks with varying exit's widths.


title: Seven years of Tunka-Rex operation

abstract: The Tunka Radio Extension (Tunka-Rex) is a digital antenna array located in the Tunka Valley in Siberia, which measures the radio emission of cosmic-ray air-showers with energies up to EeV. Tunka-Rex is externally triggered by the Tunka-133 air-Cherenkov timing array (during nights) and by the Tunka-Grande array of particle detectors (remaining time). These three arrays comprise the cosmic-ray extension of the Tunka Advanced Instrument for cosmic rays and Gamma Astronomy (TAIGA). The configuration and analysis pipeline of Tunka-Rex have significantly changed over its runtime. Density of the antennas was tripled and the pipeline has become more developed forming now sophisticated piece of reconstruction software. During its lifecycle Tunka-Rex has demonstrated that a cost-effective and full duty-cycle radio detector can reconstruct the energy and shower maximum with a precision comparable to optical detectors. Moreover, it was shown that cosmic-ray instruments, that use different detection techniques and are placed in different locations, can be cross-calibrated via their radio extensions. These results show the prospects of application of the radio technique for future large-scale experiments for cosmic-ray and neutrino detection. For the time being Tunka-Rex has ceased active measurements and focuses on the data analysis and publication of corresponding software and data in an open-access data center with online analysis features. In this report we present the current status of the array and give an overview of the results achieved during these years as well as discuss upcoming improvements in instrumentation and data analysis, which can be applied for the future radio arrays.


title: Extremal Correlators and Random Matrix Theory

abstract: We study the correlation functions of Coulomb branch operators of four-dimensional $\mathcal{N} = 2$ Superconformal Field Theories (SCFTs). We focus on rank-one theories, such as the SU(2) gauge theory with four fundamental hypermultiplets. "Extremal" correlation functions, involving exactly one anti-chiral operator, are perhaps the simplest nontrivial correlation functions in four-dimensional Quantum Field Theory. We show that the large charge limit of extremal correlators is captured by a "dual" description which is a chiral random matrix model of the Wishart-Laguerre type. This gives an analytic handle on the physics in some particular excited states. In the limit of large random matrices we find the physics of a non-relativistic axion-dilaton effective theory. The random matrix model also admits a 't Hooft expansion in which the matrix is taken to be large and simultaneously the coupling is taken to zero. This explains why the extremal correlators of SU(2) gauge theory obey a nontrivial double scaling limit in states of large charge. We give an exact solution for the first two orders in the 't Hooft expansion of the random matrix model and compare with expectations from effective field theory, previous weak coupling results, and we analyze the non-perturbative terms in the strong 't Hooft coupling limit. Finally, we apply the random matrix theory techniques to study extremal correlators in rank-1 Argyres-Douglas theories. We compare our results with effective field theory and with some available numerical bootstrap bounds.


title: Physiological and Affective Computing through Thermal Imaging: A Survey

abstract: Thermal imaging-based physiological and affective computing is an emerging research area enabling technologies to monitor our bodily functions and understand psychological and affective needs in a contactless manner. However, up to recently, research has been mainly carried out in very controlled lab settings. As small size and even low-cost versions of thermal video cameras have started to appear on the market, mobile thermal imaging is opening its door to ubiquitous and real-world applications. Here we review the literature on the use of thermal imaging to track changes in physiological cues relevant to affective computing and the technological requirements set so far. In doing so, we aim to establish computational and methodological pipelines from thermal images of the human skin to affective states and outline the research opportunities and challenges to be tackled to make ubiquitous real-life thermal imaging-based affect monitoring a possibility.


title: Heavy Black Hole Effective Theory

abstract: We formulate an effective field theory describing large mass scalars and fermions minimally coupled to gravity. The operators of this effective field theory are organized in powers of the transfer momentum divided by the mass of the matter field, an expansion which lends itself to the efficient extraction of classical contributions from loop amplitudes in both the post-Newtonian and post-Minkowskian regimes. We use this effective field theory to calculate the classical and leading quantum gravitational scattering amplitude of two heavy spin-1/2 particles at the second post-Minkowskian order.


title: One- and Two-point Source Statistics from the LOFAR Two-metre Sky Survey First Data Release

abstract: The LOFAR Two-metre Sky Survey (LoTSS) will map the complete Northern sky and provide an excellent opportunity to study the distribution and evolution of the large-scale structure of the Universe. We study the completeness of the LoTSS first data release (DR1) and find a point-source completeness of 99 % above flux densities of 0.8 mJy and define a suite of quality cuts. We determine the count-in-cell statistics and differential source counts statistic and measure the angular two-point correlation function of the LoTSS radio sources. The counts-in-cell statistic reveals that the distribution of radio sources cannot be described by a spatial Poisson process. Instead, a good fit is provided by a compound Poisson distribution. The differential source counts are in good agreement with previous findings in deep fields at low radio frequencies and with simulated catalogues from the SKA design study sky and the Tiered Radio Extragalactic Continuum Simulation. The angular two-point correlation is $<10^{-2}$ at angular scales $> 1$ deg. Restricting the value added source catalogue to low-noise regions and a flux density threshold of 2 mJy provides our most reliable estimate of the angular two-point correlation. For smaller flux density thresholds systematic issues are identified, most likely related to the flux density calibration of the individual pointings. Based on the distribution of photometric redshifts of LoTSS sources and the Planck 2018 best-fit cosmological model, the theoretically predicted angular two-point correlation between 0.1 deg and 6 deg agrees with the measured clustering for a subsample of radio sources with redshift information. We find agreement with the expectation of large-scale statistical isotropy of the radio sky at the per cent level. The angular two-point correlation agrees well with the expectation of the cosmological standard model. (abbreviated)


title: A Framework for Model Search Across Multiple Machine Learning Implementations

abstract: Several recently devised machine learning (ML) algorithms have shown improved accuracy for various predictive problems. Model searches, which explore to find an optimal ML algorithm and hyperparameter values for the target problem, play a critical role in such improvements. During a model search, data scientists typically use multiple ML implementations to construct several predictive models; however, it takes significant time and effort to employ multiple ML implementations due to the need to learn how to use them, prepare input data in several different formats, and compare their outputs. Our proposed framework addresses these issues by providing simple and unified coding method. It has been designed with the following two attractive features: i) new machine learning implementations can be added easily via common interfaces between the framework and ML implementations and ii) it can be scaled to handle large model configuration search spaces via profile-based scheduling. The results of our evaluation indicate that, with our framework, implementers need only write 55-144 lines of code to add a new ML implementation. They also show that ours was the fastest framework for the HIGGS dataset, and the second-fastest for the SECOM dataset.


title: Renormalization-group evolution of the fermion mass matrices

abstract: The one-loop renormalization-group equations (RGEs) running behavior of quark and lepton mass matrices with general structures are studied simultaneously. Suppose the non-linear terms of RGEs are dominated by the Yukawa couplings of top quark and {\tau} lepton, the unitary matrices that diagonalize the mass matrices of up-type quark and charged lepton in Hermitian basis are found as invariant with energy scale. Based on this result, we can decouple the RGEs and obtain the RGE corrected mass matrices of fermion. As examples, we consider the renormalization-group evolution of fermion matrices with four or five texture zeros and of lepton mass matrices which realize the tribimaximal mixing.


title: Physics Informed Data Driven model for Flood Prediction: Application of Deep Learning in prediction of urban flood development

abstract: Flash floods in urban areas occur with increasing frequency. Detecting these floods would greatlyhelp alleviate human and economic losses. However, current flood prediction methods are eithertoo slow or too simplified to capture the flood development in details. Using Deep Neural Networks,this work aims at boosting the computational speed of a physics-based 2-D urban flood predictionmethod, governed by the Shallow Water Equation (SWE). Convolutional Neural Networks(CNN)and conditional Generative Adversarial Neural Networks(cGANs) are applied to extract the dy-namics of flood from the data simulated by a Partial Differential Equation(PDE) solver. Theperformance of the data-driven model is evaluated in terms of Mean Squared Error(MSE) andPeak Signal to Noise Ratio(PSNR). The deep learning-based, data-driven flood prediction modelis shown to be able to provide precise real-time predictions of flood development


title: Game-theoretic modeling of curtailment rules and network investments with distributed generation

abstract: Renewable energy has achieved high penetration rates in many areas, leading to curtailment, especially if existing network infrastructure is insufficient and energy generated cannot be exported. In this context, Distribution Network Operators (DNOs) face a significant knowledge gap about how to implement curtailment rules that achieve desired operational objectives, but at the same time minimise disruption and economic losses for renewable generators. In this work, we study the properties of several curtailment rules widely used in UK renewable energy projects, and their effect on the viability of renewable generation investment. Moreover, we propose a new curtailment rule which guarantees fair allocation of curtailment amongst all generators with minimal disruption. Another key knowledge gap faced by DNOs is how to incentivise private network upgrades, especially in settings where several generators can use the same line against the payment of a transmission fee. In this work, we provide a solution to this problem by using tools from algorithmic game theory. Specifically, this setting can be modelled as a Stackelberg game between the private transmission line investor and local renewable generators, who are required to pay a transmission fee to access the line. We provide a method for computing the empirical equilibrium of this game, using a model that captures the stochastic nature of renewable energy generation and demand. Finally, we use the practical setting of a grid reinforcement project from the UK and a large dataset of wind speed measurements and demand to validate our model. We show that charging a transmission fee as a proportion of the feed-in tariff price between 15%-75% would allow both investors to implement their projects and achieve desirable distribution of the profit.


title: Engineering Schr\"odinger cat states with a photonic even-parity detector

abstract: When two equal photon-number states are combined on a balanced beam splitter, both output ports of the beam splitter contain only even numbers of photons. Consider the time-reversal of this interference phenomenon: the probability that a pair of photon-number-resolving detectors at the output ports of a beam splitter both detect the same number of photons depends on the overlap between the input state of the beam splitter and a state containing only even photon numbers. Here, we propose using this even-parity detection to engineer quantum states containing only even photon-number terms. As an example, we demonstrate the ability to prepare superpositions of two coherent states with opposite amplitudes, i.e. two-component Schr\"odinger cat states. Our scheme can prepare cat states of arbitrary size with nearly perfect fidelity. Moreover, we investigate engineering more complex even-parity states such as four-component cat states by iteratively applying our even-parity detector.


title: Boundary Defense against Cyber Threat for Power System Operation

abstract: The operation of power grids is becoming increasingly data-centric. While the abundance of data could improve the efficiency of the system, it poses major reliability challenges. In particular, state estimation aims to learn the behavior of the network from data but an undetected attack on this problem could lead to a large-scale blackout. Nevertheless, understanding vulnerability of state estimation against cyber attacks has been hindered by the lack of tools studying the topological and data-analytic aspects of the network. Algorithmic robustness is of critical need to extract reliable information from abundant but untrusted grid data. We propose a robust state estimation framework that leverages network sparsity and data abundance. For a large-scale power grid, we quantify, analyze, and visualize the regions of the network prone to cyber attacks. We also propose an optimization-based graphical boundary defense mechanism to identify the border of the geographical area whose data has been manipulated. The proposed method does not allow a local attack to have a global effect on the data analysis of the entire network, which enhances the situational awareness of the grid especially in the face of adversity. The developed mathematical framework reveals key geometric and algebraic factors that can affect algorithmic robustness and is used to study the vulnerability of the U.S. power grid in this paper.


title: Caloric curves of classical self-gravitating systems in general relativity

abstract: We determine the caloric curves of classical self-gravitating systems at statistical equilibrium in general relativity. In the classical limit, the caloric curves of a self-gravitating gas depend on a unique parameter $\nu=GNm/Rc^2$, called the compactness parameter, where $N$ is the particle number and $R$ the system's size. Typically, the caloric curves have the form of a double spiral. The "cold spiral", corresponding to weakly relativistic configurations, is a generalization of the caloric curve of nonrelativistic classical self-gravitating systems. The "hot spiral'", corresponding to strongly relativistic configurations, is similar (but not identical) to the caloric curve of the ultrarelativistic self-gravitating black-body radiation. We introduce two types of normalization of energy and temperature in order to obtain asymptotic caloric curves describing respectively the cold and the hot spirals in the limit $\nu\rightarrow 0$. As the number of particles increases, the cold and the hot spirals approach each other, merge at $\nu'_S=0.128$, form a loop above $\nu_S=0.1415$, reduce to a point at $\nu_{\rm max}=0.1764$, and finally disappear. Therefore, the double spiral shrinks when the compactness parameter $\nu$ increases, implying that general relativistic effects render the system more unstable. We discuss the nature of the gravitational collapse at low and high energies with respect to a dynamical (fast) or a thermodynamical (slow) instability.


title: Waist theorems for Tonelli systems in higher dimensions

abstract: We study the periodic orbits problem on energy levels of Tonelli Lagrangian systems over configuration spaces of arbitrary dimension. We show that, when the fundamental group is finite and the Lagrangian has no stationary orbit at the Ma\~n\'e critical energy level, there is a waist on every energy level just above the Ma\~n\'e critical value. With a suitable perturbation with a potential, we show that there are infinitely many periodic orbits on every energy level just above the Ma\~n\'e critical value, and on almost every energy level just below. Finally, we prove the Tonelli analogue of a closed geodesics result due to Ballmann-Thorbergsson-Ziller.


title: Pb-doped p-type Bi$_2$Se$_3$ thin films via interfacial engineering

abstract: Due to high density of native defects, the prototypical topological insulator (TI), Bi$_2$Se$_3$, is naturally n-type. Although Bi$_2$Se$_3$ can be converted into p-type by substituting 2+ ions for Bi, only light elements such as Ca have been so far effective as the compensation dopant. Considering that strong spin-orbit coupling (SOC) is essential for the topological surface states, a light element is undesirable as a dopant, because it weakens the strength of SOC. In this sense, Pb, which is the heaviest 2+ ion, located right next to Bi in the periodic table, is the most ideal p-type dopant for Bi$_2$Se$_3$. However, Pb-doping has so far failed to achieve p-type Bi$_2$Se$_3$ not only in thin films but also in bulk crystals. Here, by utilizing an interface engineering scheme, we have achieved the first Pb-doped p-type Bi$_2$Se$_3$ thin films. Furthermore, at heavy Pb-doping, the mobility turns out to be substantially higher than that of Ca-doped samples, indicating that Pb is a less disruptive dopant than Ca. With this SOC-preserving counter-doping scheme, it is now possible to fabricate Bi$_2$Se$_3$ samples with tunable Fermi levels without compromising their topological properties.


title: Carbon, oxygen, and iron abundances in disk and halo stars. Implications of 3D non-LTE spectral line formation

abstract: The abundances of carbon, oxygen, and iron in late-type stars are important parameters in exoplanetary and stellar physics, as well as key tracers of stellar populations and Galactic chemical evolution. We carried out three-dimensional (3D) non-LTE radiative transfer calculations for CI and OI, and 3D LTE radiative transfer calculations for FeII, across the STAGGER-grid of 3D hydrodynamic model atmospheres. The absolute 3D non-LTE versus 1D LTE abundance corrections can be as severe as $-0.3$ dex for CI lines in low-metallicity F dwarfs, and $-0.6$ dex for OI lines in high-metallicity F dwarfs. The 3D LTE versus 1D LTE abundance corrections for FeII lines are less severe, typically less than $+0.15$ dex. We used the corrections in a re-analysis of carbon, oxygen, and iron in $187$ F and G dwarfs in the Galactic disk and halo. Applying the differential 3D non-LTE corrections to 1D LTE abundances visibly reduces the scatter in the abundance plots. The thick disk and high-$\alpha$ halo population rise in carbon and oxygen with decreasing metallicity, and reach a maximum of [C/Fe]$\approx0.2$ and a plateau of [O/Fe]$\approx0.6$ at [Fe/H]$\approx-1.0$. The low-$\alpha$ halo population is qualitatively similar, albeit offset towards lower metallicities and with larger scatter. Nevertheless, these populations overlap in the [C/O] versus [O/H] plane, decreasing to a plateau of [C/O]$\approx-0.6$ below [O/H]$\approx-1.0$. In the thin-disk, stars having confirmed planet detections tend to have higher values of C/O at given [O/H]; this potential signature of planet formation is only apparent after applying the abundance corrections to the 1D LTE results. Our grids of line-by-line abundance corrections are publicly available and can be readily used to improve the accuracy of spectroscopic analyses of late-type stars.


title: Authenticated Hand-Over Algorithm for Group Communication

abstract: Shamir or Blakley secret sharing schemes are used for the authentication process in the studies before, but still secure group authentication and hand-over process remain as challenges in group authentication approaches. In this study, a novel method is proposed to provide a secure group authentication. The proposed approach also enables a hand-over process between groups by using Lagrange's polynomial interpolation and Weil pairing in elliptic curve groups for wireless networks with mobility support. One of the advantages of our proposed scheme is that the computational load for a member in the group is lower than the other schemes in the state-of-the-art. It is also possible to authorize many users at the same time, not one-to-one as in the group authentication methods in current cellular networks including Long Term Evolution (LTE). Another advantage that is not covered in other secret sharing methods is that the proposed approach constitutes a practical solution for the hand-over of members between different groups. We have also proposed a solution for replay and man-in-the-middle attacks in secret exchange.


title: Authentication and Hand-Over Algorithms for IoT Group

abstract: Current advancements in mobility of devices and also Internet of Things (IoT) have replaced the central networks by distributed infrastructure. The more a network is distributed, the more the security of infrastructure and the communication is getting complex. The members in a distributed network create different groups according to their coverage area or their requirements. Mobility nature of the members brings a problem called hand-over of members between groups. Current authentication methods are not applicable due to the lack of resources in the devices.A lightweight authentication method and an easy and fast hand-over process are the current need for the distributed networks. Shamir Secret Sharing algorithm is used for the authentication process in the studies before, but still secure group authentication algorithm and hand-over process are challenges in the group authentication. In this study, a new method is proposed to provide a secure group authentication and hand-over process between groups based on Lagrange's Interpolation.


title: Bridging the Gap for Tokenizer-Free Language Models

abstract: Purely character-based language models (LMs) have been lagging in quality on large scale datasets, and current state-of-the-art LMs rely on word tokenization. It has been assumed that injecting the prior knowledge of a tokenizer into the model is essential to achieving competitive results. In this paper, we show that contrary to this conventional wisdom, tokenizer-free LMs with sufficient capacity can achieve competitive performance on a large scale dataset. We train a vanilla transformer network with 40 self-attention layers on the One Billion Word (lm1b) benchmark and achieve a new state of the art for tokenizer-free LMs, pushing these models to be on par with their word-based counterparts.


title: Neutral pion mass in the linear sigma model coupled to quarks at arbitrary magnetic field

abstract: We calculate the neutral pion mass in the presence of an external magnetic field of arbitrary strength in the framework of the linear sigma model coupled to quarks at zero temperature. We find nonmonotonic behavior of the pion mass as a function of magnetic field. We are also able to reproduce existing results for the weak-field approximation.


title: On the Minimax Optimality of Estimating the Wasserstein Metric

abstract: We study the minimax optimal rate for estimating the Wasserstein-$1$ metric between two unknown probability measures based on $n$ i.i.d. empirical samples from them. We show that estimating the Wasserstein metric itself between probability measures, is not significantly easier than estimating the probability measures under the Wasserstein metric. We prove that the minimax optimal rates for these two problems are multiplicatively equivalent, up to a $\log \log (n)/\log (n)$ factor.


title: Geometric Theory of Weyl Structures

abstract: Given a parabolic geometry on a smooth manifold $M$, we study a natural affine bundle $A \to M$, whose smooth sections can be identified with Weyl structures for the geometry. We show that the initial parabolic geometry defines a reductive Cartan geometry on $A$, which induces an almost bi-Lagrangian structure on $A$ and a compatible linear connection on $TA$. We prove that the split-signature metric given by the almost bi-Lagrangian structure is Einstein with non-zero scalar curvature, provided the parabolic geometry is torsion-free and $|1|$-graded. We proceed to study Weyl structures via the submanifold geometry of the image of the corresponding section in $A$. For Weyl structures satisfying appropriate non-degeneracy conditions, we derive a universal formula for the second fundamental form of this image. We also show that for locally flat projective structures, this has close relations to solutions of a projectively invariant Monge-Ampere equation and thus to properly convex projective structures.


title: Temporal and Spatial Evolutions of a Large Sunspot Group and Great Auroral Storms around the Carrington Event in 1859

abstract: The Carrington event is considered to be one of the most extreme space weather events in observational history within a series of magnetic storms caused by extreme interplanetary coronal mass ejections (ICMEs) from a large and complex active region (AR) emerged on the solar disk. In this article, we study the temporal and spatial evolutions of the source sunspot active region and visual aurorae, and compare this storm with other extreme space weather events on the basis of their spatial evolution. Sunspot drawings by Schwabe, Secchi, and Carrington describe the position and morphology of the source AR at that time. Visual auroral reports from the Russian Empire, Iberia, Ireland, Oceania, and Japan fill the spatial gap of auroral visibility and revise the time series of auroral visibility in mid to low magnetic latitudes (MLATs). The reconstructed time series is compared with magnetic measurements and shows the correspondence between low to mid latitude aurorae and the phase of magnetic storms. The spatial evolution of the auroral oval is compared with those of other extreme space weather events in 1872, 1909, 1921, and 1989 as well as their storm intensity, and contextualizes the Carrington event, as one of the most extreme space weather events, but likely not unique.


title: Representations of infinite tree-sets

abstract: Tree sets are abstract structures that can be used to model various tree-shaped objects in combinatorics. Finite tree sets can be represented by finite graph-theoretical trees. We extend this representation theory to infinite tree sets. First we characterise those tree sets that can be represented by tree sets arising from infinite trees; these are precisely those tree sets without a chain of order type ${\omega+1}$. Then we introduce and study a topological generalisation of infinite trees which can have limit edges, and show that every infinite tree set can be represented by the tree set admitted by a suitable such tree-like space.


title: Movie Plot Analysis via Turning Point Identification

abstract: According to screenwriting theory, turning points (e.g., change of plans, major setback, climax) are crucial narrative moments within a screenplay: they define the plot structure, determine its progression and segment the screenplay into thematic units (e.g., setup, complications, aftermath). We propose the task of turning point identification in movies as a means of analyzing their narrative structure. We argue that turning points and the segmentation they provide can facilitate processing long, complex narratives, such as screenplays, for summarization and question answering. We introduce a dataset consisting of screenplays and plot synopses annotated with turning points and present an end-to-end neural network model that identifies turning points in plot synopses and projects them onto scenes in screenplays. Our model outperforms strong baselines based on state-of-the-art sentence representations and the expected position of turning points.