title: High-Rate Point-to-Multipoint Quantum Key Distribution using Coherent States

abstract: Quantum key distribution (QKD) which enables information-theoretically security is now heading towards quantum secure networks. It requires high-performance and cost-effective protocols while increasing the number of users. Unfortunately, qubit-implemented protocols only allow one receiver to respond to the prepared signal at a time, thus cannot support multiple users natively and well satisfy the network demands. Here, we show a 'protocol solution' using continuous-variable quantum information. A coherent-state point-to-multipoint protocol is proposed to simultaneously support multiple independent QKD links between a single transmitter and massive receivers. Every prepared coherent state is measured by all receivers to generate raw keys, then processed with a secure and high-efficient key distillation method to remove the correlations between different QKD links. It can achieve remarkably high key rates even with a hundred of access points and shows the potential improvement of two orders of magnitude. This scheme is a promising step towards a high-rate multi-user solution in a scalable quantum secure network.


title: Offline Minimax Soft-Q-learning Under Realizability and Partial Coverage

abstract: In offline reinforcement learning (RL) we have no opportunity to explore so we must make assumptions that the data is sufficient to guide picking a good policy, taking the form of assuming some coverage, realizability, Bellman completeness, and/or hard margin (gap). In this work we propose value-based algorithms for offline RL with PAC guarantees under just partial coverage, specifically, coverage of just a single comparator policy, and realizability of soft (entropy-regularized) Q-function of the single policy and a related function defined as a saddle point of certain minimax optimization problem. This offers refined and generally more lax conditions for offline RL. We further show an analogous result for vanilla Q-functions under a soft margin condition. To attain these guarantees, we leverage novel minimax learning algorithms to accurately estimate soft or vanilla Q-functions with $L^2$-convergence guarantees. Our algorithms' loss functions arise from casting the estimation problems as nonlinear convex optimization problems and Lagrangifying.


title: Generalized rigid modules and their polynomial extensions

abstract: Let $R$ be a ring with unity, $\sigma$ an endomorphism of $R$ and $M_R$ a right $R$-module. In this paper, we continue studding $\sigma$-rigid modules that were introduced by Gunner et al. \cite{generalized/rigid}. We give some results on $\sigma$-rigid modules and related concepts. Also, we study the transfer of $\sigma$-rigidness from a module $M_R$ to its extensions, as triangular matrix modules and polynomial modules.


title: Eliminating Contextual Prior Bias for Semantic Image Editing via Dual-Cycle Diffusion

abstract: The recent success of text-to-image generation diffusion models has also revolutionized semantic image editing, enabling the manipulation of images based on query/target texts. Despite these advancements, a significant challenge lies in the potential introduction of contextual prior bias in pre-trained models during image editing, e.g., making unexpected modifications to inappropriate regions. To address this issue, we present a novel approach called Dual-Cycle Diffusion, which generates an unbiased mask to guide image editing. The proposed model incorporates a Bias Elimination Cycle that consists of both a forward path and an inverted path, each featuring a Structural Consistency Cycle to ensure the preservation of image content during the editing process. The forward path utilizes the pre-trained model to produce the edited image, while the inverted path converts the result back to the source image. The unbiased mask is generated by comparing differences between the processed source image and the edited image to ensure that both conform to the same distribution. Our experiments demonstrate the effectiveness of the proposed method, as it significantly improves the D-CLIP score from 0.272 to 0.283. The code will be available at https://github.com/JohnDreamer/DualCycleDiffsion.


title: Linear and Nonlinear Event-Triggered Extended State Observers for Uncertain Stochastic Systems

abstract: In this paper, linear and nonlinear event-triggered extended state observers are designed for a class of uncertain stochastic systems driven by bounded and colored noises. Two event-generators with an ensured positive minimum inter-event time for every sample path solution of the stochastic systems, are proposed for the designs of linear and nonlinear event-triggered extended state observers, respectively. The mean square and almost sure convergence of the estimation errors of unmeasured state and stochastic total disturbance including internal uncertainty and external stochastic noises is presented with rigorous theoretical proofs. Compared with the linear event-triggered extended state observer, the theoretical results show that the nonlinear one via homogeneity possesses higher estimation accuracy but is at the price of higher triggering frequency. Some numerical simulations are performed to authenticate the theoretical results.


title: OAcode: Overall Aesthetic 2D Barcode on Screen

abstract: Nowadays, two-dimensional (2D) barcodes have been widely used in various domains. And a series of aesthetic 2D barcode schemes have been proposed to improve the visual quality and readability of 2D barcodes for better integration with marketing materials. Yet we believe that the existing aesthetic 2D barcode schemes are partially aesthetic because they only beautify the data area but retain the position detection patterns with the blackwhite appearance of traditional 2D barcode schemes. Thus, in this paper, we propose the first overall aesthetic 2D barcode scheme, called OAcode, in which the position detection pattern is canceled. Its detection process is based on the pre-designed symmetrical data area of OAcode, whose symmetry could be used as the calibration signal to restore the perspective transformation in the barcode scanning process. Moreover, an enhanced demodulation method is proposed to resist the lens distortion common in the camera-shooting process. The experimental results illustrate that when 5$\times$5 cm OAcode is captured with a resolution of 720$\times$1280 pixels, at the screen-camera distance of 10 cm and the angle less or equal to 25{\deg}, OAcode has 100% detection rate and 99.5% demodulation accuracy. For 10$\times$10 cm OAcode, it could be extracted by consumer-grade mobile phones at a distance of 90 cm with around 90% accuracy.


title: Weakened XVI Hilbert's Problem: Invariant Tori of the Periodic Systems with the Nine Equilibrium Points in Hamiltonian Unperturbed Part

abstract: Two classes of two-dimensional time-periodic systems of ordinary differential equations with a small parameter e in the perturbed part, which is continuous and, for $\varepsilon=0$, analytic in zero, are studied. Depending on the presence or absence of the common factor $\varepsilon$, these classes contain the system with "fast" or "slow" time. The unperturbed part of these systems is generated by the hamiltonian $H=2x^2-x^4+\gamma(2y^2-y^4)$ $(\gamma\in(0,1])$. The universal method, meaning it can be applied to any hamiltonian, called the method of the generating tori splitting (GTS method), is developed and applied to the research of such systems. For arbitrary system of any class, this method allows to find the sets of the initial values for the solutions of the corresponding unperturbed system, and for each such set, to provide the explicit conditions on the system perturbations independent of the parameter. Any such set, that satisfies the aforementioned conditions, determines the solution of the unperturbed system, which parametrizes the generating cycle. The obtained cycle is a generatrix of an invariant cylindrical surface. It is proven that the system has two-periodic invariant surface, homeomorphic to torus, if time is factored with the respect to the period, in the small with the respect to e neighbourhood of this surface. An example of the set of systems with eleven invariant tori and a perturbation, which average value is a three-term polynomial of the third degree, is constructed as a demonstration of the practical use of the GTS method. The GTS method is an universal alternative to the so-called method of detection functions and the Melnikov function method, which are used in studies concerning the weakened XVI Hilbert's problem on the evaluation of a number of limit cycles of autonomous systems with the hamiltonian unperturbed part.


title: Diffusion Model for Generative Image Denoising

abstract: In supervised learning for image denoising, usually the paired clean images and noisy images are collected or synthesised to train a denoising model. L2 norm loss or other distance functions are used as the objective function for training. It often leads to an over-smooth result with less image details. In this paper, we regard the denoising task as a problem of estimating the posterior distribution of clean images conditioned on noisy images. We apply the idea of diffusion model to realize generative image denoising. According to the noise model in denoising tasks, we redefine the diffusion process such that it is different from the original one. Hence, the sampling of the posterior distribution is a reverse process of dozens of steps from the noisy image. We consider three types of noise model, Gaussian, Gamma and Poisson noise. With the guarantee of theory, we derive a unified strategy for model training. Our method is verified through experiments on three types of noise models and achieves excellent performance.


title: Latent Space Bayesian Optimization with Latent Data Augmentation for Enhanced Exploration

abstract: Latent Space Bayesian Optimization (LSBO) combines generative models, typically Variational Autoencoders (VAE), with Bayesian Optimization (BO) to generate de-novo objects of interest. However, LSBO faces challenges due to the mismatch between the objectives of BO and VAE, resulting in poor exploration capabilities. In this paper, we propose novel contributions to enhance LSBO efficiency and overcome this challenge. We first introduce the concept of latent consistency/inconsistency as a crucial problem in LSBO, arising from the VAE-BO mismatch. To address this, we propose the Latent Consistent Aware-Acquisition Function (LCA-AF) that leverages consistent points in LSBO. Additionally, we present LCA-VAE, a novel VAE method that creates a latent space with increased consistent points through data augmentation in latent space and penalization of latent inconsistencies. Combining LCA-VAE and LCA-AF, we develop LCA-LSBO. Our approach achieves high sample-efficiency and effective exploration, emphasizing the significance of addressing latent consistency through the novel incorporation of data augmentation in latent space within LCA-VAE in LSBO. We showcase the performance of our proposal via de-novo image generation and de-novo chemical design tasks.


title: Phase Retrieval for Rydberg Quantum Arrays

abstract: Rydberg-aided atomic electrometry using alkali-metal atoms is gaining increased research interest for detecting external electric fields. However, the inability of Rydberg probes to detect phase is a serious impediment to their realistic deployment. In this paper, we derive a novel phase retrieval algorithm for use in a phased array or synthetic aperture applications where only measurements of electric field intensity are possible at each spatial sample. These array configurations exist if a Rydberg atom probe is used in place of an antenna. We employ three-stage alternating projections to solve the resulting optimization problem. Our numerical experiments demonstrate the effectiveness of the proposed algorithm in terms of beamformed array output.


title: Towards Efficient Subarray Hybrid Beamforming: Attention Network-based Practical Feedback in FDD Massive MU-MIMO Systems

abstract: Channel state information (CSI) feedback is necessary for the frequency division duplexing (FDD) multiple input multiple output (MIMO) systems due to the channel non-reciprocity. With the help of deep learning, many works have succeeded in rebuilding the compressed ideal CSI for massive MIMO. However, simple CSI reconstruction is of limited practicality since the channel estimation and the targeted beamforming design are not considered. In this paper, a jointly optimized network is introduced for channel estimation and feedback so that a spectral-efficient beamformer can be learned. Moreover, the deployment-friendly subarray hybrid beamforming architecture is applied and a practical lightweight end-to-end network is specially designed. Experiments show that the proposed network is over 10 times lighter at the resource-sensitive user equipment compared with the previous state-of-the-art method with only a minor performance loss.


title: Seiberg Duality conjecture for star-shaped quivers and finiteness of Gromov-Witten thoery for D-type quivers

abstract: This is the second work on Seiberg Duality. This work proves that the Seiberg duality conjecture holds for star-shaped quivers: the Gromov-Witten theories for two mutation-related varieties are equivalent. In particular, it is known that a $D$-type quiver goes back to itself after finite times quiver mutations, and we further prove that Gromov-Witten theory together with k\"ahler variables of a $D_3$-type quiver variety return to the original ones after finite times quiver mutations.


title: Neural networks meet hyperelasticity: A guide to enforcing physics

abstract: In the present work, a hyperelastic constitutive model based on neural networks is proposed which fulfills all common constitutive conditions by construction, and in particular, is applicable to compressible material behavior. Using different sets of invariants as inputs, a hyperelastic potential is formulated as a convex neural network, thus fulfilling symmetry of the stress tensor, objectivity, material symmetry, polyconvexity, and thermodynamic consistency. In addition, a physically sensible stress behavior of the model is ensured by using analytical growth terms, as well as normalization terms which ensure the undeformed state to be stress free and with zero energy. In particular, polyconvex, invariant-based stress normalization terms are formulated for both isotropic and transversely isotropic material behavior. By fulfilling all of these conditions in an exact way, the proposed physics-augmented model combines a sound mechanical basis with the extraordinary flexibility that neural networks offer. Thus, it harmonizes the theory of hyperelasticity developed in the last decades with the up-to-date techniques of machine learning. Furthermore, the non-negativity of the hyperelastic neural network-based potentials is numerically examined by sampling the space of admissible deformations states, which, to the best of the authors' knowledge, is the only possibility for the considered nonlinear compressible models. For the isotropic neural network model, the sampling space required for that is reduced by analytical considerations. In addition, a proof for the non-negativity of the compressible Neo-Hooke potential is presented. The applicability of the model is demonstrated by calibrating it on data generated with analytical potentials, which is followed by an application of the model to finite element simulations. In addition, an adaption of the model to noisy data is shown and its [...]


title: The Unfairness of Fair Machine Learning: Levelling down and strict egalitarianism by default

abstract: In recent years fairness in machine learning (ML) has emerged as a highly active area of research and development. Most define fairness in simple terms, where fairness means reducing gaps in performance or outcomes between demographic groups while preserving as much of the accuracy of the original system as possible. This oversimplification of equality through fairness measures is troubling. Many current fairness measures suffer from both fairness and performance degradation, or "levelling down," where fairness is achieved by making every group worse off, or by bringing better performing groups down to the level of the worst off. When fairness can only be achieved by making everyone worse off in material or relational terms through injuries of stigma, loss of solidarity, unequal concern, and missed opportunities for substantive equality, something would appear to have gone wrong in translating the vague concept of 'fairness' into practice. This paper examines the causes and prevalence of levelling down across fairML, and explore possible justifications and criticisms based on philosophical and legal theories of equality and distributive justice, as well as equality law jurisprudence. We find that fairML does not currently engage in the type of measurement, reporting, or analysis necessary to justify levelling down in practice. We propose a first step towards substantive equality in fairML: "levelling up" systems by design through enforcement of minimum acceptable harm thresholds, or "minimum rate constraints," as fairness constraints. We likewise propose an alternative harms-based framework to counter the oversimplified egalitarian framing currently dominant in the field and push future discussion more towards substantive equality opportunities and away from strict egalitarianism by default. N.B. Shortened abstract, see paper for full abstract.


title: Convergence Analysis of the Deep Galerkin Method for Weak Solutions

abstract: This paper analyzes the convergence rate of a deep Galerkin method for the weak solution (DGMW) of second-order elliptic partial differential equations on $\mathbb{R}^d$ with Dirichlet, Neumann, and Robin boundary conditions, respectively. In DGMW, a deep neural network is applied to parametrize the PDE solution, and a second neural network is adopted to parametrize the test function in the traditional Galerkin formulation. By properly choosing the depth and width of these two networks in terms of the number of training samples $n$, it is shown that the convergence rate of DGMW is $\mathcal{O}(n^{-1/d})$, which is the first convergence result for weak solutions. The main idea of the proof is to divide the error of the DGMW into an approximation error and a statistical error. We derive an upper bound on the approximation error in the $H^{1}$ norm and bound the statistical error via Rademacher complexity.


title: Pre-screening breast cancer with machine learning and deep learning

abstract: We suggest that deep learning can be used for pre-screening cancer by analyzing demographic and anthropometric information of patients, as well as biological markers obtained from routine blood samples and relative risks obtained from meta-analysis and international databases. We applied feature selection algorithms to a database of 116 women, including 52 healthy women and 64 women diagnosed with breast cancer, to identify the best pre-screening predictors of cancer. We utilized the best predictors to perform k-fold Monte Carlo cross-validation experiments that compare deep learning against traditional machine learning algorithms. Our results indicate that a deep learning model with an input-layer architecture that is fine-tuned using feature selection can effectively distinguish between patients with and without cancer. Additionally, compared to machine learning, deep learning has the lowest uncertainty in its predictions. These findings suggest that deep learning algorithms applied to cancer pre-screening offer a radiation-free, non-invasive, and affordable complement to screening methods based on imagery. The implementation of deep learning algorithms in cancer pre-screening offer opportunities to identify individuals who may require imaging-based screening, can encourage self-examination, and decrease the psychological externalities associated with false positives in cancer screening. The integration of deep learning algorithms for both screening and pre-screening will ultimately lead to earlier detection of malignancy, reducing the healthcare and societal burden associated to cancer treatment.


title: HyPHEN: A Hybrid Packing Method and Optimizations for Homomorphic Encryption-Based Neural Networks

abstract: Convolutional neural network (CNN) inference using fully homomorphic encryption (FHE) is a promising private inference (PI) solution due to the capability of FHE that enables offloading the whole computation process to the server while protecting the privacy of sensitive user data. Prior FHE-based CNN (HCNN) work has demonstrated the feasibility of constructing deep neural network architectures such as ResNet using FHE. Despite these advancements, HCNN still faces significant challenges in practicality due to the high computational and memory overhead. To overcome these limitations, we present HyPHEN, a deep HCNN construction that incorporates novel convolution algorithms (RAConv and CAConv), data packing methods (2D gap packing and PRCR scheme), and optimization techniques tailored to HCNN construction. Such enhancements enable HyPHEN to substantially reduce the memory footprint and the number of expensive homomorphic operations, such as ciphertext rotation and bootstrapping. As a result, HyPHEN brings the latency of HCNN CIFAR-10 inference down to a practical level at 1.4 seconds (ResNet-20) and demonstrates HCNN ImageNet inference for the first time at 14.7 seconds (ResNet-18).


title: Multi-View Masked World Models for Visual Robotic Manipulation

abstract: Visual robotic manipulation research and applications often use multiple cameras, or views, to better perceive the world. How else can we utilize the richness of multi-view data? In this paper, we investigate how to learn good representations with multi-view data and utilize them for visual robotic manipulation. Specifically, we train a multi-view masked autoencoder which reconstructs pixels of randomly masked viewpoints and then learn a world model operating on the representations from the autoencoder. We demonstrate the effectiveness of our method in a range of scenarios, including multi-view control and single-view control with auxiliary cameras for representation learning. We also show that the multi-view masked autoencoder trained with multiple randomized viewpoints enables training a policy with strong viewpoint randomization and transferring the policy to solve real-robot tasks without camera calibration and an adaptation procedure. Video demonstrations are available at: https://sites.google.com/view/mv-mwm.


title: Flux and energy asymmetry in a low pressure capacitively coupled plasma discharge excited by sawtooth-like waveform -- a harmonic study

abstract: Control over plasma asymmetry in a low-pressure capacitively coupled plasma (CCP) discharges is vital for many plasma processing applications. In this article, using the particle-in-cell simulation technique, we investigated the asymmetry generation by a temporally asymmetric waveform (sawtooth-like) in collisionless CCP discharge. A study by varying the number of harmonics (N) contained in the sawtooth waveform is performed. The simulation resultspredict a non-linear increase in the plasma density and ion flux with N i.e., it first decreases, reaching a minimum value for a critical value of N, and then increases almost linearly with afurther rise in N. The ionization asymmetry increases with N, and higher harmonics on the instantaneous sheath position are observed for higher values of N. These higher harmonics generate multiple ionization beams that are generated near the expanding sheath edge and are responsible for an enhanced plasma density for higher values of N. The ion energy distribution function (IEDF) depicts a bi-modal shape for different values of N. A strong DC self-bias is observed on the powered electrode, and its value with respect to the plasma potential decreases with an increase in N due to which corresponding ion energy on the powered electrode decreases. The simulation results conclude that by changing the number of harmonics of a sawtooth-like in collisionless CCP discharges, the ion flux asymmetry is not generated, whereas sheath symmetry could be significantly affected and therefore a systematic variation in the ion energy asymmetry is observed. Due to an increase in the higher harmonic contents in the sawtooth waveform with N, a transition from broad bi-modal to narrow-shaped IEDFs is found.


title: Decoupled Iterative Refinement Framework for Interacting Hands Reconstruction from a Single RGB Image

abstract: Reconstructing interacting hands from a single RGB image is a very challenging task. On the one hand, severe mutual occlusion and similar local appearance between two hands confuse the extraction of visual features, resulting in the misalignment of estimated hand meshes and the image. On the other hand, there are complex spatial relationship between interacting hands, which significantly increases the solution space of hand poses and increases the difficulty of network learning. In this paper, we propose a decoupled iterative refinement framework to achieve pixel-alignment hand reconstruction while efficiently modeling the spatial relationship between hands. Specifically, we define two feature spaces with different characteristics, namely 2D visual feature space and 3D joint feature space. First, we obtain joint-wise features from the visual feature map and utilize a graph convolution network and a transformer to perform intra- and inter-hand information interaction in the 3D joint feature space, respectively. Then, we project the joint features with global information back into the 2D visual feature space in an obfuscation-free manner and utilize the 2D convolution for pixel-wise enhancement. By performing multiple alternate enhancements in the two feature spaces, our method can achieve an accurate and robust reconstruction of interacting hands. Our method outperforms all existing two-hand reconstruction methods by a large margin on the InterHand2.6M dataset.


title: Automorphisms, derivations and gradings of the split quartic Cayley algebra

abstract: The split quartic Cayley algebra is a structurable algebra which has been used to give constructions of Lie algebras of type D4. Here, we calculate its group of automorphisms, its algebra of derivations and its gradings.


title: Mixture of Diffusers for scene composition and high resolution image generation

abstract: Diffusion methods have been proven to be very effective to generate images while conditioning on a text prompt. However, and although the quality of the generated images is unprecedented, these methods seem to struggle when trying to generate specific image compositions. In this paper we present Mixture of Diffusers, an algorithm that builds over existing diffusion models to provide a more detailed control over composition. By harmonizing several diffusion processes acting on different regions of a canvas, it allows generating larger images, where the location of each object and style is controlled by a separate diffusion process.


title: Degenerate Schr\"odinger equations with irregular potentials

abstract: In this work we investigate a class of degenerate Schr\"odinger equations associated to degenerate elliptic operators with irregular potentials on $\Ran$ by introducing a suitable H\"ormander metric $g$ and a $g$-weight $m$. We establish the well-posedness for the corresponding degenerate Schr\"odinger and degenerate parabolic equations. When the subelliticity is available on the degenerate elliptic operator we deduce spectral properties for a class of degenerate Hamiltonians. We also study the $L^p$ mapping properties for operators with symbols in the $S(m^{-\beta},g)$ classes in the spirit of classical Fefferman's $L^p$-bounds for the $(\rho, \delta)$ calculus. Finally, within our $S(m,g)$-classes, sharp $L^p$-estimates and Schatten properties for Schr\"odinger operators for H\"ormander sums of squares are also investigated.


title: Secure Codes with List Decoding

abstract: In this paper we consider combinatorial secure codes in traitor tracing for protecting copyright of multimedia content. First, we introduce a new notion of secure codes with list decoding (SCLDs) for collusion-resistant multimedia fingerprinting, which includes many existing types of fingerprinting codes as special cases. Next, we build efficient identifying algorithms for SCLDs with complete traceability and establish bounds on its largest possible code rate. In comparison with the existing fingerprinting codes, it is shown that SCLDs have not only much more efficient traceability than separable codes but also a much larger code rate than frameproof codes. As a byproduct, new bounds on the largest code rate of binary separable codes are established as well. Furthermore, a two-stage dynamic traitor tracing framework is proposed for multimedia fingerprinting in the dynamic scenario, which could not only efficiently achieve the complete traceability but also provide a much larger capacity than the static scenario.


title: On Separability of Covariance in Multiway Data Analysis

abstract: Multiway data analysis aims to uncover patterns in data structured as multi-indexed arrays, and the covariance of such data plays a crucial role in various machine learning applications. However, the intrinsically high dimension of multiway covariance presents significant challenges. To address these challenges, factorized covariance models have been proposed that rely on a separability assumption: the multiway covariance can be accurately expressed as a sum of Kronecker products of mode-wise covariances. This paper is concerned with the accuracy of such separable models for representing multiway covariances. We reduce the question of whether a given covariance can be represented as a separable multiway covariance to an equivalent question about separability of quantum states. Based on this equivalence, we establish that generic multiway covariances tend to be not separable. Moreover, we show that determining the best separable approximation of a generic covariance is NP-hard. Our results suggest that factorized covariance models might not accurately approximate covariance, without additional assumptions ensuring separability. To balance these negative results, we propose an iterative Frank-Wolfe algorithm for computing Kronecker-separable covariance approximations with some additional side information. We establish an oracle complexity bound and empirically observe its consistent convergence to a separable limit point, often close to the ``best'' separable approximation. These results suggest that practical methods may be able to find a Kronecker-separable approximation of covariances, despite the worst-case NP hardness results.


title: Monitoring oligomerization dynamics of individual human neurotensin receptors 1 in living cells and in SMALP nanodiscs

abstract: The human neurotensin receptor 1 (NTSR1) is a G protein-coupled receptor. The receptor is activated by a small peptide ligand neurotensin. NTSR1 can be expressed in HEK cells by stable transfection. Previously we used the fluorescent protein markers mRuby3 or mNeonGreen fused to NTSR1 for EMCCD-based structured illumination microscopy (SIM) in living HEK cells. Ligand binding induced conformational changes in NTSR1 which triggered the intracellular signaling processes. Recent single-molecule studies revealed a dynamic monomer/dimer equilibrium of this receptor in artificial lipid bilayers. Here we report on the oligomerization state of human NTSR1 from living cells by trapping them into lipid nanodiscs. Briefly, SMALPs (styrene-maleic acid copolymer lipid nanoparticles) were produced directly from the plasma membranes of living HEK293T FlpIn cells. SMALPs with a diameter of 15 nm were soluble and stable. NTSR1 in SMALPs were analyzed by single-molecule intensity measurements one membrane patch at a time using a custom-built confocal anti-Brownian electrokinetic trap (ABEL trap) microscope. We found oligomerization changes before and after stimulation of the receptor with its ligand neurotensin.


title: Strong Erd\H{o}s-Hajnal properties in chordal graphs

abstract: A graph class $\mathcal{G}$ has the strong Erd\H{o}s-Hajnal property (SEH-property) if there is a constant $c=c(\mathcal{G}) > 0$ such that for every member $G$ of $\mathcal{G}$, either $G$ or its complement has $K_{m, m}$ as a subgraph where $m \geq \left\lfloor c|V(G)|\right\rfloor$. We prove that the class of chordal graphs satisfy SEH-property with constant $c = 2/9$. On the other hand, a strengthening of SEH-property which we call the colorful Erd\H{o}s-Hajnal property was discussed in geometric settings by Alon et al. (2005) and by Fox et al. (2012). Inspired by their results, we show that for every pair $F_1, F_2$ of subtree families of the same size in a tree $T$ with $k$ leaves, there exists subfamilies $F'_1 \subseteq F_1$ and $F'_2 \subseteq F_2$ of size $\theta \left( \frac{\ln k}{k} \left| F_1 \right|\right)$ such that either every pair of representatives from distinct subfamilies intersect or every such pair do not intersect. Our results are asymptotically optimal.


title: Freeze-in Production of Pseudo-Nambu-Goldstone Dark Matter Model with a Real Scalar

abstract: In this work, we study a pseudo-Nambu-Goldstone boson (pNGB) dark matter model extended with a real scalar. The dark sector is assumed to be feebly coupled with the standard model (SM) via a Higgs portal, so that the pNGB dark matter is produced by the freeze-in mechanism. Since the production happened in a very high energy era, we introduce an extra scalar field which is weakly coupled to the SM for stablizing the electroweak vacuum. Our model can reproduce the correct relic abundance of dark matter favored by observations. In addition, we determine the evolution of couplings in higher energy scale by solving the renormalization group equations, and show that the self coupling of the real scalar, $\lambda_S$, and the mixing coupling between the Higgs field and the real scalar, $\lambda_{HS}$ are stringently constrained by the conditions of vacuum stability and couplings perturbativity up to the Planck scale. We also find that the relic abundance of DM is insensitive to the values of $\lambda_S$ and $\lambda_{HS}$ unless the dominant production processes are $\overline{H}+H(S+S)\to\phi+\phi$ via t- and u-channels.


title: deep learning of segment-level feature representation for speech emotion recognition in conversations

abstract: Accurately detecting emotions in conversation is a necessary yet challenging task due to the complexity of emotions and dynamics in dialogues. The emotional state of a speaker can be influenced by many different factors, such as interlocutor stimulus, dialogue scene, and topic. In this work, we propose a conversational speech emotion recognition method to deal with capturing attentive contextual dependency and speaker-sensitive interactions. First, we use a pretrained VGGish model to extract segment-based audio representation in individual utterances. Second, an attentive bi-directional gated recurrent unit (GRU) models contextual-sensitive information and explores intra- and inter-speaker dependencies jointly in a dynamic manner. The experiments conducted on the standard conversational dataset MELD demonstrate the effectiveness of the proposed method when compared against state-of the-art methods.


title: Variational Inference on the Final-Layer Output of Neural Networks

abstract: Traditional neural networks are simple to train but they typically produce overconfident predictions. In contrast, Bayesian neural networks provide good uncertainty quantification but optimizing them is time consuming due to the large parameter space. This paper proposes to combine the advantages of both approaches by performing Variational Inference in the Final layer Output space (VIFO), because the output space is much smaller than the parameter space. We use neural networks to learn the mean and the variance of the probabilistic output. Like standard, non-Beyesian models, VIFO enjoys simple training and one can use Rademacher complexity to provide risk bounds for the model. On the other hand, using the Bayesian formulation we incorporate collapsed variational inference with VIFO which significantly improves the performance in practice. Experiments show that VIFO and ensembles of VIFO provide a good tradeoff in terms of run time and uncertainty quantification, especially for out of distribution data.


title: Abelianization and the Duistermaat-Heckman theorem

abstract: Fix a compact connected Lie group $G$ with Lie algebra $\mathfrak{g}$, as well as a strong Gelfand-Cetlin datum on $\mathfrak{g}^*$. Let us also fix a connected symplectic manifold $M$ endowed with an effective Hamiltonian $G$-action and proper moment map. We associate to such information a measure on $\mathbb{R}^{\mathrm{b}}$, where $\mathrm{b}=\frac{1}{2}(\dim G+\mathrm{rank}\hspace{2pt}G)$. We also express the Radon-Nikodym derivative of this measure in terms of the volumes of the symplectic quotients of $M$ by $G$, and thereby prove a non-abelian version of the Duistermaat-Heckman theorem.


title: Towards the precise description of Composite Higgs models at colliders

abstract: We present a framework to study the interactions among Nambu-Goldstone bosons (NGB), pseudo-NGB (pNGBs) and gauge bosons in Composite Higgs (CH) models at high energies, including operators of order $\mathcal{O}(p^4)$ and $\mathcal{O}(p^2g^2)$ in the chiral expansion and topological terms. The set of (p)NGBs comprises the longitudinal modes of electroweak bosons, the Higgs boson, and possibly other scalar states from the dynamical spontaneous electroweak symmetry breaking. The framework is implemented in a collider simulation tool especially suited for the study of Goldstone Boson Scattering (GBS), which includes vector boson scattering (VBS), di-Higgs production via vector boson fusion (VBF) and the pair production of other pNGBs via VBF.


title: $N\geq 2$ Particles in the Framework of TeVeS

abstract: About 40 years ago, since no viable candidate for "dark matter" was discovered, M. Milgrom and J. Bekenstein introduced a non-covariant modfication of gravitational theory ((MOND) to account for the anomalpous rotation curves of galaxies. Bekenstein and Sanders then developed a relativistically covariant form of the theory, called TeVeS, involvimg scalar and tensor fields which accounts for the rotation currves as well asfor the observed lensing of background radiation around galaxies without the introduction of "dark matter". The dynamical behavior of a particle in such a gravitational theory has recently been discussed by Horwitz, Gershon and Schiffer. In this paper we study the dynamics of the $N \geq 2$ particle problem in the framework of the TeVeS theory.


title: Epitaxially strained ultrathin LaNiO$_3$/LaAlO$_3$ and LaNiO$_3$/SrTiO$_3$ superlattices: a density functional theory + $U$ study

abstract: By employing first-principles electronic structure calculations we investigate nickelate superlattices [LaNiO$_3$]$_1$/[LaAlO$_3$]$_1$ and [LaNiO$_3$]$_1$/[SrTiO$_3$]$_1$ with (001) orientation under epitaxial tensile strain. Within density functional theory augmented by mean-field treatement of on-site electronic correlations, the ground states show remarkable dependence on the correlation strength and the strain. In the weakly and intermediately correlated regimes with small epitaxial strain, the charge-disproportionated insulating states with antiferromagneitc order is favored over the other orbital and spin ordered phases. On the other hand, in the strongly correlated regime or under the large tensile strain, ferromagnetic spin states with Jahn-Teller orbital order become most stable. The effect from polar interfaces in LaNiO$_3$]$_1$/[SrTiO$_3$]$_1$ is found to be noticeable in our single-layered geometry. Detailed discussion is presented in comparison with previous experimental and theoretical studies.


title: Principles and Guidelines for Sharing Biomedical Data for Secondary Use: The University of Chicago Perspective

abstract: Academic medical centers are generating an increasing amount of biomedical data and there is an increasing demand for biomedical data for research purposes by research projects, research consortia, companies, and other third parties. At the same time, as the number of patients grows and the amount of data per patient grows, there is an increasing possibility that some information about some patients may become available if the data is shared with third parties and the third parties have a data breach or violate the terms of the data use agreement. Balancing the importance of research that may result in improved patient outcomes with the importance of protecting patient data is challenging. The article discusses the principles, considerations about risks and mitigating risks, and guidelines used at the University of Chicago used for making decisions about sharing biomedical data with third parties.


title: Online Nonstochastic Control with Adversarial and Static Constraints

abstract: This paper studies online nonstochastic control problems with adversarial and static constraints. We propose online nonstochastic control algorithms that achieve both sublinear regret and sublinear adversarial constraint violation while keeping static constraint violation minimal against the optimal constrained linear control policy in hindsight. To establish the results, we introduce an online convex optimization with memory framework under adversarial and static constraints, which serves as a subroutine for the constrained online nonstochastic control algorithms. This subroutine also achieves the state-of-the-art regret and constraint violation bounds for constrained online convex optimization problems, which is of independent interest. Our experiments demonstrate the proposed control algorithms are adaptive to adversarial constraints and achieve smaller cumulative costs and violations. Moreover, our algorithms are less conservative and achieve significantly smaller cumulative costs than the state-of-the-art algorithm.


title: Biologically inspired ChaosNet architecture for Hypothetical Protein Classification

abstract: ChaosNet is a type of artificial neural network framework developed for classification problems and is influenced by the chaotic property of the human brain. Each neuron of the ChaosNet architecture is the one-dimensional chaotic map called the Generalized Luroth Series (GLS). The addition of GLS as neurons in ChaosNet makes the computations straightforward while utilizing the advantageous elements of chaos. With substantially less data, ChaosNet has been demonstrated to do difficult classification problems on par with or better than traditional ANNs. In this paper, we use Chaosnet to perform a functional classification of Hypothetical proteins [HP], which is indeed a topic of great interest in bioinformatics. The results obtained with significantly lesser training data are compared with the standard machine learning techniques used in the literature.


title: Numerical analysis of the propagation modes of photo-switching PDMS-arylazopyrazole optical waveguide and thin-film spectroscopic characterization

abstract: A new light responsive arylazopyrazole (AAP) containing polymer matrix thin film is fabricated by spin-coating of different concentrations of the AAP azo dye into the polydimethylsiloxane (PDMS) polymer at 150C. The new AAP molecular switch was also used to fabricate a solid-state PDMS-AAP waveguide by contact lithography and soft replica modeling methods in the micrometer scale. The refractive index of the spin-coated photoswitchable material can be modulated via the reversible trans-to-cis photoisomerization behavior of the AAP unit using different concentrations. When 0.01 M solution of the AAP unit was used, the refractive of the composite was 2.32 in the trans state and dropped to 1.85 in the cis state in the operating wavelength of 340 nm. At higher concentrations of 0.020 and 0.03 M, a wide refractive index tuning is achieved under the same wavelength. In 0.030 M the refractive index was 2.65 for the trans state and 2.0 for the cis state. The results suggest that the increase in refractive index tuning is related to the concentration of the AAP unit of the composite film. Theoretically, the spectral properties of the composite film are also simulated with two methods: 1) the Maxwell Equations; and 2) the frequency dependent finite element, showing excellent agreement for the different propagation modes of the proposed waveguide for regulated signals of 365/525 nm wavelengths. Furthermore, the photoisomerization of the PDMS-AAP thin film is analyzed with UV-vis spectroscopy to demonstrate the isomerization responses of the AAP moiety in the solid state. Additionally, preliminary photomechanical actuation properties of the composite film have been investigated. The PDMS-AAP waveguide described in this study provides a new approach for optically tunable photonics applications in the Visible-IR region.


title: Life beyond 30: probing the -20<M_UV<-17 luminosity function at 8<z<13 with the NIRCam parallel field of the MIRI Deep Survey

abstract: We present the ultraviolet luminosity function and an estimate of the cosmic star formation rate density at $8<z<13$ derived from deep NIRCam observations taken in parallel with the MIRI Deep Survey (MDS) of the Hubble Ultra Deep Field (HUDF), NIRCam covering the parallel field 2 (HUDF-P2). Our deep (40 hours) NIRCam observations reach a F277W magnitude of 30.8 ($5\sigma$), more than 2 magnitudes deeper than JWST public datasets already analyzed to find high redshift galaxies. We select a sample of 44 $z>8$ galaxy candidates based on their dropout nature in the F115W and/or F150W filters, a high probability for their photometric redshifts, estimated with three different codes, being at $z>8$, good fits based on $\chi^2$ calculations, and predominant solutions compared to $z<8$ alternatives. We find mild evolution in the luminosity function from $z\sim13$ to $z\sim8$, i.e., only a small increase in the average number density of $\sim$0.2 dex, while the faint-end slope and absolute magnitude of the knee remain approximately constant, with values $\alpha=-2.2\pm0.1$ and $M^*=-20.8\pm0.2$ mag. Comparing our results with the predictions of state-of-the-art galaxy evolution models, we find two main results: (1) a slower increase with time in the cosmic star formation rate density compared to a steeper rise predicted by models; (2) nearly a factor of 10 higher star formation activity concentrated in scales around 2 kpc in galaxies with stellar masses $\sim10^8$ M$_\odot$ during the first 350 Myr of the Universe, $z\sim12$, with models matching better the luminosity density observational estimations $\sim$150 Myr later, by $z\sim9$.


title: Calibration and data analysis routines for nanoindentation with spherical tips

abstract: Instrumented spherical nanoindentation with a continuous stiffness measurement has gained increased popularity in material science studies in brittle and ductile materials alike. These investigations span hypotheses related to a wide range of microphysics involving grain boundaries, twins, dislocation densities, ion-induced damage and more. These studies rely on the implementation of different methodologies for instrument calibration and for circumventing tip shape imperfections. In this study, we test, integrate, and re-adapt published strategies for tip and machine-stiffness calibration for spherical tips. We propose a routine for independently calibrating the effective tip radius and the machine stiffness using three reference materials (fused silica, sapphire, glassy carbon), which requires the parametrization of the effective radius as a function of load. We validate our proposed workflow against key benchmarks, such as variation of Young's modulus with depth. We apply the resulting calibrations to data collected in materials with varying ductility (olivine, titanium, and tungsten) to extract indentation stress-strain curves. We also test the impact of the machine stiffness on recently proposed methods for identification of yield stress, and compare the influence of different conventions on assessing the indentation size effect. Finally, we synthesize these analysis routines in a single workflow for use in future studies aiming to extract and process data from spherical nanoindentation.


title: The Galactic Black Hole

abstract: The black hole at the center of our Milky Way Galaxy -- the Galactic Black Hole, or GBH -- is a rather modest representative of its class. With a mass of 4 x 10^6 solar masses, it is well over a thousand times less massive than the most extreme supermassive black holes known to be powering the most luminous quasars. Furthermore, the Galactic Black Hole has a remarkably dim accretion flow, and its luminous energy output is overwhelmed by the dense cluster of bright stars and red giants that surround it, except at radio wavelengths. However, the proximity of the GBH compensates for its restrained activity; being over 100 times closer than the next nearest supermassive black hole in a galactic nucleus, it offers us an unparalleled opportunity to observe its behavior in detail. Consequently, far more observational attention has been paid to the GBH and its entourage of stars and gas than to any other single object outside the solar system. This review covers the history of our recognition of the GBH, its presently known physical characteristics, the manifestations of its current and past activity, and the prospects for refining our knowledge with future research.


title: Tighter Information-Theoretic Generalization Bounds from Supersamples

abstract: In this work, we present a variety of novel information-theoretic generalization bounds for learning algorithms, from the supersample setting of Steinke & Zakynthinou (2020)-the setting of the "conditional mutual information" framework. Our development exploits projecting the loss pair (obtained from a training instance and a testing instance) down to a single number and correlating loss values with a Rademacher sequence (and its shifted variants). The presented bounds include square-root bounds, fast-rate bounds, including those based on variance and sharpness, and bounds for interpolating algorithms etc. We show theoretically or empirically that these bounds are tighter than all information-theoretic bounds known to date on the same supersample setting.


title: Stable three-dimensional (un)charged AdS gravastars in gravity's rainbow

abstract: In this work, we study the three-dimensional AdS gravitational vacuum stars (gravastars) in the context of gravity's rainbow theory. Then we extend it by adding the Maxwell electromagnetic field. We compute the physical features of gravastars, such as proper length, energy, entropy, and junction conditions. Our results show that the physical parameters for charged and uncharged states depend significantly on rainbow functions. Besides from charged state, they also depend on the electric field. Finally, we explore the stability of thin shell of three-dimensional (un)charged AdS gravastars in gravity's rainbow. We show that the structure of thin shell of these gravastars may be stable and is independent of the type of matter.


title: Discrete tensor product BGG sequences: splines and finite elements

abstract: In this paper, we provide a systematic discretization of the Bernstein-Gelfand-Gelfand (BGG) diagrams and complexes over cubical meshes of arbitrary dimension via the use of tensor-product structures of one-dimensional piecewise-polynomial spaces, such as spline and finite element spaces. We demonstrate the construction of the Hessian, the elasticity, and the divdiv complexes as examples for our construction.


title: Prescribing scalar curvatures: on the negative Yamabe case

abstract: The problem of prescribing conformally the scalar curvature on a closed Riemannian manifold of negative Yamabe invariant is always solvable, when the function $K$ to be prescribed is strictly negative, while sufficient and necessary conditions are known for $K\leq 0$. For sign changing $K$ Rauzy showed solvability, if $K$ is not too positive. We revisit this problem in a different variational context, thereby recovering and quantifying the principle existence result of Rauzy and show under additional assumptions, that for a sign changing $K$ solutions to the conformally prescribed scalar curvature problem, while existing, are not unique.


title: Uncertainty-Aware and Reliable Neural MIMO Receivers via Modular Bayesian Deep Learning

abstract: Deep learning is envisioned to play a key role in the design of future wireless receivers. A popular approach to design learning-aided receivers combines deep neural networks (DNNs) with traditional model-based receiver algorithms, realizing hybrid model-based data-driven architectures. Such architectures typically include multiple modules, each carrying out a different functionality dictated by the model-based receiver workflow. Conventionally trained DNN-based modules are known to produce poorly calibrated, typically overconfident, decisions. Consequently, incorrect decisions may propagate through the architecture without any indication of their insufficient accuracy. To address this problem, we present a novel combination of Bayesian deep learning with hybrid model-based data-driven architectures for wireless receiver design. The proposed methodology, referred to as modular Bayesian deep learning, is designed to yield calibrated modules, which in turn improves both accuracy and calibration of the overall receiver. We specialize this approach for two fundamental tasks in multiple-input multiple-output (MIMO) receivers - equalization and decoding. In the presence of scarce data, the ability of modular Bayesian deep learning to produce reliable uncertainty measures is consistently shown to directly translate into improved performance of the overall MIMO receiver chain.


title: Relative opinion similarity leads to the emergence of large clusters in opinion formation models

abstract: This study considers a variant of the bounded confidence opinion formation model wherein the probability of opinion assimilation is dependent on the relative similarity of opinions. Agents are located on a social network and decide whether or not they adopt the opinion of one of the neighbors (called a role agent). Opinion assimilation is more (less) likely to occur when the distance from the opinion of the role agent is smaller (larger) than the average opinion distance from other neighbors. Thus, assimilation probability is reliant not only on opinion proximity with the role agent considered in conventional models but also on relative similarity that considers other neighbors. The simulation results demonstrate that large weights on relative similarity in determining assimilation probability increase the size of the largest opinion cluster. The size of the threshold parameter of the bounded confidence model displays inverse-U relationships with the largest cluster size. The findings imply that consideration of relative opinion similarity, as observed in recent empirical studies, prevents polarization into small opinion clusters.


title: The Physicists and the Historians of Physics

abstract: In the 60s of the last century the few courses of History of physics in Physics degree were held by scholars who, apart from a few exceptions, did not have a specific research background in the field. Some activities, books, social movements in the civil society allowed in the 70's the entry, among Physics courses, of teachings in History of physics held by scholars specifically trained for that job since their degree. A second change happened in the 90s when many difficulties forced physicists to allocate fewer and fewer resources to the History of their discipline. I'll outline the features of the two periods and the efforts of Historians to find a proper space in Physics departments.


title: Thin flexible multi-octave metamaterial absorber for millimetre wavelengths

abstract: Development of novel radiation-absorbent materials and devices for millimetre and submillimetre astronomy instruments is a research area of high interest, and with substantial engineering challenges. Alongside low-profile structure and ultra-wideband performance in a wide range of angles of incidence, advanced absorbers in CMB instruments are aimed at reducing optical systematics, notably instrument polarisation, far beyond previous specifications. This paper presents an innovative design of flat thin flexible absorber operating in a wide frequency range of 80-400 GHz. The structure comprises a combination of sub-wavelength metal-mesh capacitive and inductive grids and dielectric layers, making use of the magnetic mirror concept for large bandwidth. The overall stack thickness is a quarter of the longest operating wavelength and is close to the theoretical limit stipulated by Rozanov criterion. The test device is designed to operate at 22.5deg. incidence. The iterative numerical-experimental design procedure of the new absorber is discussed in detail, as well as the practical challenges of its manufacture. A well-established mesh-filter fabrication process has been successfully employed for prototype fabrication, which ensures cryogenic operation of the hot-pressed quasi-optical devices. The final prototype, extensively tested in quasi-optical testbeds using a Fourier-transform spectrometer and a vector network analyser, demonstrated performance closely matching the finite-element analysis simulations, viz., greater than 99% absorbance for both polarisations, with only 0.2% difference, across the frequency band of 80-400 GHz. The angular stability for up to +/-10deg. has been confirmed by simulations. To the best of the authors knowledge, this is the first successful implementation of a low-profile ultrawideband metamaterial absorber for this frequency range and operating conditions.


title: A Machine Learning Approach to Long-Term Drought Prediction using Normalized Difference Indices Computed on a Spatiotemporal Dataset

abstract: Climate change and increases in drought conditions affect the lives of many and are closely tied to global agricultural output and livestock production. This research presents a novel approach utilizing machine learning frameworks for drought prediction around water basins. Our method focuses on the next-frame prediction of the Normalized Difference Drought Index (NDDI) by leveraging the recently developed SEN2DWATER database. We propose and compare two prediction methods for estimating NDDI values over a specific land area. Our work makes possible proactive measures that can ensure adequate water access for drought-affected communities and sustainable agriculture practices by implementing a proof-of-concept of short and long-term drought prediction of changes in water resources.


title: Centralizers of linear and locally nilpotent derivations

abstract: Let $K$ be an algebraically closed field of characteristic zero, $A = K[x_1,\dots,x_n]$ the polynomial ring, $R = K(x_1,\dots,x_n)$ the field of rational functions, and let $W_n(K) = \Der_{K}A$ be the Lie algebra of all $K$-derivations on $A$. If $D \in W_n(K),$ $D\not =0$ is linear (i.e. of the form $D = \sum_{i,j=1}^n a_{ij}x_j \frac{\partial}{\partial x_i}$) we give a description of the centralizer of $D$ in $W_n(K)$ and point out an algorithm for finding generators of $C_{W_n(K)}(D)$ as a module over the ring of constants in case when $D$ is the basic Weitzenboeck derivation. In more general case when the ring $A$ is a finitely generated domain over $K$ and $D$ is a locally nilpotent derivation on $A,$ we prove that the centralizer $C_{{\rm Der}A}(D)$ is a "large" \ subalgebra in ${\rm Der}_{K} A$, namely $\rk_A C_{\Der A}(D) := \dim_R RC_{\Der A}(D)$ equals ${\rm tr}.\deg_{K}R,$ where $R$ is the field of fraction of the ring $A.


title: Nonlinear elasticity complex and a finite element diagram chase

abstract: In this paper, we present a nonlinear version of the linear elasticity (Calabi, Kr\"oner, Riemannian deformation) complex which encodes isometric embedding, metric, curvature and the Bianchi identity. We reformulate the rigidity theorem and a fundamental theorem of Riemannian geometry as the exactness of this complex. Then we generalize an algebraic approach for constructing finite elements for the Bernstein-Gelfand-Gelfand (BGG) complexes. In particular, we discuss the reduction of degrees of freedom with injective connecting maps in the BGG diagrams. We derive a strain complex in two space dimensions with a diagram chase.


title: Super-harmonically resonant swirling waves in longitudinally forced circular cylinders

abstract: Resonant sloshing in circular cylinders was studied by Faltinsen et al. (2016), whose theory was used to describe steady-state resonant waves due to time-harmonic container's elliptic orbits. In the limit of longitudinal container motions, a symmetry-breaking of the planar wave solution occurs, with clockwise and anti-clockwise swirling equally likely. In addition to this primary harmonic dynamics, previous experiments have unveiled that diverse super-harmonic dynamics are observable far from primary resonances. Among these, the so-called double-crest (DC) dynamics, first observed by Reclari et al. (2014) for rotary sloshing, is particularly relevant, as its manifestation is the most favored by the spatial structure of the external driving. Following Bongarzone et al. (2022a), in this work we develop a weakly nonlinear (WNL) analysis to describe the system response to super-harmonic longitudinal forcing. The resulting system of amplitude equations predicts that a planar wave symmetry-breaking via stable swirling may also occur under super-harmonic excitation. This finding is confirmed by our experimental observations, which identify three possible super-harmonic regimes, i.e. (i) stable planar DC waves, (ii) irregular motion and (iii) stable swirling DC waves, whose corresponding stability boundaries in the forcing frequency-amplitude plane quantitatively match the present theoretical estimates.


title: Spatio-Temporal Point Process for Multiple Object Tracking

abstract: Multiple Object Tracking (MOT) focuses on modeling the relationship of detected objects among consecutive frames and merge them into different trajectories. MOT remains a challenging task as noisy and confusing detection results often hinder the final performance. Furthermore, most existing research are focusing on improving detection algorithms and association strategies. As such, we propose a novel framework that can effectively predict and mask-out the noisy and confusing detection results before associating the objects into trajectories. In particular, we formulate such "bad" detection results as a sequence of events and adopt the spatio-temporal point process}to model such events. Traditionally, the occurrence rate in a point process is characterized by an explicitly defined intensity function, which depends on the prior knowledge of some specific tasks. Thus, designing a proper model is expensive and time-consuming, with also limited ability to generalize well. To tackle this problem, we adopt the convolutional recurrent neural network (conv-RNN) to instantiate the point process, where its intensity function is automatically modeled by the training data. Furthermore, we show that our method captures both temporal and spatial evolution, which is essential in modeling events for MOT. Experimental results demonstrate notable improvements in addressing noisy and confusing detection results in MOT datasets. An improved state-of-the-art performance is achieved by incorporating our baseline MOT algorithm with the spatio-temporal point process model.


title: Surjective submersion of subcartesian spaces

abstract: We define the notion of a submersion of subcartesian differential spaces and prove some of its properties, which are analogous to those of a submersion in the category of smooth manifolds and smooth mappings.


title: Toward random tensor networks and holographic codes in CFT

abstract: In holographic CFTs satisfying eigenstate thermalization, there is a regime where the operator product expansion can be approximated by a random tensor network. The geometry of the tensor network corresponds to a spatial slice in the holographic dual, with the tensors discretizing the radial direction. In spherically symmetric states in any dimension and more general states in 2d CFT, this leads to a holographic error-correcting code, defined in terms of OPE data, that can be systematically corrected beyond the random tensor approximation. The code is shown to be isometric for light operators outside the horizon, and non-isometric inside, as expected from general arguments about bulk reconstruction. The transition at the horizon occurs due to a subtle breakdown of the Virasoro identity block approximation in states with a complex interior.


title: cross-modal fusion techniques for utterance-level emotion recognition from text and speech

abstract: Multimodal emotion recognition (MER) is a fundamental complex research problem due to the uncertainty of human emotional expression and the heterogeneity gap between different modalities. Audio and text modalities are particularly important for a human participant in understanding emotions. Although many successful attempts have been designed multimodal representations for MER, there still exist multiple challenges to be addressed: 1) bridging the heterogeneity gap between multimodal features and model inter- and intra-modal interactions of multiple modalities; 2) effectively and efficiently modelling the contextual dynamics in the conversation sequence. In this paper, we propose Cross-Modal RoBERTa (CM-RoBERTa) model for emotion detection from spoken audio and corresponding transcripts. As the core unit of the CM-RoBERTa, parallel self- and cross- attention is designed to dynamically capture inter- and intra-modal interactions of audio and text. Specially, the mid-level fusion and residual module are employed to model long-term contextual dependencies and learn modality-specific patterns. We evaluate the approach on the MELD dataset and the experimental results show the proposed approach achieves the state-of-art performance on the dataset.


title: On semiconductor--metal transition in FeSi induced by ultrahigh magnetic field

abstract: At low temperatures, iron monosilicide is a strongly correlated narrow-gap semiconductor. A first order transition to metal state induced by magnetic field was observed for the first time at 355 T in Ref. [Yu. B. Kudasov et al., JETP Lett. 68 (1998) 350]. However, recently a smooth transition from 230 T to 270 T was found under similar conditions in Ref. [D. Nakamura et al., Phys. Rev. Lett. 127 (2021) 156601]. This discrepancy goes far beyond experimental errors and deserves a careful study. A methodological analysis of inductive and RF techniques of conductivity measurements shows that the difference of these critical magnetic field estimations stems from a divergence in dynamic ranges of the techniques. In fact, the above mentioned methods supplement each other. The semiconductor-metal transition under magnetic field in FeSi is a complex phenomenon which occurs at the wide range of magnetic fields.


title: On humanization of mathematics: aesthetic mathematics

abstract: In this short essay, I shall try to find a way to humanize mathematics. I shall give some mathematical remarks concerning that. I shall give some brief comments to my past works from the point of view of this paper.


title: Regularization and Optimization in Model-Based Clustering

abstract: Due to their conceptual simplicity, k-means algorithm variants have been extensively used for unsupervised cluster analysis. However, one main shortcoming of these algorithms is that they essentially fit a mixture of identical spherical Gaussians to data that vastly deviates from such a distribution. In comparison, general Gaussian Mixture Models (GMMs) can fit richer structures but require estimating a quadratic number of parameters per cluster to represent the covariance matrices. This poses two main issues: (i) the underlying optimization problems are challenging due to their larger number of local minima, and (ii) their solutions can overfit the data. In this work, we design search strategies that circumvent both issues. We develop more effective optimization algorithms for general GMMs, and we combine these algorithms with regularization strategies that avoid overfitting. Through extensive computational analyses, we observe that optimization or regularization in isolation does not substantially improve cluster recovery. However, combining these techniques permits a completely new level of performance previously unachieved by k-means algorithm variants, unraveling vastly different cluster structures. These results shed new light on the current status quo between GMM and k-means methods and suggest the more frequent use of general GMMs for data exploration. To facilitate such applications, we provide open-source code as well as Julia packages (UnsupervisedClustering.jl and RegularizedCovarianceMatrices.jl) implementing the proposed techniques.


title: KDEformer: Accelerating Transformers via Kernel Density Estimation

abstract: Dot-product attention mechanism plays a crucial role in modern deep architectures (e.g., Transformer) for sequence modeling, however, na\"ive exact computation of this model incurs quadratic time and memory complexities in sequence length, hindering the training of long-sequence models. Critical bottlenecks are due to the computation of partition functions in the denominator of softmax function as well as the multiplication of the softmax matrix with the matrix of values. Our key observation is that the former can be reduced to a variant of the kernel density estimation (KDE) problem, and an efficient KDE solver can be further utilized to accelerate the latter via subsampling-based fast matrix products. Our proposed KDEformer can approximate the attention in sub-quadratic time with provable spectral norm bounds, while all prior results merely provide entry-wise error bounds. Empirically, we verify that KDEformer outperforms other attention approximations in terms of accuracy, memory, and runtime on various pre-trained models. On BigGAN image generation, we achieve better generative scores than the exact computation with over $4\times$ speedup. For ImageNet classification with T2T-ViT, KDEformer shows over $18\times$ speedup while the accuracy drop is less than $0.5\%$.


title: Performance Analysis of Machine Learning Centered Workload Prediction Models for Cloud

abstract: The precise estimation of resource usage is a complex and challenging issue due to the high variability and dimensionality of heterogeneous service types and dynamic workloads. Over the last few years, the prediction of resource usage and traffic has received ample attention from the research community. Many machine learning-based workload forecasting models have been developed by exploiting their computational power and learning capabilities. This paper presents the first systematic survey cum performance analysis-based comparative study of diversified machine learning-driven cloud workload prediction models. The discussion initiates with the significance of predictive resource management followed by a schematic description, operational design, motivation, and challenges concerning these workload prediction models. Classification and taxonomy of different prediction approaches into five distinct categories are presented focusing on the theoretical concepts and mathematical functioning of the existing state-of-the-art workload prediction methods. The most prominent prediction approaches belonging to a distinct class of machine learning models are thoroughly surveyed and compared. All five classified machine learning-based workload prediction models are implemented on a common platform for systematic investigation and comparison using three distinct benchmark cloud workload traces via experimental analysis. The essential key performance indicators of state-of-the-art approaches are evaluated for comparison and the paper is concluded by discussing the trade-offs and notable remarks.


title: FineDeb: A Debiasing Framework for Language Models

abstract: As language models are increasingly included in human-facing machine learning tools, bias against demographic subgroups has gained attention. We propose FineDeb, a two-phase debiasing framework for language models that starts with contextual debiasing of embeddings learned by pretrained language models. The model is then fine-tuned on a language modeling objective. Our results show that FineDeb offers stronger debiasing in comparison to other methods which often result in models as biased as the original language model. Our framework is generalizable for demographics with multiple classes, and we demonstrate its effectiveness through extensive experiments and comparisons with state of the art techniques. We release our code and data on GitHub.


title: On low-depth algorithms for quantum phase estimation

abstract: Quantum phase estimation is one of the critical building blocks of quantum computing. For early fault-tolerant quantum devices, it is desirable for a quantum phase estimation algorithm to (1) use a minimal number of ancilla qubits, (2) allow for inexact initial states with a significant mismatch, (3) achieve the Heisenberg limit for the total resource used, and (4) have a diminishing prefactor for the maximum circuit length when the overlap between the initial state and the target state approaches one. In this paper, we prove that an existing algorithm from quantum metrology can achieve the first three requirements. As a second contribution, we propose a modified version of the algorithm that also meets the fourth requirement, which makes it particularly attractive for early fault-tolerant quantum devices.


title: ODEWS: The Overdraft Early Warning System

abstract: When a customer overdraws their account and their balance is negative they are assessed an overdraft fee. Americans pay approximately \$15 billion in unnecessary overdraft fees a year, often in \$35 increments; users of the Mint personal finance app pay approximately \$250 million in fees a year in particular. These overdraft fees are an excessive financial burden and lead to cascading overdraft fees trapping customers in financial hardship. To address this problem, we have created an ML-driven overdraft early warning system (ODEWS) that assesses a customer's risk of overdrafting within the next week using their banking and transaction data in the Mint app. At-risk customers are sent an alert so they can take steps to avoid the fee, ultimately changing their behavior and financial habits. The system deployed resulted in a \$3 million savings in overdraft fees for Mint customers compared to a control group. Moreover, the methodology outlined here can be generalized to provide ML-driven personalized financial advice for many different personal finance goals--increase credit score, build emergency savings fund, pay down debut, allocate capital for investment.


title: Deep Learning Approach for Early Stage Lung Cancer Detection

abstract: Lung cancer is the leading cause of death among different types of cancers. Every year, the lives lost due to lung cancer exceed those lost to pancreatic, breast, and prostate cancer combined. The survival rate for lung cancer patients is very low compared to other cancer patients due to late diagnostics. Thus, early lung cancer diagnostics is crucial for patients to receive early treatments, increasing the survival rate or even becoming cancer-free. This paper proposed a deep-learning model for early lung cancer prediction and diagnosis from Computed Tomography (CT) scans. The proposed mode achieves high accuracy. In addition, it can be a beneficial tool to support radiologists' decisions in predicting and detecting lung cancer and its stage.


title: Scalable inference in functional linear regression with streaming data

abstract: Traditional static functional data analysis is facing new challenges due to streaming data, where data constantly flow in. A major challenge is that storing such an ever-increasing amount of data in memory is nearly impossible. In addition, existing inferential tools in online learning are mainly developed for finite-dimensional problems, while inference methods for functional data are focused on the batch learning setting. In this paper, we tackle these issues by developing functional stochastic gradient descent algorithms and proposing an online bootstrap resampling procedure to systematically study the inference problem for functional linear regression. In particular, the proposed estimation and inference procedures use only one pass over the data; thus they are easy to implement and suitable to the situation where data arrive in a streaming manner. Furthermore, we establish the convergence rate as well as the asymptotic distribution of the proposed estimator. Meanwhile, the proposed perturbed estimator from the bootstrap procedure is shown to enjoy the same theoretical properties, which provide the theoretical justification for our online inference tool. As far as we know, this is the first inference result on the functional linear regression model with streaming data. Simulation studies are conducted to investigate the finite-sample performance of the proposed procedure. An application is illustrated with the Beijing multi-site air-quality data.


title: Precision of quantum simulation of all-to-all coupling in a local architecture

abstract: We present a simple 2d local circuit that implements all-to-all interactions via perturbative gadgets. We find an analytic relation between the values $J_{ij}$ of the desired interaction and the parameters of the 2d circuit, as well as the expression for the error in the quantum spectrum. For the relative error to be a constant $\epsilon$, one requires an energy scale growing as $n^6$ in the number of qubits, or equivalently a control precision up to $ n^{-6}$. Our proof is based on the Schrieffer-Wolff transformation and generalizes to any hardware. In the architectures available today, $5$ digits of control precision are sufficient for $n=40,~ \epsilon =0.1$. Comparing our construction, known as paramagnetic trees, to ferromagnetic chains used in minor embedding, we find that at chain length $>3$ the performance of minor embedding degrades exponentially with the length of the chain, while our construction experiences only a polynomial decrease.


title: A High Performance Compiler for Very Large Scale Surface Code Computations

abstract: We present the first high performance compiler for very large scale quantum error correction: it translates an arbitrary quantum circuit to surface code operations based on lattice surgery. Our compiler offers an end to end error correction workflow implemented by a pluggable architecture centered around an intermediate representation of lattice surgery instructions. Moreover, the compiler supports customizable circuit layouts, can be used for quantum benchmarking and includes a quantum resource estimator. The compiler can process millions of gates using a streaming pipeline at a speed geared towards real-time operation of a physical device. We compiled within seconds 80 million logical surface code instructions, corresponding to a high precision Clifford+T implementation of the 128-qubit Quantum Fourier Transform (QFT). Our code is open-sourced at \url{https://github.com/latticesurgery-com}.


title: Nonparametric Density Estimation under Distribution Drift

abstract: We study nonparametric density estimation in non-stationary drift settings. Given a sequence of independent samples taken from a distribution that gradually changes in time, the goal is to compute the best estimate for the current distribution. We prove tight minimax risk bounds for both discrete and continuous smooth densities, where the minimum is over all possible estimates and the maximum is over all possible distributions that satisfy the drift constraints. Our technique handles a broad class of drift models, and generalizes previous results on agnostic learning under drift.


title: Dramatic enhancement of visible-light absorption in TiO2 by adding Bi

abstract: TiO2 is a wide band-gap semiconductor that has been intensively investigated for photocatalysis and water-spiting. However, weak light absorption in the visible region of the spectrum poses stringent limitation to its practical application. Doping of TiO2 with N or transition-metal impurities has been explored to shift the onset of optical absorption to the visible region, yet with limited success. Based on hybrid density functional calculations, we propose adding Bi to TiO2, in the form of dilute Ti_(1-x)Bi_(x)O2 alloys, to efficiently shift the optical absorption to the visible region. Compared to N, Bi introduces an intermediate valence band that is significantly higher in the band gap, and leaves the conduction band almost unchanged, leading to a remarkable redshift in the absorption coefficient to cover almost all the visible-light spectrum. Comparing formation enthalpies, our results show that adding Bi costs significantly less energy than N in oxidizing conditions, and that Ti_(1-x)Bi_(x)O2 might make a much more efficient photocatalyst than TiO_(2-y)N_(y) for water splitting.


title: The Marriage of Effects and Rewrites

abstract: In the research on computational effects, defined algebraically, effect symbols are often expected to obey certain equations. If we orient these equations, we get a rewrite system, which may be an effective way of transforming or optimizing the effects in a program. In order to do so, we need to establish strong normalization, or termination, of the rewrite system. Here we define a framework for carrying out such proofs, and extend the well-known Recursive Path Ordering of Dershowitz to show termination of some effect systems.


title: Nationality Bias in Text Generation

abstract: Little attention is placed on analyzing nationality bias in language models, especially when nationality is highly used as a factor in increasing the performance of social NLP models. This paper examines how a text generation model, GPT-2, accentuates pre-existing societal biases about country-based demonyms. We generate stories using GPT-2 for various nationalities and use sensitivity analysis to explore how the number of internet users and the country's economic status impacts the sentiment of the stories. To reduce the propagation of biases through large language models (LLM), we explore the debiasing method of adversarial triggering. Our results show that GPT-2 demonstrates significant bias against countries with lower internet users, and adversarial triggering effectively reduces the same.


title: On the numerical stability of discretised Optimal Control Problems

abstract: Optimal Control Problems consist on the optimisation of an objective functional subjected to a set of Ordinary Differential Equations. In this work, we consider the effects on the stability of the numerical solution when this optimisation is discretised in time. In particular, we analyse a OCP with a quadratic functional and linear ODE, discretised with Mid-point and implicit Euler. We show that the numerical stability and the presence of numerical oscillations depends not only on the time-step size, but also on the parameters of the objective functional, which measures the amount of control input. Finally, we also show with an illustrative example that these results also carry over non-linear optimal control problems


title: On the Downlink Coverage Performance of RIS-Assisted THz Networks

abstract: This letter provides a stochastic geometry (SG)-based coverage probability (CP) analysis of an indoor terahertz (THz) downlink assisted by a single reconfigurable intelligent surface (RIS) panel. Specifically, multiple access points (AP) deployed on the ceiling of a hall (each equipped with multiple antennas) need to serve multiple user equipment (UE) nodes. Due to presence of blockages, a typical UE may either get served via a direct link, the RIS, or both links (the composite link). The locations of the APs and blockages are modelled as a Poisson point process (PPP) and SG framework is utilized to compute the CP, at a reference UE for all the three scenarios. Monte-Carlo simulation results validate our theoretical analysis.


title: An uncertainty principle for M\"obius inversion on posets

abstract: We give conditions for a locally finite poset $P$ to have the property that for any functions $f:P\to {\bf C}$ and $g:P\to {\bf C}$ not identically zero and linked by the M\"obius inversion formula, the support of at least one of $f$ and $g$ is infinite. This generalises and gives an entirely poset-theoretic proof of a result of Pollack. Various examples and non-examples are discussed.


title: Radiative Carrier Lifetime in Ge$_{1-x}$Sn$_x$ Mid-Infrared Emitters

abstract: Ge$_{1-x}$Sn$_x$ semiconductors hold the premise for large-scale, monolithic mid-infrared photonics and optoelectronics. However, despite the successful demonstration of several Ge$_{1-x}$Sn$_x$-based photodetectors and emitters, key fundamental properties of this material system are yet to be fully explored and understood. In particular, little is known about the role of the material properties in controlling the recombination mechanisms and their consequences on the carrier lifetime. Evaluating the latter is in fact fraught with large uncertainties that are exacerbated by the difficulty to investigate narrow bandgap semiconductors. To alleviate these limitations, herein we demonstrate that the radiative carrier lifetime can be obtained from straightforward excitation power- and temperature- dependent photoluminescence measurements. To this end, a theoretical framework is introduced to simulate the measured spectra by combining the band structure calculations from the k.p theory and the envelope function approximation (EFA) to estimate the absorption and spontaneous emission. Based on this model, the temperature-dependent emission from Ge$_{0.83}$Sn$_{0.17}$ samples at a biaxial compressive strain of $-1.3\%$ was investigated. The simulated spectra reproduce accurately the measured data thereby enabling the evaluation of the steady-state radiative carrier lifetimes, which are found in the 3-22 ns range for temperatures between 10 and 300 K at an excitation power of 0.9 kW/cm$^2$. For a lower power of 0.07 kW/cm$^2$, the obtained lifetime has a value of 1.9 ns at 4 K. The demonstrated approach yielding the radiative lifetime from simple emission spectra will provide valuable inputs to improve the design and modeling of Ge$_{1-x}$Sn$_x$-based devices.


title: Circular and Spherical Projected Cauchy Distributions: A Novel Framework for Circular and Directional Data Modeling

abstract: We introduce a novel family of projected distributions on the circle and the sphere, namely the circular and spherical projected Cauchy distributions as promising alternatives for modeling circular and directional data. The circular distribution encompasses the wrapped Cauchy distribution as a special case, featuring a more convenient parameterisation. Next, we propose a generalised wrapped Cauchy distribution that includes an extra parameter, enhancing the fit of the distribution. In the spherical context, we impose two conditions on the scatter matrix, resulting in an elliptically symmetric distribution. Our projected distributions exhibit attractive properties, such as closed-form normalising constants and straightforward random value generation. The distribution parameters can be estimated using maximum likelihood and we assess their bias through numerical studies. We compare our proposed distributions to existing models with real data sets, demonstrating superior fit both with and without covariates.


title: The role of spatial curvature in constraining the Universe anisotropies across a Big Bounce

abstract: We study the implementation of Polymer Quantum Mechanics (PQM) to a system decomposed into a quasi-classical background and a small quantum subsystem, according to the original Vilenkin proposal. We develop the whole formalism in the momentum representation that is the only viable in the continuum limit of the polymer paradigm and we generalize the fundamental equations of the original Vilenkin analysis in the considered context. Then, we provide a Minisuperspace application of the theory, first considering a Bianchi I cosmology and then extending the analysis to a Bianchi IX model in the limit of small anisotropies. In both these cases, the quasi-classical background is identified with an isotropic bouncing Universe whereas the small quantum subsystem contains the anisotropic degrees of freedom. When the Big Bounce scenario is considered, we obtain that in the Bianchi I model the anisotropies standard deviation is regular at $t=0$ but still increases indefinitely, whereas in the presence of the harmonic Bianchi IX potential such same quantity is bounded and oscillate around a constant value. As a consequence, we demonstrate that the picture of a semiclassical isotropic Bounce can be extended to more general cosmological settings if the spatial curvature becomes relevant when the anisotropic degrees of freedom are still small quantum variables.


title: Towards inferring network properties from epidemic data

abstract: Epidemic propagation on networks represents an important departure from traditional massaction models. However, the high-dimensionality of the exact models poses a challenge to both mathematical analysis and parameter inference. By using mean-field models, such as the pairwise model (PWM), the complexity becomes tractable. While such models have been used extensively for model analysis, there is limited work in the context of statistical inference. In this paper, we explore the extent to which the PWM with the susceptible-infected-recovered (SIR) epidemic can be used to infer disease- and network-related parameters. The widely-used MLE approach exhibits several issues pertaining to parameter unidentifiability and a lack of robustness to exact knowledge about key quantities such as population size and/or proportion of under reporting. As an alternative, we considered the recently developed dynamical survival analysis (DSA). For scenarios in which there is no model mismatch, such as when data are generated via simulations, both methods perform well despite strong dependence between parameters. However, for real-world data, such as foot-and-mouth, H1N1 and COVID19, the DSA method appears more robust to potential model mismatch and the parameter estimates appear more epidemiologically plausible. Taken together, however, our findings suggest that network-based mean-field models can be used to formulate approximate likelihoods which, coupled with an efficient inference scheme, make it possible to not only learn about the parameters of the disease dynamics but also that of the underlying network.


title: Classification of transformations of equivalent kernels of some determinantal point processes

abstract: In this paper, we prove that, under the condition that a kernel K of a determinantal point process (abbr., DPP) is non-zero with some particular non-zero associated 2x2 determinants, any equivalent kernel Q of K (i.e., some other kernel of the DPP) can be transformed into K by only two possible transformations: conjugation and/or transposition transformations. This substantially builds on an answer from Stevens [Random Matrices: Theory and Applications, 10(03):2150027, 2021] to a conjecture of Bufetov to now include equivalent kernels that are non-symmetric.


title: Experimental full network nonlocality with independent sources and strict locality constraints

abstract: Nonlocality arising in networks composed of several independent sources gives rise to phenomena radically different from that in standard Bell scenarios. Over the years, the phenomenon of network nonlocality in the entanglement-swapping scenario has been well investigated and demonstrated. However, it is known that violations of the so-called bilocality inequality used in previous experimental demonstrations cannot be used to certify the non-classicality of their sources. This has put forward a stronger concept for nonlocality in networks, called full network nonlocality. Here, we experimentally observe full network nonlocal correlations in a network where the source-independence, locality, and measurement-independence loopholes are closed. This is ensured by employing two independent sources, rapid setting generation, and space-like separations of relevant events. Our experiment violates known inequalities characterizing non-full network nonlocal correlations by over five standard deviations, certifying the absence of classical sources in the realization.


title: Level-p-complexity of Boolean Functions using Thinning, Memoization, and Polynomials

abstract: This paper describes a purely functional library for computing level-$p$-complexity of Boolean functions, and applies it to two-level iterated majority. Boolean functions are simply functions from $n$ bits to one bit, and they can describe digital circuits, voting systems, etc. An example of a Boolean function is majority, which returns the value that has majority among the $n$ input bits for odd $n$. The complexity of a Boolean function $f$ measures the cost of evaluating it: how many bits of the input are needed to be certain about the result of $f$. There are many competing complexity measures but we focus on level-$p$-complexity -- a function of the probability $p$ that a bit is 1. The level-$p$-complexity $D_p(f)$ is the minimum expected cost when the input bits are independent and identically distributed with Bernoulli($p$) distribution. We specify the problem as choosing the minimum expected cost of all possible decision trees -- which directly translates to a clearly correct, but very inefficient implementation. The library uses thinning and memoization for efficiency and type classes for separation of concerns. The complexity is represented using (sets of) polynomials, and the order relation used for thinning is implemented using polynomial factorisation and root-counting. Finally we compute the complexity for two-level iterated majority and improve on an earlier result by J.~Jansson.


title: MATILDA.FT, a Mesoscale Simulation Package for Inhomogeneous Soft Matter

abstract: In this paper we announce the public release of a massively-parallel, GPU-accelerated software, which is the first to combine both coarse-grained molecular dynamics and field-theoretical simulations in one simulation package. MATILDA.FT (Mesoscale, Accelerated, Theoretically-Informed, Langevin, Dissipative particle dynamics, and Field Theory) was designed from the ground-up to run on CUDA-enabled GPUs, with the Thrust library acceleration, enabling it to harness the possibility of massive parallelism to efficiently simulate systems on a mesoscopic scale. MATILDA.FT is a versatile software, enabling the users to use either Langevin dynamics or Field Theory to model their systems - all within the same software. It has been used to model a variety of systems, from polymer solutions, and nanoparticle-polymer interfaces, to coarse-grained peptide models, and liquid crystals. MATILDA.FT is written in CUDA/C++ and is object oriented, making its source-code easy to understand and extend. The software comes with dedicated post-processing and analysis tools, as well as the detailed documentation and relevant examples. Below, we present an overview of currently available features. We explain in detail the logic of parallel algorithms and methods. We provide necessary theoretical background, and present examples of recent research projects which utilized MATILDA.FT as the simulation engine. We also demonstrate how the code can be easily extended, and present the plan for the future development. The source code, along with the documentation, additional tools and examples can be found on GitHub repository.


title: A boundedness criterion for the maximal operator on variable Lebesgue spaces

abstract: We obtain a necessary and sufficient condition on an exponent $p(\cdot)$ for which the Hardy--Littlewood maximal operator is bounded on the variable $L^{p(\cdot)}$ space. It is formulated in terms of the Muckenhoupt-type condition $A_{p(\cdot)}$, responsible for a local control of $p(\cdot)$, and a certain integral condition on $p(\cdot)$, responsible for the behaviour of $p(\cdot)$ at infinity. Our approach is based on an earlier characterization established by L. Diening and on non-increasing rearrangements.


title: Estimating Time-Varying Networks for High-Dimensional Time Series

abstract: We explore time-varying networks for high-dimensional locally stationary time series, using the large VAR model framework with both the transition and (error) precision matrices evolving smoothly over time. Two types of time-varying graphs are investigated: one containing directed edges of Granger causality linkages, and the other containing undirected edges of partial correlation linkages. Under the sparse structural assumption, we propose a penalised local linear method with time-varying weighted group LASSO to jointly estimate the transition matrices and identify their significant entries, and a time-varying CLIME method to estimate the precision matrices. The estimated transition and precision matrices are then used to determine the time-varying network structures. Under some mild conditions, we derive the theoretical properties of the proposed estimates including the consistency and oracle properties. In addition, we extend the methodology and theory to cover highly-correlated large-scale time series, for which the sparsity assumption becomes invalid and we allow for common factors before estimating the factor-adjusted time-varying networks. We provide extensive simulation studies and an empirical application to a large U.S. macroeconomic dataset to illustrate the finite-sample performance of our methods.