title: W-Types with Reductions and the Small Object Argument

abstract: We define a simple kind of higher inductive type generalising dependent $W$-types, which we refer to as $W$-types with reductions. Just as dependent $W$-types can be characterised as initial algebras of certain endofunctors (referred to as polynomial endofunctors), we will define our generalisation as initial algebras of certain pointed endofunctors, which we will refer to as pointed polynomial endofunctors. We will show that $W$-types with reductions exist in all $\Pi W$-pretoposes that satisfy a weak choice axiom, known as weakly initial set of covers (WISC). This includes all Grothendieck toposes and realizability toposes as long as WISC holds in the background universe. We will show that a large class of $W$-types with reductions in internal presheaf categories can be constructed without using WISC. We will show that $W$-types with reductions suffice to construct some interesting examples of algebraic weak factorisation systems (awfs's). Specifically, we will see how to construct awfs's that are cofibrantly generated with respect to a codomain fibration, as defined in a previous paper by the author.


title: Collaboratively Weighting Deep and Classic Representation via L2 Regularization for Image Classification

abstract: Deep convolutional neural networks provide a powerful feature learning capability for image classification. The deep image features can be utilized to deal with many image understanding tasks like image classification and object recognition. However, the robustness obtained in one dataset can be hardly reproduced in the other domain, which leads to inefficient models far from state-of-the-art. We propose a deep collaborative weight-based classification (DeepCWC) method to resolve this problem, by providing a novel option to fully take advantage of deep features in classic machine learning. It firstly performs the L2-norm based collaborative representation on the original images, as well as the deep features extracted by deep CNN models. Then, two distance vectors, obtained based on the pair of linear representations, are fused together via a novel collaborative weight. This collaborative weight enables deep and classic representations to weigh each other. We observed the complementarity between two representations in a series of experiments on 10 facial and object datasets. The proposed DeepCWC produces very promising classification results, and outperforms many other benchmark methods, especially the ones claimed for Fashion-MNIST. The code is going to be published in our public repository.


title: Batch Normalization and the impact of batch structure on the behavior of deep convolution networks

abstract: Batch normalization was introduced in 2015 to speed up training of deep convolution networks by normalizing the activations across the current batch to have zero mean and unity variance. The results presented here show an interesting aspect of batch normalization, where controlling the shape of the training batches can influence what the network will learn. If training batches are structured as balanced batches (one image per class), and inference is also carried out on balanced test batches, using the batch's own means and variances, then the conditional results will improve considerably. The network uses the strong information about easy images in a balanced batch, and propagates it through the shared means and variances to help decide the identity of harder images on the same batch. Balancing the test batches requires the labels of the test images, which are not available in practice, however further investigation can be done using batch structures that are less strict and might not require the test image labels. The conditional results show the error rate almost reduced to zero for nontrivial datasets with small number of classes such as the CIFAR10.


title: Least Square Error Method Robustness of Computation: What is not usually considered and taught

abstract: There are many practical applications based on the Least Square Error (LSE) approximation. It is based on a square error minimization 'on a vertical' axis. The LSE method is simple and easy also for analytical purposes. However, if data span is large over several magnitudes or non-linear LSE is used, severe numerical instability can be expected. The presented contribution describes a simple method for large span of data LSE computation. It is especially convenient if large span of data are to be processed, when the 'standard' pseudoinverse matrix is ill conditioned. It is actually based on a LSE solution using orthogonal basis vectors instead of orthonormal basis vectors. The presented approach has been used for a linear regression as well as for approximation using radial basis functions.


title: "How to squash a mathematical tomato", Rubic's cube-like surfaces and their connection to reversible computation

abstract: Here we show how reversible computation processes, like Margolus diffusion, can be envisioned as physical turning operations on a 2-dimensional rigid surface that is cut by a regular pattern of intersecting circles. We then briefly explore the design-space of these patterns, and report on the discovery of an interesting fractal subdivision of space by iterative circle packings. We devise two different ways for creating this fractal, both showing interesting properties, some resembling properties of the dragon curve. The patterns presented here can have interesting applications to the engineering of modular, kinetic, active surfaces.


title: From Hamiltonian to zero curvature formulation for classical integrable boundary conditions

abstract: We reconcile the Hamiltonian formalism and the zero curvature representation in the approach to integrable boundary conditions for a classical integrable system in 1+1 space-time dimensions. We start from an ultralocal Poisson algebra involving a Lax matrix and two (dynamical) boundary matrices. Sklyanin's formula for the double-row transfer matrix is used to derive Hamilton's equations of motion for both the Lax matrix {\bf and} the boundary matrices in the form of zero curvature equations. A key ingredient of the method is a boundary version of the Semenov-Tian-Shansky formula for the generating function of the time-part of a Lax pair. The procedure is illustrated on the finite Toda chain for which we derive Lax pairs of size $2\times 2$ for previously known Hamiltonians of type $BC_N$ and $D_N$ corresponding to constant and dynamical boundary matrices respectively.


title: Constructions of Unextendible Maximally Entangled Bases in \(\mathbb {C}^{d}\otimes \mathbb {C}^{d^{\prime}}\)

abstract: We study unextendible maximally entangled bases (UMEBs) in \(\mathbb {C}^{d}\otimes \mathbb {C}^{d^{\prime}}\) ($d<d'$). An operational method to construct UMEBs containing $d(d^{\prime}-1)$ maximally entangled vectors is established, and two UMEBs in \(\mathbb {C}^{5}\otimes \mathbb {C}^{6}\) and \(\mathbb {C}^{5}\otimes \mathbb {C}^{12}\) are given as examples. Furthermore, a systematic way of constructing UMEBs containing $d(d^{\prime}-r)$ maximally entangled vectors in \(\mathbb {C}^{d}\otimes \mathbb {C}^{d^{\prime}}\) is presented for $r=1,2,\cdots, d-1$. Correspondingly, two UMEBs in \(\mathbb {C}^{3}\otimes \mathbb {C}^{10}\) are obtained.


title: Smooth Loss Functions for Deep Top-k Classification

abstract: The top-k error is a common measure of performance in machine learning and computer vision. In practice, top-k classification is typically performed with deep neural networks trained with the cross-entropy loss. Theoretical results indeed suggest that cross-entropy is an optimal learning objective for such a task in the limit of infinite data. In the context of limited and noisy data however, the use of a loss function that is specifically designed for top-k classification can bring significant improvements. Our empirical evidence suggests that the loss function must be smooth and have non-sparse gradients in order to work well with deep neural networks. Consequently, we introduce a family of smoothed loss functions that are suited to top-k optimization via deep learning. The widely used cross-entropy is a special case of our family. Evaluating our smooth loss functions is computationally challenging: a na\"ive algorithm would require $\mathcal{O}(\binom{n}{k})$ operations, where n is the number of classes. Thanks to a connection to polynomial algebra and a divide-and-conquer approach, we provide an algorithm with a time complexity of $\mathcal{O}(k n)$. Furthermore, we present a novel approximation to obtain fast and stable algorithms on GPUs with single floating point precision. We compare the performance of the cross-entropy loss and our margin-based losses in various regimes of noise and data size, for the predominant use case of k=5. Our investigation reveals that our loss is more robust to noise and overfitting than cross-entropy.


title: Maximal depth property of finitely generated modules

abstract: Let $(R,\mathfrak{m})$ be a Noetherian local ring and $M$ a finitely generated $R$-module. We say $M$ has maximal depth if there is an associated prime $\mathfrak{p}$ of $M$ such that depth $M=\dim R/\mathfrak{p}$. In this paper, we study finitely generated modules with maximal depth. It is shown that the maximal depth property is preserved under some important module operations. Generalized Cohen--Macaulay modules with maximal depth are classified. Finally, the attached primes of $H^i_{\mathfrak{m}}(M)$ are considered for $i<\mathrm{dim} M$.


title: On a problem of S\'ark\"ozy and S\'os for multivariate linear forms

abstract: We prove that for pairwise co-prime numbers $k_1,\dots,k_d \geq 2$ there does not exist any infinite set of positive integers $A$ such that the representation function $r_A (n) = \{ (a_1, \dots, a_d) \in A^d : k_1 a_1 + \dots + k_d a_d = n \}$ becomes constant for $n$ large enough. This result is a particular case of our main theorem, which poses a further step towards answering a question of S\'ark\"ozy and S\'os and widely extends a previous result of Cilleruelo and Ru\'e for bivariate linear forms.


title: Design of Irregular SC-LDPC Codes With Non-Uniform Degree Distributions by Linear Programing

abstract: In this paper, we propose a new design method of irregular spatially-coupled low-density parity-check (SC-LDPC) codes with non-uniform degree distributions by linear programming (LP). In general, irregular SC-LDPC codes with non-uniform degree distributions is difficult to design with low complexity because their density evolution equations are multi-dimensional. To solve the problem, the proposed method is based on two main ideas: A local design of the degree distributions and pre-computation of the input/output message relationship. These ideas make it possible to design the degree distributions of irregular SC-LDPC codes by solving low complexity LP problems over the binary erasure channel. We also find a proper objective function for the proposed design methodology to improve the performance of SC-LDPC codes. It is shown that the irregular SC-LDPC codes obtained by the proposed method are superior to regular SC-LDPC codes in terms of both asymptotic and finite-length performances.


title: Graphene-enabled, directed nanomaterial placement from solution for large-scale device integration

abstract: Controlled placement of nanomaterials at predefined locations with nanoscale precision remains among the most challenging problems that inhibit their large-scale integration in the field of semiconductor process technology. Methods based on surface functionalization have a drawback where undesired chemical modifications can occur and deteriorate the deposited material. The application of electric-field assisted placement techniques eliminates the element of chemical treatment; however, it requires an incorporation of conductive placement electrodes that limit the performance, scaling, and density of integrated electronic devices. Here, we report a method for electric-field assisted placement of solution-processed nanomaterials by using large-scale graphene layers featuring nanoscale deposition sites. The structured graphene layers are prepared via either transfer or synthesis on standard substrates, then are removed without residue once nanomaterial deposition is completed, yielding material assemblies with nanoscale resolution that cover surface areas larger than 1mm2. In order to demonstrate the broad applicability, we have assembled representative zero-, one-, and two-dimensional semiconductors at predefined substrate locations and integrated them into nanoelectronic devices. This graphene-based placement technique affords nanoscale resolution at wafer scale, and could enable mass manufacturing of nanoelectronics and optoelectronics involving a wide range of nanomaterials prepared via solution-based approaches.


title: Randomized sliding window algorithms for regular languages

abstract: A sliding window algorithm receives a stream of symbols and has to output at each time instant a certain value which only depends on the last $n$ symbols. If the algorithm is randomized, then at each time instant it produces an incorrect output with probability at most $\epsilon$, which is a constant error bound. This work proposes a more relaxed definition of correctness which is parameterized by the error bound $\epsilon$ and the failure ratio $\phi$: A randomized sliding window algorithm is required to err with probability at most $\epsilon$ at a portion of $1-\phi$ of all time instants of an input stream. This work continues the investigation of sliding window algorithms for regular languages. In previous works a trichotomy theorem was shown for deterministic algorithms: the optimal space complexity is either constant, logarithmic or linear in the window size. The main results of this paper concerns three natural settings (randomized algorithms with failure ratio zero and randomized/deterministic algorithms with bounded failure ratio) and provide natural language theoretic characterizations of the space complexity classes.


title: Coupling non-conforming discretizations of PDEs by spectral approximation of the Lagrange multiplier space

abstract: This work focuses on the development of a non-conforming domain decomposition method for the approximation of PDEs based on weakly imposed transmission conditions: the continuity of the global solution is enforced by a discrete number of Lagrange multipliers defined over the interfaces of adjacent subdomains. The method falls into the class of primal hybrid methods, which also include the well-known mortar method. Differently from the mortar method, we discretize the space of basis functions on the interface by spectral approximation independently of the discretization of the two adjacent domains; one of the possible choices is to approximate the interface variational space by Fourier basis functions. As we show in the numerical simulations, our approach is well-suited for the solution of problems with non-conforming meshes or with finite element basis functions with different polynomial degrees in each subdomain. Another application of the method that still needs to be investigated is the coupling of solutions obtained from otherwise incompatible methods, such as the finite element method, the spectral element method or isogeometric analysis.


title: Wake of inertial waves of a horizontal cylinder in horizontal translation

abstract: We analyze theoretically and experimentally the wake behind a horizontal cylinder of diameter $d$ horizontally translated at constant velocity $U$ in a fluid rotating about the vertical axis at a rate $\Omega$. Using particle image velocimetry measurements in the rotating frame, we show that the wake is stabilized by rotation for Reynolds number ${\rm Re}=Ud/\nu$ much larger than in a non-rotating fluid. Over the explored range of parameters, the limit of stability is ${\rm Re} \simeq (275 \pm 25) / {\rm Ro}$, with ${\rm Ro}=U/2\Omega d$ the Rossby number, indicating that the stabilizing process is governed by the Ekman pumping in the boundary layer. At low Rossby number, the wake takes the form of a stationary pattern of inertial waves, similar to the wake of surface gravity waves behind a ship. We compare this steady wake pattern to a model, originally developed by [Johnson, J. Fluid Mech. 120, 359 (1982)], assuming a free-slip boundary condition and a weak streamwise perturbation. Our measurements show a quantitative agreement with this model for ${\rm Ro}\lesssim 0.3$. At larger Rossby number, the phase pattern of the wake is close to the prediction for an infinitely small line object. However, the wake amplitude and phase origin are not correctly described by the weak-streamwise-perturbation model, calling for an alternative model for the boundary condition at moderate rotation rate.


title: RichMol: A general variational approach for rovibrational molecular dynamics in external electric fields

abstract: A general variational approach for computing the rovibrational dynamics of polyatomic molecules in the presence of external electric fields is presented. Highly accurate, full-dimensional variational calculations provide a basis of field-free rovibrational states for evaluating the rovibrational matrix elements of high-rank Cartesian tensor operators, and for solving the time-dependent Schr\"odinger equation. The effect of the external electric field is treated as a multipole moment expansion truncated at the second hyperpolarizability interaction term. Our fully numerical and computationally efficient method has been implemented in a new program, RichMol, which can simulate the effects of multiple external fields of arbitrary strength, polarization, pulse shape and duration. Illustrative calculations of two-color orientation and rotational excitation with an optical centrifuge of NH$_3$ are discussed.


title: Long gaps in sieved sets

abstract: For each prime $p$, let $I_p \subset \mathbb{Z}/p\mathbb{Z}$ denote a collection of residue classes modulo $p$ such that the cardinalities $|I_p|$ are bounded and about $1$ on average. We show that for sufficiently large $x$, the sifted set $\{ n \in \mathbb{Z}: n \pmod{p} \not \in I_p \hbox{ for all }p \leq x\}$ contains gaps of size at least $x (\log x)^{\delta} $ where $\delta>0$ depends only on the density of primes for which $I_p\ne \emptyset$. This improves on the "trivial" bound of $\gg x$. As a consequence, for any non-constant polynomial $f:\mathbb{Z}\to \mathbb{Z}$ with positive leading coefficient, the set $\{ n \leq X: f(n) \hbox{ composite}\}$ contains an interval of consecutive integers of length $\ge (\log X) (\log\log X)^{\delta}$ for sufficiently large $X$, where $\delta>0$ depends only on the degree of $f$.


title: Accelerating crystal structure prediction by machine-learning interatomic potentials with active learning

abstract: In this letter we propose a new methodology for crystal structure prediction, which is based on the evolutionary algorithm USPEX and the machine-learning interatomic potentials actively learning on-the-fly. Our methodology allows for an automated construction of an interatomic interaction model from scratch replacing the expensive DFT with a speedup of several orders of magnitude. Predicted low-energy structures are then tested on DFT, ensuring that our machine-learning model does not introduce any prediction error. We tested our methodology on a problem of prediction of carbon allotropes, dense sodium structures and boron allotropes including those which have more than 100 atoms in the primitive cell. All the the main allotropes have been reproduced and a new 54-atom structure of boron have been found at very modest computational efforts.


title: Ordered Preference Elicitation Strategies for Supporting Multi-Objective Decision Making

abstract: In multi-objective decision planning and learning, much attention is paid to producing optimal solution sets that contain an optimal policy for every possible user preference profile. We argue that the step that follows, i.e, determining which policy to execute by maximising the user's intrinsic utility function over this (possibly infinite) set, is under-studied. This paper aims to fill this gap. We build on previous work on Gaussian processes and pairwise comparisons for preference modelling, extend it to the multi-objective decision support scenario, and propose new ordered preference elicitation strategies based on ranking and clustering. Our main contribution is an in-depth evaluation of these strategies using computer and human-based experiments. We show that our proposed elicitation strategies outperform the currently used pairwise methods, and found that users prefer ranking most. Our experiments further show that utilising monotonicity information in GPs by using a linear prior mean at the start and virtual comparisons to the nadir and ideal points, increases performance. We demonstrate our decision support framework in a real-world study on traffic regulation, conducted with the city of Amsterdam.


title: Regularity of minimal surfaces with lower dimensional obstacles

abstract: We study the Plateau problem with a lower dimensional obstacle in $\mathbb{R}^n$. Intuitively, in $\mathbb{R}^3$ this corresponds to a soap film (spanning a given contour) that is pushed from below by a "vertical" 2D half-space (or some smooth deformation of it). We establish almost optimal $C^{1,1/2-}$ estimates for the solutions near points on the free boundary of the contact set, in any dimension $n\ge 2$. The $C^{1,1/2-}$ estimates follow from an $\varepsilon$-regularity result for minimal surfaces with thin obstacles in the spirit of the De Giorgi's improvement of flatness. To prove it, we follow Savin's small perturbations method. A nontrivial difficulty in using Savin's approach for minimal surfaces with thin obstacles is that near a typical contact point the solution consists of two smooth surfaces that intersect transversally, and hence it is not very flat at small scales. Via a new "dichotomy approach" based on barrier arguments we are able to overcome this difficulty and prove the desired result.


title: Learning to Synthesize

abstract: In many scenarios we need to find the most likely program under a local context, where the local context can be an incomplete program, a partial specification, natural language description, etc. We call such problem program estimation. In this paper we propose an abstract framework, learning to synthesis, or L2S in short, to address this problem. L2S combines four tools to achieve this: syntax is used to define the search space and search steps, constraints are used to prune off invalid candidates at each search step, machine-learned models are used to estimate conditional probabilities for the candidates at each search step, and search algorithms are used to find the best possible solution. The main goal of L2S is to lay out the design space to motivate the research on program estimation. We have performed a preliminary evaluation by instantiating this framework for synthesizing conditions of an automated program repair (APR) system. The training data are from the project itself and related JDK packages. Compared to ACS, a state-of-the-art condition synthesis system for program repair, our approach could deal with a larger search space such that we fixed 4 additional bugs outside the search space of ACS, and relies only on the source code of the current projects.


title: Distribution of Large Gaps Between Primes

abstract: We survey some past conditional results on the distribution of large differences between consecutive primes and examine how the Hardy-Littlewood prime k-tuples conjecture can be applied to this question.


title: Homotopy Theory of Bicomplexes

abstract: We define two model structures on the category of bicomplexes concentrated in the right half plane. The first model structure has weak equivalences detected by the totalisation functor. The second model structure's weak equivalences are detected by the $E^2$-term of the spectral sequence associated to the filtration of the total complex by the horizontal degree. We then extend this result to twisted complexes.


title: H.E.S.S. discovery of very high energy gamma-ray emission from PKS 0625-354

abstract: PKS 0625-354 (z=0.055) was observed with the four H.E.S.S. telescopes in 2012 during 5.5 hours. The source was detected above an energy threshold of 200 GeV at a significance level of 6.1$\sigma$. No significant variability is found in these observations. The source is well described with a power-law spectrum with photon index $\Gamma =2.84 \pm 0.50_{stat} \pm 0.10_{syst}$ and normalization (at $E_0$=1.0 TeV) $N_0(E_0)=(0.58 \pm 0.22_{stat} \pm 0.12_{syst})\times10^{-12}$ TeV$^{-1}$cm$^{-2}$s$^{-1}$. Multi-wavelength data collected with Fermi-LAT, Swift-XRT, Swift-UVOT, ATOM and WISE are also analysed. Significant variability is observed only in the Fermi-LAT $\gamma$-ray and Swift-XRT X-ray energy bands. Having a good multi-wavelength coverage from radio to very high energy, we performed a broadband modelling from two types of emission scenarios. The results from a one zone lepto-hadronic, and a multi-zone leptonic models are compared and discussed. On the grounds of energetics, our analysis favours a leptonic multi-zone model. Models associated to the X-ray variability constraint supports previous results suggesting a BL Lac nature of PKS 0625-354, with, however, a large-scale jet structure typical of a radio galaxy.


title: WQO dichotomy for 3-graphs

abstract: We investigate data-enriched models, like Petri nets with data, where executability of a transition is conditioned by a relation between data values involved. Decidability status of various decision problems in such models may depend on the structure of data domain. According to the WQO Dichotomy Conjecture, if a data domain is homogeneous then it either exhibits a well quasi-order (in which case decidability follows by standard arguments), or essentially all the decision problems are undecidable for Petri nets over that data domain. We confirm the conjecture for data domains being 3-graphs (graphs with 2-colored edges). On the technical level, this results is a significant step beyond known classification results for homogeneous structures.


title: About Kendall's regression

abstract: Conditional Kendall's tau is a measure of dependence between two random variables, conditionally on some covariates. We assume a regression-type relationship between conditional Kendall's tau and some covariates, in a parametric setting with a large number of transformations of a small number of regressors. This model may be sparse, and the underlying parameter is estimated through a penalized criterion. We prove non-asymptotic bounds with explicit constants that hold with high probabilities. We derive the consistency of a two-step estimator, its asymptotic law and some oracle properties. Some simulations and applications to real data conclude the paper.


title: Light Scattering by Cholesteric Skyrmions

abstract: We study the light scattering by localized quasi planar excitations of a Cholesteric Liquid Crystal known as spherulites. Due to the anisotropic optical properties of the medium and the peculiar shape of the excitations, we quantitatively evaluate the cross section of the axis-rotation of polarized light. Because of the complexity of the system under consideration, first we give a simplified, but analytical, description of the spherulite and we compare the Born approximation results in this setting with those obtained by resorting to a numerical exact solution. The effects of changing values of the driving external static electric (or magnetic) field is considered. Possible applications of the phenomenon are envisaged.


title: Resonant optical pulses on a continuous wave background in two-level active media

abstract: We present exact N-soliton optical pulses riding on a continuous-wave (c.w.) beam that propagate through and interact with a two-level active optical medium. Their representation is derived via an appropriate generalization of the inverse scattering transform for the corresponding Maxwell-Bloch equations. We describe the single-soliton solutions in detail and classify them into several distinct families. In addition to the analogues of traveling-wave soliton pulses that arise in the absence of a c.w. beam, we obtain breather-like structures, periodic pulse-trains and rogue-wave-type (i.e., rational) pulses, whose existence is directly due to the presence of the c.w. beam. These soliton solutions are the analogues for Maxwell-Bloch systems of the four classical solution types of the focusing nonlinear Schrodinger equation with non-zero background, although the physical behavior of the corresponding solutions is quite different.


title: Constraining the Higgs self couplings at $e^+e^-$ colliders

abstract: We study the sensitivity to the shape of the Higgs potential of single, double, and triple Higgs production at future $e^+e^-$ colliders. Physics beyond the Standard Model is parameterised through the inclusion of higher-dimensional operators $(\Phi^\dagger \Phi- v^2/2)^n/\Lambda^{(2n-4)}$ with $n=3,4$, which allows a consistent treatment of independent deviations of the cubic and quartic self couplings beyond the tree level. We calculate the effects induced by a modified potential up to one loop in single and double Higgs production and at the tree level in triple Higgs production, for both $Z$ boson associated and $W$ boson fusion production mechanisms. We consider two different scenarios. First, the dimension six operator provides the dominant contribution (as expected, for instance, in a linear effective-field-theory(EFT)); we find in this case that the corresponding Wilson coefficient can be determined at $\mathcal{O}(10\%)$ accuracy by just combining accurate measurements of single Higgs cross sections at $\sqrt{\hat s}=$240-250 GeV and double Higgs production in $W$ boson fusion at higher energies. Second, both operators of dimension six and eight can give effects of similar order, i.e., independent quartic self coupling deviations are present. Constraints on Wilson coefficients can be best tested by combining measurements from single, double and triple Higgs production. Given that the sensitivity of single Higgs production to the dimension eight operator is presently unknown, we consider double and triple Higgs production and show that combining their information colliders at higher energies will provide first coarse constraints on the corresponding Wilson coefficient.


title: Convergence rates for smooth k-means change-point detection

abstract: In this paper, we consider the estimation of a change-point for possibly high-dimensional data in a Gaussian model, using a k-means method. We prove that, up to a logarithmic term, this change-point estimator has a minimax rate of convergence. Then, considering the case of sparse data, with a Sobolev regularity, we propose a smoothing procedure based on Lepski's method and show that the resulting estimator attains the optimal rate of convergence. Our results are illustrated by some simulations. As the theoretical statement relying on Lepski's method depends on some unknown constant, practical strategies are suggested to perform an optimal smoothing.


title: On the l^{q,p} cohomology of Carnot groups

abstract: We study the simplicial {\ell} q,p cohomology of Carnot groups G. We show vanishing and non-vanishing results depending of the range of the (p, q) gap with respect to the weight gaps in the Lie algebra cohomology of G.


title: On the local cohomology of modular invariants

abstract: We compute some numerical invariants of local cohomology of the ring of invariants by a finite group, mainly in the modular case. Also, we present some applications. In particular, we study Cohen-Macaulay property of modular invariants from the viewpoints of depth, Serre's condition and the relevant generalizations (e.g., the Buchsbaum property, etc). The situation in the local case is different from the global case.


title: Angular and polarization trails from effective interactions of Majorana neutrinos at the LHeC

abstract: We study the possibility of the LHeC facility to disentangle different new physics contributions to the production of heavy sterile Majorana neutrinos in the lepton number violating channel $e^{-}p\rightarrow l_{j}^{+} + 3 jets$ ($l_j\equiv e ,\mu $). This is done investigating the angular and polarization trails of effective operators with distinct Dirac-Lorentz structure contributing to the Majorana neutrino production, which parameterize new physics from a higher energy scale. We study an asymmetry in the angular distribution of the final anti-lepton and the initial electron polarization effect on the number of signal events produced by the vectorial and scalar effective interactions, finding both analyses could well separate their contributions.


title: An exact extremal result for tournaments and 4-uniform hypergraphs

abstract: In this paper, we address the following problem due to Frankl and F\"uredi (1984). What is the maximum number of hyperedges in an $r$-uniform hypergraph with $n$ vertices, such that every set of $r+1$ vertices contains $0$ or exactly $2$ hyperedges? They solved this problem for $r=3$. For $r=4$, a partial solution is given by Gunderson and Semeraro (2017) when $n=q+1$ for some prime power number $q\equiv3\pmod{4} $. Assuming the existence of skew-symmetric conference matrices for every order divisible by $4$, we give a solution for $n\equiv0\pmod{4} $ and for $n\equiv3\pmod{4}$.


title: Cubic Halo Bias in Eulerian and Lagrangian Space

abstract: Predictions of the next-to-leading order, i.e. one-loop, halo power spectra depend on local and non-local bias parameters up to cubic order. The linear bias parameter can be estimated from the large scale limit of the halo-matter power spectrum, and the second order bias parameters from the large scale, tree-level, bispectrum. Cubic operators would naturally be quantified using the tree-level trispectrum. As the latter is computationally expensive, we extent the quadratic field method proposed in Schmittfull et al. 2014 to cubic fields in order to estimate cubic bias parameters. We cross-correlate a basis set of cubic bias operators with the halo field and express the result in terms of the cross-spectra of these operators in order to cancel cosmic variance. We obtain significant detections of local and non-local cubic bias parameters, which are partially in tension with predictions based on local Lagrangian bias schemes. We directly measure the Lagrangian bias parameters of the protohaloes associated with our halo sample and clearly detect a non-local quadratic term in Lagrangian space. We do not find a clear detection of non-local cubic Lagrangian terms for low mass bins, but there is some mild evidence for their presence for the highest mass bin. While the method presented here focuses on cubic bias parameters, the approach could also be applied to quantifications of cubic primordial non-Gaussianity.


title: Explanations based on the Missing: Towards Contrastive Explanations with Pertinent Negatives

abstract: In this paper we propose a novel method that provides contrastive explanations justifying the classification of an input by a black box classifier such as a deep neural network. Given an input we find what should be %necessarily and minimally and sufficiently present (viz. important object pixels in an image) to justify its classification and analogously what should be minimally and necessarily \emph{absent} (viz. certain background pixels). We argue that such explanations are natural for humans and are used commonly in domains such as health care and criminology. What is minimally but critically \emph{absent} is an important part of an explanation, which to the best of our knowledge, has not been explicitly identified by current explanation methods that explain predictions of neural networks. We validate our approach on three real datasets obtained from diverse domains; namely, a handwritten digits dataset MNIST, a large procurement fraud dataset and a brain activity strength dataset. In all three cases, we witness the power of our approach in generating precise explanations that are also easy for human experts to understand and evaluate.


title: Endoscopic transfer for unitary Lie algebras

abstract: We give another proof of the existence of the endoscopic transfer for unitary Lie algebras and its compatibility with Fourier transforms. By the work of Kazhdan and Vashavsky, this implies the corresponding endoscopic fundamental lemma (theorem of Laumon--Ng\^o). We study the compatibility between Fourier transforms and transfers and we prove that the compatibility in the Jacquet-Rallis setting implies the compatibility in the endoscopic setting for unitary groups.


title: Fast flow-based algorithm for creating density-equalizing map projections

abstract: Cartograms are maps that rescale geographic regions (e.g., countries, districts) such that their areas are proportional to quantitative demographic data (e.g., population size, gross domestic product). Unlike conventional bar or pie charts, cartograms can represent correctly which regions share common borders, resulting in insightful visualizations that can be the basis for further spatial statistical analysis. Computer programs can assist data scientists in preparing cartograms, but developing an algorithm that can quickly transform every coordinate on the map (including points that are not exactly on a border) while generating recognizable images has remained a challenge. Methods that translate the cartographic deformations into physics-inspired equations of motion have become popular, but solving these equations with sufficient accuracy can still take several minutes on current hardware. Here we introduce a flow-based algorithm whose equations of motion are numerically easier to solve compared with previous methods. The equations allow straightforward parallelization so that the calculation takes only a few seconds even for complex and detailed input. Despite the speedup, the proposed algorithm still keeps the advantages of previous techniques: with comparable quantitative measures of shape distortion, it accurately scales all areas, correctly fits the regions together and generates a map projection for every point. We demonstrate the use of our algorithm with applications to the 2016 US election results, the gross domestic products of Indian states and Chinese provinces, and the spatial distribution of deaths in the London borough of Kensington and Chelsea between 2011 and 2014.


title: Neumann Boundary Problem for Parabolic Partial Differential Equations with Divergence Terms

abstract: We prove an existence and uniqueness result for Neumann boundary problem of a parabolic partial differential equation (PDE for short) with a singular nonlinear divergence term which can only be understood in a weak sense. A probabilistic approach is applied by studying the backward stochastic differential equations (BSDEs for short) corresponding to the PDEs, the solution of which turns out to be a limit of a sequence of BSDEs constructed by penalization method.


title: Readout Of Singlet-Triplet Qubits At Large Magnetic Field Gradients

abstract: Visibility of singlet-triplet qubit readout is reduced to almost zero in large magnetic field gradients due to relaxation processes. Here we present a new readout technique that is robust against relaxation and allows for measurement when previously studied methods fail. This technique maps the qubit onto spin states that are immune to relaxation using a spin dependent electron tunneling process between the qubit and the lead. We probe this readout's performance as a function of magnetic field gradient and applied magnetic field, and optimize the pulse applied to the qubit through experiment and simulation.


title: On the fast quenching of young low-mass galaxies up to z $\sim$ 0.6: new spotlight on the lead role of environment

abstract: We investigate the connection between environment and the different quenching channels that galaxies are prone to follow in the rest-frame NUVrK colour diagram, as identified by Moutard et al. (2016b). Namely, the fast quenching channel followed by $young$ low-mass galaxies and the slow quenching channel followed by $old$ high-mass ones. We make use of the >22 deg$^2$ covered the VIPERS Multi-Lambda Survey (VIPERS-MLS) to select a galaxy sample complete down to stellar masses of $M_* > 10^{9.4} M_\odot$ at $z < 0.65$ ($M_* > 10^{8.8} M_\odot$ at $z < 0.5$) and including 33,500 (43,000) quiescent galaxies properly selected at $0.2 < z < 0.65$, while being characterized by reliable photometric redshifts ($\sigma_{\delta z/(1+z)} \leq 0.04$) that we use to measure galaxy local densities. We find that (1) the quiescence of low-mass [$M_* \leq 10^{9.7} M_\odot$] galaxies requires a strong increase of the local density, which confirms the lead role played by environment in their fast quenching and, therefore, confirms that the low-mass upturn observed in the stellar mass function of quiescent galaxies is due to $environmental$ $quenching$. We also observe that (2) the reservoir of low-mass star-forming galaxies located in very dense regions (prone to environmental quenching) has grown between $z \sim 0.6$ and $ z \sim 0.4$ whilst the share of low-mass quiescent galaxies (expected to being environmentally quenched) may have simultaneously increased, which would plead for a rising importance of $environmental$ $quenching$ with cosmic time, compared to $mass$ $quenching$. We finally discuss the composite picture of such environmental quenching of low-mass galaxies and, in particular, how this picture may be consistent with a $delayed$-$then$-$rapid$ quenching scenario.


title: Extreme cooperative swelling in topologically disordered fibre entanglements

abstract: Entangled states are ubiquitous amongst fibrous materials, whether naturally occurring (keratin, collagen, DNA) or synthetic (nanotube assemblies, elastane). A key mechanical characteristic of these systems is their ability to reorganise in response to external stimuli, as implicated in e.g. hydration-induced swelling of keratin fibrils in human skin. During swelling, the curvature of individual fibres changes to give a cooperative and reversible structural reorganisation that opens up a pore network. The phenomenon is known to be highly dependent on topology, even if the nature of this dependence is not well understood: certain ordered entanglements (`weavings') can swell to many times their original volume while others are entirely incapable of swelling at all. Given this sensitivity to topology, it is puzzling how the disordered entanglements of many real materials manage to support cooperative dilation mechanisms. Here we use a combination of geometric and lattice-dynamical modelling to study the effect of disorder on swelling behaviour. The model system we devise spans a continuum of disordered topologies and is bounded by ordered states whose swelling behaviour is already known to be either vanishingly small or extreme. We find that while topological disorder often quenches swelling behaviour, certain disordered states possess a surprisingly large swelling capacity. Crucially, we show that the extreme swelling response previously observed only for certain specific weavings can be matched---and even superseded---by that of disordered entanglements. Our results establish a counterintuitive link between topological disorder and mechanical flexibility that has implications not only for polymer science but also for our broader understanding of collective phenomena in disordered systems.


title: Diffractive shear interferometry for extreme ultraviolet high-resolution lensless imaging

abstract: We demonstrate a novel imaging approach and associated reconstruction algorithm for far-field coherent diffractive imaging, based on the measurement of a pair of laterally sheared diffraction patterns. The differential phase profile retrieved from such a measurement leads to improved reconstruction accuracy, increased robustness against noise, and faster convergence compared to traditional coherent diffractive imaging methods. We measure laterally sheared diffraction patterns using Fourier-transform spectroscopy with two phase-locked pulse pairs from a high harmonic source. Using this approach, we demonstrate spectrally resolved imaging at extreme ultraviolet wavelengths between 28 and 35 nm.


abstract: We prove Koll\'ar's injectivity theorem for globally $F$-regular varieties.


title: Spanning Tree Congestion and Computation of Generalized Gy\H{o}ri-Lov\'{a}sz Partition

abstract: We study a natural problem in graph sparsification, the Spanning Tree Congestion (\STC) problem. Informally, the \STC problem seeks a spanning tree with no tree-edge \emph{routing} too many of the original edges. The root of this problem dates back to at least 30 years ago, motivated by applications in network design, parallel computing and circuit design. Variants of the problem have also seen algorithmic applications as a preprocessing step of several important graph algorithms. For any general connected graph with $n$ vertices and $m$ edges, we show that its STC is at most $\mathcal{O}(\sqrt{mn})$, which is asymptotically optimal since we also demonstrate graphs with STC at least $\Omega(\sqrt{mn})$. We present a polynomial-time algorithm which computes a spanning tree with congestion $\mathcal{O}(\sqrt{mn}\cdot \log n)$. We also present another algorithm for computing a spanning tree with congestion $\mathcal{O}(\sqrt{mn})$; this algorithm runs in sub-exponential time when $m = \omega(n \log^2 n)$. For achieving the above results, an important intermediate theorem is \emph{generalized Gy\H{o}ri-Lov\'{a}sz theorem}, for which Chen et al. gave a non-constructive proof. We give the first elementary and constructive proof by providing a local search algorithm with running time $\mathcal{O}^*\left( 4^n \right)$, which is a key ingredient of the above-mentioned sub-exponential time algorithm. We discuss a few consequences of the theorem concerning graph partitioning, which might be of independent interest. We also show that for any graph which satisfies certain \emph{expanding properties}, its STC is at most $\mathcal{O}(n)$, and a corresponding spanning tree can be computed in polynomial time. We then use this to show that a random graph has STC $\Theta(n)$ with high probability.


title: G\^Ateaux-Differentiability of Convex Functions in Infinite Dimension

abstract: It is well known that in $R^n$ , G{\^a}teaux (hence Fr{\'e}chet) differ-entiability of a convex continuous function at some point is equivalent to the existence of the partial derivatives at this point. We prove that this result extends naturally to certain infinite dimensional vector spaces, in particular to Banach spaces having a Schauder basis.


title: Stochastic Model Predictive Control of Air Conditioning System for Electric Vehicles: Sensitivity Study, Comparison and Improvement

abstract: A stochastic model predictive controller (SMPC) of air conditioning (AC) system is proposed to improve the energy efficiency of electric vehicles (EV). A Markov-chain based velocity predictor is adopted to provide a sense of the future disturbances over the SMPC control horizon. The sensitivity of electrified AC plant to solar radiation, ambient temperature and relative air flow speed is quantificationally analyzed from an energy efficiency perspective. Three control approaches are compared in terms of the electricity consumption, cabin temperature, and comfort fluctuation, which are (i) the proposed SMPC method, (ii) a generally used bang-bang controller and (iii) dynamic programming (DP) as the benchmark. Real solar radiation and ambient temperature data are measured to validate the effectiveness of the SMPC. Comparison results illustrate that SMPC is able to improve the AC energy economy by 12% than rule-based controller. The cabin temperature variation is reduced by over 50.4%, resulting with a much better cabin comfort.


title: Matrix factorizations over elementary divisor domains

abstract: We study the homotopy category $\mathrm{hmf}(R,W)$ of matrix factorizations of non-zero elements $W\in R^\times$, where $R$ is an elementary divisor domain. When $R$ has prime elements and $W$ factors into a square-free element $W_0$ and a finite product of primes of multiplicity greater than one and which do not divide $W_0$, we show that $\mathrm{hmf}(R,W)$ is triangle-equivalent with an orthogonal sum of the triangulated categories of singularities $\mathrm{D}_{\mathrm sing}(A_n(p))$ of the local Artinian rings $A_n(p)=R/\langle p^n\rangle$, where $p$ runs over the prime divisors of $W$ of order $n\geq 2$. This result holds even when $R$ is not Noetherian. The triangulated categories $\mathrm{D}_{\mathrm sing}(A_n(p))$ are Krull-Schmidt and we describe them explicitly. We also study the cocycle category $\mathrm{zmf}(R,W)$, showing that it is additively generated by elementary matrix factorizations. Finally, we discuss a few classes of examples.


title: The lower central and derived series of the braid groups of compact surfaces

abstract: Let M be a compact surface, either orientable or non-orientable. We study the lower central and derived series of the braid and pure braid groups of M in order to determine the values of n for which B\_n(M) and P\_n(M) are residually nilpotent or residually soluble. First, we solve this problem for the case where M is the 2-torus. We then give a general description of these series for an arbitrary semi-direct product that allows us to calculate explicitly the lower central series of P\_2(K), where K is the Klein bottle, and to give an estimate for the derived series of P\_n(K). Finally, if M is a non-orientable compact surface without boundary, we determine the values of n for which B\_n(M) is residually nilpotent or residually soluble in the cases that were not already known in the literature.


title: Non-Abelian extension of the aether term and the Gribov problem

abstract: In this paper, we treat the proper path integral quantization of the Yang-Mills-aether (YM-aether) system by dealing with the extra gauge copies in the Landau gauge. Within Gribov's prescription to get rid of such remaining gauge copies, we explicitly derive the Gribov parameter dependence of the coupling constant and of the Lorentz violation aether term. The ultraviolet limit is investigated under the light of recent bounds on the magnitude of the non-Abelian aether parameter, and we show that the Gribov parameter can be disregarded in that limit.


title: Energy Harvesting and Magneto-Inductive Communications with Molecular Magnets on Vibrating Graphene and Biomedical Applications in the Kilohertz to Terahertz Band

abstract: Magneto-inductive (MI) Terahertz (THz) wireless channels provide significant theoretical performances for MI communications (MIC) and wireless power transmission (WPT) in nanoscale networks. Energy harvesting (EH) and signal generation are critical for autonomous operation in challenging medium including biomedical channels. State of the art electromagnetic (EM) vibrational devices have millimeter dimensions while targeting low frequency EH without any real-time communications. In this article, graphene resonators are combined with single molecule magnets (SMMs) to realize nanoscale EH, MIC and WPT with novel modulation methods achieving simultaneous wireless information and PT (SWIPT). Unique advantages of graphene including atomic thickness, ultra-low weight, high strain and resonance frequencies in the Kilohertz to Terahertz band are combined with high and stable magnetic moments of Terbium(III) bis(phthalocyanine) SMMs. Numerical analyses provide tens of nanowatts powers and efficiencies of $10^4 \, W/m^3$ in acoustic and ultrasound frequencies comparable with vibrational EH devices while millimeter wave carrier generation is numerically analyzed. Proposed model and communication theoretical analysis present a practical framework for challenging applications in the near future by promising simple mechanical design. Applications include nanoscale biomedical tagging including human cells, sensing and communication for diagnosis and treatment, EH and modulation for autonomous nano-robotics, and magnetic particle imaging (MPI).


title: Notes On Open Book Decompositions For Engel Structures

abstract: We relate open book decompositions of a 4-manifold M with its Engel structures. Our main result is, given an open book decomposition of M whose binding is a collection of 2-tori and whose monodromy preserves a framing of a page, the construction of an En-gel structure whose isotropic foliation is transverse to the interior of the pages and tangent to the binding. In particular the pages are contact man-ifolds and the monodromy is a contactomorphism. As a consequence, on a parallelizable closed 4-manifold, every open book with toric binding carries in the previous sense an Engel structure. Moreover, we show that amongst the supported Engel structures we construct, there is a class of loose Engel structures.


title: Antenna Design and Implementation for the Future Space Ultra-Long Wavelength Radio Telescope

abstract: In radio astronomy, the Ultra-Long Wavelengths (ULW) regime of longer than 10 m (frequencies below 30 MHz), remains the last virtually unexplored window of the celestial electromagnetic spectrum. The strength of the science case for extending radio astronomy into the ULW window is growing. However, the opaqueness of the Earth's ionosphere makes ULW observations by ground-based facilities practically impossible. Furthermore, the ULW spectrum is full of anthropogenic radio frequency interference (RFI). The only radical solution for both problems is in placing an ULW astronomy facility in space. We present a concept of a key element of a space-borne ULW array facility, an antenna that addresses radio astronomical specifications. A tripole-type antenna and amplifier are analysed as a solution for ULW implementation. A receiver system with a low power dissipation is discussed as well. The active antenna is optimized to operate at the noise level defined by the celestial emission in the frequency band 1 - 30 MHz. Field experiments with a prototype tripole antenna enabled estimates of the system noise temperature. They indicated that the proposed concept meets the requirements of a space-borne ULW array facility.


title: The life cycles of Be viscous decretion discs: fundamental disc parameters of 54 SMC Be stars

abstract: Be stars are main-sequence massive stars with emission features in their spectrum, which originates in circumstellar gaseous discs. Even though the viscous decretion disc (VDD) model can satisfactorily explain most observations, two important physical ingredients, namely the magnitude of the viscosity ($\alpha$) and the disk mass injection rate, remain poorly constrained. The light curves of Be stars that undergo events of disc formation and dissipation offer an opportunity to constrain these quantities. A pipeline was developed to model these events that uses a grid of synthetic light curves, computed from coupled hydrodynamic and radiative transfer calculations. A sample of 54 Be stars from the OGLE survey of the Small Magellanic Cloud (SMC) was selected for this study. Because of the way our sample was selected (bright stars with clear disc events), it likely represents the densest discs in the SMC. Like their siblings in the Galaxy, the mass of the disc in the SMC increases with the stellar mass. The typical mass and angular momentum loss rates associated with the disk events are of the order of $\sim$$10^{-10}\, M_\odot\,\mathrm{yr^{-1}}$ and $\sim$$5\times 10^{36}\, \mathrm{g\, cm^{2}\, s^{-2}}$, respectively. The values of $\alpha$ found in this work are typically of a few tenths, consistent with recent results in the literature and with the ones found in dwarf novae, but larger than current theory predicts. Considering the sample as a whole, the viscosity parameter is roughly two times larger at build-up ($\left\langle\alpha_\mathrm{bu}\right\rangle = 0.63$) than at dissipation ($\left\langle\alpha_\mathrm{d}\right\rangle = 0.26$). Further work is necessary to verify whether this trend is real or a result of some of the model assumptions.


title: Cofree Com-PreLie algebras

abstract: A Com-PreLie bialgebra is a commutative bialgebra with an extra preLie product satisfying some compatibilities with the product and the coproduct. We here give examples of cofree Com-PreLie bialgebras, including all the ones such that the preLie product is homogeneous of degree $\ge$ --1. We also give a graphical description of free unitary Com-PreLie algebras, explicit their canonical bialgebra structure and exhibit with the help of a rigidity theorem certain cofree quotients, including the Connes-Kreimer Hopf algebra of rooted trees. We finally prove that the dual of these bialgebras are also enveloping algebras of preLie algebras, combinatorially described.


title: Floating structures in shallow water: local well-posedness in the axisymmetric case

abstract: The floating structure problem describes the interaction between surface water waves and a floating body, generally a boat or a wave energy converter. As shown by Lannes in [18] the equations for the fluid motion can be reduced to a set of two evolution equations on the surface elevation and the horizontal discharge. The presence of the object is accounted for by a constraint on the discharge under the object; the pressure exerted by the fluid on this object is then the Lagrange multiplier associated to this constraint. Our goal in this paper is to prove the well-posedness of this fluid-structure interaction problem in the shallow water approximation under the assumption that the flow is axisymmetric without swirl. We write the fluid equations as a quasilinear hyperbolic mixed initial boundary value problem and the solid equation as a second order ODE coupled to the fluid equations. Finally we prove the local in time well-posedness for this coupled problem, provided some compatibility conditions on the initial data are satisfied.


title: A gauge-invariant reversible cellular automaton

abstract: Gauge-invariance is a fundamental concept in physics---known to provide the mathematical justification for all four fundamental forces. In this paper, we provide discrete counterparts to the main gauge theoretical concepts, directly in terms of Cellular Automata. More precisely, we describe a step-by-step gauging procedure to enforce local symmetries upon a given Cellular Automaton. We apply it to a simple Reversible Cellular Automaton for concreteness. From a Computer Science perspective, discretized gauge theories may be applied to numerical analysis, quantum simulation, fault-tolerant (quantum) computation. From a mathematical perspective, discreteness provides a simple yet rigorous route straight to the core concepts.


title: Limiting behavior of solutions for Euler equations of compressible fluid flow

abstract: We study the limiting behavior of the solutions of Euler equations of one-dimensional compressible fluid flow as the pressure like term vanishes. This system can be thought of as an approximation for the one dimensional model for large scale structure formation of universe. We show that the solutions of former equation converges to the solution of later in the sense of distribution and agrees with the vanishing viscosity limit when the initial data is of Riemann type. A different approximation for the one dimensional model for large scale structure formation of universe is also studied.


title: Minimal cut-sets in the power graphs of certain finite non-cyclic groups

abstract: The power graph of a group is the simple graph with vertices as the group elements, in which two distinct vertices are adjacent if and only if one of them can be obtained as an integral power of the other. We study (minimal) cut-sets of the power graph of a (finite) non-cyclic (nilpotent) group which are associated with its maximal cyclic subgroups. Let $G$ be a finite non-cyclic nilpotent group whose order is divisible by at least two distinct primes. If $G$ has a Sylow subgroup which is neither cyclic nor a generalized quaternion $2$-group and all other Sylow subgroups of $G$ are cyclic, then under some conditions we prove that there is only one minimum cut-set of the power graph of $G$. We apply this result to find the vertex connectivity of the power graphs of certain finite non-cyclic abelian groups whose order is divisible by at most three distinct primes.


title: MIS in the Congested Clique Model in $O(\log \log \Delta)$ Rounds

abstract: We give a maximal independent set (MIS) algorithm that runs in $O(\log \log \Delta)$ rounds in the congested clique model, where $\Delta$ is the maximum degree of the input graph. This improves upon the $O(\frac{\log(\Delta) \cdot \log \log \Delta}{\sqrt{\log n}} + \log \log \Delta )$ rounds algorithm of [Ghaffari, PODC '17], where $n$ is the number of vertices of the input graph. In the first stage of our algorithm, we simulate the first $O(\frac{n}{\text{poly} \log n})$ iterations of the sequential random order Greedy algorithm for MIS in the congested clique model in $O(\log \log \Delta)$ rounds. This thins out the input graph relatively quickly: After this stage, the maximum degree of the residual graph is poly-logarithmic. In the second stage, we run the MIS algorithm of [Ghaffari, PODC '17] on the residual graph, which completes in $O(\log \log \Delta)$ rounds on graphs of poly-logarithmic degree.


title: Scalable and Robust Sparse Subspace Clustering Using Randomized Clustering and Multilayer Graphs

abstract: Sparse subspace clustering (SSC) is one of the current state-of-the-art methods for partitioning data points into the union of subspaces, with strong theoretical guarantees. However, it is not practical for large data sets as it requires solving a LASSO problem for each data point, where the number of variables in each LASSO problem is the number of data points. To improve the scalability of SSC, we propose to select a few sets of anchor points using a randomized hierarchical clustering method, and, for each set of anchor points, solve the LASSO problems for each data point allowing only anchor points to have a non-zero weight (this reduces drastically the number of variables). This generates a multilayer graph where each layer corresponds to a different set of anchor points. Using the Grassmann manifold of orthogonal matrices, the shared connectivity among the layers is summarized within a single subspace. Finally, we use $k$-means clustering within that subspace to cluster the data points, similarly as done by spectral clustering in SSC. We show on both synthetic and real-world data sets that the proposed method not only allows SSC to scale to large-scale data sets, but that it is also much more robust as it performs significantly better on noisy data and on data with close susbspaces and outliers, while it is not prone to oversegmentation.


title: Harnack's Inequality for Parabolic Nonlocal Equations

abstract: The main result of this paper is a nonlocal version of Harnack's inequality for a class of parabolic nonlocal equations. We additionally establish a weak Harnack inequality as well as local boundedness of solutions. None of the results require the solution to be globally positive.


title: Relativistic Entropy Inequality

abstract: In this paper we apply the entropy principle to the relativistic version of the differential equations describing a standard fluid flow, that is, the equations for mass, momentum, and a system for the energy matrix. These are the second order equations which have been introduced in [3]. Since the principle also says that the entropy equation is a scalar equation, this implies, as we show, that one has to take a trace in the energy part of the system. Thus one arrives at the relativistic mass-momentum-energy system for the fluid. In the procedure we use the well-known Liu-M\"uller sum [10] in order to deduce the Gibbs relation and the residual entropy inequality.


title: Mixed perverse sheaves on flag varieties of Coxeter groups

abstract: In this paper we construct an abelian category of "mixed perverse sheaves" attached to any realization of a Coxeter group, in terms of the associated Elias-Williamson diagrammatic category. This construction extends previous work of the first two authors, where we worked with parity complexes instead of diagrams, and we extend most of the properties known in this case to the general setting. As an application we prove that the split Grothendieck group of the Elias-Williamson diagrammatic category is isomorphic to the corresponding Hecke algebra, for any choice of realization.


title: Landmark Placement for Localization in a GPS-denied Environment

abstract: Path planning algorithms for unmanned aerial or ground vehicles, in many surveillance applications, rely on Global Positioning System (GPS) information for localization. However, disruption of GPS signals, by intention or otherwise, can render these plans and algorithms ineffective. This article provides a way of addressing this issue by utilizing stationary landmarks to aid localization in such GPS-disrupted or GPS-denied environment. In particular, given the vehicle's path, we formulate a landmark-placement problem and present algorithms to place the minimum number of landmarks while satisfying the localization, sensing, and collision-avoidance constraints. The performance of such a placement is also evaluated via extensive simulations on ground robots.


title: Building Efficient ConvNets using Redundant Feature Pruning

abstract: This paper presents an efficient technique to prune deep and/or wide convolutional neural network models by eliminating redundant features (or filters). Previous studies have shown that over-sized deep neural network models tend to produce a lot of redundant features that are either shifted version of one another or are very similar and show little or no variations; thus resulting in filtering redundancy. We propose to prune these redundant features along with their connecting feature maps according to their differentiation and based on their relative cosine distances in the feature space, thus yielding smaller network size with reduced inference costs and competitive performance. We empirically show on select models and CIFAR-10 dataset that inference costs can be reduced by 40% for VGG-16, 27% for ResNet-56, and 39% for ResNet-110.


title: Intersecting limit sets of Kleinian subgroups and Susskind's question

abstract: We construct a non-elementary Fuchsian group that admits two non-elementary subgroups with trivial intersection and whose radial limit sets intersect non-trivially. This negatively answers a question of Perry Susskind (1989) that was stated as a conjecture by James W. Anderson (2014).


title: A Riemann-Hilbert problem for uncoupled BPS structures

abstract: We study the Riemann-Hilbert problem attached to an uncoupled BPS structure proposed by Bridgeland in "Riemann-Hilbert problems from Donaldson-Thomas theory". We show that it has "essentially" unique meromorphic solutions given by a product of Gamma functions. We reconstruct the corresponding connection.


title: Effects of CO2 flushing on crystal textures and compositions: experimental evidence from recent K trachybasalts erupted at Mt. Etna

abstract: Changes in magmatic assemblages and crystal stability as a response of CO2 flushing in basaltic systems have been never directly addressed experimentally, making the role of CO2 in magma dynamics still controversial and object of scientific debate. We conducted a series of experiments to understand the response of magmas from Etna volcano to CO2 flushing. We performed a first experiment at 300 MPa to synthesize a starting material composed of crystals of some hundreds of m and melt pools. This material is representative of an initial magmatic assemblage composed of plagioclase, clinopyroxene and a water undersaturated melt. In a second step, the initial assemblage was equilibrated at 300 and 100 MPa with fluids having different XCO2fl . Our experiments demonstrate that flushing basaltic systems with fluids may drastically affect crystal textures and phase equilibria depending on the amount of H2O and CO2 in the fluid phase. Since texture and crystal proportions are among the most important parameters governing the rheology of magmas, fluid flushing will also influence magma ascent to the Earths surface. The experimental results open new perspectives to decipher the textural and compositional record of minerals observed in volcanic rocks from Mt. Etna, and at the same time offer the basis for interpreting the information preserved in minerals from other basaltic volcanoes erupting magmas enriched in CO2.


title: DNA-Graphene Interactions During Translocation Through Nanogaps

abstract: We study how double-stranded DNA translocates through graphene nanogaps. Nanogaps are fabricated with a novel capillary-force induced graphene nanogap formation technique. DNA translocation signatures for nanogaps are qualitatively different from those obtained with circular nanopores, owing to the distinct shape of the gaps discussed here. Translocation time and conductance values vary by $\sim 100$%, which we suggest are caused by local gap width variations. We also observe exponentially relaxing current traces. We suggest that slow relaxation of the graphene membrane following DNA translocation may be responsible. We conclude that DNA-graphene interactions are important, and need to be considered for graphene-nanogap based devices. This work further opens up new avenues for direct read of single molecule activitities, and possibly sequencing.


title: The local rotation curve of the Milky Way based on SEGUE and RAVE data

abstract: We construct the rotation curve of the Milky Way in the extended solar neighbourhood using a sample of SEGUE (Sloan Extension for Galactic Understanding and Exploration) G-dwarfs. We investigate the rotation curve shape for the presence of any peculiarities just outside the solar radius as has been reported by some authors. We approach the problem in a framework of classical Jeans analysis. Using the most recent data from RAVE (RAdial Velocity Experiment), we determine the solar peculiar velocity and the radial scalelengths for the three populations of different metallicities representing the Galactic thin disc. Then with the same binning in metallicity for the SEGUE G-dwarfs, we construct the rotation curve in the range of Galactocentric distances 7-10 kpc. We derive the circular velocity by correcting the mean tangential velocity for the asymmetric drift in each distance bin. With SEGUE data we also calculate the radial scalelength of the thick disc taking as known the derived peculiar motion of the Sun and the slope of the rotation curve. The rotation curve constructed through SEGUE G-dwarfs appears to be smooth in the selected radial range. The local kinematics of the thin disc rotation as determined in the framework of our new careful analysis does not favour the presence of a massive overdensity ring just outside the solar radius.


title: 3D modelling of self-organized patterns of spots on anodes of DC glow discharge

abstract: Self-organized patterns of spots on a at metallic anode in a cylindrical glow dis- charge tube are simulated self-consistently. A standard model of a glow discharge is used, comprising conservation and transport equations for a single species of ion and electrons, written with the use of the drift-diffusion and local-field approximations, and the Poisson equation. The computation domain is the region from the anode to the discharge column; only processes in the near-anode region are considered. Multiple solutions, existing in the same range of discharge current and describing modes with and without anode spots, are computed by means of a stationary solver. The computed spots exhibited unexpected behavior. A reversal of the local anode current density in the middle of each of the spots was found, i.e. mini-cathodes are formed inside the spots. The solutions do not fit into the conventional pattern of self-organization in bistable nonlinear dissipative systems; e.g. the modes are not joined by bifurcations.


title: Cosmological screening and the phantom braneworld model

abstract: The scalar and vector cosmological perturbations at all length scales of our Universe are studied in the framework of the phantom braneworld model. The model is characterized by the parameter $\Omega_M\equiv M^3/2m^2H_0$, with $M$ and $m$ the 5- and 4-dimensional Planck scales, respectively, and $H_0$ the Hubble parameter today, while $\Omega_M\rightarrow 0$ recovers the $\Lambda\rm CDM$ model. Ignoring the backreaction due to the peculiar velocities and also the bulk cosmological constant, allows the explicit computation of the gravitational potentials, $\Phi$ and $\Psi$. They exhibit exponentially decreasing screening behaviour characterized by a screening length which is a function of the quasidensity parameter $ \Omega_M$.


title: The energy equality for the Navier-Stokes equations in bounded domains

abstract: In this paper, we provide a sufficient condition of the energy equality for the incompressible Navier-Stokes equations in bounded domains.


title: Dynamics on abelian varieties in positive characteristic

abstract: We study periodic points for endomorphisms $\sigma$ of abelian varieties $A$ over algebraically closed fields of positive characteristic $p$. We show that the dynamical zeta function $\zeta_\sigma$ of $\sigma$ is either rational or transcendental, the first case happening precisely when $\sigma^n-1$ is a separable isogeny for all $n$. We call this condition very inseparability and show it is equivalent to the action of $\sigma$ on the local $p$-torsion group scheme being nilpotent. The "false" zeta function $D_\sigma$, in which the number of fixed points of $\sigma^n$ is replaced by the degree of $\sigma^n-1$, is always a rational function. Let $1/\Lambda$ denote its largest real pole and assume no other pole or zero has the same absolute value. Then, using a general dichotomy result for power series proven by Royals and Ward in the appendix, we find that $\zeta_\sigma(z)$ has a natural boundary at $|z|=1/\Lambda$ when $\sigma$ is not very inseparable. We introduce and study tame dynamics, ignoring orbits whose order is divisible by $p$. We construct a tame zeta function $\zeta^*_{\sigma}$ that is always algebraic, and such that $\zeta_\sigma$ factors into an infinite product of tame zeta functions. We briefly discuss functional equations. Finally, we study the length distribution of orbits and tame orbits. Orbits of very inseparable endomorphisms distribute like those of Axiom A systems with entropy $\log \Lambda$, but the orbit length distribution of not very inseparable endomorphisms is more erratic and similar to $S$-integer dynamical systems. We provide an expression for the prime orbit counting function in which the error term displays a power saving depending on the largest real part of a zero of $D_\sigma(\Lambda^{-s})$.


title: Heisenberg-Pauli-Weyl and Donoho-Stark's uncertainty principle for the Weinstein $L^2$-multiplier operators

abstract: The aim of this paper is establish the Heisenberg-Pauli-Weyl uncertainty principle and Donho-Stark's uncertainty principle for the Weinstein $L^2$-multiplier operators.


title: Robustness of flow networks against cascading failures under partial load redistribution

abstract: We study the robustness of flow networks against cascading failures under a partial load redistribution model. In particular, we consider a flow network of $N$ lines with initial loads $L_1, \ldots, L_N$ and free-spaces (i.e., redundant space) $S_1, \ldots, S_N$ that are independent and identically distributed with joint distribution $P_{LS}(x,y)=\mathbb{P}(L \leq x, S \leq y)$. The capacity $C_i$ is the maximum load allowed on line $i$, and is given by $C_i=L_i + S_i$. When a line fails due to overloading, it is removed from the system and $(1-\varepsilon)$-fraction of the load it was carrying (at the moment of failing) gets redistributed equally among all remaining lines in the system; hence we refer to this as the {\it partial} load redistribution model. The rest (i.e., $\varepsilon$-fraction) of the load is assumed to be lost or absorbed, e.g., due to advanced circuitry disconnecting overloaded power lines or an inter-connected network/material absorbing a fraction of the flow from overloaded lines. We analyze the robustness of this flow network against random attacks that remove a $p$-fraction of the lines. Our contributions include (i) deriving the final fraction of alive lines $n_{\infty}(p,\varepsilon)$ for all $p, \varepsilon \in (0,1)$ and confirming the results via extensive simulations; (ii) showing that partial redistribution might lead to (depending on the parameter $0<\varepsilon \leq 1$) the order of transition at the critical attack size $p^{*}$ changing from first to second-order; and (iii) proving analytically that flow networks achieve maximum robustness (quantified by the area $\int_{0}^{1} n_{\infty}(p,\varepsilon) \mathrm{d}p$) when all lines have the same free-space regardless of their initial load. The optimality of equal free-space allocation is also confirmed on real-world data from the UK National Power Grid.


title: Distributed Hypothesis Testing Over Discrete Memoryless Channels

abstract: A distributed binary hypothesis testing (HT) problem involving two parties, one referred to as the observer and the other as the detector is studied. The observer observes a discrete memoryless source (DMS) and communicates its observations to the detector over a discrete memoryless channel (DMC). The detector observes another DMS correlated with that at the observer, and performs a binary HT on the joint distribution of the two DMS's using its own observed data and the information received from the observer. The trade-off between the type I error probability and the type II error-exponent of the HT is explored. Single-letter lower bounds on the optimal type II error-exponent are obtained by using two different coding schemes, a separate HT and channel coding scheme and a joint HT and channel coding scheme based on hybrid coding for the matched bandwidth case. Exact single-letter characterization of the same is established for the special case of testing against conditional independence, and it is shown to be achieved by the separate HT and channel coding scheme. An example is provided where the joint scheme achieves a strictly better performance than the separation based scheme.


title: Classical large deviations theorems on complete Riemannian manifolds

abstract: We generalize classical large deviations theorems to the setting of complete Riemannian manifolds. We prove the analogue of Mogulskii's theorem for geodesic random walks via a general approach using visocity solutions for Hamilton-Jacobi equations. As a corollary, we also obtain the analogue of Cram\'er's theorem. The approach also provides a new proof of Schilder's theorem. Additionally, we provide a proof of Schilder's theorem by using an embedding into Euclidean space, together with Freidlin-Wentzell theory.


title: On higher-dimensional Courant algebroids

abstract: We define the transgression functor which associates to a (higher-dimensional) Courant algebroid on a manifold a Lie algebroid on the shifted tangent bundle of the manifold.


title: A model for system uncertainty in reinforcement learning

abstract: This work provides a rigorous framework for studying continuous time control problems in uncertain environments. The framework considered models uncertainty in state dynamics as a measure on the space of functions. This measure is considered to change over time as agents learn their environment. This model can be seem as a variant of either Bayesian reinforcement learning or adaptive control. We study necessary conditions for locally optimal trajectories within this model, in particular deriving an appropriate dynamic programming principle and Hamilton-Jacobi equations. This model provides one possible framework for studying the tradeoff between exploration and exploitation in reinforcement learning.


title: On the convergence of partial sums with respect to Vilenkin system on the martingale Hardy spaces

abstract: In this paper we derive characterizations of boundedness of the subsequences of partial sums with respect to Vilenkin system on the martingale Hardy spaces when $ 0<p<1 $. Moreover, we find necessary and sufficient conditions for the modulus of continuity of $f\in H_{p}$ martingales, which provide convergence of subsequences of partial sums on the martingale Hardy spaces. It is also proved that these results are the best possible in a special sense. As applications, both some well-known and new results are pointed out.


title: Investigation of radio pulsar emission features using power spectra

abstract: Since 2013 round-the-clock monitoring of the sky is carried out simultaneously in 96 space beams using the high-sensitivity radio telescope of LPA (Large Phased Array) at the frequency 110.25 MHz. These observations are made under the program of the interplanetary plasma investigation. The same data is used for the search for pulsars by means of the power spectra. For the increase of the pulsar search sensitivity the summation to 500-600 of power spectra corresponding to the different days of the observations is made. In the integrated spectra of the known pulsars, besides expected improvement of a signal-to-noise ($S/N$) ratio for the frequency harmonics, were showed some features which are explored in the paper. We present 27 strongest pulsars which are in the field of declinations $21\degr - 42\degr$ at which the connection of observable details in the integrated power spectra with the presence of pulsar periods of the second ($P_2$) and third ($P_3$) class has been discovered. The empirical relations for the calculation of these periods are obtained. The value $P_2$ is estimated for 26 pulsars, and for 15 sources it is made for the first time. The value $P_3$ is estimated for 13 pulsars, from them for 5 sources they are given for the first time.


title: Stokes waves with constant vorticity: I. numerical computation

abstract: Periodic traveling waves are numerically computed in a constant vorticity flow subject to the force of gravity. The Stokes wave problem is formulated via a conformal mapping as a nonlinear pseudo-differential equation, involving a periodic Hilbert transform for a strip, and solved by the Newton-GMRES method. It works well with a fast Fourier transform and is more effective than a boundary integral method. The result is in excellent agreement, qualitatively and quantitatively, with earlier ones. For strong positive vorticity, in the finite or infinite depth, overhanging profiles are found as the steepness increases and tend to a touching wave, whose profile self-intersects somewhere along the trough line, trapping an air bubble; the numerical solutions become unphysical as the steepness increases further and make a gap in the wave speed versus steepness plane; a touching wave then takes over and the physical solutions follow in the wave speed versus steepness plane until they ultimately tend to an extreme wave, which exhibits a sharp corner at the crest. Overhanging waves of nearly maximum heights are found to approach rigid body rotation of a fluid disk as the strength of positive vorticity increases.


title: Learning Multiple Categories on Deep Convolution Networks

abstract: Deep convolution networks have proved very successful with big datasets such as the 1000-classes ImageNet. Results show that the error rate increases slowly as the size of the dataset increases. Experiments presented here may explain why these networks are very effective in solving big recognition problems. If the big task is made up of multiple smaller tasks, then the results show the ability of deep convolution networks to decompose the complex task into a number of smaller tasks and to learn them simultaneously. The results show that the performance of solving the big task on a single network is very close to the average performance of solving each of the smaller tasks on a separate network. Experiments also show the advantage of using task specific or category labels in combination with class labels.


title: Non-Malleable Codes for Small-Depth Circuits

abstract: We construct efficient, unconditional non-malleable codes that are secure against tampering functions computed by small-depth circuits. For constant-depth circuits of polynomial size (i.e. $\mathsf{AC^0}$ tampering functions), our codes have codeword length $n = k^{1+o(1)}$ for a $k$-bit message. This is an exponential improvement of the previous best construction due to Chattopadhyay and Li (STOC 2017), which had codeword length $2^{O(\sqrt{k})}$. Our construction remains efficient for circuit depths as large as $\Theta(\log(n)/\log\log(n))$ (indeed, our codeword length remains $n\leq k^{1+\epsilon})$, and extending our result beyond this would require separating $\mathsf{P}$ from $\mathsf{NC^1}$. We obtain our codes via a new efficient non-malleable reduction from small-depth tampering to split-state tampering. A novel aspect of our work is the incorporation of techniques from unconditional derandomization into the framework of non-malleable reductions. In particular, a key ingredient in our analysis is a recent pseudorandom switching lemma of Trevisan and Xue (CCC 2013), a derandomization of the influential switching lemma from circuit complexity; the randomness-efficiency of this switching lemma translates into the rate-efficiency of our codes via our non-malleable reduction.


title: Odd-time reversal $PT$ symmetry induced by anti-$PT$-symmetric medium

abstract: We introduce an optical system (a coupler) obeying parity-time ($PT$) symmetry with odd-time reversal, $T^2=-1$. It is implemented with two birefringent waveguides embedded in an anti-$PT$-symmetric medium. The system possesses properties which are untypical for most physical systems with the conventional even-time reversal. Having symmetry-protected degeneracy of the linear modes, the coupler allows for realization of a coherent switch operating with a superposition of binary states which are distinguished by their polarizations. When a Kerr nonlinearity is taken into account, each linear state, being double degenerated, bifurcates into several distinct nonlinear modes, some of which are dynamically stable. The nonlinear modes are characterized by amplitude and by polarization and come in $PT$-conjugate pairs.


title: Exact Correlators from Conformal Ward Identities in Momentum Space and the Perturbative $TJJ$ Vertex

abstract: We present a general study of 3-point functions of conformal field theory in momentum space, following a reconstruction method for tensor correlators, based on the solution of the conformal Ward identities (CWI' s), introduced in recent works by Bzowski, McFadden and Skenderis (BMS). We investigate and detail the structure of the CWI's, their non-perturbative solutions and the transition to momentum space, comparing them to perturbation theory by taking QED as an example. We then proceed with an analysis of the $TJJ$ correlator, presenting independent and detailed re-derivations of the conformal equations in the reconstruction method of BMS, originally formulated using a minimal tensor basis in the transverse traceless sector. A careful comparison with a second basis introduced in previous studies shows that this correlator is affected by one anomaly pole in the graviton (T) line, induced by renormalization. The result shows that the origin of the anomaly, in this correlator, should be necessarily attributed to the exchange of a massless effective degree of freedom. Our results are then exemplified in massless QED at one-loop in $d$-dimensions, expressed in terms of perturbative master integrals. An independent analysis of the Fuchsian character of the solutions, which bypasses the 3K integrals, is also presented. We show that the combination of field theories at one-loop - with a specific field content of degenerate massless scalar and fermions - is sufficient to generate the complete non-perturbative solution, in agreement with a previous study in coordinate space. The result shows that free conformal field theories, in specific dimensions, arrested at one-loop, reproduce the general result for the $TJJ$. Analytical checks of this correspondence are presented in $d=3,4$ and $5$ spacetime dimensions[..].


title: Nonlinear stability of source defects in oscillatory media

abstract: In this paper, we prove the nonlinear stability under localized perturbations of spectrally stable time-periodic source defects of reaction-diffusion systems. Consisting of a core that emits periodic wave trains to each side, source defects are important as organizing centers of more complicated flows. Our analysis uses spatial dynamics combined with an instantaneous phase-tracking technique to obtain detailed pointwise estimates describing perturbations to lowest order as a phase-shift radiating outward at a linear rate plus a pair of localized approximately Gaussian excitations along the phase-shift boundaries; we show that in the wake of these outgoing waves the perturbed solution converges time-exponentially to a space-time translate of the original source pattern.


title: Can Microsoft Academic assess the early citation impact of in-press articles? A multi-discipline exploratory analysis

abstract: Many journals post accepted articles online before they are formally published in an issue. Early citation impact evidence for these articles could be helpful for timely research evaluation and to identify potentially important articles that quickly attract many citations. This article investigates whether Microsoft Academic can help with this task. For over 65,000 Scopus in-press articles from 2016 and 2017 across 26 fields, Microsoft Academic found 2-5 times as many citations as Scopus, depending on year and field. From manual checks of 1,122 Microsoft Academic citations not found in Scopus, Microsoft Academic's citation indexing was faster but not much wider than Scopus for journals. It achieved this by associating citations to preprints with their subsequent in-press versions and by extracting citations from in-press articles. In some fields its coverage of scholarly digital libraries, such as arXiv.org, was also an advantage. Thus, Microsoft Academic seems to be a more comprehensive automatic source of citation counts for in-press articles than Scopus.


title: On a Modified Klein-Gordon Equation with Vacuum-Energy Contributions

abstract: We define a modified covariant Klein-Gordon (KG) equation containing quantum vacuum contributions arising from the self-interaction of matter with its own internal kinetic energy. The modified KG equation is exemplified for a variety of vacuum fields and various properties of the equation are articulated thereof. Generalized commutation and Energy-Momentum relations are characterized for a null vacuum-phase scenario of the proposed vacuum field $\lambda$. Within this limited scenario, a representation theorem is introduced suggesting that one can equally modify the spacetime structure or momentum operator in articulating the proposed quantum theory. Such a modified KG equation is further shown to eliminate infrared and the ultraviolet divergences in the generalized Klein-Gordon propagator.


title: The STELLA Apparatus for Particle-Gamma Coincidence Fusion Measurements with Nanosecond Timing

abstract: The STELLA (STELlar LAboratory) experimental station for the measurement of deep sub-barrier light heavy-ion fusion cross sections has been installed at the Androm\`{e}de accelerator at the Institut de Physique Nucl\'{e}aire, Orsay (France). The setup is designed for the direct experimental determination of heavy-ion fusion cross sections as low as tens of picobarn. The detection concept is based on the coincident measurement of emitted gamma rays with the UK FATIMA (FAst TIMing Array) and evaporated charged particles using a silicon detector array. Key developments relevant to reaching the extreme sub-barrier fusion region are a rotating target mechanism to sustain beam intensities above 10$\mu$A, an ultra-high vacuum to prevent carbon built-up and gamma charged-particle timing in the order of nanoseconds sufficient to separate proton and alpha particles.


title: Gravitational lensing by wormholes supported by electromagnetic, scalar, and quantum effects

abstract: Wormholes are one of the most interesting topological features in spacetime, offering a rat run between two vastly separated regions of the universe. In this paper, we study the deflection angle of light by wormholes, which are supported by electric charge, magnetic charge, and scalar fields in the weak field limit approximation. To this end, we apply new geometric methods -- the Gauss-Bonnet theorem and the optical geometry -- to compute the deflection angles. We also verify our findings by using the well-known geodesics method. There exists a similarity between the charge and the quantum corrections on a black hole solution, which has been recently discussed in the context of the relativistic Bohmian quantum mechanics. By replacing classical geodesics with Bohmian trajectories, we introduce a new wormhole solution, whose having matter sources and anisotropic pressure supported by Bohmian quantum effects. The problem of fulfillment of the energy conditions of the Morris-Thorne traversable wormhole is also discussed.


title: Quantum heat engine based on level degeneracy

abstract: We study a quantum Stirling cycle which extracts work using quantized energy levels of a potential well. The work and the efficiency of the engine depend on the length of the potential well, and the Carnot efficiency is approached in a low temperature limiting case. We show that the lack of information about the position of the particle inside the potential well can be converted into useful work without resorting to any measurement. In the low temperature limit, we calculate the amount of work extractable from distinguishable particles, fermions, and bosons.


title: Stability and error analysis of an implicit Milstein finite difference scheme for a two-dimensional Zakai SPDE

abstract: In this article, we propose an implicit finite difference scheme for a two-dimensional parabolic stochastic partial differential equation (SPDE) of Zakai type. The scheme is based on a Milstein approximation to the stochastic integral and an alternating direction implicit (ADI) discretisation of the elliptic term. We prove its mean-square stability and convergence in L2 of first order in time and second order in space, by Fourier analysis, in the presence of Dirac initial data. Numerical tests confirm these findings empirically.


title: Data Deluge in Astrophysics: Photometric Redshifts as a Template Use Case

abstract: Astronomy has entered the big data era and Machine Learning based methods have found widespread use in a large variety of astronomical applications. This is demonstrated by the recent huge increase in the number of publications making use of this new approach. The usage of machine learning methods, however is still far from trivial and many problems still need to be solved. Using the evaluation of photometric redshifts as a case study, we outline the main problems and some ongoing efforts to solve them.


title: Multiscale finite elements through advection-induced coordinates for transient advection-diffusion equations

abstract: Long simulation times in climate sciences typically require coarse grids due to computational constraints. Nonetheless, unresolved subscale information significantly influences the prognostic variables and can not be neglected for reliable long term simulations. This is typically done via parametrizations but their coupling to the coarse grid variables often involves simple heuristics. We explore a novel up-scaling approach inspired by multi-scale finite element methods. These methods are well established in porous media applications, where mostly stationary or quasi stationary situations prevail. In advection-dominated problems arising in climate simulations the approach needs to be adjusted. We do so by performing coordinate transforms that make the effect of transport milder in the vicinity of coarse element boundaries. The idea of our method is quite general and we demonstrate it as a proof-of-concept on a one-dimensional passive advection-diffusion equation with oscillatory background velocity and diffusion.


title: Non-equilibrium Solute Capture in Passivating Oxide Films

abstract: If all humans vanished tomorrow, almost every metal structure would collapse within a century or less, the metal converting to an oxide. In applications ranging from the mature technology of nuts and bolts to high technology batteries, nuclear fuels and turbine engines, protective oxide films are critical to limiting oxidation. To date models of these oxide films have assumed that they form thermodynamic equilibrium stable or metastable phases doped within thermodynamic solubility limits. Here we demonstrate experimentally and theoretically the formation of unusual non-equilibrium oxide phases, that can be predicted using a scientific framework for solute capture at a moving oxide/substrate interface. The theory shows that solute capture is likely a generic process for many electrochemical processes, and suggests that similar phenomena yielding non-equilibrium phases can occur and be predicted for a wide range of other processes involving solid-fluid and solid-solid chemical reactions.


title: Double scaling in the relaxation time in the $\beta$-FPUT model

abstract: We consider the original $\beta$-Fermi-Pasta-Ulam-Tsingou ($\beta$-FPUT) system; numerical simulations and theoretical arguments suggest that, for a finite number of masses, a statistical equilibrium state is reached independently of the initial energy of the system. Using ensemble averages over initial conditions characterized by different Fourier random phases, we numerically estimate the time scale of equipartition and we find that for very small nonlinearity it matches the prediction based on exact wave-wave resonant interactions theory. We derive a simple formula for the nonlinear frequency broadening and show that when the phenomenon of overlap of frequencies takes place, a different scaling for the thermalization time scale is observed. Our result supports the idea that Chirikov overlap criterium { identifies} a transition region between two different relaxation time scaling.