title: Universal Deformation Rings of Finitely Generated Gorenstein-Projective Modules over Finite Dimensional Algebras

abstract: Let $\mathbf{k}$ be a field of arbitrary characteristic, let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be a finitely generated $\Lambda$-module. F. M. Bleher and the third author previously proved that $V$ has a well-defined versal deformation ring $R(\Lambda,V)$. If the stable endomorphism ring of $V$ is isomorphic to $\mathbf{k}$, they also proved under the additional assumption that $\Lambda$ is self-injective that $R(\Lambda,V)$ is universal. In this paper, we prove instead that if $\Lambda$ is arbitrary but $V$ is Gorenstein-projective then $R(\Lambda,V)$ is also universal when the stable endomorphism ring of $V$ is isomorphic to $\mathbf{k}$. Moreover, we show that singular equivalences of Morita type (as introduced by X. W. Chen and L. G. Sun) preserve the isomorphism classes of versal deformation rings of finitely generated Gorenstein-projective modules over Gorenstein algebras. We also provide examples. In particular, if $\Lambda$ is a monomial algebra in which there is no overlap (as introduced by X. W. Chen, D. Shen and G. Zhou) we prove that every finitely generated indecomposable Gorenstein-projective $\Lambda$-module has a universal deformation ring that is isomorphic to either $\mathbf{k}$ or to $\mathbf{k}[\![t]\!]/(t^2)$.


title: Autonomous and Connected Intersection Crossing Traffic Management using Discrete-Time Occupancies Trajectory

abstract: In this paper, we address a problem of safe and efficient intersection crossing traffic management of autonomous and connected ground traffic. Toward this objective, we propose an algorithm that is called the Discrete-time occupancies trajectory based Intersection traffic Coordination Algorithm (DICA). We first prove that the basic DICA is deadlock free and also starvation free. Then, we show that the basic DICA has a computational complexity of $\mathcal{O}(n^2 L_m^3)$ where $n$ is the number of vehicles granted to cross an intersection and $L_m$ is the maximum length of intersection crossing routes. To improve the overall computational efficiency of the algorithm, the basic DICA is enhanced by several computational approaches that are proposed in this paper. The enhanced algorithm has the computational complexity of $\mathcal{O}(n^2 L_m \log_2 L_m)$. The improved computational efficiency of the enhanced algorithm is validated through simulation using an open source traffic simulator, called the Simulation of Urban MObility (SUMO). The overall throughput as well as the computational efficiency of the enhanced algorithm are also compared with those of an optimized traffic light control.


title: Spherical aberration correction in a scanning transmission electron microscope using a sculpted foil

abstract: Nearly twenty years ago, following a sixty year struggle, scientists succeeded in correcting the bane of electron lenses, spherical aberration, using electromagnetic aberration correction. However, such correctors necessitate re-engineering of the electron column, additional space, a power supply, water cooling, and other requirements. Here, we show how modern nanofabrication techniques can be used to surpass the resolution of an uncorrected scanning transmission electron microscope more simply by sculpting a foil of material into a refractive corrector that negates spherical aberration. This corrector can be fabricated at low cost using a simple process and installed on existing electron microscopes without changing their hardware, thereby providing an immediate upgrade to spatial resolution. Using our corrector, we reveal features of Si and Cu samples that cannot be resolved in the uncorrected microscope.


title: Theory of topological excitations and metal-insulator transition in reentrant integer quantum Hall effect

abstract: The reentrant integer quantum Hall effects (RIQHE) are due to formation of electronic crystals. We show analytically and numerically that topological textures in the charge density distribution in these crystals in the vicinity of charged defects strongly reduce energy required for current-carrying excitations. The theory quantitatively explains sharp insulator-metal transitions experimentally observed in RIQHE states. The insulator to metal transition in RIQHE emerges as a thermodynamic unbinding transition of topological charged defects.


title: A non-parametric consistency test of the $\Lambda$CDM model with Planck CMB data

abstract: Non-parametric reconstruction methods, such as Gaussian process (GP) regression, provide a model-independent way of estimating an underlying function and its uncertainty from noisy data. We demonstrate how GP-reconstruction can be used as a consistency test between a given data set and a specific model by looking for structures in the residuals of the data with respect to the model's best-fit. Applying this formalism to the Planck temperature and polarisation power spectrum measurements, we test their global consistency with the predictions of the base $\Lambda$CDM model. Our results do not show any serious inconsistencies, lending further support to the interpretation of the base $\Lambda$CDM model as cosmology's gold standard.


title: Criticality in Third Order Lovelock Gravity and the Butterfly effect

abstract: We study third order Lovelock Gravity in $ D=7 $ at the critical point which three (A)dS vacua degenerate into one. We see there is not propagating graviton at the critical point. And also we compute the butterfly velocity for this theory at the critical point by considering the shock wave solutions near horizon, this is important to note that although there is no propagating graviton at the critical point, due to boundary gravitons the butterfly velocity is non-zero. Finally we observe that the butterfly velocity for third order Lovelock Gravity at the critical point in $ D=7 $ is less than the butterfly velocity for Einstein-Gauss-Bonnet Gravity at the critical point in $ D=7 $ which is less than the butterfly velocity in D = 7 for Einstein Gravity, $ v_{B}^{E.H}>v_{B}^{E.G.B}>v_{B}^{3rd\,\,Lovelock} $. Maybe we can conclude that by adding higher order curvature corrections to Einstein Gravity the butterfly velocity decreases.


title: Semi-equivelar maps on the torus are Archimedean

abstract: If the face-cycles at all the vertices in a map on a surface are of same type then the map is called semi-equivelar. There are eleven types of Archimedean tilings on the plane. All the Archimedean tilings are semi-equivelar maps. If a map $X$ on the torus is a quotient of an Archimedean tiling on the plane then the map $X$ is semi-equivelar. We show that each semi-equivelar map on the torus is a quotient of an Archimedean tiling on the plane. Vertex-transitive maps are semi-equivelar maps. We know that four types of semi-equivelar maps on the torus are always vertex-transitive and there are examples of other seven types of semi-equivelar maps which are not vertex-transitive. We show that the number of ${\rm Aut}(Y)$-orbits of vertices for any semi-equivelar map $Y$ on the torus is at most six. In fact, the number of orbits is at most three except one type of semi-equivelar maps. Our bounds on the number of orbits are sharp.


title: Discrete Event Simulation of Personal Rapid Transit (PRT) Systems

abstract: The article discusses issues related to the construction of the PRT network simulator and the simulation process: the elements of PRT network structure, their representation in the simulator, the simulation process itself, animation, and automation of the experiments. An example of a simulation environment Feniks is described, elaborated within the framework of the Eco-Mobility project.


title: Long-Term Load Forecasting Considering Volatility Using Multiplicative Error Model

abstract: Long-term load forecasting plays a vital role for utilities and planners in terms of grid development and expansion planning. An overestimate of long-term electricity load will result in substantial wasted investment in the construction of excess power facilities, while an underestimate of future load will result in insufficient generation and unmet demand. This paper presents first-of-its-kind approach to use multiplicative error model (MEM) in forecasting load for long-term horizon. MEM originates from the structure of autoregressive conditional heteroscedasticity (ARCH) model where conditional variance is dynamically parameterized and it multiplicatively interacts with an innovation term of time-series. Historical load data, accessed from a U.S. regional transmission operator, and recession data for years 1993-2016 is used in this study. The superiority of considering volatility is proven by out-of-sample forecast results as well as directional accuracy during the great economic recession of 2008. To incorporate future volatility, backtesting of MEM model is performed. Two performance indicators used to assess the proposed model are mean absolute percentage error (for both in-sample model fit and out-of-sample forecasts) and directional accuracy.


title: Optical imaging of metallic and semiconductor nanostructures at sub wavelength regime

abstract: The near field scanning optical microscopy (NSOM) is not only a tool for imaging of objects in the sub wavelength limit but also a prominent characteristic tool for understanding the intrinsic properties of the nanostructures. The effect of strong localized surface plasmon resonance absorption of excitation laser in the NSOM images for Au nanoparticles is observed. The role of electronic transitions from different native defect related energy states of AlGaN are also discussed in understanding the NSOM images for the semiconductor nanowire.


title: S-Spectrum and the quaternionic Cayley transform of an operator

abstract: In this paper we define the quaternionic Cayley transformation of a densely defined, symmetric, quaternionic right linear operator and formulate a general theory of defect number in a right quaternionic Hilbert space. This study investigates the relation between the defect number and S-spectrum, and the properties of the Cayley transform in the quaternionic setting.


title: Harnessing oversampling in correlation-coded OTDR

abstract: Pulse coding is an effective method to overcome the trade-off between signal-to-noise ratio (SNR) and spatial resolution in optical-fiber sensing systems based on optical time-domain reflectometry (OTDR). However, the coding gain has not been yet fully exploited. We provide a comprehensive theoretical analysis and experimental validation of the sampling criteria for correlation-coded OTDR, showing that the coding gain can be further improved by harnessing the oversampling. Moreover, the bandwidth-limited feature of the photodetector can also be utilized to select the sampling rate so that additional SNR enhancement is obtained. We believe this principle could be applied to any practical OTDR-based optical-fiber sensing technology, and serve to update existing systems based on correlation-coded OTDR in a straightforward manner at a relatively low cost.


title: Monitoring Distributed Component-Based Systems

abstract: This paper addresses the online monitoring of distributed component-based systems with multi-party interactions against user-provided properties expressed in linear-temporal logic and referring to global states. We consider intrinsically independent components whose interactions are partitioned on distributed controllers. In this context, the problem that arises is that a global state of the system is not available to the monitor. Instead, we attach local controllers to schedulers to retrieve the concurrent local traces. Local traces are sent to a global observer which reconstructs the set of global traces that are compatible with the local ones, in a concurrency-preserving fashion. In this context, the reconstruction of the global traces is done on-the-fly using a lattice of partial states encoding the global traces compatible with the locally-observed traces. We implemented our monitoring approach in a prototype tool called RVDIST. RVDIST executes in parallel with the distributed model and takes as input the events generated from each scheduler and outputs the evaluated computation lattice. Our experiments show that, thanks to the optimisation applied in the online monitoring algorithm, i) the size of the constructed computation lattice is insensitive to the the number of received events, (ii) the lattice size is kept reasonable and (iii) the overhead of the monitoring process is cheap.


title: Hanani-Tutte for approximating maps of graphs

abstract: We resolve in the affirmative conjectures of Repovs and A. Skopenkov (1998), and M. Skopenkov (2003) generalizing the classical Hanani-Tutte theorem to the setting of approximating maps of graphs on 2-dimensional surfaces by embeddings. Our proof of this result is constructive and almost immediately implies an efficient algorithm for testing if a given piecewise linear map of a graph in a surface is approximable by an embedding. More precisely, an instance of this problem consists of (i) a graph G whose vertices are partitioned into clusters and whose inter-cluster edges are partitioned into bundles, and (ii) a region R of a 2-dimensional compact surface M given as the union of a set of pairwise disjoint discs corresponding to the clusters and a set of pairwise non-intersecting "pipes" corresponding to the bundles, connecting certain pairs of these discs. We are to decide whether G can be embedded inside M so that the vertices in every cluster are drawn in the corresponding disc, the edges in every bundle pass only through its corresponding pipe, and every edge crosses the boundary of each disc at most once.


title: Universality of free fall versus ephemeris

abstract: When a light scalar field with gravitational strength interacts with matter, the weak equivalence principle is in general violated, leading for instance to a violation of the universality of free fall. This has been known and tested for a while. However, recent developments [Minazzoli & Hees, PRD 2016] showed that a novel manifestation of the universality of free fall can appear in some models. Here we discuss this new scenario and expose how we intend to constrain it with INPOP ephemeris.


title: One-Step Fabrication of pH-Responsive Membranes and Microcapsules through Interfacial H-Bond Polymer Complexation

abstract: Biocompatible microencapsulation is of widespread interest for the targeted delivery of active species in fields such as pharmaceuticals, cosmetics and agro-chemistry. Capsules obtained by the self-assembly of polymers at interfaces enable the combination of responsiveness to stimuli, biocompatibility and scaled up production. Here, we present a one-step method to produce in situ membranes at oil-water interfaces, based on the hydrogen bond complexation of polymers between H-bond acceptor and donor in the oil and aqueous phases, respectively. This robust process is realized through different methods, to obtain capsules of various sizes, from the micrometer scale using microfluidics or rotor-stator emulsification up to the centimeter scale using drop dripping. The polymer layer exhibits unique self-healing and pH-responsive properties. The membrane is viscoelastic at pH = 3, softens as pH is progressively raised, and eventually dissolves above pH = 6 to release the oil phase. This one-step method of preparation paves the way to the production of large quantities of functional capsules.


title: A highly predictive $A_{4}$ flavour 3-3-1 model with radiative inverse seesaw mechanism

abstract: We build a highly predictive 3-3-1 model, where the field content is extended by including several $SU(3)_{L}$ scalar singlets and six right handed Majorana neutrinos. In our model the $SU(3)_{C}\times SU\left( 3\right) _{L}\times U\left( 1\right) _{X}$ gauge symmetry is supplemented by the $A_{4}\times Z_{4}\times Z_{6}\times Z_{16}\times Z_{16}^{\prime }$ discrete group, which allows to get a very good description of the low energy fermion flavor data. In the model under consideration, the $A_{4}\times Z_{4}\times Z_{6}\times Z_{16}\times Z_{16}^{\prime }$ discrete group is broken at very high energy scale down to the preserved $Z_{2}$ discrete symmetry, thus generating the observed pattern of SM fermion masses and mixing angles and allowing the implementation of the loop level inverse seesaw mechanism for the generation of the light active neutrino masses, respectively. The obtained values for the physical observables in the quark sector agree with the experimental data, whereas those ones for the lepton sector also do, only for the case of inverted neutrino mass spectrum. The normal neutrino mass hierarchy scenario of the model is ruled out by the neutrino oscillation experimental data. We find an effective Majorana neutrino mass parameter of neutrinoless double beta decay of $% m_{ee}=46.9$ meV, a leptonic Dirac CP violating phase of $-81.37^{\circ}$ and a Jarlskog invariant of about $10^{-2}$ for the inverted neutrino mass hierarchy. The preserved $Z_{2}$ symmetry allows for a stable scalar dark matter candidate.


title: Compressed Sensing for Scalable Robotic Tactile Skins

abstract: The potential of large tactile arrays to improve robot perception for safe operation in human-dominated environments and of high-resolution tactile arrays to enable human-level dexterous manipulation is well accepted. However, the increase in the number of tactile sensing elements introduces challenges including wiring complexity, data acquisition, and data processing. To help address these challenges, we develop a tactile sensing technique based on compressed sensing. Compressed sensing simultaneously performs data sampling and compression with recovery guarantees and has been successfully applied in computer vision. We use compressed sensing techniques for tactile data acquisition to reduce hardware complexity and data transmission, while allowing fast, accurate reconstruction of the full-resolution signal. For our simulated test array of 4096 taxels, we achieve reconstruction quality equivalent to measuring all taxel signals independently (the full signal) from just 1024 measurements (the compressed signal) at a rate over 100Hz. We then apply tactile compressed sensing to the problem of object classification. Specifically, we perform object classification on the compressed tactile data based on a method called compressed learning. We obtain up to 98% classification accuracy, even with a compression ratio of 64:1.


title: Stochastic resonance and optimal information transfer at criticality on a network model of the human connectome

abstract: Stochastic resonance is a phenomenon in which noise enhances the response of a system to an input signal. The brain is an example of a system that has to detect and transmit signals in a noisy environment, suggesting that it is a good candidate to take advantage of SR. In this work, we aim to identify the optimal levels of noise that promote signal transmission through a simple network model of the human brain. Specifically, using a dynamic model implemented on an anatomical brain network (connectome), we investigate the similarity between an input signal and a signal that has traveled across the network while the system is subject to different noise levels. We find that non-zero levels of noise enhance the similarity between the input signal and the signal that has traveled through the system. The optimal noise level is not unique; rather, there is a set of parameter values at which the information is transmitted with greater precision, this set corresponds to the parameter values that place the system in a critical regime. The multiplicity of critical points in our model allows it to adapt to different noise situations and remain at criticality.


title: CLBlast: A Tuned OpenCL BLAS Library

abstract: This work introduces CLBlast, an open-source BLAS library providing optimized OpenCL routines to accelerate dense linear algebra for a wide variety of devices. It is targeted at machine learning and HPC applications and thus provides a fast matrix-multiplication routine (GEMM) to accelerate the core of many applications (e.g. deep learning, iterative solvers, astrophysics, computational fluid dynamics, quantum chemistry). CLBlast has five main advantages over other OpenCL BLAS libraries: 1) it is optimized for and tested on a large variety of OpenCL devices including less commonly used devices such as embedded and low-power GPUs, 2) it can be explicitly tuned for specific problem-sizes on specific hardware platforms, 3) it can perform operations in half-precision floating-point FP16 saving bandwidth, time and energy, 4) it has an optional CUDA back-end, 5) and it can combine multiple operations in a single batched routine, accelerating smaller problems significantly. This paper describes the library and demonstrates the advantages of CLBlast experimentally for different use-cases on a wide variety of OpenCL hardware.


title: Band Gap Modulation of SrTiO3 upon CO2 Adsorption

abstract: CO2 chemisorption on SrTiO3(001) surfaces is studied using ab initio calculations in order to establish new chemical sensing mechanisms. We find that CO2 adsorption opens the material band gap, however, while the adsorption on the TiO2-terminated surface neutralizes surface states at the valence band (VB) maximum, CO2 on the SrO-terminated surfaces suppresses the conduction band (CB) minimum. For the TiO2-terminated surface, the effect is explained by the passivation of dangling bonds, whereas for the SrO-terminated surface, the suppression is caused by the surface relaxation. Modulation of the VB states implies a more direct change in charge distribution, and thus the induced change in band gap is more prominent at the TiO2 termination. Further, we show that both CO2 adsorption energy and surface band gap are strongly dependent on CO2 coverage, suggesting that the observed effect can be utilized for sensing application in a wide range of CO2 concentrations.


title: A pedestrian hopping model and traffic light scheduling for pedestrian-vehicle mixed-flow networks

abstract: This paper presents a pedestrian hopping model and a traffic signal scheduling strategy with consideration of both pedestrians and vehicles in the urban traffic system. Firstly, a novel mathematical model consisting of several logic constraints is proposed to describe the pedestrian flow in the urban traffic network and its dynamics are captured by the hopping rule, which depicts the changing capacity of each time interval from one waiting zone to another. Based on the hopping mechanism, the pedestrian traffic light scheduling problems are formulated by two different performance standards: pedestrian delay and pedestrian unhappiness. Then the mathematical technique and the meta-heuristic approach are both adopted to solve the scheduling problem: Mixed integer linear programming (MILP) formulation for pedestrian delay model and discrete harmony search algorithm (DHS) for both pedestrian delay model and unhappiness model. Secondly, a mathematical model about the vehicle traffic network, which captures drivers psychological responses to the traffic light signals, is introduced. Thirdly, a traffic light scheduling strategy to minimize the trade-off of the delays between pedestrians and vehicles is proposed. Finally, we translate this traffic signal scheduling problem for both pedestrians and vehicles into a MILP problem which can be solved by several existing tools, e.g., GUROBI. Numerical simulation results are provided to illustrate the effectiveness of our real-time traffic light scheduling for pedestrian movement and the potential impact to the vehicle traffic flows by the pedestrian movement.


title: Joint Transmission with Limited Backhaul Connectivity

abstract: Downlink beamforming techniques with low signaling overhead are proposed for joint processing coordinated (JP) multi-point transmission. The objective is to maximize the weighted sum rate within joint transmission clusters. As the considered weighted sum rate maximization is a non-convex problem, successive convex approximation techniques, based on weighted mean-squared error minimization, are applied to devise algorithms with tractable computational complexity. Decentralized algorithms are proposed to enable JP even with limited backhaul connectivity. These algorithms rely provide a variety of alternatives for signaling overhead, computational complexity and convergence behavior. Time division duplexing is exploited to design transceiver training techniques for two scenarios: stream specific estimation and direct estimation. In the stream specific estimation, the base station and user equipment estimate all of the stream specific precoded pilots individually and construct the transmit/receive covariance matrices based on these pilot estimates. With the direct estimation, only the intended transmission is separately estimated and the covariance matrices constructed directly from the aggregate system-wide pilots. The impact of feedback/backhaul signaling quantization is considered, in order to further reduce the signaling overhead. Also, user admission is being considered for time-correlated channels. The enhanced transceiver convergence rate enables periodic beamformer reinitialization, which greatly improves the achieved system performance in dense networks.


title: The concept of varifold

abstract: We survey - by means of 20 examples - the concept of varifold, as generalised submanifold, with emphasis on regularity of integral varifolds with mean curvature, while keeping prerequisites to a minimum. Integral varifolds are the natural language for studying the variational theory of the area integrand if one considers, for instance, existence or regularity of stationary (or, stable) surfaces of dimension at least three, or the limiting behaviour of sequences of smooth submanifolds under area and mean curvature bounds.


title: Strategically knowing how

abstract: In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. The semantics of the new operator is based on the idea that knowing how to achieve $\phi$ means that there exists a (uniform) strategy such that the agent knows that it can make sure $\phi$. We give an intuitive axiomatization of our logic and prove the soundness, completeness, and decidability of the logic. The crucial axioms relating knowing that and knowing how illustrate our understanding of knowing how in this setting. This logic can be used in representing both knowledge-that and knowledge-how.


title: A Novel Transmission Scheme for the $K$-user Broadcast Channel with Delayed CSIT

abstract: The state-dependent $K$-user memoryless Broadcast Channel~(BC) with state feedback is investigated. We propose a novel transmission scheme and derive its corresponding achievable rate region, which, compared to some general schemes that deal with feedback, has the advantage of being relatively simple and thus is easy to evaluate. In particular, it is shown that the capacity region of the symmetric erasure BC with an arbitrary input alphabet size is achievable with the proposed scheme. For the fading Gaussian BC, we derive a symmetric achievable rate as a function of the signal-to-noise ratio~(SNR) and a small set of parameters. Besides achieving the optimal degrees of freedom at high SNR, the proposed scheme is shown, through numerical results, to outperform existing schemes from the literature in the finite SNR regime.


title: A Deterministic Sparse FFT for Functions with Structured Fourier Sparsity

abstract: In this paper a deterministic sparse Fourier transform algorithm is presented which breaks the quadratic-in-sparsity runtime bottleneck for a large class of periodic functions exhibiting structured frequency support. These functions include, e.g., the oft-considered set of block frequency sparse functions of the form $$f(x) = \sum^{n}_{j=1} \sum^{B-1}_{k=0} c_{\omega_j + k} e^{i(\omega_j + k)x},~~\{ \omega_1, \dots, \omega_n \} \subset \left(-\left\lceil \frac{N}{2}\right\rceil, \left\lfloor \frac{N}{2}\right\rfloor\right]\cap\mathbb{Z}$$ as a simple subclass. Theoretical error bounds in combination with numerical experiments demonstrate that the newly proposed algorithms are both fast and robust to noise. In particular, they outperform standard sparse Fourier transforms in the rapid recovery of block frequency sparse functions of the type above.


title: Shape and Energy Consistent Pseudopotentials for Correlated Electron systems

abstract: A method is developed for generating pseudopotentials for use in correlated-electron calculations. The paradigms of shape and energy consistency are combined and defined in terms of correlated-electron wave-functions. The resulting energy consistent correlated electron pseudopotentials (eCEPPs) are constructed for H, Li--F, Sc--Fe, and Cu. Their accuracy is quantified by comparing the relaxed molecular geometries and dissociation energies they provide with all electron results, with all quantities evaluated using coupled cluster singles doubles and triples calculations. Errors inherent in the pseudopotentials are also compared with those arising from a number of approximations commonly used with pseudopotentials. The eCEPPs provide a significant improvement in optimised geometries and dissociation energies for small molecules, with errors for the latter being an order-of-magnitude smaller than for Hartree-Fock-based pseudopotentials available in the literature. Gaussian basis sets are optimised for use with these pseudopotentials.


title: Topological moduli space for germs of holomorphic foliations

abstract: This work deals with the topological classification of germs of singular foliations on $(\mathbb C^{2},0)$. Working in a suitable class of foliations we fix the topological invariants given by the separatrix set, the Camacho-Sad indices and the projective holonomy representations and we compute the moduli space of topological classes in terms of the cohomology of a new algebraic object that we call group-graph. This moduli space may be an infinite dimensional functional space but under generic conditions we prove that it has finite dimension and we describe its algebraic and topological structures.


title: Reduction of quantum systems and the local Gauss law

abstract: We give an operator-algebraic interpretation of the notion of an ideal generated by the unbounded operators associated to the elements of the Lie algebra of a Lie group that implements the symmetries of a quantum system. We use this interpretation to establish a link between Rieffel induction and the implementation of a local Gauss law in lattice gauge theories similar to the method discussed by Kijowski and Rudolph in [5, 6].


title: Characterization of the Palais-Smale sequences for the conformal Dirac-Einstein problem and applications

abstract: In this paper we study the Palais-Smale sequences of the conformal Dirac-Einstein problem. After we characterize the bubbling phenomena, we prove an Aubin type result leading to the existence of a positive solution. Then we show the existence of infinitely many solutions to the problem provided that the underlying manifold exhibits certain symmetries.


title: Blocks of the category of smooth $\ell$-modular representations of $GL(n,F)$ and its inner forms: reduction to level-$0$

abstract: Let $G$ be an inner form of a general linear group over a non-archimedean locally compact field of residue characteristic $p$, let $R$ be an algebraically closed field of characteristic different from $p$ and let $\mathscr{R}_R(G)$ be the category of smooth representations of $G$ over $R$. In this paper, we prove that a block (indecomposable summand) of $\mathscr{R}_R(G)$ is equivalent to a level-$0$ block (a block in which every object has non-zero invariant vectors for the pro-$p$-radical of a maximal compact open subgroup) of $\mathscr{R}_R(G')$, where $G'$ is a direct product of groups of the same type of $G$.


title: Reflection positivity and spectral theory

abstract: We consider reflection-positivity (Osterwalder-Schrader positivity, O.S.-p.) as it is used in the study of renormalization questions in physics. In concrete cases, this refers to specific Hilbert spaces that arise before and after the reflection. Our focus is a comparative study of the associated spectral theory, now referring to the canonical operators in these two Hilbert spaces. Indeed, the inner product which produces the respective Hilbert spaces of quantum states changes, and comparisons are subtle. We analyze in detail a number of geometric and spectral theoretic properties connected with axiomatic reflection positivity, as well as their probabilistic counterparts; especially the role of the Markov property. This view also suggests two new theorems, which we prove. In rough outline: It is possible to express OS-positivity purely in terms of a triple of projections in a fixed Hilbert space, and a reflection operator. For such three projections, there is a related property, often referred to as the Markov property; and it is well known that the latter implies the former; i.e., when the reflection is given, then the Markov property implies O.S.-p., but not conversely. In this paper we shall prove two theorems which flesh out a much more precise relationship between the two. We show that for every OS-positive system $\left(E_{+},\theta\right)$, the operator $E_{+}\theta E_{+}$ has a canonical and universal factorization.


title: Comparison of Maximum Likelihood and GAN-based training of Real NVPs

abstract: We train a generator by maximum likelihood and we also train the same generator architecture by Wasserstein GAN. We then compare the generated samples, exact log-probability densities and approximate Wasserstein distances. We show that an independent critic trained to approximate Wasserstein distance between the validation set and the generator distribution helps detect overfitting. Finally, we use ideas from the one-shot learning literature to develop a novel fast learning critic.


title: Extending Defensive Distillation

abstract: Machine learning is vulnerable to adversarial examples: inputs carefully modified to force misclassification. Designing defenses against such inputs remains largely an open problem. In this work, we revisit defensive distillation---which is one of the mechanisms proposed to mitigate adversarial examples---to address its limitations. We view our results not only as an effective way of addressing some of the recently discovered attacks but also as reinforcing the importance of improved training techniques.


title: Non-separable covariance models for spatio-temporal data, with applications to neural encoding analysis

abstract: Neural encoding studies explore the relationships between measurements of neural activity and measurements of a behavior that is viewed as a response to that activity. The coupling between neural and behavioral measurements is typically imperfect and difficult to measure.To enhance our ability to understand neural encoding relationships, we propose that a behavioral measurement may be decomposable as a sum of two latent components, such that the direct neural influence and prediction is primarily localized to the component which encodes temporal dependence. For this purpose, we propose to use a non-separable Kronecker sum covariance model to characterize the behavioral data as the sum of terms with exclusively trial-wise, and exclusively temporal dependencies. We then utilize a corrected form of Lasso regression in combination with the nodewise regression approach for estimating the conditional independence relationships between and among variables for each component of the behavioral data, where normality is necessarily assumed. We provide the rate of convergence for estimating the precision matrices associated with the temporal as well as spatial components in the Kronecker sum model. We illustrate our methods and theory using simulated data, and data from a neural encoding study of hawkmoth flight; we demonstrate that the neural encoding signal for hawkmoth wing strokes is primarily localized to a latent component with temporal dependence, which is partially obscured by a second component with trial-wise dependencies.


title: Super-Symmetric Coupling: Existence and Multiplicity

abstract: In this paper we provide a method to study critical points of strongly indefinite functionals on vector bundles. We focus mainly on energy functionals coupled with a fermionic part, that is with a Dirac-type operator. We consider the cases of the perturbed Dirac-Geodesics problem and the Yang-Mills-Dirac type equation in dimension two.


title: Learning from Clinical Judgments: Semi-Markov-Modulated Marked Hawkes Processes for Risk Prognosis

abstract: Critically ill patients in regular wards are vulnerable to unanticipated adverse events which require prompt transfer to the intensive care unit (ICU). To allow for accurate prognosis of deteriorating patients, we develop a novel continuous-time probabilistic model for a monitored patient's temporal sequence of physiological data. Our model captures "informatively sampled" patient episodes: the clinicians' decisions on when to observe a hospitalized patient's vital signs and lab tests over time are represented by a marked Hawkes process, with intensity parameters that are modulated by the patient's latent clinical states, and with observable physiological data (mark process) modeled as a switching multi-task Gaussian process. In addition, our model captures "informatively censored" patient episodes by representing the patient's latent clinical states as an absorbing semi-Markov jump process. The model parameters are learned from offline patient episodes in the electronic health records via an EM-based algorithm. Experiments conducted on a cohort of patients admitted to a major medical center over a 3-year period show that risk prognosis based on our model significantly outperforms the currently deployed medical risk scores and other baseline machine learning algorithms.


title: Gorenstein simplices with a given $\delta$-polynomial

abstract: To classify the lattice polytopes with a given $\delta$-polynomial is an important open problem in Ehrhart theory. A complete classification of the Gorenstein simplices whose normalized volumes are prime integers is known. In particular, their $\delta$-polynomials are of the form $1+t^k+\cdots+t^{(v-1)k}$, where $k$ and $v$ are positive integers. In the present paper, a complete classification of the Gorenstein simplices with the above $\delta$-polynomials will be performed, when $v$ is either $p^2$ or $pq$, where $p$ and $q$ are prime integers with $p \neq q$. Moreover, we consider the number of Gorenstein simplices, up to unimodular equivalence, with the expected $\delta$-polynomial.


title: Nearly hyperharmonic functions and Jensen measures

abstract: Let $(X,\mathcal H)$ be a $\mathcal P$-harmonic space and assume for simplicity that constants are harmonic. Given a numerical function $\varphi$ on $X$ which is locally lower bounded, let \begin{equation*} J_\varphi(x):=\sup\{\int^\ast \varphi\,d\mu(x)\colon \mu\in \mathcal J_x(X)\}, \qquad x\in X, \end{equation*} where $\mathcal J_x(X)$ denotes the set of all Jensen measures $\mu$ for $x$, that is, $\mu$ is a compactly supported measure on $X$ satisfying $\int u\,d\mu\le u(x)$ for every hyperharmonic function on $X$. The main purpose of the paper is to show that, assuming quasi-universal measurability of $\varphi$, the function $J_\varphi$ is the smallest nearly hyperharmonic function majorizing $\varphi$ and that $J_\varphi=\varphi \vee \hat J_\varphi$, where $\hat J_\varphi$ is the lower semicontinuous regularization of $J_\varphi$. So, in particular, $J_\varphi $ turns out to be at least "as measurable as" $\varphi$. This improves recent results, where the axiom of polarity was assumed. The preparations about nearly hyperharmonic functions on balayage spaces are closely related to the study of strongly supermedian functions triggered by J.-F. Mertens more than forty years ago.


title: Simulations of water nano-confined between corrugated planes

abstract: Two-dimensionally nanoconfined water between ideal planar walls has been the subject of ample study, aiming at understanding the intrinsic response of water to confinement, avoiding the consideration of the chemistry of actual confining materials. In this work, we study the response of such nanoconfined water under a periodic confining potential by means of computer simulations, both using empirical potentials and from first-principles. We propose a periodic confining potential emulating the atomistic oscillation of the confining walls, which allows varying the lattice parameter and amplitude of the oscillation. We do it for a triangular lattice, with several values of the lattice parameter: one which is ideal for commensuration with layers of Ih ice, and other values that would correspond to more realistic substrates. For the former, an overall rise of the melting temperature is observed. The liquid maintains a bi-layer triangular structure, however, despite the fact that it is not favoured by the external periodicity. The first-principles liquid is significantly affected by the modulation in its layering and stacking even at relatively small amplitudes of the confinement modulation. Beyond some critical modulation amplitude the hexatic phase present in flat confinement is replaced by a trilayer crystalline phase unlike any of the phases encountered for flat confinement. For more realistic lattice parameters, the liquid does not display higher tendency to freeze, but it clearly shows inhomogeneous behaviour as the strength of the rugosity increases. In spite of this expected inhomogeneity, the structural and dynamical response of the liquid is surprisingly insensitive to the external modulation. Although the first-principles calculations give a more triangular liquid than the one observed with empirical potentials, both agree remarkably well for the main conclusions of the study.


title: Texture features for the reproduction of the perceptual organization of sound

abstract: Human categorization of sound seems predominantly based on sound source properties. To estimate these source properties we propose a novel sound analysis method, which separates sound into different sonic textures: tones, pulses, and broadband noises. The audible presence of tones or pulses corresponds to more extended cochleagram patterns than can be expected on the basis of correlations introduced by the gammachirp filterbank alone. We design tract features to respond to these extended patterns, and use these to identify areas of the time-frequency plane as tonal, pulsal, and noisy. Where an area is marked as noisy if it is neither tonal nor pulsal. To investigate whether a similar separation indeed underlies human perceptual organization we introduce tract based descriptors: tonality, pulsality, and noisiness. These descriptors keep track of either the total energy or the cochleagram area marked as respectively tonal, pulsal, and noisy. Energy based tonality and pulsality is strongly correlated with the first perceptual dimension of human subjects, while energy based noisiness correlates moderately with the second perceptual dimension. We conclude that harmonic, impact and continuous process sounds can be largely separated with energy based tonality, pulsality and noisiness.


title: Correlations and entanglement of microwave photons emitted in a cascade decay

abstract: An excited emitter decays by radiating a photon into a quantized mode of the electromagnetic field, a process known as spontaneous emission. If the emitter is driven to a higher excited state, it radiates multiple photons in a cascade decay. Atomic and biexciton cascades have been exploited as sources of polarization-entangled photon pairs. Because the photons are emitted sequentially, their intensities are strongly correlated in time, as measured in a double-beam coincidence experiment. Perhaps less intuitively, their phases can also be correlated, provided a single emitter is deterministically prepared into a superposition state, and the emitted radiation is detected in a phase-sensitive manner and with high efficiency. Here we have met these requirements by using a superconducting artificial atom, coherently driven to its second-excited state and decaying into a well-defined microwave mode. Our results highlight the coherent nature of cascade decay and demonstrate a novel protocol to generate entanglement between itinerant field modes.


title: View-invariant Gait Recognition through Genetic Template Segmentation

abstract: Template-based model-free approach provides by far the most successful solution to the gait recognition problem in literature. Recent work discusses how isolating the head and leg portion of the template increase the performance of a gait recognition system making it robust against covariates like clothing and carrying conditions. However, most involve a manual definition of the boundaries. The method we propose, the genetic template segmentation (GTS), employs the genetic algorithm to automate the boundary selection process. This method was tested on the GEI, GEnI and AEI templates. GEI seems to exhibit the best result when segmented with our approach. Experimental results depict that our approach significantly outperforms the existing implementations of view-invariant gait recognition.


title: Anomalous behavior of membrane fluidity caused by copper-copper bond coupled phospholipids

abstract: Membrane fluidity, well-known to be essential for cell functions, is obviously affected by copper. However, the underlying mechanism is still far from being understood, especially on the atomic level. Here, we unexpectedly observed that a decrease in phospholipid (PL) bilayer fluidity caused by Cu2+ was much more significant than those induced by Zn2+ and Ca2+, while a comparable reduction occurred in the last two ions. This finding clearly disagrees with the placement in the periodic table of Cu just next to Zn and far from Ca. The physical nature was revealed to be a special attraction between Cu+ cations, which can induce a motif forming of two phospholipids coupled by Cu-Cu bond (PL-diCu-PL). Namely, upon Cu2+ ion binding to a negatively charged phosphate group of lipid, Cu2+ was reduced to Cu+. The special attraction of the cations then caused one Cu+ ion simultaneously binding to two lipids and another Cu+, resulting in the formation of PL-diCu-PL structure. In contrast, this attraction cannot occur in the cases of Zn and Ca ions due to their electron structure. Remarkably, besides lipids, the phosphate group widely exists in other biological molecules, including DNA, RNA, ADP and ATP, which would also induce the similar structure of Cu ions with the molecules. Our findings thus provide a new view for understanding the biological functions of copper and the mechanism underlying copper-related diseases.


title: Giant Kovacs-Like Memory Effect for Active Particles

abstract: Dynamical properties of a Vicsek-like gas of self-propelled particles are investigated by means of kinetic theory and agent based simulations. While memory effects have been observed in disordered systems, we show that they also occur in active matter systems. In particular, we find that the system exhibits a giant Kovacs-like memory effect that is much larger than predicted by a generic linear theory. Based on a separation of time scales we develop a nonlinear theory to explain this effect. We apply this theory to driven granular gases and propose further applications to spin glasses.


title: Hyperbolic components of rational maps: Quantitative equidistribution and counting

abstract: Let $\Lambda$ be a quasi-projective variety and assume that, either $\Lambda$ is a subvariety of the moduli space $\mathcal{M}_d$ of degree $d$ rational maps, or $\Lambda$ parametrizes an algebraic family $(f_\lambda)_{\lambda\in\Lambda}$ of degree $d$ rational maps on $\mathbb{P}^1$. We prove the equidistribution of parameters having $p$ distinct neutral cycles towards the $p$-th bifurcation current letting the periods of the cycles go to $\infty$, with an exponential speed of convergence. We deduce several fundamental consequences of this result on equidistribution and counting of hyperbolic components. A key step of the proof is a locally uniform version of the quantitative approximation of the Lyapunov exponent of a rational map by the $\log^+$ of the modulus of the multipliers of periodic points.


title: On the Boltzmann-Grad limit of the Master Kinetic Equation

abstract: In this paper the problem is posed of the prescription of the so-called Boltzmann-Grad (BG) limit ($\mathcal{L}_{BG}$) for the $N-$body system of smooth hard-spheres which undergo unary, binary as well as multiple elastic instantaneous collisions. The statistical description is couched in terms of the Master kinetic equation, i.e., the kinetic equation which realizes the axiomatic "\textit{ab initio}" approach to the classical statistical mechanics of finite hard-sphere systems recently developed (Tessarotto \textit{et al.}, 2013-2017). The issue addressed here concerns the prescription of the BG-limit operator and specifically the non-commutative property of $\mathcal{L}_{BG}$ with the free-streaming operator which enters the same kinetic equation.\ It is shown\ that the form of the resulting limit equation remains in principle non-unique, its precise realization depending critically on the way the action of the same operator is prescribed. Implications for the global prescription of the Boltzmann equation are pointed out.


title: Unimodal probability distributions for deep ordinal classification

abstract: Probability distributions produced by the cross-entropy loss for ordinal classification problems can possess undesired properties. We propose a straightforward technique to constrain discrete ordinal probability distributions to be unimodal via the use of the Poisson and binomial probability distributions. We evaluate this approach in the context of deep learning on two large ordinal image datasets, obtaining promising results.


title: Colloidal Motion under the Action of a Thermophoretic Force

abstract: We present thermophoretic measurements in aqueous suspensions of three different polystyrene (PS) particles of varying negative charge, size and surface coating. Our measurement technique is based on the observation of the colloidal steady-state distribution using conventional bright-field microscopy, which avoids undesirable effects such as laser-induced convection or local heating. We find that the colloids with the weakest zeta potential exhibit the strongest thermophoretic effect, suggesting that surface functionality leads to a more intricate dependence of the Soret coefficient on hydrodynamic boundary conditions than predicted by existing theoretical approaches. We also study the relaxation of the colloids to steady-state and propose a model to quantify the relaxation speed, based on the time evolution of the colloidal center of mass. Our observations are well described by this model and show that the relaxation speed tends to increase with the magnitude of the thermophoretic force.


title: A Photometric Study of the Outer Halo Globular Cluster NGC 5824

abstract: Multi-wavelength CCD photometry over 21 years has been used to produce deep color-magnitude diagrams together with light curves for the variables in the Galactic globular cluster NGC 5824. Twenty-one new cluster RR Lyrae stars are identified, bringing the total to 47, of which 42 have reliable periods determined for the first time. The color-magnitude diagram is matched using BaSTI isochrones with age of $13$~Gyr. and reddening is found to be $E(B-V) = 0.15 \pm0.02$; using the period-Wesenheit relation in two colors the distance modulus is $(m-M)_0=17.45 \pm 0.07$ corresponding to a distance of 30.9 Kpc. The observations show no signs of populations that are significantly younger than the $13$~Gyr stars. The width of the red giant branch does not allow for a spread in [Fe/H] greater than $\sigma = 0.05$ dex, and there is no photometric evidence for widened or parallel sequences. The $V, c_{UBI}$ pseudo-color magnitude diagram shows a bifurcation of the red giant branch that by analogy with other clusters is interpreted as being due to differing spectral signatures of the first (75\%) and second (25\%) generations of stars whose age difference is close enough that main sequence turnoffs in the color-magnitude diagram are unresolved. The cluster main sequence is visible against the background out to a radial distance of $\sim17$ arcmin. We conclude that NGC 5824 appears to be a classical Oosterhoff Type II globular cluster, without overt signs of being a remnant of a now-disrupted dwarf galaxy.


title: The effect of helicity on the correlation time of large scale turbulent flows

abstract: Solutions of the forced Navier-Stokes equation have been conjectured to thermalize at scales larger than the forcing scale, similar to an absolute equilibrium obtained for the spectrally-truncated Euler equation. Using direct numeric simulations of Taylor-Green flows and general-periodic helical flows, we present results on the probability density function, energy spectrum, auto-correlation function and correlation time that compare the two systems. In the case of highly helical flows, we derive an analytic expression describing the correlation time for the absolute equilibrium of helical flows that is different from the $E^{-1/2}k^{-1}$-scaling law of weakly helical flows. This model predicts a new helicity-based scaling law for the correlation time as $\tau(k)\sim H^{-1/2}k^{-1/2}$. This scaling law is verified in simulations of the truncated Euler equation. In simulations of the Navier-Stokes equations the large scale modes of forced Taylor-Green symmetric flows (with zero total helicity and large separation of scales) follow the same properties as absolute equilibrium including a $\tau(k) \sim E^{-1/2}k^{-1}$ scaling for the correlation time. General-periodic helical flows also show similarities between the two systems, however the largest scales of the forced flows deviate from the absolute equilibrium solutions.


title: Distinct signals of the gauge-Higgs unification in $e^+e^-$ collider experiments

abstract: Effects of Kaluza-Klein excited neutral vector bosons ($Z'$ bosons) in the gauge-Higgs unification on $e^+e^- \to \bar{q}q, \ell^+\ell^-$ cross sections are studied, particularly in future $e^+ e^-$ collider experiments with polarized beams. Significant deviations in the energy and polarization dependence in $\sigma(\mu^+\mu^-)$, the lepton forward-backward asymmetry, $R_b(\mu) \equiv \sigma(\bar{b}b)/\sigma(\mu^+\mu^-)$ and the left-right asymmetry from the standard model are predicted.


title: Visualizing Dimensionality Reduction Artifacts: An Evaluation

abstract: Multidimensional scaling allows visualizing high-dimensional data as 2D maps with the premise that insights in 2D reveal valid information in high-dimensions. However, the resulting projections suffer from artifacts such as bad local neighborhood preservation and clusters tearing. Interactively coloring the projection according to the discrepancy between original proximities relative to a reference item reveals these artifacts, but it is not clear if conveying these proximities using color and displaying only local information really helps the visual analysis of projections. We conducted a controlled experiment to investigate the relevance of this interactive technique to help the visual analysis of any projection regardless its quality. We compared the bare projection to the interactive coloring of the original proximities on different visual analysis tasks involving outliers and clusters. Results indicate that the interactive coloring is worthwhile for local tasks as it is significantly robust to projection artifacts whereas the projection is not. However this interactive technique does not help significantly for visual clustering tasks for that projections already give a suitable overview.


title: Digital Signal Processing for Optical Communications and Networks I: Linear Compensation

abstract: The achievable information rates of optical communication networks have been widely increased over the past four decades with the introduction and development of optical amplifiers, coherent detection, advanced modulation formats, and digital signal processing techniques. These developments promoted the revolution of optical communication systems and the growth of Internet, towards the direction of high-capacity and long-distance transmissions. The performance of long-haul high-capacity optical fiber communication systems is significantly degraded by transmission impairments, such as chromatic dispersion, polarization mode dispersion, laser phase noise and Kerr fiber nonlinearities. With the entire capture of the amplitude and phase of the signals using coherent optical detection, the powerful compensation and effective mitigation of the transmission impairments can be implemented using the digital signal processing in electrical domain. This becomes one of the most promising techniques for next-generation optical communication networks to achieve a performance close to the Shannon capacity limit. This chapter will focus on the introduction and investigation of digital signal processing employed for channel impairments compensation based on the coherent detection of optical signals, to provide a roadmap for the design and implementation of realtime optical fiber communication systems.


title: Improving Pyramid Vector Quantizer with power projection

abstract: Pyramid Vector Quantizer (PVQ) is a promising technique especially for multimedia data compression, already used in Opus audio codec and considered for AV1 video codec. It quantizes vectors from Euclidean unit sphere by first projecting them to $L^1$ norm unit sphere, then quantizing and encoding there. This paper shows that the used standard radial projection is suboptimal and proposes to tune its deformations by using parameterized power projection: $x\to x^p/\|x^p\|$ instead, where the optimized power $p$ is applied coordinate-wise, getting usually $\geq 0.5\, dB$ improvement comparing to radial projection.


title: Convergence analysis of a family of robust Kalman filters based on the contraction principle

abstract: In this paper we analyze the convergence of a family of robust Kalman filters. For each filter of this family the model uncertainty is tuned according to the so called tolerance parameter. Assuming that the corresponding state-space model is reachable and observable, we show that the corresponding Riccati-like mapping is strictly contractive provided that the tolerance is sufficiently small, accordingly the filter converges.


title: Understanding Information Transmission in Complex Networks

abstract: Information Theory concepts and methodologies conform the background of how communication systems are studied and understood. They are mainly focused on the source-channel-receiver problem and on the asymptotic limits of accuracy and communication rates, which are the classical problems studied by Shannon. However, the impact of Information Theory on networks (acting as the channel) is just starting. Here, we present an approach to understand how information flows in any connected complex network. Our approach is based on defining linear conservative flows that travel through the network from source to receiver. This framework allows us to have an analytical description of the problem and also linking the topological invariants of the network, such as the node degree, with the information flow. In particular, our approach is able to deal with information transmission in modular networks (networks containing community structures) or multiplex networks (networks with multiple layers), which are nowadays of paramount importance.


title: Effective interaction in a non-Fermi liquid conductor and spin correlations in under-doped cuprates

abstract: The effective interaction between the itinerant spin degrees of freedom in the paramagnetic phases of hole doped quantum Heisenberg antiferromagnets is investigated theoretically, based on the single-band t-J model on 1D lattice, at zero temperature. The effective spin-spin interaction for this model in the strong correlation limit, is studied in terms of the generalized spin stiffness constant as a function of doping concentration. The plot of this generalized spin stiffness constant against doping shows a very high value of stiffness in the vicinity of zero doping and a very sharp fall with increase in doping concentration, signifying the rapid decay of original coupling of semi-localized spins in the system. Quite interestingly, this plot also shows a maximum occurring at a finite value of doping, which strongly suggests the tendency of the itinerant spins to couple again in the unconventional paramagnetic phase. As the doping is further increased, this new coupling is also suppressed and the spin response becomes analogous to almost Pauli-like. The last two predictions of ours are quite novel and may be directly tested by independent experiments and computational techniques in future. Our results in general receive good support from other theoretical works and experimental results extracted from the chains of YBa$_2$Cu$_3$O$_{6+x}$.


title: Determination of ${\vert V_{ub} \vert}$ at Belle II

abstract: Semileptonic ${B}$ meson decays involving low-mass charged leptons ${e}$ or ${\mu}$ are expected to be free of non-Standard Model contributions and therefore play a critical role in determinations of ${\vert V_{ub} \vert}$ and ${\vert V_{cb} \vert}$. Of all the CKM matrix parameters, ${\vert V_{ub} \vert}$ is the least precisely measured and in most need of additional studies in order to better constrain the apex of the Unitarity Triangle. We focus on exclusive reconstruction of charmless semileptonic ${B}$ meson decay ${B \to \pi \ell \nu}$, and present prospects and estimates for measuring ${\vert V_{ub} \vert}$ at Belle II with the full planned dataset of ${50~\mathrm{ab}^{-1}}$ of integrated luminosity.


title: Geometry of the moduli space of $n$-pointed K3 surfaces of genus 11

abstract: We prove that the moduli space of polarized $K3$ surfaces of genus eleven with $n$ marked points is unirational when $n\leq 6$ and uniruled when $n\leq7$. As a consequence, we settle a long standing but not proved assertion about the unirationality of $\cal{M}_{11,n}$ for $n\leq6$. We also prove that the moduli space of polarized $K3$ surfaces of genus eleven with $9$ marked points has non-negative Kodaira dimension.


title: Signatures of a gearwheel quantum spin liquid in a spin-$\frac{1}{2}$ pyrochlore molybdate Heisenberg antiferromagnet

abstract: We theoretically investigate the low-temperature phase of the recently synthesized Lu$_2$Mo$_2$O$_5$N$_2$ material, an extraordinarily rare realization of a $S=1/2$ three-dimensional pyrochlore Heisenberg antiferromagnet in which Mo$^{5+}$ are the $S=1/2$ magnetic species. Despite a Curie-Weiss temperature ($\Theta_{\rm CW}$) of $-121(1)$ K, experiments have found no signature of magnetic ordering $or$ spin freezing down to $T^*\approx0.5$ K. Using density functional theory, we find that the compound is well described by a Heisenberg model with exchange parameters up to third nearest neighbors. The analysis of this model via the pseudofermion functional renormalization group method reveals paramagnetic behavior down to a temperature of at least $T=|\Theta_{\rm CW}|/100$, in agreement with the experimental findings hinting at a possible three-dimensional quantum spin liquid. The spin susceptibility profile in reciprocal space shows momentum-dependent features forming a "gearwheel" pattern, characterizing what may be viewed as a molten version of a chiral noncoplanar incommensurate spiral order under the action of quantum fluctuations. Our calculated reciprocal space susceptibility maps provide benchmarks for future neutron scattering experiments on single crystals of Lu$_2$Mo$_2$O$_5$N$_2$.


title: Local conditional entropy in measure for covers with respect to a fixed partition

abstract: In this paper, we introduce two measure theoretical notions of conditional entropy for finite measurable covers conditioned to a finite measurable partition and prove that they are equal. Using this we state a local variational principle with respect to the notion of conditional entropy defined by Misiurewicz in \cite{M} for the case of open covers. This in particular extends the work done in \cite{R} and \cite{HYZ}.


title: Classification of super-modular categories by rank

abstract: We pursue a classification of low-rank super-modular categories parallel to that of modular categories. We classify all super-modular categories up to rank=$6$, and spin modular categories up to rank=$11$. In particular, we show that, up to fusion rules, there is exactly one non-split super-modular category of rank $2,4$ and $6$, namely $PSU(2)_{4k+2}$ for $k=0,1$ and $2$. This classification is facilitated by adapting and extending well-known constraints from modular categories to super-modular categories, such as Verlinde and Frobenius-Schur indicator formulae.


title: Non-universality in the erosion of tilted landscapes

abstract: The anisotropic model for landscapes erosion proposed by Pastor-Satorras and Rothman in [R. Pastor-Satorras and D. H. Rothman, Phys. Rev. Lett. 80, 4349 (1998)] is believed to capture the physics of erosion at intermediate length scale ($\lesssim3$ km), and to account for the large value of the roughness exponent $\alpha$ observed in real data at this scale. Our study of this model -- conducted using the nonperturbative renormalization group (NPRG) -- concludes on the nonuniversality of this exponent because of the existence of a line of fixed points. Thus the roughness exponent depends (weakly) on the details of the soil and the erosion mechanisms. We conjecture that this feature, while preserving the generic scaling observed in real data, could explain the wide spectrum of values of $\alpha$ measured for natural landscapes.


title: Constructing a Consensus Phylogeny from a Leaf-Removal Distance

abstract: Understanding the evolution of a set of genes or species is a fundamental problem in evolutionary biology. The problem we study here takes as input a set of trees describing {possibly discordant} evolutionary scenarios for a given set of genes or species, and aims at finding a single tree that minimizes the leaf-removal distance to the input trees. This problem is a specific instance of the general consensus/supertree problem, widely used to combine or summarize discordant evolutionary trees. The problem we introduce is specifically tailored to address the case of discrepancies between the input trees due to the misplacement of individual taxa. Most supertree or consensus tree problems are computationally intractable, and we show that the problem we introduce is also NP-hard. We provide tractability results in form of a 2-approximation algorithm. We also introduce a variant that minimizes the maximum number $d$ of leaves that are removed from any input tree, and provide a parameterized algorithm for this problem with parameter $d$.


title: Momentum-dependent susceptibilities and magnetic exchange in bcc iron from supercell DMFT calculations

abstract: We analyze the momentum- and temperature dependences of the magnetic susceptibilities and magnetic exchange interaction in paramagnetic bcc iron by a combination of density functional theory and dynamical mean-field theory (DFT+DMFT). By considering a general derivation of the orbital-resolved effective model for spin degrees of freedom for Hund's metals, we relate momentum-dependent susceptibilities in the paramagnetic phase to the magnetic exchange. We then calculate non-uniform orbital-resolved susceptibilities at high-symmetry wave vectors by constructing appropriate supercells in the DMFT approach. Extracting the irreducible parts of susceptibilities with respect to Hund's exchange interaction, we determine the corresponding orbital-resolved exchange interactions, which are then interpolated to the whole Brillouin zone. Using the spherical model we estimate the temperature dependence of the resulting exchange between local moments.


title: Damping self-forces and Asymptotic Symmetries

abstract: Energy conservation in radiating processes requires, at the classical level, to take into account damping forces on the sources. These forces can be represented in terms of asymptotic data and lead to charges defined as integrals over the asymptotic boundary. For scattering processes these charges, in case of zero radiated energy, are conserved and encode the information about the sub-leading soft theorems and matching conditions. The QED version of the self forces is associated with the dependence of the differential cross section on the infrared resolution scale.


title: Equidistributions of Mahonian statistics over pattern avoiding permutations

abstract: A Mahonian d-function is a Mahonian statistic that can be expressed as a linear combination of vincular pattern statistics of length at most d. Babson and Steingrimsson classified all Mahonian 3-functions up to trivial bijections and identified many of them with well-known Mahonian statistics in the literature. We prove a host of Mahonian 3-function equidistributions over pattern avoiding sets of permutations. Tools used include block decomposition, Dyck paths and generating functions.


title: Boson sampling with Gaussian measurements

abstract: We develop an alternative boson sampling model operating on single-photon states followed by linear interferometry and Gaussian measurements. The hardness proof for simulating such continuous-variable measurements is established in two main steps, making use of the symmetry of quantum evolution under time reversal. Namely, we first construct a twofold version of scattershot boson sampling in which, as opposed to the original proposal, both legs of a collection of two-mode squeezed vacuum states undergo parallel linear-optical transformations. This twofold scattershot model yields, as a corollary, an instance of boson sampling from Gaussian states where photon counting is hard to simulate. Then, a time-reversed setup is used to exhibit a boson sampling model in which the simulation of Gaussian measurements -- namely the outcome of eight-port homodyne detection -- is proven to be computationally hard. These results illustrate how the symmetry of quantum evolution under time reversal may serve as a tool for analyzing the computational complexity of novel physically-motivated computational problems.


title: Quantitative stochastic homogenization and large-scale regularity

abstract: This is a preliminary version of a book which presents the quantitative homogenization and large-scale regularity theory for elliptic equations in divergence-form. The self-contained presentation gives new and simplified proofs of the core results proved in the last several years, including the algebraic convergence rate for the variational subadditive quantities, the large-scale Lipschitz and higher regularity estimates and Liouville-type results, optimal quantitative estimates on the first-order correctors and their scaling limit to a Gaussian free field. There are several chapters containing new results, such as: quantitative estimates for the Dirichlet problem, including optimal quantitative estimates of the homogenization error and the two-scale expansion; optimal estimates for the homogenization of the parabolic and elliptic Green functions; and $W^{1,p}$-type estimates for two-scale expansions.


title: Back to RGB: 3D tracking of hands and hand-object interactions based on short-baseline stereo

abstract: We present a novel solution to the problem of 3D tracking of the articulated motion of human hand(s), possibly in interaction with other objects. The vast majority of contemporary relevant work capitalizes on depth information provided by RGBD cameras. In this work, we show that accurate and efficient 3D hand tracking is possible, even for the case of RGB stereo. A straightforward approach for solving the problem based on such input would be to first recover depth and then apply a state of the art depth-based 3D hand tracking method. Unfortunately, this does not work well in practice because the stereo-based, dense 3D reconstruction of hands is far less accurate than the one obtained by RGBD cameras. Our approach bypasses 3D reconstruction and follows a completely different route: 3D hand tracking is formulated as an optimization problem whose solution is the hand configuration that maximizes the color consistency between the two views of the hand. We demonstrate the applicability of our method for real time tracking of a single hand, of a hand manipulating an object and of two interacting hands. The method has been evaluated quantitatively on standard datasets and in comparison to relevant, state of the art RGBD-based approaches. The obtained results demonstrate that the proposed stereo-based method performs equally well to its RGBD-based competitors, and in some cases, it even outperforms them.


title: Why does Einasto profile index $n\sim 6$ occur so frequently?

abstract: We consider the behavior of spherically symmetric Einasto halos composed of gravitating particles in the Fokker-Planck approximation. This approach allows us to consider the undesirable influence of close encounters in the N-body simulations more adequately than the generally accepted criteria. The Einasto profile with index $n \approx 6$ is a stationary solution of the Fokker-Planck equation in the halo center. There are some reasons to believe that the solution is an attractor. Then the Fokker-Planck diffusion tends to transform a density profile to the equilibrium one with the Einasto index $n \approx 6$. We suggest this effect as a possible reason why the Einasto index $n \approx 6$ occurs so frequently in the interpretation of N-body simulation results. The results obtained cast doubt on generally accepted criteria of N-body simulation convergence.

categories: astro-ph.GA astro-ph.CO astro-ph.HE astro-ph.IM


title: Cosmological discordances: a new measure, marginalization effects, and application to geometry vs growth current data sets

abstract: The continuous progress toward more precise cosmological surveys and experiments has galvanized recent interest into consistency tests on cosmological parameters and models. At the heart of this effort is quantifying the degree of inconsistency between two or more cosmological data sets. We introduce an intuitive moment-based measure we call the \textit{index of inconsistency} (IOI) and show that it is sensitive to the separation of the means, the size of the constraint ellipsoids, and their orientations in the parameter space. We find that it tracks accurately the inconsistencies when present. Next, we show that parameter marginalization can cause a loss of information on the inconsistency between two experiments and we quantify such a loss using the drop in IOI. In order to zoom on a given parameter, we define the relative residual IOI and the relative drop in IOI. While these two quantities can provide insights on the parameters that are most responsible for inconsistencies, we find that the full IOI applied to the whole parameter spaces is what must be used to correctly reflect the degree of inconsistency between two experiments. We discuss various properties of IOI, provide its eigenmode decomposition, and compare it to other measures of discordance. Finally, we apply IOI to current geometry data sets (i.e. an improved Supernovae Type Ia compilation, baryon acoustic oscillations from 6dF, SDSS MGS and Lyman-$\alpha$ forest, and high-$\ell$ CMB temperature data from Planck-2015) versus growth data sets (i.e. Redshift Space Distortions from WiggleZ and SDSS, Weak Lensing from CFHTLenS, CMB Lensing, Sunyav-Zeldovich effect, and low-$\ell$ CMB temperature and polarization data from Planck-2015). We find that a persistent inconsistency is present between the two data sets. This could reflect the presence of systematics in the data or inconsistencies in the underlying model.


title: Large scale solitonic back-reaction effects in pre-inflation

abstract: Using Relativistic Quantum Geometry (RQG), we study the emergence of back-reaction modes with solitonic properties, on astrophysical and cosmological scales, in a model of pre-inflation where the universe emerge from a topological phase transition. We found that, modes of the geometrical field that describes back-reaction effects related to larger scales (cosmological scales), are more coherent than those related to astrophysical scales, so that they can be considered a coarse-grained soliton.


title: Optimal hypothesis testing for stochastic block models with growing degrees

abstract: The present paper considers testing an Erdos--Renyi random graph model against a stochastic block model in the asymptotic regime where the average degree of the graph grows with the graph size n. Our primary interest lies in those cases in which the signal-to-noise ratio is at a constant level. Focusing on symmetric two block alternatives, we first derive joint central limit theorems for linear spectral statistics of power functions for properly rescaled graph adjacency matrices under both the null and local alternative hypotheses. The powers in the linear spectral statistics are allowed to grow to infinity together with the graph size. In addition, we show that linear spectral statistics of Chebyshev polynomials are closely connected to signed cycles of growing lengths that determine the asymptotic likelihood ratio test for the hypothesis testing problem of interest. This enables us to construct a sequence of test statistics that achieves the exact optimal asymptotic power within $O(n^3 \log n)$ time complexity in the contiguous regime when $n^2 p_{n,av}^3 \to\infty$ where $p_{n,av}$ is the average connection probability. We further propose a class of adaptive tests that are computationally tractable and completely data-driven. They achieve nontrivial powers in the contiguous regime and consistency in the singular regime whenever $n p_{n,av} \to\infty$. These tests remain powerful when the alternative becomes a more general stochastic block model with more than two blocks.


title: The characteristic halo masses of half-a-million WISE-selected quasars

abstract: Recent work has found evidence for a difference in the bias and dark matter halo masses of WISE-selected obscured and unobscured quasars, implying a distinction between these populations beyond random line-of-sight effects. However, the significance of this difference in the most up-to-date measurements is relatively weak, at $\sim$2$\sigma$ for individual measurements but bolstered by agreement from different techniques, including angular clustering and cross-correlations with cosmic microwave background (CMB) lensing maps. Here, we expand the footprint of previous work, aiming to improve the precision of both methods. In this larger area we correct for position dependent selection effects, in particular fluctuations of the WISE-selected quasar density as a function of Galactic latitude. We also measure the cross-correlation of the obscured and unobscured samples and confirm that they are well-matched in redshift, both centred at $z=1$. Combined with very similar detection fractions and magnitude distributions in the long-wavelength WISE bands, this redshift match strongly supports the fact that IR selection identifies obscured and unobscured quasars of similar bolometric luminosity. Finally, we perform cross-correlations with confirmed spectroscopic quasars, again confirming the results from other methods --- obscured quasars reside in haloes a factor of 3 times more massive than unobscured quasars. This difference is significant at the $\sim$5$\sigma$ level when the measurements are combined, strong support for the idea that obscuration in at least some quasars is tied to the larger environment, and may have an evolutionary component.


title: Golden Littlest Seesaw

abstract: We propose and analyse a new class of Littlest Seesaw models, with two right-handed neutrinos in their diagonal mass basis, based on preserving the first column of the Golden Ratio mixing matrix. We perform an exhaustive analysis of all possible remnant symmetries of the group $A_5$ which can be used to enforce various vacuum alignments for the flavon controlling solar mixing, for two simple cases of the atmospheric flavon vacuum alignment. The solar and atmospheric flavon vacuum alignments are enforced by {\em different} remnant symmetries. We examine the phenomenological viability of each of the possible Littlest Seesaw alignments in $A_5$, which preserve the first column of the Golden ratio mixing matrix, using figures and extensive tables of benchmark points and comparing our predictions to a recent global analysis of neutrino data. We also repeat the analysis for an alternative form of Golden Ratio mixing matrix.


title: Signatures of human impact on self-organized vegetation in the Horn of Africa

abstract: In many dryland environments, vegetation self-organizes into bands that can be clearly identified in remotely-sensed imagery. The status of individual bands can be tracked over time, allowing for a detailed remote analysis of how human populations affect the vital balance of dryland ecosystems. In this study, we characterize vegetation change in areas of the Horn of Africa where imagery taken in the early 1950s is available. We find that substantial change is associated with steep increases in human activity, which we infer primarily through the extent of road and dirt track development. A seemingly paradoxical signature of human impact appears as an increase in the widths of the vegetation bands, which effectively increases the extent of vegetation cover in many areas. We show that this widening occurs due to altered rates of vegetation colonization and mortality at the edges of the bands, and conjecture that such changes are driven by human-induced shifts in plant species composition. Our findings suggest signatures of human impact that may aid in identifying and monitoring vulnerable drylands in the Horn of Africa.


title: Proof Tree Preserving Interpolation

abstract: Craig interpolation in SMT is difficult because, e. g., theory combination and integer cuts introduce mixed literals, i. e., literals containing local symbols from both input formulae. In this paper, we present a scheme to compute Craig interpolants in the presence of mixed literals. Contrary to existing approaches, this scheme neither limits the inferences done by the SMT solver, nor does it transform the proof tree before extracting interpolants. Our scheme works for the combination of uninterpreted functions and linear arithmetic but is extendable to other theories. The scheme is implemented in the interpolating SMT solver SMTInterpol.


title: Quantum Critical Behavior in the Asymptotic Limit of High Disorder: Entropy Stabilized NiCoCr0.8 Alloys

abstract: The behavior of matter near a quantum critical point (QCP) is one of the most exciting and challenging areas of physics research. Emergent phenomena such as high-temperature superconductivity are linked to the proximity to a QCP. Although significant progress has been made in understanding quantum critical behavior in some low dimensional magnetic insulators, the situation in metallic systems is much less clear. Here we demonstrate that NiCoCrx single crystal alloys are remarkable model systems for investigating QCP physics in a metallic environment. For NiCoCrx alloys with x = 0.8, the critical exponents associated with a ferromagnetic quantum critical point (FQCP) are experimentally determined from low temperature magnetization and heat capacity measurements. For the first time, all of the five critical exponents ( gamma-subT =1/2 , beta-subT = 1, delta = 3/2, nuz-subm = 2, alpha-bar-subT = 0) are in remarkable agreement with predictions of Belitz-Kirkpatrick-Vojta (BKV) theory in the asymptotic limit of high disorder. Using these critical exponents, excellent scaling of the magnetization data is demonstrated with no adjustable parameters. We also find a divergence of the magnetic Gruneisen parameter, consistent with a FQCP. This work therefore demonstrates that entropy stabilized concentrated solid solutions represent a unique platform to study quantum critical behavior in a highly tunable class of materials.


title: Using Titles vs. Full-text as Source for Automated Semantic Document Annotation

abstract: A significant part of the largest Knowledge Graph today, the Linked Open Data cloud, consists of metadata about documents such as publications, news reports, and other media articles. While the widespread access to the document metadata is a tremendous advancement, it is yet not so easy to assign semantic annotations and organize the documents along semantic concepts. Providing semantic annotations like concepts in SKOS thesauri is a classical research topic, but typically it is conducted on the full-text of the documents. For the first time, we offer a systematic comparison of classification approaches to investigate how far semantic annotations can be conducted using just the metadata of the documents such as titles published as labels on the Linked Open Data cloud. We compare the classifications obtained from analyzing the documents' titles with semantic annotations obtained from analyzing the full-text. Apart from the prominent text classification baselines kNN and SVM, we also compare recent techniques of Learning to Rank and neural networks and revisit the traditional methods logistic regression, Rocchio, and Naive Bayes. The results show that across three of our four datasets, the performance of the classifications using only titles reaches over 90% of the quality compared to the classification performance when using the full-text. Thus, conducting document classification by just using the titles is a reasonable approach for automated semantic annotation and opens up new possibilities for enriching Knowledge Graphs.


title: Single-cluster PHD filter methods for joint multi-object filtering and parameter estimation

abstract: Many multi-object estimation problems require additional estimation of model or sensor parameters that are either common to all objects or related to unknown characterisation of one or more sensors. Important examples of these include registration of multiple sensors, estimating clutter profiles, and robot localisation. Often these parameters are estimated separately to the multi-object estimation process, which can lead to systematic errors or overconfidence in the estimates. These parameters can be estimated jointly with the multi-object process based only on the sensor data using a single-cluster point process model. This paper presents novel results for joint parameter estimation and multi-object filtering based on a single-cluster second-order Probability Hypothesis Density (PHD) and Cardinalised PHD (CPHD) filter. Experiments provide a comparison between the discussed approaches using different likelihood functions.


title: Sustained Space Complexity

abstract: Memory-hard functions (MHF) are functions whose evaluation cost is dominated by memory cost. MHFs are egalitarian, in the sense that evaluating them on dedicated hardware (like FPGAs or ASICs) is not much cheaper than on off-the-shelf hardware (like x86 CPUs). MHFs have interesting cryptographic applications, most notably to password hashing and securing blockchains. Alwen and Serbinenko [STOC'15] define the cumulative memory complexity (cmc) of a function as the sum (over all time-steps) of the amount of memory required to compute the function. They advocate that a good MHF must have high cmc. Unlike previous notions, cmc takes into account that dedicated hardware might exploit amortization and parallelism. Still, cmc has been critizised as insufficient, as it fails to capture possible time-memory trade-offs, as memory cost doesn't scale linearly, functions with the same cmc could still have very different actual hardware cost. In this work we address this problem, and introduce the notion of sustained-memory complexity, which requires that any algorithm evaluating the function must use a large amount of memory for many steps. We construct functions (in the parallel random oracle model) whose sustained-memory complexity is almost optimal: our function can be evaluated using $n$ steps and $O(n/\log(n))$ memory, in each step making one query to the (fixed-input length) random oracle, while any algorithm that can make arbitrary many parallel queries to the random oracle, still needs $\Omega(n/\log(n))$ memory for $\Omega(n)$ steps. Our main technical contribution is the construction is a family of DAGs on $n$ nodes with constant indegree with high "sustained-space complexity", meaning that any parallel black-pebbling strategy requires $\Omega(n/\log(n))$ pebbles for at least $\Omega(n)$ steps.


title: Higgs Pair Production at NLO QCD for CP-violating Higgs Sectors

abstract: Higgs pair production through gluon fusion is an important process at the LHC to test the dynamics underlying electroweak symmetry breaking. Higgs sectors beyond the Standard Model (SM) can substantially modify this cross section through novel couplings not present in the SM or the on-shell production of new heavy Higgs bosons that subsequently decay into Higgs pairs. CP violation in the Higgs sector is important for the explanation of the observed matter-antimatter asymmetry through electroweak baryogenesis. In this work we compute the next-to-leading order (NLO) QCD corrections in the heavy top quark limit, including the effects of CP violation in the Higgs sector. We choose the effective theory (EFT) approach, which provides a rather model-independent way to explore New Physics (NP) effects by adding dimension-6 operators, both CP-conserving and CP-violating ones, to the SM Lagrangian. Furthermore, we perform the computation within a specific UV-complete model and choose as benchmark model the general 2-Higgs-Doublet Model with CP violation, the C2HDM. Depending on the dimension-6 coefficients, the relative NLO QCD corrections are affected by several per cent through the new CP-violating operators. This is also the case for SM-like Higgs pair production in the C2HDM, while the relative QCD corrections in the production of heavier C2HDM Higgs boson pairs deviate more strongly from the SM case. The absolute cross sections both in the EFT and the C2HDM can be modified by more than an order of magnitude. In particular, in the C2HDM the resonant production of Higgs pairs can by far exceed the SM cross section.


title: Interactive Runtime Verification

abstract: Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of a system at runtime in order to discover and understand its bugs and fix them, inspecting interactively its internal state. Interactive Runtime Verification (i-RV) combines monitoring and interactive debugging. We define an efficient and convenient way to check behavioral properties automatically on a program using a debugger. We aim at helping bug discovery while keeping the classical debugging techniques and interactivity, which allow understanding and fixing bugs.


title: Exploiting the Pruning Power of Strong Local Consistencies Through Parallelization

abstract: Local consistencies stronger than arc consistency have received a lot of attention since the early days of CSP research. %because of the strong pruning they can achieve. However, they have not been widely adopted by CSP solvers. This is because applying such consistencies can sometimes result in considerably smaller search tree sizes and therefore in important speed-ups, but in other cases the search space reduction may be small, causing severe run time penalties. Taking advantage of recent advances in parallelization, we propose a novel approach for the application of strong local consistencies (SLCs) that can improve their performance by largely preserving the speed-ups they offer in cases where they are successful, and eliminating the run time penalties in cases where they are unsuccessful. This approach is presented in the form of two search algorithms. Both algorithms consist of a master search process, which is a typical CSP solver, and a number of slave processes, with each one implementing a SLC method. The first algorithm runs the different SLCs synchronously at each node of the search tree explored in the master process, while the second one can run them asynchronously at different nodes of the search tree. Experimental results demonstrate the benefits of the proposed method.


title: Conflict-free connection numbers of line graphs

abstract: A path in an edge-colored graph is called \emph{conflict-free} if it contains at least one color used on exactly one of its edges. An edge-colored graph $G$ is \emph{conflict-free connected} if for any two distinct vertices of $G$, there is a conflict-free path connecting them. For a connected graph $G$, the \emph{conflict-free connection number} of $G$, denoted by $cfc(G)$, is defined as the minimum number of colors that are required to make $G$ conflict-free connected. In this paper, we investigate the conflict-free connection numbers of connected claw-free graphs, especially line graphs. We first show that for an arbitrary connected graph $G$, there exists a positive integer $k$ such that $cfc(L^k(G))\leq 2$. Secondly, we get the exact value of the conflict-free connection number of a connected claw-free graph, especially a connected line graph. Thirdly, we prove that for an arbitrary connected graph $G$ and an arbitrary positive integer $k$, we always have $cfc(L^{k+1}(G))\leq cfc(L^k(G))$, with only the exception that $G$ is isomorphic to a star of order at least~$5$ and $k=1$. Finally, we obtain the exact values of $cfc(L^k(G))$, and use them as an efficient tool to get the smallest nonnegative integer $k_0$ such that $cfc(L^{k_0}(G))=2$.


title: Anomalous evolution of the near-side jet peak shape in Pb-Pb collisions with ALICE

abstract: Two-particle angular correlations are sensitive probes to study the interaction of jets with the flowing medium produced in heavy-ion collisions. These interactions may appear as modifications of the near-side jet peak compared to pp collisions. In these measurements, the associated per-trigger yield is calculated from the relative azimuthal angle and pseudorapidity between a trigger particle with higher $p_{\rm T}$ (1 GeV/c $ < p_{\rm T} < 8$ GeV/c) and an associated particle. Subsequently, the near-side peak width and shape are extracted as a function of $p_{\rm T}$ and centrality. Results obtained by the ALICE detector from Pb-Pb and pp collisions are presented. In Pb-Pb collisions, a significant broadening of the peak in central events at low $p_{\rm T}$ is observed in the data, and is more pronounced in the $\Delta\eta$ direction than in the $\Delta\varphi$ direction. A novel feature is also observed at low $p_{\rm T}$ in central events: the peak departs from the Gaussian shape, and a depletion around its center appears. To put the broadening and the depletion in context with the strength of longitudinal, radial and elliptic flow, the results are compared to AMPT simulations, which suggest that radial and longitudinal flow play a significant role in the appearance of the observed features.


title: Some preliminary results on the set of principal congruences of a finite lattice

abstract: In the second edition of the congruence lattice book, Problem 22.1 asks for a characterization of subsets $Q$ of a finite distributive lattice $D$ such that there is a finite lattice $L$ whose congruence lattice is isomorphic to $D$ and under this isomorphism $Q$ corresponds the the principal congruences of $L$. In this note, we prove some preliminary results.


title: Equilibria configurations for epitaxial crystal growth with adatoms

abstract: The behavior of a surface energy $\mathcal F(E,u)$, where $E$ is a set of finite perimeter and $u\in L^1(\partial^* E, \mathbb R_+)$ is studied. These energies have been recently considered in the context of materials science to derive a new model in crystal growth that takes into account the effect of atoms freely diffusing on the surface (called adatoms), which are responsible for morphological evolution through an attachment and detachment process. Regular critical points, existence and uniqueness of minimizers are discussed and the relaxation of $\mathcal F$ in a general setting under the $L^1$ convergence of sets and the vague convergence of measures is characterized. This is part of an ongoing project aimed at an analytical study of diffuse interface approximations of the associated evolution equations.


title: Two dimensional self-assembly of inverse patchy colloids

abstract: We report on the self-assembly of inverse patchy colloids (IPC) using Monte Carlo simulations in two-dimensions. The IPC model considered in this work corresponds to either bipolar colloids or colloids decorated with complementary DNA on their surfaces, where only patch and non-patch parts attract. The patch coverage is found to be a dominant factor in deciding equilibrium self-assembled structures. In particular, both regular square and triangular crystals are found to be stable at 0.5 patch coverage. Upon decreasing the patch coverage to 0.33, the regular square crystal is destablized; instead rhombic and triangular crystals are found to be stable. At low patch coverages such as 0.22 and 0.12, only triangular crystal is stabilized at high density. Particles of all the patch coverages show kinetically stable cluster phases of different shape and size, and the average cluster sizes are found to strongly depend on the patch coverage and particle density. State-diagrams showing all the stable phases for each patch coverage are presented. Ordered phases are characterized by bond order parameters {\psi}4, {\psi}6 and radial distribution function. The effect on patch coverage on polarization of the stable structures are also studied. The study demonstrates that inverse patchy colloids are potential candidates to form various ordered two-dimensional structures by tuning the size of the patch.


title: Understanding MIDI: A Painless Tutorial on Midi Format

abstract: A short overview demystifying the midi audio format is presented. The goal is to explain the file structure and how the instructions are used to produce a music signal, both in the case of monophonic signals as for polyphonic signals.