title: Electromagnetic field orientation and dynamics governs advection characteristics within pendent droplets

abstract: The article reports the domineering governing role played by the direction of electric and magnetic fields on the internal advection pattern and strength within salt solution pendant droplets. Literature shows that solutal advection drives circulation cells within salt based droplets. Flow visualization and velocimetry reveals that the direction of the applied field governs the enhancement/reduction in circulation velocity and the directionality of circulation inside the droplet. Further, it is noted that while magnetic fields augment the circulation velocity, the electric field leads to deterioration of the same. The concepts of electro andmagnetohydrodynamics are appealed to and a Stokesian stream function based mathematical model to deduce the field mediated velocities has been proposed. The model is found to reveal the roles of and degree of dependence on the governing Hartmann, Stuart, Reynolds and Masuda numbers. The theoretical predictions are observed to be in good agreement with experimental average spatio-temporal velocities. The present findings may have strong implications in microscale electro and/or magnetohydrodynamics.


title: VPKIaaS: A Highly-Available and Dynamically-Scalable Vehicular Public-Key Infrastructure

abstract: The central building block of secure and privacy-preserving Vehicular Communication (VC) systems is a Vehicular Public-Key Infrastructure (VPKI), which provides vehicles with multiple anonymized credentials, termed pseudonyms. These pseudonyms are used to ensure message authenticity and integrity while preserving vehicle (and thus passenger) privacy. In the light of emerging large-scale multi-domain VC environments, the efficiency of the VPKI and, more broadly, its scalability are paramount. In this extended abstract, we leverage the state-of-the-art VPKI system and enhance its functionality towards a highly-available and dynamically-scalable design, this ensures that the system remains operational in the presence of benign failures or any resource depletion attack, and that it dynamically scales out, or possibly scales in, according to the requests' arrival rate. Our full-blown implementation on the Google Cloud Platform shows that deploying a VPKI for a large-scale scenario can be cost-effective, while efficiently issuing pseudonyms for the requesters.


title: Approximate Leave-One-Out for Fast Parameter Tuning in High Dimensions

abstract: Consider the following class of learning schemes: $$\hat{\boldsymbol{\beta}} := \arg\min_{\boldsymbol{\beta}}\;\sum_{j=1}^n \ell(\boldsymbol{x}_j^\top\boldsymbol{\beta}; y_j) + \lambda R(\boldsymbol{\beta}),\qquad\qquad (1) $$ where $\boldsymbol{x}_i \in \mathbb{R}^p$ and $y_i \in \mathbb{R}$ denote the $i^{\text{th}}$ feature and response variable respectively. Let $\ell$ and $R$ be the loss function and regularizer, $\boldsymbol{\beta}$ denote the unknown weights, and $\lambda$ be a regularization parameter. Finding the optimal choice of $\lambda$ is a challenging problem in high-dimensional regimes where both $n$ and $p$ are large. We propose two frameworks to obtain a computationally efficient approximation ALO of the leave-one-out cross validation (LOOCV) risk for nonsmooth losses and regularizers. Our two frameworks are based on the primal and dual formulations of (1). We prove the equivalence of the two approaches under smoothness conditions. This equivalence enables us to justify the accuracy of both methods under such conditions. We use our approaches to obtain a risk estimate for several standard problems, including generalized LASSO, nuclear norm regularization, and support vector machines. We empirically demonstrate the effectiveness of our results for non-differentiable cases.


title: The variety of domination games

abstract: Domination game [SIAM J.\ Discrete Math.\ 24 (2010) 979--991] and total domination game [Graphs Combin.\ 31 (2015) 1453--1462] are by now well established games played on graphs by two players, named Dominator and Staller. In this paper, Z-domination game, L-domination game, and LL-domination game are introduced as natural companions of the standard domination games. Versions of the Continuation Principle are proved for the new games. It is proved that in each of these games the outcome of the game, which is a corresponding graph invariant, differs by at most one depending whether Dominator or Staller starts the game. The hierarchy of the five domination games is established. The invariants are also bounded with respect to the (total) domination number and to the order of a graph. Values of the three new invariants are determined for paths up to a small constant independent from the length of a path. Several open problems and a conjecture are listed. The latter asserts that the L-domination game number is not greater than $6/7$ of the order of a graph.


title: Switching between Limit Cycles in a Model of Running Using Exponentially Stabilizing Discrete Control Lyapunov Function

abstract: This paper considers the problem of switching between two periodic motions, also known as limit cycles, to create agile running motions. For each limit cycle, we use a control Lyapunov function to estimate the region of attraction at the apex of the flight phase. We switch controllers at the apex, only if the current state of the robot is within the region of attraction of the subsequent limit cycle. If the intersection between two limit cycles is the null set, then we construct additional limit cycles till we are able to achieve sufficient overlap of the region of attraction between sequential limit cycles. Additionally, we impose an exponential convergence condition on the control Lyapunov function that allows us to rapidly transition between limit cycles. Using the approach we demonstrate switching between 5 limit cycles in about 5 steps with the speed changing from 2 m/s to 5 m/s.


title: Multiloop functional renormalization group for the two-dimensional Hubbard model: Loop convergence of the response functions

abstract: We present a functional renormalization group (fRG) study of the two dimensional Hubbard model, performed with an algorithmic implementation which lifts some of the common approximations made in fRG calculations. In particular, in our fRG flow; (i) we take explicitly into account the momentum and the frequency dependence of the vertex functions; (ii) we include the feedback effect of the self-energy; (iii) we implement the recently introduced multiloop extension which allows us to sum up {\emph{all}} the diagrams of the parquet approximation with their exact weight. Due to its iterative structure based on successive one-loop computations, the loop convergence of the fRG results can be obtained with an affordable numerical effort. In particular, focusing on the analysis of the physical response functions, we show that the results become {\emph{independent}} from the chosen cutoff scheme and from the way the fRG susceptibilities are computed, i.e., either through flowing couplings to external fields, or through a "post-processing" contraction of the interaction vertex at the end of the flow. The presented substantial refinement of fRG-based computation schemes paves a promising route towards future quantitative fRG analyses of more challenging systems and/or parameter regimes.


title: Streamer evolution arrest governed amplified AC breakdown strength of graphene and CNT colloids

abstract: The present article experimentally explores the concept of large improving the AC dielectric breakdown strength of insulating mineral oils by the addition of trace amounts of graphene or CNTs to form stable dispersions. The nano-oils infused with these nanostructures of high electronic conductance indicate superior AC dielectric behaviour in terms of augmented breakdown strength compared to the base oils. Experimental observations of two grades of synthesized graphene and CNT nano-oils show that the nanomaterials not only improve the average breakdown voltage but also significantly improve the reliability and survival probabilities of the oils under AC high voltage stressing. Improvement of the tune of ~ 70-80 % in the AC breakdown voltage of the oils has been obtained via the present concept. The present study examines the reliability of such nano-colloids with the help of two parameter Weibull distribution and the oils show greatly augmented electric field bearing capacity at both standard survival probability values of 5 % and 63.3 %. The fundamental mechanism responsible for such observed outcomes is reasoned to be delayed streamer development and reduced streamer growth rates due to effective electron scavenging by the nanostructures from the ionized liquid insulator. A mathematical model based on the principles of electron scavenging is proposed to quantify the amount of electrons scavenged by the nanostructures. The same is then employed to predict the enhanced AC breakdown voltage and the experimental values are found to match well with the model predictions. The present study can have strong implications in efficient, reliable and safer operation of real life AC power systems.


title: Probing AGN Inner Structure with X-ray Obscured Type 1 AGN

abstract: Using the X-ray-selected active galactic nuclei (AGN) from the XMM-XXL north survey and the SDSS Baryon Oscillation Spectroscopic Survey (BOSS) spectroscopic follow-up of them, we compare the properties of X-ray unobscured and obscured broad-line AGN (BLAGN1 and BLAGN2; $N_\textrm{H}$below and above $10^{21.5}$ cm$^{-2}$), including their X-ray luminosity $L_X$, black hole mass, Eddington ratio $\lambda_{\textrm{Edd}}$, optical continuum and line features. We find that BLAGN2 have systematically larger broad line widths and hence apparently higher (lower) $M_{\textrm{BH}}$ ($\lambda_{\textrm{Edd}}$) than BLAGN1. We also find that the X-ray obscuration in BLAGN tends to coincide with optical dust extinction, which is optically thinner than that in narrow-line AGN (NLAGN) and likely partial-covering to the broad line region. All the results can be explained in the framework of a multi-component, clumpy torus model by interpreting BLAGN2 as an intermediate type between BLAGN1 and NLAGN in terms of an intermediate inclination angle.


title: Towards Multi-class Object Detection in Unconstrained Remote Sensing Imagery

abstract: Automatic multi-class object detection in remote sensing images in unconstrained scenarios is of high interest for several applications including traffic monitoring and disaster management. The huge variation in object scale, orientation, category, and complex backgrounds, as well as the different camera sensors pose great challenges for current algorithms. In this work, we propose a new method consisting of a novel joint image cascade and feature pyramid network with multi-size convolution kernels to extract multi-scale strong and weak semantic features. These features are fed into rotation-based region proposal and region of interest networks to produce object detections. Finally, rotational non-maximum suppression is applied to remove redundant detections. During training, we minimize joint horizontal and oriented bounding box loss functions, as well as a novel loss that enforces oriented boxes to be rectangular. Our method achieves 68.16% mAP on horizontal and 72.45% mAP on oriented bounding box detection tasks on the challenging DOTA dataset, outperforming all published methods by a large margin (+6% and +12% absolute improvement, respectively). Furthermore, it generalizes to two other datasets, NWPU VHR-10 and UCAS-AOD, and achieves competitive results with the baselines even when trained on DOTA. Our method can be deployed in multi-class object detection applications, regardless of the image and object scales and orientations, making it a great choice for unconstrained aerial and satellite imagery.


title: DeepSource: Point Source Detection using Deep Learning

abstract: Point source detection at low signal-to-noise is challenging for astronomical surveys, particularly in radio interferometry images where the noise is correlated. Machine learning is a promising solution, allowing the development of algorithms tailored to specific telescope arrays and science cases. We present DeepSource - a deep learning solution - that uses convolutional neural networks to achieve these goals. DeepSource enhances the Signal-to-Noise Ratio (SNR) of the original map and then uses dynamic blob detection to detect sources. Trained and tested on two sets of 500 simulated 1 deg x 1 deg MeerKAT images with a total of 300,000 sources, DeepSource is essentially perfect in both purity and completeness down to SNR = 4 and outperforms PyBDSF in all metrics. For uniformly-weighted images it achieves a Purity x Completeness (PC) score at SNR = 3 of 0.73, compared to 0.31 for the best PyBDSF model. For natural-weighting we find a smaller improvement of ~40% in the PC score at SNR = 3. If instead we ask where either of the purity or completeness first drop to 90%, we find that DeepSource reaches this value at SNR = 3.6 compared to the 4.3 of PyBDSF (natural-weighting). A key advantage of DeepSource is that it can learn to optimally trade off purity and completeness for any science case under consideration. Our results show that deep learning is a promising approach to point source detection in astronomical images.


title: Local convergence for permutations and local limits for uniform $\rho$-avoiding permutations with $|\rho|=3$

abstract: We set up a new notion of local convergence for permutations and we prove a characterization in terms of proportions of \emph{consecutive} pattern occurrences. We also characterize random limiting objects for this new topology introducing a notion of "shift-invariant" property (corresponding to the notion of unimodularity for random graphs). We then study two models in the framework of random pattern-avoiding permutations. We compute the local limits of uniform $\rho$-avoiding permutations, for $|\rho|=3,$ when the size of the permutations tends to infinity. The core part of the argument is the description of the asymptotics of the number of consecutive occurrences of any given pattern. For this result we use bijections between $\rho$-avoiding permutations and rooted ordered trees, local limit results for Galton--Watson trees, the Second moment method and singularity analysis.


title: Vertex and Edge connectivity of the zero divisor graph $\Gamma[\mathbb {Z}_n]$

abstract: The Zero divisor Graph of a commutative ring $R$, denoted by $\Gamma[R]$, is a graph whose vertices are non-zero zero divisors of $R$ and two vertices are adjacent if their product is zero. In this paper we derive the Vertex and Edge Connectivity of the zero divisor graph $\Gamma[\mathbb{Z}_n]$, for any natural number $n$ . We also discuss the minimum degree of the zero divisor graph $\Gamma[\mathbb{Z}_n]$.


title: Oxygen Potential Transition in Mixed Conducting Oxide Electrolyte

abstract: It is generally assumed that oxygen potential in a thin oxide electrolyte follows a linear distribution between electrodes. Jacobsen and Mogensen have shown, however, that this is not the case for thin zirconia membranes in solid oxide electrochemical cells. Here we demonstrate that there is a ubiquitous oxygen potential transition rooted in the p-type/n-type transition of electronic conductivity inside mixed conducting oxides, and that the transition is extremely sensitive to electrode potential and current density. It is also remarkably sensitive to the conductivity ratio of electrons and holes, as well as their association with lattice oxygens and vacancies, which tends to increase the oxygen flow. Direct evidence of a sharp oxygen potential transition has been found in an equally sharp grain size transition in electrically loaded zirconia. More broadly speaking, the oxygen potential transition is akin to a first-order phase transition. Therefore, it will suffer interface instability, especially in high-current-density devices. These findings provide new opportunities to understand several disparate observations in the literature, from microstructural degradation and stress distribution in solid oxide fuel/electrolyzer cells, to field-assisted sintering, to conducting filaments in resistance memory, to dendrite formation in electrochemical cells.


title: On the maximum conjecture

abstract: We verify the maximum conjecture on the rigidity of totally nondegenerate model CR manifolds in the following two cases: (i) for all models of CR dimension one (ii) for the so-called full-models, namely those in which their associated symbol algebras are free CR. In particular, we discover that in each arbitrary CR dimension and length >= 3, there exists at least one totally nondegenerate model, enjoying this conjecture. Our proofs rely upon some recent results in the Tanaka theory of transitive prolongation of fundamental algebras.


title: Efficient, Scalable, and Resilient Vehicle-Centric Certificate Revocation List Distribution in VANETs

abstract: In spite of progress in securing Vehicular Communication (VC) systems, there is no consensus on how to distribute Certificate Revocation Lists (CRLs). The main challenges lie exactly in (i) crafting an efficient and timely distribution of CRLs for numerous anonymous credentials, pseudonyms, (ii) maintaining strong privacy for vehicles prior to revocation events, even with honest-but-curious system entities, (iii) and catering to computation and communication constraints of on-board units with intermittent connectivity to the infrastructure. Relying on peers to distribute the CRLs is a double-edged sword: abusive peers could "pollute" the process, thus degrading the timely CRLs distribution. In this paper, we propose a vehicle-centric solution that addresses all these challenges and thus closes a gap in the literature. Our scheme radically reduces CRL distribution overhead: each vehicle receives CRLs corresponding only to its region of operation and its actual trip duration. Moreover, a "fingerprint" of CRL 'pieces' is attached to a subset of (verifiable) pseudonyms for fast CRL 'piece' validation (while mitigating resource depletion attacks abusing the CRL distribution). Our experimental evaluation shows that our scheme is efficient, scalable, dependable, and practical: with no more than 25 KB/s of traffic load, the latest CRL can be delivered to 95% of the vehicles in a region (50x50 KM) within 15s, i.e., more than 40 times faster than the state-of-the-art. Overall, our scheme is a comprehensive solution that complements standards and can catalyze the deployment of secure and privacy-protecting VC systems.


title: Anomalous quartic gauge couplings and unitarization for the vector boson scattering process $pp\rightarrow W^+W^+jjX\rightarrow \ell^+\nu_\ell\ell^+\nu_\ell jjX$

abstract: Weak vector boson scattering (VBS) at the LHC provides an excellent source of information on the structure of quartic gauge couplings and possible effects of physics beyond the SM in electroweak symmetry breaking. Parameterizing deviations from the SM within an effective field theory at tree level, the dimension-8 operators, which are needed for sufficiently general modeling, lead to unphysical enhancements of cross sections within the accessible energy range of the LHC. Preservation of unitarity limits is needed for phenomenological studies of the $VVjj$ events which signify VBS. Here we develop a numerical unitarization scheme for the full off-shell VBS processes and apply it to same-sign $W$ scattering, i.e. processes like $qq\to qqW^+W^+$. The scheme is implemented within the Monte Carlo program VBFNLO, including leptonic decay of the weak bosons and NLO QCD corrections. Distributions differentiating between higher dimensional operators are discussed.


title: On open flat sets in spaces with bipolar comparison

abstract: We show that if a Riemannian manifold satisfies (3,3)-bipolar comparisons and has an open flat subset then it is flat. The same holds for a version of MTW where the perpendicularity is dropped. In particular we get that the (3,3)-bipolar comparison is strictly stronger than the Alexandrov comparison.


title: HMCF - Hamiltonian Monte Carlo Sampling for Fields - A Python framework for HMC sampling with NIFTy

abstract: HMCF "Hamiltonian Monte Carlo for Fields" is a software add-on for the NIFTy "Numerical Information Field Theory" framework implementing Hamiltonian Monte Carlo (HMC) sampling in Python. HMCF as well as NIFTy are designed to address inference problems in high-dimensional spatially correlated setups such as image reconstruction. HMCF adds an HMC sampler to NIFTy that automatically adjusts the many free parameters steering the HMC sampling machinery. A wide variety of features ensure efficient full-posterior sampling for high-dimensional inference problems. These features include integration step size adjustment, evaluation of the mass matrix, convergence diagnostics, higher order symplectic integration and simultaneous sampling of parameters and hyperparameters in Bayesian hierarchical models.


title: Improving DNN-based Music Source Separation using Phase Features

abstract: Music source separation with deep neural networks typically relies only on amplitude features. In this paper we show that additional phase features can improve the separation performance. Using the theoretical relationship between STFT phase and amplitude, we conjecture that derivatives of the phase are a good feature representation opposed to the raw phase. We verify this conjecture experimentally and propose a new DNN architecture which combines amplitude and phase. This joint approach achieves a better signal-to distortion ratio on the DSD100 dataset for all instruments compared to a network that uses only amplitude features. Especially, the bass instrument benefits from the phase information.


title: Capital Regulation under Price Impacts and Dynamic Financial Contagion

abstract: We construct a continuous time model for price-mediated contagion precipitated by a common exogenous stress to the banking book of all firms in the financial system. In this setting, firms are constrained so as to satisfy a risk-weight based capital ratio requirement. We use this model to find analytical bounds on the risk-weights for assets as a function of the market liquidity. Under these appropriate risk-weights, we find existence and uniqueness for the joint system of firm behavior and the asset prices. We further consider an analytical bound on the firm liquidations, which allows us to construct exact formulas for stress testing the financial system with deterministic or random stresses. Numerical case studies are provided to demonstrate various implications of this model and analytical bounds.


title: The fully frustrated XY model revisited: A new universality class

abstract: The two-dimensional ($2d$) fully frustrated Planar Rotator model on a square lattice has been the subject of a long controversy due to the simultaneous $Z_2$ and $O(2)$ symmetry existing in the model. The $O(2)$ symmetry being responsible for the Berezinskii - Kosterlitz - Thouless transition ($BKT$) while the $Z_2$ drives an Ising-like transition. There are arguments supporting two possible scenarios, one advocating that the loss of $Ising$ and $BKT$ order take place at the same temperature $T_{t}$ and the other that the $Z_2$ transition occurs at a higher temperature than the $BKT$ one. In the first case an immediate consequence is that this model is in a new universality class. Most of the studies take hand of some order parameter like the stiffness, Binder's cumulant or magnetization to obtain the transition temperature. Considering that the transition temperatures are obtained, in general, as an average over the estimates taken about several of those quantities, it is difficult to decide if they are describing the same or slightly separate transitions. In this paper we describe an iterative method based on the knowledge of the complex zeros of the energy probability distribution to study the critical behavior of the system. The method is general with advantages over most conventional techniques since it does not need to identify any order parameter \emph{a priori}. The critical temperature and exponents can be obtained with good precision. We apply the method to study the Fully Frustrated Planar Rotator ($PR$) and the Anisotropic Heisenberg ($XY$) models in two dimensions. We show that both models are in a new universality class with $T_{PR}=0.45286(32)$ and $T_{XY}=0.36916(16)$ and the transition exponent $\nu=0.824(30)$ ($\frac{1}{\nu}=1.22(4)$).


title: Geometry of Spaces of Orthogonally Additive Polynomials on C(K)

abstract: We study the space of orthogonally additive $n$-homogeneous polynomials on $C(K)$. There are two natural norms on this space. First, there is the usual supremum norm of uniform convergence on the closed unit ball. As every orthogonally additive $n$-homogeneous polynomial is regular with respect to the Banach lattice structure, there is also the regular norm. These norms are equivalent, but have significantly different geometric properties. We characterise the extreme points of the unit ball for both norms, with different results for even and odd degrees. As an application, we prove a Banach-Stone theorem. We conclude with a classification of the exposed points.


title: Some free boundary problems recast as nonlocal parabolic equations

abstract: In this work we demonstrate that a class of some one and two phase free boundary problems can be recast as nonlocal parabolic equations on a submanifold. The canonical examples would be one-phase Hele Shaw flow, as well as its two-phase analog. We also treat nonlinear versions of both one and two phase problems. In the special class of free boundaries that are graphs over $\mathbb{R}^d$, we give a precise characterization that shows their motion is equivalent to that of a solution of a nonlocal (fractional), nonlinear parabolic equation for functions on $\mathbb{R}^d$. Our main observation is that the free boundary condition defines a nonlocal operator having what we call the Global Comparison Property. A consequence of the connection with nonlocal parabolic equations is that for free boundary problems arising from translation invariant elliptic operators in the positive and negative phases, one obtains, in a uniform treatment for all of the problems (one and two phase), a propagation of modulus of continuity for viscosity solutions of the free boundary flow.


title: Complexity of Scott Sentences

abstract: We give effective versions of some results on Scott sentences. We show that if $\mathcal{A}$ has a computable $\Pi_\alpha$ Scott sentence, then the orbits of all tuples are defined by formulas that are computable $\Sigma_\beta$ for some $\beta <\alpha$. (This is an effective version of a result of Montalb\'{a}n.) We show that if a countable structure $\mathcal{A}$ has a computable $\Sigma_\alpha$ Scott sentence and one that is computable $\Pi_\alpha$, then it has one that is computable $d$-$\Sigma_\beta$ for some $\beta < \alpha$. (This is an effective version of a result of A. Miller.) We also give an effective version of a result of D. Miller. Using the non-effective results of Montalb\'{a}n and A. Miller, we show that a finitely generated group has a $d$-$\Sigma_2$ Scott sentence iff the orbit of some (or every) generating tuple is defined by a $\Pi_1$ formula. Using our effective results, we show that for a computable finitely generated group, there is a computable $d$-$\Sigma_2$ Scott sentence iff the orbit of some (every) generating tuple is defined by a computable $\Pi_1$ formula.


title: A Deep-Learning-Based Geological Parameterization for History Matching Complex Models

abstract: A new low-dimensional parameterization based on principal component analysis (PCA) and convolutional neural networks (CNN) is developed to represent complex geological models. The CNN-PCA method is inspired by recent developments in computer vision using deep learning. CNN-PCA can be viewed as a generalization of an existing optimization-based PCA (O-PCA) method. Both CNN-PCA and O-PCA entail post-processing a PCA model to better honor complex geological features. In CNN-PCA, rather than use a histogram-based regularization as in O-PCA, a new regularization involving a set of metrics for multipoint statistics is introduced. The metrics are based on summary statistics of the nonlinear filter responses of geological models to a pre-trained deep CNN. In addition, in the CNN-PCA formulation presented here, a convolutional neural network is trained as an explicit transform function that can post-process PCA models quickly. CNN-PCA is shown to provide both unconditional and conditional realizations that honor the geological features present in reference SGeMS geostatistical realizations for a binary channelized system. Flow statistics obtained through simulation of random CNN-PCA models closely match results for random SGeMS models for a demanding case in which O-PCA models lead to significant discrepancies. Results for history matching are also presented. In this assessment CNN-PCA is applied with derivative-free optimization, and a subspace randomized maximum likelihood method is used to provide multiple posterior models. Data assimilation and significant uncertainty reduction are achieved for existing wells, and physically reasonable predictions are also obtained for new wells. Finally, the CNN-PCA method is extended to a more complex non-stationary bimodal deltaic fan system, and is shown to provide high-quality realizations for this challenging example.


title: Two-Dimensional Multiferroic Semiconductors with Coexisting Ferroelectricity and Ferromagnetism

abstract: Low-dimensional multiferroicity, though highly scarce in nature, has attracted great attention due to both fundamental and technological interests. Using first-principles density functional theory, we show that ferromagnetism and ferroelectricity can coexist in monolayer transition metal phosphorus chalcogenides (TMPCs) - CuMP$_2$X$_6$ (M=Cr, V; X=S, Se). These van der Waals layered materials represent a class of 2D multiferroic semiconductors that simultaneously possess ferroelectric and ferromagnetic orders. In these monolayer materials, Cu atoms spontaneously move away from the center atomic plane, giving rise to nontrivial electric dipole moment along the plane normal. In addition, their ferromagnetism originates from indirect exchange interaction between Cr/V atoms, while their out-of-plane ferroelectricity suggests the possibility of controlling electric polarization by external vertical electric field. Monolayer semiconducting TMPCs thus provide a solid-state 2D materials platform for realizing 2D nanoscale switches and memory devices patterned with top and bottom electrodes.


title: High-order, Dispersionless "Fast-Hybrid" Wave Equation Solver. Part I: $\mathcal{O}(1)$ Sampling Cost via Incident-Field Windowing and Recentering

abstract: This paper proposes a frequency/time hybrid integral-equation method for the time dependent wave equation in two and three-dimensional spatial domains. Relying on Fourier Transformation in time, the method utilizes a fixed (time-independent) number of frequency-domain integral-equation solutions to evaluate, with superalgebraically-small errors, time domain solutions for arbitrarily long times. The approach relies on two main elements, namely, 1) A smooth time-windowing methodology that enables accurate band-limited representations for arbitrarily-long time signals, and 2) A novel Fourier transform approach which, in a time-parallel manner and without causing spurious periodicity effects, delivers numerically dispersionless spectrally-accurate solutions. A similar hybrid technique can be obtained on the basis of Laplace transforms instead of Fourier transforms, but we do not consider the Laplace-based method in the present contribution. The algorithm can handle dispersive media, it can tackle complex physical structures, it enables parallelization in time in a straightforward manner, and it allows for time leaping---that is, solution sampling at any given time $T$ at $\mathcal{O}(1)$-bounded sampling cost, for arbitrarily large values of $T$, and without requirement of evaluation of the solution at intermediate times. The proposed frequency-time hybridization strategy, which generalizes to any linear partial differential equation in the time domain for which frequency-domain solutions can be obtained (including e.g. the time-domain Maxwell equations), and which is applicable in a wide range of scientific and engineering contexts, provides significant advantages over other available alternatives such as volumetric discretization, time-domain integral equations, and convolution-quadrature approaches.


title: Nothing But Net: Invading Android User Privacy Using Only Network Access Patterns

abstract: We evaluate the power of simple networks side-channels to violate user privacy on Android devices. Specifically, we show that, using blackbox network metadata alone (i.e., traffic statistics such as transmission time and size of packets) it is possible to infer several elements of a user's location and also identify their web browsing history (i.e, which sites they visited). We do this with relatively simple learning and classification methods and basic network statistics. For most Android phones currently on the market, such process-level traffic statistics are available for any running process, without any permissions control and at fine-grained details, although, as we demonstrate, even device-level statistics are sufficient for some of our attacks. In effect, it may be possible for any application running on these phones to identify privacy-revealing elements of a user's location, for example, correlating travel with places of worship, point-of-care medical establishments, or political activity.


title: Competitive electrohydrodynamic and electrosolutal advection arrests evaporation kinetics of droplets

abstract: The present article reports the hitherto unreported phenomenon of arrested evaporation dynamics in pendent droplets in an electric field ambience. The evaporation kinetics of pendant droplets of electrically conducting saline solutions in the presence of a transverse, alternating electric field is investigated experimentally. It has been observed that while increase of field strength arrests the evaporation, increment in field frequency has the opposite effect. The same has been explained on the solvation kinetics of the ions in the polar water. Theoretical analysis reveals that change in surface tension and diffusion driven evaporation model cannot predict the arrested or decelerated evaporation. With the aid of Particle Image Velocimetry, suppression of internal circulation velocity within the droplet is observed under electric field stimulus, and this affects the evaporation rate directly. A mathematical scaling model is proposed to quantify the effects of electrohydrodynamic circulation, electrothermal and electro-solutal advection on the evaporation kinetics of the droplet. The analysis encompasses major governing parameters, viz. the thermal and solutal Marangoni numbers, the Electrohydrodynamic number, the electro Prandtl and electro Schmidt numbers and their respective contributions. It has been shown that the electrothermal Marangoni effect is supressed by the electric field, leading to deteriorated evaporation rates. Additionally, the electrosolutal Marangoni effect further supresses the internal advection, which again arrests the evaporation rate by a larger proportion. Stability analysis reveals that the electric body force retards the stable internal circulation within such droplets and arrests advection.


title: Diophantine problems and $p$-adic period mappings

abstract: We give an alternative proof of Faltings's theorem (Mordell's conjecture): a curve of genus at least two over a number field has finitely many rational points. Our argument utilizes the set-up of Faltings's original proof, but is in spirit closer to the methods of Chabauty and Kim: we replace the use of abelian varieties by a more detailed analysis of the variation of $p$-adic Galois representations in a family of algebraic varieties. The key inputs into this analysis are the comparison theorems of $p$-adic Hodge theory, and explicit topological computations of monodromy. By the same methods we show that, in sufficiently large dimension and degree, the set of hypersurfaces in projective space, with good reduction away from a fixed set of primes, is contained in a proper Zariski-closed subset of the moduli space of all hypersurfaces. This uses in an essential way the Ax--Schanuel property for period mappings, recently established by Bakker and Tsimerman.


title: Wavelength tunable soliton rains in a nanotube-mode locked Tm-doped fiber laser

abstract: We report soliton rains in a tuneable Tm-doped fiber laser mode locked by carbon nanotubes. We also detect their second- and third-harmonic. We achieve a tuneability of over 56nm, from 1877 to 1933nm, by introducing a polarization-maintaining isolator and two in-line polarization controllers. This makes our system promising as a tuneable filter for ultrafast spectroscopy.


title: Machine Learning for Reliable mmWave Systems: Blockage Prediction and Proactive Handoff

abstract: The sensitivity of millimeter wave (mmWave) signals to blockages is a fundamental challenge for mobile mmWave communication systems. The sudden blockage of the line-of-sight (LOS) link between the base station and the mobile user normally leads to disconnecting the communication session, which highly impacts the system reliability. Further, reconnecting the user to another LOS base station incurs high beam training overhead and critical latency problems. In this paper, we leverage machine learning tools and propose a novel solution for these reliability and latency challenges in mmWave MIMO systems. In the developed solution, the base stations learn how to predict that a certain link will experience blockage in the next few time frames using their past observations of adopted beamforming vectors. This allows the serving base station to proactively hand-over the user to another base station with a highly probable LOS link. Simulation results show that the developed deep learning based strategy successfully predicts blockage/hand-off in close to 95% of the times. This reduces the probability of communication session disconnection, which ensures high reliability and low latency in mobile mmWave systems.


title: Accretion Disk Reverberation Mapping of Active Galactic Nuclei at Wise Observatory

abstract: We have started automatized photometric monitoring of active galactic nuclei using the 46 cm telescope of the Wise Observatory in Israel. The telescope is specially equipped with narrow-band filters to perform high-fidelity photometric reverberation mapping of the accretion disk in V < 17 mag sources up to z ~ 0.1. Here, we describe the capability and accuracy of the experiment, and present the first science verification data obtained for the Seyfert 1 galaxy Mrk 279. With sub-diurnal sampling over more than two months, and typical flux measurement uncertainties of $1\%$, we are able to measure inter-band time-delays of up to ~2 days across the optical range.


title: Numerical analysis of a discontinuous Galerkin method for Cahn-Hilliard-Navier-Stokes equations

abstract: In this paper, we derive a theoretical analysis of an interior penalty discontinuous Galerkin methods for solving the Cahn-Hilliard-Navier-Stokes model problem. We prove unconditional unique solvability of the discrete system, obtain unconditional discrete energy dissipation law, and derive stability bounds with a generalized chemical energy density. Convergence of the method is obtained by proving optimal a priori error estimates. Our analysis of the unique solvability is valid for both symmetric and non-symmetric versions of the discontinuous Galerkin formulation.


title: Variational Lagrangian formulation of the Euler equations for incompressible flow: A simple derivation

abstract: In 1966, Arnold [1] showed that the Lagrangian flow of ideal incompressible fluids (described by Euler equations) coincide with the geodesic flow on the manifold of volume preserving diffeomorphisms of the fluid domain. Arnold's proof and the subsequent work on this topic rely heavily on the properties of Lie groups and Lie algebras which remain unfamiliar to most fluid dynamicists. In this note, we provide a simple derivation of Arnold's result which only uses the classical methods of calculus of variations. In particular, we show that the Lagrangian flow maps generated by the solutions of the incompressible Euler equations coincide with the stationary curves of an appropriate energy functional when the extremization is carried out over the set of volume-preserving diffeomorphisms.

categories: physics.flu-dyn math-ph math.MP physics.class-ph


title: Flavored Non-Minimal Left-Right Symmetric Model Fermion Masses and Mixings

abstract: A complete study on the fermion masses and flavor mixing is presented in a non-minimal left-right symmetric model (NMLRMS) where the ${\bf S}_{3}\otimes {\bf Z}_{2}\otimes {\bf Z}^{e}_{2}$ flavor symmetry drives the Yukawa couplings. In the quark sector, the mass matrices possess a kind of the generalized Fritzsch textures that allow us to fit the CKM mixing matrix in good agreement to the last experimental data. In the lepton sector, on the other hand, a soft breaking of the $\mu\leftrightarrow \tau$ symmetry provides a non zero and non maximal reactor and atmospheric angles, respectively. The inverted and degenerate hierarchy are favored in the model where a set of free parameters is found to be consistent with the current neutrino data.


title: Abnormality Detection inside Blood Vessels with Mobile Nanomachines

abstract: Motivated by the numerous healthcare applications of molecular communication within Internet of Bio-Nano Things (IoBNT), this work addresses the problem of abnormality detection in a blood vessel using multiple biological embedded computing devices called cooperative biological nanomachines (CNs), and a common receiver called the fusion center (FC). Due to blood flow inside a vessel, each CN and the FC are assumed to be mobile. In this work, each of the CNs perform abnormality detection with certain probabilities of detection and false alarm by counting the number of molecules received from a source, e.g., infected tissue. These CNs subsequently report their local decisions to a FC over a diffusion-advection blood flow channel using different types of molecules in the presence of inter-symbol interference, multi-source interference, and counting errors. Due to limited computational capability at the FC, OR and AND logic based fusion rules are employed to make the final decision after obtaining each local decision based on the optimal likelihood ratio test. For the aforementioned system, probabilities of detection and false alarm at the FC are derived for OR and AND fusion rules. Finally, simulation results are presented to validate the derived analytical results, which provide important insights.


title: Sur un syst\`eme int\'egrable \`a bord

abstract: [French] We develop new applications of Sklyanin's $K$-matrix formalism to the study of periodic solutions of the sinh-Gordon equation.


title: Model-Independent Bounds on $R(J/\psi)$

abstract: We present a model-independent bound on $R(J/\psi) \! \equiv \! \mathcal{BR} (B_c^+ \rightarrow J/\psi \, \tau^+\nu_\tau)/ \mathcal{BR} (B_c^+ \rightarrow J/\psi \, \mu^+\nu_\mu)$. This bound is constructed by constraining the form factors through a combination of dispersive relations, heavy-quark relations at zero-recoil, and the limited existing determinations from lattice QCD. The resulting 95\% confidence-level bound, $0.20\leq R(J/\psi)\leq0.39$, agrees with the recent LHCb result at $1.3 \, \sigma$, and rules out some previously suggested model form factors.


title: Lorentzian Einstein-Ricci Flows

abstract: We study the Ricci flow for the Lorentzian Einstein-Hilbert action. We show that Einstein gravity emerges as a fixed point of the Einstein-Ricci flow equations and derive a renormalization group flow in Euclidean signature. By considering linearizations near the fixed point, the dynamics of the metric reveal that curvature deformations flow according to a forward heat equation with the stress-energy tensor acting as a source.


title: Simultaneously high electron and hole mobilities in cubic boron-V compounds: BP, BAs and BSb

abstract: Through first-principles calculations, the phonon-limited transport properties of cubic boron-V compounds (BP, BAs and BSb) are studied. We find that the high optical phonon frequency in these compounds leads to the substantial suppression of polar scattering and the reduction of inter-valley transition mediated by large-wavevector optical phonons, both of which significantly facilitate charge transport. We also discover that BAs simultaneously has a high hole mobility (2110 cm2/V-s) and electron mobility (1400 cm2/V-s) at room temperature, which is rare in semiconductors. Our findings present a new insight in searching high mobility polar semiconductors, and point to BAs as a promising material for electronic and photovoltaic devices in addition to its predicted high thermal conductivity.


title: Energy transfer from intense laser pulse to dielectrics in time-dependent density functional theory

abstract: Energy transfer processes from a high-intensity ultrashort laser pulse to electrons in simple dielectrics, silicon, diamond, and $\alpha$-quartz are theoretically investigated by first-principles calculations based on time-dependent density functional theory (TDDFT). Dependences on frequency as well as intensity of the laser pulse are examined in detail, making a comparison with the Keldysh theory. Although the Keldysh theory reliably reproduces the main features of the TDDFT calculation, we find some deviations between results by the two theories. The origin of the differences is examined in detail.


title: Homogeneous Real (2,3,5) Distributions with Isotropy

abstract: We classify multiply transitive homogeneous real (2,3,5) distributions up to local diffeomorphism equivalence.


title: Coalgebraic Tools for Randomness-Conserving Protocols

abstract: We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that allow efficient protocols to be constructed in a compositional way and analyzed in terms of the tradeoff between state and loss of entropy. We show how to use these tools to construct various entropy-conserving reductions between processes.


title: Robust Learning of Trimmed Estimators via Manifold Sampling

abstract: We adapt a manifold sampling algorithm for the nonsmooth, nonconvex formulations of learning that arise when imposing robustness to outliers present in the training data. We demonstrate the approach on objectives based on trimmed loss. Empirical results show that the method has favorable scaling properties. Although savings in time come at the expense of not certifying optimality, the algorithm consistently returns high-quality solutions on the trimmed linear regression and multiclass classification problems tested.


title: A Causal Bootstrap

abstract: The bootstrap, introduced by Efron (1982), has become a very popular method for estimating variances and constructing confidence intervals. A key insight is that one can approximate the properties of estimators by using the empirical distribution function of the sample as an approximation for the true distribution function. This approach views the uncertainty in the estimator as coming exclusively from sampling uncertainty. We argue that for causal estimands the uncertainty arises entirely, or partially, from a different source, corresponding to the stochastic nature of the treatment received. We develop a bootstrap procedure that accounts for this uncertainty, and compare its properties to that of the classical bootstrap.


title: Homogeneous prime elements in normal two-dimensional graded rings

abstract: We prove necessary and sufficient conditions for the existence of homogeneous prime elements in normal N-graded rings of dimension two, in terms of rational coefficient Weil divisors on projective curves.


title: Detecting Synapse Location and Connectivity by Signed Proximity Estimation and Pruning with Deep Nets

abstract: Synaptic connectivity detection is a critical task for neural reconstruction from Electron Microscopy (EM) data. Most of the existing algorithms for synapse detection do not identify the cleft location and direction of connectivity simultaneously. The few methods that computes direction along with contact location have only been demonstrated to work on either dyadic (most common in vertebrate brain) or polyadic (found in fruit fly brain) synapses, but not on both types. In this paper, we present an algorithm to automatically predict the location as well as the direction of both dyadic and polyadic synapses. The proposed algorithm first generates candidate synaptic connections from voxelwise predictions of signed proximity generated by a 3D U-net. A second 3D CNN then prunes the set of candidates to produce the final detection of cleft and connectivity orientation. Experimental results demonstrate that the proposed method outperforms the existing methods for determining synapses in both rodent and fruit fly brain.


title: Data-driven Upsampling of Point Clouds

abstract: High quality upsampling of sparse 3D point clouds is critically useful for a wide range of geometric operations such as reconstruction, rendering, meshing, and analysis. In this paper, we propose a data-driven algorithm that enables an upsampling of 3D point clouds without the need for hard-coded rules. Our approach uses a deep network with Chamfer distance as the loss function, capable of learning the latent features in point clouds belonging to different object categories. We evaluate our algorithm across different amplification factors, with upsampling learned and performed on objects belonging to the same category as well as different categories. We also explore the desirable characteristics of input point clouds as a function of the distribution of the point samples. Finally, we demonstrate the performance of our algorithm in single-category training versus multi-category training scenarios. The final proposed model is compared against a baseline, optimization-based upsampling method. Results indicate that our algorithm is capable of generating more uniform and accurate upsamplings.


title: Algebraic signatures of convex and non-convex codes

abstract: A convex code is a binary code generated by the pattern of intersections of a collection of open convex sets in some Euclidean space. Convex codes are relevant to neuroscience as they arise from the activity of neurons that have convex receptive fields. In this paper, we use algebraic methods to determine if a code is convex. Specifically, we use the neural ideal of a code, which is a generalization of the Stanley-Reisner ideal. Using the neural ideal together with its standard generating set, the canonical form, we provide algebraic signatures of certain families of codes that are non-convex. We connect these signatures to the precise conditions on the arrangement of sets that prevent the codes from being convex. Finally, we also provide algebraic signatures for some families of codes that are convex, including the class of intersection-complete codes. These results allow us to detect convexity and non-convexity in a variety of situations, and point to some interesting open questions.


title: On automorphisms of algebraic curves

abstract: An irreducible, algebraic curve $\mathcal X_g$ of genus $g\geq 2$ defined over an algebraically closed field $k$ of characteristic $\mbox{char } \, k = p \geq 0$, has finite automorphism group $\mbox{Aut} (\mathcal X_g)$. In this paper we describe methods of determining the list of groups $\mbox{Aut} (\mathcal X_g)$ for a fixed $g\geq 2$. Moreover, equations of the corresponding families of curves are given when possible.


title: Outflows in the Seyfert 2 galaxy NGC5643 traced by the [SIII] emission

abstract: We use Gemini Multi-Object Spectrograph (GMOS) Integral Field Unit (IFU) observations of the inner 285$\times$400 pc$^2$ region of the Seyfert 2 galaxy NGC 5643 to map the [SIII]$\lambda9069$ emission-line flux distribution and kinematics, as well as the stellar kinematics, derived by fitting the CaII$\lambda\lambda\lambda$8498,8542,8662 triplet, at a spatial resolution of 45 pc. The stellar velocity field shows regular rotation, with a projected velocity of 100 km/s and kinematic major axis along Position Angle $PA=-36^\circ$. A ring of low stellar velocity dispersion values ($\sim$70 km/s), attributed to young/intermediate age stellar populations, is seen surrounding the nucleus with radius of 50 pc. We found that the [SIII] flux distribution shows an elongated structure along the east-west direction and its kinematics is dominated by outflows within a bi-cone at an ionized gas outflow rate of 0.3 M$_\odot$ yr$^{-1}$. In addition, velocity slices across the [SIII]$\lambda9069$ emission-line reveal a kinematic component attributed to rotation of gas in the plane of the galaxy.


title: On Eisenstein polynomials and zeta polynomials

abstract: Eisenstein polynomials, which were defined by Oura, are analogues of the concept of an Eisenstein series. Oura conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In this paper, we provide new analogous properties of Eisenstein polynomials and zeta polynomials. These properties are finite analogies of certain properties of Eisenstein series.


title: A Deep Generative Model of Vowel Formant Typology

abstract: What makes some types of languages more probable than others? For instance, we know that almost all spoken languages contain the vowel phoneme /i/; why should that be? The field of linguistic typology seeks to answer these questions and, thereby, divine the mechanisms that underlie human language. In our work, we tackle the problem of vowel system typology, i.e., we propose a generative probability model of which vowels a language contains. In contrast to previous work, we work directly with the acoustic information -- the first two formant values -- rather than modeling discrete sets of phonemic symbols (IPA). We develop a novel generative probability model and report results based on a corpus of 233 languages.


title: Prompt neutrinos and intrinsic charm at SHiP

abstract: We present a new evaluation of the far-forward neutrino plus antineutrino flux and number of events from charm hadron decays in a 400 GeV proton beam dump experiment like the Search for Hidden Particles (SHiP). Using next-to-leading order perturbative QCD and a model for intrinsic charm, we include intrinsic transverse momentum effects and other kinematic angular corrections. We compare this flux to a far-forward flux evaluated with next-to-leading order perturbative QCD, without intrinsic transverse momentum, that used the angular distribution of charm quarks rather than the neutrinos from their decays. The tau neutrino plus antineutrino number of events in the perturbative QCD evaluation is reduced by a factor of about three when intrinsic transverse momentum and the full decay kinematics are included. We show that intrinsic charm contributions can significantly enhance the number of events from neutrinos from charm hadron decays. Measurements of the number of events from tau neutrino plus antineutrino interactions and of the muon charge asymmetry as a function of energy can be used to constrain intrinsic charm models.


title: On the Complexity and Typology of Inflectional Morphological Systems

abstract: We quantify the linguistic complexity of different languages' morphological systems. We verify that there is an empirical trade-off between paradigm size and irregularity: a language's inflectional paradigms may be either large in size or highly irregular, but never both. Our methodology measures paradigm irregularity as the entropy of the surface realization of a paradigm -- how hard it is to jointly predict all the surface forms of a paradigm. We estimate this by a variational approximation. Our measurements are taken on large morphological paradigms from 31 typologically diverse languages.


title: Latent Semantic Analysis Approach for Document Summarization Based on Word Embeddings

abstract: Since the amount of information on the internet is growing rapidly, it is not easy for a user to find relevant information for his/her query. To tackle this issue, much attention has been paid to Automatic Document Summarization. The key point in any successful document summarizer is a good document representation. The traditional approaches based on word overlapping mostly fail to produce that kind of representation. Word embedding, distributed representation of words, has shown an excellent performance that allows words to match on semantic level. Naively concatenating word embeddings makes the common word dominant which in turn diminish the representation quality. In this paper, we employ word embeddings to improve the weighting schemes for calculating the input matrix of Latent Semantic Analysis method. Two embedding-based weighting schemes are proposed and then combined to calculate the values of this matrix. The new weighting schemes are modified versions of the augment weight and the entropy frequency. The new schemes combine the strength of the traditional weighting schemes and word embedding. The proposed approach is experimentally evaluated on three well-known English datasets, DUC 2002, DUC 2004 and Multilingual 2015 Single-document Summarization for English. The proposed model performs comprehensively better compared to the state-of-the-art methods, by at least 1% ROUGE points, leading to a conclusion that it provides a better document representation and a better document summary as a result.


title: A comprehensive model of the meteoroid environment around Mercury

abstract: To characterize the meteoroid environment around Mercury and its contribution to the planet's exosphere, we combined four distinctive sources of meteoroids in the solar system: main-belt asteroids, Jupiter family comets, Halley-type comets, and Oort Cloud comets. All meteoroid populations are described by currently available dynamical models. We used a recent calibration of the meteoroid influx onto Earth as a constraint for the combined population model on Mercury. We predict vastly different distributions of orbital elements, impact velocities and directions of arrival for all four meteoroid populations at Mercury. We demonstrate that the most likely model of Mercury's meteoroid environment- in the sense of agreement with Earth -provides good agreement with previously reported observations of Mercury's exosphere by the MESSENGER spacecraft and is not highly sensitive to variations of uncertain parameters such as the ratio of these populations at Earth, the size frequency distribution, and the collisional lifetime of meteoroids. Finally, we provide a fully calibrated model consisting of high-resolution maps of mass influx and surface vaporization rates for different values of Mercury's true anomaly angle.


title: Hybrid quantum system with nitrogen-vacancy centers in diamond coupled to surface phonon polaritons in piezomagnetic superlattices

abstract: We investigate a hybrid quantum system where an ensemble of nitrogen-vacancy (NV) centers in diamond is interfaced with a piezomagnetic superlattice that supports surface phonon polaritons (SPhPs). We show that the strong magnetic coupling between the collective spin waves in the NV spin ensemble and the quantized SPhPs can be realized, thanks to the subwavelength nature of the SPhPs and relatively long spin coherence times. The magnon-polariton coupling allows different modes of the SPhPs to be mapped and orthogonally stored in different spatial modes of excitation in the solid medium. Because of its easy implementation and high tunability, the proposed hybrid structure with NV spins and piezoactive superlattices could be used for quantum memory and quantum computation.


title: Role of contact work function, back surface field and conduction band offset in CZTS solar cell

abstract: We employ simulation based approach for enhancing the efficiency of Cu2ZnSnS4 (CZTS) based solar cells. Initial benchmarking of simulation with the experimentally reported solar cell in literature is performed by incorporating a suitable defect model. We then explore the effects of: (a) conduction band offset (CBO) at CZTS/CdS junction, (b) back surface field (BSF) due to an additional layer with higher carrier density, and (c) high work function back contact. Efficiency is observed to improve by about 70% upon optimizing the above three parameters. We also observe that utilizing BSF in the configuration can reduce the high work function requirement of the back contact. A work function of 5.2 eV (e.g., using Ni), a BSF layer (e.g., using SnS), and a CBO of 0.1 eV (e.g., using ZnS) constitute an optimal configuration.


title: Real-time stereo vision-based lane detection system

abstract: The detection of multiple curved lane markings on a non-flat road surface is still a challenging task for automotive applications. To make an improvement, the depth information can be used to greatly enhance the robustness of the lane detection systems. The proposed system in this paper is developed from our previous work where the dense vanishing point Vp is estimated globally to assist the detection of multiple curved lane markings. However, the outliers in the optimal solution may severely affect the accuracy of the least squares fitting when estimating Vp. Therefore, in this paper we use Random Sample Consensus to update the inliers and outliers iteratively until the fraction of the number of inliers versus the total number exceeds our pre-set threshold. This significantly helps the system to overcome some suddenly changing conditions. Furthermore, we propose a novel lane position validation approach which provides a piecewise weight based on Vp and the gradient to reduce the gradient magnitude of the non-lane candidates. Then, we compute the energy of each possible solution and select all satisfying lane positions for visualisation. The proposed system is implemented on a heterogeneous system which consists of an Intel Core i7-4720HQ CPU and a NVIDIA GTX 970M GPU. A processing speed of 143 fps has been achieved, which is over 38 times faster than our previous work. Also, in order to evaluate the detection precision, we tested 2495 frames with 5361 lanes from the KITTI database (1637 lanes more than our previous experiment). It is shown that the overall successful detection rate is improved from 98.7% to 99.5%.


title: Beurling-Fourier algebras of compact quantum groups: characters and finite dimensional representations

abstract: In this paper we study weighted versions of Fourier algebras of compact quantum groups. We focus on the spectral aspects of these Banach algebras in two different ways. We first investigate their Gelfand spectrum, which shows a connection to the maximal classical closed subgroup and its complexification. Secondly, we study specific finite dimensional representations coming from the complexification of the underlying quantum group. We demonstrate that the weighted Fourier algebras can detect the complexification structure in the special case of $SU_q(2)$, whose complexification is the quantum Lorentz group $SL_q(2,\mathbb{C})$.


title: Model-Free Optimization Using Eagle Perching Optimizer

abstract: The paper proposes a novel nature-inspired technique of optimization. It mimics the perching nature of eagles and uses mathematical formulations to introduce a new addition to metaheuristic algorithms. The nature of the proposed algorithm is based on exploration and exploitation. The proposed algorithm is developed into two versions with some modifications. In the first phase, it undergoes a rigorous analysis to find out their performance. In the second phase it is benchmarked using ten functions of two categories; uni-modal functions and multi-modal functions. In the third phase, we conducted a detailed analysis of the algorithm by exploiting its controlling units or variables. In the fourth and last phase, we consider real world optimization problems with constraints. Both versions of the algorithm show an appreciable performance, but analysis puts more weight to the modified version. The competitive analysis shows that the proposed algorithm outperforms the other tested metaheuristic algorithms. The proposed method has better robustness and computational efficiency.


title: An ALE meta-analytic comparison of verbal working memory tasks

abstract: Background: The n-back and Paced Auditory Serial Addition Test (PASAT) are commonly used verbal working memory tasks that have partially overlapping uses in clinical and experimental psychology. We performed three activation likelihood estimation (ALE) meta-analyses, comparing two load levels of the n-back task (2-back, 3-back) to the PASAT and to each-other. These analyses aimed to determine the involvement of cognitive and emotional brain regions for these tasks. Results: We observed higher overall likelihood of activation the frontal eye fields in the 3-back. The PASAT exhibited higher overall activation in the bilateral supplementary motor areas (SMA), left supramarginal gyrus, and left superior parietal lobule. Furthermore, the 3-back exhibited higher activation in the right SMA, and anterior mid-cingulate cortex versus the 2-back, and the PASAT exhibited higher activation in a cluster near the right premotor area versus the 2-back. A laterality effect was observed in the dorsolateral prefrontal cortex between the PASAT (left) and 3-back(right). These data suggest greater activation of regions traditionally associated with the phonological loop during the PASAT, compared to the 2- and 3-back tasks. Furthermore, individual ALE analyses suggest involvement of emotional processing and salience network regions (insula, cingulate) in addition to the well-established verbal working memory regions (Broca's region, bilateral SMA, premotor, posterior parietal cortices) in all 3 tasks. Conclusions: Here we identify regions activated by the PASAT, which has not been meta-analytically reviewed prior to this study. Using ALE meta-analysis, we have also identified meaningful differences in activation associated with specific cognitive and emotional aspects of verbal working memory during these tasks.


title: Asymptotic behavior of spectral of Neumann-Poincare operator in Helmhotz system

abstract: In this paper, we are concerned with the asymptotic behavior of the Neumann-Poincare operator for Helmholtz system. By analyzing the asymptotic behavior of spherical Bessel function near the origin and/or approach higher order, we prove the asymptotic behavior of spectral of Neumann-Poincare operator when frequency is small enough and/or the order is large enough. The results show that spectral of Neumann-Poincare operator is continuous at the origin and converges to zero from the complex plane in general.


title: Fringe pattern analysis using deep learning

abstract: In many optical metrology techniques, fringe pattern analysis is the central algorithm for recovering the underlying phase distribution from the recorded fringe patterns. Despite extensive research efforts for decades, how to extract the desired phase information, with the highest possible accuracy, from the minimum number of fringe patterns remains one of the most challenging open problems. Inspired by recent successes of deep learning techniques for computer vision and other applications, here, we demonstrate for the first time, to our knowledge, that the deep neural networks can be trained to perform fringe analysis, which substantially enhances the accuracy of phase demodulation from a single fringe pattern. The effectiveness of the proposed method is experimentally verified using carrier fringe patterns under the scenario of fringe projection profilometry. Experimental results demonstrate its superior performance in terms of high accuracy and edge-preserving over two representative single-frame techniques: Fourier transform profilometry and Windowed Fourier profilometry.


title: Image Super-Resolution Using Very Deep Residual Channel Attention Networks

abstract: Convolutional neural network (CNN) depth is of crucial importance for image super-resolution (SR). However, we observe that deeper networks for image SR are more difficult to train. The low-resolution inputs and features contain abundant low-frequency information, which is treated equally across channels, hence hindering the representational ability of CNNs. To solve these problems, we propose the very deep residual channel attention networks (RCAN). Specifically, we propose a residual in residual (RIR) structure to form very deep network, which consists of several residual groups with long skip connections. Each residual group contains some residual blocks with short skip connections. Meanwhile, RIR allows abundant low-frequency information to be bypassed through multiple skip connections, making the main network focus on learning high-frequency information. Furthermore, we propose a channel attention mechanism to adaptively rescale channel-wise features by considering interdependencies among channels. Extensive experiments show that our RCAN achieves better accuracy and visual improvements against state-of-the-art methods.


title: The role of angle dependent phase rotations of reaction amplitudes in $\eta$ photoproduction on protons

abstract: It has recently been proven that the invariance of observables with respect to angle dependent phase rotations of reaction amplitudes mixes multipoles changing also their relative strength [1]. All contemporary partial wave analyses (PWA) in $\eta$ photoproduction on protons, either energy dependent (ED) [2-5] or single energy (SE) [6] do not take this effect into consideration. It is commonly accepted that there exist quite some similarity in the $E0+$ multipole for all PWA, but notable differences in this, but also in remaining partial waves still remain. In this paper we demonstrate that once this phase rotations are properly taken into account, all contemporary ED and SE partial wave analysis become almost identical for the dominant $E0+$ multipole, and the agreement among all other multipoles becomes much better. We also show that the the measured observables are almost equally well reproduced for all PWA, and the remaining differences among multipoles can be attributed solely to the difference of predictions for unmeasured observables. So, new measurements are needed.


title: Deterministic positioning of colloidal quantum dots on silicon nitride nanobeam cavities

abstract: Engineering an array of precisely located cavity-coupled active media poses a major experimental challenge in the field of hybrid integrated photonics. We deterministically position solution processed colloidal quantum dots (QDs) on high quality-factor silicon nitride nanobeam cavities and demonstrate light-matter coupling. By lithographically defining a window on top of an encapsulated cavity that is cladded in a polymer resist, and spin coating QD solution, we can precisely control the placement of the QDs, which subsequently couple to the cavity. We show that the number of QDs coupled to the cavity can be controlled by the size of the window. Furthermore, we demonstrate Purcell enhancement and saturable photoluminescence in this QD-cavity platform. Finally, we deterministically position QDs on a photonic molecule and observe QD-coupled cavity super-modes. Our results pave the way for controlling the number of QDs coupled to a cavity by engineering the window size, and the QD dimension, and will allow advanced studies in cavity enhanced single photon emission, ultralow power nonlinear optics, and quantum many-body simulations with interacting photons.


title: Topological Characterization of Rigid-Nonrigid Transition across the Frenkel Line

abstract: The dynamics of supercritical fluids, a state of matter beyond the gas-liquid critical point, changes from diffusive to oscillatory motions at high pressure. This transition is believed to occur across a locus of thermodynamic states called the Frenkel line. The Frenkel line has been extensively investigated from the viewpoint of the dynamics, but its structural meaning is not still well understood. This letter interprets the mesoscopic picture of the Frenkel line entirely based on a topological and geometrical framework. This discovery makes it possible to understand the mechanism of rigid/non-rigid transition based not on the dynamics of individual atoms, but on their instantaneous configurations. The topological classification method reveals that the percolation of solid-like structures occurs above the rigid-nonrigid crossover densities.


title: Arbitrarily large violations of non-contextuality in single mode photon states with positive Wigner function

abstract: Banaszek, W\'odkiewicz and others (\cite{Banaszek},\cite{Chen},\cite{Chen-Zhang}) made the surprising discovery that Einstein-Bell locality inequalities can be violated by the two mode squeezed vacuum by a factor $\sqrt{2}$, in spite of the fact that the state has a positive Wigner function. I use here the more general Gleason-Kochen-Specker assumption of non-contextuality \cite{Gleason} to express classicality. I then derive non-contextuality Bell inequalities for correlations of $N$ pseudo spins embedded in an infinite dimensional continuous variable Hilbert space, and show that their maximum possible quantum violation is by a factor $2^{(N-1)/2}$. I find quantum states for which this maximum violation is reached. I also show that the familiar displaced squeezed vacuum for a single optical mode, which has a positive Wigner function, can violate the inequality by a factor $0.842 (\sqrt{2})^{N-1} $ for odd $N \geq 3$ . The arbitrarily large non-classicality means that realizations of the pseudo-spin measurements even in a single mode photon state might afford similar opportunities in quantum information tasks as entangled $N$ qubit systems with large $N$.


title: Inference of Population History using Coalescent HMMs: Review and Outlook

abstract: Studying how diverse human populations are related is of historical and anthropological interest, in addition to providing a realistic null model for testing for signatures of natural selection or disease associations. Furthermore, understanding the demographic histories of other species is playing an increasingly important role in conservation genetics. A number of statistical methods have been developed to infer population demographic histories using whole-genome sequence data, with recent advances focusing on allowing for more flexible modeling choices, scaling to larger data sets, and increasing statistical power. Here we review coalescent hidden Markov models, a powerful class of population genetic inference methods that can effectively utilize linkage disequilibrium information. We highlight recent advances, give advice for practitioners, point out potential pitfalls, and present possible future research directions.


title: Privacy-aware Distributed Hypothesis Testing

abstract: A distributed binary hypothesis testing (HT) problem involving two parties, a remote observer and a detector, is studied. The remote observer has access to a discrete memoryless source, and communicates its observations to the detector via a rate-limited noiseless channel. The detector observes another discrete memoryless source, and performs a binary hypothesis test on the joint distribution of its own observations with those of the observer. While the goal of the observer is to maximize the type II error exponent of the test for a given type I error probability constraint, it also wants to keep a private part of its observations as oblivious to the detector as possible. Considering both equivocation and average distortion under a causal disclosure assumption as possible measures of privacy, the trade-off between the communication rate from the observer to the detector, the type II error exponent, and privacy is studied. For the general HT problem, we establish single-letter inner bounds on both the rate-error exponent-equivocation and rate-error exponent-distortion trade-offs. Subsequently, single-letter characterizations for both trade-offs are obtained (i) for testing against conditional independence of the observer's observations from those of the detector, given some additional side-information at the detector; and (ii) when the communication rate constraint over the channel is zero. Finally, we show by providing a counterexample that, the strong converse which holds for distributed HT without a privacy constraint, does not hold when a privacy constraint is imposed. This implies that, in general, the rate-error exponent-equivocation and rate-error exponent-distortion trade-offs are not independent of the type I error probability constraint.


title: Conditional limit measure of one-dimensional quantum walk with absorbing sink

abstract: We consider a two-state quantum walk on a line where after the first step an absorbing sink is placed at the origin. The probability of finding the walker at position $j$, conditioned on that it has not returned to the origin, is investigated in the asymptotic limit. We prove a limit theorem for the conditional probability distribution and show that it is given by the Konno's density function modified by a pre-factor ensuring that the distribution vanishes at the origin. In addition, we discuss the relation to the problem of recurrence of a quantum walk and determine the Polya number. Our approach is based on path counting and stationary phase approximation.


title: The components of the singular locus of a component of a Springer fiber over x^2 = 0

abstract: For $x\in End(K^n)$ satisfying $x^2 = 0$ let $F_x$ be the variety of full flags stable under the action of $x$ (Springer fiber over $x$). The full classification of the components of $F_x$ according to their smoothness was provided in a paper of Fresse-Melnikov in terms of both Young tableaux and link patterns. Moreover in a paper of Fresse the purely combinatorial algorithm to compute the singular locus of a singular components of $F_x$ is provided. However this algorithm involves the computation of the graph of the component, and the complexity of computations grows very quickly, so that in practice it is impossible to use it. In this paper, we construct another algorithm, derived from the algorithm of Fresse, providing all the components of the singular locus of a singular component of $F_x$ in terms of link patterns constructed straightforwardly from its link pattern.


title: Bounded linear operators in PN-spaces

abstract: In this paper, first we present a new useful way of formulating probabilistic normed spaces. Then by using this formulation and probabilistic normed space version of the Baire category theorem, we prove four important results of functional analysis, i.e. the open mapping, closed graph, principle of uniform boundedness and Banach-Steinhaus theorem in PN-spaces.


title: Quasilinear convexity and quasilinear stars in the ray space of a supertropical quadratic form

abstract: Relying on rays, we search for submodules of a module V over a supertropical semiring on which a given anisotropic quadratic form is quasilinear. Rays are classes of a certain equivalence relation on V, that carry a notion of convexity, which is consistent with quasilinearity. A criterion for quasilinearity is specified by a Cauchy-Schwartz ratio which paves the way to a convex geometry on Ray(V), supported by a "supertropical trigonometry". Employing a (partial) quasiordering on Ray(V), this approach allows for producing convex quasilinear sets of rays, as well as paths, containing a given quasilinear set in a systematic way. Minimal paths are endowed with a surprisingly rich combinatorial structure, delivered to the graph determined by pairs of quasilinear rays -- apparently a fundamental object in the theory of supertropical quadratic forms.


title: Degenerate Hamiltonian operator in higher-order canonical gravity -- the problem and a remedy

abstract: Different routes towards the canonical formulation of a classical theory result in different canonically equivalent Hamiltonians, while their quantum counterparts are related through appropriate unitary transformation. However, for higher-order theory of gravity, although two Hamiltonians emerging from the same action differing by total derivative terms are related through canonical transformation, the difference transpires while attempting canonical quantization, which is predominant in non-minimally coupled higher-order theory of gravity. We follow Dirac's constraint analysis to formulate phase-space structures, in the presence (case-I) and absence (case-II) of total derivative terms. While the coupling parameter plays no significant role as such for case-I, quantization depends on its form explicitly in case-II, and as a result, unitary transformation relating the two is not unique. We find certain mathematical inconsistency in case-I, for modified Gauss-Bonnet-Dilatonic coupled action, in particular. Thus, we conclude that total derivative terms indeed play a major role in the quantum domain and should be taken care of a-priori, for consistency.


title: Universal entire functions that define order isomorphisms of countable real sets

abstract: In 1895, Cantor showed that between every two countable dense real sets, there is an order isomorphism. In fact, there is always such an order isomorphism, which is the restriction of a universal entire function.


title: Ribosome self-assembly leads to overlapping reproduction cycles and increases growth rate

abstract: In permissive environments, E. coli can double its dry mass every 21 minutes. During this time, ribosomes, RNA polymerases, and the proteome are all doubled. Yet, the question of how to relate bacterial doubling time to other biologically relevant time scales in the growth process remains illusive, due to the complex temporal nesting pattern of these processes. In particular, the relation between the cell's doubling time and the ribosome assembly time is not known. Here we develop a model that connects growth rate to ribosome assembly time and show that the existence of a self-assembly step increases the overall growth rate, because during ribosome self-assembly existing ribosomes can start a new round of reproduction, by making a new batch of ribosomal proteins prior to the completion of the previous round. This overlapping of ribosome reproduction cycles increases growth rate beyond the serial-limit that is typically assumed to hold. Using recent data from ribosome profiling and well known measurements of the average translation rate, rigid bounds on the in-vivo ribosome self-assembly time are set, which are robust to the assumptions regarding the biological noises involved. At 21 minutes doubling time, the ribosome assembly time is found to be approximately 6 minutes --- three fold larger than the common estimate. We further use our model to explain the detrimental effect of a recently discovered ribosome assembly inhibitor drug, and predict the effect of limiting the expression of ribosome assembly chaperons on the overall growth rate.


title: Blow-up of solutions to critical semilinear wave equations with variable coefficients

abstract: We verify the critical case $p=p_0(n)$ of Strauss' conjecture (1981) concerning the blow-up of solutions to semilinear wave equations with variable coefficients in $\mathbf{R}^n$, where $n\geq 2$. The perturbations of Laplace operator are assumed to be smooth and decay exponentially fast at infinity. We also obtain a sharp lifespan upper bound for solutions with compactly supported data when $p=p_0(n)$. The unified approach to blow-up problems in all dimensions combines several classical ideas in order to generalize and simplify the method of Zhou(2007) and Zhou and Han (2014): exponential "eigenfunctions" of the Laplacian are used to construct the test function $\phi_q$ for linear wave equation with variable coefficients and John's method of iterations (1979) is augmented with the "slicing method" of Agemi, Kurokawa and Takamura (2000) for lower bounds in the critical case.


title: Online exploration outside a convex obstacle

abstract: A watchman path is a path such that a direct line of sight exists between each point in some region and some point along the path. Here, we study the online watchman path problem outside a convex polygon, i.e., in $\mathbb{R}^2\setminus \Omega$, where $\Omega$ is a convex polygon that is not known in advance. We present an algorithm for the exploration of the region outside the polygon. We prove that the presented algorithms guarantees a $\approx 22.77$ competitive ratio compared to the optimal offline watchman path.


title: Evolution and spatial distribution of Brillouin backscattering associated to hybrid acoustic modes in sub-wavelength silica microfibers

abstract: The spectral evolution and spatial distribution of backscattered Brillouin signals is experimentally investigated in sub-wavelength silica microfibers. The Brillouin spectrum evolution reveals the different dynamics of the various peaks, offering evidence of backscattering signals induced by acoustic waves with phase velocity greater than that of the longitudinal wave. The spatial distribution is found to have significant influence on the response of Brillouin scattering under tensile load, with hybrid acoustic modes providing a smaller response under axial strain. This insight into interactions between optical and hybrid acoustic modes at sub-wavelength confinements could help understand ultrasonic waves in tapered waveguides, and have potential applications in optical sensing and detection.


title: RBF-LOI: Augmenting Radial Basis Functions (RBFs) with Least Orthogonal Interpolation (LOI) for Solving PDEs on Surfaces

abstract: We present a new method for the solution of PDEs on manifolds $\mathbb{M} \subset \mathbb{R}^d$ of co-dimension one using stable scale-free radial basis function (RBF) interpolation. Our method involves augmenting polyharmonic spline (PHS) RBFs with polynomials to generate RBF-finite difference (RBF-FD) formulas. These polynomial basis elements are obtained using the recently-developed \emph{least orthogonal interpolation} technique (LOI) on each RBF-FD stencil to obtain \emph{local} restrictions of polynomials in $\mathbb{R}^3$ to stencils on $\mathbb{M}$. The resulting RBF-LOI method uses Cartesian coordinates, does not require any intrinsic coordinate systems or projections of points onto tangent planes, and our tests illustrate robustness to stagnation errors. We show that our method produces high orders of convergence for PDEs on the sphere and torus, and present some applications to reaction-diffusion PDEs motivated by biology.


title: Densely Connected CNNs for Bird Audio Detection

abstract: Detecting bird sounds in audio recordings automatically, if accurate enough, is expected to be of great help to the research community working in bio- and ecoacoustics, interested in monitoring biodiversity based on audio field recordings. To estimate how accurate the state-of-the-art machine learning approaches are, the Bird Audio Detection challenge involving large audio datasets was recently organized. In this paper, experiments using several types of convolutional neural networks (i.e. standard CNNs, residual nets and densely connected nets) are reported in the framework of this challenge. DenseNets were the preferred solution since they were the best performing and most compact models, leading to a 88.22% area under the receiver operator curve score on the test set of the challenge. Performance gains were obtained thank to data augmentation through time and frequency shifting, model parameter averaging during training and ensemble methods using the geometric mean. On the contrary, the attempts to enlarge the training dataset with samples of the test set with automatic predictions used as pseudo-groundtruth labels consistently degraded performance.


title: A Review of Beam-Driven Plasma Wakefield Experiments

abstract: In the past decades, beam-driven plasma wakefield acceleration (PWFA) experiments have seen remarkable progress by using high-energy particle beams such as electron, positron and proton beams to drive wakes in neutral gas or pre-ionized plasma. This review highlights a few recent experiments in the world to compare experiment parameters and results.


title: Microcavity enhanced single photon emission from two-dimensional WSe2

abstract: Atomically flat semiconducting materials such as monolayer WSe$_2$ hold great promise for novel optoelectronic devices. Recently, quantum light emission has been observed from bound excitons in exfoliated WSe$_2$. As part of developing optoelectronic devices, the control of the radiative properties of such emitters is an important step. Here we report the coupling of a bound exciton in WSe$_2$ to open microcavities. We use a range of radii of curvature in the plano-concave cavity geometry with mode volumes in the $\lambda^3$ regime, giving Purcell factors of up to 8 while increasing the photon flux five-fold. Additionally we determine the quantum efficiency of the single photon emitter to be $\eta = 0.46 \pm 0.03$. Our findings pave the way to cavity-enhanced monolayer based single photon sources for a wide range of applications in nanophotonics and quantum information technologies.


title: Dynamical Systems with a Cyclic Sign Variation Diminishing Property

abstract: Several studies analyzed certain nonlinear dynamical systems by showing that the cyclic number of sign variations in the vector of derivatives is an integer-valued Lyapunov function. These results are based on direct analysis of the dynamical equation satisfied by the vector of derivatives, i.e. the variational system. However, it is natural to assume that they follow from the fact that the transition matrix in the variational system satisfies a variation diminishing property (VDP) with respect to the cyclic number of sign variations in a vector. Motivated by this, we develop the theoretical framework of linear time-varying systems whose solution satisfies a VDP with respect to the cyclic number of sign variations. This provides an analogue of the work of Schwarz on totally positive differential systems, i.e. linear time-varying systems whose solution satisfies a VDP with respect to the standard (non-cyclic) number of sign variations.


title: Finding unavoidable colorful patterns in multicolored graphs

abstract: We provide multicolored and infinite generalizations for a Ramsey-type problem raised by Bollob\'as, concerning colorings of $K_n$ where each color is well-represented. Let $\chi$ be a coloring of the edges of a complete graph on $n$ vertices into $r$ colors. We call $\chi$ $\varepsilon$-balanced if all color classes have $\varepsilon$ fraction of the edges. Fix some graph $H$, together with an $r$-coloring of its edges. Consider the smallest natural number $R_\varepsilon^r(H)$ such that for all $n\geq R_\varepsilon^r(H)$, all $\varepsilon$-balanced colorings $\chi$ of $K_n$ contain a subgraph isomorphic to $H$ in its coloring. Bollob\'as conjectured a simple characterization of $H$ for which $R_\varepsilon^2(H)$ is finite, which was later proved by Cutler and Mont\'agh. Here, we obtain a characterization for arbitrary values of $r$, as well as asymptotically tight bounds. We also discuss generalizations to graphs defined on perfect Polish spaces, where the corresponding notion of balancedness is each color class being non-meagre.


title: Displacements of automorphisms of free groups I: Displacement functions, minpoints and train tracks

abstract: This is the first of two papers in which we investigate the properties of the displacement functions of automorphisms of free groups (more generally, free products) on Culler-Vogtmann Outer space and its simplicial bordification - the free splitting complex - with respect to the Lipschitz metric. The theory for irreducible automorphisms being well-developed, we concentrate on the reducible case. Since we deal with the bordification, we develop all the needed tools in the more general setting of deformation spaces, and their associated free splitting complexes. In the present paper we study the local properties of the displacement function. In particular, we study its convexity properties and the behaviour at bordification points, by geometrically characterising its continuity-points. We prove that the global-simplex-displacement spectrum of $Aut(F_n)$ is a well-ordered subset of $\mathbb R$, this being helpful for algorithmic purposes. We introduce a weaker notion of train tracks, which we call {\em partial train tracks} (which coincides with the usual one for irreducible automorphisms) and we prove that, for any automorphism, points of minimal displacement - minpoints - coincide with the marked metric graphs that support partial train tracks. We show that any automorphism, reducible or not, has a partial train track (hence a minpoint) either in the outer space or its bordification. We show that, given an automorphism, any of its invariant free factors is seen in a partial train track map. In a subsequent paper we will prove that level sets of the displacement functions are connected, and we will apply that result to solve certain decision problems.


title: Displacements of automorphisms of free groups II: Connectivity of level sets and decision problems

abstract: This is the second of two papers in which we investigate the properties of displacement functions of automorphisms of free groups (more generally, free products) on the Culler-Vogtmann Outer space $CV_n$ and its simplicial bordification. We develop a theory for both reducible and irreducible autormorphisms. As we reach the bordification of $CV_n$ we have to deal with general deformation spaces, for this reason we developed the theory in such generality. In first paper~\cite{FMpartI} we studied general properties of the displacement functions, such as well-orderability of the spectrum and the topological characterization of min-points via partial train tracks (possibly at infinity). This paper is devoted to proving that for any automorphism (reducible or not) any level set of the displacement function is connected. As an application, this result provides a stopping procedure for brute force search algorithms in $CV_n$. We use this to reprove two known algorithmic results: the conjugacy problem for irreducible automorphisms and detecting irreducibility of automorphisms. Note: the two papers were originally packed together in the preprint arxiv:1703.09945. We decided to split that paper following the recommendations of a referee.


title: CGC/saturation approach: re-visiting the problem of odd harmonics in angular correlations

abstract: In this paper we demonstrate that the selection of events with different multiplicities of produced particles, leads to the violation of the azimuthal angular symmetry, $\phi \to \pi - \phi$. We find for LHC and lower energies, that this violation can be so large for the events with multiplicities $n \geq 2 \bar{n}$, where $\bar{n}$ is the mean multiplicity, that it leads to almostno suppression of $v_n$, with odd $n$. However, this can only occur if the typical size of the dipole in DIS with a nuclear target is small, or $Q^2 \,>\,Q^2_s\Lb A, Y_{\rm min},b\Rb$, where $Q_s$ is the saturation momentum of the nucleus at $Y = Y_{\rm min}$. In the case of large sizes of dipoles, when $Q^2 \,<\,Q^2_s\Lb A, Y_{\rm min},b\Rb$, we show that $v_n =0$ for odd $n$. Hadron-nucleus scattering is discussed.


title: Discrete quotients of 3-dimensional N = 4 Coulomb branches via the cycle index

abstract: The study of Coulomb branches of 3-dimensional N=4 gauge theories via the associated Hilbert series, the so-called monopole formula, has been proven useful not only for 3-dimensional theories, but also for Higgs branches of 5 and 6-dimensional gauge theories with 8 supercharges. Recently, a conjecture connected different phases of 6-dimensional Higgs branches via gauging of a discrete global $S_n$ symmetry. On the corresponding 3-dimensional Coulomb branch, this amounts to a geometric $S_n$-quotient. In this note, we prove the conjecture on Coulomb branches with unitary nodes and, moreover, extend it to Coulomb branches with other classical groups. The results promote discrete $S_n$-quotients to a versatile tool in the study of Coulomb branches.


title: Flowing from 16 to 32 Supercharges

abstract: We initiate a study of an infinite set of renormalization group flows with accidental supersymmetry enhancement. The ultraviolet fixed points are strongly interacting four-dimensional $\mathcal{N}=2$ superconformal field theories (SCFTs) with no known Lagrangian descriptions, and the infrared fixed points are SCFTs with thirty-two (Poincar\'e plus special) supercharges.


title: Graduality from Embedding-projection Pairs (Extended Version)

abstract: Gradually typed languages allow statically typed and dynamically typed code to interact while maintaining benefits of both styles. The key to reasoning about these mixed programs is Siek-Vitousek-Cimini-Boyland's (dynamic) gradual guarantee, which says that giving components of a program more precise types only adds runtime type checking, and does not otherwise change behavior. In this paper, we give a semantic reformulation of the gradual guarantee called graduality. We change the name to promote the analogy that graduality is to gradual typing what parametricity is to polymorphism. Each gives a local-to-global, syntactic-to-semantic reasoning principle that is formulated in terms of a kind of observational approximation. Utilizing the analogy, we develop a novel logical relation for proving graduality. We show that embedding-projection pairs (ep pairs) are to graduality what relations are to parametricity. We argue that casts between two types where one is "more dynamic" (less precise) than the other necessarily form an ep pair, and we use this to cleanly prove the graduality cases for casts from the ep-pair property. To construct ep pairs, we give an analysis of the type dynamism relation (also known as type precision or naive subtyping) that interprets the rules for type dynamism as compositional constructions on ep pairs, analogous to the coercion interpretation of subtyping.