title: The generalized Klein-Gordon oscillator in the background of cosmic string space-time with a linear potential in the Kaluza-Klein theory

abstract: In this work, we study the generalized Klein-Gordon oscillator with interactions on a curved background within the Kaluza-Klein theory. We solve the generalized Klein-Gordon oscillator in the cosmic string space-time with a linear scalar potential and obtain the energy eigenvalue and corresponding eigenfunction. We show that the energy spectrum depends on the global parameters characterizing the space-time and the confining potential parameter. We also solve the generalized Klein-Gordon oscillator in a magnetic cosmic string background in the Kaluza-Klein theory with a linear scalar potential and analyze the analogue effect to the Aharonov-Bohm effect for bound states.


title: Hilbertian Frobenius algebras

abstract: Commutative Hilbertian Frobenius algebras are those commutative semi-group objects in the monoidal category of Hilbert spaces, for which the Hilbert adjoint of the multiplication satisfies the Frobenius compatibility relation, that is, this adjoint is a bimodule map. In this note we prove that they split as an orthogonal direct sum of two closed ideals, their Jacobson radical which in fact is nothing but their annihilator, and the closure of the linear span of their group-like elements. As a consequence such an algebra is semisimple if, and only if, its multiplication has a dense range. In particular every commutative special Hilbertian algebra, that is, with a coisometric multiplication, is semisimple. Extending a known result in the finite-dimensional situation, we prove that the structures of such Frobenius algebras on a given Hilbert space are in one-one correspondence with its bounded above orthogonal sets. We show, moreover, that the category of commutative Hilbertian Frobenius algebras is dually equivalent to a category of pointed sets. Thus, each semigroup morphism between commutative Hilbertian Frobenius semigroups arises from a unique base-point preserving map (of some specific kind), from the set of minimal ideals of its codomain to the set of minimal ideals of its domain, both with zero added. MSC 2010: Primary 46J40, Secondary 16T15.


title: Lightweight Inter-transaction Caching with Precise Clocks and Dynamic Self-invalidation

abstract: Distributed, transactional storage systems scale by sharding data across servers. However, workload-induced hotspots result in contention, leading to higher abort rates and performance degradation. We present KAIROS, a transactional key-value storage system that leverages client-side inter-transaction caching and sharded transaction validation to balance the dynamic load and alleviate workload-induced hotspots in the system. KAIROS utilizes precise synchronized clocks to implement self-invalidating leases for cache consistency and avoids the overhead and potential hotspots due to maintaining sharing lists or sending invalidations. Experiments show that inter-transaction caching alone provides 2.35x the throughput of a baseline system with only intra-transaction caching; adding sharded validation further improves the throughput by a factor of 3.1 over baseline. We also show that lease-based caching can operate at a 30% higher scale while providing 1.46x the throughput of the state-of-the-art explicit invalidation-based caching.


title: Embedding Propagation: Smoother Manifold for Few-Shot Classification

abstract: Few-shot classification is challenging because the data distribution of the training set can be widely different to the test set as their classes are disjoint. This distribution shift often results in poor generalization. Manifold smoothing has been shown to address the distribution shift problem by extending the decision boundaries and reducing the noise of the class representations. Moreover, manifold smoothness is a key factor for semi-supervised learning and transductive learning algorithms. In this work, we propose to use embedding propagation as an unsupervised non-parametric regularizer for manifold smoothing in few-shot classification. Embedding propagation leverages interpolations between the extracted features of a neural network based on a similarity graph. We empirically show that embedding propagation yields a smoother embedding manifold. We also show that applying embedding propagation to a transductive classifier achieves new state-of-the-art results in mini-Imagenet, tiered-Imagenet, Imagenet-FS, and CUB. Furthermore, we show that embedding propagation consistently improves the accuracy of the models in multiple semi-supervised learning scenarios by up to 16\% points. The proposed embedding propagation operation can be easily integrated as a non-parametric layer into a neural network. We provide the training code and usage examples at https://github.com/ElementAI/embedding-propagation.


title: On the large $D$ expansion of Hermitian multi-matrix models

abstract: We investigate the existence and properties of a double asymptotic expansion in $1/N^{2}$ and $1/\sqrt{D}$ in $\mathrm{U}(N)\times\mathrm{O}(D)$ invariant Hermitian multi-matrix models, where the $N\times N$ matrices transform in the vector representation of $\mathrm{O}(D)$. The crucial point is to prove the existence of an upper bound $\eta(h)$ on the maximum power $D^{1+\eta(h)}$ of $D$ that can appear for the contribution at a given order $N^{2-2h}$ in the large $N$ expansion. We conjecture that $\eta(h)=h$ in a large class of models. In the case of traceless Hermitian matrices with the quartic tetrahedral interaction, we are able to prove that $\eta(h)\leq 2h$; the sharper bound $\eta(h)=h$ is proven for a complex bipartite version of the model, with no need to impose a tracelessness condition. We also prove that $\eta(h)=h$ for the Hermitian model with the sextic wheel interaction, again with no need to impose a tracelessness condition.


title: Algorithm to enumerate superspecial Howe curves of genus $4$

abstract: A Howe curve is a curve of genus $4$ obtained as the fiber product over $\mathbf{P}^1$ of two elliptic curves. Any Howe curve is canonical. This paper provides an efficient algorithm to find superspecial Howe curves and that to enumerate their isomorphism classes. We discuss not only an algorithm to test the superspeciality but also an algorithm to test isomorphisms for Howe curves. Our algorithms are much more efficient than conventional ones proposed by the authors so far for general canonical curves. We show the existence of a superspecial Howe curve in characteristic $7<p\le 331$ and enumerate the isomorphism classes of superspecial Howe curves in characteristic $p\le 53$, by executing our algorithms over the computer algebra system Magma.


title: Effective triangular ladders with staggered flux from spin-orbit coupling in 1D optical lattices

abstract: Light-induced spin-orbit coupling is a flexible tool to study quantum magnetism with ultracold atoms. In this work we show that spin-orbit coupled Bose gases in a one-dimensional optical lattice can be mapped into a two-leg triangular ladder with staggered flux following a lowest-band truncation of the Hamiltonian. The effective flux and the ratio of the tunneling strengths can be independently adjusted to a wide range of values. We identify a certain regime of parameters where a hard-core boson approximation holds and the system realizes a frustrated triangular spin ladder with tunable flux. We study the properties of the effective spin Hamiltonian using the density-matrix renormalization-group method and determine the phase diagram at half-filling. It displays two phases: a uniform superfluid and a bond-ordered insulator. The latter can be stabilized only for low Raman detuning. Finally, we provide experimentally feasible trajectories across the parameter space of the SOC system that cross the predicted phase transition.


title: The Residence History Inference Problem

abstract: The use of online user traces for studies of human mobility has received significant attention in recent years. This growing body of work, and the more general importance of human migration patterns to government and industry, motivates the need for a formalized approach to the computational modeling of human mobility - in particular how and when individuals change their place of residence - from online traces. Prior work on this topic has skirted the underlying computational modeling of residence inference, focusing on migration patterns themselves. As a result, to our knowledge, all prior work has employed heuristics to compute something like residence histories. Here, we formalize the residence assignment problem, which seeks, under constraints associated with the minimum length-of-stay at a residence, the most parsimonious sequence of residence periods and places that explains the movement history of an individual. Here we provide an exact solution for this problem and establish its algorithmic complexity. Because the calculation of optimal residence histories (under the assumptions of the model) is tractable, we believe that this method will be a valuable tool for future work on this topic.


title: Nuclear shadowing in DIS at electron-ion colliders

abstract: We present a revision of predictions for nuclear shadowing in deep-inelastic scattering at small Bjorken $x_{Bj}$ corresponding to kinematic regions accessible by the future experiments at electron-ion colliders. The nuclear shadowing is treated within the color dipole formalism based on the rigorous Green function technique. This allows incorporating naturally color transparency and coherence length effects, which are not consistently and properly included in present calculations. For the lowest $|q\bar q\rangle$ Fock component of the photon, our calculations are based on an exact numerical solution of the evolution equation for the Green function. Here the magnitude of shadowing is tested using a realistic form for the nuclear density function, as well as various phenomenological models for the dipole cross section. The corresponding variation of the transverse size of the $q\bar q$ photon fluctuations is important for $x_{Bj}\gtrsim 10^{-4}$, on the contrary with the most of other models, which use frequently only the eikonal approximation with the "frozen" transverse size. At $x_{Bj}\lesssim 0.01$ we calculate within the same formalism also a shadowing correction for the higher Fock component of the photon containing gluons. The corresponding magnitudes of gluon shadowing correction are compared adopting different phenomenological dipole models. Our results are tested by available data from the E665 and NMC collaborations. Finally, the magnitude of nuclear shadowing is predicted for various kinematic regions that should be scanned by the future experiments at electron-ion colliders.


title: Minimal dark matter models with radiative neutrino masses: From Lagrangians to observables

abstract: In this master's thesis, the minimal dark matter models with radiative neutrino masses introduced in arXiv:1308.3655 are examined both in general and, using the model T1-3-B ($\alpha = 0$) as a representative, in more detail. In the process, it is both shown how such models are built and a numerical analysis tool chain is established, automating as many steps as possible from the very beginning (deriving the Lagrangian from a given field content) to the very end (calculating observables such as the dark matter relic density, the direct detection cross section and the neutrino masses and mixing matrices). As an important result in laying out the mathematical groundwork, a convention for representations of SU(2) is established which, in this form, is not found in previous works. Another major result is the development of the program minimal-lagrangians, whose capabilities are described in the thesis. It is of great use both for the construction of Lagrangians for new models as well their verification or quick surveys. minimal-lagrangians can be applied to any model within the class it is designed to handle, extending its utility far beyond a one-time result that is only obtained for a single model. Finally, the first steps in the analysis of the model T1-3-B ($\alpha = 0$) are taken. It is shown that the model can reproduce both the singlet-doublet fermion dark matter model and the inert triplet model in the appropriate limits. Moreover, the neutrino mass matrix is found and it is demonstrated that the model can accommodate current constraints on the neutrino masses. Lastly, the behavior of the dark matter relic density as it depends on the parameter responsible for the generation of neutrino masses is investigated. Further in-depth study of the model T1-3-B ($\alpha = 0$) was performed in a separate publication (arXiv:1812.11133).


title: On the H\"older regularity of signed solutions to a doubly nonlinear equation

abstract: We establish the interior and boundary H\"older continuity of possibly sign-changing solutions to a class of doubly nonlinear parabolic equations whose prototype is \[ \partial_t\big(|u|^{p-2}u\big)-\Delta_p u=0,\quad p>1. \] The proof relies on the property of expansion of positivity and the method of intrinsic scaling, all of which are realized by De Giorgi's iteration. Our approach, while emphasizing the distinct roles of sub(super)-solutions, is flexible enough to obtain the H\"older regularity of solutions to initial-boundary value problems of Dirichlet type or Neumann type in a cylindrical domain, up to the parabolic boundary. In addition, based on the expansion of positivity, we are able to give an alternative proof of Harnack's inequality for non-negative solutions. Moreover, as a consequence of the interior estimates, we also obtain a Liouville-type result.


title: Tightly-coupled Fusion of Global Positional Measurements in Optimization-based Visual-Inertial Odometry

abstract: Motivated by the goal of achieving robust, drift-free pose estimation in long-term autonomous navigation, in this work we propose a methodology to fuse global positional information with visual and inertial measurements in a tightly-coupled nonlinear-optimization-based estimator. Differently from previous works, which are loosely-coupled, the use of a tightly-coupled approach allows exploiting the correlations amongst all the measurements. A sliding window of the most recent system states is estimated by minimizing a cost function that includes visual re-projection errors, relative inertial errors, and global positional residuals. We use IMU preintegration to formulate the inertial residuals and leverage the outcome of such algorithm to efficiently compute the global position residuals. The experimental results show that the proposed method achieves accurate and globally consistent estimates, with negligible increase of the optimization computational cost. Our method consistently outperforms the loosely-coupled fusion approach. The mean position error is reduced up to 50% with respect to the loosely-coupled approach in outdoor Unmanned Aerial Vehicle (UAV) flights, where the global position information is given by noisy GPS measurements. To the best of our knowledge, this is the first work where global positional measurements are tightly fused in an optimization-based visual-inertial odometry algorithm, leveraging the IMU preintegration method to define the global positional factors.


title: On the uniform convergence of ergodic averages for $C^*$-dynamical systems

abstract: We investigate some ergodic and spectral properties of general (discrete) $C^*$-dynamical systems $({\mathfrak A},\Phi)$ made of a unital $C^*$-algebra and a multiplicative, identity-preserving $*$-map $\Phi:{\mathfrak A}\to{\mathfrak A}$, particularising the situation when $({\mathfrak A},\Phi)$ enjoys the property of unique ergodicity with respect to the fixed-point subalgebra. For $C^*$-dynamical systems enjoying or not the strong ergodic property mentioned above, we provide conditions on $\lambda$ in the unit circle $\{z\in{\mathbb C}\mid |z|=1\}$ and the corresponding eigenspace ${\mathfrak A}_\lambda\subset{\mathfrak A}$ for which the sequence of Cesaro averages $\left(\frac1{n}\sum_{k=0}^{n-1}\lambda^{-k}\Phi^k\right)_{n>0}$, converges point-wise in norm. We also describe some pivotal examples coming from quantum probability, to which the obtained results can be applied.


title: The Power Spectrum Of Gravitational Waves In Anisotropic Universe

abstract: One of the predictions from simple inflation models is a stochastic background of gravitational waves (or literally what is called the Primordial Gravitational Waves (\textbf{PGW})) with a nearly scale--invariant spectrum. In this work, we consider these waves arising from perturbing the Anisotropic background (Bianchi type--I) metric by focus on their power spectrums.The intended frameworks are the Einstein's and modified gravity frames. The investigations indicate that in the modified gravity context, the results have more ability to adapt to physical conditions or constraints. Especially, the scale--invariant character of the spectrum is much more pronounced in the modified framework.


title: Phenomenological theory in reentrant uranium-based superconductors

abstract: We develop a phenomenological theory for the family of uranium-based heavy fermion superconductors ($URhGe$, $UCoGe$, and $UTe_2$ ). The theory unifies the understanding of both superconductivity(SC) with a weak magnetic field and reentrant superconductivity(RSC) that appears at the first-order transition line with a high magnetic field. It is shown that the magnetizations along the easy and hard axis have opposite effects on superconductivity. The RSC is induced by the fluctuation parallel to the direction of the magnetic field. The theory makes specific predictions about the variation of triplet superconductivity order parameters $\vec{d}$ with applied external magnetic fields and the existence of a metastable state for the appearance of the RSC.


title: Secure Cloud Storage with Client-Side Encryption Using a Trusted Execution Environment

abstract: With the evolution of computer systems, the amount of sensitive data to be stored as well as the number of threats on these data grow up, making the data confidentiality increasingly important to computer users. Currently, with devices always connected to the Internet, the use of cloud data storage services has become practical and common, allowing quick access to such data wherever the user is. Such practicality brings with it a concern, precisely the confidentiality of the data which is delivered to third parties for storage. In the home environment, disk encryption tools have gained special attention from users, being used on personal computers and also having native options in some smartphone operating systems. The present work uses the data sealing, feature provided by the Intel Software Guard Extensions (Intel SGX) technology, for file encryption. A virtual file system is created in which applications can store their data, keeping the security guarantees provided by the Intel SGX technology, before send the data to a storage provider. This way, even if the storage provider is compromised, the data are safe. To validate the proposal, the Cryptomator software, which is a free client-side encryption tool for cloud files, was integrated with an Intel SGX application (enclave) for data sealing. The results demonstrate that the solution is feasible, in terms of performance and security, and can be expanded and refined for practical use and integration with cloud synchronization services.


title: Exploring the Limits of Open Quantum Dynamics II: Gibbs-Preserving Maps from the Perspective of Majorization

abstract: Motivated by reachability questions in coherently controlled open quantum systems coupled to a thermal bath, as well as recent progress in the field of thermo-/vector-majorization we generalize classical majorization from unital quantum channels to channels with an arbitrary fixed point $D$ of full rank. Such channels preserve some Gibbs-state and thus play an important role in the resource theory of quantum thermodynamics, in particular in thermo-majorization. Based on this we investigate $D$-majorization on matrices in terms of its topological and order properties, such as existence of unique maximal and minimal elements, etc. Moreover we characterize $D$-majorization in the qubit case via the trace norm and elaborate on why this is a challenging task when going beyond two dimensions.


title: $D D A$, $D^{*}D^{*}A$ and $D^{*} D A$ vertices in the light-cone QCD and considering $B^0\to {K}_{1}^{+} \pi^-$ branching ratio

abstract: We investigate the strong coupling constants of $D D A$, $D^{*}D^{*}A$ and $D^{*} D A$ vertices in the framework of the light-cone QCD sum rules, where $A$ is an axial vector meson such as $a_1, b_1, K_{1A}, K_{1B}, K_1(1270)$ and $K_1(1400)$. Using the strong coupling constants of $D_s D K_1$, $D_s^* D K_1$ and $D_s^* D^* K_1$ vertices for $K_1(1270)$ and $K_1(1400)$ mesons, we evaluated the branching ratios of the non-leptonic decays $B^0\to {K}_{1}^{+}(1270,1400) \pi^-$. Our results for the branching ratios of these decays are a good agreement with the experimental values.


title: Learning entropy production via neural networks

abstract: This Letter presents a neural estimator for entropy production, or NEEP, that estimates entropy production (EP) from trajectories of relevant variables without detailed information on the system dynamics. For steady state, we rigorously prove that the estimator, which can be built up from different choices of deep neural networks, provides stochastic EP by optimizing the objective function proposed here. We verify the NEEP with the stochastic processes of the bead-spring and discrete flashing ratchet models, and also demonstrate that our method is applicable to high-dimensional data and can provide coarse-grained EP for Markov systems with unobservable states.


title: Sawyer-type inequalities for Lorentz spaces

abstract: The Hardy-Littlewood maximal operator satisfies the classical Sawyer-type estimate $$ \left \Vert \frac{Mf}{v}\right \Vert_{L^{1,\infty}(uv)} \leq C_{u,v} \Vert f \Vert_{L^{1}(u)}, $$ where $u\in A_1$ and $uv\in A_{\infty}$. We prove a novel extension of this result to the general restricted weak type case. That is, for $p>1$, $u\in A_p^{\mathcal R}$, and $uv^p \in A_\infty$, $$ \left \Vert \frac{Mf}{v}\right \Vert_{L^{p,\infty}(uv^p)} \leq C_{u,v} \Vert f \Vert_{L^{p,1}(u)}. $$ From these estimates, we deduce new weighted restricted weak type bounds and Sawyer-type inequalities for the $m$-fold product of Hardy-Littlewood maximal operators. We also present an innovative technique that allows us to transfer such estimates to a large class of multi-variable operators, including $m$-linear Calder\'on-Zygmund operators, avoiding the $A_\infty$ extrapolation theorem and producing many estimates that have not appeared in the literature before. In particular, we obtain a new characterization of $A_p^{\mathcal R}$. Furthermore, we introduce the class of weights that characterizes the restricted weak type bounds for the multi(sub)linear maximal operator $\mathcal M$, denoted by $A_{\vec P}^{\mathcal R}$, establish analogous bounds for sparse operators and m-linear Calder\'on-Zygmund operators, and study the corresponding multi-variable Sawyer-type inequalities for such operators and weights. Our results combine mixed restricted weak type norm inequalities, $A_p^{\mathcal R}$ and $A_{\vec P}^{\mathcal R}$ weights, and Lorentz spaces.


title: Hybrid calibration procedure for fringe projection profilometry based on stereo-vision and polynomial fitting

abstract: The key to accurate 3D shape measurement in Fringe Projection Profilometry (FPP) is the proper calibration of the measurement system. Current calibration techniques rely on phase-coordinate mapping (PCM) or back-projection stereo-vision (SV) methods. PCM methods are cumbersome to implement as they require precise positioning of the calibration target relative to the FPP system but produce highly accurate measurements within the calibration volume. SV methods generally do not achieve the same accuracy level. However, the calibration is more flexible in that the calibration target can be arbitrarily positioned. In this work, we propose a hybrid calibration method that leverages the SV calibration approach using a PCM method to achieve higher accuracy. The method has the flexibility of SV methods, is robust to lens distortions, and has a simple relation between the recovered phase and the metric coordinates. Experimental results show that the proposed Hybrid method outperforms the SV method in terms of accuracy and reconstruction time due to its low computational complexity.


title: I-ViSE: Interactive Video Surveillance as an Edge Service using Unsupervised Feature Queries

abstract: Situation AWareness (SAW) is essential for many mission critical applications. However, SAW is very challenging when trying to immediately identify objects of interest or zoom in on suspicious activities from thousands of video frames. This work aims at developing a queryable system to instantly select interesting content. While face recognition technology is mature, in many scenarios like public safety monitoring, the features of objects of interest may be much more complicated than face features. In addition, human operators may not be always able to provide a descriptive, simple, and accurate query. Actually, it is more often that there are only rough, general descriptions of certain suspicious objects or accidents. This paper proposes an Interactive Video Surveillance as an Edge service (I-ViSE) based on unsupervised feature queries. Adopting unsupervised methods that do not reveal any private information, the I-ViSE scheme utilizes general features of a human body and color of clothes. An I-ViSE prototype is built following the edge-fog computing paradigm and the experimental results verified the I-ViSE scheme meets the design goal of scene recognition in less than two seconds.


title: Comparing district heating options under uncertainty using stochastic ordering

abstract: District heating is a network of pipes through which heat is delivered from a centralised source. It is expected to play an important role in the decarbonisation of the energy sector in the coming years. In district heating, heat is traditionally generated through fossil fuels, often with combined heat and power (CHP) units. However, increasingly, waste heat is being used as a low carbon alternative, either directly or, for low temperature sources, via a heat pump. The design of district heating often has competing objectives: the need for inexpensive energy and meeting low carbon targets. In addition, the planning of district heating schemes is subject to multiple sources of uncertainty such as variability in heat demand and energy prices. This paper proposes a decision support tool to analyse and compare system designs for district heating under uncertainty using stochastic ordering (dominance). Contrary to traditional uncertainty metrics that provide statistical summaries and impose total ordering, stochastic ordering is a partial ordering and operates with full probability distributions. In our analysis, we apply the orderings in the mean and dispersion to the waste heat recovery problem in Brunswick, Germany.


title: Robust decompositions of quantum states

abstract: Classical-quantum computational complexity separations are an important motivation for the long-term development of digital quantum computers, but classical-quantum complexity equivalences are just as important in our present era of noisy intermediate-scale quantum devices for framing near-term progress towards quantum supremacy. We establish one such equivalence using a noisy quantum circuit model that can be simulated efficiently on classical computers. With respect to its noise model, quantum states have a robust decomposition into a sequence of operations that each extend the state by one qubit without spreading errors between qubits. This enables universal quantum sampling of states with an efficient representation in this robust form and observables with low quantum weight that can be sampled from general measurements on a few qubits and computational basis measurements on the remaining qubits. These robust decompositions are not unique, and we construct two distinct variants, both of which are compatible with machine-learning methodology. They both enable efficiently computable lower bounds on von Neumann entropy and thus can be used as finite-temperature variational quantum Monte Carlo methods.


title: Total reflection of two guided waves for embedded trapped modes

abstract: To investigate the mechanism of wave trapping, acoustic embedded trapped modes associated with two-resonant-mode interference in two-dimensional duct-cavity structures are calculated by the feedback-loop closure principle, which allows us to analyse the travelling modes that construct the trapped modes. The exact two coexisting resonant modes that underpin an embedded trapped mode in a cavity open to two semi-infinite ducts are numerically demonstrated. At the interface between the cavity segment and a duct, total reflection can occur for a particular combination of two propagative guided waves in the cavity. With a particular cavity length and a particular frequency, total reflection also happens for the two reflected waves at the opposite end of the cavity. In this way, the two coexisting standing waves underpin a trapped mode. It is found that the two standing waves are not two closed-cavity modes. Thus, this work presents a new understanding of such embedded trapped modes as a product of total reflection of two guided waves at the interface between two waveguides, rather than interference between two eigenmodes of a closed cavity. For quasi-trapped modes, the Fano scattering phenomenon owing to the effects of two acoustic channels is also shown.


title: Gradient-based adversarial attacks on categorical sequence models via traversing an embedded world

abstract: Deep learning models suffer from a phenomenon called adversarial attacks: we can apply minor changes to the model input to fool a classifier for a particular example. The literature mostly considers adversarial attacks on models with images and other structured inputs. However, the adversarial attacks for categorical sequences can also be harmful. Successful attacks for inputs in the form of categorical sequences should address the following challenges: (1) non-differentiability of the target function, (2) constraints on transformations of initial sequences, and (3) diversity of possible problems. We handle these challenges using two black-box adversarial attacks. The first approach adopts a Monte-Carlo method and allows usage in any scenario, the second approach uses a continuous relaxation of models and target metrics, and thus allows usage of state-of-the-art methods for adversarial attacks with little additional effort. Results for money transactions, medical fraud, and NLP datasets suggest that proposed methods generate reasonable adversarial sequences that are close to original ones but fool machine learning models.


title: Modular Flavor Symmetry on Magnetized Torus

abstract: We study the modular invariance in magnetized torus models. Modular invariant flavor model is a recently proposed hypothesis for solving the flavor puzzle, where the flavor symmetry originates from modular invariance. In this framework coupling constants such as Yukawa couplings are also transformed under the flavor symmetry. We show that the low-energy effective theory of magnetized torus models is invariant under a specific subgroup of the modular group. Since Yukawa couplings as well as chiral zero modes transform under the modular group, the above modular subgroup (referred to as modular flavor symmetry) provides a new type of modular invariant flavor models with $D_4 \times \mathbb{Z}_2$, $(\mathbb{Z}_4 \times \mathbb{Z}_2) \rtimes \mathbb{Z}_2$, and $(\mathbb{Z}_8 \times \mathbb{Z}_2) \rtimes \mathbb{Z}_2$. We also find that conventional discrete flavor symmetries which arise in magnetized torus model are non-commutative with the modular flavor symmetry. Combining both two symmetries we obtain a larger flavor symmetry, where the conventional flavor symmetry is a normal subgroup of the whole group.


title: Phase Transition Analysis for Covariance Based Massive Random Access with Massive MIMO

abstract: This paper considers a massive random access problem in which a large number of sporadically active devices wish to communicate with a base station (BS) equipped with massive multiple-input multiple-output (MIMO) antennas. Each device is preassigned a unique signature sequence, and the BS identifies the active devices by detecting which sequences are transmitted. This device activity detection problem can be formulated as a maximum likelihood estimation (MLE) problem for which the sample covariance matrix of the received signal is a sufficient statistic. The goal of this paper is to characterize the feasible set of problem parameters under which this covariance based approach is able to successfully recover the device activities in the massive MIMO regime. Through an analysis of the asymptotic behaviors of MLE via its associated Fisher information matrix, this paper derives a necessary and sufficient condition on the Fisher information matrix to ensure a vanishing probability of detection error as the number of antennas goes to infinity, based on which a numerical phase transition analysis is obtained. This condition is also examined from a perspective of covariance matching, which relates the phase transition analysis to a recently derived scaling law. Further, we provide a characterization of the distribution of the estimation error in MLE, based on which the error probabilities in device activity detection can be accurately predicted. Finally, this paper studies a random access scheme with joint device activity and data detection and analyzes its performance in a similar way.


title: A Uniform Treatment of Aggregates and Constraints in Hybrid ASP

abstract: Characterizing hybrid ASP solving in a generic way is difficult since one needs to abstract from specific theories. Inspired by lazy SMT solving, this is usually addressed by treating theory atoms as opaque. Unlike this, we propose a slightly more transparent approach that includes an abstract notion of a term. Rather than imposing a syntax on terms, we keep them abstract by stipulating only some basic properties. With this, we further develop a semantic framework for hybrid ASP solving and provide aggregate functions for theory variables that adhere to different semantic principles, show that they generalize existing aggregate semantics in ASP and how we can rely on off-the-shelf hybrid solvers for implementation.


title: Consistency of hadronic vacuum polarization between lattice QCD and the R-ratio

abstract: There are emerging tensions for theory results of the hadronic vacuum polarization contribution to the muon anomalous magnetic moment both within recent lattice QCD calculations and between some lattice QCD calculations and R-ratio results. In this paper we work towards scrutinizing critical aspects of these calculations. We focus in particular on a precise calculation of Euclidean position-space windows defined by RBC/UKQCD that are ideal quantities for cross-checks within the lattice community and with R-ratio results. We perform a lattice QCD calculation using physical up, down, strange, and charm sea quark gauge ensembles generated in the staggered formalism by the MILC collaboration. We study the continuum limit using inverse lattice spacings from $a^{-1}\approx 1.6$ GeV to $3.5$ GeV, identical to recent studies by FNAL/HPQCD/MILC and Aubin et al. and similar to the recent study of BMW. Our calculation exhibits a tension for the particularly interesting window result of $a_\mu^{\rm ud, conn.,isospin, W}$ from $0.4$ fm to $1.0$ fm with previous results obtained with a different discretization of the vector current on the same gauge configurations. Our results may indicate a difficulty related to estimating uncertainties of the continuum extrapolation that deserves further attention. In this work we also provide results for $a_\mu^{\rm ud,conn.,isospin}$, $a_\mu^{\rm s,conn.,isospin}$, $a_\mu^{\rm SIB,conn.}$ for the total contribution and a large set of windows. For the total contribution, we find $a_\mu^{\rm HVP~LO}=714(27)(13) 10^{-10}$, $a_\mu^{\rm ud,conn.,isospin}=657(26)(12) 10^{-10}$, $a_\mu^{\rm s,conn.,isospin}=52.83(22)(65) 10^{-10}$, and $a_\mu^{\rm SIB,conn.}=9.0(0.8)(1.2) 10^{-10}$, where the first uncertainty is statistical and the second systematic. We also comment on finite-volume corrections for the strong-isospin-breaking corrections.


title: Two-Higgs-Doublet Model with Soft CP-violation Confronting Electric Dipole Moments and Colliders

abstract: We analyze CP-violating effects in both Electric Dipole Moment (EDM) measurements and future analyses at the Large Hadron Collider (LHC) assuming a Two-Higgs-Doublet Model (2HDM) with "soft" CP-violation. Our analysis of EDMs and current LHC constraints shows that, in the case of a 2HDM Type II and Type III, an $\mathcal{O}(0.1)$ CP-violating phase in the Yukawa interaction between $H_1$ (the $125~\textrm{GeV}$ Higgs boson) and fermions is still allowed. For these scenarios, we study CP-violating effects in the neutron EDM and $t\bar{t}H_1$ production at the LHC. Our analysis shows that such an $\mathcal{O}(0.1)$ CP-violating phase can be easily confirmed or excluded by future neutron EDM tests, with LHC data providing a complementary cross-check.


title: Capacity of Continuous Channels with Memory via Directed Information Neural Estimator

abstract: Calculating the capacity (with or without feedback) of channels with memory and continuous alphabets is a challenging task. It requires optimizing the directed information (DI) rate over all channel input distributions. The objective is a multi-letter expression, whose analytic solution is only known for a few specific cases. When no analytic solution is present or the channel model is unknown, there is no unified framework for calculating or even approximating capacity. This work proposes a novel capacity estimation algorithm that treats the channel as a `black-box', both when feedback is or is not present. The algorithm has two main ingredients: (i) a neural distribution transformer (NDT) model that shapes a noise variable into the channel input distribution, which we are able to sample, and (ii) the DI neural estimator (DINE) that estimates the communication rate of the current NDT model. These models are trained by an alternating maximization procedure to both estimate the channel capacity and obtain an NDT for the optimal input distribution. The method is demonstrated on the moving average additive Gaussian noise channel, where it is shown that both the capacity and feedback capacity are estimated without knowledge of the channel transition kernel. The proposed estimation framework opens the door to a myriad of capacity approximation results for continuous alphabet channels that were inaccessible until now.


title: Approximate is Good Enough: Probabilistic Variants of Dimensional and Margin Complexity

abstract: We present and study approximate notions of dimensional and margin complexity, which correspond to the minimal dimension or norm of an embedding required to approximate, rather then exactly represent, a given hypothesis class. We show that such notions are not only sufficient for learning using linear predictors or a kernel, but unlike the exact variants, are also necessary. Thus they are better suited for discussing limitations of linear or kernel methods.


title: Interplay between chemical order and magnetic properties in L1$_0$ FeNi (tetrataenite): A First-Principles Study

abstract: We use first-principles-based calculations to investigate the interplay between chemical order and the magnetic properties of $L1_0$ FeNi. In particular, we investigate how deviations from perfect chemical order affect the energy difference between the paramagnetic and ferromagnetic states as well as the important magneto-crystalline anisotropy energy. Our calculations demonstrate a strong effect of the magnetic order on the chemical order-disorder transition temperature, and conversely, a strong enhancement of the magnetic transition temperature by the chemical order. Most interestingly, our results indicate that the magnetic anisotropy does not decrease significantly as long as the deviations from perfect order are not too large. Moreover, we find that in certain cases a slight disorder can result in a higher anisotropy than for the fully ordered structure. We further analyze the correlation between the magneto-crystalline anisotropy and the orbital magnetic moment anisotropy, which allows to study the effect of the local chemical environment on both quantities, potentially enabling further optimization of the magneto-crystalline anisotropy with respect to chemical order and stoichiometric composition.


title: An interior subgradient and a proximal linearized method for DC programming

abstract: In this paper, we study the convergence of an interior subgradient and proximal methods for a DC (difference of convex functions) constrained minimization problem.


title: A Mountaineering Strategy to Excited States: Highly-Accurate Energies and Benchmarks for Exotic Molecules and Radicals

abstract: Aiming at completing the sets of FCI-quality transition energies that we recently developed (\textit{J.~Chem.~Theory Comput.} \textbf{14} (2018) 4360--4379, \textit{ibid.}~\textbf{15} (2019) 1939--1956, and \textit{ibid.}~\textbf{16} (2020) 1711--1741), we provide, in the present contribution, ultra-accurate vertical excitation energies for a series of "exotic" closed-shell molecules containing F, Cl, P, and Si atoms and small radicals, such as CON and its variants, that were not considered to date in such investigations. This represents a total of 81 high-quality transitions obtained with a series of diffuse-containing basis sets of various sizes. For the exotic compounds, these transitions are used to perform benchmarks with a vast array of lower-level models, $\textit{i.e.}$ CIS(D), EOM-MP2, (SOS/SCS)-CC2, STEOM-CCSD, CCSD, CCSDR(3), CCSDT-3, (SOS-)ADC(2), and ADC(3). Additional comparisons are made with literature data. For the open-shell compounds, we have compared the performances of both the unrestricted and restricted open-shell CCSD and CC3 formalisms.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.str-el physics.comp-ph


title: Design and construction of a compact rotary substrate heater for deposition systems

abstract: We have designed and constructed a compact rotary substrate heater for the temperature range from 25 $^\circ$C to 700 $^\circ$C. The heater can be implemented in any deposition system where crystalline samples are needed. Its main function is to provide a heat treatment in situ during film growth. The temperature is monitored and controlled by a temperature controller coupled to a type K thermocouple. A heater case was designed to host a resistive element and at the same time to allow the substrate holder to freely rotate. Rotation is crucial not only for film homogeneity during deposition but also for the elimination of temperature gradients on the substrate holder. To tolerate oxidizing and corrosive environments, the instrument was made of stainless steel which also works as "coolant" taking advantage of heat dissipation. The instrument performs well for long periods of time with stable temperatures. We hope that this project is useful for laboratories wishing to have a compact rotary heater that meets the requirements for crystal growth and film homogeneity.


title: Change Point Models for Real-time Cyber Attack Detection in Connected Vehicle Environment

abstract: Connected vehicle (CV) systems are cognizant of potential cyber attacks because of increasing connectivity between its different components such as vehicles, roadside infrastructure, and traffic management centers. However, it is a challenge to detect security threats in real-time and develop appropriate or effective countermeasures for a CV system because of the dynamic behavior of such attacks, high computational power requirement, and a historical data requirement for training detection models. To address these challenges, statistical models, especially change point models, have potentials for real-time anomaly detections. Thus, the objective of this study is to investigate the efficacy of two change point models, Expectation Maximization (EM) and two forms of Cumulative Summation (CUSUM) algorithms (i.e., typical and adaptive), for real-time V2I cyber attack detection in a CV Environment. To prove the efficacy of these models, we evaluated these two models for three different type of cyber attack, denial of service (DOS), impersonation, and false information, using basic safety messages (BSMs) generated from CVs through simulation. Results from numerical analysis revealed that EM, CUSUM, and adaptive CUSUM could detect these cyber attacks, DOS, impersonation, and false information, with an accuracy of (99%, 100%, 100%), (98%, 10%, 100%), and (100%, 98%, 100%) respectively.


title: Adaptive shaping for generation of optical arbitrary waveform

abstract: A new adaptive shaping method that can generate arbitrary optical waveforms with folded-type or fan-type birefringent variable shapers is proposed in this paper. Automatic arbitrary laser temporal shaping of picosecond and femtosecond lasers in shapers with material dispersion, nonidentical birefringent retarders are also studied and results are presented demonstrating the power of the method.


title: Style-compatible Object Recommendation for Multi-room Indoor Scene Synthesis

abstract: Traditional indoor scene synthesis methods often take a two-step approach: object selection and object arrangement. Current state-of-the-art object selection approaches are based on convolutional neural networks (CNNs) and can produce realistic scenes for a single room. However, they cannot be directly extended to synthesize style-compatible scenes for multiple rooms with different functions. To address this issue, we treat the object selection problem as combinatorial optimization based on a Labeled LDA (L-LDA) model. We first calculate occurrence probability distribution of object categories according to a topic model, and then sample objects from each category considering their function diversity along with style compatibility, while regarding not only separate rooms, but also associations among rooms. User study shows that our method outperforms the baselines by incorporating multi-function and multi-room settings with style constraints, and sometimes even produces plausible scenes comparable to those produced by professional designers.


title: BirdNet+: End-to-End 3D Object Detection in LiDAR Bird's Eye View

abstract: On-board 3D object detection in autonomous vehicles often relies on geometry information captured by LiDAR devices. Albeit image features are typically preferred for detection, numerous approaches take only spatial data as input. Exploiting this information in inference usually involves the use of compact representations such as the Bird's Eye View (BEV) projection, which entails a loss of information and thus hinders the joint inference of all the parameters of the objects' 3D boxes. In this paper, we present a fully end-to-end 3D object detection framework that can infer oriented 3D boxes solely from BEV images by using a two-stage object detector and ad-hoc regression branches, eliminating the need for a post-processing stage. The method outperforms its predecessor (BirdNet) by a large margin and obtains state-of-the-art results on the KITTI 3D Object Detection Benchmark for all the categories in evaluation.


title: On the nilpotency index of the radical of a module category

abstract: Let $A$ be a finite dimensional representation-finite algebra over an algebraically closed field. The aim of this work is to determine which vertices of $Q_A$ are suficient to be consider in order to compute the nilpotency index of the radical of the module category of $A$. In many cases, we give a formula to compute such index taking into account the ordinary quiver of the given algebra.


title: Equation of motion truncation scheme based on partial orthogonalization

abstract: We introduce a general scheme to consistently truncate equations of motion for Green's functions. Our scheme is guaranteed to generate physical Green's functions with real excitation energies and positive spectral weights. There are free parameters in our scheme akin to mean field parameters that may be determined to get as good an approximation to the physics as possible. As a test case we apply our scheme to a two-pole approximation for the 2D Hubbard model. At half-filling we find an insulating solution with several interesting properties: it has low expectation value of the energy and it gives upper and lower Hubbard bands with the full non-interacting bandwidth in the large U limit. Away from half-filling, in particular in the intermediate interaction regime, our scheme allows for several different phases with different number of Fermi surfaces and topologies.


title: Domain Adversarial Training for Infrared-colour Person Re-Identification

abstract: Person re-identification (re-ID) is a very active area of research in computer vision, due to the role it plays in video surveillance. Currently, most methods only address the task of matching between colour images. However, in poorly-lit environments CCTV cameras switch to infrared imaging, hence developing a system which can correctly perform matching between infrared and colour images is a necessity. In this paper, we propose a part-feature extraction network to better focus on subtle, unique signatures on the person which are visible across both infrared and colour modalities. To train the model we propose a novel variant of the domain adversarial feature-learning framework. Through extensive experimentation, we show that our approach outperforms state-of-the-art methods.


title: Provenance of the Cross Sign of 806 in the Anglo-Saxon Chronicle: A possible Lunar Halo over Continental Europe?

abstract: While graphical records of astronomical/meteorological events before telescopic observations are of particular interest, they have frequently undergone multiple copying and may have been modified from the original. Here, we analyze a graphical record of the cross-sign of 806 CE in the Anglo-Saxon Chronicle, which has been considered one of the earliest datable halo drawings in British records, whereas another cross-sign in 776 CE has been associated with the aurora. However, philological studies have revealed the later 806 event is derived from Continental annals. Here, records and drawings for the 806 event have been philologically traced back to mid-9th Century Continental manuscripts and the probable observational site identified as the area of Sens in northern France. The possible lunar halos at that time have been comprehensively examined by numerical ray tracing. Combined with calculations of twilight sky brightness, they identify a visibility window supporting monastic observation. Cruciform halos are shown to be fainter and rarer than brighter and more commonplace lunar halos. Physically credible cloud ice crystal variations can reproduce all the manuscript renditions. The manuscript records prove less than desirable detail but what is presented is fully consistent with a lunar halo interpretation. Finally, the possible societal impacts of such celestial events have been mentioned in the context of contemporary coins in Anglo-Saxon England and the Carolingian Empire. These analyses show that we need to trace their provenance back as far as possible, to best reconstruct the original event, even if graphical records are available for given astronomical/meteorological events.

categories: physics.hist-ph astro-ph.EP physics.ao-ph physics.geo-ph


title: Fixed mmWave Multi-User MIMO: Performance Analysis and Proof-of-Concept Architecture

abstract: In this paper, we present a fixed mmWave Multi-User Multiple-Input Multiple-Output (MIMO) system for fixed wireless access with a unique architecture. A digital MIMO system is combined with an analog multi-beam antenna array which uses a high-dimension 16x16 Butler matrix to obtain 16 orthogonal beams. A system model of this architecture is presented and used to simulate its performance comparing to the performance of common-used patch antennas. Several MIMO precoding techniques are considered and compared with basic analog beamforming. To verify these results, a prototype is built and a dedicated measurement campaign is performed. The results show that the system model is a good approximation and that the use of the multi-beam antenna array is a good alternative to patch antennas for a large number of users.


title: Toward Cross-Domain Speech Recognition with End-to-End Models

abstract: In the area of multi-domain speech recognition, research in the past focused on hybrid acoustic models to build cross-domain and domain-invariant speech recognition systems. In this paper, we empirically examine the difference in behavior between hybrid acoustic models and neural end-to-end systems when mixing acoustic training data from several domains. For these experiments we composed a multi-domain dataset from public sources, with the different domains in the corpus covering a wide variety of topics and acoustic conditions such as telephone conversations, lectures, read speech and broadcast news. We show that for the hybrid models, supplying additional training data from other domains with mismatched acoustic conditions does not increase the performance on specific domains. However, our end-to-end models optimized with sequence-based criterion generalize better than the hybrid models on diverse domains. In term of word-error-rate performance, our experimental acoustic-to-word and attention-based models trained on multi-domain dataset reach the performance of domain-specific long short-term memory (LSTM) hybrid models, thus resulting in multi-domain speech recognition systems that do not suffer in performance over domain specific ones. Moreover, the use of neural end-to-end models eliminates the need of domain-adapted language models during recognition, which is a great advantage when the input domain is unknown.


title: An Empirical Investigation of Pre-Trained Transformer Language Models for Open-Domain Dialogue Generation

abstract: We present an empirical investigation of pre-trained Transformer-based auto-regressive language models for the task of open-domain dialogue generation. Training paradigm of pre-training and fine-tuning is employed to conduct the parameter learning. Corpora of News and Wikipedia in Chinese and English are collected for the pre-training stage respectively. Dialogue context and response are concatenated into a single sequence utilized as the input of the models during the fine-tuning stage. A weighted joint prediction paradigm for both context and response is designed to evaluate the performance of models with or without the loss term for context prediction. Various of decoding strategies such as greedy search, beam search, top-k sampling, etc. are employed to conduct the response text generation. Extensive experiments are conducted on the typical single-turn and multi-turn dialogue corpora such as Weibo, Douban, Reddit, DailyDialog, and Persona-Chat. Detailed numbers of automatic evaluation metrics on relevance and diversity of the generated results for the languages models as well as the baseline approaches are reported.


title: Joint Optimization of User Association, Subchannel Allocation, and Power Allocation in Multi-cell Multi-association OFDMA Heterogeneous Networks

abstract: Heterogeneous network is a novel network architecture proposed in Long-Term-Evolution~(LTE), which highly increases the capacity and coverage compared with the conventional networks. However, in order to provide the best services, appropriate resource management must be applied. In this paper, we consider the joint optimization problem of user association, subchannel allocation, and power allocation for downlink transmission in Multi-cell Multi-association Orthogonal Frequency Division Multiple Access (OFDMA) heterogeneous networks. To solve the optimization problem, we first divide it into two subproblems: 1) user association and subchannel allocation for fixed power allocation; 2) power allocation for fixed user association and subchannel allocation. Subsequently, we obtain a locally optimal solution for the joint optimization problem by solving these two subproblems alternately. For the first subproblem, we derive the globally optimal solution based on graph theory. For the second subproblem, we obtain a Karush-Kuhn-Tucker (KKT) optimal solution by a low complexity algorithm based on the difference of two convex functions approximation (DCA) method. In addition, the multi-antenna receiver case and the proportional fairness case are also discussed. Simulation results demonstrate that the proposed algorithms can significantly enhance the overall network throughput.


title: An Additive Problem over Piatetski-Shapiro Primes and Almost-primes

abstract: Let $\mathcal{P}_r$ denote an almost-prime with at most $r$ prime factors, counted according to multiplicity. In this paper, we establish a theorem of Bombieri-Vinogradov type for the Piatetski-Shapiro primes $p=[n^{1/\gamma}]$ with $\frac{85}{86}<\gamma<1$. Moreover, we use this result to prove that, for $0.9989445<\gamma<1$, there exist infinitely many Piatetski-Shapiro primes such that $p+2=\mathcal{P}_3$, which improves the previous results of Lu, Wang and Cai, and Peneva.


title: Compressive Sensing for Dynamic XRF Scanning

abstract: X-Ray Fluorescence (XRF) scanning is a widespread technique of high importance and impact since it provides chemical composition maps crucial for several scientific investigations. There are continuous requirements for larger, faster and highly resolved acquisitions in order to study complex structures. Among the scientific applications that benefit from it, some of them, such as wide scale brain imaging, are prohibitively difficult due to time constraints. However, typically the overall XRF imaging performance is improving through technological progress on XRF detectors and X-ray sources. This paper suggests an additional approach where XRF scanning is performed in a sparse way by skipping specific points or by varying dynamically acquisition time or other scan settings in a conditional manner. This paves the way for Compressive Sensing in XRF scans where data are acquired in a reduced manner allowing for challenging experiments, currently not feasible with the traditional scanning strategies. A series of different compressive sensing strategies for dynamic scans are presented here. A proof of principle experiment was performed at the TwinMic beamline of Elettra synchrotron. The outcome demonstrates the potential of Compressive Sensing for dynamic scans, suggesting its use in challenging scientific experiments while proposing a technical solution for beamline acquisition software.


title: Modeling temporally uncorrelated components for complex-valued stationary processes

abstract: We consider a complex-valued linear mixture model, under discrete weakly stationary processes. We recover latent components of interest, which have undergone a linear mixing. We study asymptotic properties of a classical unmixing estimator, that is based on simultaneous diagonalization of the covariance matrix and an autocovariance matrix with lag $\tau$. Our main contribution is that our asymptotic results can be applied to a large class of processes. In related literature, the processes are typically assumed to have weak correlations. We extend this class and consider the unmixing estimator under stronger dependency structures. In particular, we analyze the asymptotic behavior of the unmixing estimator under both, long- and short-range dependent complex-valued processes. Consequently, our theory covers unmixing estimators that converge slower than the usual $\sqrt{T}$ and unmixing estimators that produce non-Gaussian asymptotic distributions. The presented methodology is a powerful prepossessing tool and highly applicable in several fields of statistics. Complex-valued processes are frequently encountered in, for example, biomedical applications and signal processing. In addition, our approach can be applied to model real-valued problems that involve temporally uncorrelated pairs. These are encountered in, for example, applications in finance.


title: The impact of magnetic field on the conformations of supracolloidal polymer-like structures with super-paramagnetic monomers

abstract: We investigate the properties of magnetic supracolliodal polymers -- magnetic filaments (MFs) -- with super-paramagnetic monomers, with and without Van der Waals (VdW) attraction between them. We employ molecular dynamics (MD) simulations to elucidate the impact of crosslinking mechanism on the structural and magnetic response of MFs to an applied external homogeneous magnetic field. We consider two models: plain crosslinking, which results in a flexible backbone; and constrained crosslinking, which provides significant stiffens against bending. We find that for plain crosslinking, even a slight increase of the central attraction leads to collapsed MF conformations. Structures that initially exhibit spherical symmetry evolve into cylindrically symmetric ones, with growing magnetic field strength. Plain crosslinking also allows for conformational bistability. MFs with constrained crosslinking tend to, instead, unravel in field. In both crosslinking scenarios, central attraction is able to hinder low-field magnetic response of MFs, albeit the bistability of plainly crosslinked MFs manifests itself also in the high-field region.


title: Ubiquitous algorithms in convex optimization generate self-contracted sequences

abstract: In this work we show that various algorithms, ubiquitous in convex optimization (e.g. proximal-gradient, alternating projections and averaged projections) generate self-contracted sequences $\{x_{k}\}_{k\in\mathbb{N}}$. As a consequence, a novel universal bound for the \emph{length} ($\sum_{k\ge 0}\Vert x_{k+1}-x_k\Vert$) can be deduced. In addition, this bound is independent of both the concrete data of the problem (sets, functions) as well as the stepsize involved, and only depends on the dimension of the space.


title: Finiteness properties for self-similar continua

abstract: We consider self-similar continua possessing finite intersection property and prove intersection graph criterion for self-similar dendrites, finite order Theorem for such continua satisfying open set condition in $\mathbb{R}^n$ and parameter matching Theorem which states that all Jordan arcs starting from a intersection point in such continuum on a plane should have the same slope parameter at that point.


title: Human AI interaction loop training: New approach for interactive reinforcement learning

abstract: Reinforcement Learning (RL) in various decision-making tasks of machine learning provides effective results with an agent learning from a stand-alone reward function. However, it presents unique challenges with large amounts of environment states and action spaces, as well as in the determination of rewards. This complexity, coming from high dimensionality and continuousness of the environments considered herein, calls for a large number of learning trials to learn about the environment through Reinforcement Learning. Imitation Learning (IL) offers a promising solution for those challenges using a teacher. In IL, the learning process can take advantage of human-sourced assistance and/or control over the agent and environment. A human teacher and an agent learner are considered in this study. The teacher takes part in the agent training towards dealing with the environment, tackling a specific objective, and achieving a predefined goal. Within that paradigm, however, existing IL approaches have the drawback of expecting extensive demonstration information in long-horizon problems. This paper proposes a novel approach combining IL with different types of RL methods, namely state action reward state action (SARSA) and asynchronous advantage actor-critic (A3C) agents, to overcome the problems of both stand-alone systems. It is addressed how to effectively leverage the teacher feedback, be it direct binary or indirect detailed for the agent learner to learn sequential decision-making policies. The results of this study on various OpenAI Gym environments show that this algorithmic method can be incorporated with different combinations, significantly decreases both human endeavor and tedious exploration process.


title: Engaging Users through Social Media in Public Libraries

abstract: The participatory library is an emerging concept which refers to the idea that an integrated library system must allow users to take part in core functions of the library rather than engaging on the periphery. To embrace the participatory idea, libraries have employed many technologies, such as social media to help them build participatory services and engage users. To help librarians understand the impact of emerging technologies on a participatory service building, this paper takes social media as an example to explore how to use different engagement strategies that social media provides to engage more users. This paper provides three major contributions to the library system. The libraries can use the resultant engagement strategies to engage its users. Additionally, the best-fit strategy can be inferred and designed based on the preferences of users. Lastly, the preferences of users can be understood based on data analysis of social media. Three such contributions put together to fully address the proposed research question of how to use different engagement strategies on social media to build participatory library services and better engage more users visiting the library?


title: Numerical Aspects of Computing Possible Equilibria for Resource Dependent Branching Processes with Immigration

abstract: This article studies the stability of solutions of equilibrium equations arising in so-called resource dependent branching processes. We argue that these new models, building on the model already presented by Bruss (1984 a), refined and elaborated in Bruss and Duerinckx (2015) and now extended to allow immigration, are suitable to cope with specific properties of human populations. Our main interest is here to understand under which conditions immigration may lead to an equilibrium. At the same time, we would like to advertize resource dependent branching processes as possibly the best models to study such questions. The equilibrium equations for the new models we obtain are clear and informative for several important stability questions. The goal of the study of the specific examples we provide is to see where the impact of immigration is most visible, and in how far increased efforts of integration can cope with dangers of instability. Moreover we discuss the advantages and a weaker point of our model, and also include a brief look at continuous-state, continuous-time branching processes as an alternative.


title: Dispersal-induced instability in complex ecosystems

abstract: In his seminal work in the 1970s Robert May suggested that there was an upper limit to the number of species that could be sustained in stable equilibrium by an ecosystem. This deduction was at odds with both intuition and the observed complexity of many natural ecosystems. The so-called stability-diversity debate ensued, and the discussion about the factors making an ecosystem stable or unstable continues to this day. We show in this work that dispersal can be a destabilising influence. To do this, we combine ideas from Alan Turing's work on pattern formation with May's random-matrix approach. We demonstrate how a stable equilibrium in a complex ecosystem with two trophic levels can become unstable with the introduction of dispersal in space. Conversely, we show that Turing instabilities can occur more easily in complex ecosystems with many species than in the case of only a few species. Our work shows that adding more details to the model of May gives rise to more ways in which an equilibrium can become unstable. Making May's simple model more realistic is therefore unlikely to remove the upper bound on complexity.


title: Composition of kernel and acquisition functions for High Dimensional Bayesian Optimization

abstract: Bayesian Optimization has become the reference method for the global optimization of black box, expensive and possibly noisy functions. Bayesian Op-timization learns a probabilistic model about the objective function, usually a Gaussian Process, and builds, depending on its mean and variance, an acquisition function whose optimizer yields the new evaluation point, leading to update the probabilistic surrogate model. Despite its sample efficiency, Bayesian Optimiza-tion does not scale well with the dimensions of the problem. The optimization of the acquisition function has received less attention because its computational cost is usually considered negligible compared to that of the evaluation of the objec-tive function. Its efficient optimization is often inhibited, particularly in high di-mensional problems, by multiple extrema. In this paper we leverage the addition-ality of the objective function into mapping both the kernel and the acquisition function of the Bayesian Optimization in lower dimensional subspaces. This ap-proach makes more efficient the learning/updating of the probabilistic surrogate model and allows an efficient optimization of the acquisition function. Experi-mental results are presented for real-life application, that is the control of pumps in urban water distribution systems.


title: Principal Moment Analysis

abstract: Principal Moment Analysis is a method designed for dimension reduction, analysis and visualization of high dimensional multivariate data. It generalizes Principal Component Analysis and allows for significant statistical modeling flexibility, when approximating an unknown underlying probability distribution, by enabling direct analysis of general approximate measures. Through https://principalmomentanalysis.github.io/ we provide an implementation, together with a graphical user interface, of a simplex based version of Principal Moment Analysis.


title: Moments de la fonction Delta de Hooley associ\'ee \`a un caract\`ere

abstract: Let $f$ be an arithmetic function, $V\geqslant 1$ a real number and $$\Delta_V(n,f) := \sup\limits_{\substack{u \in \mathbb{R}\\ v \in [0,V]}}{\Big|\sum\limits_{\substack{d\mid n \\ {\rm e}^{u}<d\leqslant {\rm e}^{u+v}}}{f(d)}\Big|}{\rm .}$$ In a paper published in 2012, La Bret\`eche and Tenenbaum investigated weighted moments of $\Delta_1(n,f)$ where $f$ is a non principal real Dirichlet character, or the M\"obius function. Answering a question of Hooley, we extend their results studying dependance in $V$ and including the case of complex characters.


title: Semantic Object Prediction and Spatial Sound Super-Resolution with Binaural Sounds

abstract: Humans can robustly recognize and localize objects by integrating visual and auditory cues. While machines are able to do the same now with images, less work has been done with sounds. This work develops an approach for dense semantic labelling of sound-making objects, purely based on binaural sounds. We propose a novel sensor setup and record a new audio-visual dataset of street scenes with eight professional binaural microphones and a 360 degree camera. The co-existence of visual and audio cues is leveraged for supervision transfer. In particular, we employ a cross-modal distillation framework that consists of a vision `teacher' method and a sound `student' method -- the student method is trained to generate the same results as the teacher method. This way, the auditory system can be trained without using human annotations. We also propose two auxiliary tasks namely, a) a novel task on Spatial Sound Super-resolution to increase the spatial resolution of sounds, and b) dense depth prediction of the scene. We then formulate the three tasks into one end-to-end trainable multi-tasking network aiming to boost the overall performance. Experimental results on the dataset show that 1) our method achieves promising results for semantic prediction and the two auxiliary tasks; and 2) the three tasks are mutually beneficial -- training them together achieves the best performance and 3) the number and orientations of microphones are both important. The data and code will be released to facilitate the research in this new direction.


title: Gutzwiller Hybrid Quantum-Classical Computing Approach for Correlated Materials

abstract: Rapid progress in noisy intermediate-scale quantum (NISQ) computing technology has led to the development of novel resource-efficient hybrid quantum-classical algorithms, such as the variational quantum eigensolver (VQE), that can address open challenges in quantum chemistry, physics and material science. Proof-of-principle quantum chemistry simulations for small molecules have been demonstrated on NISQ devices. While several approaches have been theoretically proposed for correlated materials, NISQ simulations of interacting periodic models on current quantum devices have not yet been demonstrated. Here, we develop a hybrid quantum-classical simulation framework for correlated electron systems based on the Gutzwiller variational embedding approach. We implement this framework on Rigetti quantum processing units (QPUs) and apply it to the periodic Anderson model, which describes a correlated heavy electron band hybridizing with non-interacting conduction electrons. Our simulation results quantitatively reproduce the known ground state quantum phase diagram including metallic, Kondo and Mott insulating phases. This is the first fully self-consistent hybrid quantum-classical simulation of an infinite correlated lattice model executed on QPUs, demonstrating that the Gutzwiller hybrid quantum-classical embedding framework is a powerful approach to simulate correlated materials on NISQ hardware. This benchmark study also puts forth a concrete pathway towards practical quantum advantage on NISQ devices.


title: Report: Evolution of the PM2.5 concentration at Escuelas Aguirre after Madrid Central implementation

abstract: In this report, the evolution of PM2.5 concentration at Escuelas Aguirre monitoring station during the quarters of 2019 and the significance of the differences with the concentration of the quarters of previous years is analysed. These periods include the activation of Madrid Central, which is a major initiative for reducing motor traffic and the associated pollution at the city centre. These periods correspond to the initialisation of, 2019Q1; and to tree fully-operational quarters of Madrid Central, 2019Q2, 2019Q3 and 2019Q4. Escuelas Aguirre monitoring station is not inside Madrid Central but 2 km away. The analysis of the PM2.5 concentration at this station allows discerning the rise of negative effects due to an increment of the motor traffic around the traffic restricted area. The analysis is based on the Binomial Sign Test for a Single Sample. The sample of signs is generated by subtracting the daily mean concentration of PM2.5 for the measurements of the period of two years: 20xx and 2019. Samples for the pair-wise comparisons for the year 2019 versus the years of the periods from 2010 to 2018 are evaluated. An excess of positive or negative sign indicates that the differences between the measurements of concentrations in the comparison of two years are significant. Conversely, a balanced number of positive and negative signs points to no impact of the action. Since wind is an efficient pollution remover, the Binomial Sign Test is also applied to its intensity in the two-periods comparison. This allows discerning if the pollution reduction could be associated to a larger number of windy days in the 2019 quarter under comparison.


title: Local Hypergraph Clustering using Capacity Releasing Diffusion

abstract: Local graph clustering is an important machine learning task that aims to find a well-connected cluster near a set of seed nodes. Recent results have revealed that incorporating higher order information significantly enhances the results of graph clustering techniques. The majority of existing research in this area focuses on spectral graph theory-based techniques. However, an alternative perspective on local graph clustering arises from using max-flow and min-cut on the objectives, which offer distinctly different guarantees. For instance, a new method called capacity releasing diffusion (CRD) was recently proposed and shown to preserve local structure around the seeds better than spectral methods. The method was also the first local clustering technique that is not subject to the quadratic Cheeger inequality by assuming a good cluster near the seed nodes. In this paper, we propose a local hypergraph clustering technique called hypergraph CRD (HG-CRD) by extending the CRD process to cluster based on higher order patterns, encoded as hyperedges of a hypergraph. Moreover, we theoretically show that HG-CRD gives results about a quantity called motif conductance, rather than a biased version used in previous experiments. Experimental results on synthetic datasets and real world graphs show that HG-CRD enhances the clustering quality.


title: Conditions for the difference set of a central Cantor set to be a Cantorval

abstract: Let $C(\lambda )\subset \lbrack 0,1]$ denote the central Cantor set generated by a sequence $ \lambda = \left( \lambda_{n} \right) \in \left( 0,\frac{1}{2} \right) ^{\mathbb{N}}$. By the known trichotomy, the difference set $ C(\lambda )-C(\lambda )$ of $C(\lambda )$ is one of three possible sets: a finite union of closed intervals, a Cantor set, and a Cantorval. Our main result describes effective conditions for $(\lambda_{n})$ which guarantee that $C(\lambda )-C(\lambda )$ is a Cantorval. We show that these conditions can be expressed in several equivalent forms. Under additional assumptions, the measure of the Cantorval $C(\lambda )-C(\lambda )$ is established. We give an application of the proved theorems for the achievement sets of some fast convergent series.


title: General Conditions to Realize Exceptional Points of Degeneracy in Two Uniform Coupled Transmission Lines

abstract: We present the general conditions to realize a fourth order exceptional point of degeneracy (EPD) in two uniform (i.e., invariant along z) lossless and gainless coupled transmission lines (CTLs), namely, a degenerate band edge (DBE). Until now the DBE has been shown only in periodic structures. In contrast, the CTLs considered here are uniform and subdivided into four cases where the two TLs support combinations of forward propagation, backward propagation and evanescent modes (when neglecting the mutual coupling). We demonstrate for the first time that a DBE is supported in uniform CTLs when there is proper coupling between: (i) propagating modes and evanescent modes, (ii) forward and backward propagating modes, or (iii) four evanescent modes (two in each direction). We also show that the loaded quality factor of uniform CTLs exhibiting a fourth order EPD at k=0 is robust to series losses due to the fact that the degenerate modes do not advance in phase. We also provide a microstrip possible implementation of a uniform CTL exhibiting a DBE using periodic series capacitors with very sub-wavelength unit-cell length. Finally, we show an experimental verification of the existence DBE for a microstrip implementation of a CTL supporting coupled propagating and evanescent modes.


title: Decentralized SGD with Over-the-Air Computation

abstract: We study the performance of decentralized stochastic gradient descent (DSGD) in a wireless network, where the nodes collaboratively optimize an objective function using their local datasets. Unlike the conventional setting, where the nodes communicate over error-free orthogonal communication links, we assume that transmissions are prone to additive noise and interference.We first consider a point-to-point (P2P) transmission strategy, termed the OAC-P2P scheme, in which the node pairs are scheduled in an orthogonal fashion to minimize interference. Since in the DSGD framework, each node requires a linear combination of the neighboring models at the consensus step, we then propose the OAC-MAC scheme, which utilizes the signal superposition property of the wireless medium to achieve over-the-air computation (OAC). For both schemes, we cast the scheduling problem as a graph coloring problem. We numerically evaluate the performance of these two schemes for the MNIST image classification task under various network conditions. We show that the OAC-MAC scheme attains better convergence performance with a fewer communication rounds.

categories: eess.SP cs.DC cs.IT cs.LG math.IT stat.ML


title: The localization spectral sequence in the motivic setting

abstract: We construct and study a motivic lift of a spectral sequence associated to a stratified scheme, recently discovered by Petersen in the context of mixed Hodge theory and $\ell$-adic Galois representations. The original spectral sequence expresses the compactly supported cohomology of an open stratum in terms of the compactly supported cohomology of the closures of strata and the combinatorics of the poset underlying the stratification. Some of its special cases are classical tools in the study of arrangements of subvarieties and configuration spaces. Our motivic lift lives in the triangulated category of \'{e}tale motives and takes the shape of a Postnikov system. We describe its connecting morphisms and study some of its functoriality properties.


title: Teaching Temporal Logics to Neural Networks

abstract: We study two fundamental questions in neuro-symbolic computing: can deep learning tackle challenging problems in logics end-to-end, and can neural networks learn the semantics of logics. In this work we focus on linear-time temporal logic (LTL), as it is widely used in verification. We train a Transformer on the problem to directly predict a solution, i.e. a trace, to a given LTL formula. The training data is generated with classical solvers, which, however, only provide one of many possible solutions to each formula. We demonstrate that it is sufficient to train on those particular solutions to formulas, and that Transformers can predict solutions even to formulas from benchmarks from the literature on which the classical solver timed out. Transformers also generalize to the semantics of the logics: while they often deviate from the solutions found by the classical solvers, they still predict correct solutions to most formulas.


title: Application of Support Vector Machines for Seismogram Analysis and Differentiation

abstract: Support Vector Machines (SVM) is a computational technique which has been used in various fields of sciences as a classifier with k-class classification capability, k being 2,3,4, etc. Seismograms of volcanic tremors often contain noises which can prove harmful for correct interpretation. The PCAB station (located in the northern region of Panarea island, Italy) has been recording seismic signals from a pump installed nearby, corrupting the useful signals from Strombolli volcano. SVM with k=2 classification technique after optimization through grid search has been instrumental in identification and classification of the seismic signals coming from pump, reaching a score of 99.7149% of patterns which match the actual membership of class (determined through cross-validation). The predicted labels of SVM has been used to estimate the pump's duration of activity leading to the declaration of corresponding seismograms redundant (not fit for processing and interpretation). However, when the same trained SVM was used to determine whether the seismogram used by Pino et al., 2011 recorded at the same PCAB station on 4th April, 2003 contained pump's signals or not, SVM showed 100% absence of pump's signals thereby authenticating the research work done in the latter.


title: Singularities in Quantum Corrected Space-times

abstract: In this paper we consider a static and regular fluid generating a locally spherically symmetric and time-independent space-time and calculate the leading quantum corrections to the metric to first order in curvature. Starting from a singularity free classical solution of general relativity, we show that singularities can be introduced in the curvature invariants by quantum gravitational corrections calculated using an effective field theory approach to quantum gravity. We identify non-trivial conditions that ensure that curvature invariants remain singularity free to leading order in the curvature expansion of the effective action.


title: Stochastic thermal feedback in switching measurements of superconducting nanobridge caused by overheated electrons and phonons

abstract: We study correlated switchings of superconducting nanobridge probed with train of current pulses. For pulses with low repetition rate each pulse transits the superconducting bridge to normal state with probability $P$ independent of the outcomes in the preceding pulses. We show that with reduction of the time interval between pulses long range correlation between pulses occurs: stochastic switching in a single pulse rises temperature of the bridge and affects outcome of the probing for next pulses. As a result, an artificial intricate stochastic process with adjustable strength of correlation is produced. We identify regime where apparent switching probability exhibits the thermal hysteresis with discontinuity at a critical current amplitude of the probing pulse. This engineered stochastic process can be viewed as an artificial phase transition and provides an interesting framework for studying correlated systems. The process resembles the familiar transition from superconducting to normal state in the current-bias nanowire, proceeding through phase slip avalanche. Due to its extreme sensitivity on the control parameter, i.e. electric current, temperature or magnetic field, it offers opportunity for ultra-sensitive detection.


title: Sparse and Cosparse Audio Dequantization Using Convex Optimization

abstract: The paper shows the potential of sparsity-based methods in restoring quantized signals. Following up on the study of Brauer et al. (IEEE ICASSP 2016), we significantly extend the range of the evaluation scenarios: we introduce the analysis (cosparse) model, we use more effective algorithms, we experiment with another time-frequency transform. The paper shows that the analysis-based model performs comparably to the synthesis-model, but the Gabor transform produces better results than the originally used cosine transform. Last but not least, we provide codes and data in a reproducible way.


title: Beyond Application End-Point Results: Quantifying Statistical Robustness of MCMC Accelerators

abstract: Statistical machine learning often uses probabilistic algorithms, such as Markov Chain Monte Carlo (MCMC), to solve a wide range of problems. Probabilistic computations, often considered too slow on conventional processors, can be accelerated with specialized hardware by exploiting parallelism and optimizing the design using various approximation techniques. Current methodologies for evaluating correctness of probabilistic accelerators are often incomplete, mostly focusing only on end-point result quality ("accuracy"). It is important for hardware designers and domain experts to look beyond end-point "accuracy" and be aware of the hardware optimizations impact on other statistical properties. This work takes a first step towards defining metrics and a methodology for quantitatively evaluating correctness of probabilistic accelerators beyond end-point result quality. We propose three pillars of statistical robustness: 1) sampling quality, 2) convergence diagnostic, and 3) goodness of fit. We apply our framework to a representative MCMC accelerator and surface design issues that cannot be exposed using only application end-point result quality. Applying the framework to guide design space exploration shows that statistical robustness comparable to floating-point software can be achieved by slightly increasing the bit representation, without floating-point hardware requirements.


title: Enhanced charge density wave coherence in a light-quenched, high-temperature superconductor

abstract: Superconductivity and charge density waves (CDW) are competitive, yet coexisting orders in cuprate superconductors. To understand their microscopic interdependence, a probe capable of discerning their interaction on its natural length and time scales is necessary. We use ultrafast resonant soft x-ray scattering to track the transient evolution of CDW correlations in YBa$_{2}$Cu$_{3}$O$_{6+x}$ following the quench of superconductivity by an infrared laser pulse. We observe a non-thermal response of the CDW order characterized by a near doubling of the correlation length within $\approx$ 1 picosecond of the superconducting quench. Our results are consistent with a model in which the interaction between superconductivity and CDW manifests inhomogeneously through disruption of spatial coherence, with superconductivity playing the dominant role in stabilizing CDW topological defects, such as discommensurations.


title: Are You Satisfied by This Partial Assignment?

abstract: Many procedures for SAT and SAT-related problems -- in particular for those requiring the complete enumeration of satisfying truth assignments -- rely their efficiency on the detection of partial assignments satisfying an input formula. In this paper we analyze the notion of partial-assignment satisfiability -- in particular when dealing with non-CNF and existentially-quantified formulas -- raising a flag about the ambiguities and subtleties of this concept, and investigating their practical consequences. This may drive the development of more effective assignment-enumeration algorithms.


title: MLography: An Automated Quantitative Metallography Model for Impurities Anomaly Detection using Novel Data Mining and Deep Learning Approach

abstract: The micro-structure of most of the engineering alloys contains some inclusions and precipitates, which may affect their properties, therefore it is crucial to characterize them. In this work we focus on the development of a state-of-the-art artificial intelligence model for Anomaly Detection named MLography to automatically quantify the degree of anomaly of impurities in alloys. For this purpose, we introduce several anomaly detection measures: Spatial, Shape and Area anomaly, that successfully detect the most anomalous objects based on their objective, given that the impurities were already labeled. The first two measures quantify the degree of anomaly of each object by how each object is distant and big compared to its neighborhood, and by the abnormally of its own shape respectively. The last measure, combines the former two and highlights the most anomalous regions among all input images, for later (physical) examination. The performance of the model is presented and analyzed based on few representative cases. We stress that although the models presented here were developed for metallography analysis, most of them can be generalized to a wider set of problems in which anomaly detection of geometrical objects is desired. All models as well as the data-set that was created for this work, are publicly available at: https://github.com/matanr/MLography.


title: Towards Modular Algorithm Induction

abstract: We present a modular neural network architecture Main that learns algorithms given a set of input-output examples. Main consists of a neural controller that interacts with a variable-length input tape and learns to compose modules together with their corresponding argument choices. Unlike previous approaches, Main uses a general domain-agnostic mechanism for selection of modules and their arguments. It uses a general input tape layout together with a parallel history tape to indicate most recently used locations. Finally, it uses a memoryless controller with a length-invariant self-attention based input tape encoding to allow for random access to tape locations. The Main architecture is trained end-to-end using reinforcement learning from a set of input-output examples. We evaluate Main on five algorithmic tasks and show that it can learn policies that generalizes perfectly to inputs of much longer lengths than the ones used for training.


title: Modeling the Invariance of Virtual Pointers in LLVM

abstract: Devirtualization is a compiler optimization that replaces indirect (virtual) function calls with direct calls. It is particularly effective in object-oriented languages, such as Java or C++, in which virtual methods are typically abundant. We present a novel abstract model to express the lifetimes of C++ dynamic objects and invariance of virtual table pointers in the LLVM intermediate representation. The model and the corresponding implementation in Clang and LLVM enable full devirtualization of virtual calls whenever the dynamic type is statically known and elimination of redundant virtual table loads in other cases. Due to the complexity of C++, this has not been achieved by any other C++ compiler so far. Although our model was designed for C++, it is also applicable to other languages that use virtual dispatch. Our benchmarks show an average of 0.8% performance improvement on real-world C++ programs, with more than 30% speedup in some cases. The implementation is already a part of the upstream LLVM/Clang and can be enabled with the -fstrict-vtable-pointers flag.


title: Fabrication and characterization of Fused Deposition Modeling 3D printed mm-scaled metasurface units

abstract: We present a cost-effective, eco-friendly and accessible method for fabricating three-dimensional, ultralight and flexible millimeter-scale metasurfaces using a household 3D printer. In particular, we fabricate conductive Spilt Ring Resonators (SRRs) in a free-standing form, employing the so-called Fused Deposition Modeling 3D printing technique. We experimentally characterize the samples through transmission measurements in standard rectangular waveguide configurations. The structures exhibit well defined resonant features dependent on the geometrical parameters and the infiltrating dielectric materials. The demonstrated 3D printed components are suitable for practical real-life applications while the method holds the additional advantage of the ecological approach, the low cost, the flexibility and the small weight of the components. Thus, the flexible and light 3D printed metasurfaces may serve as electromagnetic components and fabrics for coating a plethora of devices and infrastructure units of different shapes and size. \end{abstract}


title: Equilibration of aggregation-diffusion equations with weak interaction forces

abstract: This paper studies the large time behavior of aggregation-diffusion equations. For one spatial dimension with certain assumptions on the interaction potential, the diffusion index $m$, and the initial data, we prove the convergence to the unique steady state as time goes to infinity (equilibration), with an explicit algebraic rate. The proof is based on a uniform-in-time bound on the first moment of the density distribution, combined with an energy dissipation rate estimate. This is the first result on the equilibration of aggregation-diffusion equations for a general class of weakly confining potentials $W(r)$: those satisfying $\lim_{r\rightarrow\infty}W(r)<\infty$.


title: Predicting the ecological outcomes of global consumption

abstract: Mapping pathways to achieving the sustainable development goals requires understanding and predicting how social, economic and political factors impact biodiversity. Trends in demography, economic growth, regional alliances and consumption behaviours can have profound effects on the environment by driving resource use and production. While these distant socio-economic drivers impact species and ecosystems at global scales, for example by driving greenhouse gas emissions and climate change, the most prevalent human impacts on biodiversity manifest through habitat loss and land use change decisions at finer scales. We provide the first integrated ecological-economic analysis pathway capable of supporting both national policy design challenges and global scale assessment of biodiversity risks posed by socio-economic drivers such as population growth, consumption and trade. To achieve this, we provide state-of-the-art integration of economic, land use, and biodiversity modelling, and illustrate its application using two case studies. We evaluate the national-level implications of change in trading conditions under a multi-lateral free trade agreement for the bird biodiversity of Vietnam. We review the implications for land-use and biodiversity under coupled socio-economic (Shared Socioeconomic Pathways) and climate (Resource Concentration Pathways) scenarios for Australia. Our study provides a roadmap for setting up high dimensional integrated analyses foe evaluating global priorities for protecting nature and livelihoods in vulnerable areas with the greatest conflicts for economic, social and environmental opportunities.


title: Hierarchical Kinematic Human Mesh Recovery

abstract: We consider the problem of estimating a parametric model of 3D human mesh from a single image. While there has been substantial recent progress in this area with direct regression of model parameters, these methods only implicitly exploit the human body kinematic structure, leading to sub-optimal use of the model prior. In this work, we address this gap by proposing a new technique for regression of human parametric model that is explicitly informed by the known hierarchical structure, including joint interdependencies of the model. This results in a strong prior-informed design of the regressor architecture and an associated hierarchical optimization that is flexible to be used in conjunction with the current standard frameworks for 3D human mesh recovery. We demonstrate these aspects by means of extensive experiments on standard benchmark datasets, showing how our proposed new design outperforms several existing and popular methods, establishing new state-of-the-art results. By considering joint interdependencies, our method is equipped to infer joints even under data corruptions, which we demonstrate by conducting experiments under varying degrees of occlusion.