title: Dual Grothendieck polynomials via last-passage percolation

abstract: The ring of symmetric functions has a basis of dual Grothendieck polynomials that are inhomogeneous $K$-theoretic deformations of Schur polynomials. We prove that dual Grothendieck polynomials determine column distributions for a directed last-passage percolation model.


title: Fluctuation and Entropy in Spectrally Constrained random fields

abstract: We investigate the statistical properties of translation invariant random fields (including point processes) on Euclidean spaces (or lattices) under constraints on their spectrum or structure function. An important class of models that motivate our study are hyperuniform and stealthy hyperuniform systems, which are characterised by the vanishing of the structure function at the origin (resp., vanishing in a neighbourhood of the origin). We show that many key features of two classical statistical mechanical measures of randomness - namely, fluctuations and entropy, are governed only by some particular local aspects of their structure function. We obtain exponents for the fluctuations of the local mass in domains of growing size, and show that spatial geometric considerations play an important role - both the shape of the domain and the mode of spectral decay. In doing so, we unveil intriguing oscillatory behaviour of spatial correlations of local masses in adjacent box domains. We describe very general conditions under which we show that the field of local masses exhibit Gaussian asymptotics, with an explicitly described limit. We further demonstrate that stealthy hyperuniform systems with joint densities exhibit degeneracy in their asymptotic entropy per site. In fact, our analysis shows that entropic degeneracy sets in under much milder conditions than stealthiness, as soon as the structure function fails to be logarithmically integrable.


title: On triangular similarity of nilpotent triangular matrices

abstract: Let $B_n$ (resp. $U_n$, $N_n$) be the set of $n\times n$ nonsingular (resp. unit, nilpotent) upper triangular matrices. We use a novel approach to explore the $B_n$-similarity orbits in $N_n$. The Belitski\u{\i}'s canonical form of $A\in N_n$ under $B_n$-similarity is in $QU_n$ where $Q$ is the subpermutation such that $A\in B_n QB_n$. Using graph representations and $U_n$-similarity actions stablizing $QU_n$, we obtain new properties of the Belitski\u{\i}'s canonical forms and present an efficient algorithm to find the Belitski\u{\i}'s canonical forms in $N_n$. As consequences, we construct new Belitski\u{\i}'s canonical forms in all $N_n$'s, list all Belitski\u{\i}'s canonical forms for $n=7, 8$, and show examples of 3-nilpotent Belitski\u{\i}'s canonical forms in $N_n$ with arbitrary numbers of parameters up to $\operatorname{O}(n^2)$.


title: Space of initial values of a map with a quartic invariant

abstract: We compactify and regularize the space of initial values of a planar map with a quartic invariant and use this construction to prove its integrability in the sense of algebraic entropy. The system turns out to have certain unusual properties, including a sequence of points of indeterminacy in $\mathbb P^1\cross \mathbb P^1$. These indeterminacy points are shown to lie on a singular fibre of the mapping to a corresponding QRT system and provide the existence of a one-parameter family of special solutions.


title: Multi-objective beetle antennae search algorithm

abstract: In engineering optimization problems, multiple objectives with a large number of variables under highly nonlinear constraints are usually required to be simultaneously optimized. Significant computing effort are required to find the Pareto front of a nonlinear multi-objective optimization problem. Swarm intelligence based metaheuristic algorithms have been successfully applied to solve multi-objective optimization problems. Recently, an individual intelligence based algorithm called beetle antennae search algorithm was proposed. This algorithm was proved to be more computationally efficient. Therefore, we extended this algorithm to solve multi-objective optimization problems. The proposed multi-objective beetle antennae search algorithm is tested using four well-selected benchmark functions and its performance is compared with other multi-objective optimization algorithms. The results show that the proposed multi-objective beetle antennae search algorithm has higher computational efficiency with satisfactory accuracy.


title: Towards unique and unbiased causal effect estimation from data with hidden variables

abstract: Causal effect estimation from observational data is a crucial but challenging task. Currently, only a limited number of data-driven causal effect estimation methods are available. These methods either provide only a bound estimation of the causal effect of a treatment on the outcome, or generate a unique estimation of the causal effect, but making strong assumptions on data and having low efficiency. In this paper, we identify a practical problem setting and propose an approach to achieving unique and unbiased estimation of causal effects from data with hidden variables. For the approach, we have developed the theorems to support the discovery of the proper covariate sets for confounding adjustment (adjustment sets). Based on the theorems, two algorithms are proposed for finding the proper adjustment sets from data with hidden variables to obtain unbiased and unique causal effect estimation. Experiments with synthetic datasets generated using five benchmark Bayesian networks and four real-world datasets have demonstrated the efficiency and effectiveness of the proposed algorithms, indicating the practicability of the identified problem setting and the potential of the proposed approach in real-world applications.


title: Imaging the effect of drive on the low-field vortex melting phenomenon in Ba0.6K0.4Fe2As2 single crystal

abstract: Self-field imaging of current distribution in Ba0.6K0.4Fe2As2 superconductor is used to study the effect of drive on the low-field vortex solid to liquid melting phase transformation. At low fields, the current induced drive on the vortices aids in thermally destabilizing the vortex state thereby shifting the low field melting phase boundary. We show that the current induced drive shifts solid-liquid boundaries and prepones the vortex melting phenomenon compared to the equilibrium situation. The analysis shows that for currents above 50 mA, Joule heating effects shift the melting line while below 50 mA, an effective temperature concept for driven system viz., a drive dependent shaking temperature, explains the shift. The observation of a transformation from inhomogeneous to homogeneous current flow in the sample at low fields as a function of the driving force is reconciled via an inverse dependence of the shaking temperature on vortex velocity, which is incorporated in our analysis.


title: A Generalized framework of weak value amplification in path interference of polarized light for the enhancement of all possible polarization anisotropy effects

abstract: Using the profound interferometric philosophy of weak value amplification, we propose a simple, general and a robust polarization method for the amplification and quantification of small magnitudes of all possible polarization anisotropy effects in a single experimental embodiment. The approach is experimentally realized by introducing a weak coupling between the polarization degree of freedom of light and the path degree of freedom in a Mach-Zehnder interferometer in the presence of a weak anisotropy effect. Real and imaginary weak value amplifications of different polarization anisotropy effects are manifested as characteristic changes in relevant Stokes vector elements at the exit port of the interferometer, which follow orthogonal trajectories in the Poincare sphere. The proof of concept experiment demonstrates that using this scheme, one can faithfully extract and quantify anisotropy parameter that is smaller than the typical sensitivity of measurement of a given Stokes parameter of a traditional polarimeter by a large weak value amplification factor. This opens up possibility of a sample measuring weak value polarimeter for studying rich variety of fundamental optical effects and for materials characterization and precision metrology.


title: Enhanced light emission from gap plasmons in nano-strip MIM tunnel junctions

abstract: Electrical excitation of light using inelastic electron tunneling is a promising approach for the realization of ultra-compact on-chip optical sources with high modulation bandwidth. However, the practical implementation of these nanoscale light sources presents a challenge due to the low electron-to-photon transduction efficiencies. Here, we investigate designs for the enhancement of light generation and out-coupling in a periodic Ag-SiO2-Ag tunnel junction due to inelastic electron tunneling. The structure presents a unique advantage of a simple fabrication procedure as compared to the other reported structures. By efficiently coupling the gap plasmon mode and the lattice resonance, we achieve a resonant enhancement in the local density of optical states up to three orders of magnitude and enhanced radiative efficiency of ~0.53, 30% higher as compared to the uncoupled structure.


title: Toward practical/realistic Randall-Sundrum Brane world scenario

abstract: The Randall- Sundrum brane world scenario is mostly preserved and still secure as we realized that the graviton trap is still safely guaranteed. We would like to empathize here that such necessary but rich elaboration doesn't cost a fortune as the Ricci flatness condition effectively accommodates the realistic structure of our universe on the one hand, while still sustaining the 4-dimensional graviton trap on the other.


title: Emosaic: Visualizing Affective Content of Text at Varying Granularity

abstract: This paper presents Emosaic, a tool for visualizing the emotional tone of text documents, considering multiple dimensions of emotion and varying levels of semantic granularity. Emosaic is grounded in psychological research on the relationship between language, affect, and color perception. We capitalize on an established three-dimensional model of human emotion: valence (good, nice vs. bad, awful), arousal (calm, passive vs. exciting, active) and dominance (weak, controlled vs. strong, in control). Previously, multi-dimensional models of emotion have been used rarely in visualizations of textual data, due to the perceptual challenges involved. Furthermore, until recently most text visualizations remained at a high level, precluding closer engagement with the deep semantic content of the text. Informed by empirical studies, we introduce a color mapping that translates any point in three-dimensional affective space into a unique color. Emosaic uses affective dictionaries of words annotated with the three emotional parameters of the valence-arousal-dominance model to extract emotional meanings from texts and then assigns to them corresponding color parameters of the hue-saturation-brightness color space. This approach of mapping emotion to color is aimed at helping readers to more easily grasp the emotional tone of the text. Several features of Emosaic allow readers to interactively explore the affective content of the text in more detail; e.g., in aggregated form as histograms, in sequential form following the order of text, and in detail embedded into the text display itself. Interaction techniques have been included to allow for filtering and navigating of text and visualizations.


title: Towards Rapid and Robust Adversarial Training with One-Step Attacks

abstract: Adversarial training is the most successful empirical method for increasing the robustness of neural networks against adversarial attacks. However, the most effective approaches, like training with Projected Gradient Descent (PGD) are accompanied by high computational complexity. In this paper, we present two ideas that, in combination, enable adversarial training with the computationally less expensive Fast Gradient Sign Method (FGSM). First, we add uniform noise to the initial data point of the FGSM attack, which creates a wider variety of adversaries, thus prohibiting overfitting to one particular perturbation bound. Further, we add a learnable regularization step prior to the neural network, which we call Pixelwise Noise Injection Layer (PNIL). Inputs propagated trough the PNIL are resampled from a learned Gaussian distribution. The regularization induced by the PNIL prevents the model form learning to obfuscate its gradients, a factor that hindered prior approaches from successfully applying one-step methods for adversarial training. We show that noise injection in conjunction with FGSM-based adversarial training achieves comparable results to adversarial training with PGD while being considerably faster. Moreover, we outperform PGD-based adversarial training by combining noise injection and PNIL.


title: An RLS-Based Instantaneous Velocity Estimator for Extended Radar Tracking

abstract: Radar sensors have become an important part of the perception sensor suite due to their long range and their ability to work in adverse weather conditions. However, several shortcomings such as large amounts of noise and extreme sparsity of the point cloud result in them not being used to their full potential. In this paper, we present a novel Recursive Least Squares (RLS) based approach to estimate the instantaneous velocity of dynamic objects in real-time that is capable of handling large amounts of noise in the input data stream. We also present an end-to-end pipeline to track extended objects in real-time that uses the computed velocity estimates for data association and track initialisation. The approaches are evaluated using several real-world inspired driving scenarios that test the limits of these algorithms. It is also experimentally proven that our approaches run in real-time with frame execution time not exceeding 30 ms even in dense traffic scenarios, thus allowing for their direct implementation on autonomous vehicles.


title: Implicit Geometric Regularization for Learning Shapes

abstract: Representing shapes as level sets of neural networks has been recently proved to be useful for different shape analysis and reconstruction tasks. So far, such representations were computed using either: (i) pre-computed implicit shape representations; or (ii) loss functions explicitly defined over the neural level sets. In this paper we offer a new paradigm for computing high fidelity implicit neural representations directly from raw data (i.e., point clouds, with or without normal information). We observe that a rather simple loss function, encouraging the neural network to vanish on the input point cloud and to have a unit norm gradient, possesses an implicit geometric regularization property that favors smooth and natural zero level set surfaces, avoiding bad zero-loss solutions. We provide a theoretical analysis of this property for the linear case, and show that, in practice, our method leads to state of the art implicit neural representations with higher level-of-details and fidelity compared to previous methods.


title: LeafGAN: An Effective Data Augmentation Method for Practical Plant Disease Diagnosis

abstract: Many applications for the automated diagnosis of plant disease have been developed based on the success of deep learning techniques. However, these applications often suffer from overfitting, and the diagnostic performance is drastically decreased when used on test datasets from new environments. In this paper, we propose LeafGAN, a novel image-to-image translation system with own attention mechanism. LeafGAN generates a wide variety of diseased images via transformation from healthy images, as a data augmentation tool for improving the performance of plant disease diagnosis. Thanks to its own attention mechanism, our model can transform only relevant areas from images with a variety of backgrounds, thus enriching the versatility of the training images. Experiments with five-class cucumber disease classification show that data augmentation with vanilla CycleGAN cannot help to improve the generalization, i.e., disease diagnostic performance increased by only 0.7% from the baseline. In contrast, LeafGAN boosted the diagnostic performance by 7.4%. We also visually confirmed the generated images by our LeafGAN were much better quality and more convincing than those generated by vanilla CycleGAN. The code is available publicly at: https://github.com/IyatomiLab/LeafGAN.


title: GRET: Global Representation Enhanced Transformer

abstract: Transformer, based on the encoder-decoder framework, has achieved state-of-the-art performance on several natural language generation tasks. The encoder maps the words in the input sentence into a sequence of hidden states, which are then fed into the decoder to generate the output sentence. These hidden states usually correspond to the input words and focus on capturing local information. However, the global (sentence level) information is seldom explored, leaving room for the improvement of generation quality. In this paper, we propose a novel global representation enhanced Transformer (GRET) to explicitly model global representation in the Transformer network. Specifically, in the proposed model, an external state is generated for the global representation from the encoder. The global representation is then fused into the decoder during the decoding process to improve generation quality. We conduct experiments in two text generation tasks: machine translation and text summarization. Experimental results on four WMT machine translation tasks and LCSTS text summarization task demonstrate the effectiveness of the proposed approach on natural language generation.


title: GANHopper: Multi-Hop GAN for Unsupervised Image-to-Image Translation

abstract: We introduce GANHopper, an unsupervised image-to-image translation network that transforms images gradually between two domains, through multiple hops. Instead of executing translation directly, we steer the translation by requiring the network to produce in-between images that resemble weighted hybrids between images from the input domains. Our network is trained on unpaired images from the two domains only, without any in-between images. All hops are produced using a single generator along each direction. In addition to the standard cycle-consistency and adversarial losses, we introduce a new hybrid discriminator, which is trained to classify the intermediate images produced by the generator as weighted hybrids, with weights based on a predetermined hop count. We also add a smoothness term to constrain the magnitude of each hop, further regularizing the translation. Compared to previous methods, GANHopper excels at image translations involving domain-specific image features and geometric variations while also preserving non-domain-specific features such as general color schemes.


title: Static and dynamic properties of multi-ionic plasma mixtures

abstract: Complex plasma mixtures with three or more components are often encountered in astrophysics or in inertial confinement fusion (ICF) experiments. For mixtures containing species with large differences in atomic number Z, the modeling needs to consider at the same time the kinetic theory for low-Z elements combined with the theory of strongly coupled plasma for high-Z elements, as well as all the intermediate situations that can appear in multi-component systems. For such cases, we study the pair distribution functions, self-diffusions, mutual diffusion and viscosity for ternary mixtures at extreme conditions. These quantities can be produced from first principles using orbital free molecular dynamics at the computational expense of very intensive simulations to reach good statistics. Utilizing the first-principles results as reference data, we assess the merit of a global analytic model for transport coefficients, Pseudo-Ions in Jellium (PIJ), based on an iso-electronic assumption ( iso-n e ). With a multi-component hypernetted-chain integral equation, we verify the quality of the iso-n e prescription for describing the static structure of the mixtures. This semi-analytical modeling compares well with the simulation results and allows one to consider plasma mixtures not accessible to simulations. Applications are given for the mix of materials in ICF experiments. A reduction of a multicomponent mixture to an effective binary mixture is also established in the hydrodynamic limit and compared with PIJ estimations for ICF relevant mixtures.


title: Tunable self-similar Bessel-like beams of arbitrary order

abstract: We predict that Bessel-like beams of arbitrary integer order can exhibit a tunable self-similar behavior (that take an invariant form under suitable stretching transformations). Specifically, by engineering the amplitude and the phase on the input plane in real space, we show that it is possible to generate higher-order vortex Bessel-like beams with fully controllable radius of the hollow core and maximum intensity during propagation. In addition, using a similar approach, we show that it is also possible to generate zeroth order Bessel-like beams with controllable beam width and maximum intensity. Our numerical results are in excellent agreement with our theoretical predictions.


title: Communication Contention Aware Scheduling of Multiple Deep Learning Training Jobs

abstract: Distributed Deep Learning (DDL) has rapidly grown its popularity since it helps boost the training performance on high-performance GPU clusters. Efficient job scheduling is indispensable to maximize the overall performance of the cluster when training multiple jobs simultaneously. However, existing schedulers do not consider the communication contention of multiple communication tasks from different distributed training jobs, which could deteriorate the system performance and prolong the job completion time. In this paper, we first establish a new DDL job scheduling framework which organizes DDL jobs as Directed Acyclic Graphs (DAGs) and considers communication contention between nodes. We then propose an efficient algorithm, LWF-$\kappa$, to balance the GPU utilization and consolidate the allocated GPUs for each job. When scheduling those communication tasks, we observe that neither avoiding all the contention nor blindly accepting them is optimal to minimize the job completion time. We thus propose a provable algorithm, AdaDUAL, to efficiently schedule those communication tasks. Based on AdaDUAL, we finally propose Ada-SRSF for the DDL job scheduling problem. Simulations on a 64-GPU cluster connected with 10 Gbps Ethernet show that LWF-$\kappa$ achieves up to $1.59\times$ improvement over the classical first-fit algorithms. More importantly, Ada-SRSF reduces the average job completion time by $20.1\%$ and $36.7\%$, as compared to the SRSF(1) scheme (avoiding all the contention) and the SRSF(2) scheme (blindly accepting all of two-way communication contention) respectively.


title: High-quality photonic entanglement based on a silicon chip

abstract: The fruitful association of quantum and integrated photonics holds the promise to produce, manipulate, and detect quantum states of light using compact and scalable systems. Integrating all the building-blocks necessary to produce high-quality photonic entanglement in the telecom wavelength range out of a single chip remains a major challenge, mainly due to the limited performance of on-chip light rejection filters. We report a stand-alone, telecom-compliant, device that integrates, on a single substrate, a nonlinear photon-pair generator and a passive pump rejection filter. Using standard channel-grid fiber demultiplexers, we demonstrate the first entanglement quantification of such a integrated circuit, showing the highest raw quantum interference visibility for energy-time entangled photons over two telecom-wavelength bands. Genuinely pure maximally entangled states can therefore be generated thanks to the high-level of noise suppression obtained with the pump filter. These results will certainly further promote the development of more advanced and scalable photonic-integrated quantum systems compliant with telecommunication standards.


title: Predicting Subjective Features of Questions of QA Websites using BERT

abstract: Community Question-Answering websites, such as StackOverflow and Quora, expect users to follow specific guidelines in order to maintain content quality. These systems mainly rely on community reports for assessing contents, which has serious problems such as the slow handling of violations, the loss of normal and experienced users' time, the low quality of some reports, and discouraging feedback to new users. Therefore, with the overall goal of providing solutions for automating moderation actions in Q&A websites, we aim to provide a model to predict 20 quality or subjective aspects of questions in QA websites. To this end, we used data gathered by the CrowdSource team at Google Research in 2019 and a fine-tuned pre-trained BERT model on our problem. Based on the evaluation by Mean-Squared-Error (MSE), the model achieved a value of 0.046 after 2 epochs of training, which did not improve substantially in the next ones. Results confirm that by simple fine-tuning, we can achieve accurate models in little time and on less amount of data.


title: Vanadium-based neutron Beam Monitor

abstract: A prototype quasi-parasitic thermal neutron beam monitor based on isotropic neutron scattering from a thin natural vanadium foil and standard $^3$He proportional counters is conceptualized, designed, simulated, calibrated, and commissioned. The European Spallation Source designed to deliver the highest integrated neutron flux originating from a pulsed source is currently under construction in Lund, Sweden. The effort to investigate a vanadium-based neutron beam monitor was triggered by a list of requirements for Beam Monitors permanently placed in the ESS neutron beams in order to provide reliable monitoring at complex beamlines: low attenuation, linear response over a wide range of neutron fluxes, near to constant efficiency for neutron wavelengths in a range of 0.6-10 \r{A}, calibration stability and the possibility to place the system in vacuum are all desirable characteristics. The scattering-based prototype, employing a natural vanadium foil and standard $^3$He proportional counters, was investigated at the V17 and V20 neutron beamlines of the Helmholtz-Zentrum in Berlin, Germany, in several different geometrical configurations of the $^3$He proportional counters around the foil. Response linearity is successfully demonstrated for foil thicknesses ranging from 0.04 mm to 3.15 mm. Attenuation lower than 1% for thermal neutrons is demonstrated for the 0.04 mm and 0.125 mm foils. The geometries used for the experiment were simulated allowing for absolute flux calibration and establishing the possible range of efficiencies for various designs of the prototype. The operational flux limits for the beam monitor prototype were established as a dependency of the background radiation and prototype geometry. The herein demonstrated prototype monitors can be employed for neutron fluxes ranging from $10^3-10^{10}$ n/s/cm$^2$.


title: The edge colorings of $K_{5}$-minor free graphs

abstract: In 1965, Vizing proved that every planar graph $G$ with maximum degree $\Delta\geq 8$ is edge $\Delta$-colorable. It is also proved that every planar graph $G$ with maximum degree $\Delta=7$ is edge $\Delta$-colorable by Sanders and Zhao, independently by Zhang. In this paper, we extend the above results by showing that every $K_5$-minor free graph with maximum degree $\Delta$ at least seven is edge $\Delta$-colorable.


title: Revisiting EXTRA for Smooth Distributed Optimization

abstract: EXTRA is a popular method for dencentralized distributed optimization and has broad applications. This paper revisits EXTRA. First, we give a sharp complexity analysis for EXTRA with the improved $O\left(\left(\frac{L}{\mu}+\frac{1}{1-\sigma_2(W)}\right)\log\frac{1}{\epsilon(1-\sigma_2(W))}\right)$ communication and computation complexities for $\mu$-strongly convex and $L$-smooth problems, where $\sigma_2(W)$ is the second largest singular value of the weight matrix $W$. When the strong convexity is absent, we prove the $O\left(\left(\frac{L}{\epsilon}+\frac{1}{1-\sigma_2(W)}\right)\log\frac{1}{1-\sigma_2(W)}\right)$ complexities. Then, we use the Catalyst framework to accelerate EXTRA and obtain the $O\left(\sqrt{\frac{L}{\mu(1-\sigma_2(W))}}\log\frac{ L}{\mu(1-\sigma_2(W))}\log\frac{1}{\epsilon}\right)$ communication and computation complexities for strongly convex and smooth problems and the $O\left(\sqrt{\frac{L}{\epsilon(1-\sigma_2(W))}}\log\frac{1}{\epsilon(1-\sigma_2(W))}\right)$ complexities for non-strongly convex ones. Our communication complexities of the accelerated EXTRA are only worse by the factors of $\left(\log\frac{L}{\mu(1-\sigma_2(W))}\right)$ and $\left(\log\frac{1}{\epsilon(1-\sigma_2(W))}\right)$ from the lower complexity bounds for strongly convex and non-strongly convex problems, respectively.


title: SMOKE: Single-Stage Monocular 3D Object Detection via Keypoint Estimation

abstract: Estimating 3D orientation and translation of objects is essential for infrastructure-less autonomous navigation and driving. In case of monocular vision, successful methods have been mainly based on two ingredients: (i) a network generating 2D region proposals, (ii) a R-CNN structure predicting 3D object pose by utilizing the acquired regions of interest. We argue that the 2D detection network is redundant and introduces non-negligible noise for 3D detection. Hence, we propose a novel 3D object detection method, named SMOKE, in this paper that predicts a 3D bounding box for each detected object by combining a single keypoint estimate with regressed 3D variables. As a second contribution, we propose a multi-step disentangling approach for constructing the 3D bounding box, which significantly improves both training convergence and detection accuracy. In contrast to previous 3D detection techniques, our method does not require complicated pre/post-processing, extra data, and a refinement stage. Despite of its structural simplicity, our proposed SMOKE network outperforms all existing monocular 3D detection methods on the KITTI dataset, giving the best state-of-the-art result on both 3D object detection and Bird's eye view evaluation. The code will be made publicly available.


title: Intelligent Reflecting Surface: Practical Phase Shift Model and Beamforming Optimization

abstract: Intelligent reflecting surface (IRS) that enables the control of wireless propagation environment has recently emerged as a promising cost-effective technology for boosting the spectrum and energy efficiency in future wireless communication systems. Prior works on IRS are mainly based on the ideal phase shift model assuming the full signal reflection by each of the elements regardless of its phase shift, which, however, is practically difficult to realize. In contrast, we propose in this paper the practical phase shift model that captures the phase-dependent amplitude variation in the element-wise reflection coefficient. Based on the proposed model and considering an IRS-aided multiuser system with an IRS deployed to assist in the downlink communications from a multi-antenna access point (AP) to multiple single-antenna users, we formulate an optimization problem to minimize the total transmit power at the AP by jointly designing the AP transmit beamforming and the IRS reflect beamforming, subject to the users' individual signal-to-interference-plus-noise ratio (SINR) constraints. Iterative algorithms are proposed to find suboptimal solutions to this problem efficiently by utilizing the alternating optimization (AO) or penalty-based optimization technique. Moreover, we analyze the asymptotic performance loss of the IRS-aided system that employs practical phase shifters but assumes the ideal phase shift model for beamforming optimization, as the number of IRS elements goes to infinity. Simulation results unveil substantial performance gains achieved by the proposed beamforming optimization based on the practical phase shift model as compared to the conventional ideal model.


title: Alternating the Population and Control Neural Networks to Solve High-Dimensional Stochastic Mean-Field Games

abstract: We present APAC-Net, an alternating population and agent control neural network for solving stochastic mean field games (MFGs). Our algorithm is geared toward high-dimensional instances of MFGs that are beyond reach with existing solution methods. We achieve this in two steps. First, we take advantage of the underlying variational primal-dual structure that MFGs exhibit and phrase it as a convex-concave saddle point problem. Second, we parameterize the value and density functions by two neural networks, respectively. By phrasing the problem in this manner, solving the MFG can be interpreted as a special case of training a generative adversarial network (GAN). We show the potential of our method on up to 100-dimensional MFG problems.


title: Ground State Energy of Hydrogen-Like Ions in Quantum Plasmas

abstract: Using the asymptotic iteration method (AIM) we investigate the variation in the 1s energy levels of hydrogen and helium-like static ions in fully degenerate electron gas. The semiclassical Thomas-Fermi (TF), Shukla-Eliasson (SE) and corrected Shukla-Eliasson (cSE) models are compared. It is remarked that these models merge into the vacuum level for hydrogen and helium-like ions in the dilute classical electron gas regime. While in the TF model hydrogen ground state level lifts monotonically towards the continuum limit with increase in the electron concentration, in the SE and cSE models universal bound stabilization valley through the energy minimization occurs at a particular electron concentration range for the hydrogen-like ion which for cSE model closely matches the electron concentrations in typical metals. The later stabilizing mechanism appears to be due to the interaction between plasmon excitations and the Fermi lengthscales in metallic density regime. In the case of helium-like ions, however, no such stability mechanism is found. The application of cSE model with electron exchange and correlation effects reveals that cSE model qualitatively accounts for the number-density and lattice parameters of elemental metals within the framework of free electron assumption. According to the cSE model of static charge screening a simple metal-insulator transition criterion is defined. Current investigation may further elucidate the underlying physical mechanisms in the formation and dielectric properties of metallic compounds.


title: Three-dimensional core-collapse supernova simulations of massive and rotating progenitors

abstract: We present three-dimensional simulations of the core-collapse of massive rotating and non-rotating progenitors performed with the general relativistic neutrino hydrodynamics code CoCoNuT-FMT and analyse their explosion properties and gravitational-wave signals. The progenitor models include Wolf-Rayet stars with initial helium star masses of $39\,M_{\odot}$ and $20\,M_{\odot}$, and an $18\,M_{\odot}$ red supergiant. The $39\,M_{\odot}$ model is a rapid rotator, whereas the two other progenitors are non-rotating. Both Wolf-Rayet models produce healthy neutrino-driven explosions, whereas the red supergiant model fails to explode. By the end of the simulations, the explosion energies have already reached $1.1\times 10^{51}\,\mathrm{erg}$ and $0.6\times 10^{51}\,\mathrm{erg}$ for the $39\,M_{\odot}$ and $20\,M_{\odot}$ model, respectively. The explosions produce neutron stars of relatively high mass, but with modest kicks. Due to the alignment of the bipolar explosion geometry with the rotation axis, there is a relatively small misalignment of $30^\circ$ between the spin and the kick in the $39\,M_{\odot}$ model. In terms of gravitational-wave signals, the massive and rapidly rotating $39\,M_{\odot}$ progenitor stands out by large gravitational-wave amplitudes that would make it detectable out to almost 2 Mpc by the Einstein Telescope. For this model, we find that rotation significantly changes the dependence of the characteristic gravitational-wave frequency of the f-mode on the proto-neutron star parameters compared to the non-rotating case. The other two progenitors have considerably smaller detection distances, despite significant low-frequency emission in the most sensitive frequency band of current gravitational-wave detectors due to the standing accretion shock instability in the $18\,M_{\odot}$ model.


title: A Hybrid Approach to Dependency Parsing: Combining Rules and Morphology with Deep Learning

abstract: Fully data-driven, deep learning-based models are usually designed as language-independent and have been shown to be successful for many natural language processing tasks. However, when the studied language is low-resourced and the amount of training data is insufficient, these models can benefit from the integration of natural language grammar-based information. We propose two approaches to dependency parsing especially for languages with restricted amount of training data. Our first approach combines a state-of-the-art deep learning-based parser with a rule-based approach and the second one incorporates morphological information into the parser. In the rule-based approach, the parsing decisions made by the rules are encoded and concatenated with the vector representations of the input words as additional information to the deep network. The morphology-based approach proposes different methods to include the morphological structure of words into the parser network. Experiments are conducted on the IMST-UD Treebank and the results suggest that integration of explicit knowledge about the target language to a neural parser through a rule-based parsing system and morphological analysis leads to more accurate annotations and hence, increases the parsing performance in terms of attachment scores. The proposed methods are developed for Turkish, but can be adapted to other languages as well.


title: On Dimensions, Standard Part Maps, and $p$-Adically Closed Fields

abstract: The aim of this paper is to study the dimensions and standard part maps between the field of $p$-adic numbers ${{\mathbb Q}_p}$ and its elementary extension $K$ in the language of rings $L_r$. We show that for any $K$-definable set $X\subseteq K^m$, $\text{dim}_K(X)\geq \text{dim}_{{\mathbb Q}_p}(X\cap {{\mathbb Q}_p}^m)$. Let $V\subseteq K$ be convex hull of $K$ over ${{\mathbb Q}_p}$, and $\text{\st}: V\rightarrow {{\mathbb Q}_p}$ be the standard part map. We show that for any $K$-definable function $f:K^m\rightarrow K$, there is definable subset $D\subseteq{{\mathbb Q}_p}^m$ such that ${{\mathbb Q}_p}^m\backslash D$ has no interior, and for all $x\in D$, either $f(x)\in V$ and $\text{st}(f(\text{st}^{-1}(x)))$ is constant, or $f(\text{st}^{-1}(x))\cap V=\emptyset$. We also prove that $\text{dim}_K(X)\geq \text{dim}_{{\mathbb Q}_p}(\text{st}(X\cap V^m))$ for every definable $X\subseteq K^m$.


title: Being Bayesian, Even Just a Bit, Fixes Overconfidence in ReLU Networks

abstract: The point estimates of ReLU classification networks---arguably the most widely used neural network architecture---have been shown to yield arbitrarily high confidence far away from the training data. This architecture, in conjunction with a maximum a posteriori estimation scheme, is thus not calibrated nor robust. Approximate Bayesian inference has been empirically demonstrated to improve predictive uncertainty in neural networks, although the theoretical analysis of such Bayesian approximations is limited. We theoretically analyze approximate Gaussian distributions on the weights of ReLU networks and show that they fix the overconfidence problem. Furthermore, we show that even a simplistic, thus cheap, Bayesian approximation, also fixes these issues. This indicates that a sufficient condition for a calibrated uncertainty on a ReLU network is "to be a bit Bayesian". These theoretical results validate the usage of last-layer Bayesian approximation and motivate a range of a fidelity-cost trade-off. We further validate these findings empirically via various standard experiments using common deep ReLU networks and Laplace approximations.


title: DeepSign: Deep On-Line Signature Verification

abstract: Deep learning has become a breathtaking technology in the last years, overcoming traditional handcrafted approaches and even humans for many different tasks. However, in some tasks, such as the verification of handwritten signatures, the amount of publicly available data is scarce, what makes difficult to test the real limits of deep learning. In addition to the lack of public data, it is not easy to evaluate the improvements of novel proposed approaches as different databases and experimental protocols are usually considered. The main contributions of this study are: i) we provide an in-depth analysis of state-of-the-art deep learning approaches for on-line signature verification, ii) we present and describe the new DeepSignDB on-line handwritten signature biometric public database, iii) we propose a standard experimental protocol and benchmark to be used for the research community in order to perform a fair comparison of novel approaches with the state of the art, and iv) we adapt and evaluate our recent deep learning approach named Time-Aligned Recurrent Neural Networks (TA-RNNs) for the task of on-line handwritten signature verification. This approach combines the potential of Dynamic Time Warping and Recurrent Neural Networks to train more robust systems against forgeries. Our proposed TA-RNN system outperforms the state of the art, achieving results even below 2.0% EER when considering skilled forgery impostors and just one training signature per user.


title: Semantic Flow for Fast and Accurate Scene Parsing

abstract: In this paper, we focus on designing effective method for fast and accurate scene parsing. A common practice to improve the performance is to attain high resolution feature maps with strong semantic representation. Two strategies are widely used -- atrous convolutions and feature pyramid fusion, are either computation intensive or ineffective. Inspired by the Optical Flow for motion alignment between adjacent video frames, we propose a Flow Alignment Module (FAM) to learn Semantic Flow between feature maps of adjacent levels, and broadcast high-level features to high resolution features effectively and efficiently. Furthermore, integrating our module to a common feature pyramid structure exhibits superior performance over other real-time methods even on light-weight backbone networks, such as ResNet-18. Extensive experiments are conducted on several challenging datasets, including Cityscapes, PASCAL Context, ADE20K and CamVid. Especially, our network is the first to achieve 80.4\% mIoU on Cityscapes with a frame rate of 26 FPS. The code is available at \url{https://github.com/lxtGH/SFSegNets}.


title: The Unreasonable Effectiveness of Greedy Algorithms in Multi-Armed Bandit with Many Arms

abstract: We investigate a Bayesian $k$-armed bandit problem in the \emph{many-armed} regime, where $k \geq \sqrt{T}$ and $T$ represents the time horizon. Initially, and aligned with recent literature on many-armed bandit problems, we observe that subsampling plays a key role in designing optimal algorithms; the conventional UCB algorithm is sub-optimal, whereas a subsampled UCB (SS-UCB), which selects $\Theta(\sqrt{T})$ arms for execution under the UCB framework, achieves rate-optimality. However, despite SS-UCB's theoretical promise of optimal regret, it empirically underperforms compared to a greedy algorithm that consistently chooses the empirically best arm. This observation extends to contextual settings through simulations with real-world data. Our findings suggest a new form of \emph{free exploration} beneficial to greedy algorithms in the many-armed context, fundamentally linked to a tail event concerning the prior distribution of arm rewards. This finding diverges from the notion of free exploration, which relates to covariate variation, as recently discussed in contextual bandit literature. Expanding upon these insights, we establish that the subsampled greedy approach not only achieves rate-optimality for Bernoulli bandits within the many-armed regime but also attains sublinear regret across broader distributions. Collectively, our research indicates that in the many-armed regime, practitioners might find greater value in adopting greedy algorithms.


title: Poisson equation and discrete one-sided Hilbert transform for $(C,\alpha)$-bounded operators

abstract: We characterize the solutions of the Poisson equation and the domain of its associated one-sided Hilbert transform for Ces\`aro bounded operators of fractional order. The results obtained fairly generalize the corresponding ones for power-bounded operators. In passing, we give an extension of the mean ergodic theorem. Examples are given to illustrate the theory.


title: Fusion of Camera Model and Source Device Specific Forensic Methods for Improved Tamper Detection

abstract: PRNU based camera recognition method is widely studied in the image forensic literature. In recent years, CNN based camera model recognition methods have been developed. These two methods also provide solutions to tamper localization problem. In this paper, we propose their combination via a Neural Network to achieve better small-scale tamper detection performance. According to the results, the fusion method performs better than underlying methods even under high JPEG compression. For forgeries as small as 100$\times$100 pixel size, the proposed method outperforms the state-of-the-art, which validates the usefulness of fusion for localization of small-size image forgeries. We believe the proposed approach is feasible for any tamper-detection pipeline using the PRNU based methodology.


title: Reformulation of the M-stationarity conditions as a system of discontinuous equations and its solution by a semismooth Newton method

abstract: We show that the Mordukhovich-stationarity system associated with a mathematical program with complementarity constraints (MPCC) can be equivalently written as a system of discontinuous equations which can be tackled with a semismooth Newton method. We show that the resulting algorithm can be interpreted as an active set strategy for MPCCs. Local fast convergence of the method is guaranteed under validity of an MPCC-tailored version of LICQ and a suitable second-order condition. In case of linear-quadratic MPCCs, the LICQ-type constraint qualification can be replaced by a weaker condition which depends on the underlying multipliers. We discuss a suitable globalization strategy for our method. Some numerical results are presented in order to illustrate our theoretical findings.


title: Cosmogenic neutrino fluxes under the effect of active-sterile secret interactions

abstract: Ultra High Energy cosmogenic neutrinos may represent a unique opportunity to unveil possible new physics interactions once restricted to the neutrino sector only. In the present paper we study the observable effects of a secret active-sterile interactions, mediated by a pseudoscalar, on the expected flux of cosmogenic neutrinos. The results show that for masses of sterile neutrinos and pseudoscalars of hundreds MeV, necessary to evade cosmological, astrophysical and elementary particle constraints, the presence of such new interactions can significantly change the energy spectrum of cosmogenic neutrinos at Earth in the energy range from PeV to ZeV. Interestingly, the distortion of the spectrum results to be detectable at GRAND apparatus if the scalar mediator mass is around 250 MeV and the UHECRs are dominated by the proton component. Larger mediator masses or a chemical composition of UHECRs dominated by heavier nuclei would require much larger cosmic rays apparatus which might be available in future.


title: Safe reinforcement learning for probabilistic reachability and safety specifications: A Lyapunov-based approach

abstract: Emerging applications in robotics and autonomous systems, such as autonomous driving and robotic surgery, often involve critical safety constraints that must be satisfied even when information about system models is limited. In this regard, we propose a model-free safety specification method that learns the maximal probability of safe operation by carefully combining probabilistic reachability analysis and safe reinforcement learning (RL). Our approach constructs a Lyapunov function with respect to a safe policy to restrain each policy improvement stage. As a result, it yields a sequence of safe policies that determine the range of safe operation, called the safe set, which monotonically expands and gradually converges. We also develop an efficient safe exploration scheme that accelerates the process of identifying the safety of unexamined states. Exploiting the Lyapunov shielding, our method regulates the exploratory policy to avoid dangerous states with high confidence. To handle high-dimensional systems, we further extend our approach to deep RL by introducing a Lagrangian relaxation technique to establish a tractable actor-critic algorithm. The empirical performance of our method is demonstrated through continuous control benchmark problems, such as a reaching task on a planar robot arm.


title: FONDUE: A Framework for Node Disambiguation Using Network Embeddings

abstract: Real-world data often presents itself in the form of a network. Examples include social networks, citation networks, biological networks, and knowledge graphs. In their simplest form, networks represent real-life entities (e.g. people, papers, proteins, concepts) as nodes, and describe them in terms of their relations with other entities by means of edges between these nodes. This can be valuable for a range of purposes from the study of information diffusion to bibliographic analysis, bioinformatics research, and question-answering. The quality of networks is often problematic though, affecting downstream tasks. This paper focuses on the common problem where a node in the network in fact corresponds to multiple real-life entities. In particular, we introduce FONDUE, an algorithm based on network embedding for node disambiguation. Given a network, FONDUE identifies nodes that correspond to multiple entities, for subsequent splitting. Extensive experiments on twelve benchmark datasets demonstrate that FONDUE is substantially and uniformly more accurate for ambiguous node identification compared to the existing state-of-the-art, at a comparable computational cost, while less optimal for determining the best way to split ambiguous nodes.


title: Poisson Approximation and Connectivity in a Scale-free Random Connection Model

abstract: We study an inhomogeneous random connection model in the connectivity regime. The vertex set of the graph is a homogeneous Poisson point process $\mathcal{P}_s$ of intensity $s>0$ on the unit cube $S=\left(-\frac{1}{2},\frac{1}{2}\right]^{d},$ $d \geq 2$ . Each vertex is endowed with an independent random weight distributed as $W$, where $P(W>w)=w^{-\beta}1_{[1,\infty)}(w)$, $\beta>0$. Given the vertex set and the weights an edge exists between $x,y\in \mathcal{P}_s$ with probability $\left(1 - \exp\left( - \frac{\eta W_xW_y}{\left(d(x,y)/r\right)^{\alpha}} \right)\right),$ independent of everything else, where $\eta, \alpha > 0$, $d(\cdot, \cdot)$ is the toroidal metric on $S$ and $r > 0$ is a scaling parameter. We derive conditions on $\alpha, \beta$ such that under the scaling $r_s(\xi)^d= \frac{1}{c_0 s} \left( \log s +(k-1) \log\log s +\xi+\log\left(\frac{\alpha\beta}{k!d} \right)\right),$ $\xi \in \mathbb{R}$, the number of vertices of degree $k$ converges in total variation distance to a Poisson random variable with mean $e^{-\xi}$ as $s \to \infty$, where $c_0$ is an explicitly specified constant that depends on $\alpha, \beta, d$ and $\eta$ but not on $k$. In particular, for $k=0$ we obtain the regime in which the number of isolated nodes stabilizes, a precursor to establishing a threshold for connectivity. We also derive a sufficient condition for the graph to be connected with high probability for large $s$. The Poisson approximation result is derived using the Stein's method.


title: Approximation in measure: Dirichlet problem, universality and the Riemann hypothesis

abstract: Approximation in measure is employed to solve an asymptotic Dirichlet problem on arbitrary open sets and to show that many functions, including the Riemann zeta-function, are universal in measure. Connections with the Riemann Hypothesis are suggested.


title: Periodic culling outperforms isolation and vaccination strategies in controlling Influenza A H5N6 outbreaks in the Philippines

abstract: Highly Pathogenic Avian Influenza A H5N6 is a mutated virus of Influenza A H5N1 and a new emerging infection that recently caused an outbreak in the Philippines. The 2017 H5N6 outbreak resulted in a depopulation of 667,184 domestic birds. In this study, we incorporate half-saturated incidence in our mathematical models and investigate three intervention strategies against H5N6: isolation with treatment, vaccination and modified culling. We determine the direction of the bifurcation when $\mathcal{R}_0 = 1$ and show that all the models exhibit forward bifurcation. We administer optimal control and perform numerical simulations to compare the consequences and implementation cost of utilizing different intervention strategies in the poultry population. Despite the challenges of applying each control strategy, we show that culling both infected and susceptible birds is a better control strategy in prohibiting an outbreak and avoiding further recurrence of the infection from the population compared to confinement and vaccination.


title: Modeling Aggression Propagation on Social Media

abstract: Cyberaggression has been studied in various contexts and online social platforms, and modeled on different data using state-of-the-art machine and deep learning algorithms to enable automatic detection and blocking of this behavior. Users can be influenced to act aggressively or even bully others because of elevated toxicity and aggression in their own (online) social circle. In effect, this behavior can propagate from one user and neighborhood to another, and therefore, spread in the network. Interestingly, to our knowledge, no work has modeled the network dynamics of aggressive behavior. In this paper, we take a first step towards this direction by studying propagation of aggression on social media using opinion dynamics. We propose ways to model how aggression may propagate from one user to another, depending on how each user is connected to other aggressive or regular users. Through extensive simulations on Twitter data, we study how aggressive behavior could propagate in the network. We validate our models with crawled and annotated ground truth data, reaching up to 80% AUC, and discuss the results and implications of our work.


title: Noncollinear magnetic structure in U2Pd2In at high magnetic fields

abstract: We report an unexpected magnetic-field-driven magnetic structure in the 5f-electron Shastry- Sutherland system U2Pd2In. This phase develops at low temperatures from a noncollinear antiferromagnetic ground state above the critical field of 25.8 T applied along the a-axis. All U moments have a net magnetic moment in the direction of the applied field, described by a ferromagnetic propagation vector qF = (0 0 0) and an antiferromagnetic component described by a propagation vector qAF = (0 0.30 1/2 ) due to a modulation in the direction perpendicular to the applied field. We conclude that this surprising noncollinear magnetic structure is due to a competition between the single-ion anisotropy trying to keep moments, similar to the ground state, along the [110]-type directions, Dzyaloshinskii-Moryia interaction forcing them to be perpendicular to each other and application of the external magnetic field attempting to align them along the field direction.


title: Non-isothermal Scharfetter-Gummel scheme for electro-thermal transport simulation in degenerate semiconductors

abstract: Electro-thermal transport phenomena in semiconductors are described by the non-isothermal drift-diffusion system. The equations take a remarkably simple form when assuming the Kelvin formula for the thermopower. We present a novel, non-isothermal generalization of the Scharfetter-Gummel finite volume discretization for degenerate semiconductors obeying Fermi-Dirac statistics, which preserves numerous structural properties of the continuous model on the discrete level. The approach is demonstrated by 2D simulations of a heterojunction bipolar transistor.

categories: physics.comp-ph cond-mat.other cs.NA math.NA physics.app-ph


title: P_k and C_k structure and substructure connectivity of hypercubes

abstract: Hypercube is one of the most important networks to interconnect processors in multiprocessor computer systems. Different kinds of connectivities are important parameters to measure the fault tolerability of networks. Lin et al.\cite{LinStructure} introduced the concept of $H$-structure connectivity $\kappa(Q_n;H)$ (resp. $H$-substructure connectivity $\kappa^s(Q_n;H)$) as the minimum cardinality of $F=\{H_1,\dots,H_m\}$ such that $H_i (i=1,\dots,m)$ is isomorphic to $H$ (resp. $F=\{H'_1,\dots,H'_m\}$ such that $H'_i (i=1,\dots,m)$ is isomorphic to connected subgraphs of $H$) such that $Q_n-V(F)$ is disconnected or trivial. In this paper, we discuss $\kappa(Q_n;H)$ and $\kappa^s(Q_n;H)$ for hypercubes $Q_n$ with $n\geq 3$ and $H\in \{P_k,C_k|3\leq k\leq 2^{n-1}\}$. As a by-product, we solve the problem mentioned in \cite{ManeStructure}.


title: Modelling volatile time series with v-transforms and copulas

abstract: An approach to the modelling of volatile time series using a class of uniformity-preserving transforms for uniform random variables is proposed. V-transforms describe the relationship between quantiles of the stationary distribution of the time series and quantiles of the distribution of a predictable volatility proxy variable. They can be represented as copulas and permit the formulation and estimation of models that combine arbitrary marginal distributions with copula processes for the dynamics of the volatility proxy. The idea is illustrated using a Gaussian ARMA copula process and the resulting model is shown to replicate many of the stylized facts of financial return series and to facilitate the calculation of marginal and conditional characteristics of the model including quantile measures of risk. Estimation is carried out by adapting the exact maximum likelihood approach to the estimation of ARMA processes and the model is shown to be competitive with standard GARCH in an empirical application to Bitcoin return data.


title: GLRT-based Detection in Bistatic Sonar under Strong Direct Blast with Multipath Propagation

abstract: Direct blast is a strong interference in bistatic sonar and difficult to suppress due to multipath propagation for blasts and signals. A generalized likelihood ratio test (GLRT) based detection scheme in the frequency domain of the received signals is proposed in this study, and the unknown parameters are estimated using Maximum Likelihood Estimates and Weighted Fourier Transform and Relaxation in a multipath environment. The distributions of the test statistic of detectors for known and unknown noise power are given in theory, and the detection probability is determined. The performance of the detector decreases by 4 dB when the noise power is evaluated with maximum likelihood estimates. Simulations show the effectiveness of the detector under a forward scattering detection configuration with a low signal-to-direct blast ratio. The sensitivity of many factors is discussed, and robustness is achieved.


title: Audio-driven Talking Face Video Generation with Learning-based Personalized Head Pose

abstract: Real-world talking faces often accompany with natural head movement. However, most existing talking face video generation methods only consider facial animation with fixed head pose. In this paper, we address this problem by proposing a deep neural network model that takes an audio signal A of a source person and a very short video V of a target person as input, and outputs a synthesized high-quality talking face video with personalized head pose (making use of the visual information in V), expression and lip synchronization (by considering both A and V). The most challenging issue in our work is that natural poses often cause in-plane and out-of-plane head rotations, which makes synthesized talking face video far from realistic. To address this challenge, we reconstruct 3D face animation and re-render it into synthesized frames. To fine tune these frames into realistic ones with smooth background transition, we propose a novel memory-augmented GAN module. By first training a general mapping based on a publicly available dataset and fine-tuning the mapping using the input short video of target person, we develop an effective strategy that only requires a small number of frames (about 300 frames) to learn personalized talking behavior including head pose. Extensive experiments and two user studies show that our method can generate high-quality (i.e., personalized head movements, expressions and good lip synchronization) talking face videos, which are naturally looking with more distinguishing head movement effects than the state-of-the-art methods.


title: Universality of citation distributions and its explanation

abstract: Universality or near-universality of citation distributions was found empirically a decade ago but its theoretical justification has been lacking so far. Here, we systematically study citation distributions for different disciplines in order to characterize this putative universality and to understand it theoretically. Using our calibrated model of citation dynamics, we find microscopic explanation of the universality of citation distributions and explain deviations therefrom. We demonstrate that citation count of the paper is determined, on the one hand, by its fitness -- the attribute which, for most papers, is set at the moment of publication. The fitness distributions for different disciplines are very similar and can be approximated by the log-normal distribution. On another hand, citation dynamics of a paper is related to the mechanism by which the knowledge about it spreads in the scientific community. This viral propagation is non-universal and discipline-specific. Thus, universality of citation distributions traces its origin to the fitness distribution, while deviations from universality are associated with the discipline-specific citation dynamics of papers.


title: Some results on pure ideals and trace ideals of projective modules

abstract: Let $R$ be a commutative ring with the unit element. It is shown that an ideal $I$ in $R$ is pure if and only if Ann$(f)+I=R$ for all $f\in I$. If $J$ is the trace of a projective $R$-module $M$, we prove that $J$ is generated by the ``coordinates" of $M$ and $JM = M$. These lead to a few new results and alternative proofs for some known results.


title: Continuity of Chen-Fliess Series for Applications in System Identification and Machine Learning

abstract: Model continuity plays an important role in applications like system identification, adaptive control, and machine learning. This paper provides sufficient conditions under which input-output systems represented by locally convergent Chen-Fliess series are jointly continuous with respect to their generating series and as operators mapping a ball in an $L_p$-space to a ball in an $L_q$-space, where $p$ and $q$ are conjugate exponents. The starting point is to introduce a class of topological vector spaces known as Silva spaces to frame the problem and then to employ the concept of a direct limit to describe convergence. The proof of the main continuity result combines elements of proofs for other forms of continuity appearing in the literature to produce the desired conclusion.


title: Power concavity for elliptic and parabolic boundary value problems on rotationally symmetric domains

abstract: We study power concavity of rotationally symmetric solutions to elliptic and parabolic boundary value problems on rotationally symmetric domains in Riemannian manifolds. As applications of our results to the hyperbolic space ${\bf H}^N$ we have: $\bullet$ The first Dirichlet eigenfunction on a ball in ${\bf H}^N$ is strictly positive power concave; $\bullet$ Let $\Gamma$ be the heat kernel on ${\bf H}^N$. Then $\Gamma(\cdot,y,t)$ is strictly log-concave on ${\bf H}^N$ for $y\in {\bf H}^N$ and $t>0$.


title: Explicit and Implicit Dynamic Coloring of Graphs with Bounded Arboricity

abstract: Graph coloring is a fundamental problem in computer science. We study the fully dynamic version of the problem in which the graph is undergoing edge insertions and deletions and we wish to maintain a vertex-coloring with small update time after each insertion and deletion. We show how to maintain an $O(\alpha \lg n)$-coloring with polylogarithmic update time, where $n$ is the number of vertices in the graph and $\alpha$ is the current arboricity of the graph. This improves upon a result by Solomon and Wein (ESA'18) who maintained an $O(\alpha_{\max}\lg^2 n)$-coloring, where $\alpha_{\max}$ is the maximum arboricity of the graph over all updates. Furthermore, motivated by a lower bound by Barba et al. (Algorithmica'19), we initiate the study of implicit dynamic colorings. Barba et al. showed that dynamic algorithms with polylogarithmic update time cannot maintain an $f(\alpha)$-coloring for any function $f$ when the vertex colors are stored explicitly, i.e., for each vertex the color is stored explicitly in the memory. Previously, all dynamic algorithms maintained explicit colorings. Therefore, we propose to study implicit colorings, i.e., the data structure only needs to offer an efficient query procedure to return the color of a vertex (instead of storing its color explicitly). We provide an algorithm which breaks the lower bound and maintains an implicit $2^{O(\alpha)}$-coloring with polylogarithmic update time. In particular, this yields the first dynamic $O(1)$-coloring for graphs with constant arboricity such as planar graphs or graphs with bounded tree-width, which is impossible using explicit colorings. We also show how to dynamically maintain a partition of the graph's edges into $O(\alpha)$ forests with polylogarithmic update time. We believe this data structure is of independent interest and might have more applications in the future.


title: Snitch: A tiny Pseudo Dual-Issue Processor for Area and Energy Efficient Execution of Floating-Point Intensive Workloads

abstract: Data-parallel applications, such as data analytics, machine learning, and scientific computing, are placing an ever-growing demand on floating-point operations per second on emerging systems. With increasing integration density, the quest for energy efficiency becomes the number one design concern. While dedicated accelerators provide high energy efficiency, they are over-specialized and hard to adjust to algorithmic changes. We propose an architectural concept that tackles the issues of achieving extreme energy efficiency while still maintaining high flexibility as a general-purpose compute engine. The key idea is to pair a tiny 10kGE control core, called Snitch, with a double-precision FPU to adjust the compute to control ratio. While traditionally minimizing non-FPU area and achieving high floating-point utilization has been a trade-off, with Snitch, we achieve them both, by enhancing the ISA with two minimally intrusive extensions: stream semantic registers (SSR) and a floating-point repetition instruction (FREP). SSRs allow the core to implicitly encode load/store instructions as register reads/writes, eliding many explicit memory instructions. The FREP extension decouples the floating-point and integer pipeline by sequencing instructions from a micro-loop buffer. These ISA extensions significantly reduce the pressure on the core and free it up for other tasks, making Snitch and FPU effectively dual-issue at a minimal incremental cost of 3.2%. The two low overhead ISA extensions make Snitch more flexible than a contemporary vector processor lane, achieving a $2\times$ energy-efficiency improvement. We have evaluated the proposed core and ISA extensions on an octa-core cluster in 22nm technology. We achieve more than $5\times$ multi-core speed-up and a $3.5\times$ gain in energy efficiency on several parallel microkernels.


title: Colloidal transport in bacteria suspensions: from bacteria scattering to anomalous and enhanced diffusion

abstract: Colloids coupled to a bath of swimming cells generically display enhanced diffusion. This transport dynamics stems from a subtle interplay between the active and passive particles that still resists our understanding despite decades of intense research. Here, we tackle the root of the problem by providing a quantitative characterisation of the single scattering events between a colloid and a bacterium. Based on our experiments, we build a minimal model that quantitatively predicts the geometry of the scattering trajectories, and enhanced colloidal diffusion at long times. This quantitative confrontation between theory and experiments elucidates the microscopic origin of enhanced transport. Collisions are solely ruled by stochastic contact interactions responsible both for genuine anomalous diffusion at short times and enhanced diffusion at long times with no ballistic regime at any scale.


title: Hardness of equations over finite solvable groups under the exponential time hypothesis

abstract: Goldmann and Russell (2002) initiated the study of the complexity of the equation satisfiability problem in finite groups by showing that it is in P for nilpotent groups while it is NP-complete for non-solvable groups. Since then, several results have appeared showing that the problem can be solved in polynomial time in certain solvable groups of Fitting length two. In this work, we present the first lower bounds for the equation satisfiability problem in finite solvable groups: under the assumption of the exponential time hypothesis, we show that it cannot be in P for any group of Fitting length at least four and for certain groups of Fitting length three. Moreover, the same hardness result applies to the equation identity problem.


title: Spectrum and energy of non-commuting graphs of finite groups

abstract: Let $G$ be a finite non-abelian group and ${\Gamma}_{nc}(G)$ be its non-commuting graph. In this paper, we compute spectrum and energy of ${\Gamma}_{nc}(G)$ for certain classes of finite groups. As a consequence of our results we construct infinite families of integral complete $r$-partite graphs. We compare energy and Laplacian energy (denoted by $E({\Gamma}_{nc}(G))$ and $LE({\Gamma}_{nc}(G))$ respectively) of ${\Gamma}_{nc}(G)$ and conclude that $E({\Gamma}_{nc}(G)) \leq LE({\Gamma}_{nc}(G))$ for those groups except for some non-abelian groups of order $pq$. This shows that the conjecture posed in [Gutman, I., Abreu, N. M. M., Vinagre, C. T.M., Bonifacioa, A. S and Radenkovic, S. Relation between energy and Laplacian energy, MATCH Commun. Math. Comput. Chem., 59: 343--354, (2008)] does not hold for non-commuting graphs of certain finite groups, which also produces new families of counter examples to the above mentioned conjecture.


title: Constraining Conformal Theories in Large Dimensions

abstract: In this paper, we analyze the constraints imposed by unitarity and crossing symmetry on conformal theories in large dimensions. In particular, we show that in a unitary conformal theory in large dimension $D$, the four-point function of identical scalar operators $\phi$ with scaling dimension $\Delta_\phi$ such that $\Delta_\phi/D<3/4$, is necessarily that of the generalized free field theory. This result follows only from crossing symmetry and unitarity. In particular, we do not impose the existence of a conserved spin two operator (stress tensor). We also present an argument to extend the applicability of this result to a larger range of conformal dimensions, namely to $\Delta_\phi/D<1$. This extension requires some reasonable assumptions about the spectrum of light operators. Together, these results suggest that if there is a non-trivial conformal theory in large dimensions, not necessarily having a stress tensor, then its relevant operators must be exponentially weakly coupled with the rest.


title: Embedded-physics machine learning for coarse-graining and collective variable discovery without data

abstract: We present a novel learning framework that consistently embeds underlying physics while bypassing a significant drawback of most modern, data-driven coarse-grained approaches in the context of molecular dynamics (MD), i.e., the availability of big data. The generation of a sufficiently large training dataset poses a computationally demanding task, while complete coverage of the atomistic configuration space is not guaranteed. As a result, the explorative capabilities of data-driven coarse-grained models are limited and may yield biased "predictive" tools. We propose a novel objective based on reverse Kullback-Leibler divergence that fully incorporates the available physics in the form of the atomistic force field. Rather than separating model learning from the data-generation procedure - the latter relies on simulating atomistic motions governed by force fields - we query the atomistic force field at sample configurations proposed by the predictive coarse-grained model. Thus, learning relies on the evaluation of the force field but does not require any MD simulation. The resulting generative coarse-grained model serves as an efficient surrogate model for predicting atomistic configurations and estimating relevant observables. Beyond obtaining a predictive coarse-grained model, we demonstrate that in the discovered lower-dimensional representation, the collective variables (CVs) are related to physicochemical properties, which are essential for gaining understanding of unexplored complex systems. We demonstrate the algorithmic advances in terms of predictive ability and the physical meaning of the revealed CVs for a bimodal potential energy function and the alanine dipeptide.

categories: cs.LG physics.chem-ph physics.comp-ph stat.ML


title: Cognitive Argumentation and the Suppression Task

abstract: This paper addresses the challenge of modeling human reasoning, within a new framework called Cognitive Argumentation. This framework rests on the assumption that human logical reasoning is inherently a process of dialectic argumentation and aims to develop a cognitive model for human reasoning that is computational and implementable. To give logical reasoning a human cognitive form the framework relies on cognitive principles, based on empirical and theoretical work in Cognitive Science, to suitably adapt a general and abstract framework of computational argumentation from AI. The approach of Cognitive Argumentation is evaluated with respect to Byrne's suppression task, where the aim is not only to capture the suppression effect between different groups of people but also to account for the variation of reasoning within each group. Two main cognitive principles are particularly important to capture human conditional reasoning that explain the participants' responses: (i) the interpretation of a condition within a conditional as sufficient and/or necessary and (ii) the mode of reasoning either as predictive or explanatory. We argue that Cognitive Argumentation provides a coherent and cognitively adequate model for human conditional reasoning that allows a natural distinction between definite and plausible conclusions, exhibiting the important characteristics of context-sensitive and defeasible reasoning.


title: Witten deformation and the spectral package of a Riemannian manifold

abstract: The Witten deformation associated to a Morse function on a closed Riemannian manifold, via Rellich-Kato theorem, relates analytically the spectral package of the Riemannian manifold (eigenvalues and eigenforms) to the Morse complex defined by the pair (Morse function, Riemannian metric) coupled with the "multivariable harmonic oscillators" associated to the critical points of the Morse function. We survey this relation and discuss some implications, including the finite subset of the spectral package referred to as the "virtually small spectral package" .


title: Vizing-Goldberg type bounds for the equitable chromatic number of block graphs

abstract: An equitable coloring of a graph $G$ is a proper vertex coloring of $G$ such that the sizes of any two color classes differ by at most one. In the paper, we pose a conjecture that offers a gap-one bound for the smallest number of colors needed to equitably color every block graph. In other words, the difference between the upper and the lower bounds of our conjecture is at most one. Thus, in some sense, the situation is similar to that of chromatic index, where we have the classical theorem of Vizing and the Goldberg conjecture for multigraphs. The results obtained in the paper support our conjecture. More precisely, we verify it in the class of well-covered block graphs, which are block graphs in which each vertex belongs to a maximum independent set. We also show that the conjecture is true for block graphs, which contain a vertex that does not lie in an independent set of size larger than two. Finally, we verify the conjecture for some symmetric-like block graphs. In order to derive our results we obtain structural characterizations of block graphs from these classes.


title: Real-time Kinematic Ground Truth for the Oxford RobotCar Dataset

abstract: We describe the release of reference data towards a challenging long-term localisation and mapping benchmark based on the large-scale Oxford RobotCar Dataset. The release includes 72 traversals of a route through Oxford, UK, gathered in all illumination, weather and traffic conditions, and is representative of the conditions an autonomous vehicle would be expected to operate reliably in. Using post-processed raw GPS, IMU, and static GNSS base station recordings, we have produced a globally-consistent centimetre-accurate ground truth for the entire year-long duration of the dataset. Coupled with a planned online benchmarking service, we hope to enable quantitative evaluation and comparison of different localisation and mapping approaches focusing on long-term autonomy for road vehicles in urban environments challenged by changing weather.


title: Last-mile Delivery: Optimal Locker Location Under Multinomial Logit Choice Model

abstract: One innovative solution to the last-mile delivery problem is the self-service locker system. Motivated by a real case in Singapore, we consider a POP-Locker Alliance who operates a set of POP-stations and wishes to improve the last-mile delivery by opening new locker facilities. We propose a quantitative approach to determine the optimal locker location with the objective to maximize the overall service provided by the alliance. Customer's choices regarding the use of facilities are explicitly considered. They are predicted by a multinomial logit model. We then formulate the location problem as a multi-ratio linear-fractional 0-1 program and provide two solution approaches. The first one is to reformulate the original problem as a mixed-integer linear program, which is further strengthened using conditional McCormick inequalities. This approach is an exact method, developed for small-scale problems. For large-scale problems, we propose a Suggest-and-Improve framework with two embedded algorithms. Numerical studies indicated that our framework is an efficient approach that yields high-quality solutions. Finally, we conducted a case study. The results highlighted the importance of considering the customers' choices. Under different parameter values of the multinomial logit model, the decisions could be completely different. Therefore, the parameter value should be carefully estimated in advance.


title: Adversarial training applied to Convolutional Neural Network for photometric redshift predictions

abstract: The use of Convolutional Neural Networks (CNN) to estimate the galaxy photometric redshift probability distribution by analysing the images in different wavelength bands has been developed in the recent years thanks to the rapid development of the Machine Learning (ML) ecosystem. Authors have set-up CNN architectures and studied their performances and some sources of systematics using standard methods of training and testing to ensure the generalisation power of their models. So far so good, but one piece was missing : does the model generalisation power is well measured? The present article shows clearly that very small image perturbations can fool the model completely and opens the Pandora's box of \textit{adversarial} attack. Among the different techniques and scenarios, we have chosen to use the Fast Sign Gradient one-step Method and its Projected Gradient Descent iterative extension as adversarial generator tool kit. However, as unlikely as it may seem these adversarial samples which fool not only a single model, reveal a weakness both of the model and the classical training. A revisited algorithm is shown and applied by injecting a fraction of adversarial samples during the training phase. Numerical experiments have been conducted using a specific CNN model for illustration although our study could be applied to other models - not only CNN ones - and in other contexts - not only redshift measurements - as it deals with the complexity of the boundary decision surface.


title: Non-Euclidean Newtonian Cosmology

abstract: We formulate and solve the problem of Newtonian cosmology under the assumption that the absolute space of Newton is non-Euclidean. In particular, we focus on the negatively-curved hyperbolic space, H3. We point out the inequivalence between the curvature term that arises in the Friedmann equation in Newtonian cosmology in Euclidean space and the role of curvature in the H3 space. We find the generalisation of the inverse-square law and the solutions of the Newtonian cosmology that follow from it. We find the generalisations of the Euclidean Michell 'black hole' in H3 and show that it leads to different maximum force and area results to those we have found in general relativity. We show how to add the counterpart of the cosmological constant to the gravitational potential in H3 and explore the solutions and asymptotes of the cosmological models that result. We also discuss the problems of introducing compact topologies in Newtonian cosmologies with non-negative spatial curvature.


title: Upper critical field in ferromagnetic metals with triplet pairing

abstract: The theory of triplet superconductivity in ferromagnetic metals based on electron-electron interaction by spin fluctuation exchange is developed. The equations for the upper critical field temperature dependence are derived. In contrast to the similar equations for the superconductivity in two band metals they contain the pairing amplitudes and the Fermi velocities depending on magnetic field. The critical field behaviour near the critical temperature and at T = 0 is established analytically.


title: Infinite-dimensional regularization of McKean-Vlasov equation with a Wasserstein diffusion

abstract: Much effort has been spent in recent years on restoring uniqueness of McKean-Vlasov SDEs with non-smooth coefficients. As a typical instance, the velocity field is assumed to be bounded and measurable in its space variable and Lipschitz-continuous with respect to the distance in total variation in its measure variable, see [Jourdain, Mishura-Veretennikov]. In contrast with those works, we consider in this paper a Fokker-Planck equation driven by an infinite-dimensional noise, inspired by the diffusion models on the Wasserstein space studied in [Konarovskyi, Marx]. We prove that well-posedness of that equation holds for a drift function that might be only bounded and measurable in its measure argument, provided that a trade-off is respected between the regularity in the finite-dimensional component and the regularity in the measure argument. In this regard, we show that the higher the regularity of b with respect to its space variable is, the lower regularity we have to assume on b with respect to its measure variable in order to restore uniqueness.


title: Robot Perception of Static and Dynamic Objects with an Autonomous Floor Scrubber

abstract: This paper presents the perception system of a new professional cleaning robot for large public places. The proposed system is based on multiple sensors including 3D and 2D lidar, two RGB-D cameras and a stereo camera. The two lidars together with an RGB-D camera are used for dynamic object (human) detection and tracking, while the second RGB-D and stereo camera are used for detection of static objects (dirt and ground objects). A learning and reasoning module for spatial-temporal representation of the environment based on the perception pipeline is also introduced. Furthermore, a new dataset collected with the robot in several public places, including a supermarket, a warehouse and an airport, is released. Baseline results on this dataset for further research and comparison are provided. The proposed system has been fully implemented into the Robot Operating System (ROS) with high modularity, also publicly available to the community.


title: Adaptive Transmit Waveform Design using Multi-Tone Sinusoidal Frequency Modulation

abstract: This paper presents an adaptive waveform design method using Multi-Tone Sinusoidal Frequency Modulation (MTSFM). The MTSFM waveform's modulation function is represented as a finite Fourier series expansion. The Fourier coefficients are utilized as a discrete set of design parameters that may be modified to adapt the waveform's properties. The MTSFM's design parameters are adjusted to shape the spectrum, Auto-Correlation Function (ACF), and Ambiguity Function (AF) shapes of the waveform. The MTSFM waveform model naturally possesses the constant envelope and spectrally compact waveforms that make it well suited for transmission on practical radar/sonar transmitters which utilize high power amplifiers. The MTSFM has an exact mathematical definition for its time-series using Generalized Bessel Functions which allow for deriving closed-form analytical expressions for its spectrum, AF, and ACF. These expressions allow for establishing well-defined optimization problems that finely tune the MTSFM's properties. This adaptive waveform design model is demonstrated by optimizing MTSFM waveforms that initially possess a "thumbtack-like" AF shape. The resulting optimized designs possess substantially improved sidelobe levels over specified regions in the range-Doppler plane without increasing the Time-Bandwidth Product (TBP) that the initialized waveforms possessed. Simulations additionally demonstrate that the optimized thumbtack-like MTSFM waveforms are competitive with thumbtack-like phase-coded waveforms derived from design algorithms available in the published literature.


title: Uncited papers are not unread

abstract: We study citation dynamics of the Physics, Economics, and Mathematics papers published in 1984 and focus on the fraction of uncited papers in these three collections. Our model of citation dynamics, which considers citation process as an inhomogeneous Poisson process, captures this uncitedness ratio fairly well. It should be noted that all parameters and variables in our model are related to citations and their dynamics, while uncited papers appear as a byproduct of the citation process and this is the Poisson statistics which makes the cited and uncited papers inseparable. This indicates that the most part of uncited papers constitute the inherent part of the scientific enterprise, namely, uncited papers are not unread.


title: Non singular, bouncing M theory universe

abstract: We propose a set of equations as a simple model for non singular evolutions of a $10 + 1$ dimensional M theory universe. Our model uses ideas from Loop Quantum Cosmology and offers a solution to the important problem of singularity resolutions. We solve the equations numerically and find that an M theory universe in this model evolves non singularly and with a bounce : going back in time, its density reaches a maximum and decreases thereafter whereas its physical size reaches a non vanishing minimum and increases thereafter. Taking the constituents of the universe to be the most entropic ones (which are four sets of intersecting M branes) leads to an effectively $3 + 1$ dimensional spacetime as the M theory universe expands, both in the infinite past and future.


title: Multivariate q-Polya and inverse q-Polya distributions

abstract: An urn containing specified numbers of balls of distinct ordered colors is considered. A multiple q-Polya urn model is introduced by assuming that the probability of q-drawing a ball of a specific color from the urn varies geometrically, with rate q, both with the number of drawings and the number of balls of the specific color, together with the total number of balls of the preceded colors, drawn in the previous q-drawings. Then, the joint distributions of the numbers of balls of distinct colors drawn (a) in a specific number of q-drawings and (b) until the occurrence of a specific number of balls of a certain color, are derived. These two distributions turned out to be q-analogues of the multivariate Polya and inverse Polya distributions, respectively. Also, the limiting distributions of the multivariate q-Polya and inverse q-Polya distributions, as the initial total number of balls in the urn tends to infinity, are shown to be q-multinomial and negative q-multinomial distributions, respectively.


title: Software Engineering Timeline: major areas of interest and multidisciplinary trends

abstract: Society today cannot run without software and by extension, without Software Engineering. Since this discipline emerged in 1968, practitioners have learned valuable lessons that have contributed to current practices. Some have become outdated but many are still relevant and widely used. From the personal and incomplete perspective of the authors, this paper not only reviews the major milestones and areas of interest in the Software Engineering timeline helping software engineers to appreciate the state of things, but also tries to give some insights into the trends that this complex engineering will see in the near future.


title: Adaptive and non-adaptive estimation for degenerate diffusion processes

abstract: We discuss parametric estimation of a degenerate diffusion system from time-discrete observations. The first component of the degenerate diffusion system has a parameter $\theta_1$ in a non-degenerate diffusion coefficient and a parameter $\theta_2$ in the drift term. The second component has a drift term parameterized by $\theta_3$ and no diffusion term. Asymptotic normality is proved in three different situations for an adaptive estimator for $\theta_3$ with some initial estimators for ($\theta_1$ , $\theta_2$), an adaptive one-step estimator for ($\theta_1$ , $\theta_2$ , $\theta_3$) with some initial estimators for them, and a joint quasi-maximum likelihood estimator for ($\theta_1$ , $\theta_2$ , $\theta_3$) without any initial estimator. Our estimators incorporate information of the increments of both components. Thanks to this construction, the asymptotic variance of the estimators for $\theta_1$ is smaller than the standard one based only on the first component. The convergence of the estimators for $\theta_3$ is much faster than the other parameters. The resulting asymptotic variance is smaller than that of an estimator only using the increments of the second component.


title: Nilpotent Lie algebras of derivations with the center of small corank

abstract: Let $\mathbb K$ be a field of characteristic zero, $A$ an integral domain over $\mathbb K$ with the field of fractions $R = \text{Frac}(A),$ and $\text{Der}_{\mathbb{K}}A$ the Lie algebra of all $\mathbb K$-derivations on $A$. Let $W(A):=R\text{Der}_{\mathbb{K}} A$ and $L$ a nilpotent subalgebra of rank $n$ over $R$ of the Lie algebra $W(A).$ We prove that if the center $Z=Z(L)$ is of rank $\geq n-2$ over $R$ and $F=F(L)$ is the field of constants for $L$ in $R,$ then the Lie algebra $FL$ is contained in a locally nilpotent subalgebra of $ W(A)$ of rank $n$ over $R$ with a natural basis over the field $R.$ It is also also proved that the Lie algebra $FL$ can be isomorphically embedded (as an abstract Lie algebra) into the triangular Lie algebra $u_n(F)$ which was studied early by other authors.


title: Index of symmetry and topological classification of asymmetric normed spaces

abstract: Let X, Y be asymmetric normed spaces and Lc(X, Y) the convex cone of all linear continuous operators from X to Y. It is known that in general, Lc(X, Y) is not a vector space. The aim of this note is to prove, using the Baire category theorem, that if Lc(X, Y) is a vector space for some asymmetric normed space Y , then X is isomorphic to its associated normed space (the converse is true for every asymmetric normed space Y and is easy to establish). For this, we introduce an index of symmetry of the space X denoted c(X) $\in$ [0, 1] and we give the link between the index c(X) and the fact that Lc(X, Y) is in turn an asymmetric normed space for every asymmetric normed space Y. Our study leads to a topological classification of asymmetric normed spaces.


title: Joint blind calibration and time-delay estimation for multiband ranging

abstract: In this paper, we focus on the problem of blind joint calibration of multiband transceivers and time-delay (TD) estimation of multipath channels. We show that this problem can be formulated as a particular case of covariance matching. Although this problem is severely ill-posed, prior information about radio-frequency chain distortions and multipath channel sparsity is used for regularization. This approach leads to a biconvex optimization problem, which is formulated as a rank-constrained linear system and solved by a simple group Lasso algorithm.Numerical experiments show that the proposed algorithm provides better calibration and higher resolution for TD estimation than current state-of-the-art methods.


title: Miniature capacitive Faraday force magnetometer for magnetization measurements at low temperatures and high magnetic fields

abstract: A Faraday force magnetometer is presented for measurements of magnetization at temperatures down to 100~mK and in magnetic fields up to 14~T. The specimen is mounted on a flexible cantilever forming a force-sensing capacitor in combination with a fixed back plate. Two different cantilever designs are presented. A torsion resistant cantilever allows to measure magnetization of highly anisotropic single crystal samples. Measurements of the metal organic quantum magnets (C$_5$H$_{12}$N)$_2$CuBr$_4$ (BPCB) and NiCl$_2$$\cdot$4 SC(NH$_2$)$_2$ (DTN) demonstrate the device's capabilities. Routinely, a specimen's magnetic moment is measured with a resolution better than $10^{-7}$ A$\,$m$^2$ ($10^{-4}$ emu). The device in miniaturized to fit is almost any cryostat.


title: Silicon Vertex & Tracking Detectors for the Compact Linear Collider

abstract: CLIC is a proposed linear $e^+e^-$ collider with center-of-mass energies of up to 3 TeV. Its main objectives are precise top quark, Higgs boson and Beyond Standard Model physics. In addition to spatial resolutions of a few micrometers and a very low material budget, the vertex and tracking detectors also require timing capabilities with a precision of a few nanoseconds to allow suppression of beam-induced background particles. Different technologies using hybrid silicon detectors are explored for the vertex detectors, such as dedicated 65 nm readout ASICs, small-pitch sensors as well as bonding using anisotropic conductive films. Monolithic sensors are the current choice for the tracking detector, and a prototype using a 180 nm high-resistivity CMOS process has been designed and produced, and is currently under evaluation. Different designs using a silicon-on-insulator process are under investigation for both vertex and tracking detector. All prototypes are tested in laboratory and beam tests, and newly developed simulation tools combining Geant4 and TCAD are used to assess and optimize their performance. This contribution gives an overview of the R&D program for the CLIC vertex and tracking detectors, highlighting new results from the prototypes.


title: New white dwarf envelope models and diffusion. Application to DQ white dwarfs

abstract: Recent studies of the atmospheres of carbon-rich (DQ) white dwarfs have demonstrated the existence of two different populations that are distinguished by the temperature range, but more importantly, by the extremely high masses of the hotter group. The classical DQ below 10000 K are well understood as the result of dredge-up of carbon by the expanding helium convection zone. The high-mass group poses several problems regarding their origin and also an unexpected correlation of effective temperature with mass. We propose to study the envelopes of these objects to determine the total hydrogen and helium masses as possible clues to their evolution. We developed new codes for envelope integration and diffusive equilibrium that are adapted to the unusual chemical composition, which is not necessarily dominated by hydrogen and helium. Using the new results for the atmospheric parameters, in particular, the masses obtained using Gaia parallaxes, we confirm that the narrow sequence of carbon abundances with Teff in the cool classical DQ is indeed caused by an almost constant helium to total mass fraction, as found in earlier studies. This mass fraction is smaller than predicted by stellar evolution calculations. For the warm DQ above 10000 K, which are thought to originate from double white dwarf mergers, we obtain extremely low hydrogen and helium masses. The correlation of mass with Teff remains unexplained, but another possible correlation of helium layer masses with Teff as well as the gravitational redshifts casts doubt on the reality of both and suggests possible shortcomings of current models.