title: New Difficulties for the Past Hypothesis

abstract: Many macroscopic physical processes are known to occur in a time-directed way despite the apparent time-symmetry of the known fundamental laws. A popular explanation is to postulate an unimaginably atypical state for the early universe -- a "Past Hypothesis" (PH) -- that seeds the time-asymmetry from which all others follow. I will argue that such a PH faces serious new difficulties. First I strengthen the grounds for existing criticism by providing a systematic analytic framework for assessing the status of the PH. I outline three broad categories of criticism that put into question a list of essential requirements of the proposal. The resulting analysis paints a grim picture for the prospects of providing an adequate formulation for an explicit PH. I then provide a new argument that substantively extends this criticism by showing that any time-independent measure on the space of models of the universe must necessarily break one of its gauge symmetries. The PH then faces a new dilemma: reject a gauge symmetry of the universe and introduce a distinction without difference or reject the time-independence of the measure and lose explanatory power.


title: Intercalated phosphorene for improved spintronic applications

abstract: In this work we study the intercalation of monolayer phosphorene with nitrogen, lithium and calcium for exploring prospects of spintronic applications. The electronic and the magnetic properties of the intercalated structure are investigated via density functional theory to obtain the band structure and the spin polarized density of states. Albeit the band structure data show vanishing band gap, a noticeable difference emerges in the densities of the up and the down spin states induced by the intercalants. To evaluate the performance of the intercalated phosphorene, the spintronic order parameter, measuring the asymmetry among the up and the down spin densities of states, is computed which clearly shows evolution of improved spintronic properties at large intercalant densities. Further, larger atomic numbers of the intercalants seem to aid the performance of phosphorene as a spintronic material.


title: Deep Learning in Target Space

abstract: Deep learning uses neural networks which are parameterised by their weights. The neural networks are usually trained by tuning the weights to directly minimise a given loss function. In this paper we propose to re-parameterise the weights into targets for the firing strengths of the individual nodes in the network. Given a set of targets, it is possible to calculate the weights which make the firing strengths best meet those targets. It is argued that using targets for training addresses the problem of exploding gradients, by a process which we call cascade untangling, and makes the loss-function surface smoother to traverse, and so leads to easier, faster training, and also potentially better generalisation, of the neural network. It also allows for easier learning of deeper and recurrent network structures. The necessary conversion of targets to weights comes at an extra computational expense, which is in many cases manageable. Learning in target space can be combined with existing neural-network optimisers, for extra gain. Experimental results show the speed of using target space, and examples of improved generalisation, for fully-connected networks and convolutional networks, and the ability to recall and process long time sequences and perform natural-language processing with recurrent networks.


title: Gauss Coordinates vs Currents for the Yangian Doubles of the Classical Types

abstract: We consider relations between Gauss coordinates of $T$-operators for the Yangian doubles of the classical types corresponding to the algebras $\mathfrak{g}$ of $A$, $B$, $C$ and $D$ series and the current generators of these algebras. These relations are important for the applications in the quantum integrable models related to $\mathfrak{g}$-invariant $R$-matrices and construction of the Bethe vectors in these models.


title: Cosmological constraints on the Generalized Uncertainty Principle from modified Friedmann equations

abstract: The Generalized Uncertainty Principle (GUP) has emerged in numerous attempts to a theory of quantum gravity and predicts the existence of a minimum length in Nature. In this work, we consider two cosmological models arising from Friedmann equations modified by the GUP (in its linear and quadratic formulations) and compare them with observational data. Our aim is to derive constraints on the GUP parameter and discuss the viability and physical implications of such models. We find for the parameter in the quadratic formulation the constraint $\alpha^{2}_{Q}<10^{59}$ (tighter than most of those obtained in an astrophysical context) while the linear formulation does not appear compatible with present cosmological data. Our analysis highlights the powerful role of high-precision cosmological probes in the realm of quantum gravity phenomenology.


title: Practical Online Assessment of Mathematical Proof

abstract: We discuss a practical method for assessing mathematical proof online. We examine the use of faded worked examples and reading comprehension questions to understand proof. By breaking down a given proof, we formulate a checklist that can be used to generate comprehension questions which can be assessed automatically online. We then provide some preliminary results of deploying such questions.


title: Angle-Resolved Attosecond Streaking of Twisted Attosecond Pulses

abstract: The present work focuses on the characterisation of the amount of orbital angular momentum (OAM) encoded in the twisted attosecond pulses via energy- and angle-resolved attosecond streaking in pump-probe setup. It is found that the photoelectron spectra generated by the linearly polarised twisted pulse with different OAM values exhibit angular modulations, whereas circularly polarised twisted pulse yields angular isotropic spectra. It is demonstrated that the energy- and angle-resolved streaking spectra are sensitive to the OAM values of the twisted pulse. Moreover, the different combinations of the polarisation of the twisted pump pulse and strong infrared probe pulse influence the streaking spectra differently. The characterisation of the OAM carrying twisted attosecond pulses opens up the possibility to explore helical light-matter interaction on attosecond timescale.

categories: physics.atom-ph physics.chem-ph physics.optics quant-ph


title: Estimation of the Total Mass of 10 Exoplanets and their Host Stars Based on the Primary Transit Method

abstract: In this study, ten exoplanets were studied. Their photometric observations were obtained from the ETD. After performing the data reduction steps, their parameters were obtained through Exofast online software. Then the total mass of the exoplanets and the host stars were obtained through a software that was mentioned in this study. The location of the host stars in this study was also plotted in the H-R diagram.


title: Stochastic Approximation Cut Algorithm for Inference in Modularized Bayesian Models

abstract: Bayesian modelling enables us to accommodate complex forms of data and make a comprehensive inference, but the effect of partial misspecification of the model is a concern. One approach in this setting is to modularize the model, and prevent feedback from suspect modules, using a cut model. After observing data, this leads to the cut distribution which normally does not have a closed-form. Previous studies have proposed algorithms to sample from this distribution, but these algorithms have unclear theoretical convergence properties. To address this, we propose a new algorithm called the Stochastic Approximation Cut algorithm (SACut) as an alternative. The algorithm is divided into two parallel chains. The main chain targets an approximation to the cut distribution; the auxiliary chain is used to form an adaptive proposal distribution for the main chain. We prove convergence of the samples drawn by the proposed algorithm and present the exact limit. Although SACut is biased, since the main chain does not target the exact cut distribution, we prove this bias can be reduced geometrically by increasing a user-chosen tuning parameter. In addition, parallel computing can be easily adopted for SACut, which greatly reduces computation time.


title: Cleaning and Surface Properties

abstract: Principles of the precision cleaning dedicated to ultra-high vacuum applications are reviewed together with the techniques for the evaluation of surface cleanliness. Methods to verify the effectiveness of cleaning procedures are addressed. Examples are presented to illustrate the influence of packaging and storage on the recontamination of the surface after cleaning. Finally, the effect of contamination on some relevant surface properties, such as secondary electron emission and wettability, is presented. This article is an updated and shortened version of the one previously published for the CAS school on the vacuum of accelerators 2006.


title: Stochastic Modeling of an Infectious Disease, Part I: Understand the Negative Binomial Distribution and Predict an Epidemic More Reliably

abstract: Why are the epidemic patterns of COVID-19 so different among different cities or countries which are similar in their populations, medical infrastructures, and people's behavior? Why are forecasts or predictions made by so-called experts often grossly wrong, concerning the numbers of people who get infected or die? The purpose of this study is to better understand the stochastic nature of an epidemic disease, and answer the above questions. Much of the work on infectious diseases has been based on "SIR deterministic models," (Kermack and McKendrick:1927.) We will explore stochastic models that can capture the essence of the seemingly erratic behavior of an infectious disease. A stochastic model, in its formulation, takes into account the random nature of an infectious disease. The stochastic model we study here is based on the "birth-and-death process with immigration" (BDI for short), which was proposed in the study of population growth or extinction of some biological species. The BDI process model ,however, has not been investigated by the epidemiology community. The BDI process is one of a few birth-and-death processes, which we can solve analytically. Its time-dependent probability distribution function is a "negative binomial distribution" with its parameter $r$ less than $1$. The "coefficient of variation" of the process is larger than $\sqrt{1/r} > 1$. Furthermore, it has a long tail like the zeta distribution. These properties explain why infection patterns exhibit enormously large variations. The number of infected predicted by a deterministic model is much greater than the median of the distribution. This explains why any forecast based on a deterministic model will fail more often than not.


title: Period Study by the Transit Method with Ground-Based Observations

abstract: In this study, 19 exoplanets were studied. Their photometric observations were obtained from the ETD. After performing the data reduction steps, its parameters were obtained through Exofast online software. Then calculated orbital parameters of planets and as a result, the periods of all the planets in this study match comparable with the Extrasolar Planets Encyclopedia. Also, we present Tc and Tdepth obtained from the observations. The location of the host stars in this study was also plotted in the H-R diagram.


title: Fast Algorithms for Join Operations on Tree Decompositions

abstract: Treewidth is a measure of how tree-like a graph is. It has many important algorithmic applications because many NP-hard problems on general graphs become tractable when restricted to graphs of bounded treewidth. Algorithms for problems on graphs of bounded treewidth mostly are dynamic programming algorithms using the structure of a tree decomposition of the graph. The bottleneck in the worst-case run time of these algorithms often is the computations for the so called join nodes in the associated nice tree decomposition. In this paper, we review two different approaches that have appeared in the literature about computations for the join nodes: one using fast zeta and M\"obius transforms and one using fast Fourier transforms. We combine these approaches to obtain new, faster algorithms for a broad class of vertex subset problems known as the [\sigma,\rho]-domination problems. Our main result is that we show how to solve [\sigma,\rho]-domination problems in $O(s^{t+2} t n^2 (t\log(s)+\log(n)))$ arithmetic operations. Here, t is the treewidth, s is the (fixed) number of states required to represent partial solutions of the specific [\sigma,\rho]-domination problem, and n is the number of vertices in the graph. This reduces the polynomial factors involved compared to the previously best time bound (van Rooij, Bodlaender, Rossmanith, ESA 2009) of $O( s^{t+2} (st)^{2(s-2)} n^3 )$ arithmetic operations. In particular, this removes the dependence of the degree of the polynomial on the fixed number of states~$s$.


title: Evolving, complex topography from combining centers of Gaussian curvature

abstract: Liquid crystal elastomers and glasses can have significant shape change determined by their director patterns. Cones deformed from circular director patterns have non-trivial Gaussian curvature localised at tips, curved interfaces, and intersections of interfaces. We employ a generalised metric compatibility condition to characterize two families of interfaces between circular director patterns -- hyperbolic and elliptical interfaces, and find that the deformed interfaces are geometrically compatible. We focus on hyperbolic interfaces to design complex topographies and non-isometric origami, including n-fold intersections, symmetric and irregular tilings. The large design space of three-fold and four-fold tiling is utilized to quantitatively inverse design an array of pixels to display target images. Taken together, our findings provide comprehensive design principles for the design of actuators, displays, and soft robotics in liquid crystal elastomers and glasses.


title: Jamming of multiple persistent random walkers in arbitrary spatial dimension

abstract: We consider the persistent exclusion process in which a set of persistent random walkers interact via hard-core exclusion on a hypercubic lattice in $d$ dimensions. We work within the ballistic regime whereby particles continue to hop in the same direction over many lattice sites before reorienting. In the case of two particles, we find the mean first-passage time to a jammed state where the particles occupy adjacent sites and face each other. This is achieved within an approximation that amounts to embedding the one-dimensional system in a higher-dimensional reservoir. Numerical results demonstrate the validity of this approximation, even for small lattices. The results admit a straightforward generalisation to dilute systems comprising more than two particles. A self-consistency condition on the validity of these results suggest that clusters may form at arbitrarily low densities in the ballistic regime, in contrast to what has been found in the diffusive limit.


title: Radius Study of Ten Transiting Hot Jupiter Exoplanets with Ground-Based Observations

abstract: In this research, 14 light curves of 10 hot Jupiter exoplanets available on Exoplanet Transit Database (ETD) were analyzed. We extracted the transit parameters using EXOFAST software. Finally, we compared the planet's radius parameter calculated by the EXOFAST with the value at the NASA Exoplanet Archive (NEA) using the confidence interval method. According to the results obtained from this comparison, there is an acceptable match for the planet's radius with NEA values. Also, based on the average value of 350 mm optics in this study, it shows that the results obtained using small telescopes can be very significant if there is appropriate observational skill to study more discovered planets.


title: A Unified Dual-view Model for Review Summarization and Sentiment Classification with Inconsistency Loss

abstract: Acquiring accurate summarization and sentiment from user reviews is an essential component of modern e-commerce platforms. Review summarization aims at generating a concise summary that describes the key opinions and sentiment of a review, while sentiment classification aims to predict a sentiment label indicating the sentiment attitude of a review. To effectively leverage the shared sentiment information in both review summarization and sentiment classification tasks, we propose a novel dual-view model that jointly improves the performance of these two tasks. In our model, an encoder first learns a context representation for the review, then a summary decoder generates a review summary word by word. After that, a source-view sentiment classifier uses the encoded context representation to predict a sentiment label for the review, while a summary-view sentiment classifier uses the decoder hidden states to predict a sentiment label for the generated summary. During training, we introduce an inconsistency loss to penalize the disagreement between these two classifiers. It helps the decoder to generate a summary to have a consistent sentiment tendency with the review and also helps the two sentiment classifiers learn from each other. Experiment results on four real-world datasets from different domains demonstrate the effectiveness of our model.


title: Spin-Coupling Topology in the Copper Hexamer Compounds A$_2$Cu$_3$O(SO$_4$)$_3$ (A=Na, K)

abstract: The compounds A$_2$Cu$_3$O(SO$_4$)$_3$ (A=Na, K) are characterized by copper hexamers which are weakly coupled to realize antiferromagnetic order below TN=3 K. They constitute novel quantum spin systems with S=1 triplet ground-states. We investigated the energy-level splittings of the copper hexamers by inelastic neutron scattering experiments covering the entire range of the magnetic excitation spectra. The observed transitions are governed by very unusual selection rules which we ascribe to the underlying spin-coupling topology. This is rationalized by model calculations which allow an unambiguous interpretation of the magnetic excitations concerning both the peak assignments and the nature of the spin-coupling parameters.


title: Training Multilingual Machine Translation by Alternately Freezing Language-Specific Encoders-Decoders

abstract: We propose a modular architecture of language-specific encoder-decoders that constitutes a multilingual machine translation system that can be incrementally extended to new languages without the need for retraining the existing system when adding new languages. Differently from previous works, we simultaneously train $N$ languages in all translation directions by alternately freezing encoder or decoder modules, which indirectly forces the system to train in a common intermediate representation for all languages. Experimental results from multilingual machine translation show that we can successfully train this modular architecture improving on the initial languages while falling slightly behind when adding new languages or doing zero-shot translation. Additional comparison of the quality of sentence representation in the task of natural language inference shows that the alternately freezing training is also beneficial in this direction.


title: Large Scale Audiovisual Learning of Sounds with Weakly Labeled Data

abstract: Recognizing sounds is a key aspect of computational audio scene analysis and machine perception. In this paper, we advocate that sound recognition is inherently a multi-modal audiovisual task in that it is easier to differentiate sounds using both the audio and visual modalities as opposed to one or the other. We present an audiovisual fusion model that learns to recognize sounds from weakly labeled video recordings. The proposed fusion model utilizes an attention mechanism to dynamically combine the outputs of the individual audio and visual models. Experiments on the large scale sound events dataset, AudioSet, demonstrate the efficacy of the proposed model, which outperforms the single-modal models, and state-of-the-art fusion and multi-modal models. We achieve a mean Average Precision (mAP) of 46.16 on Audioset, outperforming prior state of the art by approximately +4.35 mAP (relative: 10.4%).


title: Practical Studies for Different Methods of Lunar Occultation Timing with DSLR Cameras

abstract: There are several methods for timing occultations. Many astronomers may not have access to standard video timing tools, but many of them have access to digital single-lens reflex (DSLR) cameras. In order to increase the accuracy of timing, creative methods were investigated for the DSLR camera technique. These can be a good substitute for the less accurate visual timing method. Two methods of continuous shooting and afocal filming were examined in the experimental phase, which was calculated using maximum speed sequential photography 5 shots per second, 0.1 seconds precision and 60 frames per second shooting speed resulting in 0.0083 seconds precision timing. Two different sources of time were used for video timing: Internet clock and GPS, where GPS base results were more accurate than the Internet clock.


title: A direct construction of the Standard Brownian Motion

abstract: In this note, we combine the two approaches of Billingsley (1998) and Cs\H{o}rg\H{o} and R\'ev\'esz (1980), to provide a detailed sequential and descriptive for creating s standard Brownian motion, from a Brownian motion whose time space is the class of non-negative dyadic numbers. By adding the proof of Etemadi's inequality to text, it becomes self-readable and serves as an independent source for researches and professors.


title: A Novel Approach to Solve K-Center Problems with Geographical Placement

abstract: The facility location problem is a well-known challenge in logistics that is proven to be NP-hard. In this paper we specifically simulate the geographical placement of facilities to provide adequate service to customers. Determining reasonable center locations is an important challenge for a management since it directly effects future service costs. Generally, the objective is to place the central nodes such that all customers have convenient access to them. We analyze the problem and compare different placement strategies and evaluate the number of required centers. We use several existing approaches and propose a new heuristic for the problem. For our experiments we consider various scenarios and employ simulation to evaluate the performance of the optimization algorithms. Our new optimization approach shows a significant improvement. The presented results are generally applicable to many domains, e.g., the placement of military bases, the planning of content delivery networks, or the placement of warehouses.


title: Did have Fermat the solution? An elementary proof of his Last Theorem

abstract: We present an elementary proof of Fermat's Last Theorem. No ancillary results are used, not even the most basic ones. The proof directly leads to a contradiction of the Fermat equation in the set of integers.


title: Performance comparison between signal digitizers and low-cost digital oscilloscopes: spectroscopic, pulse shape discrimination and timing capabilities for nuclear detectors

abstract: Signal digitizers revolutionized the approach to the electronics readout of radiation detectors in Nuclear Physics. These highly specialized pieces of equipment are designed to acquire the signals that are characteristic of the detectors in nuclear physics experiments. The functions of the several modules that were once needed for signal acquisition, can now be substituted by a single digitizer. As suggested by the name, with such readout modules, signals are first digitized (i.e. the signal waveform is sampled and converted to a digital representation) and then either stored or analyzed on-the-fly. The performances can be comparable or better than the traditional analog counterparts, in terms of energy, time resolution, and acquisition rate. In this work, we investigate the use of general-purpose digital oscilloscopes as signal digitizers for nuclear detectors. In order to have a proper comparison, we employ a distributed data acquisition system (DAQ), that standardizes the interface between the hardware and the on-line data analysis. The signals, from a set of typical radiation detectors, are digitized and analyzed with the very same algorithms in order to avoid biases due to different software analysis. We compare two traditional signal digitizers (CAEN DT5725 and CAEN DT5751) to two low-cost digital oscilloscopes (Digilent Analog Discovery 2, and Red Pitaya STEMLab 125-14), in terms of their capabilities for spectroscopy (energy resolution), time resolution, pulse shape discrimination, and maximum acquisition rate.


title: Optimizing carbon tax for decentralized electricity markets using an agent-based model

abstract: Averting the effects of anthropogenic climate change requires a transition from fossil fuels to low-carbon technology. A way to achieve this is to decarbonize the electricity grid. However, further efforts must be made in other fields such as transport and heating for full decarbonization. This would reduce carbon emissions due to electricity generation, and also help to decarbonize other sources such as automotive and heating by enabling a low-carbon alternative. Carbon taxes have been shown to be an efficient way to aid in this transition. In this paper, we demonstrate how to to find optimal carbon tax policies through a genetic algorithm approach, using the electricity market agent-based model ElecSim. To achieve this, we use the NSGA-II genetic algorithm to minimize average electricity price and relative carbon intensity of the electricity mix. We demonstrate that it is possible to find a range of carbon taxes to suit differing objectives. Our results show that we are able to minimize electricity cost to below \textsterling10/MWh as well as carbon intensity to zero in every case. In terms of the optimal carbon tax strategy, we found that an increasing strategy between 2020 and 2035 was preferable. Each of the Pareto-front optimal tax strategies are at least above \textsterling81/tCO2 for every year. The mean carbon tax strategy was \textsterling240/tCO2.


title: Stripe antiferromagnetic ground state of ideal triangular lattice KErSe$_2$

abstract: Rare earth triangular lattice materials have been proposed as a good platform for the investigation of frustrated magnetic ground states. KErSe$_2$ with the delafossite structure, contains perfect two-dimensional Er$^{3+}$ triangular layers separated by potassium ions, realizing this ideal configuration and inviting study. Here we investigate the magnetism of KErSe$_2$ at miliKelvin temperatures by heat capacity and neutron powder diffraction. Heat capacity results reveal a magnetic transition at 0.2 K in zero applied field. This long-range order is suppressed by an applied magnetic field of 0.5 T below 0.08 K. Neutron powder diffraction suggests that the zero-field magnetic structure orders with $k=(\frac{1}{2},0,\frac{1}{2})$ in a stripe spin structure. Unexpectedly, Er is found to have a reduced moment of 3.06(1) $\mu_B$/Er in the ordered state and diffuse magnetic scattering, which originates at higher temperatures, is found to persist in the ordered state potentially indicating magnetic fluctuations. Neutron diffraction collected under an applied field shows a metamagnetic transition at $\sim$ 0.5 T to ferromagnetic order with $k$=(0,0,0) and two possible structures, which are likely dependent on the applied field direction. First principle calculations show that the zero field stripe spin structure can be explained by the first, second and third neighbor couplings in the antiferromagnetic triangular lattice.


title: DiscSense: Automated Semantic Analysis of Discourse Markers

abstract: Discourse markers ({\it by contrast}, {\it happily}, etc.) are words or phrases that are used to signal semantic and/or pragmatic relationships between clauses or sentences. Recent work has fruitfully explored the prediction of discourse markers between sentence pairs in order to learn accurate sentence representations, that are useful in various classification tasks. In this work, we take another perspective: using a model trained to predict discourse markers between sentence pairs, we predict plausible markers between sentence pairs with a known semantic relation (provided by existing classification datasets). These predictions allow us to study the link between discourse markers and the semantic relations annotated in classification datasets. Handcrafted mappings have been proposed between markers and discourse relations on a limited set of markers and a limited set of categories, but there exist hundreds of discourse markers expressing a wide variety of relations, and there is no consensus on the taxonomy of relations between competing discourse theories (which are largely built in a top-down fashion). By using an automatic rediction method over existing semantically annotated datasets, we provide a bottom-up characterization of discourse markers in English. The resulting dataset, named DiscSense, is publicly available.


title: Two-Timescale Optimization for Intelligent Reflecting Surface Aided D2D Underlay Communication

abstract: The performance of a device-to-device (D2D) underlay communication system is limited by the co-channel interference between cellular users (CUs) and D2D devices. To address this challenge, an intelligent reflecting surface (IRS) aided D2D underlay system is studied in this paper. A two-timescale optimization scheme is proposed to reduce the required channel training and feedback overhead, where transmit beamforming at the base station (BS) and power control at the D2D transmitter are adapted to instantaneous effective channel state information (CSI); and the IRS phase shifts are adapted to slow-varying channel mean. Based on the two-timescale optimization scheme, we aim to maximize the D2D ergodic rate subject to a given outage probability constrained signal-to-interference-plus-noise ratio (SINR) target for the CU. The two-timescale problem is decoupled into two sub-problems, and the two sub-problems are solved iteratively with closed-form expressions. Numerical results verify that the two-timescale based optimization performs better than several baselines, and also demonstrate a favorable trade-off between system performance and CSI overhead.


title: Statistical physics of social networking

abstract: In this work we make an attempt to understand social networks from a mathematical viewpoint. In the first instance we consider a network where each node representing an individual can connect with a neighbouring node with a certain probability along with connecting with individuals who are friends of friends. We find that above a particular value of a chosen combination of parameters, the probability of connection between two widely separated nodes is a scale free. We next consider a simplified case of online social media networks in which each individual adds at a friends at constant probability per unit time: friends from a suggested neighbourhood as well as from his/her friendlist. We find that in the limit of large times since formation of the network, the probability of connection between two widely separated individuals is a scale free quantity. We hence, demonstrate a different scale free facet of networks not discussed before in literature.


title: An Informal Introduction to Multiplet Neural Networks

abstract: In the artificial neuron, I replace the dot product with the weighted Lehmer mean, which may emulate different cases of a generalized mean. The single neuron instance is replaced by a multiplet of neurons which have the same averaging weights. A group of outputs feed forward, in lieu of the single scalar. The generalization parameter is typically set to a different value for each neuron in the multiplet. I further extend the concept to a multiplet taken from the Gini mean. Derivatives with respect to the weight parameters and with respect to the two generalization parameters are given. Some properties of the network are investigated, showing the capacity to emulate the classical exclusive-or problem organically in two layers and perform some multiplication and division. The network can instantiate truncated power series and variants, which can be used to approximate different functions, provided that parameters are constrained. Moreover, a mean case slope score is derived that can facilitate a learning-rate novelty based on homogeneity of the selected elements. The multiplet neuron equation provides a way to segment regularization timeframes and approaches.


title: Probability theory and public-key cryptography

abstract: In this short note, we address a common misconception at the interface of probability theory and public-key cryptography.


title: Uninitialized Capabilities

abstract: This technical report describes a new extension to capability machines. Capability machines are a special type of processors that include better security primitives at the hardware level. In capability machines, every word has an associated tag bit that indicates whether the value it contains is a capability or a regular data value. Capabilities enable fine-grained control of the authority over memory that program components have. Conceptually, capabilities can be viewed as being an unforgeable token carrying authority over a resource. CHERI is a recently developed capability machine that aims to provide fine-grained memory protection, software compartmentalization and backwards compatibility. While our ideas are implemented on CHERI, they are not limited to it and should be applicable to other capability machines as well. In this technical report we propose a new type of capabilities, which represent the authority to access (read and write to) a block of memory but not view its initial contents. Our main goal is to use this new type of capability as part of a secure calling convention, but other applications may be possible too.


title: Proof of Cramer's rule with Dirac Delta Function

abstract: We present a new proof of Cramer's rule by interpreting a system of linear equations as a transformation of $n$-dimensional Cartesian-coordinate vectors. To find the solution, we carry out the inverse transformation by convolving the original coordinate vector with Dirac delta functions and changing integration variables from the original coordinates to new coordinates. As a byproduct, we derive a generalized version of Cramer's rule that applies to a partial set of variables, which is new to our best knowledge. Our formulation of finding a transformation rule for multi-variable functions shall be particularly useful in changing a partial set of generalized coordinates of a mechanical system.


title: Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization

abstract: Combinatorial optimization has found applications in numerous fields, from aerospace to transportation planning and economics. The goal is to find an optimal solution among a finite set of possibilities. The well-known challenge one faces with combinatorial optimization is the state-space explosion problem: the number of possibilities grows exponentially with the problem size, which makes solving intractable for large problems. In the last years, deep reinforcement learning (DRL) has shown its promise for designing good heuristics dedicated to solve NP-hard combinatorial optimization problems. However, current approaches have two shortcomings: (1) they mainly focus on the standard travelling salesman problem and they cannot be easily extended to other problems, and (2) they only provide an approximate solution with no systematic ways to improve it or to prove optimality. In another context, constraint programming (CP) is a generic tool to solve combinatorial optimization problems. Based on a complete search procedure, it will always find the optimal solution if we allow an execution time large enough. A critical design choice, that makes CP non-trivial to use in practice, is the branching decision, directing how the search space is explored. In this work, we propose a general and hybrid approach, based on DRL and CP, for solving combinatorial optimization problems. The core of our approach is based on a dynamic programming formulation, that acts as a bridge between both techniques. We experimentally show that our solver is efficient to solve two challenging problems: the traveling salesman problem with time windows, and the 4-moments portfolio optimization problem. Results obtained show that the framework introduced outperforms the stand-alone RL and CP solutions, while being competitive with industrial solvers.


title: Sectionally positive curvature tensors admit a metric tensor under which they are Einstein

abstract: Let $n \geq 3$ and $R_{abcd}$ be a $(4,0)$ sectionally positive curvature-type tensor (a tensor possessing all the local symmetries of the $(4,0)$ curvature tensor). Then there exists a metric tensor $g_{ab}$ such that $R_{abcd}\; g^{bd} = g_{ac} \lambda$ for some $\lambda$. Furthermore, $g_{ab}$ is unique up to a constant factor.


title: Transport controlled by Poincar\'e orbit topology in a driven inhomogeneous lattice gas

abstract: In periodic quantum systems which are both homogeneously tilted and driven, the interplay between drive and Bloch oscillations controls transport dynamics. Using a quantum gas in a modulated optical lattice, we show experimentally that inhomogeneity of the applied force leads to a rich new variety of dynamical behaviors controlled by the drive phase, from self-parametrically-modulated Bloch epicycles to adaptive driving of transport against a force gradient to modulation-enhanced monopole modes. Matching experimental observations to fit-parameter-free numerical predictions of time-dependent band theory, we show that these phenomena can be quantitatively understood as manifestations of an underlying inhomogeneity-induced phase space structure, in which topological classification of stroboscopic Poincar\'e orbits controls the transport dynamics.


title: Classical Set Theory: Theory of Sets and Classes

abstract: This is a short introductory course to Set Theory, based on axioms of von Neumann--Bernays--G\"odel (briefly NBG). The text can be used as a base for a lecture course in Foundations of Mathematics, and contains a reasonable minimum which a good (post-graduate) student in Mathematics should know about foundations of this science.


title: The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis

abstract: The Axiom of Choice (AC for short) is the most (in)famous axiom of the usual foundations of mathematics, ZFC set theory. The (non-)essential use of AC in mathematics has been well-studied and thoroughly classified. Now, fragments of countable AC not provable in ZF have recently been used in Kohlenbach's higher-order Reverse Mathematics to obtain equivalences between closely related compactness and local-global principles. We continue this study and show that NCC, a weak choice principle provable in ZF and much weaker systems, suffices for many of these results. In light of the intimate connection between Reverse Mathematics and computability theory, we also study realisers for NCC, i.e. functionals that produce the choice functions claimed to exist by the latter from the other data. Our hubris of undertaking the hitherto underdeveloped study of the computational properties of (choice functions from) AC leads to interesting results. For instance, using Kleene's S1-S9 computation schemes, we show that various total realisers for NCC compute Kleene's $\exists^3$, a functional that gives rise to full second-order arithmetic, and vice versa. By contrast, partial realisers for NCC should be much weaker, but establishing this conjecture remains elusive. By way of catharsis, we show that the Continuum Hypothesis (CH for short) is equivalent to the existence of a countably based partial realiser for NCC. The latter kind of realiser does not compute Kleene's $\exists^3$ and is therefore strictly weaker than a total one.


title: A Multi-Task Comparator Framework for Kinship Verification

abstract: Approaches for kinship verification often rely on cosine distances between face identification features. However, due to gender bias inherent in these features, it is hard to reliably predict whether two opposite-gender pairs are related. Instead of fine tuning the feature extractor network on kinship verification, we propose a comparator network to cope with this bias. After concatenating both features, cascaded local expert networks extract the information most relevant for their corresponding kinship relation. We demonstrate that our framework is robust against this gender bias and achieves comparable results on two tracks of the RFIW Challenge 2020. Moreover, we show how our framework can be further extended to handle partially known or unknown kinship relations.


title: On graphs having one size of maximal open packings

abstract: A set $P$ of vertices in a graph $G$ is an open packing if no two distinct vertices in $P$ have a common neighbor. Among all maximal open packings in $G$, the smallest cardinality is denoted $\rho^{\rm o}_L(G)$ and the largest cardinality is $\rho^{\rm o}(G)$. There exist graphs for which these two invariants are arbitrarily far apart. In this paper we begin the investigation of the class of graphs that have one size of maximal open packings. By presenting a method of constructing such graphs we show that every graph is the induced subgraph of a graph in this class. The main result of the paper is a structural characterization of those $G$ that do not have a cycle of order less than $15$ and for which $\rho^{\rm o}_L(G)=\rho^{\rm o}(G)$.


title: Robust multivariate methods in Chemometrics

abstract: This chapter presents an introduction to robust statistics with applications of a chemometric nature. Following a description of the basic ideas and concepts behind robust statistics, including how robust estimators can be conceived, the chapter builds up to the construction (and use) of robust alternatives for some methods for multivariate analysis frequently used in chemometrics, such as principal component analysis and partial least squares. The chapter then provides an insight into how these robust methods can be used or extended to classification. To conclude, the issue of validation of the results is being addressed: it is shown how uncertainty statements associated with robust estimates, can be obtained.


title: Interacting Tsallis holographic dark energy in higher dimensional Cosmology

abstract: We discuss Tsallis holographic dark energy (THDE) model in higher dimension. An interacting dark energy model is proposed with Generalized Chaplygin Gas (GCG) in the framework of Compact Kaluza-Klein gravity. It is shown that a stable configuration can be found in the present epoch which is also compatible with the observed value of the density parameter. It is noted that dark energy (DE) might have evolved from a phantom phase in the past. Nature of dark energy is found to depend on the coupling parameter of the interaction. Classical stability consideration is also found to put an upper bound on the model parameter.


title: Anisotropic strange star with Tolman-Kuchowicz metric under $f(R,T)$ gravity

abstract: In the current article, we study anisotropic spherically symmetric strange star under the background of $f(R,T)$ gravity using the metric potentials of Tolman-Kuchowicz type~\cite{Tolman1939,Kuchowicz1968} as $\lambda(r)=\ln(1+ar^2+br^4)$ and $\nu(r)=Br^2+2\ln C$ which are free from singularity, satisfy stability criteria and also well behaved. We calculate the value of constants $a$, $b$, $B$ and $C$ using matching conditions and the observed values of the masses and radii of known samples. To describe the strange quark matter (SQM) distribution, here we have used the phenomenological MIT bag model equation of state (EOS) where the density profile ($\rho$) is related to the radial pressure ($p_r$) as $p_r(r)=\frac{1}{3}(\rho-4B_g)$. Here quark pressure is responsible for generation of bag constant $B_g$. Motivation behind this study lies in finding out a non-singular physically acceptable solution having various properties of strange stars. The model shows consistency with various energy conditions, TOV equation, Herrera's cracking condition and also with Harrison-Zel$'$dovich-Novikov's static stability criteria. Numerical values of EOS parameter and the adiabatic index also enhance the acceptability of our model.


title: Deep neural networks for inverse problems with pseudodifferential operators: an application to limited-angle tomography

abstract: We propose a novel convolutional neural network (CNN), called $\Psi$DONet, designed for learning pseudodifferential operators ($\Psi$DOs) in the context of linear inverse problems. Our starting point is the Iterative Soft Thresholding Algorithm (ISTA), a well-known algorithm to solve sparsity-promoting minimization problems. We show that, under rather general assumptions on the forward operator, the unfolded iterations of ISTA can be interpreted as the successive layers of a CNN, which in turn provides fairly general network architectures that, for a specific choice of the parameters involved, allow to reproduce ISTA, or a perturbation of ISTA for which we can bound the coefficients of the filters. Our case study is the limited-angle X-ray transform and its application to limited-angle computed tomography (LA-CT). In particular, we prove that, in the case of LA-CT, the operations of upscaling, downscaling and convolution, which characterize our $\Psi$DONet and most deep learning schemes, can be exactly determined by combining the convolutional nature of the limited angle X-ray transform and basic properties defining an orthogonal wavelet system. We test two different implementations of $\Psi$DONet on simulated data from limited-angle geometry, generated from the ellipse data set. Both implementations provide equally good and noteworthy preliminary results, showing the potential of the approach we propose and paving the way to applying the same idea to other convolutional operators which are $\Psi$DOs or Fourier integral operators.


title: Bitwuzla at the SMT-COMP 2020

abstract: In this paper, we present Bitwuzla, our Satisfiability Modulo Theories (SMT) solver for the theories of bit-vectors, floating-points, arrays and uninterpreted functions and their combinations. We discuss selected features and provide details of its configuration and participation in the 2020 edition of the annual SMT competition.


title: Star product for deformed oscillator algebra $\mathsf{Aq}(2,\nu)$

abstract: An analogue of the Moyal star product is presented for the deformed oscillator algebra. It contains several homotopy-like additional integration parameters in the multiplication kernel generalizing the differential Moyal star-product formula $\exp[i\epsilon_{\alpha\beta}\partial^\alpha \partial^\beta]$. Using Pochhammer formula, integration over these parameters is carried over a Riemann surface associated with the expression of the type $z^x (1-z)^y$ where $x$ and $y$ are arbitrary real numbers.


title: Good pivots for small sparse matrices

abstract: For sparse matrices up to size $8 \times 8$, we determine optimal choices for pivot selection in Gaussian elimination. It turns out that they are slightly better than the pivots chosen by a popular pivot selection strategy, so there is some room for improvement. We then create a pivot selection strategy using machine learning and find that it indeed leads to a small improvement compared to the classical strategy.


title: Charged charm stars

abstract: The study of the general properties and stability of charm stars with a net electric charge is performed within the MIT bag model framework. We consider two different models for the electric charge distribution and demostrate that both imply stellar configurations with larger masses and that satisfy the equilibrium condition. The dynamical stability against radial oscillations is investigated. Our results demonstrate that the eigenfrequencies are modified by the presence of a net electric charge, but the instability, previously demonstrated for the electrically neutral case, is also present in charged charm stars.


title: Positive solutions for m-point p-Laplacian fractional boundary value problem involving Riemann Liouville fractional integral boundary conditions on the half line

abstract: This paper investigates the existence of positive solutions for m-point p-Laplacian fractional boundary value problem involving Riemann Liouville fractional integral boundary conditions on the half line via the Leray-Schauder Nonlinear Alternative theorem and the use and some properties of the Green function. As an application, an example is presented to demonstrate our main result.


title: Relational Learning Analysis of Social Politics using Knowledge Graph Embedding

abstract: Knowledge Graphs (KGs) have gained considerable attention recently from both academia and industry. In fact, incorporating graph technology and the copious of various graph datasets have led the research community to build sophisticated graph analytics tools. Therefore, the application of KGs has extended to tackle a plethora of real-life problems in dissimilar domains. Despite the abundance of the currently proliferated generic KGs, there is a vital need to construct domain-specific KGs. Further, quality and credibility should be assimilated in the process of constructing and augmenting KGs, particularly those propagated from mixed-quality resources such as social media data. This paper presents a novel credibility domain-based KG Embedding framework. This framework involves capturing a fusion of data obtained from heterogeneous resources into a formal KG representation depicted by a domain ontology. The proposed approach makes use of various knowledge-based repositories to enrich the semantics of the textual contents, thereby facilitating the interoperability of information. The proposed framework also embodies a credibility module to ensure data quality and trustworthiness. The constructed KG is then embedded in a low-dimension semantically-continuous space using several embedding techniques. The utility of the constructed KG and its embeddings is demonstrated and substantiated on link prediction, clustering, and visualisation tasks.


title: A formula for the number of partitions of $n$ in terms of the partial Bell polynomials

abstract: We derive a formula for $p(n)$ (the number of partitions of $n$) in terms of the partial Bell polynomials using Fa\`{a} di Bruno's formula and Euler's pentagonal number theorem.


title: Primer on inverse semigroups I

abstract: This is an overview of the basics of inverse semigroup theory written for the Workshop on Semigroups and Categories held at the University of Ottawa in 2010.


title: Give Me Something to Eat: Referring Expression Comprehension with Commonsense Knowledge

abstract: Conventional referring expression comprehension (REF) assumes people to query something from an image by describing its visual appearance and spatial location, but in practice, we often ask for an object by describing its affordance or other non-visual attributes, especially when we do not have a precise target. For example, sometimes we say 'Give me something to eat'. In this case, we need to use commonsense knowledge to identify the objects in the image. Unfortunately, these is no existing referring expression dataset reflecting this requirement, not to mention a model to tackle this challenge. In this paper, we collect a new referring expression dataset, called KB-Ref, containing 43k expressions on 16k images. In KB-Ref, to answer each expression (detect the target object referred by the expression), at least one piece of commonsense knowledge must be required. We then test state-of-the-art (SoTA) REF models on KB-Ref, finding that all of them present a large drop compared to their outstanding performance on general REF datasets. We also present an expression conditioned image and fact attention (ECIFA) network that extract information from correlated image regions and commonsense knowledge facts. Our method leads to a significant improvement over SoTA REF models, although there is still a gap between this strong baseline and human performance. The dataset and baseline models will be released.


title: On the simulation of multicomponent and multiphase compressible flows

abstract: The following paper presents two simulation strategies for compressible two-phase or multicomponent flows. One is a full non-equilibrium model in which the pressure and velocity are driven towards the equilibrium at interfaces by numerical relaxation processes, the second is a four-equation model that assumes stiff mechanical and thermal equilibrium between phases or components. In both approaches, the thermodynamic behaviour of each fluid is modelled independently according to the stiffened-gas equations of state. The presented methods are used to simulate the de-pressurization of a pipe containing pure CO$_2$ liquid and vapour under the one-dimensional approximation.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: Bayesian Updates Compose Optically

abstract: Bayes' rule tells us how to invert a causal process in order to update our beliefs in light of new evidence. If the process is believed to have a complex compositional structure, we may ask whether composing the inversions of the component processes gives the same belief update as the inversion of the whole. We answer this question affirmatively, showing that the relevant compositional structure is precisely that of the lens pattern, and that we can think of Bayesian inversion as a particular instance of a state-dependent morphism in a corresponding fibred category. We define a general notion of (mixed) Bayesian lens, and discuss the (un)lawfulness of these lenses when their contravariant components are exact Bayesian inversions. We prove our main result both abstractly and concretely, for both discrete and continuous states, taking care to illustrate the common structures.


title: A Review on End-To-End Methods for Brain Tumor Segmentation and Overall Survival Prediction

abstract: Brain tumor segmentation intends to delineate tumor tissues from healthy brain tissues. The tumor tissues include necrosis, peritumoral edema, and active tumor. In contrast, healthy brain tissues include white matter, gray matter, and cerebrospinal fluid. The MRI based brain tumor segmentation research is gaining popularity as; 1. It does not irradiate ionized radiation like X-ray or computed tomography imaging. 2. It produces detailed pictures of internal body structures. The MRI scans are input to deep learning-based approaches which are useful for automatic brain tumor segmentation. The features from segments are fed to the classifier which predict the overall survival of the patient. The motive of this paper is to give an extensive overview of state-of-the-art jointly covering brain tumor segmentation and overall survival prediction.


title: Nonlinear, nonhomogeneous Robin problems with indefinite potential and general reaction

abstract: We consider a nonlinear elliptic equation driven by a nonhomogeneous differential operator plus an indefinite potential. On the reaction term we impose conditions only near zero. Using variational methods, together with truncation and perturbation techniques and critical groups, we produce three nontrivial solutions with sign information. In the semilinear case we improve this result by obtaining a second nodal solution for a total of four nontrivial solutions. Finally, under a symmetry condition on the reaction term, we generate a whole sequence of distinct nodal solutions.


title: A Generalizable Theory for the Reynolds Stress, Based on the Lagrangian Turbulence Transport

abstract: Using the Lagrangian transport of momentum, the Reynolds shear stress can be expressed in terms of basic turbulence parameters. In this view, the Reynolds stress gradient represents the lateral transport of streamwise momentum, balanced by the u2 transport, pressure and shear force terms in the momentum equation. We extend this formalism to other turbulence parameters such as diagonal components of the Reynolds stress, and also to more complex flows (boundary layer flows with adverse pressure gradients and pipe flows with swirl). Data from direct numerical simulations (DNS) are used to validate this full set of turbulent transport equations, exhibiting a good degree of consistency and agreement for all of the components and across different geometries. An example of the use of this full set of turbulence transport equations is shown for turbulent jet flows.


title: direpack: A Python 3 package for state-of-the-art statistical dimension reduction methods

abstract: The direpack package aims to establish a set of modern statistical dimension reduction techniques into the Python universe as a single, consistent package. The dimension reduction methods included resort into three categories: projection pursuit based dimension reduction, sufficient dimension reduction, and robust M estimators for dimension reduction. As a corollary, regularized regression estimators based on these reduced dimension spaces are provided as well, ranging from classical principal component regression up to sparse partial robust M regression. The package also contains a set of classical and robust pre-processing utilities, including generalized spatial signs, as well as dedicated plotting functionality and cross-validation utilities. Finally, direpack has been written consistent with the scikit-learn API, such that the estimators can flawlessly be included into (statistical and/or machine) learning pipelines in that framework.


title: Spin oscillations of neutrinos scattered off a rotating black hole

abstract: Spin oscillations of neutrinos, gravitationally scattered off a black hole (BH), are studied. The cases of nonrotating and rotating BHs are analyzed. We derive the analytic expressions for the transition and survival probabilities of spin oscillations when neutrinos interact with these gravitational backgrounds. The obtained transition probabilities depend on the impact parameter, as well as the neutrino energy and the particle mass. We find that there is a possibility of spin oscillations of ultrarelativistic neutrinos scattering off a rotating BH. Then, considering the neutrino scattering off BH surrounded by background matter, we derive the effective Schrodinger equation for spin oscillations. The numerical solution of this equation is obtained in the case of a supermassive BH with a realistic accretion disk. Spin effects turn out to be negligible in the neutrino scattering in the Schwarzschild metric. In the Kerr metric, we find that the observed neutrino fluxes can be reduced almost 10% because of spin oscillations when ultrarelativistic neutrinos experience gravitational scattering. The neutrino interaction with an accretion disk results in the additional modification of the intensities of outgoing neutrino fluxes. We consider the applications of the obtained results for the neutrino astronomy.


title: Minimal Theory of Isomerism -Q.Q and Other Interactions

abstract: We perform shell model calculations using a quadrupole-quadrupole interaction (Q.Q) in single a j shell space. We show that this one-parameter interaction is a good predictor of where nuclear isomerism occurs and where it does not occur. The limitations of this interaction are also discussed. We then include other interactions e.g. in the f_{7/2} shell those obtained from the (local) spectrum of a 2 particle system and then from a 2 hole system. In the g_{9/2}where there is insufficient empirical data from the 2 hole system and so various empirical interactions are used.


title: Decomposing Excess Commuting: A Monte Carlo Simulation Approach

abstract: Excess or wasteful commuting is measured as the proportion of actual commute that is over minimum (optimal) commute when assuming that people could freely swap their homes and jobs in a city. Studies usually rely on survey data to define actual commute, and measure the optimal commute at an aggregate zonal level by linear programming (LP). Travel time from a survey could include reporting errors and respondents might not be representative of the areas they reside; and the derived optimal commute at an aggregate areal level is also subject to the zonal effect. Both may bias the estimate of excess commuting. Based on the 2006-2010 Census for Transportation Planning Package (CTPP) data in Baton Rouge, Louisiana, this research uses a Monte Carlo approach to simulate individual resident workers and individual jobs within census tracts, estimate commute distance and time from journey-to-work trips, and define the optimal commute based on simulated individual locations. Findings indicate that both reporting errors and the use of aggregate zonal data contribute to miscalculation of excess commuting.


title: Mu-Tau Reflection Symmetry in the Standard Parametrization and Contributions from Charged Lepton Sector

abstract: The $\mu-\tau$ reflection symmetry of the lepton mixing matrix accommodates maximal atmospheric mixing ($\theta_{23}=\pi/4$) as well as maximal Dirac CP phase ($\delta=\pm \pi/2$) for the Dirac case. In the standard parametrization of the PMNS matrix the reflection symmetric nature is not directly visible while substituting the maximal values of the mixing parameters. This issue has been addressed in this paper. It is found that the reflection symmetry in the 'standard' PMNS matrix can be restored by allowing maximal values of the Majorana CP phases ($\alpha$, $\beta$) as well, along with maximal $\delta$. To accommodate non-maximal values of $\theta_{23}$ and $\delta$ we consider charged lepton contributions to the neutrino mixing and implement the proposed scheme of reflection symmetry in the neutrino mixing matrix. The charged lepton correction scheme succeeds in the prediction of lepton mixing parameters consistent with the global $3\nu$ oscillation data.


title: Further observations on bornological covering properties and selection principles

abstract: This article is a continuation of the study of bornological open covers and related selection principles in metric spaces done in (Chandra et al. 2020) using the idea of strong uniform convergence (Beer and Levi, 2009) on bornology. Here we explore further ramifications, presenting characterizations of various selection principles related to certain classes of bornological covers using the Ramseyan partition relations, interactive results between the cardinalities of bornological bases and certain selection principles involving bornological covers, producing new observations on the $\mathfrak{B}^s$-Hurewicz property introduced in (Chandra et al. 2020) and several results on the $\mathfrak{B}^s$-Gerlits-Nagy property of $X$ which is introduced here following the seminal work of (Gerlits and Nagy, 1982). In addition, in the finite power $X^n$ with the product bornology $\mathfrak{B}^n$, the ${\mathfrak{B}^n}^s$-Hurewicz property as well as the ${\mathfrak{B}^n}^s$-Gerlits-Nagy property of $X^n$ are characterized in terms of properties of $(C(X),\tau^s_\mathfrak{B})$ like countable fan tightness, countable strong fan tightness along with the Reznichenko's property.


title: Unsupervised Deep Learning for Optimizing Wireless Systems with Instantaneous and Statistic Constraints

abstract: Deep neural networks (DNNs) have been introduced for designing wireless policies by approximating the mappings from environmental parameters to solutions of optimization problems. Considering that labeled training samples are hard to obtain, unsupervised deep learning has been proposed to solve functional optimization problems with statistical constraints recently. However, most existing problems in wireless communications are variable optimizations, and many problems are with instantaneous constraints. In this paper, we establish a unified framework of using unsupervised deep learning to solve both kinds of problems with both instantaneous and statistic constraints. For a constrained variable optimization, we first convert it into an equivalent functional optimization problem with instantaneous constraints. Then, to ensure the instantaneous constraints in the functional optimization problems, we use DNN to approximate the Lagrange multiplier functions, which is trained together with a DNN to approximate the policy. We take two resource allocation problems in ultra-reliable and low-latency communications as examples to illustrate how to guarantee the complex and stringent quality-of-service (QoS) constraints with the framework. Simulation results show that unsupervised learning outperforms supervised learning in terms of QoS violation probability and approximation accuracy of the optimal policy, and can converge rapidly with pre-training.


title: Definition of Complexity Factor for Self-Gravitating Systems in Palatini $f(R)$ Gravity

abstract: The aim of this paper is to explore the complexity factor (CF) for those self-gravitating relativistic spheres whose evolution proceeds non-dynamically. We are adopting the definition of CF mentioned in \cite{PhysRevD.97.044010}, modifying it to the static spherically symmetric case, within the framework of a modified gravity theory (the Palatini $f(R)$ theory). In this respect, we have considered radial dependent anisotropic matter content coupled with spherical geometry and determined the complexity factor involved in the patterns of radial evolution. We shall explore the field and a well-known Tolman-Oppenheimer-Volkoff equations. After introducing structure scalars from the orthogonal decomposition of the Riemann tensor, we shall calculate complexity factor. An exact analytical model is presented by considering firstly ansatz provided by Gokhroo and Mehra. The role of matter variables and $f(R)$ terms are analyzed in the structure formation as well as their evolution through a complexity factor.


title: New Analytic Solutions for Galaxy Evolution II: Wind Recycling, Galactic Fountains and Late-Type Galaxies

abstract: We generalize the analytic solutions presented in Pantoni et al. (2019) by including a simple yet effective description of wind recycling and galactic fountains, with the aim of self-consistently investigating the spatially-averaged time evolution of the gas, stellar, metal, and dust content in disc-dominated late-type galaxies (LTGs). Our analytic solutions, when supplemented with specific prescriptions for parameter setting and with halo accretion rates from $N-$body simulations, can be exploited to reproduce the main statistical relationships followed by local LTGs; these involve, as a function of the stellar mass, the star formation efficiency, the gas mass fraction, the gas/stellar metallicity, the dust mass, the star formation rate, the specific angular momentum, and the overall mass/metal budget. Our analytic solutions allow to easily disentangle the diverse role of the main physical processes ruling galaxy formation in LTGs; in particular, we highlight the crucial relevance of wind recycling and galactic fountains in efficiently refurnishing the gas mass, extending the star-formation timescale, and boosting the metal enrichment in gas and stars. All in all, our analytic solutions constitute a transparent, handy, and fast tool that can provide a basis for improving the (subgrid) physical recipes presently implemented in more sophisticated semi-analytic models and numerical simulations, and can offer a benchmark for interpreting and forecasting current and future spatially-averaged observations of local and higher redshift LTGs.


title: Learning Efficient Representations of Mouse Movements to Predict User Attention

abstract: Tracking mouse cursor movements can be used to predict user attention on heterogeneous page layouts like SERPs. So far, previous work has relied heavily on handcrafted features, which is a time-consuming approach that often requires domain expertise. We investigate different representations of mouse cursor movements, including time series, heatmaps, and trajectory-based images, to build and contrast both recurrent and convolutional neural networks that can predict user attention to direct displays, such as SERP advertisements. Our models are trained over raw mouse cursor data and achieve competitive performance. We conclude that neural network models should be adopted for downstream tasks involving mouse cursor movements, since they can provide an invaluable implicit feedback signal for re-ranking and evaluation.


title: Interpretation of ResNet by Visualization of Preferred Stimulus in Receptive Fields

abstract: One of the methods used in image recognition is the Deep Convolutional Neural Network (DCNN). DCNN is a model in which the expressive power of features is greatly improved by deepening the hidden layer of CNN. The architecture of CNNs is determined based on a model of the visual cortex of mammals. There is a model called Residual Network (ResNet) that has a skip connection. ResNet is an advanced model in terms of the learning method, but it has not been interpreted from a biological viewpoint. In this research, we investigate the receptive fields of a ResNet on the classification task in ImageNet. We find that ResNet has orientation selective neurons and double opponent color neurons. In addition, we suggest that some inactive neurons in the first layer of ResNet affect the classification task.


title: Constraining modified gravity from tidal phenomena in binary stars

abstract: In beyond-Horndeski theories of gravity, the Vainshtein screening mechanism might only be partially effective inside stellar objects. This results in a modification of the pressure balance equation inside stars, often characterized by a single parameter ($\Upsilon$) in isotropic systems. We show how to constrain such theories of modified gravity, using tidal effects. We study such effects in cataclysmic variable star binaries and numerically obtain limits on the critical masses of the donor stars, below which they are tidally disrupted, by modeling them in beyond-Horndeski theories. This is contrasted with values of the donor masses, obtained using existing observational data, by a Monte Carlo error progression method. A best fit scenario of the two yields a parametric constraint in the theories that we consider, within the approximations used. Here, we obtain the allowed range $ 0 \le \Upsilon \le 0.47 $.


title: Beam-beam effects in the Super Proton-Proton Collider

abstract: The Supper Proton-Proton Collider is a next-generation hadron collider that is now being designed. A baseline design aims for a peak luminosity of about 1*10^35 cm^-2 s^-1. The focus of this article is the effect of beam-beam interactions which are expected to strongly influence stability in the beams. We start with a discussion of a scheme to generate the crossing angles at the interaction points while also correcting the dispersion thus created. The optics constraints on the achievable \b{eta}* were studied. Weak-strong simulations were performed to study single particle dynamics via tune footprints, frequency map analysis and dynamic aperture calculations. The long-range interactions with the smallest separations are shown to determine the dynamic aperture. Empirical scaling laws for the dependence of the dynamic aperture on the transverse separations and on the number of long-range interactions are found. A tune scan shows several alternative working points with slightly better dynamic aperture than the baseline choice. Finally an option to significantly increase the dynamic aperture by increasing the crossing angle for different choices of \b{eta}* was studied.


title: Mapping reactor neutrino spectra from TAO to JUNO

abstract: The Jiangmen Underground Neutrino Observatory (JUNO) project aims at probing, at the same time, the two main frequencies of three-flavor neutrino oscillations, as well as their interference related to the mass ordering (normal or inverted), at a distance of ~53 km from two powerful reactor complexes in China, at Yangjiang and Taishan. In the latter complex, the unoscillated spectrum from one reactor core is planned to be closely monitored by the Taishan Antineutrino Observatory (TAO), expected to have better resolution (x 1/2) and higher statistics (x 30) than JUNO. In the context of neutrino energy spectra endowed with fine-structure features from summation calculations, we analyze in detail the effects of energy resolution and nucleon recoil on observable event spectra. We show that a model spectrum in TAO can be mapped into a corresponding spectrum in JUNO through appropriate convolutions. The mapping is exact in the hypothetical case without oscillations, and holds to a very good accuracy in the real case with oscillations. We then analyze the sensitivity to mass ordering of JUNO (and its precision oscillometry capabilities) assuming a single reference spectrum, as well as bundles of variant spectra, as obtained by changing nuclear input uncertainties in summation calculations from a publicly available toolkit. We show through a chi-squared analysis that variant spectra induce little reduction of the sensitivity in JUNO, especially when TAO constraints are included. Subtle aspects of the statistical analysis of variant spectra are also discussed.


title: Deformation theory of Cohomological Field Theories

abstract: We develop the deformation theory of cohomological field theories (CohFTs), which is done as a special case of a general deformation theory of morphisms of modular operads. This leads us to introduce two new natural extensions of the notion of a CohFT: homotopical (necessary to structure chain-level Gromov--Witten invariants) and quantum (with examples found in the works of Buryak--Rossi on integrable systems). We introduce a new version of Kontsevich's graph complex, enriched with tautological classes on the moduli spaces of stable curves. We use it to study a new universal deformation group which acts naturally on the moduli spaces of quantum homotopy CohFTs, by methods due to Merkulov--Willwacher. This group is shown to contain both the prounipotent Grothendieck--Teichm\"uller group and the Givental group.


title: Model-Based Compensation of Moving Tissue for State Recognition in Robotic-Assisted Pedicle Drilling

abstract: Drilling is one of the hardest parts of pedicle screw fixation, and it is one of the most dangerous operations because inaccurate screw placement would injury vital tissues, particularly when the vertebra is not stationary. Here we demonstrate the drilling state recognition method for moving tissue by compensating the displacement based on a simplified motion predication model of a vertebra with respect to the tidal volume. To adapt it to different patients, the prediction model was built based on the physiological data recorded from subjects themselves. In addition, the spindle speed of the drilling tool was investigated to find a suitable speed for the robotic-assisted system. To ensure patient safety, a monitoring system was built based on the thrusting force and tracked position information. Finally, experiments were carried out on a fresh porcine lamellar bone fixed on a 3-PRS parallel robot used to simulate the vertebra displacement. The success rate of the robotic-assisted drilling procedure reached 95% when the moving bone was compensated.


title: DAPES: Named Data for Off-the-Grid File Sharing with Peer-to-Peer Interactions

abstract: This paper introduces DAta-centric Peer-to-peer filE Sharing (DAPES), a data sharing protocol for scenarios with intermittent connectivity and user mobility. DAPES provides a set of semantically meaningful hierarchical naming abstractions that facilitate the exchange of file collections via local connectivity. This enables peers to "make the most" out of the limited connection time with other peers by maximizing the utility of individual transmissions to provide data missing by most connected peers. DAPES runs on top of Named-Data Networking (NDN) and extends NDN's data-centric network layer abstractions to achieve communication over multiple wireless hops through an adaptive hop-by-hop forwarding/suppression mechanism. We have evaluated DAPES through real-world experiments in an outdoor campus setting and extensive simulations. Our results demonstrate that DAPES achieves 50-71% lower overheads and 15-33% lower file sharing delays compared to file sharing solutions that rely on IP-based mobile ad-hoc routing.


title: Electron tomography for functional nanomaterials

abstract: Modern nanomaterials contain complexity that spans all three dimensions - from multigate semiconductors to clean energy nanocatalysts to complex block copolymers. For nanoscale characterization, it has been a long-standing goal to observe and quantify the three-dimensional (3D) structure - not just surfaces, but the entire internal volume and the chemical arrangement. Electron tomography estimates the complete 3D structure of nanomaterials from a series of two-dimensional projections taken across many viewing angles. Since its first introduction in 1968, electron tomography has progressed substantially in resolution, dose, and chemical sensitivity. In particular, scanning transmission electron microscope tomography has greatly enhanced the study of 3D nanomaterials by providing quantifiable internal morphology and spectroscopic detection of elements. Combined with recent innovations in computational reconstruction algorithms and 3D visualization tools, scientists can interactively dissect volumetric representations and extract meaningful statistics of specimens. This article highlights the maturing field of electron tomography and the widening scientific applications that utilize 3D structural, chemical, and functional imaging at the nanometer and subnanometer length scales.


title: Compact Multi-Spectral Pushframe Camera for Nano-Satellites

abstract: In this paper we present an evolution of the single-pixel camera architecture, called 'pushframe', which addresses the limitations of pushbroom cameras in space-based applications. In particular, it is well-suited to observing fast moving scenes while retaining high spatial resolution and sensitivity. We show that the system is capable of producing colour images with good fidelity and scalable resolution performance. The principle of our design places no restriction on the spectral range to be captured, making it suitable for wide infrared imaging.


title: On a linearized Mullins-Sekerka/Stokes system for two-phase flows

abstract: We study a linearized Mullins-Sekerka/Stokes system in a bounded domain with various boundary conditions. This system plays an important role to prove the convergence of a Stokes/Cahn-Hilliard systemto its sharp interface limit, which is a Stokes/Mullins-Sekerka system, and to prove solvability of the latter system locally in time. We prove solvability of the linearized system in suitable $L^2$-Sobolev spaces with the aid of a maximal regularity result for non-autonomous abstract linear evolution equations.


title: Hot Subdwarf Stars Identified in Gaia DR2 with Spectra of LAMOST DR6 and DR7. II. Kinematics

abstract: Combining the LAMOST radial velocities with Gaia parallaxes and proper motions, we presented 3D Galactic space motions and the orbits of 182 single-lined hot subdwarf stars. These stars have been identified by Lei et al. (2020) in Gaia DR2 with LAMOST DR6 and DR7 spectra. He-rich hot subdwarf stars with log(y)>0 show the largest standard deviations of the Galactic velocity components and orbital parameters, while those with -1<log(y)<0 exhibit the second largest standard deviations. The two groups of He-deficient stars with log(y)<-1 show similar standard deviations, which is systematically lower compared to He-rich stars. We also presented a kinematic population classification of the four hot subdwarf helium groups based on their positions in the U-V velocity diagram, J_z-eccentricity diagram and their Galactic orbits. The overall tendency of the fractional distributions of the four hot subdwarf helium groups in the halo, thin disk and thick disk is largely consistent with the findings reported by Luo et al.(2019) based on LAMOST DR5, which appears to support the predictions of binary population synthesis (Han et al. 2003; 2008). He-deficient stars with -2.2<log(y)<-1 likely origin from stable the Roche lobe overflow channel, He-deficient stars with log(y)<-2.2 from the common envelope ejection channel, and He-rich stars with log(y)>0 from the merger channel of double He white dwarf stars. The fraction of He-rich hot subdwarf stars with -1<log(y)<0 in the thin disk and the halo are far higher than in the thick disk, which implies that these stars have different formation channels in the thin disk and in the halo.


title: Fabrication of magnetocaloric La(Fe,Si)$_{13}$ thick films

abstract: La(Fe,Si)$_{13}$-based compounds are considered to be very promising magnetocaloric materials for magnetic refrigeration applications. Many studies have focused on this material family but only in bulk form. In this paper, we report the fabrication of thick films of La(Fe,Si)$_{13}$, both with and without post-hydriding. These films exhibit magnetic and structural properties comparable to those of bulk materials. We also observe that the ferromagnetic phase transition has a negative thermal hysteresis, a phenomenon not previously found in this material but which may have its origins in the availability of a strain energy reservoir, as in the cases of other materials in which negative thermal hysteresis has been found. Here, it appears that the substrate acts to store strain energy. Our exploratory study demonstrates the viability of thick films of the La(Fe,Si)$_{13}$ phase and motivates further work in the area, while showing that additional perspectives can be gained from reducing the dimensionality of magnetocaloric materials in which the magneto-volume effect is large.


title: Revealing Hidden Orbital Pseudospin Texture with Time-Reversal Dichroism in Photoelectron Angular Distributions

abstract: We performed angle-resolved photoemission spectroscopy (ARPES) of bulk 2H-WSe$_2$ for different crystal orientations linked to each other by time-reversal symmetry. We introduce a new observable called time-reversal dichroism in photoelectron angular distributions (TRDAD), which quantifies the modulation of the photoemission intensity upon effective time-reversal operation. We demonstrate that the hidden orbital pseudospin texture leaves its imprint onto TRDAD, due to multiple orbitals interference effects in photoemission. Our experimental results are in quantitative agreement with both tight-binding model and state-of-the-art fully relativistic calculations performed using the one-step model of photoemission. While spin-resolved ARPES probes the spin component of entangled spin-orbital texture in multiorbital systems, we unambiguously demonstrate that TRDAD reveals its orbital pseudospin texture counterpart.


title: Unsupervised Sparse-view Backprojection via Convolutional and Spatial Transformer Networks

abstract: Many imaging technologies rely on tomographic reconstruction, which requires solving a multidimensional inverse problem given a finite number of projections. Backprojection is a popular class of algorithm for tomographic reconstruction, however it typically results in poor image reconstructions when the projection angles are sparse and/or if the sensors characteristics are not uniform. Several deep learning based algorithms have been developed to solve this inverse problem and reconstruct the image using a limited number of projections. However these algorithms typically require examples of the ground-truth (i.e. examples of reconstructed images) to yield good performance. In this paper, we introduce an unsupervised sparse-view backprojection algorithm, which does not require ground-truth. The algorithm consists of two modules in a generator-projector framework; a convolutional neural network and a spatial transformer network. We evaluated our algorithm using computed tomography (CT) images of the human chest. We show that our algorithm significantly out-performs filtered backprojection when the projection angles are very sparse, as well as when the sensor characteristics vary for different angles. Our approach has practical applications for medical imaging and other imaging modalities (e.g. radar) where sparse and/or non-uniform projections may be acquired due to time or sampling constraints.


title: Surprisal-Triggered Conditional Computation with Neural Networks

abstract: Autoregressive neural network models have been used successfully for sequence generation, feature extraction, and hypothesis scoring. This paper presents yet another use for these models: allocating more computation to more difficult inputs. In our model, an autoregressive model is used both to extract features and to predict observations in a stream of input observations. The surprisal of the input, measured as the negative log-likelihood of the current observation according to the autoregressive model, is used as a measure of input difficulty. This in turn determines whether a small, fast network, or a big, slow network, is used. Experiments on two speech recognition tasks show that our model can match the performance of a baseline in which the big network is always used with 15% fewer FLOPs.


title: Evidence of Flat Bands and Correlated States in Buckled Graphene Superlattices

abstract: Two-dimensional atomic crystals can radically change their properties in response to external influences such as substrate orientation or strain, resulting in essentially new materials in terms of the electronic structure. A striking example is the creation of flat-bands in bilayer-graphene for certain 'magic' twist-angles between the orientations of the two layers. The quenched kinetic-energy in these flat-bands promotes electron-electron interactions and facilitates the emergence of strongly-correlated phases such as superconductivity and correlated-insulators. However, the exquisite fine-tuning required for finding the magic-angle where flat-bands appear in twisted-bilayer graphene, poses challenges to fabrication and scalability. Here we present an alternative route to creating flat-bands that does not involve fine tuning. Using scanning tunneling microscopy and spectroscopy, together with numerical simulations, we demonstrate that graphene monolayers placed on an atomically-flat substrate can be forced to undergo a buckling-transition, resulting in a periodically modulated pseudo-magnetic field, which in turn creates a post-graphene material with flat electronic bands. Bringing the Fermi-level into these flat-bands by electrostatic doping, we observe a pseudogap-like depletion in the density-of-states, which signals the emergence of a correlated-state. The described approach of 2D crystal buckling offers a strategy for creating other superlattice systems and, in particular, for exploring interaction phenomena characteristic of flat-bands.


title: Probing divacancy defects in a zigzag graphene nanoribbon through RKKY exchange interaction

abstract: We investigate the effect of vacancy defects on the electronic and magnetic properties of zigzag graphene nanoribbons (zGNRs) by making use of the Green's function formalism in combination with the tight-binding Hamiltonian. The evolution of the indirect exchange coupling, known as Ruderman-Kittel-Kasuya-Yosida (RKKY) interaction, including single, double, and multiple 5-8-5 divacancy defects is explained. Our numerical calculations show that the changes in the electronic structure and the exchange coupling of zGNRs depend significantly on the location of the divacancy defects with respect to the ribbon edges and on the number of the divacancy defects. In the case both the impurities are located on the edge, the magnitude of the exchange coupling is several orders of magnitude strengthen that result when they are placed on the interior of the nanoribbon. Furthermore, a periodic divacancy causes a dramatic change in the magnetic ground state of the ribbon. In the limit of high vacancy potential, the strength of the RKKY interaction is approximately independent of the Fermi energy.


title: Tree-Projected Gradient Descent for Estimating Gradient-Sparse Parameters on Graphs

abstract: We study estimation of a gradient-sparse parameter vector $\boldsymbol{\theta}^* \in \mathbb{R}^p$, having strong gradient-sparsity $s^*:=\|\nabla_G \boldsymbol{\theta}^*\|_0$ on an underlying graph $G$. Given observations $Z_1,\ldots,Z_n$ and a smooth, convex loss function $\mathcal{L}$ for which $\boldsymbol{\theta}^*$ minimizes the population risk $\mathbb{E}[\mathcal{L}(\boldsymbol{\theta};Z_1,\ldots,Z_n)]$, we propose to estimate $\boldsymbol{\theta}^*$ by a projected gradient descent algorithm that iteratively and approximately projects gradient steps onto spaces of vectors having small gradient-sparsity over low-degree spanning trees of $G$. We show that, under suitable restricted strong convexity and smoothness assumptions for the loss, the resulting estimator achieves the squared-error risk $\frac{s^*}{n} \log (1+\frac{p}{s^*})$ up to a multiplicative constant that is independent of $G$. In contrast, previous polynomial-time algorithms have only been shown to achieve this guarantee in more specialized settings, or under additional assumptions for $G$ and/or the sparsity pattern of $\nabla_G \boldsymbol{\theta}^*$. As applications of our general framework, we apply our results to the examples of linear models and generalized linear models with random design.


title: Pseudo-Primary, Classical Prime and Pseudo-Classical Primary Elements in Lattice Modules

abstract: In this paper, we introduce the notion of pseudo-primary elements and pseudo-classical primary elements in an $L$-module $M$ and obtain their characterizations. The aim of the paper is to show $rad(N)\in M$, the radical of $N\in M$ is prime if $N$ is either pseudo-primary or pseudo-classical primary. Also, we study classical prime elements of an $L$-module $M$ to obtain many of its characterizations and its properties.


title: Turing Instability in an Economic-Demographic Dynamical System Can Lead to Pattern Formation on Geographical Scale

abstract: Spatial distribution of the human population is distinctly heterogeneous, e.g. showing significant difference in the population density between urban and rural areas. In the historical perspective, i.e. on the timescale of centuries, the emergence of the densely populated areas at their present locations is widely believed to be linked to more favourable environmental and climatic conditions. In this paper, we challenge this point of view. We first identify a few areas at different parts of the world where the environmental conditions (quantified by the temperature, precipitation and elevation) are approximately uniform over thousands of miles. We then examine the population distribution across those areas to show that, in spite of the homogeneity of the environment, it exhibits a clear nearly-periodic spatial pattern. Based on this apparent disagreement, we hypothesize that there exists an inherent mechanism that can lead to pattern formation even in a uniform environment. We consider a mathematical model of the coupled demographic-economic dynamics and show that its spatially uniform, locally stable steady state can give rise to a periodic spatial pattern due to the Turing instability. Using computer simulations, we show that, interestingly, the emergence of the Turing patterns eventually leads to the system collapse.


title: On the Convergence of Nested Decentralized Gradient Methods with Multiple Consensus and Gradient Steps

abstract: In this paper, we consider minimizing a sum of local convex objective functions in a distributed setting, where the cost of communication and/or computation can be expensive. We extend and generalize the analysis for a class of nested gradient-based distributed algorithms (NEAR-DGD; Berahas, Bollapragada, Keskar and Wei, 2018) to account for multiple gradient steps at every iteration. We show the effect of performing multiple gradient steps on the rate of convergence and on the size of the neighborhood of convergence, and prove R-Linear convergence to the exact solution with a fixed number of gradient steps and increasing number of consensus steps. We test the performance of the generalized method on quadratic functions and show the effect of multiple consensus and gradient steps in terms of iterations, number of gradient evaluations, number of communications and cost.


title: Nervous Excitability dynamics in a multisensory syndrome and its similitude with a normal state. Scaling Laws

abstract: In the context of increased number of works published on multisensory and cross-modal effects, we review a cortical multisensory syndrome (called central syndrome) associated with a unilateral parieto-occipital lesion in a rather unspecific (or multisensory) zone of the cortex. The patients with this syndrome suffered from bilateral and symmetric multisensory disorders dependent on the extent of nervous mass lost and the intensity of the stimulus. They also presented cross-modal effects. A key point is the similitude of this syndrome with a normal state, since this syndrome would be the result of a scale reduction in brain excitability. The first qualities lost when the nervous excitation diminishes are the most complex ones, following allometric laws proper of a dynamic system. The inverted perception (visual, tactile, auditive) in this syndrome is compared to other cases of visual inversion reported in the literature. We focus on the capability of improving perception by intensifying the stimulus or by means of another type of stimulus (cross-modal), muscular effort being one of the most efficient and least known means. This capability is greater when nervous excitability deficit (lesion) is greater and when the primary stimulus is weaker. Thus, in a normal subject, this capability is much weaker although perceptible for functions with high excitability demand. We also review the proposed scheme of functional cortical gradients whereby the specificity of the cortex is distributed with a continuous variation leading to a brain dynamics model accounting for multisensory or cross-modal interactions. Perception data (including cross-modal effects) in this syndrome are fitted using Stevens' power law which we relate to the allometric scaling power laws dependent on the active neural mass, which seem to be the laws governing many biological neural networks.


title: Interpretable Time Series Classification using Linear Models and Multi-resolution Multi-domain Symbolic Representations

abstract: The time series classification literature has expanded rapidly over the last decade, with many new classification approaches published each year. Prior research has mostly focused on improving the accuracy and efficiency of classifiers, with interpretability being somewhat neglected. This aspect of classifiers has become critical for many application domains and the introduction of the EU GDPR legislation in 2018 is likely to further emphasize the importance of interpretable learning algorithms. Currently, state-of-the-art classification accuracy is achieved with very complex models based on large ensembles (COTE) or deep neural networks (FCN). These approaches are not efficient with regard to either time or space, are difficult to interpret and cannot be applied to variable-length time series, requiring pre-processing of the original series to a set fixed-length. In this paper we propose new time series classification algorithms to address these gaps. Our approach is based on symbolic representations of time series, efficient sequence mining algorithms and linear classification models. Our linear models are as accurate as deep learning models but are more efficient regarding running time and memory, can work with variable-length time series and can be interpreted by highlighting the discriminative symbolic features on the original time series. We show that our multi-resolution multi-domain linear classifier (mtSS-SEQL+LR) achieves a similar accuracy to the state-of-the-art COTE ensemble, and to recent deep learning methods (FCN, ResNet), but uses a fraction of the time and memory required by either COTE or deep models. To further analyse the interpretability of our classifier, we present a case study on a human motion dataset collected by the authors. We release all the results, source code and data to encourage reproducibility.


title: Variational Inference and Learning of Piecewise-linear Dynamical Systems

abstract: Modeling the temporal behavior of data is of primordial importance in many scientific and engineering fields. Baseline methods assume that both the dynamic and observation equations follow linear-Gaussian models. However, there are many real-world processes that cannot be characterized by a single linear behavior. Alternatively, it is possible to consider a piecewise-linear model which, combined with a switching mechanism, is well suited when several modes of behavior are needed. Nevertheless, switching dynamical systems are intractable because of their computational complexity increases exponentially with time. In this paper, we propose a variational approximation of piecewise linear dynamical systems. We provide full details of the derivation of two variational expectation-maximization algorithms, a filter and a smoother. We show that the model parameters can be split into two sets, static and dynamic parameters, and that the former parameters can be estimated off-line together with the number of linear modes, or the number of states of the switching variable. We apply the proposed method to a visual tracking problem, namely head-pose tracking, and we thoroughly compare our algorithm with several state of the art trackers.


title: Asymptotic Plateau Problem in H^2xR: Tall Curves

abstract: We study the asymptotic Plateau problem in $\BHH$ for area minimizing surfaces, and give a fairly complete solution for finite curves.


title: Counting odd cycle free orientations of graphs

abstract: In this short note we determine the maximum number, over all $n$-vertex graphs $G$, of orientations of $G$ containing no strongly connected cycle $C_{2k+1}$. This answers a part of a recent question of Araujo, Botler and Mota.