title: Torsion pairs and Ringel duality for Schur algebras

abstract: Let $A$ be a finite-dimensional algebra over a field of characteristic $p>0$. We use a functorial approach involving torsion pairs to construct embeddings of endomorphism algebras of basic projective $A$--modules $P$ into those of the torsion submodules of $P$. As an application, we show that blocks of both the classical and quantum Schur algebras $S(2,r)$ and $S_q(2,r)$ are Morita equivalent as quasi-hereditary algebras to their Ringel duals if they contain $2p^k$ simple modules for some $k$.


title: Mid-infrared frequency comb with 25 pJ threshold via CW-seeded optical parametric generation in nonlinear waveguide

abstract: We demonstrate efficient generation of mid-infrared frequency combs based on continuous-wave-seeded femtosecond optical parametric generation in nonlinear waveguides. Conversion of the near-infrared pump to signal and idler light takes place with very high efficiency (74 %) and the threshold (25 pJ) is over 300 times lower than in bulk analogs. Relative intensity noise of the mid-infrared comb is exceptionally low, below 5*10-5 (detector-limited, integrated from 10 Hz to 2 MHz). Furthermore, the mid-infrared bandwidth can be increased by driving the process with broadband pump obtained via supercontinuum generation.


title: The Value of Operational Coordination for EV Fleet Aggregators

abstract: The integration of energy systems such as electricity and gas grids and power and thermal grids can bring significant benefits in terms of system security, reliability, and reduced emissions. Another alternative coupling of sectors with large potential benefits is the power and transportation networks. This is primarily due to the increasing use of electric vehicles (EV) and their demand on the power grid. Besides, the production and operating costs of EVs and battery technologies are steadily decreasing, while tax credits for EV purchase and usage are being offered to users in developed countries. The power grid is also undergoing major upgrades and changes with the aim of ensuring environmentally sustainable grids. These factors influence our work. We present a new operating model for an integrated EV-grid system that incorporates a set of aggregators (owning a fleet of EVs) with partial access to the distribution grid. Then, the Cooperative Game Theory is used to model the behavior of the system. The Core is used to describe the stability of the interaction between these aggregators, and the Shapley value is used to assign costs to them. The results obtained show the benefit of cooperation, which could lead to an overall reduction in energy consumption, reduced operating costs for electric vehicles and the distribution grid, and, in some cases, the additional monetary budget available to reinforce the transmission and grid infrastructures.


title: Stay Together: A System for Single and Split-antecedent Anaphora Resolution

abstract: The state-of-the-art on basic, single-antecedent anaphora has greatly improved in recent years. Researchers have therefore started to pay more attention to more complex cases of anaphora such as split-antecedent anaphora, as in Time-Warner is considering a legal challenge to Telecommunications Inc's plan to buy half of Showtime Networks Inc-a move that could lead to all-out war between the two powerful companies. Split-antecedent anaphora is rarer and more complex to resolve than single-antecedent anaphora; as a result, it is not annotated in many datasets designed to test coreference, and previous work on resolving this type of anaphora was carried out in unrealistic conditions that assume gold mentions and/or gold split-antecedent anaphors are available. These systems also focus on split-antecedent anaphors only. In this work, we introduce a system that resolves both single and split-antecedent anaphors, and evaluate it in a more realistic setting that uses predicted mentions. We also start addressing the question of how to evaluate single and split-antecedent anaphors together using standard coreference evaluation metrics.


title: Combining exogenous and endogenous signals with a semi-supervised co-attention network for early detection of COVID-19 fake tweets

abstract: Fake tweets are observed to be ever-increasing, demanding immediate countermeasures to combat their spread. During COVID-19, tweets with misinformation should be flagged and neutralized in their early stages to mitigate the damages. Most of the existing methods for early detection of fake news assume to have enough propagation information for large labeled tweets -- which may not be an ideal setting for cases like COVID-19 where both aspects are largely absent. In this work, we present ENDEMIC, a novel early detection model which leverages exogenous and endogenous signals related to tweets, while learning on limited labeled data. We first develop a novel dataset, called CTF for early COVID-19 Twitter fake news, with additional behavioral test sets to validate early detection. We build a heterogeneous graph with follower-followee, user-tweet, and tweet-retweet connections and train a graph embedding model to aggregate propagation information. Graph embeddings and contextual features constitute endogenous, while time-relative web-scraped information constitutes exogenous signals. ENDEMIC is trained in a semi-supervised fashion, overcoming the challenge of limited labeled data. We propose a co-attention mechanism to fuse signal representations optimally. Experimental results on ECTF, PolitiFact, and GossipCop show that ENDEMIC is highly reliable in detecting early fake tweets, outperforming nine state-of-the-art methods significantly.


title: Feedback Vertex Set on Hamiltonian Graphs

abstract: We study the computational complexity of Feedback Vertex Set on subclasses of Hamiltonian graphs. In particular, we consider Hamiltonian graphs that are regular or are planar and regular. Moreover, we study the less known class of $p$-Hamiltonian-ordered graphs, which are graphs that admit for any $p$-tuple of vertices a Hamiltonian cycle visiting them in the order given by the tuple. We prove that Feedback Vertex Set remains NP-hard in these restricted cases, even if a Hamiltonian cycle is additionally given as part of the input.


title: Characterization of Decomposition of Matrix Multiplication Tensors

abstract: In this paper, the canonical polyadic (CP) decomposition of tensors that corresponds to matrix multiplications is studied. Finding the rank of these tensors and computing the decompositions is a fundamental problem of algebraic complexity theory. In this paper, we characterize existing decompositions (found by any algorithm) by certain vectors called signature, and transform them in another decomposition which can be more suitable in practical algorithms. In particular, we present a novel decomposition of the tensor multiplication of matrices of the size 3x3 with 3x6 with rank 40.


title: Exploring the Attack Surface of WebSocket

abstract: Over the years, with the advancement of technology, Web technology has many improvements. In the early days, the web was one-way communication, and only the customer was able to see the content of the site and could not enter information. However, day by day, the web made significant progress, and technologies such as HTTP, ajax, WebSocket introduced that make pages dynamic and Give us both sides. In short, it is a new type of communications protocol, which was faster and more efficient than previous communication protocols. After the web socket's unveiling, like any other technology, Its security has been discussed, and technology's security has always been a challenge for us. Therefore, in this article, we examine the structure and security problems that can occur in a web socket to choose an excellent alternative to HTTP and use it.


title: Multi-level reversible encryption for ECG signals using compressive sensing

abstract: Privacy concerns in healthcare have gained interest recently via GDPR, with a rising need for privacy-preserving data collection methods that keep personal information hidden in otherwise usable data. Sometimes data needs to be encrypted for several authentication levels, where a semi-authorized user gains access to data stripped of personal or sensitive information, while a fully-authorized user can recover the full signal. In this paper, we propose a compressive sensing based multi-level encryption to ECG signals to mask possible heartbeat anomalies from semi-authorized users, while preserving the beat structure for heart rate monitoring. Masking is performed both in time and frequency domains. Masking effectiveness is validated using 1D convolutional neural networks for heartbeat anomaly classification, while masked signal usefulness is validated comparing heartbeat detection accuracy between masked and recovered signals. The proposed multi-level encryption method can decrease classification accuracy of heartbeat anomalies by up to 50%, while maintaining a fairly high R-peak detection accuracy.


title: Unsupervised foreign object detection based on dual-energy absorptiometry in the food industry

abstract: X-ray imaging is a widely used technique for non-destructive inspection of agricultural food products. One application of X-ray imaging is the autonomous, in-line detection of foreign objects in food samples. Examples of such inclusions are bone fragments in meat products, plastic and metal debris in fish, fruit infestations. This article presents a processing methodology for unsupervised foreign object detection based on dual-energy X-ray absorptiometry (DEXA). A foreign object is defined as a fragment of material with different X-ray attenuation properties than those belonging to the food product. A novel thickness correction model is introduced as a pre-processing technique for DEXA data. The aim of the model is to homogenize regions in the image that belong to the food product and enhance contrast where the foreign object is present. In this way, the segmentation of the foreign object is more robust to noise and lack of contrast. The proposed methodology was applied to a dataset of 488 samples of meat products. The samples were acquired from a conveyor belt in a food processing factory. Approximately 60\% of the samples contain foreign objects of different types and sizes, while the rest of the samples are void of foreign objects. The results show that samples without foreign objects are correctly identified in 97% of cases, the overall accuracy of foreign object detection reaches 95%.


title: MinkLoc++: Lidar and Monocular Image Fusion for Place Recognition

abstract: We introduce a discriminative multimodal descriptor based on a pair of sensor readings: a point cloud from a LiDAR and an image from an RGB camera. Our descriptor, named MinkLoc++, can be used for place recognition, re-localization and loop closure purposes in robotics or autonomous vehicles applications. We use late fusion approach, where each modality is processed separately and fused in the final part of the processing pipeline. The proposed method achieves state-of-the-art performance on standard place recognition benchmarks. We also identify dominating modality problem when training a multimodal descriptor. The problem manifests itself when the network focuses on a modality with a larger overfit to the training data. This drives the loss down during the training but leads to suboptimal performance on the evaluation set. In this work we describe how to detect and mitigate such risk when using a deep metric learning approach to train a multimodal neural network. Our code is publicly available on the project website: https://github.com/jac99/MinkLocMultimodal.


title: RPSRNet: End-to-End Trainable Rigid Point Set Registration Network using Barnes-Hut $2^D$-Tree Representation

abstract: We propose RPSRNet - a novel end-to-end trainable deep neural network for rigid point set registration. For this task, we use a novel $2^D$-tree representation for the input point sets and a hierarchical deep feature embedding in the neural network. An iterative transformation refinement module in our network boosts the feature matching accuracy in the intermediate stages. We achieve an inference speed of 12-15ms to register a pair of input point clouds as large as 250K. Extensive evaluation on (i) KITTI LiDAR odometry and (ii) ModelNet-40 datasets shows that our method outperforms prior state-of-the-art methods - e.g., on the KITTI data set, DCP-v2 by1.3 and 1.5 times, and PointNetLK by 1.8 and 1.9 times better rotational and translational accuracy respectively. Evaluation on ModelNet40 shows that RPSRNet is more robust than other benchmark methods when the samples contain a significant amount of noise and other disturbances. RPSRNet accurately registers point clouds with non-uniform sampling densities, e.g., LiDAR data, which cannot be processed by many existing deep-learning-based registration methods.


title: ST-SVD Factorization and s-Diagonal Tensors

abstract: A third order real tensor is mapped to a special f-diagonal tensor by going through Discrete Fourier Transform (DFT), standard matrix SVD and inverse DFT. We call such an f-diagonal tensor an s-diagonal tensor. An f-diagonal tensor is an s-diagonal tensor if and only if it is mapped to itself in the above process. The third order tensor space is partitioned to orthogonal equivalence classes. Each orthogonal equivalence class has a unique s-diagonal tensor. Two s-diagonal tensors are equal if they are orthogonally equivalent. Third order tensors in an orthogonal equivalence class have the same tensor tubal rank and T-singular values. Four meaningful necessary conditions for s-diagonal tensors are presented. Then we present a set of sufficient and necessary conditions for s-diagonal tensors. Such conditions involve a special complex number. In the cases that the dimension of the third mode of the considered tensor is $2, 3$ and $4$, we present direct sufficient and necessary conditions which do not involve such a complex number.


title: Large Banach spaces with no infinite equilateral sets

abstract: A subset of a Banach space is called equilateral if the distances between any two of its distinct elements are the same. It is proved that there exist non-separable Banach spaces (in fact of density continuum) with no infinite equilateral subset. These examples are strictly convex renormings of $\ell_1([0,1])$. A wider class of renormings of $\ell_1([0,1])$ which admit no uncountable equilateral sets is also considered.


title: MeToo Tweets Sentiment Analysis Using Multi Modal frameworks

abstract: In this paper, We present our approach for IEEEBigMM 2020, Grand Challenge (BMGC), Identifying senti-ments from tweets related to the MeToo movement. The modelis based on an ensemble of Convolutional Neural Network,Bidirectional LSTM and a DNN for final classification. Thispaper is aimed at providing a detailed analysis of the modeland the results obtained. We have ranked 5th out of 10 teamswith a score of 0.51491


title: Channel Modeling for Drug Carrier Matrices

abstract: Molecular communications is a promising framework for the design of controlled-release drug delivery systems. In this framework, drug carriers are modeled as transmitters, the diseased cells as absorbing receivers, and the channel between transmitter and receiver as diffusive channel. However, existing works on drug delivery systems consider only simple drug carrier models, which limits their practical applicability. In this paper, we investigate diffusion-based spherical matrix-type drug carriers, which are employed in practice. In a matrix carrier, the drug molecules are dispersed in the matrix and diffuse from the inner to the outer layers of the carrier once immersed in a dissolution medium. We derive the channel response of the matrix carrier transmitter for an absorbing receiver and validate the results through particle-based simulations. Moreover, we show that a transparent spherical transmitter, with the drug molecules uniformly distributed over the entire volume, is as special case of the considered matrix system. For this case, we provide an analytical expression for the channel response. Finally, we compare the channel response of the matrix transmitter with those of point and transparent spherical transmitters to reveal the necessity of considering practical models.


title: Dynamics of a Superdense Cluster of Black Holes and the Formation of the Galactic SMBH

abstract: The center of our Galaxy is known to host a massive compact object, Sgr A$^*$, which is commonly considered as a super-massive black hole of $\sim 4\times 10^6$ M$_\odot$. It is surrounded by a dense and massive nuclear star cluster, with a half mass radius about $5$~pc and a mass larger than $10^{7}$ M$_\odot$. In this paper we studied the evolutionary fate of a very dense cluster of intermediate mass black holes, possible remnants of the dissipative orbital evolution of massive globular cluster hosts. We performed a set of high precision $N$-body simulations taking into account deviations from pure Newtonian gravitational interaction via a Post Newtonian development up to $2.5$ order, which is the one accounting for energy release by gravitational wave emission. The violent dynamics of the system leads to various successive merger events such to grow a single object containing $\sim 25$ per cent of the total cluster mass before partial dispersal of the cluster, and such to generate, in different bursts, a significant quantity of gravitational waves emission. If generalized, the present results suggest a mechanism of mass growth up to the scale of a super massive black hole.


title: Risk-Averse Biased Human Policies in Assistive Multi-Armed Bandit Settings

abstract: Assistive multi-armed bandit problems can be used to model team situations between a human and an autonomous system like a domestic service robot. To account for human biases such as the risk-aversion described in the Cumulative Prospect Theory, the setting is expanded to using observable rewards. When robots leverage knowledge about the risk-averse human model they eliminate the bias and make more rational choices. We present an algorithm that increases the utility value of such human-robot teams. A brief evaluation indicates that arbitrary reward functions can be handled.


title: Banach spaces in which large subsets of spheres concentrate

abstract: We construct a nonseparable Banach space $\mathcal X$ (actually, of density continuum) such that any uncountable subset $\mathcal Y$ of the unit sphere of $\mathcal X$ contains uncountably many points distant by less than $1$ (in fact, by less then $1-\varepsilon$ for some $\varepsilon>0$). This solves in the negative the central problem of the search for a nonseparable version of Kottman's theorem which so far has produced many deep positive results for special classes of Banach spaces and has related the global properties of the spaces to the distances between points of uncountable subsets of the unit sphere. The property of our space is strong enough to imply that it contains neither an uncountable Auerbach system nor an uncountable equilateral set. The space is a strictly convex renorming of the Johnson-Lindenstrauss space induced by an $\mathbb R$-embeddable almost disjoint family of subsets of $\mathbb N$. We also show that this special feature of the almost disjoint family is essential to obtain the above properties.


title: Machine Translation Decoding beyond Beam Search

abstract: Beam search is the go-to method for decoding auto-regressive machine translation models. While it yields consistent improvements in terms of BLEU, it is only concerned with finding outputs with high model likelihood, and is thus agnostic to whatever end metric or score practitioners care about. Our aim is to establish whether beam search can be replaced by a more powerful metric-driven search technique. To this end, we explore numerous decoding algorithms, including some which rely on a value function parameterised by a neural network, and report results on a variety of metrics. Notably, we introduce a Monte-Carlo Tree Search (MCTS) based method and showcase its competitiveness. We provide a blueprint for how to use MCTS fruitfully in language applications, which opens promising future directions. We find that which algorithm is best heavily depends on the characteristics of the goal metric; we believe that our extensive experiments and analysis will inform further research in this area.


title: Asymptotic preserving scheme for anisotropic elliptic equations with deep neural network

abstract: In this paper, a new asymptotic preserving (AP) scheme is proposed for the anisotropic elliptic equations. Different from previous AP schemes, the actual one is based on first-order system least-squares for second-order partial differential equations, and it is uniformly well-posed with respect to anisotropic strength. The numerical computation is realized by a deep neural network (DNN), where least-squares functionals are employed as loss functions to determine parameters of DNN. Numerical results show that the current AP scheme is easy for implementation and is robust to approximate solutions or to identify anisotropic strength in various 2D and 3D tests.


title: Effect of chlorination on positron binding to hydrocarbons: experiment and theory

abstract: Measured and calculated positron binding energies are presented for a range of hydrocarbons with up to six carbon atoms (viz., methane, acetylene, ethylene, ethane, propane, butane, and hexane) and their chlorinated counterparts. Both experiment and theory confirm the large effect that the chlorine atoms have on the positron binding energy and the strong sensitivity of the binding energy to the exact position of the chlorine atoms. The experimental binding energies have been obtained by measuring positron resonant annihilation using a trap-based positron beam. The calculations are performed using the previously developed model-correlation-potential method [A. R. Swann and G. F. Gribakin, J. Chem. Phys. 149, 244305 (2018)]. The overall trends are discussed with regard to the molecular polarizability, dipole moment, and geometry. Good agreement between theory and experiment is found, with the exception of the chlorinated ethylenes and chlorinated hexane. Calculations of the electron-positron annihilation rate in the bound state are also presented.


title: Endomorphisms of quasi-projective varieties -- towards Zariski dense orbit and Kawaguchi-Silverman conjectures

abstract: Let $X$ be a quasi-projective variety and $f\colon X\to X$ a finite surjective endomorphism. We consider Zariski Dense Orbit Conjecture (ZDO), and Adelic Zariski Dense Orbit Conjecture (AZO). We consider also Kawaguchi-Silverman Conjecture (KSC) asserting that the (first) dynamical degree $d_1(f)$ of $f$ equals the arithmetic degree $\alpha_f(P)$ at a point $P$ having Zariski dense $f$-forward orbit. Assuming $X$ is a smooth affine surface, such that the log Kodaira dimension $\bar{\kappa}(X)$ is non-negative (resp. the \'etale fundamental group $\pi_1^{\text{\'et}}(X)$ is infinite), we confirm AZO, (hence) ZDO, and KSC (when $\operatorname{deg}(f)\geq 2$) (resp. AZO and hence ZDO). We also prove ZDO (resp. AZO and hence ZDO) for every surjective endomorphism on any projective variety with ''larger'' first dynamical degree (resp. every dominant endomorphism of any semiabelian variety).


title: Speaking of Trust -- Speech as a Measure of Trust

abstract: Since trust measures in human-robot interaction are often subjective or not possible to implement real-time, we propose to use speech cues (on what, when and how the user talks) as an objective real-time measure of trust. This could be implemented in the robot to calibrate towards appropriate trust. However, we would like to open the discussion on how to deal with the ethical implications surrounding this trust measure.


title: A lower-than-expected saltation threshold at Martian pressure and below

abstract: Aeolian sediment transport is observed to occur on Mars as well as other extraterrestrial environments, generating ripples and dunes as on Earth. The search for terrestrial analogues of planetary bedforms, as well as environmental simulation experiments able to reproduce their formation in planetary conditions, are powerful ways to question our understanding of geomorphological processes towards unusual environmental conditions. Here, we perform sediment transport laboratory experiments in a closed-circuit wind tunnel placed in a vacuum chamber and operated at extremely low pressures to show that Martian conditions belong to a previously unexplored saltation regime. The threshold wind speed required to initiate saltation is only quantitatively predicted by state-of-the art models up to a density ratio between grain and air of $4 \times 10^5$, but unexpectedly falls to much lower values for higher density ratios. In contrast, impact ripples, whose emergence is continuously observed on the granular bed over the whole pressure range investigated, display a characteristic wavelength and propagation velocity essentially independent of pressure. A comparison of these findings with existing models suggests that sediment transport at low Reynolds number but high grain-to-fluid density ratio may be dominated by collective effects associated with grain inertia in the granular collisional layer.


title: Random walks with asymmetric time delays

abstract: We studied simple random-walk models with asymmetric time delays. Stochastic simulations were performed for hyperbolic-tangent fitness functions and to obtain analytical results we approximated them by step functions. A novel behavior has been observed. Namely, the mean position of a walker depends on time delays. This is a joint effect of both stochasticity and time delays present in the system. We also observed that by shifting appropriately fitness functions we may reverse the effect of time delays - the mean position of the walker changes the sign.


title: An Efficient 2D Method for Training Super-Large Deep Learning Models

abstract: Huge neural network models have shown unprecedented performance in real-world applications. However, due to memory constraints, model parallelism must be utilized to host large models that would otherwise not fit into the memory of a single device. Previous methods like Megatron partition the parameters of the entire model among multiple devices, while each device has to accommodate the redundant activations in forward and backward pass. In this work, we propose Optimus, a highly efficient and scalable 2D-partition paradigm of model parallelism that would facilitate the training of infinitely large language models. In Optimus, activations are partitioned and distributed among devices, further reducing redundancy. In terms of isoefficiency, Optimus significantly outperforms Megatron. On 64 GPUs of TACC Frontera, Optimus achieves 1.48X speedup for training, 1.78X speedup for inference, and 8X increase in maximum batch size over Megatron. Optimus surpasses Megatron in scaling efficiency by a great margin. The code is available at https://github.com/xuqifan897/Optimus.


title: How Sensitive are Meta-Learners to Dataset Imbalance?

abstract: Meta-Learning (ML) has proven to be a useful tool for training Few-Shot Learning (FSL) algorithms by exposure to batches of tasks sampled from a meta-dataset. However, the standard training procedure overlooks the dynamic nature of the real-world where object classes are likely to occur at different frequencies. While it is generally understood that imbalanced tasks harm the performance of supervised methods, there is no significant research examining the impact of imbalanced meta-datasets on the FSL evaluation task. This study exposes the magnitude and extent of this problem. Our results show that ML methods are more robust against meta-dataset imbalance than imbalance at the task-level with a similar imbalance ratio ($\rho<20$), with the effect holding even in long-tail datasets under a larger imbalance ($\rho=65$). Overall, these results highlight an implicit strength of ML algorithms, capable of learning generalizable features under dataset imbalance and domain-shift. The code to reproduce the experiments is released under an open-source license.


title: Dual-Octave Convolution for Accelerated Parallel MR Image Reconstruction

abstract: Magnetic resonance (MR) image acquisition is an inherently prolonged process, whose acceleration by obtaining multiple undersampled images simultaneously through parallel imaging has always been the subject of research. In this paper, we propose the Dual-Octave Convolution (Dual-OctConv), which is capable of learning multi-scale spatial-frequency features from both real and imaginary components, for fast parallel MR image reconstruction. By reformulating the complex operations using octave convolutions, our model shows a strong ability to capture richer representations of MR images, while at the same time greatly reducing the spatial redundancy. More specifically, the input feature maps and convolutional kernels are first split into two components (i.e., real and imaginary), which are then divided into four groups according to their spatial frequencies. Then, our Dual-OctConv conducts intra-group information updating and inter-group information exchange to aggregate the contextual information across different groups. Our framework provides two appealing benefits: (i) it encourages interactions between real and imaginary components at various spatial frequencies to achieve richer representational capacity, and (ii) it enlarges the receptive field by learning multiple spatial-frequency features of both the real and imaginary components. We evaluate the performance of the proposed model on the acceleration of multi-coil MR image reconstruction. Extensive experiments are conducted on an {in vivo} knee dataset under different undersampling patterns and acceleration factors. The experimental results demonstrate the superiority of our model in accelerated parallel MR image reconstruction. Our code is available at: github.com/chunmeifeng/Dual-OctConv.


title: Relations of the class $\mathcal{U}(\lambda)$ to other families of functions

abstract: In this article, we consider the family of functions $f$ analytic in the unit disk $|z|<1$ with the normalization $f(0)=0=f'(0)-1$ and satisfying the condition $\big |\big (z/f(z)\big )^{2}f'(z)-1\big |<\lambda $ for some $0<\lambda \leq 1$. We denote this class by $\mathcal{U}(\lambda)$ and we are interested in the relations between $\mathcal{U}(\lambda)$ and other families of functions holomorphic or harmonic in the unit disk. Our first example in this direction is the family of functions convex in one direction. Then we are concerned with the subordinates to the function $1/((1-z)(1-\lambda z))$. We prove that not all functions $f(z)/z$ $(f \in \mathcal{U}(\lambda))$ belong to this family. This disproves an assertion from \cite{OPW}. Further, we disprove a related coefficient conjecture for $\mathcal{U}(\lambda)$. We consider the intersection of the class of the above subordinates and $\mathcal{U}(\lambda)$ concerning the boundary behaviour of its functions. At last, with the help of functions from $\mathcal{U}(\lambda)$, we construct functions harmonic and close-to-convex in the unit disk.


title: Radar SLAM: A Robust SLAM System for All Weather Conditions

abstract: A Simultaneous Localization and Mapping (SLAM) system must be robust to support long-term mobile vehicle and robot applications. However, camera and LiDAR based SLAM systems can be fragile when facing challenging illumination or weather conditions which degrade their imagery and point cloud data. Radar, whose operating electromagnetic spectrum is less affected by environmental changes, is promising although its distinct sensing geometry and noise characteristics bring open challenges when being exploited for SLAM. % However, there are still open challenges since most existing visual and LiDAR SLAM systems do not operate in bad weathers. This paper studies the use of a Frequency Modulated Continuous Wave radar for SLAM in large-scale outdoor environments. We propose a full radar SLAM system, including a novel radar motion tracking algorithm that leverages radar geometry for reliable feature tracking. It also optimally compensates motion distortion and estimates pose by joint optimization. Its loop closure component is designed to be simple yet efficient for radar imagery by capturing and exploiting structural information of the surrounding environment. % while a scheme to reject ambiguous loop closure candidates is also designed specifically for radar. Extensive experiments on three public radar datasets, ranging from city streets and residential areas to countryside and highways, show competitive accuracy and reliability performance of the proposed radar SLAM system compared to the state-of-the-art LiDAR, vision and radar methods. The results show that our system is technically viable in achieving reliable SLAM in extreme weather conditions, e.g. heavy snow and dense fog, demonstrating the promising potential of using radar for all-weather localization and mapping.


title: Quotients of Bounded Natural Functors

abstract: The functorial structure of type constructors is the foundation for many definition and proof principles in higher-order logic (HOL). For example, inductive and coinductive datatypes can be built modularly from bounded natural functors (BNFs), a class of well-behaved type constructors. Composition, fixpoints, and, under certain conditions, subtypes are known to preserve the BNF structure. In this article, we tackle the preservation question for quotients, the last important principle for introducing new types in HOL. We identify sufficient conditions under which a quotient inherits the BNF structure from its underlying type. Surprisingly, lifting the structure in the obvious manner fails for some quotients, a problem that also affects the quotients of polynomial functors used in the Lean proof assistant. We provide a strictly more general lifting scheme that supports such problematic quotients. We extend the Isabelle/HOL proof assistant with a command that automates the registration of a quotient type as a BNF, reducing the proof burden on the user from the full set of BNF axioms to our inheritance conditions. We demonstrate the command's usefulness through several case studies.


title: Dynamical tide in stellar radiative zones. General formalism and evolution for low-mass stars

abstract: [Abridged] Most exoplanets detected so far are close-in planets, which are likely to be affected by tidal dissipation in their host star. To get a complete picture of the evolution of star-planet systems one needs to consider the impact of tides within both stellar radiative and convective zones. We aim to provide a general formalism to assess tidal dissipation in stellar radiative zones for all spectral types, allowing for the study of the dynamics of a given system throughout stellar evolution. We investigate the influence of stellar structure and evolution on tidal dissipation in the radiative core of low-mass stars. From the study of adiabatic oscillations throughout the star, we compute the energy flux transported by progressive internal gravity waves and the induced tidal torque. We then study the influence of stellar structure and evolution on tidal dissipation of solar-type stars from the pre-main sequence (PMS) to the red giant branch (RGB). For a given star-planet system, tidal dissipation reaches a maximum value on the pre-main sequence for all stellar masses. On the main sequence (MS), it decreases to become almost constant. The dissipation is then several orders of magnitude smaller for F-type stars than for G and K-type stars. During the Sub-Giant phase and the RGB, tidal dissipation increases by several orders of magnitude, along with the expansion of the stellar envelope. We show that the dissipation of the dynamical tide in the convective zone dominates the evolution of the system during most of the PMS and the beginning of the main sequence. Tidal dissipation in the radiative zone then becomes the strongest contribution during the Sub-Giant phase and the RGB. We also find that the dissipation of a metal-poor star is stronger than the dissipation of a metal-rich star during the PMS, the Sub-Giant phase and the RGB.


title: Stochastic thermodynamics of a finite quantum system coupled to a heat bath

abstract: We consider a situation where an $N$-level system (NLS) is coupled to a heat bath without being necessarily thermalized. For this situation we derive general Jarzinski-type equations and conclude that heat and entropy is flowing from the hot bath to the cold NLS and, vice versa, from the hot NLS to the cold bath. The Clausius relation between increase of entropy and transfer of heat divided by a suitable temperature assumes the form of two inequalities which have already been considered in the literature. Our approach is illustrated by an analytical example.


title: Induced surface and curvature tension equation of state for hadron resonance gas in finite volumes and its relation to morphological thermodynamics

abstract: Here we develop an original approach to investigate the grand canonical partition function of the multicomponent mixtures of Boltzmann particles with hard-core interaction in finite and even small systems of the volumes above 20 fm$^3$. The derived expressions of the induced surface tension equation of state are analyzed in details. It is shown that the metastable states, which can emerge in the finite systems with realistic interaction, appear at very high pressures at which the hadron resonance gas, most probably, is not applicable at all. It is shown how and under what conditions the obtained results for finite systems can be generalized to include into a formalism the equation for curvature tension. The applicability range of the obtained equations of induced surface and curvature tensions for finite systems is discussed and their close relations to the equations of the morphological thermodynamics are established. The hadron resonance gas model on the basis of the obtained advanced equation of state is worked out. Also, this model is applied to analyze the chemical freeze-out of hadrons and light nuclei with the number of (anti-)baryons not exceeding 4, including the most problematic ratios of hyper-triton and its antiparticle. Their multiplicities were measured by the ALICE Collaboration in the central lead-lead collisions at the center-of-mass energy $\sqrt{s_{\rm NN}} =$ 2.76 TeV.


title: Early-time thermalization of cosmic components? A hint for solving cosmic tensions

abstract: We study an expanding two-fluid model of non-relativistic dark matter and radiation which are allowed to interact during a certain time span and to establish an approximate thermal equilibrium. Such interaction which generates an effective bulk viscous pressure at background level is expected to be relevant for times around the transition from radiation to matter dominance. We quantify the magnitude of this pressure for dark matter particles masses within the range $1 {\rm eV} \lesssim m_{\chi} \lesssim 10 {\rm eV}$ around the matter-radiation equality epoch (i.e., redshift $z_{\rm eq}\sim 3400$) and demonstrate that the existence of a transient bulk viscosity has consequences which may be relevant for addressing current tensions of the standard cosmological model: i) the additional (negative) pressure contribution modifies the expansion rate around $z_{\rm eq}$, yielding a larger $H_0$ value and ii) large-scale structure formation is impacted by suppressing the amplitude of matter overdensity growth via a new viscous friction-term contribution to the M\'esz\'aros effect. As a result, both the $H_0$ and the $S_8$ tensions of the current standard cosmological model are significantly alleviated.


title: Sparse Coding Frontend for Robust Neural Networks

abstract: Deep Neural Networks are known to be vulnerable to small, adversarially crafted, perturbations. The current most effective defense methods against these adversarial attacks are variants of adversarial training. In this paper, we introduce a radically different defense trained only on clean images: a sparse coding based frontend which significantly attenuates adversarial attacks before they reach the classifier. We evaluate our defense on CIFAR-10 dataset under a wide range of attack types (including Linf , L2, and L1 bounded attacks), demonstrating its promise as a general-purpose approach for defense.


title: Drop impact on superheated surfaces: short-time dynamics and transition to contact

abstract: When a volatile drop impacts on a superheated solid, air drainage and vapor generation conspire to create an intermediate gas layer that delays or even prevents contact between the liquid and the solid. In this article, we use high-speed synchronized reflection interference and total internal reflection imaging to measure the short-time dynamics of the intermediate gas film and to probe the transition between levitation and contact. We observe that the substrate temperature strongly affects the vertical position of the liquid-gas interface and that the dynamic Leidenfrost transition is influenced by both air and vapor drainage (\emph{i.e}, gas drainage), and evaporation, the later giving rise to hitherto unreported vertical oscillations of the gas film that can trigger liquid-solid contact. We first derive scaling relations for the height of the gas film trapped under the drop's centerline, called the dimple height, and the minimum film thickness at short times. The former is set by a competition between gas drainage and liquid inertia, similarly as for isothermal impacts, while the later strongly depends on the vapor production. The gas pressure, at the location where the minimum thickness is reached, is determined by liquid inertia and vapor production and ultimately balanced by the increasing interfacial curvature, determining the minimum thickness. We show that, in the low impact velocity limit, the transient stability of the draining gas film remarkably makes dynamic levitation less demanding than static levitation. We characterise the vertical gas film oscillations by measuring their frequency and monitoring their occurrence in the parameter space spanned by surface temperature and impact velocity. Finally, we model the occurrence of these oscillations and account for their frequency through an hydrodynamic mechanism.


title: The stellar mass in and around isolated central galaxies: connections to the total mass distribution through galaxy-galaxy lensing in the Hyper Suprime-Cam survey

abstract: Using photometric galaxies from the HSC survey, we measure the stellar mass density profiles for satellite galaxies as a function of the projected distance, $r_p$, to isolated central galaxies (ICGs) selected from SDSS/DR7 spectroscopic galaxies at $z\sim0.1$. By stacking HSC images, we also measure the projected stellar mass density profiles for ICGs and their stellar halos. The total mass distributions are further measured from HSC weak lensing signals. ICGs dominate within $\sim$0.15 times the halo virial radius ($0.15R_{200}$). The stellar mass versus total mass fractions drop with the increase in $r_p$ up to $\sim0.15R_{200}$, beyond which they are less than 1\% while stay almost constant, indicating the radial distribution of satellites trace dark matter. The total stellar mass in satellites is proportional to the virial mass of the host halo, $M_{200}$, for ICGs more massive than $10^{10.5}M_\odot$, i.e., $M_{\ast,\mathrm{sat}} \propto M_{200}$, whereas the relation between the stellar mass of ICGs $+$ stellar halos and $M_{200}$ is close to $M_{\ast,\mathrm{ICG+diffuse}}\propto M_{200}^{1/2}$. Below $10^{10.5}M_\odot$, the change in $M_{200}$ is much slower with the decrease in $M_{\ast,\mathrm{ICG+diffuse}}$. At fixed stellar mass, red ICGs are hosted by more massive dark matter halos and have more satellites. At $M_{200}\sim10^{12.7}M_\odot$, both $M_{\ast,\mathrm{sat}}$ and the fraction of stellar mass in satellites versus total stellar mass, $f_\mathrm{sat}$, tend to be slightly higher around blue ICGs, perhaps implying the late formation of blue galaxies. $f_\mathrm{sat}$ increases with the increase in both $M_{\ast,\mathrm{ICG+diffuse}}$ and $M_{200}$, and scales more linearly with $M_{200}$. We provide best-fitting formulas for these scaling relations and for red and blue ICGs separately.


title: What We Measure in Mixed Reality Experiments

abstract: There are many potential measures that one might use when evaluating mixed-reality experiences. In this position paper I will argue that there are various stances to take for evaluation, depending on the framing of the experience within a larger body of work. I will draw upon various types of work that my team has been involved with in order to illustrate these different stances. I will then sketch out some directions for developing more robust measures that can help the field move forward.


title: Density estimation with Gaussian processes for gravitational-wave posteriors

abstract: The properties of black-hole and neutron-star binaries are extracted from gravitational-wave signals using Bayesian inference. This involves evaluating a multi-dimensional posterior probability function with stochastic sampling. The marginal probability density distributions from which the samples are drawn are usually interpolated with kernel density estimators. Since most post-processing analysis within the field is based on these parameter estimation products, interpolation accuracy of the marginals is essential. In this work, we propose a new method combining histograms and Gaussian Processes as an alternative technique to fit arbitrary combinations of samples from the source parameters. This method comes with several advantages such as flexible interpolation of non-Gaussian correlations, Bayesian estimate of uncertainty, and efficient re-sampling with Hamiltonian Monte Carlo.


title: UNIT-DDPM: UNpaired Image Translation with Denoising Diffusion Probabilistic Models

abstract: We propose a novel unpaired image-to-image translation method that uses denoising diffusion probabilistic models without requiring adversarial training. Our method, UNpaired Image Translation with Denoising Diffusion Probabilistic Models (UNIT-DDPM), trains a generative model to infer the joint distribution of images over both domains as a Markov chain by minimising a denoising score matching objective conditioned on the other domain. In particular, we update both domain translation models simultaneously, and we generate target domain images by a denoising Markov Chain Monte Carlo approach that is conditioned on the input source domain images, based on Langevin dynamics. Our approach provides stable model training for image-to-image translation and generates high-quality image outputs. This enables state-of-the-art Fr\'echet Inception Distance (FID) performance on several public datasets, including both colour and multispectral imagery, significantly outperforming the contemporary adversarial image-to-image translation methods.


title: Some Lessons Learned Running Virtual Reality Experiments Out of the Laboratory

abstract: In the past twelve months, our team has had to move rapidly from conducting most of our user experiments in a laboratory setting, to running experiments in the wild away from the laboratory and without direct synchronous oversight from an experimenter. This has challenged us to think about what types of experiment we can run, and to improve our tools and methods to allow us to reliably capture the necessary data. It has also offered us an opportunity to engage with a more diverse population than we would normally engage with in the laboratory. In this position paper we elaborate on the challenges and opportunities, and give some lessons learned from our own experience.


title: Statistical inference of finite-rank tensors

abstract: We consider a general statistical inference model of finite-rank tensor products. For any interaction structure and any order of tensor products, we identify the limit free energy of the model in terms of a variational formula. Our approach consists of showing first that the limit free energy must be the viscosity solution to a certain Hamilton-Jacobi equation.


title: The Great Misalignment Problem in Human Evaluation of NLP Methods

abstract: We outline the Great Misalignment Problem in natural language processing research, this means simply that the problem definition is not in line with the method proposed and the human evaluation is not in line with the definition nor the method. We study this misalignment problem by surveying 10 randomly sampled papers published in ACL 2020 that report results with human evaluation. Our results show that only one paper was fully in line in terms of problem definition, method and evaluation. Only two papers presented a human evaluation that was in line with what was modeled in the method. These results highlight that the Great Misalignment Problem is a major one and it affects the validity and reproducibility of results obtained by a human evaluation.


title: Observation of Spontaneous Helielectric Nematic Fluids: Electric Analogy to Helimagnets

abstract: About a century ago, Born proposed a possible matter of state, ferroelectric fluid, might exist if the dipole moment is strong enough. The experimental realisation of such states needs magnifying molecular polar nature to macroscopic scales in liquids. Here, we report on the discovery of a novel chiral liquid matter state, dubbed chiral ferronematic, stabilized by the local ferroelectric ordering coupled to the chiral helicity. It carries the polar vector rotating helically, corresponding to a helieletric structure, analogous to the magnetic counterpart of helimagnet. The state can be retained down to room-temperature and demonstrates gigantic dielectric and nonlinear optical responses. The novel matter state opens a new chapter for exploring the material space of the diverse ferroelectric liquids.


title: Capacity-Driven Low-Interference Fast Beam Synthesis for Next Generation Base Stations

abstract: The problem of the real-time multiple-input multiple-output (MIMO) array control when requirements on capacity performance, out-of-cell interference, and computational efficiency are simultaneously enforced is addressed by means of an innovative hybrid beamforming technique. The synthesis of the excitations of the MIMO system is first re-formulated as that of matching an ideal "hybrid" pattern fitting capacity or low-interference constraints along the angular coordinates. Then, a non-iterative processing scheme is derived for each MIMO beam where numerically-efficient synthesis techniques are profitably combined. Representative results, from an extensive numerical validation, are discussed to show, also comparatively, the advantages and the current limitations of the proposed synthesis method when dealing with different propagation scenarios, number of transmitters/receivers, and noise levels.


title: Fatigued Random Walks in Hypergraphs: A Neuronal Analogy to Improve Retrieval Performance

abstract: Hypergraphs are data structures capable of capturing supra-dyadic relations. We can use them to model binary relations, but also to model groups of entities, as well as the intersections between these groups or the contained subgroups. In previous work, we explored the usage of hypergraphs as an indexing data structure, in particular one that was capable of seamlessly integrating text, entities and their relations to support entity-oriented search tasks. As more information is added to the hypergraph, however, it not only increases in size, but it also becomes denser, making the task of efficiently ranking nodes or hyperedges more complex. Random walks can effectively capture network structure, without compromising performance, or at least providing a tunable balance between efficiency and effectiveness, within a nondeterministic universe. For a higher effectiveness, a higher number of random walks is usually required, which often results in lower efficiency. Inspired by von Neumann and the neuron in the brain, we propose and study the usage of node and hyperedge fatigue as a way to temporarily constrict random walks during keyword-based ad hoc retrieval. We found that we were able to improve search time by a factor of 32, but also worsen MAP by a factor of 8. Moreover, by distinguishing between fatigue in nodes and hyperedges, we are able to find that, for hyperedge ranking tasks, we consistently obtained lower MAP scores when increasing fatigue for nodes. On the other hand, the overall impact of hyperedge fatigue was slightly positive, although it also slightly worsened efficiency.


title: Cross-Partisan Discussions on YouTube: Conservatives Talk to Liberals but Liberals Don't Talk to Conservatives

abstract: We present the first large-scale measurement study of cross-partisan discussions between liberals and conservatives on YouTube, based on a dataset of 274,241 political videos from 973 channels of US partisan media and 134M comments from 9.3M users over eight months in 2020. Contrary to a simple narrative of echo chambers, we find a surprising amount of cross-talk: most users with at least 10 comments posted at least once on both left-leaning and right-leaning YouTube channels. Cross-talk, however, was not symmetric. Based on the user leaning predicted by a hierarchical attention model, we find that conservatives were much more likely to comment on left-leaning videos than liberals on right-leaning videos. Secondly, YouTube's comment sorting algorithm made cross-partisan comments modestly less visible; for example, comments from conservatives made up 26.3% of all comments on left-leaning videos but just over 20% of the comments were in the top 20 positions. Lastly, using Perspective API's toxicity score as a measure of quality, we find that conservatives were not significantly more toxic than liberals when users directly commented on the content of videos. However, when users replied to comments from other users, we find that cross-partisan replies were more toxic than co-partisan replies on both left-leaning and right-leaning videos, with cross-partisan replies being especially toxic on the replier's home turf.


title: Effectiveness of Social Virtual Reality

abstract: A lot of work in social virtual reality, including our own group's, has focused on effectiveness of specific social behaviours such as eye-gaze, turn taking, gestures and other verbal and non-verbal cues. We have built upon these to look at emergent phenomena such as co-presence, leadership and trust. These give us good information about the usability issues of specific social VR systems, but they don't give us much information about the requirements for such systems going forward. In this short paper we discuss how we are broadening the scope of our work on social systems, to move out of the laboratory to more ecologically valid situations and to study groups using social VR for longer periods of time.


title: Visiting the Invisible: Layer-by-Layer Completed Scene Decomposition

abstract: Existing scene understanding systems mainly focus on recognizing the visible parts of a scene, ignoring the intact appearance of physical objects in the real-world. Concurrently, image completion has aimed to create plausible appearance for the invisible regions, but requires a manual mask as input. In this work, we propose a higher-level scene understanding system to tackle both visible and invisible parts of objects and backgrounds in a given scene. Particularly, we built a system to decompose a scene into individual objects, infer their underlying occlusion relationships, and even automatically learn which parts of the objects are occluded that need to be completed. In order to disentangle the occluded relationships of all objects in a complex scene, we use the fact that the front object without being occluded is easy to be identified, detected, and segmented. Our system interleaves the two tasks of instance segmentation and scene completion through multiple iterations, solving for objects layer-by-layer. We first provide a thorough experiment using a new realistically rendered dataset with ground-truths for all invisible regions. To bridge the domain gap to real imagery where ground-truths are unavailable, we then train another model with the pseudo-ground-truths generated from our trained synthesis model. We demonstrate results on a wide variety of datasets and show significant improvement over the state-of-the-art.


title: Hovering UAV-Based FSO Communications: Channel Modelling, Performance Analysis, and Parameter Optimization

abstract: Relay-assisted free-space optical (FSO) communication systems are exploited as a means to mitigate the limiting effects of the turbulence induced atmospheric scintillation. However, conventional ground relays are stationary, and their optimal placement is not always feasible. Due to their mobility and flexibility, unmanned aerial vehicles (UAVs) provide new opportunities for FSO relaying systems. In this paper, a hovering UAV-based serial FSO decode-and-forward relaying system is investigated. In the channel modelling for such a system, four types of impairments (i.e., atmospheric loss, atmospheric turbulence, pointing error, and link interruption due to angle-of-arrival fluctuation) are considered. Based on the proposed channel model, a tractable expression for the probability density function of the total channel gain is obtained. Closed-form expressions of the link outage probability and end-to-end outage probability are derived. Asymptotic outage performance bounds for each link and the overall system are also presented to reveal insights into the impacts of different impairments. To improve system performance, we optimize the beam width, field-of-view and UAVs' locations. Numerical results show that the derived theoretical expressions are accurate to evaluate the outage performance of the system. Moreover, the proposed optimization schemes are efficient and can improve performance significantly.


title: Fatigued PageRank

abstract: Connections among entities are everywhere. From social media interactions to web page hyperlinks, networks are frequently used to represent such complex systems. Node ranking is a fundamental task that provides the strategy to identify central entities according to multiple criteria. Popular node ranking metrics include degree, closeness or betweenness centralities, as well as HITS authority or PageRank. In this work, we propose a novel node ranking metric, where we combine PageRank and the idea of node fatigue, in order to model a random explorer who wants to optimize coverage - it gets fatigued and avoids previously visited nodes. We formalize and exemplify the computation of Fatigued PageRank, evaluating it as a node ranking metric, as well as query-independent evidence in ad hoc document retrieval. Based on the Simple English Wikipedia link graph with clickstream transitions from the English Wikipedia, we find that Fatigued PageRank is able to surpass both indegree and HITS authority, but only for the top ranking nodes. On the other hand, based on the TREC Washington Post Corpus, we were unable to outperform the BM25 baseline, obtaining similar performance for all graph-based metrics, except for indegree, which lowered GMAP and MAP, but increased NDCG@10 and P@10.


title: Spacetime-dependent electric field effects in vacuum and plasma using the Wigner-formalism

abstract: We derive a system of coupled partial differential equations for the equal-time Wigner function in an arbitrary strong electromagnetic field using the Dirac-Heisenberg-Wigner formalism. In the electrostatic limit, we present a 3+1-system of four coupled partial differential equations, which are completed by Ampere's law. This electrostatic system is further studied for two different cases. In the first case, we consider linearized wave propagation in plasma accounting for the nonzero vacuum expectation values. We then derive the dispersion relation and compare it with well-known limiting cases. In the second case, we consider Schwinger pair production using the local density approximation to allow for analytical treatment. The dependence of the pair production rate on the perpendicular momentum is investigated and it turns out that the spread of the produced pairs along with perpendicular momentum depends on the strength of the applied electric field.


title: Formal uniqueness in Ewald sphere corrected single particle analysis

abstract: In single particle analysis (SPA), the task is to recover the scattering potential of a macromolecular structure from cryo-electron microscope images of many copies of the structure in unknown orientations. The idealized, noise-free SPA inverse problem has been shown to be uniquely solvable - up to hand - when the forward model is based on the ray transform. More accurate forward models take the non-zero curvature of the Ewald sphere into account. We analyze an Ewald sphere corrected forward model for SPA and use the diffraction slice theorem to prove that the corresponding inverse problem is uniquely solvable, including the hand of the structure.

categories: math.FA math-ph math.AP math.MP physics.optics


title: Getting to the Point. Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming

abstract: We present a novel programming language design that attempts to combine the clarity and safety of high-level functional languages with the efficiency and parallelism of low-level numerical languages. We treat arrays as eagerly-memoized functions on typed index sets, allowing abstract function manipulations, such as currying, to work on arrays. In contrast to composing primitive bulk-array operations, we argue for an explicit nested indexing style that mirrors application of functions to arguments. We also introduce a fine-grained typed effects system which affords concise and automatically-parallelized in-place updates. Specifically, an associative accumulation effect allows reverse-mode automatic differentiation of in-place updates in a way that preserves parallelism. Empirically, we benchmark against the Futhark array programming language, and demonstrate that aggressive inlining and type-driven compilation allows array programs to be written in an expressive, "pointful" style with little performance penalty.


title: Fixed point Free Actions of Spheres and Equivariant maps

abstract: This paper generalizes the concept of index and co-index and some related results for free actions of G = S0 on a paracompact Hausdorff space which were introduced by Conner and Floyd. We define the index and co-index of a finitistic free G-space X, where G = Sd , d = 1 or 3 and prove that the index of X is not more than the mod 2 cohomology index of X. We observe that the index and co-index of a (2n + 1)-sphere (resp. (4n+3)-sphere) for the action of componentwise multiplication of G = S1 (resp. S3) is n. We also determine the orbit spaces of free actions of G = S3 on a finitistic space X with the mod 2 cohomology and the rational cohomology product of spheres. The orbit spaces of circle actions on the mod 2 cohomology X is also discussed. Using these calculation, we obtain an upper bound of the index of X and the Borsuk-Ulam type results.


title: Self-supervised Multi-view Stereo via Effective Co-Segmentation and Data-Augmentation

abstract: Recent studies have witnessed that self-supervised methods based on view synthesis obtain clear progress on multi-view stereo (MVS). However, existing methods rely on the assumption that the corresponding points among different views share the same color, which may not always be true in practice. This may lead to unreliable self-supervised signal and harm the final reconstruction performance. To address the issue, we propose a framework integrated with more reliable supervision guided by semantic co-segmentation and data-augmentation. Specially, we excavate mutual semantic from multi-view images to guide the semantic consistency. And we devise effective data-augmentation mechanism which ensures the transformation robustness by treating the prediction of regular samples as pseudo ground truth to regularize the prediction of augmented samples. Experimental results on DTU dataset show that our proposed methods achieve the state-of-the-art performance among unsupervised methods, and even compete on par with supervised methods. Furthermore, extensive experiments on Tanks&Temples dataset demonstrate the effective generalization ability of the proposed method.


title: Measurements of the Most Significant Software Security Weaknesses

abstract: In this work, we provide a metric to calculate the most significant software security weaknesses as defined by an aggregate metric of the frequency, exploitability, and impact of related vulnerabilities. The Common Weakness Enumeration (CWE) is a well-known and used list of software security weaknesses. The CWE community publishes such an aggregate metric to calculate the `Most Dangerous Software Errors'. However, we find that the published equation highly biases frequency and almost ignores exploitability and impact in generating top lists of varying sizes. This is due to the differences in the distributions of the component metric values. To mitigate this, we linearize the frequency distribution using a double log function. We then propose a variety of other improvements, provide top lists of the most significant CWEs for 2019, provide an analysis of the identified software security weaknesses, and compare them against previously published top lists.


title: Drafting and Revision: Laplacian Pyramid Network for Fast High-Quality Artistic Style Transfer

abstract: Artistic style transfer aims at migrating the style from an example image to a content image. Currently, optimization-based methods have achieved great stylization quality, but expensive time cost restricts their practical applications. Meanwhile, feed-forward methods still fail to synthesize complex style, especially when holistic global and local patterns exist. Inspired by the common painting process of drawing a draft and revising the details, we introduce a novel feed-forward method named Laplacian Pyramid Network (LapStyle). LapStyle first transfers global style patterns in low-resolution via a Drafting Network. It then revises the local details in high-resolution via a Revision Network, which hallucinates a residual image according to the draft and the image textures extracted by Laplacian filtering. Higher resolution details can be easily generated by stacking Revision Networks with multiple Laplacian pyramid levels. The final stylized image is obtained by aggregating outputs of all pyramid levels. %We also introduce a patch discriminator to better learn local patterns adversarially. Experiments demonstrate that our method can synthesize high quality stylized images in real time, where holistic style patterns are properly transferred.


title: Cohomology Classification of Spaces with Free S3 Actions

abstract: This paper gives the cohomology classification of finitistic spaces X equipped with free actions of the group G = S3 and the orbit space X/G is the integral or mod 2 cohomology quaternion projective space HPn. We have proved that X is the integral or mod 2 cohomology (4n+3)-sphere or the product of 3-sphere and quaternion projective space HPn. Similar results for G = S1 actions are also discussed.


title: Generating wreath products of symmetric and alternating groups

abstract: We show that the wreath product of two finite symmetric or alternating groups is 2-generated.


title: Comparing the Benefit of Synthetic Training Data for Various Automatic Speech Recognition Architectures

abstract: Recent publications on automatic-speech-recognition (ASR) have a strong focus on attention encoder-decoder (AED) architectures which tend to suffer from over-fitting in low resource scenarios. One solution to tackle this issue is to generate synthetic data with a trained text-to-speech system (TTS) if additional text is available. This was successfully applied in many publications with AED systems, but only very limited in the context of other ASR architectures. We investigate the effect of varying pre-processing, the speaker embedding and input encoding of the TTS system w.r.t. the effectiveness of the synthesized data for AED-ASR training. Additionally, we also consider internal language model subtraction for the first time, resulting in up to 38% relative improvement. We compare the AED results to a state-of-the-art hybrid ASR system, a monophone based system using connectionist-temporal-classification (CTC) and a monotonic transducer based system. We show that for the later systems the addition of synthetic data has no relevant effect, but they still outperform the AED systems on LibriSpeech-100h. We achieve a final word-error-rate of 3.3%/10.0% with a hybrid system on the clean/noisy test-sets, surpassing any previous state-of-the-art systems on Librispeech-100h that do not include unlabeled audio data.


title: Median-type John-Nirenberg space in metric measure spaces

abstract: We study the so-called John-Nirenberg space that is a generalization of functions of bounded mean oscillation in the setting of metric measure spaces with a doubling measure. Our main results are local and global John-Nirenberg inequalities, which give weak type estimates for the oscillation of a function. We consider medians instead of integral averages throughout, and thus functions are not a priori assumed to be locally integrable. Our arguments are based on a Calder\'{o}n-Zygmund decomposition and a good-$\lambda$ inequality for medians. A John-Nirenberg inequality up to the boundary is proven by using chaining arguments. As a consequence, the integral-type and the median-type John-Nirenberg spaces coincide under a Boman-type chaining assumption.


title: Asymptotics for densities of exponential functionals of subordinators

abstract: In this paper we derive non-classical Tauberian asymptotic at infinity for the tail, the density and the derivatives thereof of a large class of exponential functionals of subordinators. More precisely, we consider the case when the L\'evy measure of the subordinator satisfies the well-known and mild condition of positive increase. This is achieved via a convoluted application of the saddle point method to the Mellin transform of these exponential functionals which is given in terms of Bernstein-gamma functions. To apply the saddle point method we improved the Stirling type of asymptotic for Bernstein-gamma functions and the latter is of interest beyond this paper as the Bernstein-gamma functions are applicable in different settings especially through their asymptotic behaviour in the complex plane. As an application we have derived the asymptotic of the density and its derivatives for all exponential functionals of non-decreasing, potentially compound Poisson processes which turns out to be precisely as that of an exponentially distributed random variable. We show further that a large class of densities are even analytic in a cone of the complex plane.


title: Dual Discriminator Adversarial Distillation for Data-free Model Compression

abstract: Knowledge distillation has been widely used to produce portable and efficient neural networks which can be well applied on edge devices for computer vision tasks. However, almost all top-performing knowledge distillation methods need to access the original training data, which usually has a huge size and is often unavailable. To tackle this problem, we propose a novel data-free approach in this paper, named Dual Discriminator Adversarial Distillation (DDAD) to distill a neural network without any training data or meta-data. To be specific, we use a generator to create samples through dual discriminator adversarial distillation, which mimics the original training data. The generator not only uses the pre-trained teacher's intrinsic statistics in existing batch normalization layers but also obtains the maximum discrepancy from the student model. Then the generated samples are used to train the compact student network under the supervision of the teacher. The proposed method obtains an efficient student network which closely approximates its teacher network, despite using no original training data. Extensive experiments are conducted to to demonstrate the effectiveness of the proposed approach on CIFAR-10, CIFAR-100 and Caltech101 datasets for classification tasks. Moreover, we extend our method to semantic segmentation tasks on several public datasets such as CamVid and NYUv2. All experiments show that our method outperforms all baselines for data-free knowledge distillation.


title: LoTSS jellyfish galaxies: I. Radio tails in low redshift clusters

abstract: In this paper we present a large sample of jellyfish galaxies in low redshift clusters (z<0.05), identified through 120-168 MHz radio continuum from the LOFAR Two-metre Sky Survey (LoTSS). From a parent sample of 29 X-ray-detected SDSS galaxy clusters and their spectroscopic members, we visually identify 95 star-forming, LoTSS jellyfish galaxies with 144 MHz radio tails. Star formation rates (SFRs) and stellar masses are obtained for all galaxies from SED fits. For each jellyfish galaxy we determine the tail orientation with respect to the cluster centre and quantify the prominence of the radio tails with the 144 MHz shape asymmetry. After carefully accounting for redshift-dependent selection effects, we find that the frequency of jellyfish galaxies is relatively constant from cluster to cluster. LoTSS jellyfish galaxies are preferentially found at small clustercentric radius and large velocity offsets within their host clusters and have radio tails that are oriented away from the cluster centre. These galaxies also show enhanced star formation, relative to both 'normal' cluster galaxies and isolated field galaxies, but generally fall within the scatter of the L144MHz - SFR relation. The properties of the LoTSS jellyfish galaxies identified in this work are fully consistent with expectations from ram pressure stripping. This large sample of jellyfish galaxies will be valuable for further constraining ram pressure stripping and star formation quenching in nearby galaxy clusters. We show that LOFAR is a powerful instrument for identifying ram pressure stripped galaxies across extremely wide fields. Moving forward we will push the search for jellyfish galaxies beyond this initial cluster sample, including a comprehensive survey of the galaxy group regime.


title: A search for signatures of interactions of X-ray binary outflows with their environments with ALMA

abstract: We observed the X-ray binaries CirX-1, ScoX-1, GRS 1915+105, GX13+1, and CygX-1 with the Atacama Large Millimeter/submillimeter Array (ALMA). Unresolved continuum emission is found at the positions of all the sources at a frequency of 92 GHz, with flux densities ranging between 0.8 and 10 mJy/beam. In all cases the emission can be associated with jets that have been extensively observed at lower frequencies. We searched for line emission from H$\alpha$ recombination, SiO,H2O, and CH3OH at the positions of all the sources and, for CirX-1 and CygX-1, also at regions where shocks associated with an interaction between the jet and the interstellar medium had previously been observed. The search did not yield any significant detection, resulting in 3$\sigma$ upper limits between 0.65 and 3.7 K km s$^{-1}$ for the existence of line emission in these regions. In contrast, we detected spatially unresolved SiO emission in the field of view of GX13+1, and we tentatively associate this emission with a SiO maser in a potential young stellar object or evolved star. We also found spatially extended line emission at two additional sites in the field of view of GX13+1 that we tentatively associate with emission from SO and CH3OH; we speculate that it may be associated with a star-forming region, but again we cannot rule out alternative origins such as emission from evolved stars.


title: Thom condition and Monodromy

abstract: We give the definition of the Thom condition and we show that given any germ of complex analytic function $f:(X,x)\to(\mathbb{C},0)$ on a complex analytic space $X$, there exists a geometric local monodromy without fixed points, provided that $f\in\mathfrak m_{X,x}^2$, where $\mathfrak m_{X,x}$ is the maximal ideal of $\mathcal O_{X,x}$. This result generalizes a well-known theorem of the second named author when $X$ is smooth and proves a statement by Tibar in his PhD thesis. It also implies the A'Campo theorem that the Lefschetz number of the monodromy is equal to zero. Moreover, we give an application to the case that $X$ has maximal rectified homotopical depth at $x$ and show that a family of such functions with isolated critical points and constant total Milnor number has no coalescing of singularities.


title: Entangled-photon interferometry for plasmas

abstract: Sub-picosecond coincidence timing from nonlocal intensity interference of entangled photons allows quantum interferometry for plasmas. Using a warm plasma dispersion relation, we correlate phase measurement sensitivity with different plasma properties or physics mechanisms over 6 orders of magnitude. Due to $N^\alpha$ ($\alpha \leq -1/2$) scaling with the photon number $N$, quantum interferometry using entangled light can probe small signals in plasmas not previously accessible. As an example, it is predicted that plasmas will induce shifts to a Gaussian dip, a well-known quantum optics phenomenon that is yet to be demonstrated for plasmas.


title: Inducing a metal-insulator transition in disordered interacting Dirac fermion systems via an external magnetic field

abstract: We investigate metal-insulator transitions on an interacting two-dimensional Dirac fermion system using the determinant quantum Monte Carlo method. The interplay between Coulomb repulsion, disorder and magnetic fields, drives the otherwise semi-metallic regime to insulating phases exhibiting different characters. In particular, with the focus on the transport mechanisms, we uncover that their combination exhibits dichotomic effects. On the one hand, the critical Zeeman field $B_c$, responsible for triggering the band-insulating phase due to spin-polarization on the carriers, is largely reduced by the presence of the electronic interaction and quenched disorder. On the other hand, the insertion of a magnetic field induces a more effective localization of the fermions, facilitating the onset of Mott or Anderson insulating phases. Yet these occur at moderate values of $B$, and cannot be explained by the full spin-polarization of the electrons.


title: Novel logarithmic corrections to black hole entropy

abstract: For a thermodynamic system, apart from thermal fluctuations, there are also fluctuations in thermodynamic volume when the system is in contact with a volume reservoir. For the case of black holes in anti-de Sitter spacetimes, the effect of thermal fluctuations on the entropy is well studied. The aim of this work is to compute novel logarithmic corrections to black hole entropy coming from simultaneous fluctuations of energy and thermodynamic volume. We work in the isothermal-isobaric ensemble and first obtain a general form of corrections to entropy which are valid for any thermodynamic system. Applying the formalism to Kerr black holes in AdS reveals that the black hole entropy gets corrected as: $\mathcal{S} = S_0 - k \ln S_0 + \cdots$ where $S_0$ is given by the Bekenstein-Hawking formula and $k = - 1$. The same leading coefficient is also obtained in the canonical ensemble, i.e. by considering energy fluctuations alone. This coefficient is found to be unaltered in the slowly rotating and high temperature limits.


title: Exact results for the six-vertex model with domain wall boundary conditions and a partially reflecting end

abstract: The trigonometric six-vertex model with domain wall boundary conditions and one partially reflecting end on a lattice of size $2n\times m$, $m\leq n$, is considered. The partition function is computed using the Izergin-Korepin method, generalizing the result of Foda and Zarembo from the rational to the trigonometric case. Thereafter we specify the parameters in Kuperberg's way to get a formula for the number of states as a determinant of Wilson polynomials. We relate this to a type of ASM-like matrices.


title: Improved Conformer-based End-to-End Speech Recognition Using Neural Architecture Search

abstract: Recently neural architecture search(NAS) has been successfully used in image classification, natural language processing, and automatic speech recognition(ASR) tasks for finding the state-of-the-art(SOTA) architectures than those human-designed architectures. NAS can derive a SOTA and data-specific architecture over validation data from a pre-defined search space with a search algorithm. Inspired by the success of NAS in ASR tasks, we propose a NAS-based ASR framework containing one search space and one differentiable search algorithm called Differentiable Architecture Search(DARTS). Our search space follows the convolution-augmented transformer(Conformer) backbone, which is a more expressive ASR architecture than those used in existing NAS-based ASR frameworks. To improve the performance of our method, a regulation method called Dynamic Search Schedule(DSS) is employed. On a widely used Mandarin benchmark AISHELL-1, our best-searched architecture outperforms the baseline Conform model significantly with about 11% CER relative improvement, and our method is proved to be pretty efficient by the search cost comparisons.


title: Energy-Efficient Coverage Enhancement of Indoor THz-MISO Systems: An FD-NOMA Approach

abstract: Terahertz (THz) communication is gaining more interest as one of the envisioned enablers of high-data-rate short-distance indoor applications in beyond 5G networks. Moreover, non-orthogonal multiple-access (NOMA)-enabled schemes are promising schemes to realize the target spectral efficiency, low latency, and user fairness requirements in future networks. In this paper, an energy-efficient cooperative NOMA (CNOMA) scheme that guarantees the minimum required rate for the cell-edge users in an indoor THz-MISO communications network is proposed. The proposed cooperative scheme consists of three stages: (i) beamforming stage that allocates base-station (BS) beams to THz cooperating cell-center users using analog beamforming with the aid of the cosine similarity metric, (ii) user pairing stage that is tackled using the Hungarian algorithm, and (iii) power allocation stage for both the BS THz-NOMA transmit power and the cooperation power of the cooperating cell-center users, which are optimized sequentially. The obtained results quantify the energy efficiency (EE) of the proposed scheme and shed new light on the performance of multi-user THz-NOMA-enabled networks.


title: Noninertial Relativistic Symmetry

abstract: The definition of invariant time is fundamental to relativistic symmetry. Invariant time may be formulated as a degenerate orthogonal metric on a flat phase space with time, position, energy and momentum degrees of freedom that is also endowed with a symplectic metric $\omega =-d t\wedge d \varepsilon +\delta _{i,j}d q^i\wedge d p^j$. For Einstein proper time, the degenerate orthogonal metric is $d \tau^{o 2}=d t^2-\frac{1}{c^2}d q^2$ and, in the limit $c\to \infty$, becomes Newtonian absolute time, $d t^2$. We show that the the resulting symmetry group leaving $\omega$ and $d t^2$ invariant is the Jacobi group that gives the expected transformations between noninertial states defined by Hamilton's equations. The symmetry group for $\omega$ and $d \tau^{o 2}$ is the semidirect product of the Lorentz and an abelian group parameterized by the time derivative of the energy-momentum tensor that characterizes noninertial states in special relativity. This leads to the consideration of invariant time based on a nondegenerate Born metric, $d \tau^2=d t^2-\frac{1}{c^2}d q^2-\frac{1}{b^2}d p^2+\frac{1}{b^2c^2}d \varepsilon^2$. $b$ is a universal constant with dimensions of force that, with $c,\hbar$ define the dimensional scales of phase space. We determine that the symmetry group for transformations between noninertial states is essentially a noncompact unitary group. It reduces to the noninertial symmetry group for Einstein proper time in the $b\to \infty$ limit and to the noninertial symmetry group for Hamiltonian mechanics in the $b,c\to \infty$ limit. The causal cones in phase space defined by the null surfaces $d\tau^2=0$ bound the rate of change of momentum as well as position. Furthermore, spacetime is no longer an invariant subspace of phase space but depends on the noninertial state; there is neither an absolute rest state nor an absolute inertial state that all observers agree on.


title: New results by low momentum approximation from relativistic quantum mechanics equations and suggestion of experiments

abstract: A fundamental belief is that the formulism of relativistic quantum mechanics equations (RQMEs) should remain in low momentum motion. However, it is found that some formulas from RQMEs were lost in Schr\"odinger equation. For example, a free relativistic particle has positive and negative energy branches. The former includes positive kinetic energy (PKE) and the latter negative kinetic energy (NKE). The latter should be treated on an equal footing as the former. Nevertheless, from Schr\"odinger equation, a free particle can have only PKE. Starting from RQMEs and taking low momentum approximation, we derive NKE Schr\"odinger equation which is for the cases that free particles have NKE. Thus negative energy branch of RQMEs can be retained in low momentum motion. We point out a fact that whether Schr\"odinger equation is applicable in a region where a particle's energy E is less than potential V, E<V, has never been quantitatively verified. In such a region NKE Schr\"odinger equation should be employed. With the help of NKE Schr\"odinger equation, the lost formulas are recovered. The so-called difficulty of negative probability of Klein-Gordon equation for free particles is solved. A PKE (NKE) particle can have stationary motion only when it is subject to an attractive (repulsive) potential, which is determined by Virial theorem. Two NKE electrons in a potential can constitute a stablesystem, a new kind of possible mechanism for electron paring. The whole discussion stems from RQMEs with no any new postulation. Experiments are suggested, which may confirm that there are indeed NKE electrons.


title: Simiplified textures of the seesaw model for the trimaximal neutrino mixings

abstract: In the seesaw framework, in the basis of $M^{}_{\rm R}$ being diagonal, we explore the simplified textures of $M^{}_{\rm D}$ that can naturally yield the trimaximal neutrino mixings and their consequences for the neutrino parameters and leptogenesis. We first formulate the generic textures of $M^{}_{\rm D}$ that can naturally yield the trimaximal mixings and then examine if their parameters can be further reduced. Our analysis is restricted to the simple but instructive scenario that there is only one phase parameter $\phi$ responsible for both the CP violating effects at low energies and leptogenesis. Our attention is paid to the textures of $M^{}_{\rm D}$ that possess some vanishing or equal elements. On the basis of these results, we further examine if $\phi$ can also take a particular value. The consequences of the phenomenologically-viable simplified textures for the neutrino parameters and leptogenesis are studied. A concrete flavor-symmetry model that can realize one representation of them is given.


title: The arithmetic of uncertainty unifies quantum formalism and relativistic spacetime

abstract: The theories of quantum mechanics and relativity dramatically altered our understanding of the universe ushering in the era of modern physics. Quantum theory deals with objects probabilistically at small scales, whereas relativity deals classically with motion in space and time. We show here that the mathematical structures of quantum theory and of relativity follow together from pure thought, defined and uniquely constrained by the same elementary "combining and sequencing" symmetries that underlie standard arithmetic and probability. The key is uncertainty, which inevitably accompanies observation of quantity and imposes the use of pairs of numbers. The symmetries then lead directly to the use of complex "$\surd\mathord-1$" arithmetic, the standard calculus of quantum mechanics, and the Lorentz transformations of relativistic spacetime. One dimension of time and three dimensions of space are thus derived as the profound and inevitable framework of physics.


title: High-speed ionic synaptic memory based on two-dimensional titanium carbide MXene

abstract: Synaptic devices with linear high-speed switching can accelerate learning in artificial neural networks (ANNs) embodied in hardware. Conventional resistive memories however suffer from high write noise and asymmetric conductance tuning, preventing parallel programming of ANN arrays as needed to surpass conventional computing efficiency. Electrochemical random-access memories (ECRAMs), where resistive switching occurs by ion insertion into a redox-active channel address these challenges due to their linear switching and low noise. ECRAMs using two-dimensional (2D) materials and metal oxides suffer from slow ion kinetics, whereas organic ECRAMs enable high-speed operation but face significant challenges towards on-chip integration due to poor temperature stability of polymers. Here, we demonstrate ECRAMs using 2D titanium carbide (Ti3C2Tx) MXene that combines the high speed of organics and the integration compatibility of inorganic materials in a single high-performance device. Our ECRAMs combine the speed, linearity, write noise, switching energy and endurance metrics essential for parallel acceleration of ANNs, and importantly, they are stable after heat treatment needed for back-end-of-line integration with Si electronics. The high speed and performance of these ECRAMs introduces MXenes, a large family of 2D carbides and nitrides with more than 30 compositions synthesized to date, as very promising candidates for devices operating at the nexus of electrochemistry and electronics.


title: Multigraded algebras and multigraded linear series

abstract: This paper is devoted to the study of multigraded algebras and multigraded linear series. For an $\mathbb{N}^s$-graded algebra $A$, we define and study its volume function $F_A:\mathbb{N}_+^s\to \mathbb{R}$, which computes the asymptotics of the Hilbert function of $A$. We relate the volume function $F_A$ to the volume of the fibers of the global Newton-Okounkov body $\Delta(A)$ of $A$. Unlike the classical case of standard multigraded algebras, the volume function $F_A$ is not a polynomial in general. However, in the case when the algebra $A$ has a decomposable grading, we show that the volume function $F_A$ is a polynomial with non-negative coefficients. We then define mixed multiplicities in this case and provide a full characterization for their positivity. Furthermore, we apply our results on multigraded algebras to multigraded linear series. Our work recovers and unifies recent developments on mixed multiplicities. In particular, we recover results on the existence of mixed multiplicities for (not necessarily Noetherian) graded families of ideals and on the positivity of the multidegrees of multiprojective varieties.


title: Slow periodic oscillation without radiation damping: New evolution laws for rate and state friction

abstract: The dynamics of sliding friction is mainly governed by the frictional force. Previous studies have shown that the laboratory-scale friction is well described by an empirical law stated in terms of the slip velocity and the state variable. The state variable represents the detailed physicochemical state of the sliding interface. Despite some theoretical attempts to derive this friction law, there has been no unique equation for time evolution of the state variable. Major equations known to date have their own merits and drawbacks. To shed light on this problem from a new aspect, here we investigate the feasibility of periodic motion without the help of radiation damping. Assuming a patch on which the slip velocity is perturbed from the rest of the sliding interface, we prove analytically that three major evolution laws fail to reproduce stable periodic motion without radiation damping. Furthermore, we propose two new evolution equations that can produce stable periodic motion without radiation damping. These two equations are scrutinized from the viewpoint of experimental validity and the relevance to slow earthquakes.


title: Reality and super-reality: properties of a mathematical multiverse

abstract: Ever since its foundations were laid nearly a century ago, quantum theory has provoked questions about the very nature of reality. We address these questions by considering the universe, and the multiverse, fundamentally as complex patterns, or mathematical structures. Basic mathematical structures can be expressed more simply in terms of emergent parameters. Even simple mathematical structures can interact within their own structural environment, in a rudimentary form of self-awareness, which suggests a definition of reality in a mathematical structure as simply the complete structure. The absolute randomness of quantum outcomes is most satisfactorily explained by a multiverse of discrete, parallel universes. Some of these have to be identical to each other, but that introduces a dilemma, because each mathematical structure must be unique. The resolution is that the parallel universes must be embedded within a mathematical structure, the multiverse, which allows universes to be identical within themselves, but nevertheless distinct, as determined by their position in the structure. The multiverse needs more emergent parameters than our universe and so it can be considered to be a superstructure. Correspondingly, its reality can be called a super-reality. While every universe in the multiverse is part of the super-reality, the complete super-reality is forever beyond the horizon of any of its component universes.


title: Is Cosmological Tuning Fine or Coarse?

abstract: The fine-tuning of the universe for life, the idea that the constants of nature (or ratios between them) must belong to very small intervals in order for life to exist, has been debated by scientists for several decades. Several criticisms have emerged concerning probabilistic measurement of life-permitting intervals. Herein, a Bayesian statistical approach is used to assign an upper bound for the probability of tuning, which is invariant with respect to change of physical units, and under certain assumptions it is small whenever the life-permitting interval is small on a relative scale. The computation of the upper bound of the tuning probability is achieved by first assuming that the prior is chosen by the principle of maximum entropy (MaxEnt). The unknown parameters of this MaxEnt distribution are then handled in such a way that the weak anthropic principle is not violated. The MaxEnt assumption is "maximally noncommittal with regard to missing information." This approach is sufficiently general to be applied to constants of current cosmological models, or to other constants possibly under different models. Application of the MaxEnt model reveals, for example, that the ratio of the universal gravitational constant to the square of the Hubble constant is finely tuned in some cases, whereas the amplitude of primordial fluctuations is not.


title: Adaptive conversion of real-valued input into spike trains

abstract: This paper presents a biologically plausible method for converting real-valued input into spike trains for processing with spiking neural networks. The proposed method mimics the adaptive behaviour of retinal ganglion cells and allows input neurons to adapt their response to changes in the statistics of the input. Thus, rather than passively receiving values and forwarding them to the hidden and output layers, the input layer acts as a self-regulating filter which emphasises deviations from the average while allowing the input neurons to become effectively desensitised to the average itself. Another merit of the proposed method is that it requires only one input neuron per variable, rather than an entire population of neurons as in the case of the commonly used conversion method based on Gaussian receptive fields. In addition, since the statistics of the input emerge naturally over time, it becomes unnecessary to pre-process the data before feeding it to the network. This enables spiking neural networks to process raw, non-normalised streaming data. A proof-of-concept experiment is performed to demonstrate that the proposed method operates as expected.


title: Artificial neural network as a universal model of nonlinear dynamical systems

abstract: We suggest a universal map capable to recover a behavior of a wide range of dynamical systems given by ODEs. The map is built as an artificial neural network whose weights encode a modeled system. We assume that ODEs are known and prepare training datasets using the equations directly without computing numerical time series. Parameter variations are taken into account in the course of training so that the network model captures bifurcation scenarios of the modeled system. Theoretical benefit from this approach is that the universal model admits using common mathematical methods without needing to develop a unique theory for each particular dynamical equations. Form the practical point of view the developed method can be considered as an alternative numerical method for solving dynamical ODEs suitable for running on contemporary neural network specific hardware. We consider the Lorenz system, the Roessler system and also Hindmarch-Rose neuron. For these three examples the network model is created and its dynamics is compared with ordinary numerical solutions. High similarity is observed for visual images of attractors, power spectra, bifurcation diagrams and Lyapunov exponents.