title: Combining Convolution and Recursive Neural Networks for Sentiment Analysis

abstract: This paper addresses the problem of sentence-level sentiment analysis. In recent years, Convolution and Recursive Neural Networks have been proven to be effective network architecture for sentence-level sentiment analysis. Nevertheless, each of them has their own potential drawbacks. For alleviating their weaknesses, we combined Convolution and Recursive Neural Networks into a new network architecture. In addition, we employed transfer learning from a large document-level labeled sentiment dataset to improve the word embedding in our models. The resulting models outperform all recent Convolution and Recursive Neural Networks. Beyond that, our models achieve comparable performance with state-of-the-art systems on Stanford Sentiment Treebank.


title: Ear Recognition With Score-Level Fusion Based On CMC In Long-Wave Infrared Spectrum

abstract: Only a few studies have been reported regarding human ear recognition in long wave infrared band. Thus, we have created ear database based on long wave infrared band. We have called that the database is long wave infrared band MIDAS consisting of 2430 records of 81 subjects. Thermal band provides seamless operation both night and day, robust against spoofing with understanding live ear and invariant to illumination conditions for human ear recognition. We have proposed to use different algorithms to reveal the distinctive features. Then, we have reduced the number of dimensions using subspace methods. Finally, the dimension of data is reduced in accordance with the classifier methods. After this, the decision is determined by the best sores or combining some of the best scores with matching fusion. The results have showed that the fusion technique was successful. We have reached 97.71% for rank-1 with 567 test probes. Furthermore, we have defined the perfect rank which is rank number when recognition rate reaches 100% in cumulative matching curve. This evaluation is important for especially forensics, for example corpse identification, criminal investigation etc.


title: Solving for multi-class using orthogonal coding matrices

abstract: A common method of generalizing binary to multi-class classification is the error correcting code (ECC). ECCs may be optimized in a number of ways, for instance by making them orthogonal. Here we test two types of orthogonal ECCs on seven different datasets using three types of binary classifier and compare them with three other multi-class methods: 1 vs. 1, one-versus-the-rest and random ECCs. The first type of orthogonal ECC, in which the codes contain no zeros, admits a fast and simple method of solving for the probabilities. Orthogonal ECCs are always more accurate than random ECCs as predicted by recent literature. Improvments in uncertainty coefficient (U.C.) range between 0.4--17.5% (0.004--0.139, absolute), while improvements in Brier score between 0.7--10.7%. Unfortunately, orthogonal ECCs are rarely more accurate than 1 vs. 1. Disparities are worst when the methods are paired with logistic regression, with orthogonal ECCs never beating 1 vs. 1. When the methods are paired with SVM, the losses are less significant, peaking at 1.5%, relative, 0.011 absolute in uncertainty coefficient and 6.5% in Brier scores. Orthogonal ECCs are always the fastest of the five multi-class methods when paired with linear classifiers. When paired with a piecewise linear classifier, whose classification speed does not depend on the number of training samples, classifications using orthogonal ECCs were always more accurate than the other methods and also faster than 1 vs. 1. Losses against 1 vs. 1 here were higher, peaking at 1.9% (0.017, absolute), in U.C. and 39% in Brier score. Gains in speed ranged between 1.1% and over 100%. Whether the speed increase is worth the penalty in accuracy will depend on the application.


title: A Multi-Biometrics for Twins Identification Based Speech and Ear

abstract: The development of technology biometrics becomes crucial more. To define human characteristic biometric systems are used but because of inability of traditional biometric systems to recognize twins, multimodal biometric systems are developed. In this study a multimodal biometric recognition system is proposed to recognize twins from each other and from the other people by using image and speech data. The speech or image data can be enough to recognize people from each other but twins cannot be distinguished with one of these data. Therefore a robust recognition system with the combine of speech and ear images is needed. As database, the photos and speech data of 39 twins are used. For speech recognition MFCC and DTW algorithms are used. Also, Gabor filter and DCVA algorithms are used for ear identification. Multi-biometrics success rate is increased by making matching score level fusion. Especially, rank-5 is reached 100%. We think that speech and ear can be complementary. Therefore, it is result that multi-biometrics based speech and ear is effective for human identifications.


title: Aligned to the Object, not to the Image: A Unified Pose-aligned Representation for Fine-grained Recognition

abstract: Dramatic appearance variation due to pose constitutes a great challenge in fine-grained recognition, one which recent methods using attention mechanisms or second-order statistics fail to adequately address. Modern CNNs typically lack an explicit understanding of object pose and are instead confused by entangled pose and appearance. In this paper, we propose a unified object representation built from a hierarchy of pose-aligned regions. Rather than representing an object by regions aligned to image axes, the proposed representation characterizes appearance relative to the object's pose using pose-aligned patches whose features are robust to variations in pose, scale and rotation. We propose an algorithm that performs pose estimation and forms the unified object representation as the concatenation of hierarchical pose-aligned regions features, which is then fed into a classification network. The proposed algorithm surpasses the performance of other approaches, increasing the state-of-the-art by nearly 2% on the widely-used CUB-200 dataset and by more than 8% on the much larger NABirds dataset. The effectiveness of this paradigm relative to competing methods suggests the critical importance of disentangling pose and appearance for continued progress in fine-grained recognition.


title: Uniqueness and Stability of Optimizers for a Membrane Problem

abstract: We investigate a PDE-constrained optimization problem, with an intuitive interpretation in terms of the design of robust membranes made out of an arbitrary number of different materials. We prove existence and uniqueness of solutions for general smooth bounded domains, and derive a symmetry result for radial ones. We strengthen our analysis by proving that, for this particular problem, there are no non-global local optima. When the membrane is made out of two materials, the problem reduces to a shape optimization problem. We lay the preliminary foundation for computable analysis of this type of problem by proving stability of solutions with respect to some of the parameters involved.


title: Duality of Bochner spaces

abstract: We construct the generalized Lebesgue--Bochner spaces $L^p(\mu,\varPi)$ for positive measures $\mu$ and for suitable real or complex topological vector spaces $\varPi$ so that for $1<p<+\infty$ and Banachable $\varPi$ with separable topology the strong dual of the classical Bochner space $L^p(\mu,\varPi)$ becomes canonically represented by $L^{p^*}(\mu,\varPi_\sigma')\,$. Hence we need no separability assumption of the norm topology of the strong dual $\varPi_\beta'$ of $\varPi$. For $p=1$ and for suitably restricted positive measures $\mu$ we even get a similar result without any separability of the norm topology of the target space $\varPi$. For positive Radon measures on locally compact topological spaces these results are essentially contained on pages 588--606 in R. E. Edwards' classical Functional Analysis.


title: IRSA Transmission Optimization via Online Learning

abstract: In this work, we propose a new learning framework for optimising transmission strategies when irregular repetition slotted ALOHA (IRSA) MAC protocol is considered. We cast the online optimisation of the MAC protocol design as a multi-arm bandit problem that exploits the IRSA structure in the learning framework. Our learning algorithm quickly learns the optimal transmission strategy, leading to higher rate of successfully received packets with respect to baseline transmission optimizations.


title: SWRL2SPIN: A tool for transforming SWRL rule bases in OWL ontologies to object-oriented SPIN rules

abstract: Semantic Web Rule Language (SWRL) combines OWL (Web Ontology Language) ontologies with Horn Logic rules of the Rule Markup Language (RuleML) family. Being supported by ontology editors, rule engines and ontology reasoners, it has become a very popular choice for developing rule-based applications on top of ontologies. However, SWRL is probably not go-ing to become a WWW Consortium standard, prohibiting industrial acceptance. On the other hand, SPIN (SPARQL Inferencing Notation) has become a de-facto industry standard to rep-resent SPARQL rules and constraints on Semantic Web models, building on the widespread acceptance of SPARQL (SPARQL Protocol and RDF Query Language). In this paper, we ar-gue that the life of existing SWRL rule-based ontology applications can be prolonged by con-verting them to SPIN. To this end, we have developed the SWRL2SPIN tool in Prolog that transforms SWRL rules into SPIN rules, considering the object-orientation of SPIN, i.e. linking rules to the appropriate ontology classes and optimizing them, as derived by analysing the rule conditions.


title: Pinpointing astrophysical bursts of low-energy neutrinos embedded into the noise

abstract: We propose a novel method to increase the probability of identifying impulsive astrophysical bursts of low-energy neutrinos. The proposed approach exploits the temporal structure differences between astrophysical bursts and background fluctuations and it allows us to pinpoint weak signals otherwise unlikely to be detected. With respect to previous search strategies, this method strongly reduces the misidentification probability, e.g. for Super Kamiokande this reduction is a factor of $\sim 9$ within a distance of $D\sim 200$ kpc without decreasing the detection efficiency. In addition, we extend the proposed method to a network of different detectors and we show that the Kamland $\&$ LVD background reduction is improved by a factor $\sim 20$ up to an horizon of $D\sim75$ kpc.


title: Capacity Theorems for Distributed Index Coding

abstract: In index coding, a server broadcasts multiple messages to their respective receivers, each with some side information that can be utilized to reduce the amount of communication from the server. Distributed index coding is an extension of index coding in which the messages are broadcast from multiple servers, each storing different subsets of the messages. In this paper, the optimal tradeoff among the message rates and the server broadcast rates, which is defined formally as the capacity region, is studied for a general distributed index coding problem. Inner and outer bounds on the capacity region are established that have matching sum-rates for all 218 non-isomorphic four-message problems with equal link capacities for all the links from servers to receivers. The proposed inner bound is built on a distributed composite coding scheme that outperforms the existing schemes by incorporating more flexible decoding configurations and enhanced fractional rate allocations into two-stage composite coding, a scheme that was originally introduced for centralized index coding. The proposed outer bound is built on the polymatroidal axioms of entropy, as well as functional dependences such as the $\rm{fd}$-separation introduced by the multi-server nature of the problem. This outer bound utilizes general groupings of servers with different levels of granularity, which allows a natural tradeoff between computational complexity and tightness of the bound, and includes and improves upon all existing outer bounds for distributed index coding. Specific features of the proposed inner and outer bounds are demonstrated through concrete examples with four or five messages.


title: Bayesian inference in Y-linked two-sex branching processes with mutations: ABC approach

abstract: A Y-linked two-sex branching process with mutations and blind choice of males is a suitable model for analyzing the evolution of the number of carriers of an allele and its mutations of a Y-linked gene. Considering a two-sex monogamous population, in this model each female chooses her partner from among the male population without caring about his type (i.e., the allele he carries). In this work, we deal with the problem of estimating the main parameters of such model developing the Bayesian inference in a parametric framework. Firstly, we consider, as sample scheme, the observation of the total number of females and males up to some generation as well as the number of males of each genotype at last generation. Later, we introduce the information of the mutated males only in the last generation obtaining in this way a second sample scheme. For both samples, we apply the Approximate Bayesian Computation (ABC) methodology to approximate the posterior distributions of the main parameters of this model. The accuracy of the procedure based on these samples is illustrated and discussed by way of simulated examples.


title: A Review of Multiple Try MCMC algorithms for Signal Processing

abstract: Many applications in signal processing require the estimation of some parameters of interest given a set of observed data. More specifically, Bayesian inference needs the computation of {\it a-posteriori} estimators which are often expressed as complicated multi-dimensional integrals. Unfortunately, analytical expressions for these estimators cannot be found in most real-world applications, and Monte Carlo methods are the only feasible approach. A very powerful class of Monte Carlo techniques is formed by the Markov Chain Monte Carlo (MCMC) algorithms. They generate a Markov chain such that its stationary distribution coincides with the target posterior density. In this work, we perform a thorough review of MCMC methods using multiple candidates in order to select the next state of the chain, at each iteration. With respect to the classical Metropolis-Hastings method, the use of multiple try techniques foster the exploration of the sample space. We present different Multiple Try Metropolis schemes, Ensemble MCMC methods, Particle Metropolis-Hastings algorithms and the Delayed Rejection Metropolis technique. We highlight limitations, benefits, connections and differences among the different methods, and compare them by numerical simulations.


title: Attraction controls the entropy of fluctuations in isosceles triangular networks

abstract: We study two-dimensional triangular-network models, which have degenerate ground states composed of straight or randomly-zigzagging stripes and thus sub-extensive residual entropy. We show that attraction is responsible for the inversion of the stable phase by changing the entropy of fluctuations around the ground-state configurations. By using a real-space shell-expansion method, we compute the exact expression of the entropy for harmonic interactions, while for repulsive harmonic interactions we obtain the entropy arising from a limited subset of the system by numerical integration. We compare these results with a three-dimensional triangular-network model, which shows the same attraction-mediated selection mechanism of the stable phase, and conclude that this effect is general with respect to the dimensionality of the system.


title: Soliton spectra of random water waves in shallow basins

abstract: Interpretation of random wave field on a shallow water in terms of Fourier spectra is not adequate, when wave amplitudes are not infinitesimally small. A nonlinearity of wave fields leads to the harmonic interactions and random variation of Fourier spectra. As has been shown by Osborne and his co-authors, a more adequate analysis can be performed in terms of nonlinear modes representing cnoidal waves; a spectrum of such modes remains unchanged even in the process of nonlinear mode interactions. Here we show that there is an alternative and more simple analysis of random wave fields on shallow water, which can be presented in terms of interacting Korteweg - de Vries solitons. The data processing of random wave field is developed on the basis of inverse scattering method. The soliton component obscured in a random wave field is determined and a corresponding distribution function of number of solitons on their amplitudes is constructed. The approach developed is illustrated by means of artificially generated quasi-random wave field and applied to the real data interpretation of wind waves generated in the laboratory wind tank.


title: Theoretical Foundation of the Weighted Laplace Inpainting Problem

abstract: Laplace interpolation is a popular approach in image inpainting using partial differential equations. The classic approach considers the Laplace equation with mixed boundary conditions. Recently a more general formulation has been proposed where the differential operator consists of a point-wise convex combination of the Laplacian and the known image data. We provide the first detailed analysis on existence and uniqueness of solutions for the arising mixed boundary value problem. Our approach considers the corresponding weak formulation and aims at using the Theorem of Lax-Milgram to assert the existence of a solution. To this end we have to resort to weighted Sobolev spaces. Our analysis shows that solutions do not exist unconditionally. The weights need some regularity and fulfil certain growth conditions. The results from this work complement findings which were previously only available for a discrete setup.


title: Radiative decays of light-quark mesons to a pion revisited in the covariant oscillator quark model

abstract: The present talk consists of two parts. The first one is allocated for consideration of the dimension of bilocal meson fields for quark-antiquark meson systems, which have been so far treated as the bosonic fields independent of constituent quark flavors, in the covariant oscillator quark model. Revisiting the electromagnetic currents of quark-antiquark meson systems, we show that the bilocal meson fields should be bosonic for light-quark meson systems, while fermionic for heavy-light and heavy-heavy meson systems. In the second part we apply the effective electromagnetic interactions of meson systems derived in the first part to radiative decay processes for the excited states of light-quark mesons. The calculated results for the $\pi \gamma$ decay widths of the $a_1(1260)$, $a_2(1320)$, $b_1(1235)$ and $\pi_2(1670)$ mesons are in fair agreement with experiment, except for the $b_1(1235)$ meson. As for the $\rho(770)^0 \gamma$ decay width of the $f_1(1285)$ the present model strongly supports the experimental results in 1995 and 2016, respectively, of VES and CLAS Collaborations, not the average value by the Particle Data Group.


title: Fast cosmic web simulations with generative adversarial networks

abstract: Dark matter in the universe evolves through gravity to form a complex network of halos, filaments, sheets and voids, that is known as the cosmic web. Computational models of the underlying physical processes, such as classical N-body simulations, are extremely resource intensive, as they track the action of gravity in an expanding universe using billions of particles as tracers of the cosmic matter distribution. Therefore, upcoming cosmology experiments will face a computational bottleneck that may limit the exploitation of their full scientific potential. To address this challenge, we demonstrate the application of a machine learning technique called Generative Adversarial Networks (GAN) to learn models that can efficiently generate new, physically realistic realizations of the cosmic web. Our training set is a small, representative sample of 2D image snapshots from N-body simulations of size 500 and 100 Mpc. We show that the GAN-generated samples are qualitatively and quantitatively very similar to the originals. For the larger boxes of size 500 Mpc, it is very difficult to distinguish them visually. The agreement of the power spectrum $P_k$ is 1-2\% for most of the range, between $k=0.06$ and $k=0.4$. An important advantage of generating cosmic web realizations with a GAN is the considerable gains in terms of computation time. Each new sample generated by a GAN takes a fraction of a second, compared to the many hours needed by traditional N-body techniques. We anticipate that the use of generative models such as GANs will therefore play an important role in providing extremely fast and precise simulations of cosmic web in the era of large cosmological surveys, such as Euclid and Large Synoptic Survey Telescope (LSST).


title: A proof of Comes-Kujawa's conjecture

abstract: Let $\kappa$ be a commutative ring containing $2^{-1}$. In this paper, we prove the Comes-Kujawa's conjecture on a $\kappa$-basis of cyclotomic oriented Brauer-Clifford supercategory. As a by-product, we prove that the cyclotomic walled Brauer-Clifford superalgebra defined by Comes and Kujawa and ours are isomorphic if $\kappa$ is an algebraically closed field with characteristic not two.


title: Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)

abstract: This paper studies the quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value $\lambda$-calculus with a linear type system that can express programs sensitivity, enriched with algebraic operations \emph{\`a la} Plotkin and Power. To do so a general, abstract framework for studying behavioural relations taking values over quantales is defined according to Lawvere's analysis of generalised metric spaces. Barr's notion of relator (or lax extension) is then extended to quantale-valued relations adapting and extending results from the field of monoidal topology. Abstract notions of quantale-valued effectful applicative similarity and bisimilarity are then defined and proved to be a compatible generalised metric (in the sense of Lawvere) and pseudometric, respectively, under mild conditions.


title: Hermite spectral collocation methods for fractional PDEs in unbounded domains

abstract: This work is concerned with spectral collocation methods for fractional PDEs in unbounded domains. The method consists of expanding the solution with proper global basis functions and imposing collocation conditions on the Gauss-Hermite points. In this work, two Hermite-type functions are employed to serve as basis functions. Our main task is to find corresponding differentiation matrices which are computed recursively. Two important issues relevant to condition numbers and scaling factors will be discussed. Applications of the spectral collocation methods to multi-term fractional PDEs are also presented. Several numerical examples are carried out to demonstrate the effectiveness of the proposed methods.


title: Modeling of a diffusion with aggregation: rigorous derivation and numerical simulation

abstract: In this paper, a diffusion-aggregation equation with delta potential is introduced. Based on the global existence and uniform estimates of solutions to the diffusion-aggregation equation, we also provide the rigorous derivation from a stochastic particle system while introducing an intermediate particle system with smooth interaction potential. The theoretical results are compared to numerical simulations relying on suitable discretization schemes for the microscopic and macroscopic level. In particular, the regime switch where the analytic theory fails is numerically analyzed very carefully and allows for a better understanding of the equation.


title: On Yamada polynomial of spatial graphs obtained by edge replacements

abstract: We present formulae for computing the Yamada polynomial of spatial graphs obtained by replacing edges of plane graphs, such as cycle-graphs, theta-graphs, and bouquet-graphs, by spatial parts. As a corollary, it is shown that zeros of Yamada polynomials of some series of spatial graphs are dense in a certain region in the complex plane, described by a system of inequalities. Also, the relation between Yamada polynomial of graphs and the chain polynomial of edge-labelled graphs is obtained.


title: Gamow-Teller transitions from high-spin isomers in $N=Z$ nuclei

abstract: Gamow-Teller (GT) transitions from high-spin isomers are studied using the sum-rule approach and the shell model. The GT transition strengths from the high-spin isomeric states show a stronger collectivity than those from the ground states in two $N=Z$ nuclei, $^{52}$Fe and $^{94}$Ag. It is argued that the spin-up and spin-down Fermi spheres involved in the GT transitions from the high-spin isomeric states play important roles. These Fermi spheres are analogous to the isospin-up and isospin-down Fermi spheres for the GT transitions from the ground states in $N>Z$ nuclei and create a strong collectivity.


title: Stability and Uniqueness of Global Solutions to Euler Equations with Exothermic Reaction

abstract: We consider the Cauchy problems of a non-strictly hyperbolic system which describes the compressible Euler fluid with exothermic reaction. In this paper a Lyapunov-type functional is constructed for balance laws. By analysis of the flow generated by front tracking method, we prove the well-posedness theorems and present the local features of global solutions.


title: Microscopic nanomechanical dissipation in gallium arsenide resonators

abstract: We report on a systematic study of nanomechanical dissipation in high-frequency (approximatively 300 MHz) gallium arsenide optomechanical disk resonators, in conditions where clamping and fluidic losses are negligible. Phonon-phonon interactions are shown to contribute with a loss background fading away at cryogenic temperatures (3 K). Atomic layer deposition of alumina at the surface modifies the quality factor of resonators, pointing towards the importance of surface dissipation. The temperature evolution is accurately fitted by two-level systems models, showing that nanomechanical dissipation in gallium arsenide resonators directly connects to their microscopic properties. Two-level systems, notably at surfaces, appear to rule the damping and fluctuations of such high-quality crystalline nanomechanical devices, at all temperatures from 3 to 300K.


title: Using Additional Indexes for Fast Full-Text Search of Phrases That Contain Frequently Used Words

abstract: Searches for phrases and word sets in large text arrays by means of additional indexes are considered. Their use may reduce the query-processing time by an order of magnitude in comparison with standard inverted files.


title: Simple Standard Model Extension by Heavy Charged Scalar

abstract: We consider a Standard Model extension by a heavy charged scalar gauged only under the $U_{Y}(1)$ weak hypercharge gauge group. Such an extension, being gauge invariant with respect to the SM gauge group, is a simple special case of the well known Zee model. Since the interactions of the charged scalar with the Standard Model fermions turn out to be significantly suppressed compared to the Standard Model interactions, the charged scalar provides an example of a long-lived charged particle being interesting to search for at the LHC. We present the pair and single production cross sections of the charged scalar at different colliders and the possible decay widths for various boson masses. It is shown that the current ATLAS and CMS searches at 8 and 13 TeV collision energy lead to the bounds on the scalar boson mass of about 300--320 GeV. The limits are expected to be much larger for higher collision energies and, assuming $15~ab^{-1}$ integrated luminosity, reach about 2.7 TeV at future 27 TeV LHC thus covering the most interesting mass region.


title: On the image of MRC fibrations of projective manifolds with semi-positive holomorphic sectional curvature

abstract: In this paper, we pose several conjectures on structures and images of maximal rationally connected fibrations of smooth projective varieties admitting semi-positive holomorphic sectional curvature. Toward these conjectures, we prove that the canonical bundle of images of such fibrations is not big. Our proof gives a generalization of Yang's solution using RC positivity for Yau's conjecture. As an application, we show that any compact K\"ahler surface with semi-positive holomorphic sectional curvature is rationally connected, or a complex torus, or a ruled surface over an elliptic curve.


title: Performance Analysis of a Device-to-Device Offloading Scheme in a Vehicular Network Environment

abstract: We consider a scheme for offloading the delivery of contents to mobile devices in a vehicular networking scenario. Each content can be delivered to the requesting device either by a neighboring device or, at the expiration of a maximum delay, by the network infrastructure nodes. We compute the analytical expression of the probability that the content delivery is offloaded through a Device-to-Device (D2D) communication as a function of the maximum transmission range allowed for D2D communications, the content popularity, and the vehicles speed. We show that, using the model, it is possible to identify the optimal maximum transmission range, which minimizes the total energy consumption (of the infrastructure plus mobile devices).


title: Interactive Deep Colorization With Simultaneous Global and Local Inputs

abstract: Colorization methods using deep neural networks have become a recent trend. However, most of them do not allow user inputs, or only allow limited user inputs (only global inputs or only local inputs), to control the output colorful images. The possible reason is that it's difficult to differentiate the influence of different kind of user inputs in network training. To solve this problem, we present a novel deep colorization method, which allows simultaneous global and local inputs to better control the output colorized images. The key step is to design an appropriate loss function that can differentiate the influence of input data, global inputs and local inputs. With this design, our method accepts no inputs, or global inputs, or local inputs, or both global and local inputs, which is not supported in previous deep colorization methods. In addition, we propose a global color theme recommendation system to help users determine global inputs. Experimental results shows that our methods can better control the colorized images and generate state-of-art results.


title: Incoherent transport for phases that spontaneously break translations

abstract: We consider phases of matter at finite charge density which spontaneously break spatial translations. Without taking a hydrodynamic limit we identify a boost invariant incoherent current operator. We also derive expressions for the small frequency behaviour of the thermoelectric conductivities generalising those that have been derived in a translationally invariant context. Within holographic constructions we show that the DC conductivity for the incoherent current can be obtained from a solution to a Stokes flow for an auxiliary fluid on the black hole horizon combined with specific thermodynamic quantities associated with the equilibrium black hole solutions.


title: On the finite topology of a vector space and the domination problem for families of norms

abstract: Let $V$ be a real or complex vector space. The finite topology of $V$ consists of all the subsets $U$ for which the intersection $U \cap F$ is closed in $F$ for every finite-dimensional linear subspace of $V$. It is known that if $V$ has countable dimension, then this topology coincides with the greatest vector space topology and with the greatest locally convex vector space topology. Here, we note that in this case the finite topology is simply the union of all the normed space topologies. In connection to this problem, we characterize the vector spaces on which every family of norms with given cardinality is dominated.


title: A Generative Approach to Zero-Shot and Few-Shot Action Recognition

abstract: We present a generative framework for zero-shot action recognition where some of the possible action classes do not occur in the training data. Our approach is based on modeling each action class using a probability distribution whose parameters are functions of the attribute vector representing that action class. In particular, we assume that the distribution parameters for any action class in the visual space can be expressed as a linear combination of a set of basis vectors where the combination weights are given by the attributes of the action class. These basis vectors can be learned solely using labeled data from the known (i.e., previously seen) action classes, and can then be used to predict the parameters of the probability distributions of unseen action classes. We consider two settings: (1) Inductive setting, where we use only the labeled examples of the seen action classes to predict the unseen action class parameters; and (2) Transductive setting which further leverages unlabeled data from the unseen action classes. Our framework also naturally extends to few-shot action recognition where a few labeled examples from unseen classes are available. Our experiments on benchmark datasets (UCF101, HMDB51 and Olympic) show significant performance improvements as compared to various baselines, in both standard zero-shot (disjoint seen and unseen classes) and generalized zero-shot learning settings.


title: Hopf bifurcation in a conceptual climate model with ice-albedo and precipitation-temperature feedbacks

abstract: In this paper we analyse a dynamical system based on the so-called KCG (K\"all\'en, Crafoord, Ghil) conceptual climate model. This model describes an evolution of the globally averaged temperature and the average extent of the ice sheets. In the nondimensional form the model is prone to several simplifications facilitating the subsequent analysis. We consider the limiting case of the stationary snow line for which the phase plane can be completely analysed and the type of each stationary point can be determined. One of them can exhibit the Hopf bifurcation for which occurrence we find the sufficient conditions. Those, in turn, have a straightforward physical meaning and indicate that the model predicts internal oscillations of the climate. Using the typical values of model parameters we conclude that the obtained results are in the same ballpark as the conditions on our planet during the quaternary ice ages. Our analysis is a rigorous justification of a generalization of some previous results by KCG and other authors.


title: Decay of Benjamin - Ono solitons under the influence of dissipation

abstract: The adiabatic decay of Benjamin - Ono algebraic solitons is studied when the influence of various types of small dissipation and radiative losses due to large scale Coriolis dispersion are taken into consideration. The physically most important dissipations are studied, Rayleigh and Reynolds dissipation, Landau damping, dissipation in a laminar boundary layer and Chezy friction on a rough bottom. The decay laws for the soliton parameters, that is amplitude, velocity and width, are found in analytical form and are compared with the results of direct numerical modelling.


title: On Scheduling Two-Stage Jobs on Multiple Two-Stage Flowshops

abstract: Motivated by the current research in data centers and cloud computing, we study the problem of scheduling a set of two-stage jobs on multiple two-stage flowshops. A new formulation for configurations of such scheduling is proposed, which leads directly to improvements to the complexity of scheduling algorithms for the problem. Motivated by the observation that the costs of the two stages can be significantly different, we present deeper study on the structures of the problem that leads to a new approach to designing scheduling algorithms for the problem. With more thorough analysis, we show that the new approach gives very significant improved scheduling algorithms for the problem when the costs of the two stages are different significantly. Improved approximation algorithms for the problem are also presented.


title: On Quasimodularity of Some Equivariant Intersection Numbers on the Hilbert Schemes

abstract: We observe that certain equivariant intersection numbers of Chern characters of tautological sheaves on Hilbert schemes for suitable circle actions can be computed using the Bloch-Okounkov formula, hence they are related to Gromov-Witten invariants of elliptic curves and its operator formalism in terms of operators on the Fock space.


title: Spectral control for ecological stability

abstract: A system made up of N interacting species is considered. Self-reaction terms are assumed of the logistic type. Pairwise interactions take place among species according to different modalities, thus yielding a complex asymmetric disordered graph. A mathematical procedure is introduced and tested to stabilise the ecosystem via an {\it ad hoc} rewiring of the underlying couplings. The method implements minimal modifications to the spectrum of the Jacobian matrix which sets the stability of the fixed point and traces these changes back to species-species interactions. Resilience of the equilibrium state appear to be favoured by predator-prey interactions.


title: Interactive Generative Adversarial Networks for Facial Expression Generation in Dyadic Interactions

abstract: A social interaction is a social exchange between two or more individuals,where individuals modify and adjust their behaviors in response to their interaction partners. Our social interactions are one of most fundamental aspects of our lives and can profoundly affect our mood, both positively and negatively. With growing interest in virtual reality and avatar-mediated interactions,it is desirable to make these interactions natural and human like to promote positive effect in the interactions and applications such as intelligent tutoring systems, automated interview systems and e-learning. In this paper, we propose a method to generate facial behaviors for an agent. These behaviors include facial expressions and head pose and they are generated considering the users affective state. Our models learn semantically meaningful representations of the face and generate appropriate and temporally smooth facial behaviors in dyadic interactions.


title: Toward Finding Latent Cities with Non-Negative Matrix Factorization

abstract: In the last decade, digital footprints have been used to cluster population activity into functional areas of cities. However, a key aspect has been overlooked: we experience our cities not only by performing activities at specific destinations, but also by moving from one place to another. In this paper, we propose to analyze and cluster the city based on how people move through it. Particularly, we introduce Mobilicities, automatically generated travel patterns inferred from mobile phone network data using NMF, a matrix factorization model. We evaluate our method in a large city and we find that mobilicities reveal latent but at the same time interpretable mobility structures of the city. Our results provide evidence on how clustering and visualization of aggregated phone logs could be used in planning systems to interactively analyze city structure and population activity.


title: Domain decomposition for quasi-periodic scattering by layered media via robust boundary-integral equations at all frequencies

abstract: We develop a non-overlapping domain decomposition method (DDM) for scalar wave scattering by periodic layered media. Our approach relies on robust boundary-integral equation formulations of Robin-to-Robin (RtR) maps throughout the frequency spectrum, including cutoff (or Wood) frequencies. We overcome the obstacle of non-convergent quasi-periodic Green functions at these frequencies by incorporating newly introduced shifted Green functions. Using the latter in the definition of quasi-periodic boundary-integral operators leads to rigorously stable computations of RtR operators. We develop Nystr\"om discretizations of the RtR maps that rely on trigonometric interpolation, singularity resolution, and fast convergent windowed quasi-periodic Green functions. We solve the tridiagonal DDM system via recursive Schur complements and establish rigorously that this procedure is always completed successfully. We present a variety of numerical results concerning Wood frequencies in two and three dimensions as well as large numbers of layers.


title: The Heuristic Function of Duality

abstract: I conceptualise the role of dualities in quantum gravity, in terms of their functions for theory construction. I distinguish between two functions of duality in physical practice: namely, discovering and describing 'equivalent physics', vs. suggesting 'new physics'. I dub these the 'theoretical' vs. the 'heuristic' functions of dualities. The distinction seems to have gone largely unnoticed in the philosophical literature: and it exists both for dualities, and for the more general relation of theoretical equivalence. The paper develops the heuristic function of dualities: illustrating how they can be used, if one has any luck, to find and formulate new theories. I also point to the different physical commitments about the theories in question that underlie these two functions. I show how a recently developed schema for dualities articulates the differences between the two functions.


title: Numerical studying mechanics of a stationary range formation in the wind-wave spectrum

abstract: The process of a stationary range formation in the wind-wave spectrum is investigated numerically. The evolution equation for the two-dimensional wind-wave spectrum is numerically solved by using an exact calculation of the Hasselmann kinetic integral with exploring several parametrizations for the wave-pumping and wave-dissipation mechanisms. The following results are established. First, there is no any inertial interval in the spectral frequency band of real wind waves. Therefore, there is no reason for the Kolmogorov-type spectra formation in this case. Second, the ratio between the input and dissipation mechanisms is responsible for a stationary range formation in the wind-wave spectrum. Third, this ratio enables us to establish all known forms for a stationary range of the spectrum, if proper mathematical representations for the input and dissipation mechanisms are chosen.


title: Towards an Understanding of Neural Networks in Natural-Image Spaces

abstract: Two major uncertainties, dataset bias and adversarial examples, prevail in state-of-the-art AI algorithms with deep neural networks. In this paper, we present an intuitive explanation for these issues as well as an interpretation of the performance of deep networks in a natural-image space. The explanation consists of two parts: the philosophy of neural networks and a hypothetical model of natural-image spaces. Following the explanation, we 1) demonstrate that the values of training samples differ, 2) provide incremental boost to the accuracy of a CIFAR-10 classifier by introducing an additional "random-noise" category during training, 3) alleviate over-fitting thereby enhancing the robustness against adversarial examples by detecting and excluding illusive training samples that are consistently misclassified. Our overall contribution is therefore twofold. First, while most existing algorithms treat data equally and have a strong appetite for more data, we demonstrate in contrast that an individual datum can sometimes have disproportionate and counterproductive influence and that it is not always better to train neural networks with more data. Next, we consider more thoughtful strategies by taking into account the geometric and topological properties of natural-image spaces to which deep networks are applied.


title: The LArase Satellites Spin mOdel Solutions (LASSOS): a comprehensive model for the spin evolution of the LAGEOS and LARES satellites

abstract: The two LAGEOS and LARES are laser-ranged satellites tracked with the best accuracy ever achieved. Using their range measurements many geophysical parameters were calculated and some General Relativity effects were directly observed. To obtain precise and refined measurements of the effects due to the predictions of General Relativity on the orbit of these satellites, it is mandatory to model with high precision and accuracy all other forces, reducing the free parameters introduced in the orbit determination. A main category of non-gravitational forces to be considered are those of thermal origin, whose fine modeling strongly depends on the knowledge of the evolution of the spin vector. We present a complete model, named LASSOS, to describe the evolution of the spin of the LAGEOS and LARES satellites. In particular, we solved Euler equations of motion considering not-averaged torques. This is the most general case, and the predictions of the model well fit the available observations of the satellites spin. We also present the predictions of our model in the fast-spin limit, based on the application of averaged equations. The results are in good agreement with those already published, but with our approach we have been able to highlight small errors within these previous works. LASSOS was developed within the LARASE research program. LARASE aims to improve the dynamical model of the two LAGEOS and LARES satellites to provide very precise and accurate measurements of relativistic effects on their orbit, and also to bring benefits to geophysics and space geodesy.


title: Recurrence relations for orthogonal polynomials on a triangle

abstract: This paper derives sparse recurrence relations between orthogonal polynomials on a triangle and their partial derivatives, which are analogous to recurrence relations for Jacobi polynomials. We derive these recurrences in a systematic fashion by introducing ladder operators that map an orthogonal polynomial to another by incrementing or decrementing its associated parameters by one.


title: Generalized Estimating Equation for the Student-t Distributions

abstract: In \cite{KumarS15J2}, it was shown that a generalized maximum likelihood estimation problem on a (canonical) $\alpha$-power-law model ($\mathbb{M}^{(\alpha)}$-family) can be solved by solving a system of linear equations. This was due to an orthogonality relationship between the $\mathbb{M}^{(\alpha)}$-family and a linear family with respect to the relative $\alpha$-entropy (or the $\mathscr{I}_\alpha$-divergence). Relative $\alpha$-entropy is a generalization of the usual relative entropy (or the Kullback-Leibler divergence). $\mathbb{M}^{(\alpha)}$-family is a generalization of the usual exponential family. In this paper, we first generalize the $\mathbb{M}^{(\alpha)}$-family including the multivariate, continuous case and show that the Student-t distributions fall in this family. We then extend the above stated result of \cite{KumarS15J2} to the general $\mathbb{M}^{(\alpha)}$-family. Finally we apply this result to the Student-t distribution and find generalized estimators for its parameters.


title: Classical Imaging with Undetected Light

abstract: We obtained the phase and intensity images of an object by detecting classical light which never interacted with it. With a double passage of a pump and a signal laser beams through a nonlinear crystal, we observe interference between the two idler beams produced by stimulated parametric down conversion. The object is placed in the amplified signal beam after its first passage through the crystal, and the image is observed in the interference of the generated idler beams. High contrast images can be obtained even for objects with small transmittance coefficient due to the geometry of the interferometer and to the stimulated parametric emission. Like its quantum counterpart, this three-colour imaging concept can be useful when the object must be probed with light at a wavelength for which detectors are not available.


title: Efficient Web Service Composition via Knapsack-Variant Algorithm

abstract: Since the birth of web service composition, minimizing the number of web services of the resulting composition while satisfying the user request has been a significant perspective of research. With the increase of the number of services released across the Internet, seeking efficient algorithms for this research is an urgent need. In this paper we present an efficient mechanism to solve the problem of web service composition. For the given request, a service dependency graph is firstly generated with the relevant services picked from an external repository. Then, each search step on the graph is transformed into a dynamic knapsack problem by mapping services to items whose volume and cost is changeable, after which a knapsack-variant algorithm is applied to solve each problem after transformation. Once the last search step is completed, the minimal composition that satisfies the request can be obtained. Experiments on eight public datasets proposed for the Web Service Challenge 2008 shows that the proposed mechanism outperforms the state-of-the-art ones by generating solutions containing the same or smaller number of services with much higher efficiency.


title: Understanding Deep Architectures by Visual Summaries

abstract: In deep learning, visualization techniques extract the salient patterns exploited by deep networks for image classification, focusing on single images; no effort has been spent in investigating whether these patterns are systematically related to precise semantic entities over multiple images belonging to a same class, thus failing to capture the very understanding of the image class the network has realized. This paper goes in this direction, presenting a visualization framework which produces a group of clusters or summaries, each one formed by crisp salient image regions focusing on a particular part that the network has exploited with high regularity to decide for a given class. The approach is based on a sparse optimization step providing sharp image saliency masks that are clustered together by means of a semantic flow similarity measure. The summaries communicate clearly what a network has exploited of a particular image class, and this is proved through automatic image tagging and with a user study. Beyond the deep network understanding, summaries are also useful for many quantitative reasons: their number is correlated with ability of a network to classify (more summaries, better performances), and they can be used to improve the classification accuracy of a network through summary-driven specializations.


title: The 3x3 lemma in the ${\Sigma}$-Maltsev and ${\Sigma}$-protomodular settings. Applications to monoids and quandles

abstract: We investigate what is remaining of the 3x3 lemma and of the denormalized 3x3 lemma, respectively valid in a pointed protomodular and in a Maltsev category, in the context of partial pointed protomodular and partial Maltsev categories, relatively to a class ${\Sigma}$ of points. The results apply, among other structures, to monoids, semirings and quandles


title: Recent developments around partial actions

abstract: We give an overview of publications on partial actions and related concepts, paying main attention to some recent developments.


title: Matrix product states and the quantum max-flow/min-cut conjectures

abstract: In this note we discuss the geometry of matrix product states with periodic boundary conditions and provide three infinite sequences of examples where the quantum max-flow is strictly less than the quantum min-cut. In the first we fix the underlying graph to be a 4-cycle and verify a prediction of Hastings that inequality occurs for infinitely many bond dimensions. In the second we generalize this result to a 2d-cycle. In the third we show that the 2d-cycle with periodic boundary conditions gives inequality for all d when all bond dimensions equal two, namely a gap of at least 2^{d-2} between the quantum max-flow and the quantum min-cut.


title: Three ways to solve critical $\phi^4$ theory on $4-\epsilon$ dimensional real projective space: perturbation, bootstrap, and Schwinger-Dyson equation

abstract: We solve the two-point function of the lowest dimensional scalar operator in the critical $\phi^4$ theory on $4-\epsilon$ dimensional real projective space in three different methods. The first is to use the conventional perturbation theory, and the second is to impose the crosscap bootstrap equation, and the third is to solve the Schwinger-Dyson equation under the assumption of conformal invariance. We find that the three methods lead to mutually consistent results but each has its own advantage.


title: Deep Neural Networks In Fully Connected CRF For Image Labeling With Social Network Metadata

abstract: We propose a novel method for predicting image labels by fusing image content descriptors with the social media context of each image. An image uploaded to a social media site such as Flickr often has meaningful, associated information, such as comments and other images the user has uploaded, that is complementary to pixel content and helpful in predicting labels. Prediction challenges such as ImageNet~\cite{imagenet_cvpr09} and MSCOCO~\cite{LinMBHPRDZ:ECCV14} use only pixels, while other methods make predictions purely from social media context \cite{McAuleyECCV12}. Our method is based on a novel fully connected Conditional Random Field (CRF) framework, where each node is an image, and consists of two deep Convolutional Neural Networks (CNN) and one Recurrent Neural Network (RNN) that model both textual and visual node/image information. The edge weights of the CRF graph represent textual similarity and link-based metadata such as user sets and image groups. We model the CRF as an RNN for both learning and inference, and incorporate the weighted ranking loss and cross entropy loss into the CRF parameter optimization to handle the training data imbalance issue. Our proposed approach is evaluated on the MIR-9K dataset and experimentally outperforms current state-of-the-art approaches.


title: Spectral and Energy Efficient Wireless Powered IoT Networks: NOMA or TDMA?

abstract: Wireless powered communication networks (WPCNs), where multiple energy-limited devices first harvest energy in the downlink and then transmit information in the uplink, have been envisioned as a promising solution for the future Internet-of-Things (IoT). Meanwhile, non-orthogonal multiple access (NOMA) has been proposed to improve the system spectral efficiency (SE) of the fifth-generation (5G) networks by allowing concurrent transmissions of multiple users in the same spectrum. As such, NOMA has been recently considered for the uplink of WPCNs based IoT networks with a massive number of devices. However, simultaneous transmissions in NOMA may also incur more transmit energy consumption as well as circuit energy consumption in practice which is critical for energy constrained IoT devices. As a result, compared to orthogonal multiple access schemes such as time-division multiple access (TDMA), whether the SE can be improved and/or the total energy consumption can be reduced with NOMA in such a scenario still remains unknown. To answer this question, we first derive the optimal time allocations for maximizing the SE of a TDMA-based WPCN (T-WPCN) and a NOMA-based WPCN (N-WPCN), respectively. Subsequently, we analyze the total energy consumption as well as the maximum SE achieved by these two networks. Surprisingly, it is found that N-WPCN not only consumes more energy, but also is less spectral efficient than T-WPCN. Simulation results verify our theoretical findings and unveil the fundamental performance bottleneck, i.e., "worst user bottleneck problem", in multiuser NOMA systems.


title: 0+ and 1+ heavy-light exotic mesons at N2LO in the chiral limit

abstract: We use QCD spectral sum rules (QSSR) and the factorization properties of molecule and four-quark currents to estimate the masses and couplings of the 0+ and 1+ molecules and four-quark at N2LO of PT QCD. We include in the OPE the contributions of non-perturbative condensates up to dimension-six. Within the Laplace sum rules approach (LSR) and in the MS-scheme, we summarize our results in Table 2, which agree within the errors with some of the observed XZ-like molecules or/and four-quark. Couplings of these states to the currents are also extracted. Our results are improvements of the LO ones in the existing literature.


title: Robust Multi-subspace Analysis Using Novel Column L0-norm Constrained Matrix Factorization

abstract: We study the underlying structure of data (approximately) generated from a union of independent subspaces. Traditional methods learn only one subspace, failing to discover the multi-subspace structure, while state-of-the-art methods analyze the multi-subspace structure using data themselves as the dictionary, which cannot offer the explicit basis to span each subspace and are sensitive to errors via an indirect representation. Additionally, they also suffer from a high computational complexity, being quadratic or cubic to the sample size. To tackle all these problems, we propose a method, called Matrix Factorization with Column L0-norm constraint (MFC0), that can simultaneously learn the basis for each subspace, generate a direct sparse representation for each data sample, as well as removing errors in the data in an efficient way. Furthermore, we develop a first-order alternating direction algorithm, whose computational complexity is linear to the sample size, to stably and effectively solve the nonconvex objective function and non- smooth l0-norm constraint of MFC0. Experimental results on both synthetic and real-world datasets demonstrate that besides the superiority over traditional and state-of-the-art methods for subspace clustering, data reconstruction, error correction, MFC0 also shows its uniqueness for multi-subspace basis learning and direct sparse representation.


title: Orbital radius during the grazing envelope evolution

abstract: We use the binary module of the MESA code to study the evolution of an evolved binary system where we assume that a main sequence companion removes the outskirts of the envelope of an asymptotic giant branch (AGB) star by launching jets, and explore the characteristics of this grazing envelope evolution (GEE). We base our assumption that jets launched by the secondary star remove a substantial fraction of the outskirts of the envelope of an AGB star on earlier hydrodynamical simulations. We find that in many cases that we study, but not in all cases, the binary system experiences the GEE rather than entering the common envelope phase, under our assumptions of jet-driven mass removal. To prevent the common envelope phase, we assume the secondary star may accrete a large amount of mass in a short time while avoiding rapid inflation, the feasibility of which requires further study. Because of our simplifying assumptions we cannot yet present the parameter space for the GEE. Although the incorporation of the GEE into population synthesis numerical codes requires further studies of the GEE, we conclude that analyses of population synthesis studies of evolved binary stars should include the GEE.


title: On the Blaschke-Petkantschin Formula and Drury's Identity

abstract: The Blaschke-Petkantschin formula is a variant of the polar decomposition of the $k$-fold Lebesgue measure on $\mathbb {R}^n$ in terms of the corresponding measures on $k$-dimensional linear subspaces of $\mathbb {R}^n$. We suggest a new elementary proof of this formula and discuss its connection with the celebrated Drury's identity that plays a key role in the study of mapping properties of the Radon-John $k$-plane transforms. We give a new derivation of this identity and provide it with precise information about constant factors and the class of admissible functions.


title: Rellich-Kondrakov embedding of the Laplacian resolvent on the torus

abstract: This paper proves that the domain of the Laplacian, $\DEL,$ on a closed Riemannian manifold, $(M,g),$ is compactly embedded in $L^{2} (M) .$ Particularly, the resolvent of the Laplacian, $(\DEL + 1)^{-1},$ is shown to be compactly embedded on the torus.


title: A Minimal Model For Two-Component FIMP Dark Matter: A Basic Search

abstract: In the multi-component configurations of dark matter phenomenology, we propose a minimal two-component configuration which is an extension of the Standard Model with only three new fields; one scalar and one fermion interact with the thermal soup through Higgs portal, mediated by the other scalar in such a way that the stabilities of dark matter candidates are made simultaneously by an explicit $Z_2$ symmetry. Against the most common freeze-out framework, we look for dark matter particle signatures in the freeze-in scenario by evaluating the relic density and detection signals. A simple distinguishing feature of the model is the lack of dark matter conversion, so the dark matter components act individually and the model can be adapted entirely to both singlet scalar and singlet fermionic models, separately. We find dark matter self-interaction as the most promising approach to probe such feeble models. Although the scalar component satisfies this constraint, the fermionic one refuses it even in the resonant region.


title: The Age of Social Sensing

abstract: Online social media, such as Twitter and Instagram, democratized information broadcast, allowing anyone to share information about themselves and their surroundings at an unprecedented scale. The large volume of information thus posted on these media offer a new lens into the physical world through the eyes of the social network. The exploitation of this lens to inspect aspects of world state has recently been termed social sensing. The power of manipulating reality via the use (or intentional misuse) of social media opened concerns with issues ranging from radicalization by terror propaganda to potential manipulation of elections in mature democracies. Many important challenges and open research questions arise in this emerging field that aims to better understand how information can be extracted from the medium and what properties characterize the extracted information and the world it represents. Addressing the above challenges requires multi-disciplinary research at the intersection of computer science and social sciences that combines cyber-physical computing, sociology, sensor networks, social networks, cognition, data mining, estimation theory, data fusion, information theory, linguistics, machine learning, behavioral economics, and possibly others. This paper surveys important directions in social sensing, identifies current research challenges, and outlines avenues for future research.


title: Centralizer fusion systems of central involutions in a finite group with soluble centralizer of involutions

abstract: It is a long-standing open problem raised by Starostin to describe all finite groups with soluble centralizers of involutions. One can observe that if the centralizer fusion system of an involution is nilpotent, then the centralizer of that involution is soluble. In this paper, we classify the cases when the centralizer fusion system of a central involution in a finite group whose all involutions have soluble centralizers is a nilpotent fusion system. Indeed, we analyse the case when the solvable radical has odd order and the corresponding factor group is simple.


title: A self adjusting multirate algorithm based on the TR-BDF2 method

abstract: We propose a self adjusting multirate method based on the TR-BDF2 solver. The potential advantages of using TR-BDF2 as the key component of a multirate framework are highlighted. A linear stability analysis of the resulting approach is presented and the stability features of the resulting algorithm are analysed. The analysis framework is completely general and allows to study along the same lines the stability of self adjusting multirate methods based on a generic one step solver. A number of numerical experiments demonstrate the efficiency and accuracy of the resulting approach also the time discretization of hyperbolic partial differential equations.


title: AAS WorldWide Telescope: Seamless, Cross-Platform Data Visualization Engine for Astronomy Research, Education, and Democratizing Data

abstract: The American Astronomical Society's WorldWide Telescope (WWT) project enables terabytes of astronomical images, data, and stories to be viewed and shared among researchers, exhibited in science museums, projected into full-dome immersive planetariums and virtual reality headsets, and taught in classrooms from middle school to college levels. We review the WWT ecosystem, how WWT has been used in the astronomical community, and comment on future directions.


title: Quintessence, Unified Dark Energy and Dark Matter, and Confinement/Deconfinement Mechanism

abstract: We describe a new type of generalized gravity-matter models where $f(R)=R+R^2$ gravity couples in a non-conventional way to a scalar "inflaton" field, to a second scalar "darkon" field responsible for dark energy/dark matter unification, as well as to a non-standard nonlinear gauge field system, which is responsible for a charge confining/deconfinfing mechanism. The essential non-conventional feature of our models is employing the formalism of non-Riemannian volume forms, i.e. metric-independent non-Riemannian volume elements on the spacetime manifold, defined in terms of auxiliary antisymmetric tensor gauge fields. Although being (almost) pure-gauge degrees of freedom, the non-Riemannian volume-forms trigger a series of important features unavailable in ordinary gravity-matter models. Upon passing to the physical Einstein frame we obtain an effective matter-gauge-field Lagrangian of quadratic "k-essence" type both w.r.t. the "inflaton" and the "darkon", with the following properties: (i) Remarkable effective "inflaton" potential possessing two infinitely large flat regions with vastly different heights ("vacuum" energy densities) describing the "early" and "late" Universe; (ii) Nontrivial effective gauge coupling constants running with the "inflaton", in particular, effective "inflaton"-running coupling constant, which determines the strength of the charge confienement; (iii) The confinement-strength gauge coupling constant is non-zero in the "late" Universe, i.e., charge confinement is operating, whereas it vanishes in the "early" Universe, i.e., confinement-free epoch; (iv) The unification of dark energy and dark matter is explicitly seen within the FLRW reduction, where they appear as dynamically generated effective vacuum energy density and dynamically induced dust-like matter, correspondingly.


title: Predictive Effects of Novelty Measured by Temporal Embeddings on the Growth of Scientific Literature

abstract: Novel scientific knowledge is constantly produced by the scientific community. Understanding the level of novelty characterized by scientific literature is key for modeling scientific dynamics and analyzing the growth mechanisms of scientific knowledge. Metrics derived from bibliometrics and citation analysis were effectively used to characterize the novelty in scientific development. However, time is required before we can observe links between documents such as citation links or patterns derived from the links, which makes these techniques more effective for retrospective analysis than predictive analysis. In this study, we present a new approach to measuring the novelty of a research topic in a scientific community over a specific period by tracking semantic changes of the terms and characterizing the research topic in their usage context. The semantic changes are derived from the text data of scientific literature by temporal embedding learning techniques. We validated the effects of the proposed novelty metric on predicting the future growth of scientific publications and investigated the relations between novelty and growth by panel data analysis applied in a large-scale publication dataset (MEDLINE/PubMed). Key findings based on the statistical investigation indicate that the novelty metric has significant predictive effects on the growth of scientific literature and the predictive effects may last for more than ten years. We demonstrated the effectiveness and practical implications of the novelty metric in three case studies.


title: Finite element model updating for structural applications

abstract: A novel method for performing model updating on finite element models is presented. The approach is particularly tailored to modal analyses of buildings, by which the lowest frequencies, obtained by using sensors and system identification approaches, need to be matched to the numerical ones predicted by the model. This is done by optimizing some unknown material parameters (such as mass density and Young's modulus) of the materials and/or the boundary conditions, which are often known only approximately. In particular, this is the case when considering historical buildings. The straightforward application of a general-purpose optimizer can be impractical, given the large size of the model involved. In the paper, we show that, by slightly modifying the projection scheme used to compute the eigenvalues at the lowest end of the spectrum one can obtain local parametric reduced order models that, embedded in a trust-region scheme, form the basis for a reliable and efficient specialized algorithm. We describe an optimization strategy based on this approach, and we provide numerical experiments that confirm its effectiveness and accuracy.


title: On transversely isotropic mechanical properties of vacancy defected carbon nanotubes

abstract: Molecular dynamics (MD) simulations with Adaptive Intermolecular Reactive Empirical Bond Order (AIREBO) force fields were conducted to determine the transversely isotropic elastic properties of carbon nanotubes (CNTs) containing vacancies. This is achieved by imposing axial extension, twist, in-plane biaxial tension and in-plane shear to the defective CNTs. The effects of vacancy concentrations, their position and the diameter of armchair CNTs were taken into consideration. It is revealed that the position of vacancies along the length of CNTs is the main influencing factor which governs the change in the properties of CNTs, especially for vacancy concentration of 1%. The current fundamental study highlights the important role played by vacancy defected CNTs in determining their mechanical behaviors as reinforcements in multifunctional nanocomposites.


title: Ascent with Quadratic Assistance for the Construction of Exact Experimental Designs

abstract: In the area of statistical planning, there is a large body of theoretical knowledge and computational experience concerning so-called optimal approximate designs of experiments. However, for an approximate design to be executed in practice, it must be converted into an exact, i.e., integer, design, which is usually done via rounding procedures. Although rapid, rounding procedures have many drawbacks; in particular, they often yield worse exact designs than heuristics that do not require approximate designs at all. In this paper, we build on an alternative principle of utilizing optimal approximate designs for the computation of optimal, or nearly-optimal, exact designs. The principle, which we call ascent with quadratic assistance (AQuA), is an integer programming method based on the quadratic approximation of the design criterion in the neighborhood of the optimal approximate information matrix. To this end, we present quadratic approximations of all Kiefer's criteria with an integer parameter, including D- and A-optimality and, by a model transformation, I-optimality. Importantly, we prove a low-rank property of the associated quadratic forms, which enables us to apply AQuA to large design spaces, for example via mixed integer conic quadratic solvers. We numerically demonstrate the robustness and superior performance of the proposed method for models under various types of constraints. More precisely, we compute optimal size-constrained exact designs for the model of spring-balance weighing, and optimal symmetric marginally restricted exact designs for the Scheffe mixture model. We also show how can iterative application of AQuA be used for a stratified information-based subsampling of large datasets under a lower bound on the quality and an upper bound on the cost of the subsample.


title: Scalable Mutual Information Estimation using Dependence Graphs

abstract: The Mutual Information (MI) is an often used measure of dependency between two random variables utilized in information theory, statistics and machine learning. Recently several MI estimators have been proposed that can achieve parametric MSE convergence rate. However, most of the previously proposed estimators have the high computational complexity of at least $O(N^2)$. We propose a unified method for empirical non-parametric estimation of general MI function between random vectors in $\mathbb{R}^d$ based on $N$ i.i.d. samples. The reduced complexity MI estimator, called the ensemble dependency graph estimator (EDGE), combines randomized locality sensitive hashing (LSH), dependency graphs, and ensemble bias-reduction methods. We prove that EDGE achieves optimal computational complexity $O(N)$, and can achieve the optimal parametric MSE rate of $O(1/N)$ if the density is $d$ times differentiable. To the best of our knowledge EDGE is the first non-parametric MI estimator that can achieve parametric MSE rates with linear time complexity. We illustrate the utility of EDGE for the analysis of the information plane (IP) in deep learning. Using EDGE we shed light on a controversy on whether or not the compression property of information bottleneck (IB) in fact holds for ReLu and other rectification functions in deep neural networks (DNN).


title: Graphic displays of MLB pitching mechanics and its evolutions in PITCHf/x data

abstract: Systemic and idiosyncratic patterns in pitching mechanics of 24 top starting pitchers in Major League Baseball (MLB) are extracted and discovered from PITCHf/x database. These evolving patterns across different pitchers or seasons are represented through three exclusively developed graphic displays. Understanding on such patterned evolutions will be beneficial for pitchers' wellbeing in signaling potential injury, and will be critical for expert knowledge in comparing pitchers. Based on data-driven computing, a universal composition of patterns is identified on all pitchers' mutual conditional entropy matrices. The first graphic display reveals that this universality accommodates physical laws as well as systemic characteristics of pitching mechanics. Such visible characters point to large scale factors for differentiating between distinct clusters of pitchers, and simultaneously lead to detailed factors for comparing individual pitchers. The second graphic display shows choices of features that are able to express a pitcher's season-by-season pitching contents via a series of 3(+2)D point-cloud geometries. The third graphic display exhibits exquisitely a pitcher's idiosyncratic pattern-information of pitching across seasons by demonstrating all his pitch-subtype evolutions. These heatmap-based graphic displays are platforms for visualizing and understanding pitching mechanics.


abstract: In this paper, we mainly investigate the $\mathfrak{X}$-Gorenstein projective dimension of modules and the (left) $\mathfrak{X}$-Gorenstein global dimension of rings. Some properties of $\mathfrak{X}$-Gorenstein projective dimensions are obtained. Furthermore, we prove that the (left) $\mathfrak{X}$-Gorenstein global dimension of ring $R$ is equal to the supremum of the set of $\mathfrak{X}$-Gorenstein projective dimensions of all cyclic (left) $R$-modules. This result extends the well-known Auslander's theorem on the global dimension and its Gorenstein homological version.


title: Meshed Up: Learnt Error Correction in 3D Reconstructions

abstract: Dense reconstructions often contain errors that prior work has so far minimised using high quality sensors and regularising the output. Nevertheless, errors still persist. This paper proposes a machine learning technique to identify errors in three dimensional (3D) meshes. Beyond simply identifying errors, our method quantifies both the magnitude and the direction of depth estimate errors when viewing the scene. This enables us to improve the reconstruction accuracy. We train a suitably deep network architecture with two 3D meshes: a high-quality laser reconstruction, and a lower quality stereo image reconstruction. The network predicts the amount of error in the lower quality reconstruction with respect to the high-quality one, having only view the former through its input. We evaluate our approach by correcting two-dimensional (2D) inverse-depth images extracted from the 3D model, and show that our method improves the quality of these depth reconstructions by up to a relative 10% RMSE.


title: Hidden Symmetry of Flexoelectric Coupling

abstract: Considering the importance of the flexoelectric coupling for the physical understanding of the gradient-driven couplings in mesoscale and nanoscale solids, one has to determine its full symmetry and numerical values. The totality of available experimental and theoretical information about the flexocoupling tensor symmetry (specifically the amount of measurable independent components) and numerical values is contradictory indicating on a limited understanding of the coupling properties. However the discrepancy between the theory and experiment can be eliminated by consideration all possible inner symmetries of the flexocoupling tensor and physical limits on it components values. Specifically this study reveals the inner "hidden" symmetry of the static flexoelectric tensor that allows minimizing the number of its independent components to the numbers observed experimentally. Revealed hidden symmetry leads to nontrivial physical sequences, namely it affects on the upper limits of the static flexocoupling constants. Also we analyze the dynamic flexoelectric coupling symmetry and established the upper limits for the numerical values of its components. These results can help to understand and quantify the fundamentals of the gradient-type couplings in different solids.


title: Understanding Ion Pairing in High Salt Concentration Electrolytes using Classical Molecular Dynamics Simulations and its Implications for Nonaqueous Li-O$_2$ Batteries

abstract: A precise understanding of solvation is essential for rational search and design of electrolytes that can meet performance demands in Li-ion and beyond Li-ion batteries. In the context of Li-O$_2$ batteries, ion pairing is decisive in determining battery capacity via the solution mediated discharge mechanism without compromising heavily on electrolyte stability. We argue that models based on coordination numbers of the counterion in the first solvation shell are inadequate at describing the extent of ion pairing, especially at higher salt concentrations, and are often not consistent with experimental observations. In this study, we use classical molecular dynamics simulations for several salt anions (NO$_3^-$, BF$_4^-$, CF$_3$SO$_3^-$, (CF$_3$SO$_2$)$_2$N$^-$) and nonaqueous solvent (DMSO, DME, ACN, THF, DMA) combinations to improve the understanding of ion paring with the help of a new metric of ion-pairing. We proposed a metric that defines the degree of clustering of a cation by its counterions and solvent molecules on a continuous scale, the limits if which are based on a simple and intuitive condition of charge neutrality. Using these metrics, we identify the extent of ion pairing in good agreement with experimental solvation phase diagrams and further discuss its usefulness in understanding commonly employed measures of salt and solvent donicity such as the Gutmann donor number.


title: Reexamining the iconic dihadron correlation measurement demonstrating jet quenching

abstract: Early measurements at the Relativistic Heavy Ion Collider (RHIC) demonstrated jet quenching through the suppression of pairs of high momentum hadrons. These dihadron correlations have a large correlated background. As understanding of the background improved, it was recognized in the field that a significant term was omitted from the background and several dihadron correlation results were quantitatively and qualitatively incorrect. The original measurements demonstrating jet quenching have not been revisited. These measurements are repeated in this paper in a kinematic range similar to the original measurement using publicly available data, applying current knowledge about the background. The new results are qualitatively consistent with the previous results, demonstrating complete suppression of the away-side within uncertainties.


title: Kesten's theorem for uniformly recurrent subgroups

abstract: We prove an inequality on the difference between the spectral radius of the Cayley graph of a group $G$ and the spectral radius of the Schreier graph $H\backslash G$ for any subgroup $H$. As an application we extend Kesten's theorem on spectral radii to uniformly recurrent subgroups and give a short proof that the result of Lyons and Peres on cycle density in Ramanujan graphs holds on average. More precisely, we show that if $\mathcal G$ is an infinite deterministic Ramanujan graph, then the time spent in short cycles by a random walk of length $n$ is $o(n)$.


title: Finite groups with two relative subgroup commutativity degrees

abstract: In this paper we show that there is an infinite number of finite groups with two relative subgroup commutativity degrees. Also, we indicate a sufficient condition such that a finite group has at least three relative subgroup commutativity degrees and we prove that $D_6$ is the only finite dihedral group with two relative commutativity degrees. Finally, we study the density of the set containing all subgroup commutativity degrees of finite groups.


title: Asymptotic behavior for the principal eigenvalue of a reinforcement problem

abstract: In this paper, we consider the asymptotic behavior for the principal eigenvalue of an elliptic operator with piecewise constant coefficients. This problem was first studied by Friedman in 1980. We show how the geometric shape of the interface affects the asymptotic behavior for the principal eigenvalue. This is a refinement of the result by Friedman.


title: Reconstruction of Compressively Sensed Images using Convex Tikhonov Sparse Dictionary Learning and Adaptive Spectral Filtering

abstract: Sparse representation using over-complete dictionaries have shown to produce good quality results in various image processing tasks. Dictionary learning algorithms have made it possible to engineer data adaptive dictionaries which have promising applications in image compression and image enhancement. The most common sparse dictionary learning algorithms use the techniques of matching pursuit and K-SVD iteratively for sparse coding and dictionary learning respectively. While this technique produces good results, it requires a large number of iterations to converge to an optimal solution. In this article, we use a closed form stabilized convex optimization technique for both sparse coding and dictionary learning. The approach results in providing the best possible dictionary and the sparsest representation resulting in minimum reconstruction error. Once the image is reconstructed from the compressively sensed samples, we use adaptive frequency and spatial filtering techniques to move towards exact image recovery. It is clearly seen from the results that the proposed algorithm provides much better reconstruction results than conventional sparse dictionary techniques for a fixed number of iterations. Depending inversely upon the number of details present in the image, the proposed algorithm reaches the optimal solution with a significantly lower number of iterations. Consequently, high PSNR and low MSE is obtained using the proposed algorithm for our compressive sensing framework.


title: Gradient descent revisited via an adaptive online learning rate

abstract: Any gradient descent optimization requires to choose a learning rate. With deeper and deeper models, tuning that learning rate can easily become tedious and does not necessarily lead to an ideal convergence. We propose a variation of the gradient descent algorithm in the which the learning rate is not fixed. Instead, we learn the learning rate itself, either by another gradient descent (first-order method), or by Newton's method (second-order). This way, gradient descent for any machine learning algorithm can be optimized.


title: Dissipative tunneling by means of scaled trajectories

abstract: Dissipative quantum tunnelling through an inverted parabolic barrier is considered in the presence of an electric field. A Schr\"odinger-Langevin or Kostin quantum classical transition wave equation is used and applied resulting in a scaled differential equation of motion. A Gaussian wave packet solution to the resulting scaled Kostin nonlinear equation is assumed and compared to the same solution for the scaled linear Caldirola-Kanai equation. The resulting scaled trajectories are obtained at different dynamical regimes and friction cases, showing the gradual decoherence process in this open dynamics. Theoretical results show that the transmission probabilities are always higher in the Kostin approach than in the Caldirola-Kanai approach in the presence or not of an external electric field. This discrepancy should be understood due to the presence of an environment since the corresponding open dynamics should be governed by nonlinear quantum equations, whereas the second approach is issued from an effective Hamiltonian within a linear theory.


title: Cross-Fitting and Fast Remainder Rates for Semiparametric Estimation

abstract: There are many interesting and widely used estimators of a functional with finite semiparametric variance bound that depend on nonparametric estimators of nuisance functions. We use cross-fitting (i.e. sample splitting) to construct novel estimators with fast remainder rates. We give cross-fit doubly robust estimators that use separate subsamples to estimate different nuisance functions. We obtain general, precise results for regression spline estimation of average linear functionals of conditional expectations with a finite semiparametric variance bound. We show that a cross-fit doubly robust spline regression estimator of the expected conditional covariance is semiparametric efficient under minimal conditions. Cross-fit doubly robust estimators of other average linear functionals of a conditional expectation are shown to have the fastest known remainder rates for the Haar basis or under certain smoothness conditions. Surprisingly, the cross-fit plug-in estimator also has nearly the fastest known remainder rate, but the remainder converges to zero slower than the cross-fit doubly robust estimator. As specific examples we consider the expected conditional covariance, mean with randomly missing data, and a weighted average derivative.


title: Vanishing ideals of projective spaces over finite fields and a projective footprint bound

abstract: We consider the vanishing ideal of a projective space over a finite field. An explicit set of generators for this ideal has been given by Mercier and Rolland. We show that these generators form a universal Gr\"obner basis of the ideal. Further we give a projective analogue of the footprint bound, and a version of it that is suitable for estimating the number of points of a projective algebraic variety over a finite field. An application to Serre's inequality for the number of rational points of projective hypersurfaces over finite fields is included


title: Zonotopes whose cellular strings are all coherent

abstract: A cellular string of a polytope is a sequence of faces stacked on top of each other in a given direction. The poset of cellular strings, ordered by refinement, is known to be homotopy equivalent to a sphere. The subposet of coherent cellular strings is the face lattice of the fiber polytope, hence is homeomorphic to a sphere. In some special cases, every cellular string is coherent. Such polytopes are said to be all-coherent. We give a complete classification of zonotopes with the all-coherence property in terms of their oriented matroid structure. Although the face lattice of the fiber polytope in this case is not an oriented matroid invariant, we prove that the all-coherence property is invariant.


title: Identification of multiple hard X-ray sources in solar flares: A Bayesian analysis of the February 20 2002 event

abstract: The hard X-ray emission in a solar flare is typically characterized by a number of discrete sources, each with its own spectral, temporal, and spatial variability. Establishing the relationship amongst these sources is critical to determine the role of each in the energy release and transport processes that occur within the flare. In this paper we present a novel method to identify and characterize each source of hard X-ray emission. The method permits a quantitative determination of the most likely number of subsources present, and of the relative probabilities that the hard X-ray emission in a given subregion of the flare is represented by a complicated multiple source structure or by a simpler single source. We apply the method to a well-studied flare on 2002~February~20 in order to assess competing claims as to the number of chromospheric footpoint sources present, and hence to the complexity of the underlying magnetic geometry/toplogy. Contrary to previous claims of the need for multiple sources to account for the chromospheric hard X-ray emission at different locations and times, we find that a simple two-footpoint-plus-coronal-source model is the most probable explanation for the data. We also find that one of the footpoint sources moves quite rapidly throughout the event, a factor that presumably complicated previous analyses. The inferred velocity of the footpoint corresponds to a very high induced electric field, compatible with those in thin reconnecting current sheets.


title: Inter-cellular Interactions and Patterns: Vertebrate Development and Embryonic Stem Cells

abstract: Development from egg to embryo to adult is a fascinating instance of biological self-organization for which genetics has supplied us with a parts list. It remains to find the principles organizing the assembly of those parts. In the last decade embryonic stem cells (ESC) have provided the material from which to build the mammalian embryo. This review, for a quantitative audience, explains why colonies of ESC are an ideal system with which to peal back the multiple layers of regulation that make embryonic development such a robust process. It formed the basis of a presentation at the 27th Solvay Conference on the Physics of Living Matter 2017 edited by Boris Shraiman.


title: On Nano Semi Alpha Open Sets

abstract: In this paper, we presented another concept of N-O.S. called NS{\alpha}-O.S. and studied their fundamental properties in nano topological spaces. We also present NS{\alpha}-interior and NS{\alpha}-closure and study some of their fundamental properties.


title: Adaptive Scan Gibbs Sampler for Large Scale Inference Problems

abstract: For large scale on-line inference problems the update strategy is critical for performance. We derive an adaptive scan Gibbs sampler that optimizes the update frequency by selecting an optimum mini-batch size. We demonstrate performance of our adaptive batch-size Gibbs sampler by comparing it against the collapsed Gibbs sampler for Bayesian Lasso, Dirichlet Process Mixture Models (DPMM) and Latent Dirichlet Allocation (LDA) graphical models.


title: An Innovative Human-Robot Cognitive Coupling in Industrial Robot Control and Manufacturing

abstract: This paper demonstrates the groundwork for the structure and nature of Human-Robot Cognitive Coupling.The human mind is best at associating objects, while digital devices can only compare. Successful communication between robot and human agents involves translating human thought into unique numbers that can be compared, and translating these numbers back into a form that humans can understand. A cognitive robot is one capable of interpreting its own operational data. Working from a D&D project standpoint with a telerobot, a system is designed to utilize sensor data, extract usable profiles and information from them, and then apply them as a means of self-testing for nominal/off-nominal operations. If operations are considered off-nominal, the telerobot begins a sequence of recalling and comparing previous off-nominal occurrences to determine potential corrections. In this manner, a telerobot can apply previous 'experiences' in order to learn without the need for operator input. In the cognitive telerobotics, knowledge base is an important component to store required information. In this paper, a tool-centric knowledge base with learning capability is presented. In this paper, the knowledge can be updated based on the reinforcement learning algorithm at both global and local levels and knowledge fusion by coupling with operator's cognition.


title: Different is More: The Value of Finding an Inhabited Planet that is Far From Earth 2.0

abstract: The search for an inhabited planet, other than our own, is a driver of planetary exploration in our solar system and beyond. Using information from our own planet to inform search strategies allows for a targeted search. It is, however, worth considering some span in the strategy and in a priori expectation. An inhabited Earth-like planet is one that would be similar to Earth in ways that extend beyond having biota. To facilitate analysis, we introduce a metric that extends from zero, for an inhabited planet that is like Earth in all other regards (i.e., zero differences), toward positive or negative values for planets that differ from Earth. The analysis shows how assessment of life potential in our galaxy changes more significantly if we find an inhabited planet that is less Earth-like (i.e., it quantifies how probability assessments improve with deviations from Earth-likeness). Discovering such planets could also provide a test of the strong form of the Gaia hypothesis - a test that has proved difficult using only the Earth as a laboratory. Lastly, we discuss how an Earth2.0 narrative, that has been presented to the public as a search strategy, comes with nostalgia-laden philosophical baggage that does not best serve exploration.


title: The $q$-unit circle

abstract: We define the unit circle for global function fields. We demonstrate that this unit circle (endearingly termed the \emph{$q$-unit circle}, after the finite field $\mathbb{F}_q$ of $q$ elements) enjoys all of the properties akin to the classical unit circle: center, curvature, roots of unity in completions, integrality conditions, embedding into a finite-dimensional vector space over the real line, a partition of the ambient space into concentric circles, M\"{o}bius transformations, a Dirichlet approximation theorem, a reciprocity law, and much more. We extend the exponential action of Carlitz by polynomials to an action by the real line. We show that mutually tangent horoballs solve a Descartes-type relation arising from reciprocity. We define the hyperbolic plane, which we prove is uniquely determined by the $q$-unit circle. We give the associated modular forms and Eisenstein series.


title: Deep Water Cycling and Delayed Onset Cooling of the Earth

abstract: Changes that occur on our planet can be tracked back to one of two energy sources: the sun and the Earth's internal energy. The motion of tectonic plates, volcanism, mountain building and the reshaping of our planet's surface over geologic time depend on the Earth's internal energy. Tectonic activity is driven by internal energy and affects the rate at which energy is tapped, i.e., the cooling rate of our planet. Petrologic data indicate that cooling did not occur at a constant rate over geologic history. Interior cooling was mild until ~2.5 billion years ago and then increased (Figure 1). As the Earth cools, it cycles water between its rocky interior (crust and mantle) and its surface. Water affects the viscosity of mantle rock, which affects the pace of tectonics and, by association, Earth cooling. We present suites of thermal-tectonic history models, coupled to deep water cycling, to show that the petrologically constrained change in the Earth's cooling rate can be accounted for by variations in deep water cycling over geologic time. The change in cooling rate does not require a change in the global tectonic mode of the Earth. It can be accounted for by a change in the balance of water cycling between the Earth's interior and its surface envelopes. The nature and timing of that water cycling change can be correlated to a change in the nature of continental crust and an associated rise of atmospheric oxygen. The prediction that the rise of oxygen should then be correlated, in time, to the change in the Earth's cooling rate is consistent with data constraints.


title: Set Theory and the Analyst

abstract: This survey is motivated by specific questions arising in the similarities and contrasts between (Baire) category and (Lebesgue) measure -- category-measure duality and non-duality, as it were. The bulk of the text is devoted to a summary, intended for the working analyst, of the extensive background in set theory and logic needed to discuss such matters: to quote from the Preface of Kelley [Kel]: "what every young analyst should know".