-
Spectral properties of symmetrized AMV operators
Authors:
Manuel Dias,
David Tewodrose
Abstract:
The symmetrized Asymptotic Mean Value Laplacian $\tildeΔ$, obtained as limit of approximating operators $\tildeΔ_r$, is an extension of the classical Euclidean Laplace operator to the realm of metric measure spaces. We show that, as $r \downarrow 0$, the operators $\tildeΔ_r$ eventually admit isolated eigenvalues defined via min-max procedure on any compact locally Ahlfors regular metric measure s…
▽ More
The symmetrized Asymptotic Mean Value Laplacian $\tildeΔ$, obtained as limit of approximating operators $\tildeΔ_r$, is an extension of the classical Euclidean Laplace operator to the realm of metric measure spaces. We show that, as $r \downarrow 0$, the operators $\tildeΔ_r$ eventually admit isolated eigenvalues defined via min-max procedure on any compact locally Ahlfors regular metric measure space. Then we prove $L^2$ and spectral convergence of $\tildeΔ_r$ to the Laplace--Beltrami operator of a compact Riemannian manifold, imposing Neumann conditions when the manifold has a non-empty boundary.
△ Less
Submitted 18 June, 2025; v1 submitted 15 November, 2024;
originally announced November 2024.
-
A note on the maximization of the first Dirichlet eigenvalue for perforated planar domains
Authors:
Manuel Dias
Abstract:
In this work we prove that given an open bounded set $Ω\subset \mathbb{R}^2$ with a $C^2$ boundary, there exists $ε:= ε(Ω)$ small enough such that for all $0 < δ< ε$ the maximum of $\{λ_1(Ω- B_δ(x)):B_δ \subset Ω\}$ is never attained when the ball is close enough to the boundary. In particular it is not obtained when $B_δ(x)$ is touching the boundary $\partial Ω$.
In this work we prove that given an open bounded set $Ω\subset \mathbb{R}^2$ with a $C^2$ boundary, there exists $ε:= ε(Ω)$ small enough such that for all $0 < δ< ε$ the maximum of $\{λ_1(Ω- B_δ(x)):B_δ \subset Ω\}$ is never attained when the ball is close enough to the boundary. In particular it is not obtained when $B_δ(x)$ is touching the boundary $\partial Ω$.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
A condition for the zero-error capacity of quantum channels
Authors:
Marciel M. Oliveira,
Francisco M. de Assis,
Micael A. Dias
Abstract:
In this paper, we present a condition for the zero-error capacity of quantum channels. To achieve this result we first prove that the eigenvectors (or eigenstates) common to the Kraus operators representing the quantum channel are fixed points of the channel. From this fact and assuming that these Kraus operators have at least two eigenstates in common and also considering that every quantum chann…
▽ More
In this paper, we present a condition for the zero-error capacity of quantum channels. To achieve this result we first prove that the eigenvectors (or eigenstates) common to the Kraus operators representing the quantum channel are fixed points of the channel. From this fact and assuming that these Kraus operators have at least two eigenstates in common and also considering that every quantum channel has at least one fixed point, it is proved that the zero-error capacity of the quantum channel is positive. Moreover, this zero-error capacity condition is a lower bound for the zero-error capacity of the quantum channel. This zero-error capacity condition of quantum channels has a peculiar feature that it is easy to verify when one knows the Kraus operators representing the quantum channel.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Convergence of Density Operators and Security of Discrete Modulated CVQKD Protocols
Authors:
Micael Andrade Dias,
Francisco Marcos de Assis
Abstract:
This communication deals with the problem of bounding the approximation error on weak convergence of mixed coherent state towards a Gaussian thermal state. In the context of CVQKD with discrete modulation, we develop expressions for two specific cases. The first one is the distance between the Gaussian equivalent bipartite state and a reference Gaussian modulated (GG02) and the second one is for t…
▽ More
This communication deals with the problem of bounding the approximation error on weak convergence of mixed coherent state towards a Gaussian thermal state. In the context of CVQKD with discrete modulation, we develop expressions for two specific cases. The first one is the distance between the Gaussian equivalent bipartite state and a reference Gaussian modulated (GG02) and the second one is for the trace distance between the constellation and a thermal state with same photon number. Since, in the convex set of density operators, weak convergence implies convergence in the trace norm, knowing how fast the sequence gets close to the equivalent Gaussian state has implication on the security of QKD Protocols. Here we derive two bounds on the $L_1$ distance, one of them related with an energy test that can be used in the security proof.
△ Less
Submitted 10 September, 2023;
originally announced September 2023.
-
A method for Sampling Bernoulli Variables
Authors:
Francisco Marcos de Assis,
Juliana Martins de Assis,
Micael Andrade Dias
Abstract:
We introduce new method for generating correlated or uncorrelated Bernoulli random variables by using the binary expansion of a continuous random variable with support on the unit interval. We show that when this variable has a symmetric probability density function around 12 , its binary expansion provides equiprobable bits over {0, 1}. In addition we prove that when the random variable is unifor…
▽ More
We introduce new method for generating correlated or uncorrelated Bernoulli random variables by using the binary expansion of a continuous random variable with support on the unit interval. We show that when this variable has a symmetric probability density function around 12 , its binary expansion provides equiprobable bits over {0, 1}. In addition we prove that when the random variable is uniformly distributed over [0, 1], its binary expansion generates independent Bernoulli random variables. Moreover, we give examples where, by choosing some parameterized nonuniform probability density functions over [0, 1], samples of Bernoulli variables with specific correlation values are generated.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems
Authors:
Antonielly Garcia Rodrigues,
Eduardo Mario Dias
Abstract:
Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn't produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz's drafts on logic contained sufficient ingredients to prove them by an algebr…
▽ More
Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn't produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz's drafts on logic contained sufficient ingredients to prove them by an algebraic method -- which we call the Leibniz-Cayley (LC) system -- without having to make use of the more expressive and complex machinery of first-order quantificational logic. In addition, we prove the classic categorical syllogisms again by a relational method -- which we call the McColl-Ladd (ML) system -- employing categorical relations studied by Hugh McColl and Christine Ladd. Finally, we show the connection of ML and LC with Boolean algebra, proving that ML is a consequence of LC, and that LC is a consequence of the Boolean lattice axioms, thus establishing Leibniz's historical priority over George Boole in characterizing and applying (a sufficient fragment of) Boolean algebra to effectively tackle categorical syllogistic.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
$M$-Local type conditions for the $C^*$-crossed product and local trajectories
Authors:
M. Amélia Bastos,
Catarina C. Carvalho,
Manuel G. Dias
Abstract:
The local trajectories method establishes invertibility in algebras $\mathcal{B}= \alg(\mathcal{A}, U_G)$, for a unital $C^*$-algebra $\mathcal{A}$ with a non-trivial center, and a unitary group $U_g$, $g\in G$, with $G$ a discrete group, assuming that $G$ is amenable and the action $a\mapsto U_gaU_g^*$ is topologically free. It is applicable in particular to $C^*$-algebras associated with convolu…
▽ More
The local trajectories method establishes invertibility in algebras $\mathcal{B}= \alg(\mathcal{A}, U_G)$, for a unital $C^*$-algebra $\mathcal{A}$ with a non-trivial center, and a unitary group $U_g$, $g\in G$, with $G$ a discrete group, assuming that $G$ is amenable and the action $a\mapsto U_gaU_g^*$ is topologically free. It is applicable in particular to $C^*$-algebras associated with convolution type operators with amenable groups of shifts.
We introduce here an $M$-local type condition that allows to establish an isomorphism between $\cB$ and a $C^*$-crossed product, which is fundamental for the local trajectories method to work.
We replace amenability of $G$ by the more general condition that action is amenable. The influence of the structure of the fixed points of the group action is analysed and a condition is introduced that applies when the action is not topologically free. If $\mathcal{A}$ is commutative, the referred conditions are related to the subalgebra $\alg(U_G)$ yielding, in particular, a sufficient condition that depends essentially on $U_G$. It is shown that in $π(\mathcal{B})= \alg(π(\mathcal{A}), π(U_G))$, with $π$ the local trajectories representation, the $M$-local type condition is verified, which allows establishing the isomorphism essential for the local trajectories method.
△ Less
Submitted 23 December, 2024; v1 submitted 13 July, 2023;
originally announced July 2023.
-
Optimal uniform bounds for competing variational elliptic systems with variable coefficients
Authors:
Manuel Dias,
Hugo Tavares
Abstract:
Let $Ω\subset \mathbb{R}^N$ be an open set. In this work we consider solutions of the following gradient elliptic system \[ -\text{div}(A(x)\nabla u_{i,β}) = f_i(x,u_{i,β}) + a(x)β|u_{i, β}|^{γ-1}u_{i, β}
\mathop{\sum_{j=1}^l}_{j\neq i} |u_{j, β}|^{γ+ 1}, \] for $i=1,\ldots, l$. We work in the competitive case, namely $β<0$. Under suitable assumptions on $A$, $a$, $f_i$ and on the exponent $γ$,…
▽ More
Let $Ω\subset \mathbb{R}^N$ be an open set. In this work we consider solutions of the following gradient elliptic system \[ -\text{div}(A(x)\nabla u_{i,β}) = f_i(x,u_{i,β}) + a(x)β|u_{i, β}|^{γ-1}u_{i, β}
\mathop{\sum_{j=1}^l}_{j\neq i} |u_{j, β}|^{γ+ 1}, \] for $i=1,\ldots, l$. We work in the competitive case, namely $β<0$. Under suitable assumptions on $A$, $a$, $f_i$ and on the exponent $γ$, we prove that uniform $L^\infty$-bounds on families of positive solutions $\{u_β\}_{β<0}=\{(u_{1,β},\ldots, u_{l,β})\}_{β<0}$ imply uniform Lipschitz bounds (which are optimal).
One of the main points in the proof are suitable generalizations of Almgren's and Alt-Caffarelli-Friedman's monotonicity formulas for solutions of such systems. Our work generalizes previous results, where the case $A(x)=Id$ (i.e. the operator is the Laplacian) was treated.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Inference for multi-valued heterogeneous treatment effects when the number of treated units is small
Authors:
Marina Dias,
Demian Pouzo
Abstract:
We propose a method for conducting asymptotically valid inference for treatment effects in a multi-valued treatment framework where the number of units in the treatment arms can be small and do not grow with the sample size. We accomplish this by casting the model as a semi-/non-parametric conditional quantile model and using known finite sample results about the law of the indicator function that…
▽ More
We propose a method for conducting asymptotically valid inference for treatment effects in a multi-valued treatment framework where the number of units in the treatment arms can be small and do not grow with the sample size. We accomplish this by casting the model as a semi-/non-parametric conditional quantile model and using known finite sample results about the law of the indicator function that defines the conditional quantile. Our framework allows for structural functions that are non-additively separable, with flexible functional forms and heteroskedasticy in the residuals, and it also encompasses commonly used designs like difference in difference. We study the finite sample behavior of our test in a Monte Carlo study and we also apply our results to assessing the effect of weather events on GDP growth.
△ Less
Submitted 23 May, 2021;
originally announced May 2021.
-
Some Structural and Closure Properties of an Extension of the $q$-tensor Product of Groups, $q \geq 0$
Authors:
Ivonildes R. M. Dias,
Eunice C. P. Rodrigues,
Noraí R. Rocco
Abstract:
In this work we study some structural properties of the group $η^q(G, H)$, $q$ a non-negative integer, which is an extension of the $q$-tensor product $G \otimes^q H)$, where $G$ and $H$ are normal subgroups of some group $L$. We establish by simple arguments some closure properties of $η^q(G,H)$ when $G$ and $H$ belong to certain Schur classes. This extends similar results concerning the case…
▽ More
In this work we study some structural properties of the group $η^q(G, H)$, $q$ a non-negative integer, which is an extension of the $q$-tensor product $G \otimes^q H)$, where $G$ and $H$ are normal subgroups of some group $L$. We establish by simple arguments some closure properties of $η^q(G,H)$ when $G$ and $H$ belong to certain Schur classes. This extends similar results concerning the case $q = 0$ found in the literature. Restricting our considerations to the case $G = H$, we compute the $q$-tensor square $D_n \otimes^q D_n$ for $q$ odd, where $D_n$ denotes the dihedral group of order $2n$. Upper bounds to the exponent of $G \otimes^q G$ are also established for nilpotent groups $G$ of class $\leq 3$, which extend to all $q \geq 0$ similar bound found by Moravec in [21].
△ Less
Submitted 16 April, 2020;
originally announced April 2020.
-
Group partitions of minimal size
Authors:
Martino Garonzi,
Michell Lucena Dias
Abstract:
A cover of a finite group $G$ is a family of proper subgroups of $G$ whose union is $G$, and a cover is called minimal if it is a cover of minimal cardinality. A partition of $G$ is a cover such that the intersection of any two of its members is $\{1\}$. In this paper we determine all finite groups that admit a minimal cover that is also a partition. We prove that this happens if and only if $G$ i…
▽ More
A cover of a finite group $G$ is a family of proper subgroups of $G$ whose union is $G$, and a cover is called minimal if it is a cover of minimal cardinality. A partition of $G$ is a cover such that the intersection of any two of its members is $\{1\}$. In this paper we determine all finite groups that admit a minimal cover that is also a partition. We prove that this happens if and only if $G$ is isomorphic to $C_p \times C_p$ for some prime $p$ or to a Frobenius group with Frobenius kernel being an abelian minimal normal subgroup and Frobenius complement cyclic.
△ Less
Submitted 9 April, 2019; v1 submitted 7 November, 2018;
originally announced November 2018.
-
A Polycyclic Presentation for the q-Tensor Square of a Polycyclic Group
Authors:
Ivonildes Ribeiro Martins Dias,
Noraí Romeu Rocco
Abstract:
Let $G$ be a group and $q$ a non-negative integer. We denote by $ν^q(G)$ a certain extension of the $q$-tensor square $G \otimes^q G$ by $G \times G$. In this paper we derive a polycyclic presentation for $G \otimes^q G$, when $G$ is polycyclic, via its embedding into $ν^q(G)$. Furthermore, we derive presentations for the $q$-exterior square $G \wedge^q G$ and for the second homology group…
▽ More
Let $G$ be a group and $q$ a non-negative integer. We denote by $ν^q(G)$ a certain extension of the $q$-tensor square $G \otimes^q G$ by $G \times G$. In this paper we derive a polycyclic presentation for $G \otimes^q G$, when $G$ is polycyclic, via its embedding into $ν^q(G)$. Furthermore, we derive presentations for the $q$-exterior square $G \wedge^q G$ and for the second homology group $H_2(G, \mathbb{Z}_q).$ Additionally, we establish a criterion for computing the $q-$exterior centre $Z_q^\wedge (G)$ of a polycyclic group $G, $ which is helpful for deciding whether $G$ is capable modulo $q$. These results extend to all $q \geq 0$ existing methods due to Eick and Nickel for the case $q = 0$.
△ Less
Submitted 23 June, 2017;
originally announced June 2017.
